Courant algebroid: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Melchior Grutzmann
m (→‎Elementary properties: typesetting improved)
imported>Melchior Grutzmann
(→‎Elementary properties: reference added)
Line 36: Line 36:
It is worth noting that the Courant algebroid with the skew-symmetric bracket and the Jacobiator
It is worth noting that the Courant algebroid with the skew-symmetric bracket and the Jacobiator
:<math> J(\phi_1,\phi_2,\phi_3) = 1/3(\langle[[\phi_1,\phi_2]],\phi_3\rangle+\mathrm{cycl.})</math>  
:<math> J(\phi_1,\phi_2,\phi_3) = 1/3(\langle[[\phi_1,\phi_2]],\phi_3\rangle+\mathrm{cycl.})</math>  
form a two-term [[L_infty algebra|L<sub>∞</sub>-algebra]], i.e. ''V<sup>0</sup>'' = Γ(''E''), ''V''<sup>-1</sup> = C<sup>∞</sup>(''M''), and
form a two-term [[L_infty algebra|L<sub>∞</sub>-algebra]],<ref>D. Roytenberg and A. Weistein: ''Courant algebroids and L<sub>∞</sub>-algebras'', Lett. Math. Phys.", '''vol. 46/1 (1998)''', pp. 81–93, [http://arXiv.org/abs/math/9802118 arXiv:math/9802118].</ref> i.e. ''V<sup>0</sup>'' = Γ(''E''), ''V''<sup>-1</sup> = C<sup>∞</sup>(''M''), and
:<math> l_1=\rho^*\mathrm{d}\colon V^{-1}\to V^0: f\mapsto \rho^*\mathrm{d}f</math>,
:<math> l_1=\rho^*\mathrm{d}\colon V^{-1}\to V^0: f\mapsto \rho^*\mathrm{d}f</math>,
:<math> l_2\colon V^0\times V^\bullet \to V^\bullet: (\phi,\psi)\mapsto[[\phi,\psi]], (\phi,f)\mapsto\rho(\phi)[f]</math>
:<math> l_2\colon V^0\times V^\bullet \to V^\bullet: (\phi,\psi)\mapsto[[\phi,\psi]], (\phi,f)\mapsto\rho(\phi)[f]</math>

Revision as of 17:57, 12 December 2011

This article is developing and not approved.
Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
This editable Main Article is under development and subject to a disclaimer.


In the area of differential geometry a topic of mathematics a Courant algebroid is the algebroid version of a quadratic Lie algebra. More precisely a Courant algebroid is a vector bundle E→M over a smooth manifold whose space of sections is endowed with a non-skew-symmetric R-bilinear bracket, a vector bundle map ρ: ETM called the anchor, and a symmetric non-degenerate bilinear form subject to the rules

(Jacobi identity)
(Leibniz rule)
(ad-invariance)
(violation of skew-symmetry)

for all φ, ψi ∈ Γ(E), and f ∈ C(M) where d is the de Rham differential and ρ*: T*ME*=E the transpose of the anchor map.


Examples

0. Quadratic Lie algebras are Courant algebroids over a point, thus the anchor map vanishes. Remaining with vanishing anchor map also a bundle of quadratic Lie algebras is a Courant algebroid.
1. The Dorfman[1] bracket with the Ševera twist[2] is the following construction. Let E=TMT*M endowed with the projection ρ: ETM and canonical symmetric pairing
where X, Y ∈ Γ(TM) and α, β ∈ Γ(TM). Let further H ∈ Ω3(M) closed under the de Rham differential, dH = 0. Then the Ševera bracket is
2. The Ševera bracket can be generalized to any Lie algebroid (A→M,ρA,[.,.]A) straight-forwardly.
3. Given a Lie bialgebroid, i.e. a vector bundle A→M endowed with the structure of a Lie algebroid and also the dual bundle A*→M endowed with a Lie algebroid structure that are compatible in the following sense
for all φ, ψ ∈ Γ(A) where d* is the Lie algebroid differential induced by the structure on A*. The double E = AA* is endowed with the usual
,
,
where in addition α, β ∈ Γ(A*). Due to Xu et al[3] this is a Courant algebroid.


Elementary properties

The reason to ask for a non-skew-symmetric bracket is that given a quadratic Lie algebroid, i.e. all the axioms but the bracket skew-symmetric, then the anchor map vanishes, i.e. we are left with a bundle of quadratic Lie algebras only. The original works of Courant[4] describe an algebroid with a skew-symmetric bracket and due to Roytenberg[5] the two are equivalent, namely and . It is also possible to replace the above axioms of a Courant algebroid with those for the skew-symmetric bracket, however these are more complicated so we omit them here.

It is worth noting that the Courant algebroid with the skew-symmetric bracket and the Jacobiator

form a two-term L-algebra,[6] i.e. V0 = Γ(E), V-1 = C(M), and

,

where φ, ψ ∈ Γ(E).

Another interesting observation (due to Uchino) is that the anchor map fulfills a morphism property, i.e. for φ, ψ ∈ Γ(E)

where the bracket on the right-hand side is the commutator bracket of vector fields.

Naive cohomology

Due to Stiénon and Xu[7] the formula that gives rise to the Lie algebroid differential

with ψ ∈ Γ(E) gives rise to a differential if we restrict to the naive cochains α ∈ Γ(Λnker ρ). The naive cohomology is now the usual quotient of closed chains modulo exact chains.


N-graded realization and standard cohomology

Given a pseudo Euclidean vector bundle (E,g) we can consider this as a graded Poisson manifold E[1] where the Poisson bracket induced by g has degree -2. A symplectic realization is now a surjective map from a (graded) symplectic manifold (S,ω) to this Poisson manifold. The map is required to be a Poisson morphism. Minimality means that the fibers are of minimal dimension. Due to Roytenberg[8] the minimal symplectic realization of this Poisson manifold can be constructed as the commutative square

where . Given now a super function Θ ∈ O(Ε) of degree 3, then the derive bracket construction

,
,

for φ, ψ ∈ Γ(E) and f ∈ C(M) gives a Courant algebroid iff . Due to Roytenberg's theorem[8] the converse is also true, i.e. given a Courant algebroid there is a unique cubic function Θ such that the Courant structure arises from the derived bracket construction.

The standard cohomology is now the cohomology of the super functions O(Ε) under the differential Q = {Θ,.}.

The meaning of the lowest cohomology groups is the following: H0 are the smooth functions on M that are constant along the integral leaves of the image of the anchor map. H1 are the sections of E whose bracket with any other section vanishes modulo the exact sections ρ*df for f any smooth function. H2 are the infinitesimal automorphisms of the Courant algebroid modulo the inner automorphisms [φ,.]. H3 are the inequivalent infinitesimal deformations of the Courant structure. H4 governs the obstructions of extending an infinitesimal deformation to a formal deformation.

As an example Roytenberg (and Severa) computed the standard cohomology of the standard Courant algebroid and Severa discovered that the third real cohomology classes of the manifold are the only deformations of the standard Courant algebroid (see the Severa bracket above).

In the case of a transitive Courant algebroid (the anchor map is surjective) the naive cohomology is isomorphic to the standard cohomology. The advantage of the naive cohomology is that it is defined analogous to Lie algebroids and can thus be computed with analogous methods.


Generalized complex geometry

Given a Courant algebroid we can look for isotropic integrable vector subspaces, i.e. D ⊂ E is called isotropic if g(D,D) = 0 and integrable if [Γ(D),Γ(D)] ⊂ Γ(D). These subspaces inherit the structure of a Lie algebroid, because the bracket restricts to them and its violation of skew-symmetry vanishes.

A Dirac structure in a Courant algebroid with a metric of split signature is a maximally isotropic integrable vector subbundle.

  1. Given the standard Courant algebroid (with the Dorfman bracket, i.e. the Severa bracket with H = 0) then the graph of a bilinear form ω ∈ Γ(T*MT*M) is isotropic iff ω is skew-symmetric (i.e. a 2-form) and then integrable iff dω = 0, i.e. ω is presymplectic.[4][1]
  2. In the same Courant algebroid the graph of a bivector Π ∈ Γ(TMTM) is isotropic iff Π is skew-symmetric. It is then integrable iff Π is Poisson, i.e. [Π,Π] = 0.[4][1] Therefore Dirac structures generalize the notion of presymplectic and Poisson manifolds.
  3. Given an exact Courant algebroid (i.e. a standard one with a Severa bracket with H ∈ Ω3(M)), then the graph of a bivector Π is integrable iff [9]


Given a complex Courant algebroid E of split signature, then a generalized complex structure is a complex vector subbundle D ⊂ E that is integrable, maximal isotropic, and regular, i.e. .

Beside complex presymplectic and Poisson structures, also the graph of a complex structure J on E are examples of generalized complex structures on the complexified standard Courant algebroid E = TM⊕T*M.[10]


Integration of the Courant brackets

Because a Courant algebroid gives rise to a 2-term L-algebra it can be integrated by Kan complexes.[11] The converse way is roughly via the 1-jet of the Kan complex.[12] however it is not yet clear how to reconstruct the Q-structure of the Courant algebroid.


References

  1. 1.0 1.1 1.2 I.Y. Dorfman: Dirac structures of integrable evolution equations, 1987, Phys. Lett. A, vol.125, pp.240–246
  2. P. Ševera: Letters to A. Weinstein, unpublished (1998)
  3. J.-H. Liu, A. Weinstein, and P. Xu: Manin triples for Lie Bialgebroids, Journ. of Diff.geom., vol.45 (1997), pp.647–574, arXiv:dg-ga/9508013.
  4. 4.0 4.1 4.2 J.T. Courant: Dirac Manifolds, Trans.A.M.S. vol.319 (1990), pp.631–661, DOI 10.2307/2001258.
  5. D. Roytenberg: Courant algebroids, derived brackets, and even symplectic supermanifolds, Ph.D. thesis Univ. of California Berkeley (1999)
  6. D. Roytenberg and A. Weistein: Courant algebroids and L-algebras, Lett. Math. Phys.", vol. 46/1 (1998), pp. 81–93, arXiv:math/9802118.
  7. M. Stiénon and P. Xu: Modular classes of Loday algebroids, C. R. Acad. Sci. Paris, Ser. I vol. 346 (2008), pp. 193–198,arXiv:0803.2047.
  8. 8.0 8.1 D. Roytenberg: On the structure of graded symplectic supermanifolds and Courant algebroids in Workshop on Quantization, Deformations, and New Homological and Categorical Methods in Mathematical Physics, Contemp. Math., vol. 315 (2001), pp. 169–185, arXiv:math.SG/0203110.
  9. P. Severa and A. Weinstein: Poisson Geometry with 3-form background, Prog.Theor.Phys.Suppl., vol. 144 (2001), pp. 145–154, arXiv:math.SG/0107133.
  10. M. Gualtieri: Generalized complex geometry, Ph.D. thesis Oxford (2004), arXiv:math/0401221.
  11. A. Henriques: Integrating L-algebras, (2006), math.AT/0603563.
  12. P. Ševera: L-algebras as 1-jets of simplicial manifolds, (2006), arXiv:math/0612349,