52
$\begingroup$

There are different conventions for defininig the wedge product $\wedge$.

In Kobayashi-Nomizu, there is $\alpha\wedge\beta:=Alt(\alpha\otimes\beta)$, in Spivak, we find $\alpha\wedge\beta:=\frac{(k+l)!}{k!l!}Alt(\alpha\otimes\beta)$, where $\alpha$ and $\beta$ are any forms of degree $k$ and $l$ respectively, and $Alt(\cdot)$ take the alternating part of the tensor.

But, is there a rationale to prefer one of them among the others?

If not, what do you prefer? and for what reason?

$\endgroup$
7
  • 2
    $\begingroup$ what are the choices here ? $\endgroup$ Feb 4, 2011 at 18:25
  • 46
    $\begingroup$ In my opinion, you are better defining the exterior algebra as the quotient of tensor algebra by the relation $\alpha\wedge \alpha=0$. Forcing it inside the tensor algebra is ugly and unnatural. $\endgroup$ Feb 4, 2011 at 18:54
  • 6
    $\begingroup$ Although, I should add that it sometimes convenient. $\endgroup$ Feb 4, 2011 at 19:09
  • 4
    $\begingroup$ Excuse me, I do not understand, I should not take the quotient of the tensor algebra by the relation $\alpha\otimes\alpha=0$? $\endgroup$
    – agt
    Feb 4, 2011 at 19:26
  • 1
    $\begingroup$ Yes, sorry the relation is mod$\alpha\otimes \alpha=0$, and $\wedge$ is the induced product. Anyway, Greg's answer is much more thorough. $\endgroup$ Feb 4, 2011 at 21:51

9 Answers 9

57
$\begingroup$

I think a lot of people run into this issue. The way I think about it is the following:

Take your finite-dimensional vector space $V$ and form its tensor algebra $T(V)$. Define $\mathcal{J}$ to be the 2-sided ideal in $T(V)$ generated by elements of the form $v \otimes v$, and then define the exterior algebra to be $\Lambda(V) = T(V) / \mathcal{J}$. This exhibits the exterior algebra as a quotient of the tensor algebra.

The different conventions you see for the wedge product arise from different embeddings of the exterior algebra into the tensor algebra. Define on $V^{\otimes n}$ the map $$ A_n (v_1 \otimes \dots \otimes v_n) = \frac{1}{n!} \sum_{\pi \in S_n} sgn(\pi) v_{\pi(1)} \otimes \dots \otimes v_{\pi(n)}, $$ (or possibly with $\pi^{-1}$ instead of $\pi$, although I guess it doesn't matter) and then define on the tensor algebra the map $$A = \bigoplus_{n=0}^{\infty} A_n.$$ Then you can show easily that $A_n^2 = A_n$ for all $n$, so that $A$ is a projection.

The point is that $\mathcal{J} = \mathrm{ker} (A)$, so that you can identify the quotient $\Lambda(V)$ with $\mathrm{im} A$, i.e. we have now embedded the exterior algebra as a subspace of the tensor algebra. This is where the two conventions differ. I have defined $A_n$ with a $\frac{1}{n!}$ in front, but some don't do so. Of course, this doesn't change the kernel of the map, but it does change the embedding of the exterior algebra into the tensor algebra.

The important point is that $A$ is not an algebra map of $T(V)$ to itself, so the embedding $\Lambda(V) \to T(V)$ is not an embedding of algebras. Now you ask how to describe the exterior product in terms of the product in $T(V)$. Take $\alpha \in \Lambda^k(V)$ and $\beta \in \Lambda^l(V)$ with representatives $\tilde{\alpha} \in \mathrm{im}(A_k)$ and $\tilde{\beta} \in \mathrm{im}(A_l)$, respectively. Then $A_{k+l}(\tilde{\alpha} \otimes \tilde{\beta})$ is the representative of $\alpha \wedge \beta$ that you're looking for.

Essentially, it boils down to whether or not you put the $\frac{1}{n!}$ in front of your alternating map or not.

$\endgroup$
2
  • 3
    $\begingroup$ Please allow me to comment here that I think I disagree with what your answer seems to be saying, that not one choice is not more natural than the other from the algebraic point of view. I think it is natural to ask that the identification given by the quotient map $T(V) / \mathrm{ker} A \to \mathrm{im} A$ be a section of the projection map $T(V) \to \Lambda(V)$. I have asked a very similar question here: math.stackexchange.com/questions/908969/… $\endgroup$
    – seub
    Aug 25, 2014 at 18:50
  • 1
    $\begingroup$ Does it matter that $A$ is a projection? If you change the factor in front of it, it looks like you no longer have $A^2=A$, (but it seems like you can still just use $\text{im} A$ with no issue) $\endgroup$
    – Keshav
    Oct 25, 2021 at 3:10
53
$\begingroup$

The issue here is that there are really two tasks: (1) Define the algebra of differential forms on a manifold, and (2) implement them as multilinear functions on tangent vectors. The natural way to define them is along the lines of what Donu said: The differential forms at a point are like a polynomial algebra over the vector space $V = T^*_pM$, except supercommutative (or graded-commutative) instead of commutative. The supercommutativity condition is identical to taking a quotient of the tensor algebra, which is the free non-commutative algebra over the vector space $V$.

But then for the second task, you would like a monomial, in a standard basis of cotangent vectors, to take values of $\{0,1,-1\}$ if you pair it with a standard basis of vectors. For example, you would like to say $$dx \wedge dy = dx \otimes dy - dy \otimes dx,$$ because that evaluates to $1$ on $(\hat{x},\hat{y})$ and $-1$ on $(\hat{y},\hat{x})$. In order to do this, you have to implement the wedge product with antisymmetrization and with factorials, actually the reciprocal of the factor you give: $$\alpha \wedge \beta = \frac{(a+b)!}{a!b!} \mathrm{Alt}(\alpha \otimes \beta).$$

If I were explaining the subject, I would handle points (1) and (2) separately. It is common to conflate the two concerns. It amounts to either definition forms as a subspace of tensors (the usual solution), or as a quotient space of tensors. The real issue is that they need to be both, and that double role leads you to the factorial factors.

$\endgroup$
4
  • 1
    $\begingroup$ Thank you very much for the careful response to my question. I have to quietly think about. Please excuse me if the question was not properly adapt to MathOverflow. $\endgroup$
    – agt
    Feb 4, 2011 at 20:21
  • $\begingroup$ Why do you need the factors to be 0,1,-1? $\endgroup$ Feb 22, 2013 at 13:58
  • $\begingroup$ Assuming that $\partial/\partial x$ and $\partial/\partial y$ are orthogonal unit vectors, I wonder why the value of $dx\wedge dy$ on $((\partial/\partial x),(\partial/\partial y))$ has to be $1$ (the area of the square "spanned" by $\partial/\partial x$ and $\partial/\partial y$) and not $1/2$ (the area of the triangle "spanned" by $\partial/\partial x$ and $\partial/\partial y$). When integrating a differential form, cutting the surface into triangles seems more natural than cutting it into parallelograms. $\endgroup$ Dec 4, 2021 at 19:50
  • $\begingroup$ However, it is not clear either why in the Euclidean case the unit area must be the area of a square with unit sides ("square meter"), and not the area of a right triangle with unit legs ("triangular meter"). $\endgroup$ Dec 4, 2021 at 19:51
16
$\begingroup$

The answers by Greg and MTS are quite thorough, so there is not much more to say about that. However, I would like to explain my comment that viewing differential forms as antisymmetric tensors is often inadvisable, although I don't want to seem too dogmatic about this.

My first argument is pedagogical. Making the above identification can be confusing (as evidenced by the question) and is frequently besides the point. A few years back, when I taught a vector calculus class, I decided to do differential forms. The students had no idea about tensor products or multilinear algebra, so it would have been a bad idea to attempt this approach. Instead, I told them that $dx$ etc. were symbols subject to the chain rule $dx = \frac{\partial x}{\partial u}du+\ldots$, and that they could be multiplied in such a way that $dx\wedge dy= - dy\wedge dx$. I gave a heuristic explanation in terms of oriented areas of "infinitesimal" rectangles for why this should be so... I won't claim that the experiment was entirely successful, but it could have been a lot worse.

My second argument is more mathematical. Differential forms can be defined within algebraic geometry for quite general spaces. Here the approach using antisymmetric tensors can lead to serious problems. In characteristic $p>0$, the denominators will be undefined in general. As an interesting side note, in the algebraic proof of the Hodge theorem by Deligne and Illusie they do find it necessary to make this identification. But they have to restrict the dimension of the space to be less than $p$ for precisely this reason. Although in the limiting case of characteristic $0$, this is a nonissue.

$\endgroup$
10
$\begingroup$

I think there is a good reason to prefer the convention $\alpha\wedge\beta = \frac{(k+l)!}{k!l!} Alt(\alpha \otimes \beta)$. Namely, when $V=T_p^*(M)$ as in Greg Kuperberg's answer, contraction with an element $w \in T_p(M)$ is a graded derivation of the exterior algebra, i.e. $$\iota_w(\alpha \wedge \beta) = (\iota_w \alpha)\wedge \beta + (-1)^{|\alpha|} \alpha \wedge (\iota_w \beta)$$ The price Kobayashi-Nomizu pay for their definition is having to define contraction with a vector in a strange way which depends on the degree of the form you are contracting with (see the second displayed equation on p.35).

$\endgroup$
2
  • 3
    $\begingroup$ There are reasons to prefer the convention with factorials, but the formula for contraction is not one of them. In fact, the formula for contraction is identical. The convoluted formula in Kobayashi-Nomizu is for evaluation of a contraction on vectors. With Kobayashi-Nomizu convention, every formula of evaluation wedge product on vectors will have factorials. But the formula for contraction of a wedge product is identical (and it's given on the same page just above the more complicated formula). $\endgroup$ Mar 16, 2019 at 14:02
  • $\begingroup$ You are right of course. I guess it is the formula for the evaluation of wedge products on vectors I find confusing. I will delete my answer. Thanks! $\endgroup$ Mar 16, 2019 at 19:08
4
$\begingroup$

Each one of the two conventions has it's own advantage: the one with the normalizing coefficient makes the exterior algebra sit inside the tensor algebra (as the subspace of alternating tensors) and the "Alt" map be a projection onto that subspace hence the identity on alternating tensors, while the convention with*out* the normalizing factor is better suited for a ground field of positive characteristic as otherwise the denominator of the normalizing factor would be zero.

$\endgroup$
3
$\begingroup$

In my notation, [...] is the same as Alt$\,\equiv\frac{\textstyle 1}{\textstyle k!}\sum\,sgn(\pi)\,.\,.\,.\,$. Now, my answer to the question:

There are various equivalent ways of introducing the wedge product. One possibility is to first define $\,\wedge\,$ for unit forms, $$ e^{i_1}\,\wedge .\,.\,. \wedge\,e^{i_r}\;\equiv\;r!\,\left[\,e^{i_1}\,\otimes\;.\,.\,.\;\otimes\,e^{i_r}\,\right] \quad,\qquad $$ and then to employ the simple theorem $$ \left[\,e^{j_1}\otimes\, .\,.\,.\,\otimes\,e^{j_{k+l}}\,\right]\;=\; \left[\;\; \left[\,e^{j_1}\otimes\, .\,.\,.\,\otimes\,e^{j_k}\,\right]\;\otimes\;\left[\,e^{j_{k+1}}\otimes\, .\,.\,.\,\otimes\,e^{j_{k+l}}\,\right] \;\;\right] $$ as a means to extend the definition of $\,\wedge\,$ to arbitrary skew forms.

To this end, we rewrite the above equality as $$ \left[\;\;\left(\,\;\frac{\textstyle 1}{\textstyle k!}\;\,e^{i_1}\,\wedge .\,.\,. \wedge\,e^{i_k} \,\;\right)\,\otimes\, \left(\,\;\frac{\textstyle 1}{\textstyle l!}\;\,e^{i_{k+1}}\,\wedge .\,.\,. \wedge\,e^{i_{k+l}} \,\right)\;\;\right]\;=\; \frac{\textstyle 1}{\textstyle (k+l)!}\;\;e^{i_1}\,\wedge .\,.\,. \wedge\,e^{i_{k+l}} ~\qquad $$ and then as $$ \frac{(k+l)!}{k!\;l!}\;\left[\;\;\left(\,\;e^{i_1}\,\wedge .\,.\,. \wedge\,e^{i_k} \,\;\right)\,\otimes\, \left(\,\;e^{i_{k+1}}\,\wedge .\,.\,. \wedge\,e^{i_{k+l}} \,\right)\;\;\right]\;=\; e^{i_1}\,\wedge .\,.\,. \wedge\,e^{i_{k+l}} ~\;\;.\qquad\qquad $$ We now see that, if we extend the definition of $\,\wedge\,$ to arbitrary exterior forms as $$ \omega^k\,\wedge\,\omega^l\;\equiv\;\frac{(k+l)!}{k!\;l!}\;\left[\;\omega^k\,\otimes\,\omega^l\;\right]\;\; $$ and apply it to $\;\left(\,\;e^{i_1}\,\wedge .\,.\,. \wedge\,e^{i_k} \,\;\right)\;$ and $\;\left(\,\;e^{i_{k+1}}\,\wedge .\,.\,. \wedge\,e^{i_{k+l}} \,\right)\;$, we end up with $$ \left(\,\;e^{i_1}\,\wedge .\,.\,. \wedge\,e^{i_k} \,\;\right)\,\wedge\, \left(\,\;e^{i_{k+1}}\,\wedge .\,.\,. \wedge\,e^{i_{k+l}} \,\right)\;=\;e^{i_1}\,\wedge .\,.\,. \wedge\,e^{i_{k+l}}\;\,. $$ This serves as a motivation to introduce the factor of $\,{(k+l)!}/(k!\,l!)\,$ in the above definition.

To draw to a close, the purpose of the factorials is to make the operation $\,\wedge\,$ associative.

$\endgroup$
5
  • $\begingroup$ You should put your PS at the start rather than the end so the reader knows what that notation $[\ldots]$ means. Also indicate what you mean by "unit form" and "skew form". In brief, your post is saying the purpose of the factorials is to make the operation $\wedge$ associative. This is also the point made at the end of math.stanford.edu/~conrad/diffgeomPage/handouts/tensor.pdf if you read the last page (or start from the second to last page at "We have now reached the point..."). $\endgroup$
    – KConrad
    Mar 16, 2019 at 8:59
  • $\begingroup$ Dear KConrad, thanks for your comment. I have improved my answer, as you advised. May I please ask you to help me with my question at math.stackexchange.com/questions/3149990/… $\endgroup$ Mar 16, 2019 at 13:55
  • $\begingroup$ You still never defined the terms unit form and a skew form that you are using. $\endgroup$
    – KConrad
    Mar 16, 2019 at 15:08
  • $\begingroup$ KConrad, I used to think that these notions are standard: a unit form is a unit covariant tensor of the 1-st ran such that:e^i (e_j) = \delta^i_j where e_j is a unit vector. A skew form is a covariant tensor antisymmetric over all its indices. Aren't these definitions standard? $\endgroup$ Mar 16, 2019 at 15:50
  • 1
    $\begingroup$ The notion of exterior powers does not require the use of "unit" vectors to get things started, just like the concepts of linear independence and basis do not require "unit" vectors to be understood. $\endgroup$
    – KConrad
    Mar 16, 2019 at 18:00
2
$\begingroup$

I prefer (alas!) the Kobayashi-Nomizu "algebraic" version. Besides the formal benefits of having a projector and not needing to carry around combinatorial factors, here is a differential geometric case:

If $\nabla \alpha$ is the Levi-Civita connection applied to the 1-form $\alpha$, then the exterior differential $d\alpha$ is the antisymmetric part of $\nabla\alpha$. In the Spivak "geometer" version it would be $\frac 1 2 d\alpha$.

(The symmetric part of this decompostion involves the Lie derivative of the metric. See the nice book by W.A. Poor, Differential Geometric Structures, or Peter Petersen's Riemannian Geometry 2nd ed. (Who has found this wondrous decomposition?))

I hope I'm confused on this... 1) Two different "canonical" exterior differentials would be quite a scandalous mess. 2) I don't know any textbook mentioning this issue

P.S.: see appendix of http://arxiv.org/abs/math-ph/0212043 showing what bad can happen

$\endgroup$
2
$\begingroup$

I prefer the convention as in Kobayashi-Nomizu, as this is the natural one when using the modern approach to algebraic structures. In this set-up, the exterior algebra of a vector space $V$ is the quotient $\bigwedge V = TV/I$, where $TV$ is the tensor algebra of $V$, and I is the bilateral ideal generated by elements of the form $x\otimes x$. As discussed in the Appendix of the reference "Euclidean Clifford Algebra", in this situation, one should define $ \alpha \wedge \beta := Alt (\alpha\otimes\beta) $

$\endgroup$
-8
$\begingroup$

It is a convention. It doesn't matter. This is like asking whether there should be a $2\pi$ or a $\sqrt{2\pi}$ in the definition of Fourier transform. In other words, not very interesting, and definitely not a research math question.

$\endgroup$
2
  • 15
    $\begingroup$ The convention OP asks about absolutely matters. One way to see that it matters: the different choices give different algebras in characteristic $p$ (one's more like polynomials, the other like divided powers). $\endgroup$ Feb 5, 2011 at 5:15
  • 11
    $\begingroup$ As far as the Fourier transform is concerned, I think it is beneficial for students to be aware that there are different conventions and know the effects this can have (I don't mean memorize the effects, but realize it alters things here and there). This becomes particularly noticeable when you do Fourier analysis on R^n and not just R, where I think the way different conventions behave justify why inserting 2*pi into the exponential part of the Fourier integral is, notationally, the simplest convention. $\endgroup$
    – KConrad
    Feb 5, 2011 at 21:40

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.