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)

0
votes
1answer
15 views

Notation for a projection of a differential form

Let $\omega = a_1 dx_1 + a_2 dx_2 + b_1 dy_1 + b_2 dy_2$. Is there any established notation to denote a mapping that "filters out" the $dy_i$-Terms? To be more precise, I invent my own one. Assume ...
1
vote
0answers
56 views

Wedge product equality of 2n-forms in 2n+2 dimension

I have a question that seems to me clear but i couldn't prove it. I have a diffeomorphism between the cotangent bundle of the n-sphere and the complex quadric as $$T^*(S^n)\to (S^n)^{\mathbb{C}},\ ...
1
vote
1answer
27 views

The exterior algebra is a superalgebra?

Can someone explain how the exterior algebra of a vector space or a module over a commutative ring is a superalgebra? The exterior algebra has an obvious $\mathbb{Z}$-grading, but I don't see ...
1
vote
0answers
20 views

why is $\omega^n \neq 0$ for a nondegenerate 2 form $\omega$. [duplicate]

Let $\omega$ be a nondegenerate alternating $2$-form on an $2n$-dimesional Vectorspace $V$, meaning that for all nonzero $v \in V$ the map $w \mapsto \omega(v,w)$ is not identically zero. Why is the ...
3
votes
2answers
36 views

Exterior derivative of a form and $d(d\omega)=0$?

We know that in differential geometry, $d^2\omega=0$, where $\omega $ is a form and $d$ is the exterior derivative. However if this form happens to be the exterior derivative of another form ...
2
votes
1answer
21 views

Exact sequence of vector bundles

I'am working on a shorter proof of a theorem but to manage it I need to know if a lemma is true. Conjecture: Given a manifold $M$ and an short exact sequence of vector bundles $$ 0 \rightarrow E' ...
2
votes
0answers
27 views

Geometric Interpretation of Determinant of Transpose

Below are two well-known statements regarding the determinant function: When $A$ is a square matrix, $\det(A)$ is the signed volume of the parallelepiped whose edges are columns of $A$. When $A$ is ...
0
votes
0answers
10 views

Criterion for Smoothness of a Function Mapping Into an Exterior Power of a Vector Space.

All vector spaces are assumed to be real and finite dimensional. I am trying to show that: Let $V$ be a vector space and $f:\bigoplus^k V\to \bigwedge^k V$ be defined as $$f(v_1, \ldots, v_k)= ...
1
vote
2answers
42 views

Are all $k$-vectors in $\mathbb{R}^3$ simple?

The second comment of the accepted answer here, claims that all $k$-vectors in $\mathbb{R}^3$ are simple, that is, they can be written as the wedge product of k vectors. I tried to show this for ...
4
votes
1answer
35 views

Determinant defined using multilinear alternating maps, and invertibility of linear endomorphisms

In Jeffrey Lee's differential geometry text on page 353 he defines the determinant in an interesting way using multilinear alternating maps: Suppose $V$ is an $n$-dimensional $k$-vector space over ...
2
votes
0answers
15 views

Annihilator for a tensor $T\in\wedge V^{\ast}$ [duplicate]

For $T\in\wedge^{k} V^{\ast}$ the annihilator is set $$an(T)= \{\phi\in V^{\ast}\mid \phi\wedge T=0\}$$ Then I need to prove that $dim(an(T))\leq k$ and is equal iff $T$ is decomposable ($i.e.$, ...
1
vote
0answers
43 views

Pullback map distributes over wedge product (proof)

To prove that the pullback map distributes with the wedge product is it first best to prove that it distributes over the tensor product and then use the relation $$dx^{\mu_{1}}\wedge\cdots\wedge ...
1
vote
0answers
19 views

Isomorphism between two vector spaces with the wedge products

F is a field not characteristic 2. V and W are F-vector spaces. If A is the vector space with basis the formal symbols v ∧w with v ∈ V and w ∈ W, and B is the subspace spanned by elements of the form ...
1
vote
1answer
57 views

The adjoint of left exterior multiplication by $\xi$ for hodge star operator

As we know, for $V$ vectoral space and a orientation $\mathcal{O}$ on $V$ and $e_{1},...,e_{n}$, the hodge star operator $\ast:\wedge V^*\rightarrow\wedge V^*$ is defined for ...
1
vote
0answers
16 views

The space $V^{0}_{p}$ of p times covariant tensors and canonical isomorphisms

I have been studying tensor calculus by myself, but I have found the following claim in my book: The space $V^{0}_{p}=V^{*} \otimes \cdots \otimes V^{*}$ of $p$ times covariant tensors is ...
2
votes
0answers
32 views

Does the wedge product of bundle-valued forms induce a universal object?

Given a smooth manifold $M$ and a vector bundle $E$ over $M$, the $C^\infty(M)$-module of $E$-valued $p$-forms on $M$ is defined to be $$\Omega^p(M; E) := \Gamma_M\left( \bigwedge^p T^*M \otimes E ...
4
votes
0answers
54 views

When does the duality functor commute with the wedge power functor?

When working with modules over a fixed commutative ring, I know that $(M \otimes N)^* \cong M^* \otimes N^*$ provided either $M$ or $N$ is finitely generated projective. Does it follow that ...
3
votes
2answers
67 views

Conceptual approach to the formula $\sum_{i=1}^n \det(v_1, \ldots, Av_i, \ldots, v_n)=\text{tr}(A)\det(v_1, \ldots, v_n)$

I answered this question earlier showing that $$\sum_{i=1}^n \det(v_1, \ldots, Av_i, \ldots, v_n)=\text{tr}(A)\det(v_1, \ldots, v_n),$$ and while I am happy with my answer, I feel like there should ...
3
votes
1answer
77 views

Geometric intuition about the exterior derivative

Let $M$ be a smooth manifold. One $k$-form is a section of the bundle $\bigwedge^k T^\ast M$, that is, if $p\in M$ and $\omega$ is a $k$-form then $\omega_p$ is one $k$-linear alternating real ...
1
vote
1answer
43 views

Why should there be a 7-dimensional cross product in the context of exterior algebra?

The three-dimensional cross product can be viewed as the wedge product corresponding to the exterior power $\Lambda^2(\mathbb R^3)$. An explanation that I have come up with for the scarcity of cross ...
2
votes
0answers
47 views

Tensor algebra becomes an R-algebra. Theorem, Proof, Dummit and Foote

I have the definition of tensor algebra as follows: $T(M) = \bigoplus_{i =1}^{\infty} T^i(M)$, where $M$ is an $R$ module, where $R$ is commutative and contains the element $1$. Finally $T^k(M) = ...
1
vote
0answers
43 views

some exterior power of a lattice, torsion-free? (about a remark of Serre in Local Fields)

I have a question on a remark of Serre in chapter III §2 of his book Local Fields (p. 49). In this section he wants to define the discriminant of a lattice with respect to a bilinear form. The ...
1
vote
1answer
44 views

How do I show this relation between exterior product and the projection of a tensor product

I have troubles understanding this whole problem starting at the definition. We have defined the exterior product as follows: If $\alpha = \pi (a) \in \bigwedge^pV$ and $\beta = \pi(b) \in ...
1
vote
0answers
31 views

Exterior product of square matrix

Let $A = (a_{ij})$ be a square matrix of rank n. How to compute the exterior product $\wedge^{i} A = (b_{ij})$ for $i =1,...,n$, how to express $b_{ij} = ?$. Thank you!
3
votes
1answer
68 views

(Hopefully) Simple question about the exterior algebra functor

I have some (hopefully super) basic questions about the exterior algebra functor $$ \wedge:R\text{-Mod}\rightarrow R\text{-Alg}. $$ As I (think I) understand it, if one considers it as a functor ...
1
vote
0answers
33 views

Alternating bilinear form with wedge product. equality problem

Let $\phi : \textbf{R}^4 \otimes \textbf{R}^4 \rightarrow \textbf{R}$ be an alternating bilinear form. Prove that there exist linear maps $\alpha, \beta :\textbf{R}^4 \rightarrow \textbf{R}$ with ...
1
vote
0answers
28 views

Alternative proof of existence Jordan normal form

Consider the next theorem: Let be $E$ is an $n$-dimensional vector space over $\mathbb R$ and $\alpha$ a 2-vector. Then there is a basis $\sigma_1,\sigma_2,\ldots,\sigma_n$ such that ...
0
votes
1answer
49 views

Why $M \otimes M$ does not have a ring structure?

I am reading some section about tensor algebras, and I don't have clear the idea on why $M \otimes M$ dont have a ring structure, where $M$ is an $R$-module. R is commutative and $1 \in R$. So far my ...
-4
votes
2answers
131 views

Differential Forms Notation is Wrong? Confirm or deny? [closed]

Being an engineering student that just happens to have a large interest in math, I have always felt that appealing to definitions instead of intuitively understanding a concept is a mistake. A while ...
0
votes
1answer
42 views

Rank of an element of the exterior power

Let $X$ be a finite-dimensional vector space and let $\Lambda^p(X)$ be the $p$th exterior power of $X$. My picture of an elementary element $x_1 \wedge \ldots \wedge x_p$ in the exterior power is ...
4
votes
1answer
57 views

Plücker Relation: misunderstanding?

I'm trying to understand exterior algebra better by gaining some "bare hands" understanding of the exterior powers $\Lambda^k(X)$ in more detail when $\dim(X)$ is small. I think so far I understand ...
6
votes
3answers
619 views

Having trouble understanding generalized complex numbers

I'm reading a paper on the generalized complex numbers, but I have trouble in some of its fundamental properties. I have searched wiki but it left me none the wiser. Please see the image below, in ...
3
votes
3answers
46 views

Why are $2$-covectors on $\mathbb{R}^3$ decomposable?

How do you show that every $2$-covector $\omega\in\Lambda^2((\mathbb{R}^3)^\ast)$ is decomposable i.e. that $$\omega=u\wedge v$$ for some $u,v\in(\mathbb{R}^3)^\ast$? In general we have ...
4
votes
1answer
46 views

What is the exterior algebra?

I am learning differential geometry, and I have difficulty understanding the construction of the exterior algebra of an $n$-dimensional vector space $V$. We have the wedge product ...
4
votes
1answer
80 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 ...
8
votes
3answers
118 views

Is it true that every element of $V \otimes W$ is a simple tensor $v \otimes w$?

I know that every vector in a tensor product $V \otimes W$ is a sum of simple tensors $v \otimes w$ with $v \in V$ and $w \in W$. In other words, any $u \in V \otimes W$ can be expressed in the ...
4
votes
1answer
96 views

How do we wedge the complex differentials $\mathrm{d}z^i$ and $\mathrm{d}\bar z^{\bar j}$?

By the standard definition of the wedge product as an alternated tensor product, I would think we have $$\tag{1}\mathrm{d}z^i\wedge\mathrm{d}\bar z^{\bar j}=\mathrm{d}z^i\otimes\mathrm{d}\bar z^{\bar ...
0
votes
1answer
40 views

Exterior power of multilinear functions applied to linearly dependent vectors is zero

I'm working on a homework problem, and we are to show that if $T \in \wedge^p V^*$, and $v_1,\ldots,v_p$ are linearly dependent, then $T(v_1,\ldots,v_p) = 0$. What I've got so far: I understand that ...
0
votes
0answers
39 views

The kernel of an antiderivation on an exterior algebra

This is a simple algebraic question I feel I should be obvious, but maybe isn't. Let $d'\colon V \twoheadrightarrow W$ be a surjective linear map of finite-dimensional vector spaces over a field of ...
0
votes
1answer
81 views

Differential Geometry-Hodge Star

The Hodge star is given by $$*(dx^{i_1}\wedge dx^{i_2}\wedge....\wedge dx_{i_p})=\frac{1}{(n-p)!}e_{i_1 i_2....i_p i_{p+1}...i_n}dx^{i_{p+1}}\wedge dx^{i_{p+2}}\wedge....\wedge dx^{i_n}$$ The question ...
0
votes
0answers
74 views

Can one define wedge products using determinants for $n$-forms?

I was talking to Ted Shifrin in math chat yesterday and he mentioned there is a way to define wedge products using determinants. As far as I understand, given a set of vectors $x,y,z,v,u... \in ...
0
votes
0answers
71 views

Curvature and Pfaffian forms in terms of the Riemann tensor

I am teaching my self differential geometry, but I am mainly familiar with classic tensor notation. In modern Cartan exterior form notation the curvature forn $\Omega$ and the Pfaffian seem to do the ...
0
votes
1answer
40 views

Calculating the norm of an exterior product

I am trying to figure out how to calculate this quantity: $$ \frac{\lVert U^{t}_{\mathbf{x_0}}\mathbf{e}_1\wedge U^{t}_{\mathbf{x_0}}\mathbf{e}_2\wedge\ldots\wedge ...
0
votes
0answers
30 views

Help in the proof of Poincaré Theorem to differential forms

I'm revising the proof of Poincaré Theorem, but I don't understand a pass of proof. Let be $E$ and $F$, Banach spaces and $U\subset E$ open set. Consider $\omega\in\Omega_p^n(U;F)$ a p-differential ...
1
vote
1answer
25 views

Inverse of the Wedge of a Matrix

Let $V$ be an $n$-dimensional vector space. Then in the usual way define $\wedge^2 V$ to be the vector space spanned by the elements $v_1 \wedge v_2$ where $v_1, v_2 \in V$ such that they satisfy the ...
1
vote
0answers
71 views

Invertability of a matrix

$\newcommand{\AA}{\mathbf{A}} \newcommand{\Tr}[1]{\operatorname{Tr}\left[#1\right]}$ I have a problem that I suspect there is a “relatively” simple answer to but it is currently eluding me. I am ...
3
votes
1answer
49 views

Correspondence between wedge product and its dual

Consider the map $$ \bigwedge\nolimits^{\!k}(V^*)\to \left( \bigwedge\nolimits^{\!k}V \right)^*\\ \left( \sum_{i=1}^n (f_{1}^i \wedge \dotsb \wedge f_k^i) \right) \mapsto \left( v_1 \wedge \dotsb ...
1
vote
1answer
112 views

Wedge product of maps

If $V$ and $W$ are $\mathbb{F}$ vector spaces, A $k$-multilinear alternating map $V^k \to W$ induces a unique linear map $f: \bigwedge^k V \to W$. In the special case $W = \mathbb{F}$ and $\dim V ...
4
votes
2answers
109 views

What is the anticommutator of the interior product and codifferential (adjoint of exterior derivative)?

What is $\eta=i_X \delta + \delta i_X$ acting on differential forms? Here $\delta$ is the usual Hodge adjoint of the exterior derivative and $i_X$ is contraction of a form with the vector field $X$. ...
2
votes
1answer
90 views

Relationship between Levi-Civita symbol and Grassmann numbers?

The multiplication rule for Grassmann numbers $\theta_i$ is $$ \theta_i\theta_j = - \theta_j \theta_i $$ so that $\theta_i\theta_i = 0$. Multiplying three Grassmann numbers yields $$ ...