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.

learn more… | top users | synonyms (1)

1
vote
0answers
24 views

Reference Request for differential ideals of Pfaffian forms on jet bundles

My setting is the following: Given two families of differential forms $\omega^i$ (with $i=1,...,m$) and $\mathrm d F^j$ (with $j=1...n-m$), define $$\eta^i := \sum_{j=1}^m a^i_j\omega^j + ...
2
votes
1answer
32 views

Some wedge product computation

I want to calculate $w\wedge w$ for $w=\sum a_{ij} e_i\wedge e_j$ where the sum is over all $1\leqslant i<j\leqslant 4$. Is there a neat way to do it without writing all the terms out? What about ...
3
votes
2answers
69 views

Is there a way to determine the matrix of $\Lambda^k(T)$ given the matrix of $T$?

Let $T$ be an endomorphism of a finite dimensional vector space $V$. Suppose that $(v_1,\ldots v_n)$ is an ordered basis of $V$. And let $[T]$ be the matrix of $T$ with respect to this basis. Is ...
2
votes
0answers
30 views

Vector Laplace Beltrami operator on surface tangent and surface normal vector field

Consider a closed, compact, embedded surface $f:M \rightarrow \mathbb{R}^3$ and a vectorfield $X$ on the surface that can be decomposed in the surface frame basis $\{e_1,e_2,e_3\}$, where ...
1
vote
2answers
48 views

Area of projection of cube in $\mathbb{Z}^3$ onto a hyperplane

A cube with vertices $(\pm 1, \pm 1, \pm 1)$ gets projected into the plane perpendicular to vector $\mathbf{n}\in S^2$. The projection is a hexagon, how do I find the area? I think I can just ...
0
votes
2answers
59 views

Exterior product in 3 dimension

I'm curious about the exterior product in $3$ dimensions. Is it the same as the cross product? If it is, does anybody here have an idea about its calculation? $(a \wedge b) \wedge c = ?$
2
votes
0answers
25 views

Lie algebra: symmetric and exterior power of representation

If $\mathfrak{g}$ is a Lie algebra, $V$ and $W$ are representation of $\mathfrak{g}$ we define the action of $\mathfrak{g}$ on $V \otimes W$ in the following way: $X \cdot (v \otimes w)=(X \cdot v) ...
1
vote
1answer
61 views

What is the wedge product of multilinear forms?

The construction of $V^* \otimes V^*$ involves creating formal symbols and then adding in relations such as bilinearity by quotienting out. A bilinear form $V\times V\to F$ can be thought of as a ...
0
votes
0answers
21 views

Exterior algebra of a direct sum [duplicate]

Why the exterior algebra of a direct sum of subspaces is isomorphic to a Tensorial product of it's exterior algebras, I mean, Why ⋀(V⊕W)≃⋀V⊗⋀W ?
2
votes
0answers
23 views

For vector spaces $V,W$, probe that $\Lambda (V)\otimes\Lambda (W) \cong \Lambda (V\oplus W)$ [duplicate]

For vector spaces $V,W$, probe that $\Lambda (V)\otimes\Lambda (W) \cong \Lambda (V\oplus W)$. I have tried to use the universal property, but I can not create the necessary linear transformation.
0
votes
0answers
34 views

Let $K$ a field, $\operatorname{char}(K)=0$. Let $V$ a vector space over $K$, $\dim(V) \geq 1$, and be $f$ a $n$-tensor. Prove that $f \wedge f =0$

Let $K$ a field, with $\operatorname{char}(K)=0$. Let $V$ a vector space over $K$, $\dim(V) \geq 1$, and be $f$ a $n$-tensor ($f \in {\mathcal T}_n(V):=\Lambda^{n}(V)$), i.e., $f$ is an multilinear ...
4
votes
1answer
79 views

When is the rank the biggest number for which $\Lambda^m(M) \neq 0$?

I was doing some theory of Dedekind domains, and I found very useful to use the language of exterior algebra to prove the main results for finitely generated modules over Dedekind domains. I was, ...
1
vote
2answers
95 views

Idempotent operators over the exterior algebra

I am wondering if there exists a (reasonably) well-known set of operators $A_i$ over the exterior algebra such that $\{A_i,A_j\} = \frac{1}{2}(A_i +A_j)$, where $\{X,Y\}=(XY+YX)/2$.
2
votes
1answer
52 views

“Canonical” symmetrization/skew-symmetrization/alternation of multilinear functions

Is there some precise sense in which the "alternation" functor $A$ that maps a multilinear function $f\colon M^d\to N$ to the alternating multilinear function $A(f)\colon M^d\to N$ defined by $$ ...
3
votes
2answers
116 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) $$ ...
1
vote
1answer
27 views

Is the Grassmann Functor $\Lambda$ full?

Is the functor $\Lambda: \mathsf{FinDimVect}_\mathbb{R} \to \mathsf{Alg}_\mathbb{R}$ that sends a fin. dim. $\mathbb{R}$-vector space to its exterior algebra full? If not, is there a way of ...
0
votes
1answer
58 views

Why is the exterior derivative called exterior derivative

I am studying exterior calculus, and I think I have some grasp of what is the exterior derivative. However its name still eludes me - why is it called a derivative? Is it just because the operator $d$ ...
1
vote
1answer
25 views

Left ideals in exterior algebra $\Lambda E$ that aren't right

Let $E$ be a vector space. I'm interested in examples of left ideals in exterior algebra $ \Lambda E$ that aren't right ideals.
0
votes
2answers
54 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 \\ ...
1
vote
0answers
39 views

The canonical perspective on the Hodge star operator

I am looking for the canonical perspective on the Hodge star operator. I want to see it done properly, not using basis for its definition, saying clearly what we assume in its definition. ...
0
votes
1answer
70 views

Operations in the exterior algebra. Multiplication in the direct sum of rings.

Let the exterior algebra $\Lambda(V)$ of a vector space $V$ over a field $K$ be the direct sum of the exterior powers $\Lambda^k(V),\quad k\in\overline{0,n}$. Then an element $x\in\Lambda(V)$ has the ...
0
votes
0answers
20 views

The exterior product (given by an alternative definition) is associative

Definition: Let $w^k$ and $w^l$ be a $k$-exterior form and an $l$-form on $\mathbb R^n$. For any $k+l$ vectors $x_1,\dots,x_{k+l}$ define $$w^k\wedge w^l(x_1,\dots,x_{k+l})=\sum_{\begin{matrix} ...
2
votes
1answer
31 views

A basis in the $k$-th exterior power of a vector field

Definition: Let $\mathbb R^n$ be the $n$-dimensional real vector space. An exterior $k$-form call any skew-symmetric tensor on $\mathbb R^n$ of rank $k$. Denote the set of exterior $k$-forms by $E^k$. ...
2
votes
1answer
100 views

Pullback of Differential-Form

Given a differential form $$x\,dy\wedge dz-y\,dx\wedge dz+z\,dx\wedge dy$$ I am supposed to prove that the it's pullback by a linear map of determinant one leaves it invariant. For example, if ...
1
vote
1answer
46 views

If $\omega\wedge\beta$ is exact for every closed form $\beta$, then $\omega$ is exact.

Let $\omega$ be a closed $k$-form. Then: If $\omega$ is exact, for every closed form $\beta$, the form $\omega\wedge\beta$ is exact. Proof: Let $\omega=d\alpha$. Now $d(\alpha\wedge\beta) = ...
0
votes
2answers
46 views

wedge product of $m$ vectors in $\mathbb{R}^n$

I came across the symbol $|v_1 \wedge \dots \wedge v_m|^{-1}$ in a paper - this is the norm of the wedge product of vectors $v_k \in \mathbb{R}^n$ . I thought it's meaning was self-evident until I ...
1
vote
0answers
70 views

Is $\Lambda(T^{*}E)=\bigoplus_{k=0}^n\Lambda^k(T^{*}E)$ a complex line bundle over $T^{*}E$?

Is $\Lambda(T^{*}E)=\bigoplus_{k=0}^n\Lambda^k(T^{*}E)$ a complex line bundle over $T^{*}E$? I know that ...
4
votes
3answers
128 views

Geometric introduction to exterior algebra

Could anyone point me to a geometric introduction to exterior algebra (meaning, one with a good number of figures and/or verbal descriptions of geometric objects in it)? Thanks!
0
votes
0answers
27 views

Why is the presheaf-“p-exterior power” of a sheaf separated?

In the first volume of the EGA ( http://www.numdam.org/numdam-bin/feuilleter?id=PMIHES_1960__4_ ), p38, Grothendieck says that the presheaf-p-exterior power of a module in ringed space a separated ...
0
votes
0answers
15 views

Exterior algebra evaluation

How do you evaluate the following expression $\hat{i}\wedge\hat{j}\wedge\hat{i}$? And why does $(\hat{i}\wedge\hat{j})\wedge(\hat{i}\wedge\hat{j}\wedge\hat{k})=-\hat{k}$ philosophically?
1
vote
0answers
78 views

Norm inequality with wedge product

Anyone could help me to prove this following inequality? $\displaystyle\frac{||(u+v)\wedge w||}{||u+v||}\le \frac{||u\wedge w||}{||u||} +\frac{||v\wedge w||}{||v||} $ where $u\wedge v$ is the wedge ...
2
votes
2answers
57 views

Tensor products, existence of a unique linear map

Question: Given a bilinear map $B: V\times W\to X $, show there exists a unique linear map $T:V \otimes W\to X $ s.t. $B= T \circ \phi$ Background: We define $V \otimes W $ by F[ ...
1
vote
1answer
48 views

exterior derivative elementary question

Let $x$ and $y$ be coordinates of a plane $\mathbb{C}^2$. Then $$ dx \wedge dy\left(\dfrac{\partial}{\partial x}\right) $$ is $dy$ or $-dy$?
1
vote
0answers
35 views

Grassmannian as a submanifold of the exterior product

I'm looking for a proof of the fact that if $V$ is a finitely dimensional vector space, then $G_p(V) \setminus \{0\}$ is a submanifold of $\Lambda_pV$. Here $G_p(V) = \{ v_1 \wedge ... \wedge v_p \ ...
2
votes
0answers
56 views

Exterior power of a space of maps $(\mathbb{K}^T)$

We are given a set $T \neq \emptyset, \ \ p \ge 1, \ \ p_i : T \rightarrow \mathbb{K}$ Could you help me prove that if $ \phi: (\mathbb{K}^T)^p \ni (f_1, ..., f_p) \rightarrow \rho \in ...
4
votes
0answers
73 views

How to compute Ext over an exterior algebra

I found this question in several places (even on mathoverflow and mathstackexchange), but I never found a satisfying answer. Let $k$ be a field and $V$ a finite dimensional $k$-vectorspace, I would ...
0
votes
1answer
56 views

Exterior power and alternating forms: explicit computations

I would like to get a more concrete understanding of a general isomorphism I have read about. I apologize if this is too basic, but I was not satisfied with the references at my disposal. Let $K$ be ...
6
votes
2answers
108 views

Relation between exterior (second) derivative $d^2=0$ and second derivative in multi-variable calculus.

What does an exterior (second) derivative such as in $d^2=0$ have to do with second derivatives as in single- or multi-variable calculus? Is this a correct start: Calculus derivatives are good for ...
0
votes
0answers
90 views

exterior differential systems: understanding the antiderivation

In the book "Exterior differential systems" by Bryant, Chern, Gardner, Goldschmidt and Griffiths on page 8 the concept of a an antiderivation is introduced: An endomorphism $f$ of the additive ...
2
votes
2answers
133 views

Wedge product of 0-form with 1-form

What is the wedge product $\wedge$ of a $0$-form $f(x_1,...,x_n)$ with a $1$-form $\displaystyle\sum_{i=1}^{n} a_i dx_i$? According to the theory, it should be a (0+1=1)-form.
0
votes
0answers
47 views

Necessary and sufficient criterion for identifying decomposable k-vectors

In the exterior algebra, if $\alpha \in \Lambda^k(\mathbb{R}^n)$ is decomposable then $\alpha \wedge \alpha = 0$, but the converse is not necessarily true. Is there some sort of algebraic criterion ...
4
votes
1answer
299 views

The Hodge $*$-operator and the wedge product

On every Riemannian manifold $M$, we can consider the Hodge $*$-operator, which is characterised by the following formula: $$a \wedge *b = (a,b)\nu.$$ Here $a$ and $b$ are smooth forms on $M$, $(\ ,\ ...
1
vote
0answers
26 views

Exterior product of vectors in $\mathbb{R}^4$ with integer coefficients.

Let $a, b, c, d$ be vectors with integer coordinates in $\mathbb{R}^4$ such that $k a \wedge b = c \wedge d$ for some integer $k$ and $a \wedge b \neq l v$ for any $v \in \bigwedge^2 (\mathbb{R}^4)$ ...
2
votes
3answers
93 views

$0$-th exterior power, empty product of modules and their tensor product

$\def\finiteprod#1#2{#1_{1}\times#1_{2}\times\dots\times#1_{#2}}$In Lang's algebra he defines the tensor product as a universal object in the category of multilinear maps from $\finiteprod En$ where ...
1
vote
0answers
39 views

Vanishing criterion of pure wedges

Let $R$ be a commutative ring, $M$ some $R$-module, and $m,n \in M$. Is there some criterion when $m \wedge n = 0$ in $\Lambda^2(M)$? There are some sufficient criterions, for example that $m \in ...
0
votes
1answer
85 views

Bivector as a sum of exterior products of basis vectors.

Prove that for any 2-vector $\alpha=\Lambda^2(V)$ there is a basis $\{e_1,\ldots, e_k\}$ of $V$ such that $\alpha= e_1\wedge e_2 + e_3\wedge e_4 + \ldots +e_{k-1}\wedge e_k$, where $\wedge$ denotes ...
1
vote
1answer
39 views

Exterior product of $\Bbb Z[x,y]$

Let $R$ be the polynomial ring $\Bbb Z[x,y]$ in the variables $x,y$. If $M=R$ (so we are considering the $R$-module $R$) then $\wedge^2 (M)=0$. This was an example in Dummit and Foote's Abstract ...
0
votes
1answer
73 views

Exterior power respects $G$-action

Basic setting: Let $V$ be a $k$-vector space of finite dimension and $V^*$ its dual space. Let $\bigwedge^n V$ denote the $n$-th exterior power of $V$. Now the canonical pairing $$V \times V^{*} ...
0
votes
0answers
156 views

Hodge dual exterior derivative

The introduction of the Hodge dual to the structure of the cotangent space requires the reference to a specific basis or an inner product. I was wondering however, if the composition of hodge dual and ...
0
votes
0answers
72 views

Roots of characteristic polynomial of endomorphisms of modules under wedge products

Suppose we have a module $M$ over a ring $R$. And let $E \in End(M)$ with characteristic polynomial $f$. Let the roots of $f$ be $\lambda_1, \dots, \lambda_d$. Then $E$ corresponds to one of these ...