Courant algebroid
   HOME

TheInfoList



OR:

In a field of
mathematics Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
known as
differential geometry Differential geometry is a mathematical discipline that studies the geometry of smooth shapes and smooth spaces, otherwise known as smooth manifolds. It uses the techniques of differential calculus, integral calculus, linear algebra and multili ...
, a Courant geometry was originally introduced by Zhang-Ju Liu,
Alan Weinstein Alan David Weinstein (17 June, 1943, New York City) is a professor of mathematics at the University of California, Berkeley, working in the field of differential geometry, and especially in Poisson geometry. Education and career Weinstein ob ...
and Ping Xu in their investigation of doubles of Lie bialgebroids in 1997. Liu, Weinstein and Xu named it after Courant, who had implicitly devised earlier in 1990 the standard prototype of Courant algebroid through his discovery of a skew symmetric bracket on TM\oplus T^*M, called Courant bracket today, which fails to satisfy the Jacobi identity. Both this standard example and the double of a Lie bialgebra are special instances of Courant algebroids.


Definition

A Courant algebroid consists of the data a vector bundle E\to M with a bracket ,.\Gamma E \times \Gamma E \to \Gamma E, a non degenerate fiber-wise inner product \langle.,.\rangle: E\times E\to M\times\R, and a bundle map \rho:E\to TM subject to the following axioms, : phi,_[\chi,_\psi_=_\phi,_\chi.html" ;"title="chi,_\psi.html" ;"title="phi, [\chi, \psi">phi, [\chi, \psi = \phi, \chi">chi,_\psi.html" ;"title="phi, [\chi, \psi">phi, [\chi, \psi = \phi, \chi \psi] + [\chi, [\phi, \psi :[\phi, f\psi] = \rho(\phi)f\psi +f[\phi, \psi] :[\phi,\phi]= \tfrac12 D\langle \phi,\phi\rangle :\rho(\phi)\langle \psi,\psi\rangle= 2\langle phi,\psi\psi\rangle where \phi, \chi, \psi are sections of ''E'' and ''f'' is a smooth function on the base manifold ''M''. ''D'' is the combination \kappa^\rho^T d with ''d'' the de Rham differential, \rho^T the dual map of \rho, and ''κ'' the map from ''E'' to E^* induced by the inner product.


Skew-Symmetric Definition

An alternative definition can be given to make the bracket skew-symmetric as : \phi,\psi= \tfrac12\big( phi,\psi psi,\phibig.) This no longer satisfies the Jacobi-identity axiom above. It instead fulfills a homotopic Jacobi-identity. : \phi,\psi,\chi\,.html" ;"title="\psi,\chi.html" ;"title="\phi,\psi,\chi">\phi,\psi,\chi\,">\psi,\chi.html" ;"title="\phi,\psi,\chi">\phi,\psi,\chi\, +\text = DT(\phi,\psi,\chi) where ''T'' is : T(\phi,\psi,\chi)=\frac13\langle phi,\psi\chi\rangle +\text The Leibniz rule and the invariance of the scalar product become modified by the relation \phi,\psi = phi,\psi-\tfrac12 D\langle \phi,\psi\rangle and the violation of skew-symmetry gets replaced by the axiom :: \rho\circ D = 0 The skew-symmetric bracket together with the derivation ''D'' and the Jacobiator ''T'' form a strongly homotopic Lie algebra.


Properties

The bracket is not skew-symmetric as one can see from the third axiom. Instead it fulfills a certain Jacobi-identity (first axiom) and a Leibniz rule (second axiom). From these two axioms one can derive that the anchor map ''ρ'' is a morphism of brackets: :: \rho phi,\psi= rho(\phi),\rho(\psi). The fourth rule is an invariance of the inner product under the bracket. Polarization leads to :: \rho(\phi)\langle \chi,\psi\rangle= \langle phi,\chi\psi\rangle +\langle \chi, phi,\psirangle .


Examples

An example of the Courant algebroid is the Dorfman bracket on the direct sum TM\oplus T^*M with a twist introduced by Ševera, (1998) defined as: :: +\xi, Y+\eta= ,Y(\mathcal_X\,\eta -i(Y) d\xi +i(X)i(Y)H) where ''X,Y'' are vector fields, '' ξ,η'' are 1-forms and ''H'' is a closed 3-form twisting the bracket. This bracket is used to describe the integrability of generalized complex structures. A more general example arises from a Lie algebroid ''A'' whose induced differential on A^* will be written as ''d'' again. Then use the same formula as for the Dorfman bracket with ''H'' an ''A''-3-form closed under ''d''. Another example of a Courant algebroid is a quadratic Lie algebra, i.e. a Lie algebra with an invariant scalar product. Here the base manifold is just a point and thus the anchor map (and ''D'') are trivial. The example described in the paper by Weinstein et al. comes from a Lie bialgebroid, i.e. ''A'' a Lie algebroid (with anchor \rho_A and bracket ,.A), also its dual A^* a Lie algebroid (inducing the differential d_ on \wedge^* A) and d_ ,YA= _X,YA+ ,d_YA (where on the RHS you extend the ''A''-bracket to \wedge^*A using graded Leibniz rule). This notion is symmetric in ''A'' and A^* (see Roytenberg). Here E=A\oplus A^* with anchor \rho(X+\alpha)=\rho_A(X)+\rho_(\alpha) and the bracket is the skew-symmetrization of the above in ''X'' and ''α'' (equivalently in ''Y'' and ''β''): : +\alpha,Y+\beta ( ,YA +\mathcal^_Y-i_\beta d_X) +( alpha,\beta +\mathcal^A_X\beta-i_Yd_\alpha)


Dirac structures

Given a Courant algebroid with the inner product \langle.,.\rangle of split signature (e.g. the standard one TM\oplus T^*M), then a Dirac structure is a maximally isotropic integrable vector subbundle ''L → M'', i.e. : \langle L,L\rangle \equiv 0, : \mathrm\,L=\tfrac12\mathrm\,E, : Gamma L,\Gamma Lsubset \Gamma L.


Examples

As discovered by Courant and parallel by Dorfman, the graph of a 2-form ''ω'' ∈ ''Ω''2(''M'') is maximally isotropic and moreover integrable iff d''ω'' = 0, i.e. the 2-form is closed under the de Rham differential, i.e. a presymplectic structure. A second class of examples arises from bivectors \Pi\in\Gamma(\wedge^2 TM) whose graph is maximally isotropic and integrable iff = 0, i.e. Π is a
Poisson bivector In differential geometry, a Poisson structure on a smooth manifold M is a Lie bracket \ (called a Poisson bracket in this special case) on the algebra (M) of smooth functions on M , subject to the Leibniz rule : \ = \h + g \ . Equivalen ...
on ''M''.


Generalized complex structures

(see also the main article generalized complex geometry) Given a Courant algebroid with inner product of split signature. A generalized complex structure ''L → M'' is a Dirac structure in the
complexified In mathematics, the complexification of a vector space over the field of real numbers (a "real vector space") yields a vector space over the complex number field, obtained by formally extending the scaling of vectors by real numbers to include ...
Courant algebroid with the additional property : L \cap \bar = 0 where \bar{\ } means complex conjugation with respect to the standard complex structure on the complexification. As studied in detail by GualtieriM. Gualtieri: ''Generalized complex geometry'', Ph.D. thesis, Oxford university, (2004) the generalized complex structures permit the study of geometry analogous to
complex geometry In mathematics, complex geometry is the study of geometric structures and constructions arising out of, or described by, the complex numbers. In particular, complex geometry is concerned with the study of spaces such as complex manifolds and c ...
.


Examples

Examples are beside presymplectic and Poisson structures also the graph of a complex structure ''J'': ''TM'' → ''TM''.


References


Further reading

* Dmitry Roytenberg
Courant algebroids, derived brackets, and even symplectic supermanifolds
PhD thesis Univ. of California Berkeley (1999) Differential geometry