nLab
generalized complex geometry

Context

Complex geometry

Differential geometry

Contents

Idea

Generalized complex geometry is the study of the geometry of symplectic Lie 2-algebroid called standard Courant algebroids 𝔠(X) (over a smooth manifold X).

This geometry of symplectic Lie 2-algebroids turns out to unify, among other things, complex geometry with symplectic geometry. This unification notably captures central aspects of T-duality.

Definition

On a vector space

Let V be a finite dimensional vector space over the real numbers.

Recall that a complex structure on V is a linear map

J:VVJ : V \to V

such that JJ=id V. And a symplectic structure on V is equivalently a linear isomorphism

ω:VV *\omega : V \to V^*

such that

ω *=ω,\omega^* = - \omega \,,

where V * denotes the dual vector space and ω * the dual linear map.

The following definition may be thought of as combining these two concepts.

Definition

A generalized complex structure on V is a linear map

𝒥:VV *VV *\mathcal{J} : V \oplus V^* \to V \oplus V^*

(an endomorphism of the direct sum of V with its dual vector space)

such that it is both

  1. a complex structure on VV * in that 𝒥 2=id;

  2. a symplectic structure on VV * in that 𝒥 *=𝒥.

The following shows that this is indeed a joint generalization of complex and symplectic structures.

Examples

Let J:VV be an ordinary complex structure on V. Then the linear endomorphism of VV * defined by matrix calculus as

𝒥 j:=(J 0 0 J *)\mathcal{J}_j := \left( \array{ -J & 0 \\ 0 & J^* } \right)

is a generalized complex structure on V.

Similarly, let ω:VV * be an ordinary symplectic structure on V. then the endomorphism

𝒥 ω:=(0 ω 1 ω 0)\mathcal{J}_\omega := \left( \array{ 0 & - \omega^{-1} \\ \omega & 0 } \right)

is a generalized complex structure on V.

On a manifold

A generalized complex structure on a manifold is a generalized complex structure on the fibers of the generalized tangent bundle.

(…)

In terms of reduction of the structure group

A generalized complex structure on VV * is equivalently a reduction of the structure group along the inclusion

U(n,n)O(2n,2n),U(n,n) \hookrightarrow O(2n,2n) \,,

where the left hand is identified as U(n,n)=O(2n,2n)GL(2n,).

(Gualtieri, prop. 4.6)

Properties

One finds (as described at standard Courant algebroid) that

In components these are structures found on the vector bundle

TXT *X,T X \oplus T^* X \,,

the direct sum of the tangent bundle with the cotangent bundle of X.

Generalized complex geometry thus generalizes and unifies

It was in particular motivated by the observation that this provides a natural formalism for describing T-duality.

Examples

References

General

Generalized complex geometry was proposed by Nigel Hitchin as a formalism in differential geometry that would be suited to capture the phenomena that physicists encountered in the study of T-duality. It was later and is still developed by his students, notably Gualtieri and Cavalcanti.

A standard reference is the PhD thesis

A survey set of slides with an eye towards the description of the Kalb-Ramond field and bundle gerbes is

As targets for σ-models

Generalized complex structures may serve as target spaces for sigma-models. Relations to the Poisson sigma-model and the Courant sigma-model are discussed in

Mirror symmetry

  • Oren Ben-Bassat, Mirror symmetry and generalized complex manifolds. I. The transform on vector bundles, spinors, and branes, J. Geom. Phys. 56 (2006), no. 4, 533–558 math.AG/0405303 MR2006k:53067 doi

Geometry of supergravity

Generalized complex geometry and variant of exceptional generalized complex geometry are natural for describing supergravity background compactifications in string theory with their T-duality and U-duality symmetries.

Revised on December 12, 2012 17:37:10 by Zoran Škoda (161.53.130.104)