T-Duality Covariant Bracket

• The T-duality covariant bracket is a bilinear operation on generalized tangent bundles that encodes gauge symmetries under T-duality in string theory.
• It generalizes the Lie and Courant brackets to systematically incorporate diffeomorphisms, B-field transformations, and non-geometric flux corrections.
• Its O(D,D)-covariant formulation is pivotal in ensuring the closure of gauge algebras and constructing T-duality invariant effective actions.

A T-duality covariant bracket, frequently referred to as the C-bracket in the string theory and double field theory (DFT) literature, is a bilinear operation defined on sections of a generalized tangent bundle or its doubled extension that encodes the infinitesimal gauge algebra in theories manifesting T-duality symmetry. Its structure generalizes the Lie bracket of vector fields to the context of generalized geometry, double field theory, and D-brane worldvolume gauge theories, systematically capturing the interplay between diffeomorphisms, antisymmetric gauge transformations, and the T-duality group $O(d,d)$. The bracket serves as a central algebraic structure in describing the symmetry algebras of string backgrounds, fluxes, and non-geometric configurations, ensuring formal covariance under T-duality transformations both at the level of string backgrounds and effective actions.

1. Formal Structure and Definition

In double field theory, the T-duality covariant bracket—or C-bracket—is defined on generalized gauge parameters $\Sigma^M$ that are sections of a doubled bundle with coordinates $(x^i, \tilde{x}_i)$ and $O(D,D)$ metric $\eta_{MN}$: $$[\Sigma_1, \Sigma_2]_C^M = \Sigma_1^N\partial_N \Sigma_2^M - \Sigma_2^N\partial_N \Sigma_1^M - \frac{1}{2} \eta^{MN} \eta_{PQ} \left( \Sigma_1^P \partial_N \Sigma_2^Q - \Sigma_2^P \partial_N \Sigma_1^Q \right).$$ This expression is $O(D,D)$-covariant and is designed so that it reduces to the Courant bracket

$$[\xi+\tilde\xi,\,\eta+\tilde\eta] = [\xi,\eta]_{\mathrm{Lie}} + \mathcal{L}_\xi\tilde\eta - \mathcal{L}_\eta\tilde\xi - \frac{1}{2}d(i_\xi\tilde\eta - i_\eta\tilde\xi)$$

when restricted to parameters and fields dependent only on physical coordinates $x^i$—that is, upon imposition of the section (or strong) constraint $\tilde{\partial} = 0$ (0908.1792, Davidovic et al., 2020, Davidović et al., 2022).

The Dorfman bracket, defined as

$$x \circ y = [x, y] + \partial^M x^N \, y_M \, \partial_N$$

in this formalism, is related to the C-bracket via antisymmetrization. For D-branes in large R-R backgrounds, the T-duality covariant bracket takes the form of a higher Nambu-type or $(p-1)$-bracket: $$\{f_1, \ldots, f_{p-1}\}_{(p-1)} = \epsilon^{\dot{\mu}_1 \ldots \dot{\mu}_{p-1}} (\partial_{\dot{\mu}_1} f_1) \cdots (\partial_{\dot{\mu}_{p-1}} f_{p-1}),$$ which, via dimensional reduction, recursively realizes T-duality covariance for $p$-brane gauge theories (Ma, 2023).

2. Origin, Algebraic Properties, and Gauge Algebras

The bracket originates in the analysis of symmetry generators in closed string theory and D-brane worldvolume theories. For closed strings, taking the canonical Poisson bracket of the generalized diffeomorphism and $B$-field gauge symmetry generators yields the Courant bracket, which is self-T-dual. Extending parameters to the double space, and enforcing the strong (section) constraint, one obtains the fully T-duality covariant C-bracket (Davidovic et al., 2020).

Structurally, the bracket is antisymmetric but fails to satisfy the Jacobi identity in the traditional sense; the Jacobiator is an exact or "trivial" gauge parameter corresponding to a "symmetry for symmetry": $$J(\Sigma_1,\Sigma_2,\Sigma_3)^M = [[\Sigma_1,\Sigma_2]_C,\Sigma_3]_C^M + \mathrm{cyclic} = \partial^M N(\Sigma_1,\Sigma_2,\Sigma_3),$$ with $N$ bilinear in derivatives. As such, the algebra is not a Lie algebra but a structure consistent with gauge closures in the presence of redundant gauge symmetries (0908.1792, Reid-Edwards, 2010, Davidović et al., 2022).

The bracket is closed under $O(D,D)$ transformations and guarantees closure of the gauge algebra of double field theory and generalized supergravity as long as the strong constraint is satisfied.

3. Twisted Brackets and T-Duality Covariance

Twists of the bracket arise naturally in nontrivial backgrounds. The presence of an $H$-flux (Kalb-Ramond field) leads to the $B$-twisted C-bracket: $$[\Sigma_1, \Sigma_2]_{C,B} = e^B [e^{-B}\Sigma_1, e^{-B}\Sigma_2]_C,$$ where the bracket involves covariant derivatives $D_M = \partial_M + B_{MN} \tilde\partial^N$ and $H$-flux corrections in the structure constants (Davidović et al., 2022, Davidovic et al., 2020). Dually, twisting by a non-commutativity parameter $\theta$ leads to a $\theta$-twisted C-bracket, with the corresponding non-geometric $Q$ and $R$ fluxes appearing.

Under T-duality, these different twists are interchanged: the $B$-twisted C-bracket and Courant bracket map to $\theta$-twisted brackets on the T-dual background, maintaining full covariance of the entire algebraic structure (Davidović et al., 2022, Davidovic et al., 2020). Furthermore, the entire hierarchy of higher brackets, such as the $(p-1)$-bracket for D$p$-branes, is recursively covariant under T-duality, descending in worldvolume dimension and field content (Ma, 2023).

4. Manifestation in Generalized and Extended Geometries

In generalized geometry, the T-duality covariant bracket is fundamental to the Courant algebroid structure on $TM \oplus T^*M$, with the Dorfman and Courant brackets controlling the algebra of symmetries—including both diffeomorphism and $B$-field gauge transformations (Cavalcanti et al., 2011). The T-duality map is realized as a Courant algebroid isomorphism, which intertwines the bracket, pairing, and form action, preserving integrability conditions for geometric structures such as generalized complex and almost contact structures (Aldi et al., 2013).

On orientifold backgrounds, the notion extends to conformal Courant algebroids, classified by a flat line bundle $L$ and a 3-cocycle $H \in H^3(M, L)$. The twisted Dorfman bracket in this setting is still covariant under orientifold T-duality, realized by explicit isomorphisms that interchange fiber vectors and one-forms, leaving the symmetric structure intact (Baraglia, 2011).

For D-brane worldvolumes, the Courant bracket is generalized to encode higher-form RR and DBI contributions, leading to a "Dp-brane Courant bracket" with nontrivial Chern-Simons terms and higher-form gauge parameters (Hatsuda et al., 2012). The bracket is constructed so that all duality transformations (including S-duality in D3-brane examples) are manifest on both the NS-NS and RR background data.

5. Physical Significance and Applications

The T-duality covariant bracket governs the gauge algebra in double field theory, ensuring closure and consistency of generalized diffeomorphisms and $B$-field gauge transformations in backgrounds where conventional geometric descriptions may fail. Its applicability extends to Poisson-Lie T-duality, non-geometric flux backgrounds, and the Hamiltonian and Lagrangian formulations of sigma models on targets with group structure, where the bracket is directly linked to the Lie bracket on the Drinfel’d double (Reid-Edwards, 2010).

On D-branes, the covariant $(p-1)$-bracket and its non-Abelian generalization generate the volume-preserving diffeomorphism symmetry in large RR backgrounds and are building blocks for manifestly T-duality covariant worldvolume actions. These provide a uniform structure for scalar and gauge kinetic terms and potential terms in the effective action and guarantee compatibility with string dualities (Ma, 2023).

6. Generalizations and Future Directions

Developments include twisted and twisted symplectic versions (involving $B$-fields, non-commutativity parameters, or more general Poisson structures), as well as applications to orientifold T-duality and conformal Courant algebroids (Baraglia, 2011). Covariant brackets with higher-form indices, as in non-Abelian D-brane worldvolumes, extend the algebraic structure beyond the classical C-bracket, integrating RR degrees of freedom and additional flux sectors (Hatsuda et al., 2012).

A plausible implication is that these algebraic structures provide the foundation for formulating non-geometric string backgrounds and noncommutative/nonassociative geometries, by encoding all allowed symmetry transformations in a manifestly T-duality covariant language. Their systematic study continues to be central to understanding the global aspects of string compactifications and the symmetry structures underlying string dualities.

---

Key references: (0908.1792, Reid-Edwards, 2010, Cavalcanti et al., 2011, Baraglia, 2011, Hatsuda et al., 2012, Aldi et al., 2013, Davidovic et al., 2020, Davidović et al., 2022, Ma, 2023).