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

98 questions
Filter by
Sorted by
Tagged with
17k 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 ...
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)$$ ...
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$ ...
3k 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$~~~$...
93 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 ...
18k 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) ...
2k 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

330 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

2k views

### How to visualize $1$-forms and $p$-forms?

I am having trouble understanding the common way of visualizing one-forms. Example of the visualization: On Wikipedia and in several math and physics texts books, I have come across visualizations ...
360 views

### For $T\in \mathcal L(V)$, we have $\text{adj}(T)T=(\det T)I$.

Let $V$ be an $n$-dimensional vector space over a field of characteristic $0$. For a linear operator $T\in \mathcal L(V)$, we know that $\bigwedge^n T=(\det T)I$, where $I:V\to V$ is the identity map. ...
2k 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 ...
468 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 ...
295 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 ...
343 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 ...
160 views

### Determinant from Paul Garrett's Definition of the Characteristic Polynomial.

$\DeclareMathOperator{\id}{id} \DeclareMathOperator{\End}{End}$ On pg. 390 of Paul Garrett's notes on Algebra, a definition for the characteristic polynomial is given, which I discuss here. Let $V$ ...
95 views

### Prove that $p-$form $\omega$ on $M\times N$ is $\delta \pi(\alpha)$ iff $i(X)\omega=0$ and $L_X\omega=0$

Let $M$ be connected and let $\pi:M\times N \rightarrow N$ be the natural projection. Prove that $p-$form $\omega$ on $M\times N$ is $\delta \pi(\alpha)$ for some $p-$form $\alpha$ on $N$ if and only ...
319 views

### Cayley-Hamilton Theorem - Trace of Exterior Power Form

Let $V$ be an $n$-dimensional vector space over a field $F$ (the characteristic of which, for the purpose of this post, may be taken as $0$). Let $T$ be a linear operator on $V$ and $\lambda\in F$. ...
403 views

251 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 ...
Possible Duplicate: Identities for other coefficients of the characteristic polynomial Let $A$ be a matrix with eigenvalues $\lambda_1, \dots, \lambda_n$. Then $\det(A) = \lambda_1 \dots \... 2answers 578 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 ... 1answer 302 views ### On Chevalley's linear identification of the Clifford algebra$C(\mathbf p)$with the exterior algebra$\wedge \mathbf p$In reading Sternberg's notes on Clifford algebras and spin representations (page 148) I encountered the following: "...Consider the linear map $$C(\mathbf p)\rightarrow \wedge \mathbf p, x\mapsto x1$$... 0answers 586 views ### Koszul sign convention and symmetric group action on the graded n-th tensor product Let$V_\bullet = (V_k)_{k \in \mathbb{Z}}$and$W_\bullet = (W_k)_{k \in \mathbb{Z}}$be two graded vector spaces on 0 caracteristic field. We define the tensor product of$V_\bullet$by$W_\bullet$... 1answer 196 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 ... 2answers 727 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 \\ ... 1answer 258 views ### Prove the exterior derivative of the following (n-1) form is zero Let \omega(x)=\frac{1}{{\parallel x \parallel}^n}\displaystyle\sum_{i=1}^{n}(-1)^{i-1}x_{i} dx_{1} \wedge \dots \wedge \widehat{dx_{i}} \wedge \dots \wedge dx_{n} be a differential (n-1) form on \... 2answers 1k views ### Interior product and exterior product I have seen around the internet that this should hold:$$\iota_X(\alpha\wedge\beta)=\iota_X\alpha\wedge\beta+(-1)^k\alpha\wedge\iota_X\beta,$$where$X$is a vector field,$\alpha$a$k$-form,$\...
Let $H$ is a real, $n$-dimensional vector space. Define $\varphi \colon \operatorname{GL}(H) \rightarrow \operatorname{GL}(\wedge^{k}H)$ by $A \mapsto \wedge^{k}A$ and \$\psi_{\langle \cdot, \cdot \...