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)

43
votes
5answers
3k views

Exterior Derivative vs. Covariant Derivative vs. Lie Derivative

In differential geometry, there are several notions of differentiation, namely: Exterior Derivative, $d$ Covariant Derivative/Connection, $\nabla$ Lie Derivative, $\mathcal{L}$. I have listed them ...
20
votes
3answers
417 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 ...
14
votes
1answer
896 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 ...
12
votes
2answers
796 views

Grassmann numbers as eigenvalues of nilpotent operators?

The following question is motivated by the construction of the fermionic path/field integral, as done for example in Altland & Simons "Condensed Matter Field Theory". Consider the vector space ...
11
votes
4answers
4k views

Wedge product and cross product - any difference?

I'm taking a course in differential geometry, and have here been introduced to the wedge product of to vectors defined (in Differential Geometry of Curves and Surfaces by Manfredo Perdig√£o do Carmo) ...
11
votes
2answers
255 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 ...
10
votes
3answers
487 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 ...
9
votes
1answer
279 views

Effect of pullback of differential forms on an ideal

Say that the exterior differential system (EDS) corresponding to a PDE system is: $$df-f_x\,dx-f_y\,dy-f_w\,dw-f_z\,dz=0,\\ a_1\,f_x+a_2\,f_y=0,\tag{sys}$$ Of course we also require the independence ...
8
votes
3answers
303 views

Without choosing bases, how to show that the determinant is multiplicative in this sense?

I was recently considering this statement: Let $V$ be a finite-dimensional $k$-vector space, and let $\phi:V\to V$ be an endomorphism. Suppose that $W\subseteq V$ is a subspace that is stable ...
7
votes
3answers
256 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 ...
7
votes
1answer
146 views

Determinant of the transpose via exterior products

Let $V$ be a finite-dimensional vector space over $F$ and let $\tau:V \to V$ be a linear operator. Here's my definition of the determinant: If $t:U \to U$ is a linear operator and $\dim(U)=n$ then ...
7
votes
1answer
156 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 ...
7
votes
0answers
180 views

Hodge-Star-Operator on arbitrary oriented basis

Assume that $V$ is oriented finite dimensional vectorspace with dimension $n$, $g \in T^0_2(V)$ a given symmetric and nondegenerate tensor. Let $\mu$ be the corresponding volume element of $V$. ...
6
votes
2answers
269 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$.
6
votes
2answers
2k views

What are “Super Numbers”?

I'm reading Hyperspace by Michio Kaku and in the chapter on SuperGravity "Super Numbers" are mentioned and are described as a number system where for any super number $a$, $a*a=-a*a$. I was wondering ...
6
votes
1answer
534 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)$$ ...
6
votes
1answer
151 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 ...
6
votes
1answer
101 views

Wedge product of Hochschild Cohomology classes in characteristic 2

Let $A$ be a smooth commutative $k$-algebra, for $k$ a commutative ring. By the Hochschild-Kostant-Rosenberg theorem, we have that $HH^*_k(A)\cong \Lambda^* \mathrm{Der}_k(A,A)$, where ...
6
votes
3answers
260 views

Exterior algebra of a vector bundle

Associated to any vector space $V$ is its exterior algebra $\Lambda(V)$ which has the direct sum decomposition $\Lambda(V) = \bigoplus_{i=0}^n\Lambda^i(V)$ where $n = \dim V$. My first interaction ...
6
votes
2answers
81 views

Relation between exterior (second) derivative $d^2=0$ and second derivative in multi-variable calculus.

What does an exterior (second) derivative such as in $d^2=0$ have to do with second derivatives as in single- or multi-variable calculus? Is this a correct start: Calculus derivatives are good for ...
6
votes
1answer
104 views

What is the image of the map $\hom(V,V) \to \hom(\wedge^k V,\wedge^k V)$?

The title says it all. For the uninitiated: Any map $f:V \to W$ induces a map $\wedge^k V \to \wedge^k W$ by $v_1 \wedge \cdots \wedge v_k \mapsto f(v_1)\wedge \cdots \wedge f(v_k)$, so $\wedge^k(-)$ ...
5
votes
2answers
176 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 ...
5
votes
2answers
281 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 ...
5
votes
1answer
122 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 ...
5
votes
1answer
87 views

General trace relation

Let $V$ be vector space $\dim V=N$, and $A\in End(V)$. Denote $$ \wedge^k A^m(\mathbf{v}_1\wedge\dots\wedge\mathbf{v}_k)=\sum_{s_1,\dots,s_k=0,1,\sum_j s_j=m} A^{s_1}\mathbf{v}_1\wedge\dots\wedge ...
5
votes
1answer
589 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?
5
votes
0answers
65 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 ...
5
votes
0answers
57 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 ...
4
votes
4answers
97 views

Big Greeks and commutation

Does a sum or product symbol, $\Sigma$ or $\Pi$, imply an ordering? Clearly if $\mathbf{x}_i$ is a matrix then: $$\prod_{i=0}^{n} \mathbf{x}_i$$ depends on the order of the multiplication. But, ...
4
votes
1answer
229 views

Can you find a 2-form not written as the wedge of two 1-forms?

I was under the impression that all 2-forms are the wedge (^) of two 1-forms. Is it possible to have a 2-form that you can't write as A^B with A,B 1-forms?
4
votes
1answer
138 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 ...
4
votes
1answer
672 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 ...
4
votes
2answers
214 views

If $\omega$ is a 2-form on $\mathbb{R}^4$ and $\omega \wedge \omega = 0$, then $\omega$ is decomposable.

I am trying to prove the following from a book I am reading through. Thm: If $\omega$ is a 2-form on $\mathbb{R}^4$ and $\omega \wedge \omega = 0$, then $\omega$ is decomposable. Note ...
4
votes
1answer
89 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 ...
4
votes
1answer
112 views

Proving the Poincare Lemma for $1$ forms on $\mathbb{R}^2$

I am trying to prove the Poincare Lemma for $1$ forms on $\mathbb{R^2}$. So I said that if I doing this, I start of with $$\omega = f_1(x_1,x_2) dx_1 + f_2(x_1,x_2)dx_2.$$ First thing I want to ...
4
votes
2answers
113 views

elementary question regarding differential forms

Is it possible to give a high level explanation why changing the order of differentials will give rise to a minus sign ? I.e. why do we have $$ dx\,dt = - dt\,dx $$ (I am going to take a course on ...
4
votes
1answer
200 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 ...
4
votes
2answers
214 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 ...
4
votes
1answer
142 views

The Hodge $*$-operator and the wedge product

On every Riemannian manifold $M$, we can consider the Hodge $*$-operator, which is characterised by the following formula: $$a \wedge *b = (a,b)\nu.$$ Here $a$ and $b$ are smooth forms on $M$, $(\ ,\ ...
4
votes
1answer
63 views

Symmetric and exterior powers of a projective (flat) module are projective (flat)

Assume that $R$ is a commutative ring with unity and $P$ a projective (flat) $R$-module. Why $\mathrm{Sym}^n(P)$ and $\Lambda^n(P)$ are projective (flat) for every $n$?
4
votes
1answer
98 views

Elements of $\wedge^2V$ expressible in the form $v_1\wedge v_2$

If $V$ is a complex vector space, then an element $w\in \wedge^2V$ is of the form $v_1\wedge v_2$ for some $v_1,v_2\in V$ iff $w\wedge w=0$ in $\wedge^4V$. Could anybody give some intuition/show why ...
4
votes
1answer
205 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 ...
4
votes
0answers
63 views

How to compute Ext over an exterior algebra

I found this question in several places (even on mathoverflow and mathstackexchange), but I never found a satisfying answer. Let $k$ be a field and $V$ a finite dimensional $k$-vectorspace, I would ...
3
votes
3answers
170 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 ...
3
votes
2answers
77 views

Universal Property of the Exterior Algebra

Let $k$ be a field and let $A$ be a commutative algebra over $k$. I want to calculate the exterior algebra $\Lambda_A^\bullet A$. We have $\Lambda_A^0 A = \Lambda_A^1 A= A$, and $\Lambda_A^k A = 0$ ...
3
votes
1answer
141 views

Alternating tensors vs $p$-vectors

Is there a reason to differentiate between alternating tensors and $p$-vectors? More precisely, is the exterior algebra always isomorphic to the subalgebra of alternating tensors? Thanks.
3
votes
2answers
249 views

How do I evaluate the Clifford product in dimensions greater than 3?

The Clifford product of a pair of vectors $a,b$ is an associative operation defined by $$ ab = a \cdot b + a \wedge b.$$ In sufficiently low dimensions I am used to being able to define the Clifford ...
3
votes
2answers
75 views

How to integrate this differential form on the boundary of the cube

The setup. Assume $u = u_1+iu_2: \mathbb{R}^3 \to \mathbb{C}$ and we have the differential 1-forms $$ \star\xi=-x_2 dx_3 + x_3 dx_2 $$ and $$ u \times du = \sum_{i=1}^3 (u \times \partial_i u) dx_i = ...
3
votes
1answer
130 views

What is the difference between $\ker( L \bigwedge L \overset{[-,-]}{\rightarrow} L )$ and $\langle a \wedge b \big| [a,b]=0\rangle$?

Let $L$ be a finite dimensional Lie algebra. We view the Lie bracket as a linear map on the exterior square: $$\pi:L \bigwedge L \rightarrow L$$ Define $$\bigwedge L := \langle a \wedge b \big| ...
3
votes
1answer
96 views

Transformation rule for a wedge product

Suppose two sets of covectors on a vector space $V, \beta^1,...\beta^k $ and $\gamma^1,...,\gamma^k,$ are related by $$\beta^i=\sum_{j=1}^k a^i_j \gamma ^j$$ where $i=1,...,k$, for a $k\times k$ ...