# nLab multivector field

Contents

### Context

#### Differential geometry

synthetic differential geometry

Introductions

from point-set topology to differentiable manifolds

Differentials

V-manifolds

smooth space

Tangency

The magic algebraic facts

Theorems

Axiomatics

cohesion

• (shape modality $\dashv$ flat modality $\dashv$ sharp modality)

$(ʃ \dashv \flat \dashv \sharp )$

• dR-shape modality$\dashv$ dR-flat modality

$ʃ_{dR} \dashv \flat_{dR}$

• tangent cohesion

• differential cohomology diagram
• differential cohesion

• (reduction modality $\dashv$ infinitesimal shape modality $\dashv$ infinitesimal flat modality)

$(\Re \dashv \Im \dashv \&)$

• fermionic modality$\dashv$ bosonic modality $\dashv$ rheonomy modality

$(\rightrightarrows \dashv \rightsquigarrow \dashv Rh)$

• 

\array{ && id &\dashv& id \ && \vee && \vee \ &\stackrel{fermionic}{}& \rightrightarrows &\dashv& \rightsquigarrow & \stackrel{bosonic}{} \ && \bot && \bot \ &\stackrel{bosonic}{} & \rightsquigarrow &\dashv& Rh & \stackrel{rheonomic}{} \ && \vee && \vee \ &\stackrel{reduced}{} & \Re &\dashv& \Im & \stackrel{infinitesimal}{} \ && \bot && \bot \ &\stackrel{infinitesimal}{}& \Im &\dashv& \& & \stackrel{\text{&#233;tale}}{} \ && \vee && \vee \ &\stackrel{cohesive}{}& &#643; &\dashv& \flat & \stackrel{discrete}{} \ && \bot && \bot \ &\stackrel{discrete}{}& \flat &\dashv& \sharp & \stackrel{continuous}{} \ && \vee && \vee \ && \emptyset &\dashv& \ast }

</semantics>[/itex]</div>

Models

Lie theory, ∞-Lie theory

differential equations, variational calculus

Chern-Weil theory, ∞-Chern-Weil theory

Cartan geometry (super, higher)

# Contents

## Definition

For $X$ a smooth manifold and $T X$ its tangent bundle a multivector field on $X$ is an element of the exterior algebra bundle $\wedge^\bullet_{C^\infty(X)}(\Gamma(T X))$ of skew-symmetric tensor powers of sections of $T X$.

• In degree $0$ these are simply the smooth functions on $X$.

• In degree $1$ these are simply the tangent vector fields on $X$.

• In degree $p$ these are sometimes called the $p$-vector fields on $X$.

## Properties

### Hochschild cohomology

In suitable contexts, multivector fields on $X$ can be identified with the Hochschild cohomology $HH^\bullet(C(X), C(X))$ of the algebra of functions on $X$.

### Schouten bracket

There is a canonical bilinear pairing on multivector fields called the Schouten bracket.

### Isomorphisms with de Rham complex

Let $X$ be a smooth manifold of dimension $d$, which is equipped with an orientation exhibited by a differential form $\omega \in \Omega^d(X)$.

Then contraction with $\omega$ induces for all $0 \leq n \leq d$ an isomorphism of vector spaces

$\omega(-) : T^n_{poly}(X) \stackrel{\simeq}{\to} \Omega^{(d-n)}(X) \,.$

The transport of the de Rham differential along these isomorphism equips $T^\bullet_{poly}$ with the structure of a chain complex

$\array{ \Omega^{n}(X) &\stackrel{d_{dR}}{\to}& \Omega^{n+1}(X) \\ \downarrow^{\mathrlap{\simeq}} && \downarrow^{\mathrlap{\simeq}} \\ T^{d-n}_{poly} &\stackrel{div_\omega}{\to}& T^{d-n-1}_{poly} } \,,$

The operation $div_\omega$ is a derivation of the Schouten bracket and makes multivectorfields into a BV-algebra.

A more general discussion of this phenomenon in (CattaneoFiorenzaLongoni). Even more generally, see Poincaré duality for Hochschild cohomology.

## References

The isomorphisms between the de Rham complex and the complex of polyvector field is reviewed for instance on p. 3 of

• Thomas Willwacher, Damien Calaque Formality of cyclic cochains (arXiv:0806.4095)

and in section 2 of

and on p. 6 of

• Claude Roger, Gerstenhaber and Batalin-Vilkovisky algebras, Archivum mathematicum, Volume 45 (2009), No. 4 (pdf)

Last revised on July 28, 2018 at 09:01:29. See the history of this page for a list of all contributions to it.