Misplaced Pages

This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these messages) This article may be confusing or unclear to readers. Please help clarify the article. There might be a discussion about this on the talk page. (February 2011) (Learn how and when to remove this message) This article may be too technical for most readers to understand. Please help improve it to make it understandable to non-experts, without removing the technical details. (February 2011) (Learn how and when to remove this message) (Learn how and when to remove this message)

In differential geometry, a field in mathematics, a multivector field, polyvector field of degree ${\displaystyle k}$, or ${\displaystyle k}$-vector field, on a smooth manifold ${\displaystyle M}$, is a generalization of the notion of a vector field on a manifold.

Definition

A multivector field of degree ${\displaystyle k}$ is a global section ${\displaystyle X}$ of the kth exterior power ${\displaystyle \wedge ^{k}TM\to M}$ of the tangent bundle, i.e. ${\displaystyle X}$ assigns to each point ${\displaystyle p\in M}$ it assigns a ${\displaystyle k}$-vector in ${\displaystyle \Lambda ^{k}T_{p}M}$.

The set of all multivector fields of degree ${\displaystyle k}$ on ${\displaystyle M}$ is denoted by ${\displaystyle {\mathfrak {X}}^{k}(M):=\Gamma (\wedge ^{k}TM)}$ or by ${\displaystyle T_{\rm {poly}}^{k}(M)}$.

Particular cases

• If ${\displaystyle k=0}$ one has ${\displaystyle {\mathfrak {X}}^{0}(M):={\mathcal {C}}^{\infty }(M)}$;
• If ${\displaystyle k=1}$, one has ${\displaystyle {\mathfrak {X}}^{1}(M):={\mathfrak {X}}(M)}$, i.e. one recovers the notion of vector field;
• If ${\displaystyle k>\mathrm {dim} (M)}$, one has ${\displaystyle {\mathfrak {X}}^{k}(M):=\{0\}}$, since ${\displaystyle \wedge ^{k}TM=0}$.

Algebraic structures

The set ${\displaystyle {\mathfrak {X}}^{k}(M)}$ of multivector fields is an ${\displaystyle \mathbb {R} }$-vector space for every ${\displaystyle k}$, so that ${\displaystyle {\mathfrak {X}}^{\bullet }(M)=\bigoplus _{k}{\mathfrak {X}}^{k}(M)}$ is a graded vector space.

Furthermore, there is a wedge product

$${\displaystyle \wedge :{\mathfrak {X}}^{k}(M)\times {\mathfrak {X}}^{l}(M)\to {\mathfrak {X}}^{k+l}(M)}$$

which for ${\displaystyle k=0}$ and ${\displaystyle l=1}$ recovers the standard action of smooth functions on vector fields. Such product is associative and graded commutative, making ${\displaystyle ({\mathfrak {X}}^{\bullet }(M),\wedge )}$ into a graded commutative algebra.

Similarly, the Lie bracket of vector fields extends to the so-called Schouten-Nijenhuis bracket

$${\displaystyle :{\mathfrak {X}}^{k}(M)\times {\mathfrak {X}}^{l}(M)\to {\mathfrak {X}}^{k+l-1}(M)}$$

which is ${\displaystyle \mathbb {R} }$-bilinear, graded skew-symmetric and satisfies the graded version of the Jacobi identity. Furthermore, it satisfies a graded version of the Leibniz identity, i.e. it is compatible with the wedge product, making the triple ${\displaystyle ({\mathfrak {X}}^{\bullet }(M),\wedge ,)}$ into a Gerstenhaber algebra.

Comparison with differential forms

Since the tangent bundle is dual to the cotangent bundle, multivector fields of degree ${\displaystyle k}$ are dual to ${\displaystyle k}$-forms, and both are subsumed in the general concept of a tensor field, which is a section of some tensor bundle, often consisting of exterior powers of the tangent and cotangent bundles. A ${\displaystyle (k,0)}$-tensor field is a differential ${\displaystyle k}$-form, a ${\displaystyle (0,1)}$-tensor field is a vector field, and a ${\displaystyle (0,k)}$-tensor field is ${\displaystyle k}$-vector field.

While differential forms are widely studied as such in differential geometry and differential topology, multivector fields are often encountered as tensor fields of type ${\displaystyle (0,k)}$, except in the context of the geometric algebra (see also Clifford algebra).

See also

• Multivector
• Blade (geometry)

References

1. Doran, Chris (Chris J. L.) (2007). Geometric algebra for physicists. Lasenby, A. N. (Anthony N.), 1954- (1st pbk. ed. with corr ed.). Cambridge: Cambridge University Press. ISBN 9780521715959. OCLC 213362465.
2. Artin, Emil, 1898-1962. (1988) . Geometric algebra. New York: Interscience Publishers. ISBN 9781118164518. OCLC 757486966.{{cite book}}: CS1 maint: multiple names: authors list (link) CS1 maint: numeric names: authors list (link)
3. Snygg, John. (2012). A new approach to differential geometry using Clifford's geometric algebra. New York: Springer Science+Business Media, LLC. ISBN 9780817682835. OCLC 769755408.

• Differential topology