It is a quotient - of the tensor algebra, obtained by taking graded sum over whole numbers $n$ of $n$-fold tensor products - by the ideal generated by elements of the form $a\otimes a$. We write the residue class of $a\otimes b$ in this algebra, as $a\wedge b$ and call it the wedge product.

learn more… | top users | synonyms (1)

2
votes
1answer
94 views

If $ \eta $ and $ \varphi $ are closed differential forms, then prove that $ \varphi \wedge \eta $ is a closed differential form.

Let’s assume that $ \eta $ and $ \varphi $ are closed differential forms. Then how can I prove that $ \varphi \wedge \eta $ is a closed differential form as well? Please explain how to solve this ...
1
vote
1answer
297 views

Associativity property of wedge products

Regarding notation, I have a bit that says: The linear function $e_i^* \in V^*$ determined by $e_i^*(e_j) = \delta_{ij}$ form the basis of $V^*$, which is called the dual basis for $\epsilon = (e_1, ...
4
votes
1answer
251 views

Are these two definitions of exterior derivative equivalent?

I saw two definition of the exterior derivative of a $k$-form $\omega$. First definition: $$(d\omega)_p(v_0,\ldots,v_k)= \sum_{i=0}^k(-1)^id(\omega(v_0,\ldots,\hat{v_i},\ldots,v_k))_p(v_i)$$ Second ...
1
vote
1answer
386 views

Tensor and Wedge Product of Vectors

I have a little doubt about tensor product acting on vectors. I was reading Spivak's Calculus on Manifolds, and Spivak introduces the tensor product of multilinear functionals. Latter he introduces ...
3
votes
3answers
227 views

Exterior Algebra as quotient

Given a vector space $W$, I understand what the tensor algebra $T(W)$ is, and I understand that the exterior algebra $\bigwedge W$ is defined as $\bigwedge W := T(W)/N$ where $N$ is the two-sided ...
2
votes
1answer
188 views

Wedge product of forms

Let $\alpha = y^2 dx + dy \in \Omega^1(R^2)$, $\beta = xy dx \wedge dy \in \Omega^2(R^2)$. Is $\alpha \wedge \beta = 0$?
2
votes
1answer
58 views

Is there a smallest sub-Grassmann algebra containing a given vector in Grassmann algebra?

Let $V$ be a $d$-dimensional $\mathbb C$-vector space and the Grassmann algebra $$\mathcal G (V):=\bigoplus_{n=1}^d V^{\wedge n}$$ where $\wedge$ denotes the antisymmetric tensor product. I was ...
6
votes
2answers
206 views

$\alpha\wedge\beta = 0$ for all $\beta$ implies $\alpha = 0$ without using the Hodge dual

Let $\alpha$ be a differential $k$-form on an orientable smooth $n$-dimensional manifold. If $\alpha\wedge\beta = 0$ for every differential $(n - k)$-form $\beta$, then $\alpha = 0$ because we can ...
4
votes
2answers
272 views

algebraic manipulation of differential form

Suppose $\phi_1, \phi_2, \dots, \phi_k \in (\mathbb{R}^n)^*$, and $\mathbf{v}_1, \dots, \mathbf{v}_k \in \mathbb{R}^n$ $(\mathbb{R}^n)^*$ stands for the space of all linear transformations that goes ...
3
votes
0answers
139 views

Multiplication in exterior algebra

Take $V = K^{n}$. Let $\omega$ be a non-zero element of $\bigoplus_{k=1}^n \bigwedge^k V$, where we have excluded the summand $\bigwedge^0 V = K$. (1) Prove that there exists an $m > 1$ for which ...
2
votes
1answer
221 views

Wedge product with a non-degenerate form

Let $\alpha$ be a non-degenerate form in $\Lambda^k(V)$ for some vector space $V$, $\dim V = n$. (Here non-degenerate means that if $x\in V$ is nonzero, then $(y_1 , ... , y_{k-1}) \mapsto \alpha(x , ...
1
vote
1answer
60 views

How can I show that $\det(v_1,v_2,\ldots,v_n)=dx_1\, dx_2\cdots dx_n(v_1,v_2,\ldots,v_n)$?

I wanted to use the definition of a wedge product which says $λ_1λ_2\cdots λ_k(v_1,v_2,\ldots,v_k)=\det(λ_i(v_j))$ with $1<i,j<k$ but I'm not sure if that even can work
1
vote
0answers
133 views

Explicit computations of tensor and wedge product

Let $f\colon K^3\to K^3$ be a map in Jordan canonical form having matrix $$ f=\begin{bmatrix} -1 & 1 & 0 \\ 0 & -1 & 0 \\ 0 & 0& -1 \end{bmatrix} $$ What is $f\otimes f$? What ...
2
votes
1answer
272 views

Taking the exterior derivative of a 0-form

I'm attempting to show that $dg(\vec{x})=\alpha$, where $\alpha=\Sigma^n_{i=1}f_idx_i$ and $g(\vec x)={1\over{p+1}}\Sigma_{i=1}^nx_if_i(\vec x)$...and $d$ is the exterior derivative. The $f_i$ are ...
4
votes
1answer
99 views

Trace of the multiplication operator

Let $V$ be vector space, $\dim V=N$. Define the multiplication operator $L_{\mathbf{b}}$ as $L_{\mathbf{b}}:\omega\to \mathbf{b}\wedge\omega$, where $\omega\in\wedge V$ ($\wedge V$ is the entire ...
3
votes
1answer
375 views

Laplace expansion

This statement is from the book of Winitzki Linear Algebra via Exterior Products. (Section 3.4, page 123) Let $V$ be finite dimensional vector space, $\dim(V)=N$. The determinant of the matrix ...
5
votes
0answers
67 views

Inner product of $p$-forms [duplicate]

Possible Duplicate: Extension of Riemannian Metric to Higher Forms I have no problems with understanding the inner product of 1-forms on a Riemannian manifold. We have a metric tensor, it's ...
6
votes
2answers
289 views

Decomposition of product of exterior products

Suppose $V$ is a $n$-dimensional vector space. What is the kernel of $$\bigwedge^p V \otimes \bigwedge^q V\longrightarrow \bigwedge^{p+q} V$$ here $p+q \le n$.
4
votes
1answer
144 views

Are projective modules over exterior algebras of vector spaces necessarily free?

Let $E(V)$ be the exterior algebra of a vector space $V$ (I've also seen this denoted $\Lambda(V)$).Is it true that any projective $E(V)$-module is necessarily free? If it's any easier, is it at least ...
2
votes
1answer
101 views

Is $\bigwedge(V)$ self-injective?

For a vector space $V$, is the grassman algebra $\bigwedge(V)$ always an injective module over itself? Is there a proof, or even just a brief explanation?
6
votes
1answer
166 views

$\wedge^k(V)^* \cong \mathrm{Alt}^k(V)$

Let $V$ be a finite dimensional real vector space, let $\mathrm{Alt}^k(V)$ denote the space of alternating $k$-linear forms on $V$ and let $\wedge^k(V)$ denote the $k^{th}$ exterior power of $V$. I ...
5
votes
0answers
61 views

What about other symmetric functions of the eigenvalues? [duplicate]

Possible Duplicate: Identities for other coefficients of the characteristic polynomial Let $A$ be a matrix with eigenvalues $\lambda_1, \dots, \lambda_n$. Then $\det(A) = \lambda_1 \dots ...
7
votes
3answers
286 views

Understanding of graded algebra

I am recently learning from Loring W. Tu's An Introduction to Manifolds the concept graded algebra, which is used for introducing exterior algebra. I don't understand the following definition: An ...
2
votes
1answer
506 views

Interpreting the determinant of matrices of dot products

In the Euclidean space $\mathbb{R}^n$ consider two (ordered) sets of vectors $a_1 \ldots a_k$ and $b_1 \ldots b_k$ with $k \le n$. Question What is the geometrical interpretation of ...
7
votes
1answer
177 views

A scalar product in the space of oriented volumes?

Let $L\colon \mathbb{R}^n \to \mathbb{R}^N$ be an injective linear map. By the Cauchy-Binet formula, $\det(L^TL)$ equals the sum of the squares of all minors of $L$ of order $n$: this looks just like ...
2
votes
2answers
175 views

Second exterior power of a complex vector space

Suppose we are given a $k$-dimensional complex vector space. Consider the second exterior power of $V$, that is $\Lambda^2V$. Denote $X=\{v_1\wedge v_2\colon v_1,v_2\in V\}$. Now I have two ...
2
votes
0answers
153 views

Calulation of pullback of form

If $M$ is $2n+1$ dimensional manifold, and $M'= M\times \mathbb R$ Let $x_1,y_1,... x_n, y_n,t', t$ be coordiante of $M'$. With $t$ for coordinate for $\mathbb R$. Let $$ \omega= \sum_{i=1}^n ...
6
votes
1answer
741 views

wedge product of differential form

If $\alpha $ is one form over some manifold $M$ $2n-1$ dimensional real, and $X= M\times (0,\infty)$. $r$ is the coordinate for the second factor. Define two form on $X$: $$\omega= d(r^2\alpha)$$ ...
1
vote
1answer
188 views

Exterior Algebra of Self-Direct Sum

Suppose $V$ and $W$ are vector spaces and $\bigwedge V$ and $\bigwedge W$ their exterior algebras. Then it is known that $\bigwedge (V \oplus W) \simeq \bigwedge V \otimes \bigwedge W$. Now my ...
2
votes
1answer
252 views

Basis of the symmetric algebra $S(M)$ given $R$-module basis of $M$ using the diamond lemma?

Over the past week, I read this secret blogging seminar post concerning the diamond lemma, which got me to reading about Bergman's paper on the diamond lemma. Now suppose you have a free $A$-module ...
11
votes
2answers
265 views

Why is it that $\det(\phi-x\text{id})=\sum_{i=0}^n (-1)^ic_ix^i$?

I'm trying to understand a certain formula for the determinant in a more general setting. Say you have a free module $M$ of rank $n$ over a (commutative) ring $R$. Let ...
2
votes
0answers
63 views

Determining explicitly the action on the exterior products of a vector space

Let $V$ be a 2-dimensional complex vector space with basis $e_1,e_2$. Consider the endomorphism $f:V\to V$ given by $f(e_1) = e_2$ and $f(e_2) = -e_1$ with matrix $$ \left( \begin{matrix} 0 & -1 ...
1
vote
0answers
53 views

Alternating forms tangential to a subspace.

Let $V$ be a finite-dimensional vector space with euclidean product, and let $U$ be a subspace. Now let $P$ be the projection of $V$ onto $U$, and let $\omega$ be any alternating multilinear $k$-form. ...
21
votes
3answers
471 views

What's the connection between derivatives and boundaries?

The (second) fundamental theorem of calculus says that $$\int_a^b f'(x) dx = f(b) - f(a)$$ which can also be stated, if one knows enough about what's coming next, as: The integral of the ...
5
votes
1answer
820 views

Covectors $\omega^1, …, \omega^k$ are linearly dependent iff their wedge product is zero

How can I prove that covectors $\omega^1, ..., \omega^k$ are linearly independent iff their wedge product $\omega^1\wedge ...\wedge \omega^k$ is not zero?
3
votes
0answers
217 views

Grassmann Algebras

The Grassmann algebra $G$ is the algebra over a field $\mathbb{F}$ generated by the variables $e_i$ such that $e_i^2=0$ and $e_i e_j = - e_j e_i$. I'm looking for some references on algebras $G ...
3
votes
1answer
194 views

What is a more formal name for the wedgey group?

The rule $(v_1,w_1)⋅(v_2,w_2)=(v_1+v_2,w_1+w_2+(v_1∧v_2))$ defines a group structure on the vector space $V⊕(V∧V)$ whenever $V$ is itself a vector space over some field $F$. What is a more common ...
4
votes
1answer
214 views

On Chevalley's linear identification of the Clifford algebra $C(\mathbf p)$ with the exterior algebra $\wedge \mathbf p$

In reading Sternberg's notes on Clifford algebras and spin representations (page 148) I encountered the following: "...Consider the linear map $$C(\mathbf p)\rightarrow \wedge \mathbf p, x\mapsto ...
5
votes
2answers
314 views

Using the notation of wedge product to solve a linear system of equations

I am trying to solve a problem that seems like a standard idea from linear algebra but with a the notion of wedge product and exterior algebra added it gets more complicated for someone who isn't ...
1
vote
0answers
102 views

Given a surjective linear mapping of free modules how do you show the corresponding matrix has an invertible minor?

The following post can is related to part c) of this problem http://www.artofproblemsolving.com/Forum/viewtopic.php?f=349&t=124137 and boils down to some issues I am having with use of wedge ...
4
votes
1answer
848 views

Is there a formula for the determinant of the wedge product of two matrices?

I was going over the Wikipedia page for exterior products of vector spaces and we can define the determinant as the coefficient of the exterior product of vectors with respect to the standard basis ...
2
votes
1answer
137 views

Associativity of Moyal-like products

The Moyal product of two smooth functions $f,g$ on $\mathbb R^{2n}$ can be defined as $$ f\star g = \exp\left(-\omega^{ij} \frac{\partial}{\partial y^i} \frac{\partial}{\partial z^j}\right) f(y)g(z) ...
3
votes
1answer
137 views

Parametrizing the total orders on a real vector space

The following question appears trivial, but it's outside my limited experience so I'd appreciate a little feedback. A total order on a real vector space $V$ is a total ordering on its vectors which ...
10
votes
3answers
575 views

Signs in the natural map $\Lambda^k V \otimes \Lambda^k V^* \to \Bbbk$

Let $V$ be a finite-dimensional vector space over a field $\Bbbk$. Let $V^*$ denote its dual. I strongly suspect that there is a natural map $$\Lambda^k V \otimes \Lambda^k V^* \to \Bbbk$$ that ...
1
vote
2answers
162 views

exterior product definition

i have question from vector mathematics,i know that if there is given two vector, for instance $a=\{a_1,a_2,a_3\}$,$b={b_1,b_2,b_3}$; then so called exterior product is determined as $a\wedge ...
3
votes
1answer
444 views

Understanding of exterior algebra

Consider the following definition from Loring W. Tu's An Introduction to Manifolds: For a finite-dimensional vector space $V$, say of dimension $n$, define ...
2
votes
1answer
202 views

Characterization of rank in an exterior algebra

The wikipedia page on exterior algebras makes the following reasonable sounding statement (I paraphrase): Let $V$ be a complex vector space and consider the second exterior power $\bigwedge^2 V$. By ...
2
votes
0answers
137 views

Exterior algebras and radicals

So without giving excessive background, I was working on baby Spivak & got to the stuff about exterior algebras, & now I'm going through the section on tensor algebras in my copy of ...
5
votes
1answer
146 views

Morphism of Exterior Algebras

Let $k$ be a field, let $V$ and $W$ be $k$-vector spaces of dimensions $n$ and $m$ respectively, and let $f:V\to W$ be a $k$-linear transformation. Let $\Lambda(V)$ and $\Lambda(W)$ denote the ...
14
votes
1answer
1k views

Wedge Product, A Novel Interpretation or Just Plain Wrong?

I have read (I think) all of the previous threads on this website (and many others) on this topic & unfortunately have not found an answer to my question. Due to the fact that I am only beginning ...