I'd like to understand how to evaluate a differential form on vector fields, and how to 'embed' exterior algebra into tensor algebra.

Some people define differential forms as alternating tensor fields, the others as sections of 'exterior algebra bundle'. In the former case, it is clear how such a field acts on vector fields. I am not sure how it works in the second case and what is the interplay between these two definitions. Here is what I mean.

Let $V^*$ be the dual space of the $\mathbb{F}$-vector space $V$, where $\mathbb{F}$ is either $\mathbb{R}$, or $\mathbb{C}$. Consider the tensor algebra $Tensor(V^*)$ and its quotient by the two-sided ideal $I$ generated by all elements of the form $x\otimes x$ for $x\in V^*$ together with the natural projection $\pi$, i.e. corresponding exterior algebra $\pi:Tensor(V^*)\to\Lambda(V^*)=Tensor(V^*)/I$. The exterior algebra then inherits the multiplication from the tensor product which is called the wedge product, hence $\pi(a)\wedge\pi(b):=\pi(a\otimes b)$.

The other part of the story are alternating tensors. There is an endomorphism of the tensor algebra, called the alternation map $Alt$, which is actually a projection with the kernel $Ker(Alt)=I$, and the image of $Alt$ are precisely alternating tensors $AltTen(V^*)$. Therefore, one has the vector space isomorphism $\overline{Alt}:\Lambda(V^*)\cong AltTen(V^*)$ which is given by $\pi(a)\mapsto Alt(a)$.

This construction works also in the case if we start with $TM$ instead of $V$, where $TM$ is the tangent bundle to a manifold $M$. In that situation, sections of the 'exterior algebra bundle' are differential forms.

Let $dx^1,dx^2\in T^*M$ such that $dx^i(\partial_j)=\delta^i_j$, where $x^i:M\to\mathbb{R}$ are coordinate functions and $d$ is the exterior derivative.

  1. People write $dx^1\wedge dx^2$. Does this mean $\pi(dx^1)\wedge\pi(dx^2)$, and hence $\pi(dx^1\otimes dx^2)$?
  2. How such a differential form $dx^1\wedge dx^2$ acts on $(\partial_1,\partial_2)$? Is this correct; $\pi(dx^1)\wedge\pi(dx^2) (\partial_1,\partial_2)=(dx^1\otimes dx^2+I)(\partial_1,\partial_2)=dx^1(\partial_1)dx^2(\partial_2)+I(\partial_1,\partial_2)=1+0?$
  3. If one uses the isomorphism $\overline{Alt}$ the form $dx^1\wedge dx^2$ corresponds to $\frac{1}{2}(dx^1\otimes dx^2-dx^2\otimes dx^1)$ which evaluates on $(\partial_1,\partial_2)$ as $\frac{1}{2}$. This seems to me as the correct way because $\frac{1}{2}(dx^1\otimes dx^2-dx^2\otimes dx^1)$ is something like 'pure' representative of the class $\pi(dx^1\otimes dx^2)$.
  4. If $\pi(dx^1),\pi(dx^2)\in\Lambda(T^*M)$ we may consider their product which is $\pi(dx^1\otimes dx^2)$, which in turn corresponds to $\frac{1}{2}(dx^1\otimes dx^2-dx^2\otimes dx^1)$ under the map $\overline{Alt}$. Here is the wedge product defined differently. According to that definition $dx^1\wedge dx^2=dx^1\otimes dx^2-dx^2\otimes dx^1$.

Thank you for any comments.

  • $\begingroup$ Regarding the embedding of the exterior algebra in the tensor algebra, this might be of interest: mathoverflow.net/questions/54343/…. $\endgroup$ – Hans Lundmark Jun 13 '18 at 20:26
  • 1
    $\begingroup$ It is exceedingly obnoxious that some people choose to have the volume of the unit cube in $n$-space be $1/n!$. I thereby declare that the right definition is the one you have in 4. But if you work with the alternating tensors, they are a subalgebra (under wedge product) of the tensor algebra, so under the isomorphism you've denoted (correcting factorials, as I prefer), $\pi(dx^1\otimes dx^2)$ corresponds to the alternating tensor $dx^1\otimes dx^2 - dx^2\otimes dx^1$. Geometers tend to prefer the latter definition, algebraists the former. $\endgroup$ – Ted Shifrin Jun 13 '18 at 21:39
  • $\begingroup$ If I understand your comment correctly ... The expression $dx^1\wedge dx^2$ is actually $\pi(dx^1)\wedge\pi(dx^2)$ or $\pi(dx^1\otimes dx^2)$, which is the same. Then, $\pi(dx^1)\wedge\pi(dx^2)$ acts on $(\partial_1,\partial_2)$ by definition as $(dx^1\otimes dx^2-dx^2\otimes dx^1)(\partial_1,\partial_2)$, where I use the latter definition. More generally, wedge product of two differential forms (it lives in $\Lambda(T^*M)$) acts on vector fields by definition as the corresponding alternating tensor field, where the correspondence is the factorial-corrected $Alt$-map. Is all of this correct? $\endgroup$ – Voodoo Child Jun 13 '18 at 22:16
  • $\begingroup$ I think that if you're working with $\pi$, then you should note that $\pi(dx^1\otimes dx^2) = \pi(dx^1\otimes dx^2 - \frac12(dx^1+dx^2)\otimes (dx^1+dx^2))=\pi(\frac12(dx^1\otimes dx^2 - dx^2\otimes dx^1))$ and so there's the darned $1/2$ again. So you really need to put the factorial into the isomorphism $\pi$ to make me happy. $\endgroup$ – Ted Shifrin Jun 13 '18 at 22:25
  • 1
    $\begingroup$ Yes, I think that if you want to do calculus and have differential forms act on vector fields, you should forget $\pi$ and work with the alternating tensors to start with! $\endgroup$ – Ted Shifrin Jun 13 '18 at 22:52

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.