Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [exterior-algebra]

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.

3
votes
3answers
40 views

Simple computation with the $n$-form $dz_1\wedge…\wedge dz_n$ in $\mathbb{C}^n$

Let $z_j=x_i+iy_j$ be the coordinates for $\mathbb{C}^n$ and consider the $n$-form $\eta:=dz_1\wedge...\wedge dz_n$. I've just read the following (the contex is probably not important): Let $N\...
1
vote
0answers
15 views

Results from wedge product [on hold]

Please let me know the following results $(a\wedge b).c$ , where $\wedge$ is the $\wedge$-product Also the following one $(a\wedge b).(c\wedge d)$
4
votes
0answers
49 views

When does $v_0\wedge\dots\wedge v_{k-1}=0$ when working over a ring that's not a field?

Let $M$ be a module over a commutative ring $R$, and let $v_0,\dots,v_{k-1}$ be elements of $M$. If $R$ is a field then $v_0\wedge\dots\wedge v_{k-1}$ is equal to $0$ if and only if $v_0,\dots,v_{k-1}$...
0
votes
1answer
23 views

Isomorphism between exterior algebras

Let V is a m-dimensional vector space and $V^{*}$ is dual vector space. How can define isomorphism between exterior algebra $Λ(V)$ and exterior algebra $Λ(V^{*})$ with use a volume element $f\in Λ^{m}...
2
votes
1answer
45 views

What is the covariant derivative of a wedge product?

If we have a covariant derivative for vector fields given by an affine connection on a manifold, can we extend that to a covariant derivative for k-vectors by assuming that the product rule hold for ...
3
votes
1answer
42 views

Show that the wedge product $ dX \wedge dX = 0 $ and $dY \wedge dY = 0$

So first I want to give you some background information: begin of the background information I'm currently reading an abstact about the Lotka Volterra differential equations: $$ x^{'} = x -xy $$ $$ ...
0
votes
1answer
25 views

Clifford algebra and exterior algebra

Let $E$ be a finite dimensional real vector space with $E^*$ its dual, and let $\langle \; , \; \rangle$ be an inner product on $E$. For any $e \in E$, denote by $e^* = \langle e, \; \rangle \in E^*$ ...
0
votes
0answers
17 views

$\ell_1$ norm of multivector in exterior algebra

Suppose you have a set of $n$ linearly independent vectors $v_1, v_2, ..., v_n$. Then we can call their wedge product $W = v_1 \wedge v_2 \wedge ... \wedge v_n$. The $\ell_2$ norm $\|W\|_2$ is equal ...
0
votes
0answers
11 views

What “cross products” do I need to find the volume of a cuboid?

In two dimensions, one can find the area for a quadrilateral by calculating two "cross products". If the vertices of the quadrilateral are $a, b, c, d$ clock-wise, consider the vectors $A = \vec{ab}$,...
1
vote
1answer
24 views

Inner product on diffential forms independence ortonormal basis

Suppose $\{e_1,...,e_n\}$ is a positive orthonormal basis for the tangent space at a point $p$ in an oriented n-manifold $M$, then define the inner product on $\Omega^k(M)$, for each $k$, by: $$\...
1
vote
0answers
42 views

Minimal embedding of the Grassmannian into Euclidean (or projective) space

Let $Grass(r,k)$ be the set of all $r$-dimensional subspaces of $\Bbb R^k$. It is well known that $Grass(r,k)$ embeds isometrically as a projective variety into the projectivization of the r'th power ...
2
votes
0answers
38 views

Inner product of $k$-forms

I'm working on the following problem from Lee's Introduction to Riemannian Manifolds: Let $(M,g)$ be a Riemannian $n$-manifold. show that for each $k=1,\ldots, n$, there is a unique fiber ...
0
votes
1answer
20 views

Clarifying the definition of Wedge Product — a detail about factorial prefactor

Munkres book on Manifolds constructs a wedge product by defining the following sum on $f$ (an alternating $k$-tensor on $V$) and $g$ (an alternating $l$-tensor on $V$): $$(f \wedge g)(v_1,...,v_{k+l}) ...
2
votes
0answers
42 views

exterior algebra of representations of $S_n$

$$ \begin{aligned} \Lambda^{r} \mathbb{C}^{n} &=\bigoplus_{i=0}^{r}\left(\Lambda^{(r-i)} V \otimes \Lambda^{i} U\right) \\ &=\left(\Lambda^{r} V \otimes U\right) \oplus\left(\Lambda^{r-1} V \...
0
votes
0answers
22 views

Decomposition of permutations and wedge products.

Let $V$ be an $\mathbb{R}$-vector space. Denote the space of all alternating $k$-linear forms from $V^k$ to $\mathbb{R}$ by ${\cal A}_k(V, \mathbb{R})$ Suppose $f\in{\cal A}_p(V, \mathbb{R})$ and $g\...
0
votes
0answers
20 views

Grassman numbers in physics, what are they?

Ok, so I asked a question on physics stack exchange about Grassman numbers used in quantum field theory. In physics books, they are introduced as "numbers" satisfying alternativity: $\chi ^2=0$, and ...
1
vote
1answer
87 views

Questions on Cartan's magic formula $\mathcal{L}_X=i_X \circ d + d\circ i_X$

Algebra $A$ is called graded algebra if it has a direct sum decomposition $A=\bigoplus_{k\in\Bbb Z} A^k$ s.t. product satisfies $(A^k)(A^l)\subseteq(A^{k+l}) \text{ for each } k, l.$ A ...
0
votes
0answers
21 views

Basis for exterior algebra (infinite dimensional)

Let $\{e_i\}_{i\in I}$ be a basis for V where $I$ is some totally ordered indexing set. Fix $k\in \mathbb{Z}^{\geq 0}$. Do we get an induced basis on $\bigwedge^k V$, where $$\{e_1\wedge...\wedge e_k|...
5
votes
1answer
33 views

Write a bivector as the exterior product of two vectors

The Wikipedia article https://en.wikipedia.org/wiki/Bivector#Simple_bivectors states that "A bivector that can be written as the exterior product of two vectors is simple. In two and three ...
4
votes
1answer
100 views

Use abstract index notation to prove Leibniz rule for exterior derivative

I want to use abstract index notation to prove Leibniz rule for exterior derivative of wedge product: For $\omega\in \Omega^k(U),\eta\in\Omega^l(U)$, d$(\omega\wedge\eta)=\text{d}\omega\wedge\eta +(...
0
votes
1answer
21 views

How to express $\omega$ as linear combination of wedge products?

I know that $$\omega \begin{bmatrix}a\\b\\c\end{bmatrix},\begin{bmatrix}d\\e\\f\end{bmatrix}=3ae-2af-3bd+4bf+2cd-4ce$$ How would I write this as a linear combination of: $dx\wedge dy$, $dx\wedge dz$, ...
0
votes
0answers
14 views

Solution of a wedge equation

Let $\Omega\subset \mathbb{C}$ be an open subset, $f\in C^\infty (\Omega)$ and $\alpha(z)= df= \partial_x f\, dx + \partial_y f\, dy$ be such that $\alpha(z)\neq 0,\forall\,\, z\in \Omega$. Let $\...
-1
votes
1answer
20 views

Disproving Submersion

Q.2 in the text. By the hint I have shown that it has 2 tangent directions. Now how does it follows that there is no submersion?
3
votes
1answer
29 views

The kernel of $\bigwedge^r(T): \bigwedge^r(W)\to \bigwedge^r(V)$?

The full problem is: Given $T: W\to V$, a linear transformation of $F$-vector spaces, such that $\text{ker} T = 0$, show that the kernel of $\bigwedge^r(T): \bigwedge^r(W)\to \bigwedge^r(V)$ is ...
0
votes
2answers
29 views

Why is it that $\displaystyle\bigoplus_{k=0}^\infty A_k(V)=\bigoplus_{k=0}^{\dim V}A_k(V)$?

In W. Tu's An Introduction to Manifolds, the following definition is given: For a finite-dimensional vector space $V$, say of dimension $n$, define $$A_*(V)=\bigoplus_{k=0}^\infty A_k(V)=\...
0
votes
1answer
26 views

Question on the coefficient in the definition of wedge product

In my textbook, W. Tu's An Introduction to Manifolds (page 26), the wedge product is defined to be After the definition, the following explanation regarding the coefficient in the definition, namely $...
2
votes
0answers
83 views

A way to define the wedge product

There are various equivalent ways of introducing the wedge product. One possibility is to first define $\,\wedge\,$ for basis forms, $$ e^{i_1}\,\wedge .\,.\,. \wedge\,e^{i_r}\;\equiv\;r!\,\left[\,e^...
3
votes
1answer
42 views

Does every eigenspace of the exterior power $\bigwedge^k A$ corresponds to an invariant subspace?

Let $V$ be an $n$-dimensional real vector space, and let $1<k<n$ be fixed. Given an automorphism $A \in \text{GL}(V)$, consider its $k$-th exterior power $\bigwedge^k A \in \text{GL}(V)$. ...
4
votes
0answers
64 views

Abtract explanation for $\det(A+B) = ∑_{k=0}^n \langle \Lambda^k A, \Lambda^{n-k} B \rangle$

Let $A$ and $B$ be $n×n$ matrices. If we expand the determinant of $A+B$ as a sum over all permutations of $[\![1,n]\!]$ and all choices of whether the coefficient comes from $A$ or from $B$, this ...
3
votes
2answers
82 views

Are standard bases for the exterior power essentially unique?

Let $V$ be a real $d$-dimensional vector space, and let $1<k<d$ be fixed. Let $v_i$ be a basis for $V$. Consider the induced basis for the $k$-th exterior power $\bigwedge^k V$, given by $v_{i_1}...
2
votes
0answers
51 views

Clarifying a step in an answer about exterior products of coherent sheaves

The question is about the accepted answer here. I decided not to ask in a comment there since the original asker is no longer active. In "Step 2" of the answer given there, Roland claims, "This is ...
2
votes
0answers
30 views

Finding the Wedge Product of Two Multivariable Vectors and Making Sense of It

I was attempting to solve: $$ -2dx_{1} \land dx_{4}\left( \begin{bmatrix} 2 \\ 3 \\ -5 \\ 2 \end{bmatrix}, \begin{bmatrix} 2 \\ 3 \\ 4 \\ -5 \end{bmatrix}\right) $$ I solved this by pulling out the ...
1
vote
1answer
30 views

understanding orientable manifolds

I'm reading Warner. "Foundations of Differentiable Manifolds and Lie Groups." p. 138. I don't get the statement in the definition of orientable manifolds. 4.1 Definitions $\;$ (the preface omitted) ...
1
vote
0answers
34 views

Skew-symmetric implies alternating for $2$ a zero divisor in $R$?

In Keith Conrad's notes: https://kconrad.math.uconn.edu/blurbs/linmultialg/extmod.pdf Theorem 2.10 reads: Let $k\geq 2$. If $2\in R^\times$, then a multilinear function $f:M^k \to N$ which is ...
2
votes
0answers
33 views

A construction of the Hodge Dual operator

This question about showing that an alternative construction of the Hodge dual operator satisfies to the universal property through which the Hodge dual is usually defined. Let me give the ...
0
votes
1answer
41 views

wedge product (exterior algebra)

I got confused on the operator of the wedge product on other 2 vectors. Please help. Let $V=\mathbb R^3,e_1= (1,0,0),e_2= (0,1,0)$, and $e_3= (0,0,1)$. Find: $3e_1∧4e_3((1,α,0),(0,β,1))$, where α,β ...
0
votes
1answer
47 views

Prove Poincaré Lemma for $1$-form

Let $U\subseteq\mathbb{R}^n$ be an open set that contains $0$, and for all $t\in[0,1]$ and $ x\in U$, $tx\in\mathbb{R}^n$. Show that every closed differentiable 1-form $w$, (i.e. $dw=0$) is an exact ...
0
votes
0answers
18 views

Which subspaces of exterior power have decomposable bases?

Let $V$ be a real $n$-dimensional vector space, and let $1<k<n,r>1$. I wonder: Is there a way to characterise which $r$-dimensional subspaces of the exterior power $\bigwedge^k V$ have ...
0
votes
0answers
29 views

Arithmetics of '$\wedge$' and '$d$' operators

I don't find arithemtic rules of the operators $\wedge$ and $d$. For example, why does this equality hold? $$ \\ (u^2\cos^2v+u^2\sin^2v)[\cos vdu-u\sin vdv]\wedge [\sin vdu+u\cos vdv] \ \\ +u\cos v[\...
0
votes
0answers
38 views

$G$ is Lie group and $V$ is a representations of $G$,prove representations $V \otimes V \cong S^2(V) \oplus \Lambda^2(V)$

Let $G$ a Lie group and let $V$ a representations of $G$. Then we have the following representations are isomorphic: \begin{align} V \otimes V \cong S^2(V) \oplus \Lambda^2(V) \end{align} I have no ...
2
votes
1answer
33 views

Connection between ranks of an endomorphism and its linear image on the exterior power

Let $V$ be an $n$-dimensional real vector space, and let $1<k<n$. Let $\psi:\text{End}(V) \to \text{End}(\bigwedge^kV)$ be the exterior power map, $\psi(A)=\bigwedge^k A$. For $B \in \text{End}...
2
votes
1answer
42 views

Why is the volume element unique in the way Spivak develops it?

In Spivak's Calculus on Manifolds, he develops the volume element in the following way: The fact that $\dim \Lambda^n(\mathbb{R}^n) = 1$ is probably not new to you, since det is often defined as ...
5
votes
2answers
85 views

Does existence of a parallel section on $E$ imply local existence of a parallel section on $\bigwedge^k E$?

Let $E$ be a smooth vector bundle equipped with an affine connection $\nabla$. Suppose that $(E,\nabla)$ admits a non-zero parallel section. I think that $(\bigwedge^k E,\bigwedge^k \nabla)$ does ...
2
votes
0answers
67 views

Is there a natural way to view $\bigwedge^k_{\mathbb{C}}\mathbb{C}^d$ as a subspace of $\bigwedge^k_{\mathbb{R}}\mathbb{C}^d$

Does there exists an $\mathbb R$-linear embedding $\bigwedge^k_{\mathbb{C}}\mathbb{C}^d \to \bigwedge^k_{\mathbb{R}}\mathbb{C}^d$ which maps decomposable tensors to decomposable tensors? (The ...
4
votes
1answer
66 views

Can we “mod out” a common subspace in the Grassmannian inside the exterior algebra?

While reading this paper, I have seen the following claim stated without a proof: Let $V$ be an $n$-dimensional vector space over a field, and let $\alpha,\beta \in \bigwedge^k V$ be decomposable ...
0
votes
1answer
23 views

Is “being decomposable” preserved under taking a subspace?

Let $V$ be a vector space over some field, and $W \le V$ a vector subspace. Let $1<k<\dim V$ be an integer. Suppose $\omega \in \bigwedge^k W$ is decomposable as an element in $\bigwedge^k V$....
2
votes
1answer
70 views

If $\omega \in \bigwedge^k\mathbb{R}^d$ is decomposable over $\mathbb C$, is it decomposable over $\mathbb R$?

Let $k,d$ be positive integers, and let $\omega \in \bigwedge^k\mathbb{R}^d$ be decomposable in $ \bigwedge^k\mathbb{C}^d$. Is $\omega$ decomposable in $\bigwedge^k\mathbb{R}^d$? Edit: Let me be ...
1
vote
1answer
37 views

Is the Hodge dual the unique map which commutes with exterior powers of isometries?

Let $V$ be a real oriented $d$-dimensional inner product space, $d \ge 3$. For $1 \le k \le d-1$, the Hodge dual map $\star: \bigwedge^k V \to \bigwedge^{d-k} V$ commutes with orientation-preserving ...
2
votes
0answers
40 views

If $A \in \text{End}(\bigwedge^k \mathbb{R}^d)$ is a complex power, is it a real power up to a sign?

Let $1<k<d$ be an integer. Let $A \in \text{End}(\bigwedge^k \mathbb{R}^d)$, and suppose that $A=\bigwedge^k B$ for some complex $B \in \text{End}(\mathbb{C}^d)$. Does there exist $M \in \...
2
votes
0answers
49 views

Is every basis for $\bigwedge^kV$ satisfying a “complementary” property a rescaling of a “standard” basis?

This question was inspired by this beautiful answer: Let $V$ be a $4$-dimensional real vector space. Let $\omega_{i_1,i_2}$ ($1 \le i_1 < \ldots < i_2 \le 4$) be a basis for $\bigwedge^2V$, ...