Generalized Kähler Geometry

• Generalized Kähler geometry is a framework that unifies complex, symplectic, and Poisson geometries via pairs of commuting generalized complex structures on Courant algebroids.
• It employs a bi-Hermitian package and exact Courant algebroids to establish a positive-definite generalized metric with intricate deformation and cohomological theories.
• Practical applications include advances in 2D (2,2) supersymmetric sigma models, quantization via C*-gerbes, and toric classifications of extremal metrics.

Generalized Kähler geometry is the study of the rich geometric structures arising from pairs of commuting generalized complex structures on exact Courant algebroids, naturally generalizing classical Kähler geometry to the broader context of generalized complex geometry. Generalized Kähler structures unify and extend complex, symplectic, and Poisson geometry, featuring deep algebraic and differential geometric properties, intricate deformation theories, and fundamental connections to 2D (2,2) supersymmetric sigma models and modern differential geometry.

1. Foundations: Courant Algebroids and Generalized Complex Geometry

The underlying framework is an exact Courant algebroid $E$ over a smooth manifold $M$:

$$0 \to T^*M \xrightarrow{\iota} E \xrightarrow{\pi} TM \to 0$$

equipped with a nondegenerate symmetric bilinear pairing of split signature and an $H$-twisted Courant bracket:

$$[X+\xi,\,Y+\eta]_H = [X,Y] + \mathcal{L}_X\eta - i_Y d\xi + i_X i_Y H, \quad H \in \Omega^3(M),\, dH=0$$

with the Ševera class $[E]\in H^3(M,\mathbb{R})$.

A generalized complex structure $\JJ: E \to E$ is an orthogonal bundle map with $\JJ^2 = -1$ whose $+i$-eigenbundle is involutive under $[\cdot,\cdot]_H$. This notion interpolates between complex and symplectic structures: complex structures are induced by $M$0, symplectic structures by $M$1, while holomorphic Poisson structures correspond to more intricate block forms.

2. Generalized Kähler Structures and Bi-Hermitian Geometry

A generalized Kähler structure consists of a pair of commuting generalized complex structures $M$2 such that

$M$3

is a positive-definite generalized metric. The eigenbundles $M$4 for eigenvalues $M$5 of $M$6 split $M$7 and correspond, after identifying $M$8, to two $M$9-orthogonal summands on which $$0 \to T^*M \xrightarrow{\iota} E \xrightarrow{\pi} TM \to 0$$0 is definite.

Under this identification, a generalized Kähler structure yields the bi-Hermitian package $$0 \to T^*M \xrightarrow{\iota} E \xrightarrow{\pi} TM \to 0$$1:

• $$0 \to T^*M \xrightarrow{\iota} E \xrightarrow{\pi} TM \to 0$$2 is a Riemannian metric,
• $$0 \to T^*M \xrightarrow{\iota} E \xrightarrow{\pi} TM \to 0$$3 are integrable complex structures, both Hermitian for $$0 \to T^*M \xrightarrow{\iota} E \xrightarrow{\pi} TM \to 0$$4,
• with associated 2-forms $$0 \to T^*M \xrightarrow{\iota} E \xrightarrow{\pi} TM \to 0$$5,
• such that

$$0 \to T^*M \xrightarrow{\iota} E \xrightarrow{\pi} TM \to 0$$6

with $$0 \to T^*M \xrightarrow{\iota} E \xrightarrow{\pi} TM \to 0$$7 the real Dolbeault operators of $$0 \to T^*M \xrightarrow{\iota} E \xrightarrow{\pi} TM \to 0$$8.

Conversely, given such bi-Hermitian data, the generalized complex structures can be reconstructed via explicit block formulas. The key algebraic constraints involve the commutation $$0 \to T^*M \xrightarrow{\iota} E \xrightarrow{\pi} TM \to 0$$9 and the integrability conditions which ensure each $H$0 is a generalized complex structure, encoding the classical Nijenhuis tensor vanishing for $H$1, and the intricate compatibility with the 3-form flux $H$2 (Gualtieri, 2010).

3. Dirac Geometry, Holomorphic Reductions, and Deformation Theory

Generalized Kähler manifolds admit canonical decompositions of $H$3 into four pairwise transverse complex isotropic subbundles:

$H$4

where, for example, $H$5 is a generalized isotropic involutive lifting of $H$6 for $H$7. Reducing the exact Courant algebroid via these subbundles yields holomorphic Courant algebroids $H$8 over the complex manifolds $H$9, each decomposing further into a pair of transverse holomorphic Dirac structures $$[X+\xi,\,Y+\eta]_H = [X,Y] + \mathcal{L}_X\eta - i_Y d\xi + i_X i_Y H, \quad H \in \Omega^3(M),\, dH=0$$0, whose Baer sum recovers the holomorphic Poisson structure $$[X+\xi,\,Y+\eta]_H = [X,Y] + \mathcal{L}_X\eta - i_Y d\xi + i_X i_Y H, \quad H \in \Omega^3(M),\, dH=0$$1.

The derived deformation theory is controlled by the Maurer–Cartan equation for the dgLa of forms valued in a Dirac algebra:

$$[X+\xi,\,Y+\eta]_H = [X,Y] + \mathcal{L}_X\eta - i_Y d\xi + i_X i_Y H, \quad H \in \Omega^3(M),\, dH=0$$2

Obstructions and moduli are governed by the hypercohomology groups $$[X+\xi,\,Y+\eta]_H = [X,Y] + \mathcal{L}_X\eta - i_Y d\xi + i_X i_Y H, \quad H \in \Omega^3(M),\, dH=0$$3, with generalized Kähler deformations corresponding to deformations of Dirac pairs (Gualtieri, 2010).

4. Cohomological Structures and Moduli

Generalized Kähler geometry features a rich cohomological and deformation-theoretic landscape:

• The generalized Kähler class (in analogy to the Kähler class) is captured by the closed 2-form $$[X+\xi,\,Y+\eta]_H = [X,Y] + \mathcal{L}_X\eta - i_Y d\xi + i_X i_Y H, \quad H \in \Omega^3(M),\, dH=0$$4 governing exact canonical deformations. The space of such classes forms a generalized Kähler cone in $$[X+\xi,\,Y+\eta]_H = [X,Y] + \mathcal{L}_X\eta - i_Y d\xi + i_X i_Y H, \quad H \in \Omega^3(M),\, dH=0$$5, with canonical representatives arising through the action of the Courant symmetry group via $$[X+\xi,\,Y+\eta]_H = [X,Y] + \mathcal{L}_X\eta - i_Y d\xi + i_X i_Y H, \quad H \in \Omega^3(M),\, dH=0$$6-field transformations and diffeomorphisms (Gibson et al., 2020).
• The generalized Kähler–Ricci flow preserves both the underlying real Poisson tensor $$[X+\xi,\,Y+\eta]_H = [X,Y] + \mathcal{L}_X\eta - i_Y d\xi + i_X i_Y H, \quad H \in \Omega^3(M),\, dH=0$$7 and the generalized Kähler cone, exhibiting strictly parabolic features and leading to global stability and uniqueness results in several settings (Gibson et al., 2020, Streets et al., 2019).
• For generalized Kähler surfaces, there is a classification of steady generalized Kähler–Ricci solitons, showing unique toric solitons on Hopf surfaces and their precise relation to vanishing or nonvanishing Poisson structures, with uniqueness (for fixed cohomology) in the odd-type case (Streets et al., 2019).

5. Scalar Curvature, Moment Maps, and Variational Theory

Goto’s foundational work provided a definition of scalar curvature for generalized Kähler manifolds via the pure spinor formalism. Given a pair of commuting pure spinors generating the two generalized complex structures, scalar curvature is a functional expression involving the Mukai pairing, the Lee forms, and their derivatives. A central result is that this scalar curvature arises as the moment map for the action of generalized Hamiltonian diffeomorphisms on the space of generalized complex structures compatible with a fixed Courant algebroid and adapted volume form (Goto, 2021, Apostolov et al., 2024):

$$[X+\xi,\,Y+\eta]_H = [X,Y] + \mathcal{L}_X\eta - i_Y d\xi + i_X i_Y H, \quad H \in \Omega^3(M),\, dH=0$$8

where $$[X+\xi,\,Y+\eta]_H = [X,Y] + \mathcal{L}_X\eta - i_Y d\xi + i_X i_Y H, \quad H \in \Omega^3(M),\, dH=0$$9 is the generalized scalar curvature determined by the pair $[E]\in H^3(M,\mathbb{R})$0.

There is a full infinite-dimensional Kähler geometry on the space of generalized Kähler structures (of fixed type and volume), admitting a generalized Mabuchi metric, Levi–Civita connection, and a generalized $[E]\in H^3(M,\mathbb{R})$1-energy functional. Critical points correspond to constant scalar curvature generalized Kähler structures (cscGK). Variational theory extends to yield Futaki-type invariants and Calabi–Lichnerowicz–Matsushima obstructions, directly paralleling the classical theory (Apostolov et al., 2023, Apostolov et al., 2024).

6. Symplectic-Type Structures, Potentials, and Toric Classification

In the symplectic type regime, an important subclass, a generalized Kähler structure is determined by a complex manifold $[E]\in H^3(M,\mathbb{R})$2, a holomorphic Poisson tensor $[E]\in H^3(M,\mathbb{R})$3, and a symplectic form $[E]\in H^3(M,\mathbb{R})$4 taming $[E]\in H^3(M,\mathbb{R})$5 and compatible with the Poisson structure. Such data organizes into Morita equivalence classes via holomorphic symplectic bibundles with positive Lagrangian brane bisections. Locally, these structures are encoded by a single real-valued function—the generalized Kähler potential—extending the Donaldson potential formalism from Kähler geometry (Bischoff et al., 2018).

In the toric category, symplectic-type generalized Kähler metrics admit Abreu–Donaldson-type descriptions, with geodesic convexity, strict uniqueness results, and K-stability obstructions to the existence of extremal metrics. The toric setting also enables a detailed local and global classification of generalized Kähler–Ricci solitons, with all complete steady solitons arising from deformations of classical Kähler–Ricci solitons via constant skew-form deformations (Apostolov et al., 1 Sep 2025).

7. Quantization, Gerbes, and Further Directions

Quantization in generalized Kähler geometry replaces the role of line bundles in Kähler theory with $[E]\in H^3(M,\mathbb{R})$6-gerbes endowed with unitary $[E]\in H^3(M,\mathbb{R})$7-connections whose curvature realizes the Dixmier–Douady class $[E]\in H^3(M,\mathbb{R})$8, paralleling the prequantum construction but in the setting of Courant algebroids and B-field background (Gualtieri, 2010). When the Courant algebroid $[E]\in H^3(M,\mathbb{R})$9 is equipped with a generalized Kähler structure, the associated gerbe gains a "generalized holomorphic" structure, simultaneously compatible with both complex manifolds $\JJ: E \to E$0, and their Poisson modules.

Furthermore, blow-up procedures, deformations, and moduli constructions have been developed, and the theory extends to (twisted) products and coKähler settings, with functorial behaviors closely paralleling and generalizing classical results (Duran, 2016, Gomez et al., 2015). Current lines of research include the explicit construction of extremal and constant scalar curvature metrics, the geometric quantization problem for generalized structures, and the exploration of mirror phenomena and wall-crossing in the context of the generalized Kähler cone.

---

Key References:

• M. Gualtieri, "Generalized Kähler geometry" (Gualtieri, 2010)
• Apostolov–Streets–Ustinovskiy, "The Riemannian and symplectic geometry of the space of generalized Kähler structures" (Apostolov et al., 2023)
• Boulanger–Goto, "Scalar curvature and the moment map in generalized Kahler geometry" (Goto, 2021)
• Streets–Ustinovskiy, "The Gibbons-Hawking ansatz in generalized Kähler geometry" (Streets et al., 2020)
• Streets–Gibson, "Deformation classes in generalized Kähler geometry" (Gibson et al., 2020)
• Hu–Moraru–Svoboda, "Commuting Pairs, Generalized para-Kähler Geometry and Born Geometry" (Hu et al., 2019)
• Bischoff–Gualtieri–Zabzine, "Morita equivalence and the generalized Kähler potential" (Bischoff et al., 2018)
• van der Leer Dur, "Blow-ups in generalized Kähler geometry" (Duran, 2016)