Doubled Geometry in String Theory

• Doubled Geometry is an O(d,d)-covariant framework that encodes the conventional (G, B, H) data on a 2d-dimensional space, recovering physical spacetime through a choice of polarization.
• It geometrizes T-duality, T-fold monodromies, and non-geometric flux backgrounds by employing flux decompositions and generalized metrics.
• The framework is validated through models like WZW and double field theory, linking algebraic flux data with the global structure of spacetime via polarization.

Searching arXiv for the cited doubled-geometry papers to ground the article in the literature and verify identifiers. tool call: arxiv_search({"query":"id:(Schulz, 2011) OR id:(0902.4032) OR id:(Hohm et al., 2012) OR id:(Berman et al., 2014) OR id:(Cederwall, 2014) OR id:(Jensen, 2011) OR id:(Chaemjumrus et al., 2019) OR id:(Berman et al., 2013) OR id:(Marotta et al., 2019) OR id:(Marotta et al., 2018)", "max_results": 10, "sort_by": "relevance"}) Doubled geometry is an $O(d,d)$-covariant framework for the NS–NS sector of string theory in which the conventional target-space data $(G,B,H=dB)$ are encoded on a doubled space, and physical spacetime is recovered only after a choice of polarization. In the fully doubled version used by Hull and Reid-Edwards and tested in WZW models, the doubled target is a quotient $\mathcal{X}_{2d}=\Gamma\backslash \mathcal{G}_{2d}$ equipped with a split-signature bilinear form and a generalized metric; in the torus-fibered version, only the torus fiber is doubled. The framework was developed to geometrize T-duality, T-fold monodromies, and more general flux backgrounds, and it provides a common language for geometric compactifications, locally non-geometric T-folds, and backgrounds that are not even locally geometric (0902.4032, Schulz, 2011).

1. Formal definition of the doubled target space

In the Hull–Reid-Edwards setup, the doubled space is a $2d$-dimensional Lie-group quotient

$$\mathcal{X}_{2d}=\Gamma\backslash \mathcal{G}_{2d},$$

where $\mathcal{G}_{2d}$ has Lie algebra generators $T_M$ and dual left-invariant one-forms $\mathcal{P}^M$ obeying

$$[T_M,T_N]=t_{MN}{}^P T_P,\qquad d\mathcal{P}^M+\frac12\,t_{NP}{}^M\,\mathcal{P}^N\wedge\mathcal{P}^P=0.$$

A constant $O(d,d)$ metric $(G,B,H=dB)$0 of signature $(G,B,H=dB)$1 is required,

$(G,B,H=dB)$2

and invariance of $(G,B,H=dB)$3 implies that $(G,B,H=dB)$4 is totally antisymmetric. The doubled space also carries a Riemannian metric

$(G,B,H=dB)$5

with $(G,B,H=dB)$6 an $(G,B,H=dB)$7-compatible generalized metric. In a polarization basis $(G,B,H=dB)$8, it takes the standard form

$(G,B,H=dB)$9

so that the ordinary metric and $\mathcal{X}_{2d}=\Gamma\backslash \mathcal{G}_{2d}$0-field are extracted from the doubled data (Schulz, 2011).

A polarization is a choice of maximally isotropic $\mathcal{X}_{2d}=\Gamma\backslash \mathcal{G}_{2d}$1-dimensional subbundle with respect to $\mathcal{X}_{2d}=\Gamma\backslash \mathcal{G}_{2d}$2. In the corresponding basis, the Lie algebra decomposes into the flux data

$\mathcal{X}_{2d}=\Gamma\backslash \mathcal{G}_{2d}$3

These $\mathcal{X}_{2d}=\Gamma\backslash \mathcal{G}_{2d}$4 coefficients encode NS–NS twisting in a polarization-dependent way. If $\mathcal{X}_{2d}=\Gamma\backslash \mathcal{G}_{2d}$5, the $\mathcal{X}_{2d}=\Gamma\backslash \mathcal{G}_{2d}$6 generate a subgroup $\mathcal{X}_{2d}=\Gamma\backslash \mathcal{G}_{2d}$7, and the physical target can be obtained as the quotient

$\mathcal{X}_{2d}=\Gamma\backslash \mathcal{G}_{2d}$8

Local physical one-forms $\mathcal{X}_{2d}=\Gamma\backslash \mathcal{G}_{2d}$9 and $2d$0 then allow reconstruction of the physical fields via

$2d$1

and

$2d$2

This is the basic mechanism by which doubled geometry recovers ordinary backgrounds.

2. Relation to T-folds, generalized geometry, and double field theory

Three frameworks are explicitly identified for the study of non-geometric backgrounds: the T-fold construction, Hitchin’s generalized geometry, and fully doubled geometry. In the T-fold description, only a torus fiber is doubled. One replaces a $2d$3 fiber by a doubled $2d$4 with coordinates $2d$5, an $2d$6-invariant metric

$2d$7

and a generalized metric $2d$8 that packages the ordinary $2d$9 and $$\mathcal{X}_{2d}=\Gamma\backslash \mathcal{G}_{2d},$$0 fields. A polarization selects the physical $$\mathcal{X}_{2d}=\Gamma\backslash \mathcal{G}_{2d},$$1, and different polarizations related by $$\mathcal{X}_{2d}=\Gamma\backslash \mathcal{G}_{2d},$$2 give T-dual descriptions (Schulz, 2011).

Generalized geometry instead works on the generalized tangent bundle $$\mathcal{X}_{2d}=\Gamma\backslash \mathcal{G}_{2d},$$3 of an ordinary manifold. It has a natural $$\mathcal{X}_{2d}=\Gamma\backslash \mathcal{G}_{2d},$$4 structure and a local flux decomposition mirroring doubled geometry: $$\mathcal{X}_{2d}=\Gamma\backslash \mathcal{G}_{2d},$$5 In this setting the generalized torsion acts on differential forms with degrees shifted by $$\mathcal{X}_{2d}=\Gamma\backslash \mathcal{G}_{2d},$$6, respectively. The formal similarity with doubled geometry is exact at the level of the flux algebra, but generalized geometry presumes a conventional manifold, so it is intrinsically local when $$\mathcal{X}_{2d}=\Gamma\backslash \mathcal{G}_{2d},$$7, and it ceases to provide even a local sigma-model description when $$\mathcal{X}_{2d}=\Gamma\backslash \mathcal{G}_{2d},$$8 (Schulz, 2011).

The double field theory literature systematized these structures in basis-independent form. An invariant geometry of DFT was formulated with generalized connection, torsion, and curvature defined without reference to a particular basis; the resulting generalized Riemann tensor contains the conventional Ricci tensor and scalar curvature but not the full Riemann tensor, which already indicates a structural difference from ordinary Riemannian geometry (Hohm et al., 2012). Global analyses of finite generalized diffeomorphisms then showed that a “generalised manifold” in the $$\mathcal{X}_{2d}=\Gamma\backslash \mathcal{G}_{2d},$$9 setting is an ordinary smooth manifold with a global $\mathcal{G}_{2d}$0 metric, while the generalized metric carries gerbe patching data; triple overlaps are trivial on coordinates but non-trivial on fields, including the generalized metric (Berman et al., 2014).

3. Polarization, fluxes, and global structure

The central geometric operation in doubled geometry is not coordinate elimination but polarization. The same doubled group manifold can encode conventional geometry, a T-fold, or an essentially doubled background depending on how its maximally isotropic subspaces are selected. In the group-manifold formulation, the obstruction to a global spacetime description is therefore not doubling itself but the interplay among the polarization, the discrete quotient $\mathcal{G}_{2d}$1, and the flux decomposition (0902.4032).

A standard misconception is that nonzero $\mathcal{G}_{2d}$2-flux automatically implies nongeometry. In the WZW analysis, $\mathcal{G}_{2d}$3 is present even when the physical background is globally geometric. The actual obstruction is whether the polarization subgroup is preserved by the discrete identifications: when $\mathcal{G}_{2d}$4, the quotient $\mathcal{G}_{2d}$5 exists globally only if $\mathcal{G}_{2d}$6 acts by automorphisms preserving the $\mathcal{G}_{2d}$7 subalgebra. Schulz formulates this as the requirement that $\mathcal{G}_{2d}$8 be $\mathcal{G}_{2d}$9-invariant. This sharply separates algebraic flux data from the global existence of a physical spacetime (Schulz, 2011).

The nilmanifold reduction literature makes the same distinction in a classification with three cases. If the dual generators $T_M$0 form a subgroup preserved by the discrete quotient, the result is a geometric background. If they form a subgroup only locally, the result is a T-fold patched by $T_M$1 transformations. If they fail to close to a subalgebra, no local quotient exists and the background is “essentially doubled”; this is the characteristic $T_M$2-flux situation (Chaemjumrus et al., 2019). This suggests a precise hierarchy: geometric backgrounds are special polarizations of the doubled space, T-folds require patchwise polarizations, and $T_M$3-flux backgrounds have no local physical slice at all.

A further generalization replaces the constant defining $T_M$4 metric by a curved split-signature metric $T_M$5 on the doubled space. In that construction, any $T_M$6-signature metric defines a local $T_M$7 structure, generalized diffeomorphisms close with covariant derivatives $T_M$8, and the section condition becomes

$T_M$9

The flat $\mathcal{P}^M$0 of standard DFT is then a special case. This sharpens the distinction between the defining doubled metric $\mathcal{P}^M$1 and the DFT generalized metric $\mathcal{P}^M$2, which encodes the physical metric and $\mathcal{P}^M$3-field after a section is chosen (Cederwall, 2014).

4. WZW realization: the $\mathcal{P}^M$4 model and general groups

The $\mathcal{P}^M$5 WZW model at large level $\mathcal{P}^M$6 provides a controlled CFT realization of doubled geometry. Semiclassically it is string theory on $\mathcal{P}^M$7 with

$\mathcal{P}^M$8

or equivalently, in left-invariant one-forms $\mathcal{P}^M$9,

$$[T_M,T_N]=t_{MN}{}^P T_P,\qquad d\mathcal{P}^M+\frac12\,t_{NP}{}^M\,\mathcal{P}^N\wedge\mathcal{P}^P=0.$$0

The same background admits a T-fold description in which $$[T_M,T_N]=t_{MN}{}^P T_P,\qquad d\mathcal{P}^M+\frac12\,t_{NP}{}^M\,\mathcal{P}^N\wedge\mathcal{P}^P=0.$$1 is viewed as a Hopf fibration with a doubled Hopf circle, and a fully doubled description in which

$$[T_M,T_N]=t_{MN}{}^P T_P,\qquad d\mathcal{P}^M+\frac12\,t_{NP}{}^M\,\mathcal{P}^N\wedge\mathcal{P}^P=0.$$2

In the diagonal polarization basis

$$[T_M,T_N]=t_{MN}{}^P T_P,\qquad d\mathcal{P}^M+\frac12\,t_{NP}{}^M\,\mathcal{P}^N\wedge\mathcal{P}^P=0.$$3

the doubled algebra has

$$[T_M,T_N]=t_{MN}{}^P T_P,\qquad d\mathcal{P}^M+\frac12\,t_{NP}{}^M\,\mathcal{P}^N\wedge\mathcal{P}^P=0.$$4

so the doubled space carries nonzero $$[T_M,T_N]=t_{MN}{}^P T_P,\qquad d\mathcal{P}^M+\frac12\,t_{NP}{}^M\,\mathcal{P}^N\wedge\mathcal{P}^P=0.$$5- and $$[T_M,T_N]=t_{MN}{}^P T_P,\qquad d\mathcal{P}^M+\frac12\,t_{NP}{}^M\,\mathcal{P}^N\wedge\mathcal{P}^P=0.$$6-flux but vanishing $$[T_M,T_N]=t_{MN}{}^P T_P,\qquad d\mathcal{P}^M+\frac12\,t_{NP}{}^M\,\mathcal{P}^N\wedge\mathcal{P}^P=0.$$7- and $$[T_M,T_N]=t_{MN}{}^P T_P,\qquad d\mathcal{P}^M+\frac12\,t_{NP}{}^M\,\mathcal{P}^N\wedge\mathcal{P}^P=0.$$8-flux (Schulz, 2011).

Applying the Hull–Reid-Edwards formalism to this doubled group reproduces the physical metric and $$[T_M,T_N]=t_{MN}{}^P T_P,\qquad d\mathcal{P}^M+\frac12\,t_{NP}{}^M\,\mathcal{P}^N\wedge\mathcal{P}^P=0.$$9-flux exactly. At the WZW point, with modulus $O(d,d)$0 and $O(d,d)$1, the doubled Riemannian metric is

$O(d,d)$2

while the physical metric extracted from the chosen polarization becomes

$O(d,d)$3

The flux computation yields

$O(d,d)$4

which for $O(d,d)$5 reduces to $O(d,d)$6. The same formalism also reproduces the effective scalar potential and the stabilization condition

$O(d,d)$7

matching both sigma-model beta functions and exact CFT analysis (Schulz, 2011).

The construction extends from $O(d,d)$8 to any compact semisimple WZW group $O(d,d)$9, again with doubled group

$(G,B,H=dB)$00

and the same algebraic pattern

$(G,B,H=dB)$01

The physical metric and flux then take the universal form

$(G,B,H=dB)$02

5. Worldsheet formulations, dualities, and branes

The worldsheet implementation of doubled geometry is most explicit on doubled twisted tori. There the sigma model is written directly on the doubled target, together with a self-duality constraint that halves the doubled degrees of freedom. Gauging a maximally isotropic subgroup associated with a chosen polarization yields the conventional sigma model on the physical quotient. This construction accommodates reductions with duality twists, T-folds, and a class of flux compactifications, and it extends to cases where no local geometric target exists (0902.4032).

Nilmanifold reductions furnish a detailed family of examples. A nilmanifold $(G,B,H=dB)$03 is doubled to $(G,B,H=dB)$04 with $(G,B,H=dB)$05, and different polarizations recover geometric nilmanifolds, tori with $(G,B,H=dB)$06-flux, T-folds, and $(G,B,H=dB)$07-flux backgrounds. When these nilmanifolds are fibered over an interval, the doubled geometry of the nilmanifold factor unifies special-holonomy spaces with intersecting brane solutions, exotic branes, and essentially doubled spaces; the various duals arise as different slices of the same doubled manifold (Chaemjumrus et al., 2019).

The KK-monopole/NS5 system provides a complementary test because localization breaks the isometry required by standard Buscher rules. In doubled geometry, the compact direction $(G,B,H=dB)$08 and its dual $(G,B,H=dB)$09 are treated symmetrically. The formalism reproduces the smeared T-dual pair by choosing opposite polarizations, and it extends to the localized case through a conserved doubled current even when one side has broken isometry. The resulting KK background is localized in winding space: the physical fields depend on the dual coordinate, so the background is non-geometric from the ordinary spacetime viewpoint but natural in the doubled one (Jensen, 2011).

D-branes are also naturally described in the doubled framework. In fully doubled WZW models, classical D-branes wrap maximal isotropic submanifolds $(G,B,H=dB)$10, and their projections reproduce the conjugacy classes and twisted conjugacy classes that support WZW branes. The corresponding worldsheet boundary condition

$(G,B,H=dB)$11

arises geometrically from the doubled embedding (Schulz, 2011). This suggests a general interpretation of branes as geometric objects in doubled space even when their projections are non-geometric.

6. Later developments and scope of the framework

Subsequent work broadened doubled geometry in several directions. A basis-independent geometry for DFT defined generalized torsion and curvature without reference to a particular frame, while a teleparallel reformulation then replaced curvature by a flat but torsionful Weitzenböck connection compatible with both the generalized metric and the $(G,B,H=dB)$12 structure; the DFT action is recovered exactly from quadratic invariants built from generalized torsion (Berman et al., 2013, Berman et al., 2013). In the $(G,B,H=dB)$13-corrected setting, T-duality remains unchanged while diffeomorphisms and $(G,B,H=dB)$14-field gauge transformations are deformed; the resulting gauge algebra is an $(G,B,H=dB)$15-deformation of the duality-covariantized Courant bracket, and the gravitational field is promoted from a constrained generalized metric to an unconstrained double metric (Berman et al., 2013).

More algebraic realizations also clarify the framework. A $(G,B,H=dB)$16-dimensional rigid-rotator model on $(G,B,H=dB)$17 and its Poisson–Lie dual on $(G,B,H=dB)$18 can be unified on the Drinfel’d double $(G,B,H=dB)$19, where an $(G,B,H=dB)$20 metric, a generalized metric, and an almost para-Hermitian structure make the doubled geometry entirely explicit. Gauging different symmetry subgroups of the doubled model recovers the original and dual systems, making section choice concrete in a finite-dimensional setting (Marotta et al., 2018). The same logic extends to the $(G,B,H=dB)$21 principal chiral model, whose phase space carries a Born geometry and whose parent action on $(G,B,H=dB)$22 yields the $(G,B,H=dB)$23 and $(G,B,H=dB)$24 sigma models as different polarizations (Marotta et al., 2019).

A separate brane-based line of work probes doubled geometry through wrapping rules rather than sigma models. There, consistency of the solitonic sector with the doubled fundamental sector leads to a dual wrapping rule and suggests generalized Kaluza–Klein monopoles encoded by mixed-symmetry fields $(G,B,H=dB)$25. This is not a complete doubled formalism, but it uses brane spectra to constrain the same T-duality-covariant structure (Bergshoeff et al., 2011).

A distinct usage of the term also appears in non-product spectral geometry, where a “doubled geometry” means a two-sheeted spectral triple with two metrics and an off-diagonal Dirac operator, leading to modified bimetric theories. This is mathematically separate from the $(G,B,H=dB)$26-covariant string-theoretic framework described above (Bochniak, 2022). The coexistence of these usages makes terminology potentially ambiguous, but in string theory and related arXiv literature the phrase usually denotes the $(G,B,H=dB)$27-based formalism in which doubled coordinates, generalized metrics, and polarization encode T-duality and non-geometric flux backgrounds.