The gauge algebra of double field theory and Courant brackets
Abstract: We investigate the symmetry algebra of the recently proposed field theory on a doubled torus that describes closed string modes on a torus with both momentum and winding. The gauge parameters are constrained fields on the doubled space and transform as vectors under T-duality. The gauge algebra defines a T-duality covariant bracket. For the case in which the parameters and fields are T-dual to ones that have momentum but no winding, we find the gauge transformations to all orders and show that the gauge algebra reduces to one obtained by Siegel. We show that the bracket for such restricted parameters is the Courant bracket. We explain how these algebras are realised as symmetries despite the failure of the Jacobi identity.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Knowledge Gaps
Below is a consolidated list of the key knowledge gaps, limitations, and open questions explicitly or implicitly left unresolved by the paper. These highlight concrete directions for future work.
- Full, unrestricted double field theory (DFT) to all orders: Construct the complete gauge-invariant action and transformations for fields that satisfy the constraint A=0 but are not restricted to a common null subspace N, including a systematic treatment of the required projectors and cocycle factors, and prove off-shell closure of the gauge algebra in this general setting.
- Structure of the Jacobiator without restriction: Determine the explicit form and properties of the Jacobiator for the C-bracket when fields/parameters are unrestricted (with projectors), and rigorously show that it generates only trivial (reducible) gauge transformations in that setting.
- All-orders scalar and action for restricted theory: Construct the O(D,D)-covariant scalar R(e,d) exactly (beyond the leading terms in equation (4.10)), provide the corresponding gauge-invariant action S=∫e{-2d}R to all orders, and establish its equivalence (after gauge fixing/redefinitions) with Siegel’s construction.
- Background dependence beyond constant Eij: Generalize the analysis from fluctuations around constant Eij to non-constant backgrounds (including curvature and H-flux), and identify the correct twisted generalization of the C-bracket/Courant bracket ensuring gauge closure and O(D,D) covariance.
- Weakly constrained sector and products: Develop a consistent product (or projection prescription) for fields that individually satisfy A=0 but are not all restricted to the same N, so that products remain in the kernel of A and the gauge algebra closes without invoking ad hoc projections.
- Ambiguity and uniqueness of the bracket: Provide a rigorous proof that O(D,D) covariance uniquely fixes the gauge-algebra ambiguity (i.e., rules out nonzero constant 2-form shifts in equation (3.19)) beyond the constant-coefficient argument, and clarify the status of possible non-covariant choices (k-brackets) under field redefinitions and their physical equivalence.
- Full BV/BRST formulation: Construct the Batalin–Vilkovisky (or BRST) master action for the reducible, non-Lie gauge symmetry governed by the C-bracket, including ghosts-for-ghosts and higher-stage reducibility, and verify consistency (nilpotency, master equation) both for restricted and unrestricted fields.
- Extension to RR sector: Incorporate Ramond–Ramond fields (O(D,D) spinors) into the framework, determine their gauge transformations, and derive the unified gauge algebra (and its Jacobiator/triviality) that couples NS–NS and RR sectors.
- C-geometry: Define covariant derivatives, connections, torsion, curvature, and Bianchi identities adapted to the C-bracket (“C-geometry”), show compatibility with O(D,D) and reducibility, and clarify the precise relation to Courant algebroids and generalized geometry beyond the restricted case.
- Global and topological issues: Analyze global aspects on general doubled manifolds beyond tori (patching, transition functions, gerbes), identify how choices of null subspaces N are made and changed across patches, and establish consistency of gluing different polarisations (N’s) with the C-bracket-based gauge symmetry.
- Background-independent formulation: Provide an explicit background-independent action and field equations (not just algebra) whose symmetry is the C-bracket, including higher-derivative corrections, and verify that it reproduces the expected truncation of closed string field theory beyond cubic order.
- Worldsheet derivation and k-ambiguity: Derive the gauge algebra and its potential k-ambiguity directly from the worldsheet current algebra in generic backgrounds (including cocycles), and identify principles (e.g., locality, associativity, modular invariance) that fix k uniquely in the spacetime gauge algebra.
- Coupling to matter and observables: Clarify the physical meaning of “C-vectors” being defined up to gradients (equivalence under ΣM ~ ΣM + ∂Mχ), identify gauge-invariant observables and consistent couplings to matter/defects, and determine how reducibility affects conservation laws and charges.
- Beyond no-winding/non-compact assumption: Investigate extensions that relax the “no winding in non-compact directions” assumption and assess implications for O(D,D) covariance, constraints, and gauge algebra in curved or nontrivially fibered non-compact backgrounds.
Collections
Sign up for free to add this paper to one or more collections.