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.

Filter by
Sorted by
Tagged with
5
votes
2answers
99 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
70 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
68 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 ...
1
vote
1answer
28 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
82 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
38 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
52 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
71 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
58 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
35 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
113 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
40 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
104 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 ...
1
vote
0answers
197 views

Leibniz rule for exterior derivative of wedge product

I'm trying to show $\text{d}(\alpha\wedge\gamma)=\text{d}\alpha\wedge\gamma+(-1)^p\alpha\wedge \text{d}\gamma$ for all $p$-forms $\alpha$ and $\gamma$, $\text{d}$ is exterior derivative. I want to ...
2
votes
1answer
165 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
34 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
154 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 ...
7
votes
1answer
200 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
46 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
26 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
46 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
122 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
101 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
33 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
73 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
110 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
26 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
27 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
64 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\...
0
votes
1answer
40 views

Equivalence of definition of symplectic form

Suppose that $V$ is a vector space of dimension $2n$, and let $\omega \in \Lambda^2(V)$. Prove that the following two statements are equivalent. (1) $\tilde{\omega} : V \rightarrow V^*$ defined ...
0
votes
0answers
98 views

Trouble in finding the Galois group of the covering spaces of $S^1 \vee S^1$.

I am studying covering spaces and deck transformations from the book Algebraic Topology written by Allen Hatcher. While reading deck transformations I came across the concept of Galois group of ...
0
votes
0answers
36 views

Exterior algebra as quotient algebra

This is my first time posting so I apologise for the stupid question. I am trying to understand the idea of exterior algebra as a quotient algebra. Let $T(V)$ be the tensor algebra of a vector space $...
2
votes
0answers
64 views

Exterior Derivative over Quaternions

I was wondering if it is possible to define the exterior derivative of a quaternionic valued function. I am doing the quaternionic analogue of a previously complex valued computation, namely something ...
1
vote
1answer
82 views

Are all bivectors in three dimensions simple?

I want to show that all bivectors in three dimensions are simple. If I understand correctly, a bivector is simply an element from the two-fold exterior product $\bigwedge^2V$ of a vector space $V$, ...
0
votes
0answers
107 views

How to calculate the wedge product of differential forms with arbitrary coefficients

I need to calculate the wedge product between some differential forms of the type:   $\omega=P_1(x_1, ..., x_n)dx_1+\cdots+P_n(x_1, ..., x_n) dx_n$ and $d\omega$, i-e, $\omega\wedge d\omega$. where ...
1
vote
1answer
33 views

Exterior algebra: If $\alpha \land \beta =0$ for all $\beta \in \Lambda ^{n-k} V$ then $\alpha =0$.

How do I prove the following: If $V$ is $n$-dimensional, and $\alpha \in \Lambda ^{k} V$, if $\alpha \land \beta =0$ for all $\beta \in \Lambda ^{n-k}$ then $\alpha =0$. For $k=1$, then we can form ...
1
vote
1answer
88 views

One-dimensional null space for a 2-form

Consider the following 2-form on $\mathbb R^{2n+1}$ with coordinates $x_1...x_n;y_1...y_n;t$: $$\omega^2=\sum dx_i \land dy_i-\omega^1 \land dt$$ where $\omega^1$ is any 1-form on $\mathbb R^{2n+1}$. ...
0
votes
1answer
71 views

Showing that a 2-form on an odd dimensional space is not degenerate

On an odd-dimensional space $\mathbb R^{2n+1}$ with coordinates $x_1...x_n;y_1...y_n;t$ consider the following 2-form: $$\omega^2=\sum dx_i \land dy_i-\omega^1 \land dt$$ where $\omega^1$ is any 1-...
2
votes
1answer
164 views

Lagrange identity for determinants

Let A $\in M_{(n-1)},n(\mathbb{R})$ and for each $1\leq j \leq n$,let $A_j$ the matrix obtained from A by removing the j-th column. Show that: $det (AA^t)= \sum\limits_{j=1}^n det(A_j)^2$ My first ...
0
votes
0answers
70 views

Product manifolds and exterior derivative with interior product

While studying differential geometry, I read this part of a proof and I didn't understand it. Given a $2$-manifold $\Omega$ and an interval $I=(-\epsilon, \epsilon)$, consider the cartesian product $M=...
0
votes
1answer
158 views

Wedge product and differential forms

I am a bit confused when it comes to wedge product and differential forms. I know the following property: $\omega\wedge\eta=(−1)^{kl}\eta\wedge\omega$ Also I know that when $k$ is odd and I am ...
1
vote
1answer
35 views

Basis for the Dual Space Involving Wedge Products

I'm pretty much stuck on the following problem. Let $V$ be an $n$-dimensional vector space, and let $\omega\in\Lambda^{2}(V^{*})$. Show that there is a basis $\{e^{1},e^{2},\ldots,e^{n}\}$ of $V^{*...
0
votes
0answers
24 views

Functional Derivative of Product of Two Grassmann Functionals

Say, I have a product of two Grassmann functionals: $F[\psi(x)]$ and $G[\psi(x)]$ given by $F[\psi(x)]G[\psi(x)]$. I want to take the functional derivative of this product with respect to $\psi(x)$: ...
0
votes
1answer
86 views

Confusion over an exterior derivative product

I have an elementary question regarding the exterior derivative which confuses me. I am reading Theorem 2.1.13 of the book Aspects of Multivariate Statistical Theory by Robb J Muirhead. The part that ...
1
vote
0answers
135 views

The wedge of an exact form with a closed form is exact.

I'm trying to prove that the wedge of a closed form $\xi$ with an exact form $\omega$ is exact. We already have that half of it is exact. Maybe we can use the equation of $\xi$ being closed to rewrite ...
0
votes
1answer
34 views

A natural identification of the second exterior power of linear operators ?

Let $K$ be a field of characteristic zero and $V=K^n$. Let $A\in M(n,K)$, so we can think of $A$ as a linear map $A: V \to V$ be a linear map . Let $\wedge^2 V$ be the second exterior power of $V$ and ...
5
votes
1answer
135 views

Eigenvalues of the second exterior power of a linear operator

Let $K$ be a field of characteristic zero and $V=K^n$. Let $T: V \to V$ be a linear map with eigenvalues $\lambda_1,...,\lambda_n \in K$ , not necessarily all distinct. Let $\wedge^2 V$ be the second ...
0
votes
1answer
61 views

On the “exterior derivative” for not-necessarily-differential forms

Suppose that we are talking about the linear map $$e^i\wedge:\text{Alt}(\otimes^pV^*)\to\text{Alt}(\otimes^{p+1}V^*),$$ which maps exterior $p$-forms to $(p+1)$-forms. In my mind, this is the ...
1
vote
1answer
70 views

Grassmann algebra

In studying associative algebras' theory I was introduced to the notion of Grassmann algebra, but I don't know if I well understood how to construct this algebraic structure. Let $F$ a field and $X=\...