nLab standard Courant algebroid

Redirected from "standard Courant Lie 2-algebroid".
Contents

Contents

Idea

A standard Courant Lie algebroid of a manifold XX is a type of Courant algebroid constructed from the tangent bundle and cotangent bundle of XX. This is the principal algebraic structure studied in generalized complex geometry.

Definition

Recall from the discussion at Courant algebroid that there are the following two equivalent definitions of Courant algebroids:

  • as a vector bundle equipped with a bracket and a bilinear form on its space of sections, satisfying various identities;

  • as a Lie 2-algebroid equivalently encoded in its Chevalley?Eilenberg algebra?, equivalently the function algebra on a certain type of dg-manifolds.

As a vector bundle with extra structure

In the first perspective a standard Courant algebroid of a manifold XX is the vector bundle E=TXT *XE = T X\oplus T^* X – the fiberwise direct sum of the tangent bundle and the cotangent bundle – with

  • bilinear form

    X+ξ,Y+η=η(X)+ξ(Y) \langle X + \xi , Y +\eta \rangle = \eta(X) + \xi(Y)

    for X,YΓ(TX)X,Y \in \Gamma(T X) and ξ,ηΓ(T *X)\xi, \eta \in \Gamma(T^* X)

  • brackets

    [X+ξ,Y+η]=[X,Y]+ Xη Yξ+12d(η(X)ξ(Y)) [X + \xi, Y + \eta] = [X,Y] + \mathcal{L}_X \eta - \mathcal{L}_Y \xi + \frac{1}{2} d (\eta(X) - \xi(Y))

    where Xη={d,ι X}η\mathcal{L}_X \eta = \{d,\iota_X\} \eta denotes the Lie derivative of the 1-form η\eta by the vector field XX.

As a dg-manifold

As an dg-manifold a standard Courant algeebroid is is ΠT *ΠTX\Pi T^* \Pi T X, the shifted cotangent bundle of the shifted tangent bundle,

where the differential (homological vector field) is on each local coordinate patch nUX\mathbb{R}^n \simeq U \subset X with coordinates

  • {x i}\{x^i\} in degree 0

  • {dx i}\{d x^i\} and {θ i}\{\theta_i\} in degree 1

  • and {p i}\{p_i\} in degree 2

given by

d C =d dR+p iθ i =dx ix i+p iθ i. \begin{aligned} d_C &= d_{dR} + p_i \frac{\partial}{\partial \theta_i} \\ &= d x^i \frac{\partial}{\partial x^i } + p_i \frac{\partial}{\partial \theta_i} \end{aligned} \,.

As a Lie 2-algebroid

We may read the above dg-algebra as the Chevalley?Eilenberg algebra? CE(𝔠(X))CE(\mathfrak{c}(X)) of the Lie 2-algebroid 𝔠(X)\mathfrak{c}(X), the specification of which entirely specifies the Lie 2-algebroid itself.

More on this in the discussion below.

Properties

As the Atiyah Lie 2-algebroid of a U(1)U(1)-gerbe

A standard Courant algebroid may be understood as being related to BU(1)\mathbf{B}U(1) principal 2-bundles (U(1)U(1)-gerbes) as an Atiyah Lie algebroid is related to a U(1)U(1)-principal bundle.

(…explain…)

Connections and generalized Riemannian metrics

Write 𝔠(X)\mathfrak{c}(X) for the standard Courant algebroid of the manifold XX. It comes canonically equipped with a projection down to the tangent Lie algebroid TXT X of XX:

π:𝔠(X)X. \pi : \mathfrak{c}(X) \to X \,.

A section

σ:TX𝔠(X) \sigma : T X \to \mathfrak{c}(X)

of this morphism of Lie ∞-algebroids is often called a connection on 𝔠(X)\mathfrak{c}(X). One may regard it as being special flat ∞-Lie algebroid valued differential form data on XX.

Proposition

On base manifolds of the form X= nX = \mathbb{R}^n sections of 𝔠(X)TX\mathfrak{c}(X) \to T X in the 1-category of Lie ∞-algebroids are in natural bijection with rank-2 tensor fields on XX, i.e. with sections qΓ(TXTX)q \in \Gamma(T X \oplus T X).

The proof is straightforward and easy, but spelling it out in detail also serves to establish concepts and notation for the treatment of the Courant algebroid in terms of its Chevalley?Eilenberg algebra?.

Proof

The Chevalley?Eilenberg algebra? of the Lie 2-algebroid 𝔠( n)\mathfrak{c}(\mathbb{R}^n) is the semifree dga whose underlying algebra is the Grassmann algebra

CE(𝔠(X))=( C (X) (ξ i i=1 nθ i i=1 np i i=1 n),d 𝔠(X)) CE(\mathfrak{c}(X)) = \left( \wedge_{C^\infty(X)}^\bullet ( \langle \xi^i \rangle_{i=1}^n \oplus \langle \theta_i \rangle_{i=1}^n \oplus \langle p_i \rangle_{i=1}^n ) \,, d_{\mathfrak{c}(X)} \right)

where the generators ξ i\xi_i and θ i\theta_i are in degree 1 and the p ip_i in degree 2, equipped with the differential d 𝔠(X)d_{\mathfrak{c}(X)} that is defined on generators by

d 𝔠(X):x i=ξ i d_{\mathfrak{c}(X)} : x^i = \xi^i
d 𝔠(X):ξ i=0 d_{\mathfrak{c}(X)} : \xi^i = 0
d 𝔠(X):θ i=p i d_{\mathfrak{c}(X)} : \theta_i = p_i
d 𝔠(X):p i=0 d_{\mathfrak{c}(X)} : p_i = 0 \,

where {x i} i=1 n\{x^i\}_{i=1}^n are the canonical coordinate functions on n\mathbb{R}^n.

The Chevalley?Eilenberg algebra? of the tangent Lie algebroid TXT X is the deRham complex

CE(TX)=(Ω (X),d dR). CE(T X ) = (\Omega^\bullet(X), d_{dR}) \,.

The morphism 𝔠(X)TX\mathfrak{c}(X) \to T X is given by the dg-algebra morphism

(Ω (X),d dR)CE(𝔠(X)) (\Omega^\bullet(X),d_{dR}) \hookrightarrow CE(\mathfrak{c}(X))

that is the identity on C (X)C^\infty(X) and identifies the ξ i\xi^i with the deRham differentials of the standard coordinate functions

dx iξ i. d x^i \mapsto \xi^i \,.

A section σ:𝔠(X)TX\sigma : \mathfrak{c}(X) \to T X is accordingly a dg-algebra morphism

σ *:CE(𝔠(X))(Ω (X),d dR). \sigma^* : CE(\mathfrak{c}(X)) \to (\Omega^\bullet(X), d_{dR}) \,.

Being a section, it has to be the identity on C (X)C^\infty(X) and send ξ id dRx i\xi^i \mapsto d_{dR} x^i.

The image of the generators θ i\theta_i, being of degree 1, must be a linear combination over C (X)C^\infty(X) of the degree-1 elements in Ω (X)\Omega^\bullet(X), i.e. must be 1-forms on XX. This defines the rank-2 tensor qq in question by

t^ iq ijdx i. \hat{t}_i \mapsto q_{i j} \d x^i \,.

For this assignment to qualify as part of a morphism of dg-algebras, it has in addition to be compatible with the differential. The condition is that for all ii we have the equality in the bottom right corner of

θ i d 𝔠(X) p i σ * σ * q ijdx j d dR ( kq ij)dx kdx j= s *(p i). \array{ \theta_i &\stackrel{d_{\mathfrak{c}(X)}}{\mapsto}&& p_i \\ \downarrow^{\mathrlap{\sigma^*}} &&& \downarrow^{\mathrlap{\sigma^*}} \\ q_{i j} d x^j &\stackrel{d_{dR}}{\mapsto}& (\partial_k q_{i j}) d x^k \wedge d x^j = & s^*(p_i) } \,.

This uniquely fixes the image under σ *\sigma^* of the generators p ip_i and the differential is respected. So, indeed, the section σ *\sigma^* is specified by the tensor qΓ(TXTX)q \in \Gamma(T X \otimes T X) and every such tensor gives rise to a section.

The rank-2 tensor qq appearing in the above may be uniquely writtes as sum of a symmetric and a skew-symmetric rank-2 tensor gΓ(Sym 2(TX))g \Gamma(Sym^2(T X)) and bΓ( 2TX)b \in \Gamma(\wedge^2 T X)

q=g+b. q = g + b \,.

If the symmetric part happens to be non-degenerate, it may be regarded as a (possibly pseudo-)Riemannian metric. In this case the combination q=g+bq = g + b is called a generalized Riemannian metric in generalized complex geometry.

Canonical \infty-Lie algebroid 3-cocycle

The standard Courant albebroid 𝔠(X)\mathfrak{c}(X) is canonically equipped with the Lie ∞-algebroid 3-cocycle μCE(𝔠(X))\mu \in CE(\mathfrak{c}(X)) that is on a local patch nUX\mathbb{R}^n \simeq U \to X given by

μ| U=ξ ip i. \mu|_U = \xi^i \wedge p_i \,.

Morphisms between standard Courant algebroids

Proposition

In the 1-category of Lie ∞-algebroids, automorphisms of the standard Courant algebroid of a cartesian space, 𝔠( n)\mathfrak{c}(\mathbb{R}^n), that

  • respect the projection 𝔠(X)TX\mathfrak{c}(X) \to T X

    𝔠(X) f 𝔠(X) TX \array{ \mathfrak{c}(X) &&\stackrel{f}{\to}&& \mathfrak{c}(X) \\ & \searrow && \swarrow \\ && T X }
  • fix the canonical 3-cocycle μ=ξ ip i\mu = \xi^i p_i

come from (…say this more precisely…) rank-2 tensors q=g+bq = g + b such that the skew symmetric part bb is a closed 2-form, d dRb=0d_{dR} b = 0.

Proof

With the same kind of reasoning as above, we find that the action on the generators θ i\theta_i and p ip_i is of the form

θ i d 𝔠(X) p i f * f * θ i+q ijθ i d 𝔠(X) p i+ kq ijθ kθ j= f *(p i). \array{ \theta_i &\stackrel{d_{\mathfrak{c}(X)}}{\mapsto}&& p_i \\ \downarrow^{\mathrlap{f^*}} &&& \downarrow^{\mathrlap{f^*}} \\ \theta_i + q_{i j} \theta^i & \stackrel{d_{\mathfrak{c}(X)}}{\mapsto}& p_i + \partial_k q_{i j} \theta^k \wedge \theta^j = & f^*(p_i) } \,.

For the 3-cocycle to be preserved, f *(ξ ip i)=ξ ip if^*(\xi^i p_i) = \xi^i p_i we need that

0= kq ijθ iθ kθ j= kb ijθ iθ kθ j=π *(d dRb). 0 = \partial_k q_{i j} \theta^i \wedge \theta^k \wedge \theta^j = \partial_k b_{i j} \theta^i \wedge \theta^k \wedge \theta^j = \pi^*(d_{dR} b) \,.

References

The description of the standard Courant algebroid in its incarnation as an dg-manifold is given for instance in section 5 of

Last revised on May 5, 2016 at 09:20:38. See the history of this page for a list of all contributions to it.