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)

1
vote
1answer
37 views

Show that $i_Yi_Xd\omega=d\omega(X,Y)$ for $\omega$ a $1$-form

If $\omega$ is a $1$-form, how does $i_Yi_Xd\omega=d\omega(X,Y)$? I get that $d\omega$ is a 2-form. So $i_X(d\omega)=d\omega(X,v_{2})$. So how do we proceed? I dont see how the step ...
1
vote
0answers
63 views

Poincaré Lemma problems and computing contractions in an economical way

Let $x=(A,B,C,D)$ be coordinates on $\mathbb{R}^4$. $\displaystyle \beta = \frac{(AdB-BdA)\wedge(dC \wedge dD)+(dA \wedge dB)\wedge(CdD-DdC)}{(A^2+B^2+C^2+D^2)^2}$ I would like to compute ...
3
votes
1answer
87 views

Wedge product descend to the cohomology

I found this statement in Raoul Bott "Differential Forms in Algebraic Topology": "Because the wedge product is an antiderivation, it descends to cohomology." Apparently this meant to be really obvious ...
2
votes
0answers
58 views

Bivector into orthogonal components

Suppose I have a metric $g$ and a bivector $ F $ on a four-dimensional vector space. It seems I can always decompose $ F $ into four mutually orthogonal vectors $a,b,c,d$ $$ F = a\wedge b + c\wedge d ...
1
vote
1answer
109 views

Decompose $\omega:= e_0\wedge(e_1\wedge e_2 + e_3\wedge e_4)$

$(e_1\wedge e_2 + e_3\wedge e_4)$ is well-known to be of rank 2 (can't be decomposed). On the other hand, $\omega \wedge \omega = e_1\wedge e_1 \wedge ... = 0$. According to the wikipedia article ...
2
votes
0answers
126 views

Inner product exterior algebra

I have to prove that if V is a real vectorial space (dimV=n) with inner product (.,.) then if we define $$ (v_{1}\wedge v_{2}\wedge...\wedge v_{k},w_{1}\wedge w_{2}\wedge...\wedge w_{k}) ...
0
votes
1answer
38 views

A combinatorial coefficient linked to exterior product

I am looking at the following sum $$ \sum c_1\wedge \cdots\wedge c_n $$ where the summation ranges over $c_1,\ldots,c_n$ such that each $c_i\in\{a,b\}$ and $a$ appears exactly $j$ times. Thus, using ...
1
vote
0answers
95 views

Wedge product of differential forms

I'm trying to grasp the notation and concept of wedge products(, and tensors as well). In my lecture notes, the following expansion/notation for a $(n,r)$-tensor is used: In a basis $\left\{ ...
7
votes
1answer
133 views

Non-vanishing differential forms

Let $M$ be a differentiable manifold of dimension $n$. If the tangent bundle is trivial, then the cotangent bundle is trivial, and so are its exterior powers. In other words, on a parallelizable ...
4
votes
2answers
365 views

Lie Derivative for Wedge Product of Vector Fields

I am having trouble here. The context is: Let $X$, $Y$ and $S$ be vector fields ina a manifold (we can assume it's $\mathbb{C}^2$ though I'm pretty sure this should work in any manifold), and we can ...
6
votes
2answers
606 views

Exterior power “commutes” with direct sum

I know that for vector spaces $V, W$ over a field $K$, we have the following identity : $$ \bigoplus_{k=0}^n \left[ \Lambda^k(V) \otimes_K \Lambda^{n-k}(W) \right] \simeq \Lambda^n(V \oplus W) $$ ...
1
vote
1answer
158 views

Solving non-square linear systems with the exterior product and Cramer's rule

I'm reading the book Linear algebra via exterior products by Sergei Winitzki (which is the worst book, ever) and he shows that you can solve linear systems with a general solution with Cramer's rule ...
5
votes
1answer
287 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 $(\wedge)$ of two 1-forms. Is it possible to have a 2-form that you can't write as $A\wedge B$ with $A,B$ 1-forms?
0
votes
1answer
29 views

Writing vectors as linear combinations of bases $e_i\otimes e_j$ and $e_1\wedge e_2,e_1\wedge e_3, e_2\wedge e_3$

Write $$\begin{pmatrix}1 \\ 2 \\ 3\end{pmatrix} \otimes \begin{pmatrix}2 \\ 1 \\ 1\end{pmatrix} + \begin{pmatrix}1 \\ -1 \\ 5\end{pmatrix} \otimes \begin{pmatrix}4 \\ 0 \\ 3\end{pmatrix}$$ as linear ...
1
vote
1answer
57 views

“Adjugate” of an endomorphism of a finite-rank free module

If $M$ is a free module of finite rank $n$ over a commutative unitary ring and $a$ is an endomorphism of $M$, consider the endomorphism $\hat a$ of $M$ defined by the identity $$ x_1\wedge ...
2
votes
1answer
172 views

Identities for differential forms and vectorfields (reference request)

Recently I found the slides of a talk of J. E. Marsden, (Differential Forms and Stokes' Theorem). These slides introduce the required objects and summarize the basics of the corresponding theory. In ...
1
vote
2answers
51 views

n-form associated with a vector field with general metric

With the euclidean metric I use the musical isomorphisms to obtain $1$-form associated with a vector field, so for a vector field $\vec{F}=(f_1,f_2,f_3)$ we have $ \vec{F}^{\flat}=f_1dx+f_2dy+f_3dz$ ...
0
votes
1answer
32 views

Equivalence relation of differential forms

My notes claim that $\displaystyle d\omega (x) = \frac{1}{k!} d\omega_{i_1\cdots i_k} \wedge f^{(i_1)}\wedge\cdots\wedge f^{(i_k)}$ is equivalent to $\displaystyle d\omega(x) = \frac{1}{k!} ...
0
votes
2answers
80 views

Differential identity and wedge products

Apparently $dx^{i_1} \wedge ... \wedge dx^{i_k}=d(x^{i_1}dx^{i_2}\wedge ... \wedge dx^{i_k})$ which I cannot see proved anywhere in my notes. It just stated as if it is obvious which I don't believe ...
2
votes
2answers
87 views

Part of proof that $d^2\omega=0$

The following comes from the proof in differentiable manifolds that $d^2\omega=0$. Let $f$ belong to the set of $0$-forms. From definition I have that $\displaystyle df = \frac{\partial f}{\partial ...
1
vote
0answers
50 views

Reference Request for differential ideals of Pfaffian forms on jet bundles

My setting is the following: Given two families of differential forms $\omega^i$ (with $i=1,...,m$) and $\mathrm d F^j$ (with $j=1...n-m$), define $$\eta^i := \sum_{j=1}^m a^i_j\omega^j + ...
2
votes
1answer
59 views

Some wedge product computation

I want to calculate $w\wedge w$ for $w=\sum a_{ij} e_i\wedge e_j$ where the sum is over all $1\leqslant i<j\leqslant 4$. Is there a neat way to do it without writing all the terms out? What about ...
3
votes
2answers
81 views

Is there a way to determine the matrix of $\Lambda^k(T)$ given the matrix of $T$?

Let $T$ be an endomorphism of a finite dimensional vector space $V$. Suppose that $(v_1,\ldots v_n)$ is an ordered basis of $V$. And let $[T]$ be the matrix of $T$ with respect to this basis. Is ...
2
votes
0answers
138 views

Vector Laplace Beltrami operator on surface tangent and surface normal vector field

Consider a closed, compact, embedded surface $f:M \rightarrow \mathbb{R}^3$ and a vectorfield $X$ on the surface that can be decomposed in the surface frame basis $\{e_1,e_2,e_3\}$, where ...
1
vote
2answers
395 views

Area of projection of cube in $\mathbb{Z}^3$ onto a hyperplane

A cube with vertices $(\pm 1, \pm 1, \pm 1)$ gets projected into the plane perpendicular to vector $\mathbf{n}\in S^2$. The projection is a hexagon, how do I find the area? I think I can just ...
0
votes
2answers
97 views

Exterior product in 3 dimension

I'm curious about the exterior product in $3$ dimensions. Is it the same as the cross product? If it is, does anybody here have an idea about its calculation? $(a \wedge b) \wedge c = ?$
4
votes
0answers
155 views

Lie algebra: symmetric and exterior power of representation

If $\mathfrak{g}$ is a Lie algebra, $V$ and $W$ are representation of $\mathfrak{g}$ we define the action of $\mathfrak{g}$ on $V \otimes W$ in the following way: $X \cdot (v \otimes w)=(X \cdot v) ...
1
vote
1answer
240 views

What is the wedge product of multilinear forms?

The construction of $V^* \otimes V^*$ involves creating formal symbols and then adding in relations such as bilinearity by quotienting out. A bilinear form $V\times V\to F$ can be thought of as a ...
2
votes
0answers
35 views

For vector spaces $V,W$, probe that $\Lambda (V)\otimes\Lambda (W) \cong \Lambda (V\oplus W)$ [duplicate]

For vector spaces $V,W$, probe that $\Lambda (V)\otimes\Lambda (W) \cong \Lambda (V\oplus W)$. I have tried to use the universal property, but I can not create the necessary linear transformation.
5
votes
1answer
99 views

When is the rank the biggest number for which $\Lambda^m(M) \neq 0$?

I was doing some theory of Dedekind domains, and I found very useful to use the language of exterior algebra to prove the main results for finitely generated modules over Dedekind domains. I was, ...
1
vote
2answers
116 views

Idempotent operators over the exterior algebra

I am wondering if there exists a (reasonably) well-known set of operators $A_i$ over the exterior algebra such that $\{A_i,A_j\} = \frac{1}{2}(A_i +A_j)$, where $\{X,Y\}=(XY+YX)/2$.
2
votes
2answers
281 views

In Grassmann algebra a la Browne, why are vectors dependent if their wedge product vanishes?

I'm reading John Browne's Grassmann Algebra, Vol 1 : Foundations. Early on, he asserts without proof that if $x$ and $y$ are any two vectors in the underlying (real) vector space such that $x \wedge y ...
0
votes
1answer
111 views

Wedge product and change of variables

The question is: Let $\phi : \mathbb{R}^n \to \mathbb{R}^n$ be a $C^1$ map and let $y = \phi(x)$ be the change of variables. Show that $$dy_1\wedge\dots\wedge dy_n = ...
1
vote
1answer
36 views

Is the Grassmann Functor $\Lambda$ full?

Is the functor $\Lambda: \mathsf{FinDimVect}_\mathbb{R} \to \mathsf{Alg}_\mathbb{R}$ that sends a fin. dim. $\mathbb{R}$-vector space to its exterior algebra full? If not, is there a way of ...
1
vote
1answer
32 views

Left ideals in exterior algebra $\Lambda E$ that aren't right

Let $E$ be a vector space. I'm interested in examples of left ideals in exterior algebra $ \Lambda E$ that aren't right ideals.
0
votes
2answers
267 views

How to prove this Gram determinant

Let $E$ be an Euclidian oriented vector space of dimension $3$ and $x,y,u,w \in E$. How do we prove (without coodinates) $$ \det \begin{pmatrix} \langle x,u \rangle & \langle x,w \rangle \\ ...
0
votes
1answer
88 views

Operations in the exterior algebra. Multiplication in the direct sum of rings.

Let the exterior algebra $\Lambda(V)$ of a vector space $V$ over a field $K$ be the direct sum of the exterior powers $\Lambda^k(V),\quad k\in\overline{0,n}$. Then an element $x\in\Lambda(V)$ has the ...
2
votes
1answer
61 views

A basis in the $k$-th exterior power of a vector field

Definition: Let $\mathbb R^n$ be the $n$-dimensional real vector space. An exterior $k$-form call any skew-symmetric tensor on $\mathbb R^n$ of rank $k$. Denote the set of exterior $k$-forms by $E^k$. ...
4
votes
1answer
242 views

Pullback of Differential-Form

Given a differential form $$x\,dy\wedge dz-y\,dx\wedge dz+z\,dx\wedge dy$$ I am supposed to prove that the it's pullback by a linear map of determinant one leaves it invariant. For example, if ...
4
votes
3answers
171 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 ...
1
vote
1answer
155 views

If $\omega\wedge\beta$ is exact for every closed form $\beta$, then $\omega$ is exact.

Let $\omega$ be a closed $k$-form. Then: If $\omega$ is exact, for every closed form $\beta$, the form $\omega\wedge\beta$ is exact. Proof: Let $\omega=d\alpha$. Now $d(\alpha\wedge\beta) = ...
5
votes
3answers
205 views

Geometric introduction to exterior algebra

Could anyone point me to a geometric introduction to exterior algebra (meaning, one with a good number of figures and/or verbal descriptions of geometric objects in it)? Thanks!
0
votes
2answers
143 views

wedge product of $m$ vectors in $\mathbb{R}^n$

I came across the symbol $|v_1 \wedge \dots \wedge v_m|^{-1}$ in a paper - this is the norm of the wedge product of vectors $v_k \in \mathbb{R}^n$ . I thought it's meaning was self-evident until I ...
1
vote
0answers
89 views

Is $\Lambda(T^{*}E)=\bigoplus_{k=0}^n\Lambda^k(T^{*}E)$ a complex line bundle over $T^{*}E$?

Is $\Lambda(T^{*}E)=\bigoplus_{k=0}^n\Lambda^k(T^{*}E)$ a complex line bundle over $T^{*}E$? I know that ...
3
votes
2answers
110 views

Tensor products, existence of a unique linear map

Question: Given a bilinear map $B: V\times W\to X $, show there exists a unique linear map $T:V \otimes W\to X $ s.t. $B= T \circ \phi$ Background: We define $V \otimes W $ by F[ ...
12
votes
2answers
888 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 ...
1
vote
0answers
168 views

Norm inequality with wedge product

Anyone could help me to prove this following inequality? $\displaystyle\frac{||(u+v)\wedge w||}{||u+v||}\le \frac{||u\wedge w||}{||u||} +\frac{||v\wedge w||}{||v||} $ where $u\wedge v$ is the wedge ...
1
vote
0answers
58 views

Grassmannian as a submanifold of the exterior product

I'm looking for a proof of the fact that if $V$ is a finitely dimensional vector space, then $G_p(V) \setminus \{0\}$ is a submanifold of $\Lambda_pV$. Here $G_p(V) = \{ v_1 \wedge ... \wedge v_p \ ...
2
votes
0answers
57 views

Exterior power of a space of maps $(\mathbb{K}^T)$

We are given a set $T \neq \emptyset, \ \ p \ge 1, \ \ p_i : T \rightarrow \mathbb{K}$ Could you help me prove that if $ \phi: (\mathbb{K}^T)^p \ni (f_1, ..., f_p) \rightarrow \rho \in ...
0
votes
1answer
104 views

Exterior power and alternating forms: explicit computations

I would like to get a more concrete understanding of a general isomorphism I have read about. I apologize if this is too basic, but I was not satisfied with the references at my disposal. Let $K$ be ...