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.

0
votes
1answer
14 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?
2
votes
1answer
22 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
24 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
18 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
73 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
36 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)$. ...
3
votes
0answers
54 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
75 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
46 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
28 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
29 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
25 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
29 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
32 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
29 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
16 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
35 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
83 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
65 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
62 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
21 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
60 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
31 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
48 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$, ...
4
votes
1answer
64 views

Characterising minors of diagonal matrices

Let $k,d$ be positive integers, $1<k<d$. Let $\lambda_I=\lambda_{i_1,\ldots,i_k}$ be real numbers, indexed by multi-indices $I=(i_1,\ldots,i_k)$, where $1\le i_1<\ldots<i_k \le d$. Are ...
3
votes
1answer
50 views

Is every decomposable basis for $\bigwedge^kV$ “standard”?

This is a curiosity: Let $V$ be a $d$-dimensional real vector space, and let $1<k<d$. Set Let $\omega^{i_1,\ldots,i_k}$ be a basis for $\bigwedge^kV$, whose elements are all decomposable. Is $\...
2
votes
0answers
30 views

The Jacobian and Particular Solutions to an Underdetermined Equation

I was wondering if the factor $\sqrt{(x')^2 + (y')^2}$ in the line integral formula $$\int_a^b\ f(x,\ y)\ \sqrt{(x')^2 + (y')^2}\ dt$$ can also be thought of as a Jacobian determinant, due to the ...
1
vote
2answers
54 views

Do complexification and exterior power commute?

Let $V$ be a $d$-dimensional real vector space, and let $1<k<d$. Are $(\bigwedge^k V)^{\mathbb{C}}$ and $\bigwedge^k (V^{\mathbb{C}})$ naturally isomorphic? They both have the same complex ...
2
votes
1answer
34 views

In which degrees there exist non-decomposable elements in the exterior algebra?

I am trying to get a better understanding of the concept "decomposable" element in an exterior algebra. Let $V$ be a $d$-dimensional real vector space, and let $1<k<d$. For which tuples $(k,d)$,...
8
votes
1answer
99 views

A characterization of the subgroup of $\text{GL}(\bigwedge^k V)$ which preserves pure tensors?

Let $V$ be a $d$-dimensional real vector space, and let $1<k<d$. Set $$H=\{B\in\text{GL}(\bigwedge^k V) \, | \, B \,\text{ preserves pure tensors }\}$$ (i.e. $B \in H$ if it maps ...
0
votes
0answers
64 views

Exterior derivative of the wedge product

The book I'm reading at the moment would like to show that the following coordinate definition of the exterior derivative satisfies all the axioms assumed for the operator '$\text{d}$'. The axiom I'm ...
2
votes
1answer
113 views

Functorial proof of Cayley-Hamilton using exterior powers

Let $V$ be a rank $n$ free module over a commutative ring $R$. Let $\dagger$ denote the adjoint with respect to the natural perfect pairing given by the wedge product $$\textstyle \bigwedge^k\otimes \...
3
votes
0answers
24 views

Decomposing $k$th exterior powers $\Lambda^kV(\omega_1)$

Let $\Phi$ be a $G_2$ root system, $\omega_1$ the fundamental weight corresponding to the shorter root and consider the unique irreducible highest weight module $V = V(\omega_1)$ of highest weight $\...
0
votes
1answer
53 views

Questions About the Proof of Cauchy–Pompeiu Integral Formula.

I am studying function theory in several complex variables and the book I am using is "Tasty Bits of Several Complex Variables" by Jiří Lebl: https://www.jirka.org/scv/scv.pdf. At the moment I am ...
5
votes
1answer
151 views

Why is the exterior power $\bigwedge^kV$ an irreducible representation of $GL(V)$?

$\newcommand{\GL}{\operatorname{GL}}$ Let $V$ be a real $n$-dimensional vector space. For $1<k<n$ we have a natural representation of $\GL(V)$ via the $k$ exterior power: $\rho:\GL(V) \to \GL(\...
0
votes
0answers
32 views

Does every subspace of the exterior algebra of dimension $>1$ contain a decomposable element?

Let $V$ be a real $n$-dimensional vector space, and let $W \le \bigwedge^k V$ be a subspace . Suppose that $\dim W \ge 2$. Does $W$ contain a non-zero decomposable element? If $\dim W=1$, then ...
0
votes
1answer
18 views

The non-zero exterior product

Let $V$ denote a vector space (maybe not finite-dimensional) over a field $\mathbb k$ with basis $\{e_1, e_2, \ldots\}$. I have to prove that the set $\{e_{i_1} \wedge e_{i_2} \ldots \wedge e_{i_n}$ $|...
1
vote
0answers
42 views

Covariant Exterior Derivative action on the $\mathrm{End}(E)$-valued p-forms

Suppose I define an operator $d_A$ by its action on sections $s\in \Gamma(E)=\Omega_M^0(E)$ of some vector bundle $\Pi:E\rightarrow M$ in a trivializing neighbourhood $U\subset M$ as $$ d_As|_U=(ds+A\...
0
votes
2answers
89 views

$\omega$ a closed 2-form and $\bigwedge_{i=1}^n \omega \ne 0$ on a compact orientable smooth $2n$-manifold w/o boundary, $M$, then $H^2(M) \ne 0$.

Suppose $M$ is a compact orientable smooth $2n$-manifold without boundary, and let $\omega$ be a closed $2$-form such that $\bigwedge_{i=1}^n \omega_p \ne 0$ at every point $p$. Show that $H^2_{dR}(M) ...
2
votes
0answers
55 views

General commutators of derivations of the exterior algebra

Let $M$ be a smooth manifold and let $\Omega(M)$ be the exterior algebra of smooth differential forms over $M$. The $\mathbb R$-linear map $D:\Omega(M)\rightarrow\Omega(M)$ is a derivation of the ...
1
vote
1answer
26 views

How many independent components are there in the exterior product of two one forms?

Say we have two one-forms $\alpha = \alpha_1 dx^1+...+\alpha_n dx^n$ and $\beta = \beta_1 dx^1+...+\beta_n dx^n$ and $\gamma = \alpha \wedge \beta$. How many independent components will $\gamma$ have, ...
0
votes
0answers
38 views

Using 6th dimensional vector to rotate a tesseract

I'm trying to rotate a tesseract in 4D space for a project. This shows I can use bivectors to "to generate rotations in four dimensions." Following exterior algebra and finding the wedge product, I'...
0
votes
1answer
42 views

The Hodge star operator and the wedge product: $\alpha \wedge (\star \beta)$

According to Wikipedia, The Hodge star operator on a vector space $V$ with an inner product is a linear operator on the exterior algebra of $V$, mapping $k$-vectors to $(n-k)$-vectors where $n=\...
0
votes
1answer
25 views

Identifying a wedge-to-metric formula

In this question, the original poster wrote: On every Riemannian manifold $M$, we can consider the Hodge $*$-operator, which is characterised by the following formula: $$a\wedge *b = (a,b)\nu.$$...
0
votes
0answers
16 views

Why is this implying a normal vector field?

Suppose $\omega$ is a $n-1$ form on a $n-1$ dimensional manifold and $(a_1(x)dx_1 + ... + a_n(x)dx_n )\wedge \omega = c\Omega $, with $c \neq 0$ and $\Omega =dx_1\wedge...\wedge dx_n$. Moreover $(a_1(...
2
votes
1answer
48 views

Proof explanation: Calculate a spectrum of a pair of commuting operators

According to the following paper of Taylor: J. L. Taylor, A joint spectrum for several commuting operators, J. Functional Anal. 6(1970), 172-191. we have Let $A= \begin{pmatrix}0&1\\1&0\...