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
0
votes
1answer
27 views

Showing exterior product is skew-commutative

I am learning about the exterior product and wish to show the skew commutative property. Here is my work: I am confused on how to handle the notation of $(\omega^k \wedge \omega^l)$ as at the end I ...
2
votes
1answer
84 views
+100

Equivalence of wedge and tensor product with Levi-Civita symbol

In this answer the following is stated: \begin{eqnarray} v\land w & = & \frac{1}{2!}(v\land w-w\land v) \\ & = & \frac{1}{2!}\epsilon_{\mu\nu}v^{\mu}\land w^{\nu} \\ & = & \...
3
votes
1answer
27 views

Linear maps inducing identity on exterior square

Let $V$ be $n$-dimensional space over a field $F$. Let $V\times V\rightarrow \wedge^2 V$ be the natural map. Thus, if $\{v_1,v_2,\ldots, v_n\}$ is a basis of $V$ then $\{v_i\wedge v_j \,\,|\,\, 1\le i&...
1
vote
0answers
24 views

Measure of a unique volume element

This is an issue that I'm am trying to solve for a fine-tuning measure in particle physics, but it is purely mathematical. Consider three vectors $\{v_1, v_2, v_3\}$ in $\mathbb{R}^3$. I would like a ...
1
vote
1answer
45 views

Associativity of wedge product in a vector space

I'm reading a book on differential forms to try to understand wedge products. Given two vectors $u$ and $v$, the wedge product is defined $u\wedge v = u^Tv - v^Tu$. It is stated that the wedge ...
1
vote
0answers
61 views

The notion of the “Nolting” Algebra

In the "Multilinear Algebra" by W. Greub it is mentioned that for a vector space $V$ over the field $k$, one can define the 'Nolting Algebra'. Let's name it $N_V$ for the sake of discussion. Then, $$ ...
2
votes
1answer
26 views

Determinant of a diagonal block matrix using exterior algebra

Let $V$ and $U$ be two finite-dimensional vector spaces of dimensions $n$ and $m$ respectively. For $f\in \mathrm{End}\,V$ we define a multilinear, anti-symmetric function: $$V\times ...\times V\to \...
1
vote
0answers
33 views

Hodge star and Hodge dual of a special kind of $n$-form

For a fixed ordered subset $I=\{i_1,...,i_n\}$ of $\{0,1,...,n\}$, where $i_1<...<i_n$, let $\hat i$ be the unique element of $\{0,1,...,n\} \setminus \{i_1,...,i_n\}$. For such an $I$, let $\...
1
vote
1answer
36 views

Is there a difference between the wedge product and the exterior product?

I haven't been able to find much on the internet regarding this distinction (if there is one). I suspect they might be different, but I'm not sure.
1
vote
1answer
27 views

What to call this extension of a linear transformation to the whole exterior algebra, defined by $F(A\wedge B)=F(A)\wedge B+A\wedge F(B)$

Given a linear transformation $f$ on a vector space $V$, we can extend it to the exterior algebra $\Lambda V$ by defining $F(A\wedge B)=F(A)\wedge F(B)$, or $$F(1)=1$$ $$F(a)=f(a)$$ $$F(a\wedge b)=...
2
votes
0answers
28 views

Wedge product for composite of linear transformations

I am studying the wedge product for multivariable analysis, but I feel that the operations are not so intuitive in general. I am looking at the following question which deals with linear ...
0
votes
1answer
21 views

Second order derivatives: Exterior and Lie

Maybe it's an odd question caused by some overinterpretation..anyway it's not uncommon encounter in books statements like this one (regarding differences among Exterior Derivative, Lie Derivative and ...
0
votes
0answers
18 views

Proving that the exterior algebra of a free module is free via universal property

Let $R$ be a commutative ring, and let $M$ be a free $R$-module with basis $e_1,\ldots,e_n$. If $I=\{i_1,\ldots,i_k\}, i_1<i_2\cdots<i_k$, is a subset of $\{1,\ldots,n\}$, let $e_I=e_{i_1}\...
2
votes
1answer
60 views

The different products on $k$-alternating forms and their relationship with the exterior product

Let $V$ be a vector space and $k\in \mathbb{N}$. Denote $\Lambda^k V$ the exterior $k $-power of $V$. Let $f:\Lambda^k V^*\to (\Lambda^k V)^*$ be the map such that a $k$-covector $\eta_1\wedge \...
0
votes
0answers
15 views

Degree part of exterior algebra

I have a graded vector space $V$ and exterior algebra $\bigwedge V$.Suppose further that $V^0=V^1=0$. I don't understand why $(\wedge V)^2=V^2,(\wedge V)^3=V^3$ and $(\wedge V)^4=P^2V^2$. notation: $...
0
votes
0answers
27 views

Degree of elements in exterior algebra

How one determines the degree of an element in the exterior algebra $\bigwedge V$, for a graded vector space V. e.g.Is it true that $\wedge^n V^2=0$, as elements of $V^2$ are of degree 2? In ...
0
votes
0answers
11 views

Exterior algebra of a direct sum

Can someone provide a formula for $\bigwedge( V_1\oplus V_2\oplus V_3\oplus..)$. The formula for two summands is $\bigwedge^1 (V_1\oplus V_2)=(\wedge^1V_1\otimes \wedge^0V_2) \oplus (\wedge^0V_1\...
0
votes
0answers
12 views

Exterior algebra over graded space

I can't understand how to compute exterior powers in the exterior algebra $\bigwedge V$ where $V$ is a graded vector space. I know for a single (not graded), $k$-vector space, that $\bigwedge V=\...
0
votes
0answers
32 views

Calculating exterior powers

I am confused with an example I found, which says that for a given graded vector space $V$ such that $V^0=0$ and $V^1=0$, then $(\bigwedge V)^2=\bigwedge^2V =V^2$. Two questions: 1.$V^0$ is not the ...
2
votes
0answers
32 views

Is every rotationally-invariant $k$-covector zero?

Let $V$ be a real $n$-dimensional oriented inner product space, and let $1 \le k < n$. I am trying to find different simple proofs for the following claim: There is no non-zero $\omega \in \...
3
votes
1answer
33 views

Does the kernel of every alternating form contain a decomposable element?

Let $V$ be a real $n$-dimensional vector space, and let $1 < k < n$. Let $\alpha \in \bigwedge^k (V^*) \cong (\bigwedge^k V)^*$. Thinking of $\alpha$ as a linear functional $\bigwedge^k V \to \...
0
votes
0answers
33 views

Confusion with exterior algebra

I have a graded vector space $V$ such that $V=V^2\bigoplus V^3$, i.e $V^k=0\quad \forall k\neq2,3.$ Now I can't understand what is $\bigwedge V^{\leq 2}$. Is it $\bigwedge V^{\leq 2}=\bigwedge^0 V^...
0
votes
0answers
11 views

Sullivan minimal models

I am confused with a notation for the minimality of Sullivan model. In particular in some books it's written that $d(V)\subset \bigwedge^{\geq2}V$ and in others it's written that $Im(d)\subset \...
2
votes
2answers
35 views

Prove a change of coordinates is symplectic

I have to find the value $\alpha\in\mathbb{R}$ such that the following change of coordinates is symplectic: $ \varphi(p,q)\rightarrow (P,Q)$ where $Q = q^2 + \alpha\sqrt{q^2+p}$ $P = q + \sqrt{q^2+...
0
votes
2answers
60 views

Bilinear Map on Exterior Algebra That Gives Determinant

How do I see that for a $K$-vector space $V$ the map $\bigwedge^d(V^*) \times \bigwedge^d(V) \rightarrow K, (f_1 \wedge ... \wedge f_d, x_1 \wedge ... \wedge x_d) \mapsto det(f_i(x_i)_{i,j})$ is ...
8
votes
0answers
51 views

How many matrix minors determine all the minors?

Let $n$ be a positive integer, and let $1<k<n$. Suppose we have an "unknown" real $n \times n$ matrix $A$. (we do not know the entries of $A$). Can we recover all the $k$-minors of $A$ from ...
0
votes
0answers
22 views

( Proof Explanation ) Modified Euler scheme preserves the weighted area $ dx \wedge dy/xy$

I already showed that the Lotka Volterra Equations preserve the weighted area $ dx \wedge dy/xy$ see here. Now I need that a modification of the Forward Euler Method preserves the same weighted area. ...
0
votes
1answer
32 views

Equivalence of area forms on the sphere

This is Problem 23.5 from Tu's An Introduction to Manifolds. Prove that the area form $\omega$ on $S^2$ in Example 23.11 is equal to the orientation form $$x dy \wedge dz - y dx \wedge dz + z dx \...
0
votes
1answer
27 views

Elementary Question on Sections of $\Lambda^2(X \times Y)$

Let $X$ and $Y$ be complex manifolds with local coordinates $(x_1, ..., x_n)$ and $(y_1, ..., y_m)$, respectively. The exterior algebra $\Lambda^2(X \times Y)$ decomposes as $$\Lambda^2(X \times Y) = \...
0
votes
0answers
39 views

Determinant and wedge product confusion

Beginner with differential forms – please go easy. I'm trying to understand how the wedge product can be used to define the determinant. In Lee's Introduction to Smooth Manifolds (bottom of page 210) ...
1
vote
1answer
99 views

problem with Exterior Derivative

I have a 3-manifold with Riemannian metric $g=\omega_1^2+\omega_2^2+\omega_3^2$, where $\omega_i$ are 1-forms (coframe fields). I am in this situation: $- (u^{-1}p+\frac{3}{2}u^{-1})du \wedge \...
2
votes
1answer
33 views

Are vector bundles with isomorphic determinant bundles isomorphic?

Let $A$ and $B$ be $2n$-dimensional complex vector bundles and $\det A=\Lambda^{2n}(A)$ and $\det B=\Lambda^{2n}(B)$. Can you prove $A\cong B $ if and only if $\det A\cong \det B $? Is it a correct ...
3
votes
3answers
51 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
16 views

Results from wedge product [closed]

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
52 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
24 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
60 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
45 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
29 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
26 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
46 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
61 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
30 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
1answer
47 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
22 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
99 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
27 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|...