# 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.

95 questions
16k 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 ...
1k views

### Decomposable elements of $\Lambda^k(V)$

I have a conjecture. I have a problem proving or disproving it. Let $w \in \Lambda^k(V)$ be a $k$-vector. Then $W_w=\{v\in V: v\wedge w = 0 \}$ is a $k$-dimensional vector space if and only if $w$ ...
4k 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)$$ ...
2k views

### Symmetric and wedge product in algebra and differential geometry

Which is the correct identity? $dx \, dy = dx \otimes dy + dy \otimes dx$ $~~~$or$~~~$ $dx \, dy = \dfrac{dx \otimes dy + dy \otimes dx}{2}~$? $dx \wedge dy=dx \otimes dy - dy \otimes dx$ $~~~$or$~~~$...
90 views

### Is the image of the map $A \to \bigwedge^{k}A$ an embedded submanifold of $\text{GL}(\bigwedge^{k}V)$?

$\newcommand{\Cof}{\operatorname{cof}} \newcommand{\id}{\operatorname{Id}}$ Let $V$ be a real oriented $d$-dimensional vector space ($d>2$). Let $2 \le k \le d-1$ be fixed. Consider the following ...
17k 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 two vectors defined (in Differential Geometry of Curves and Surfaces by Manfredo Perdigão do Carmo) ...
1k 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 ...
3k views

316 views

### Geometric Intuition about the relation between Clifford Algebra and Exterior Algebra

It is common to see a relation being established between the Clifford Algebra and the Exterior Algebra of a vector space. Recently reading some texts written by Physicists I've seem applications of ...
2k 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 ...
1k views

437 views

### Is There a Basis Free Definition of the Pfaffian

$\DeclareMathOperator{\pf}{pf}$ I recently came across a delightful fact that: The determinant of a $2n\times 2n$ skew-symmetric matrix is a the square of a certain polynomial called the pfaffian. I ...
289 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 ...
313 views

### Is there an intuitve motivation for the wedge product in differential geometry?

I've recently started studying differential forms and have been looking at differential forms. I'm struggling to understand the motivation for introducing the notion of the wedge product. Does it ...
1k views

381 views

208 views

### Understanding the derivation of this form of the coderivative

Let $M$ be a smooth Riemannian manifold; Let $E$ be a vector bundle over $M$, equipped with a metric and a compatible connection $\nabla$. Denote by $d:\Omega^k(M,E) \to \Omega^{k+1}(M,E)$ the ...
833 views

### How to perform wedge product

I have heard all kinds of great things about Clifford/Geometric algebra, but I can't find any good resources. I have been looking EVERYWHERE for just one actual example of a wedge product being ...
164 views

### Understanding integration of k-forms

I try to wrap my head around the idea of integrating a k-form over a manifold. Loosely speaking, my intuition is, that for each point of the manifold, we do a projection onto the tangent space and ...
240 views

536 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 ...
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 ...
### Why $\bigwedge^{d-1}A=\bigwedge^{d-1}B \Rightarrow A= \pm B$
Let $V,W$ be $d$-dimensional vector spaces, and let $A,B \in \text{Hom}(V,W)$. Consider the induced maps on the exterior algebras: \$\bigwedge^{d-1}A,\bigwedge^{d-1}B :\Lambda_{d-1}(V) \to \Lambda_{d-...