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)

3
votes
1answer
45 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
47 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 $$ ...
1
vote
1answer
40 views

The Hodge dual and the Moyal product related or just notation?

The Hodge star operator $\star$ is a linear map between $\bigwedge ^pV$ and $\bigwedge ^{n-p}V$ for an inner product space $V$ of dimension $n$. So we can we write; \begin{equation} \lambda\in ...
4
votes
1answer
193 views

Use of Poincare Lemma in solving $\nabla \times \textbf{A}(\textbf{r})=\frac{\textbf{r}}{r^3}$ UPDATED

You are given the following statement of the Poincaré Lemma: If $\Phi_t$ is a one-parameter family of diffeomorphisms on $\mathbb R^n$ (not necessarily a subgroup) and $X_t$ the vector field ...
3
votes
1answer
38 views

jordan canonical form with direct product?

I met some problems when solving Jordan canonical forms. Here are two problems: Let $f: K^3\to K^3$ be a map in JCF having the matrix: $$\begin{pmatrix} -1 & 1 & 0\\ 0 &-1&1\\ ...
2
votes
1answer
31 views

About the definition of the exterior power of a vector space

There are basically two different definitions of the exterior algebra and exterior powers of a vector space $V$. I here want to concentrate on the one where we define the exterior algebra as a ...
1
vote
2answers
78 views

Relation between volume form and cross product

Euclidean three-dimensional space (it's simpler). Defining $\eta={e^*}^1 \wedge {e^*}^2 \wedge {e^*}^3$, with $\{{e^*}^1,{e^*}^2,{e^*}^3\}$ dual of the orthonormal basis, and indicating the classic ...
2
votes
1answer
51 views

Multilinear algebra some basics.

The wedge product of $p$ vectors in vector space $V$ is called a $p$-vector and the vector space generated by all $p$-vectors is denoted $\bigwedge^p V$ with the basis $e_I:=e_{i1}\wedge\dots\wedge ...
15
votes
2answers
471 views

Symmetric and wedge product in algebra and differential geometry

I have been struggling with this issue for a while (and asked a similar question here), but still not found a satisfying answer. The question boils down to: which is the correct identity? $dx \, dy ...
1
vote
0answers
138 views

base change of exterior powers

Let $n\geq 0$ be an integer, $R\to R'$ a ring homomorphism, and $M$ an $R$-module. Then the following holds: $$\bigl(\bigwedge^n_R M\bigr)\otimes_r R' \cong \bigwedge_{R'}^n\, (M\otimes_r R').$$ I ...
4
votes
0answers
70 views

What is the difference between tensor calculus and exterior derivative type concepts?

I am trying to clarify terms in order to help me figure out what I'd like to study. I understand that $p$-forms and $p$-vectors are used with things like wedge products, exterior algebras, and a ...
6
votes
2answers
72 views

Does a $p$-form eat $p$-vectors or $p$ number of vectors?

A bilinear form is another term for a $2$-form. So does it eat $2$ distinct vectors or a single $2$-vector?
1
vote
1answer
51 views

Pull back of a vector representing a 2-form in $\mathbb R^3$

Let $\omega$ be a $2$-form defined in $\mathbb R^3$. I know that it can be represented by a vector field $\xi$ in such a way: $$ \omega_x (v,w) = \xi(x)\cdot (v\times w) $$ ($x,v,w \in \mathbb R^3$ ...
3
votes
2answers
85 views

Are differential forms defined on $\Bbb{R}^{n}$

I thought $p$-forms were linear maps from $\Bbb{R}^{n} \rightarrow \Bbb{R}$. But I read something yesterday that suggested I was mistaken to think this. It seemed to be saying that $p$-forms eat ...
7
votes
2answers
113 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 ...
0
votes
1answer
49 views

Find a function $f$ on $\mathbb{R}^3$ such that $A^*df=0$

Let $A : \mathbb{R}^2 = \{(u,v)\} \rightarrow \mathbb{R}^3=\{(x,y,z)\}$ be given by $A(u,v)=(u,v,F(u,v))$ Find a function $f$ on $\mathbb{R}^3$ such that $A^*df=0$. I have tried ...
6
votes
0answers
34 views

Relationship between exterior power of representation and variance?

I was reading the question: Symmetric and exterior power of representation regarding how to determine the character of an exterior power of a representation from the original representation. One of ...
0
votes
1answer
81 views

From Orthogonal vectors to Useful Bivector

If we have set of orthogonal vectors (X) can we form a set of orthogonal bivectors from that set? I am trying to find if there is a way to get 'more information' from an orthogonal matrix by some ...
7
votes
1answer
92 views

Determinant bundle of a tensor product

Let $X$ be a ringed space (for example, a scheme or a manifold). If $V$ is a locally free $\mathcal{O}_X$-module of rank $n$, then $\mathrm{det}(V) := \Lambda^n V$ is a locally free ...
6
votes
3answers
114 views

Wedge product = set intersection?

In a research article [1] I found the following formulation: The wedge product may be considered as set intersection. For example, surfaces of constant $f(x,y,z)$ and surface of constant ...
1
vote
3answers
60 views

Economically computing $d\beta$

$\displaystyle \beta = z\frac{x dy \wedge dz + y dz \wedge dx + z dx \wedge dy}{(x^2+y^2+z^2)^{2}}$ Show that $d\beta=0$. So, let $r=x^2+y^2+z^2$, $\begin{align} \displaystyle d\beta &= ...
1
vote
1answer
79 views

Identity concerning Lie derivative of $k$-form $\omega$

Let $X$ and $Y$ be vector fields on $\mathbb{R}^n$. Show that for $\omega$, a $k$-form on $\mathbb{R}^n$, $(L_XL_Y-L_YL_X)\omega=L_{[X,Y]}\omega $. I try using Cartan's magic formula and get that ...
2
votes
1answer
37 views

Different forms for the exterior power of a module

First I have defined the exterior algebra of a module $M$ as the quotient $T(M)/A(M)$ where $T(M)$ is the tensor algebra of $M$ and $A(M)$ is the ideal generated by all elements of the form $m\otimes ...
1
vote
1answer
32 views

Show that $i_Yi_Xd\omega=d\omega(X,Y)$ for $\omega$ a $1$-form

If $\omega$ is a $1$-form, how does $i_Yi_Xd\omega=d\omega(X,Y)$? I get that $d\omega$ is a 2-form. So $i_X(d\omega)=d\omega(X,v_{2})$. So how do we proceed? I dont see how the step ...
2
votes
0answers
41 views

How to phrase this identity in differential form language?

If the vector field $\mathbf B$ on $\mathbb{R}^3$ is constant, then the vector field $$ \mathbf A = \frac 1 2 \mathbf B \times \mathbf r $$ satisfies $$ \nabla \times \mathbf A = \mathbf B. $$ This ...
1
vote
0answers
54 views

Poincaré Lemma problems and computing contractions in an economical way

Let $x=(A,B,C,D)$ be coordinates on $\mathbb{R}^4$. $\displaystyle \beta = \frac{(AdB-BdA)\wedge(dC \wedge dD)+(dA \wedge dB)\wedge(CdD-DdC)}{(A^2+B^2+C^2+D^2)^2}$ I would like to compute ...
3
votes
1answer
34 views

Wedge product descend to the cohomology

I found this statement in Raoul Bott "Differential Forms in Algebraic Topology": "Because the wedge product is an antiderivation, it descends to cohomology." Apparently this meant to be really obvious ...
2
votes
0answers
34 views

Bivector into orthogonal components

Suppose I have a metric $g$ and a bivector $ F $ on a four-dimensional vector space. It seems I can always decompose $ F $ into four mutually orthogonal vectors $a,b,c,d$ $$ F = a\wedge b + c\wedge d ...
1
vote
1answer
68 views

Decompose $\omega:= e_0\wedge(e_1\wedge e_2 + e_3\wedge e_4)$

$(e_1\wedge e_2 + e_3\wedge e_4)$ is well-known to be of rank 2 (can't be decomposed). On the other hand, $\omega \wedge \omega = e_1\wedge e_1 \wedge ... = 0$. According to the wikipedia article ...
2
votes
0answers
36 views

Inner product exterior algebra

I have to prove that if V is a real vectorial space (dimV=n) with inner product (.,.) then if we define $$ (v_{1}\wedge v_{2}\wedge...\wedge v_{k},w_{1}\wedge w_{2}\wedge...\wedge w_{k}) ...
0
votes
1answer
35 views

A combinatorial coefficient linked to exterior product

I am looking at the following sum $$ \sum c_1\wedge \cdots\wedge c_n $$ where the summation ranges over $c_1,\ldots,c_n$ such that each $c_i\in\{a,b\}$ and $a$ appears exactly $j$ times. Thus, using ...
1
vote
0answers
43 views

Wedge product of differential forms

I'm trying to grasp the notation and concept of wedge products(, and tensors as well). In my lecture notes, the following expansion/notation for a $(n,r)$-tensor is used: In a basis $\left\{ ...
6
votes
1answer
80 views

Non-vanishing differential forms

Let $M$ be a differentiable manifold of dimension $n$. If the tangent bundle is trivial, then the cotangent bundle is trivial, and so are its exterior powers. In other words, on a parallelizable ...
0
votes
0answers
7 views

Condition for local Lipschitzness of pullback map for exterior forms

Given $w\in\Lambda^k(\mathbb{R}^n)$, determine the condition under which the map $T\rightarrow T^*(w)$ is locally Lipschitz, where $T\in GL_n(\mathbb{R})$ and $T^*(w)$ denotes the Pullback of $w$ by ...
3
votes
2answers
218 views

Lie Derivative for Wedge Product of Vector Fields

I am having trouble here. The context is: Let $X$, $Y$ and $S$ be vector fields ina a manifold (we can assume it's $\mathbb{C}^2$ though I'm pretty sure this should work in any manifold), and we can ...
3
votes
2answers
204 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
124 views

Solving non-square linear systems with the exterior product and Cramer's rule

I'm reading the book Linear algebra via exterior products by Sergei Winitzki (which is the worst book, ever) and he shows that you can solve linear systems with a general solution with Cramer's rule ...
0
votes
0answers
27 views

Wedge product and derivatives

If I was given $$B=f(\phi,\psi,\theta)\,d\theta\wedge d\phi$$ for some function $f$, along with $$H_{\mu\nu\lambda}\equiv\nabla_\mu B_{\nu\lambda}+\nabla_\nu B_{\lambda\mu}+\nabla_\lambda ...
4
votes
1answer
254 views

Can you find a 2-form not written as the wedge of two 1-forms?

I was under the impression that all 2-forms are the wedge $(\wedge)$ of two 1-forms. Is it possible to have a 2-form that you can't write as $A\wedge B$ with $A,B$ 1-forms?
0
votes
1answer
26 views

Writing vectors as linear combinations of bases $e_i\otimes e_j$ and $e_1\wedge e_2,e_1\wedge e_3, e_2\wedge e_3$

Write $$\begin{pmatrix}1 \\ 2 \\ 3\end{pmatrix} \otimes \begin{pmatrix}2 \\ 1 \\ 1\end{pmatrix} + \begin{pmatrix}1 \\ -1 \\ 5\end{pmatrix} \otimes \begin{pmatrix}4 \\ 0 \\ 3\end{pmatrix}$$ as linear ...
1
vote
1answer
38 views

“Adjugate” of an endomorphism of a finite-rank free module

If $M$ is a free module of finite rank $n$ over a commutative unitary ring and $a$ is an endomorphism of $M$, consider the endomorphism $\hat a$ of $M$ defined by the identity $$ x_1\wedge ...
2
votes
1answer
54 views

Identities for differential forms and vectorfields (reference request)

Recently I found the slides of a talk of J. E. Marsden, (Differential Forms and Stokes' Theorem). These slides introduce the required objects and summarize the basics of the corresponding theory. In ...
1
vote
2answers
44 views

n-form associated with a vector field with general metric

With the euclidean metric I use the musical isomorphisms to obtain $1$-form associated with a vector field, so for a vector field $\vec{F}=(f_1,f_2,f_3)$ we have $ \vec{F}^{\flat}=f_1dx+f_2dy+f_3dz$ ...
0
votes
1answer
23 views

Equivalence relation of differential forms

My notes claim that $\displaystyle d\omega (x) = \frac{1}{k!} d\omega_{i_1\cdots i_k} \wedge f^{(i_1)}\wedge\cdots\wedge f^{(i_k)}$ is equivalent to $\displaystyle d\omega(x) = \frac{1}{k!} ...
0
votes
2answers
56 views

Differential identity and wedge products

Apparently $dx^{i_1} \wedge ... \wedge dx^{i_k}=d(x^{i_1}dx^{i_2}\wedge ... \wedge dx^{i_k})$ which I cannot see proved anywhere in my notes. It just stated as if it is obvious which I don't believe ...
2
votes
2answers
78 views

Part of proof that $d^2\omega=0$

The following comes from the proof in differentiable manifolds that $d^2\omega=0$. Let $f$ belong to the set of $0$-forms. From definition I have that $\displaystyle df = \frac{\partial f}{\partial ...
1
vote
0answers
36 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
47 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 ...
7
votes
0answers
284 views

Hodge-Star-Operator on arbitrary oriented basis

Assume that $V$ is oriented finite dimensional vectorspace with dimension $n$, $g \in T^0_2(V)$ a given symmetric and nondegenerate tensor. Let $\mu$ be the corresponding volume element of $V$. ...
3
votes
2answers
73 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 ...