---
title: C-Bracket Relations in Double Field Theory
url: https://www.emergentmind.com/topics/c-bracket-relations
type: topic
---

# C-Bracket Relations in Double Field Theory

C-bracket relations play a foundational role in the formalism of double field theory (DFT), generalized geometry, and the gauge structure of the bosonic string. The C-bracket provides a framework in which T-duality invariance and the unification of diffeomorphism and B-field gauge symmetries are manifest. Its algebraic structure generalizes the Lie bracket to the doubled geometry of DFT, interpolating between the Courant bracket on $T \oplus T^*$ and its T-dual analogues. The properties, deformations, and applications of the C-bracket are central to the study of non-geometric fluxes, flux compactifications, and generalized algebroid structures.

## 1. Mathematical Definition and Construction

The C-bracket is defined on a doubled configuration space where coordinates $x^\mu$ and their T-dual $\tilde{x}_\mu$ are combined into a double coordinate $X^M = (x^\mu, \tilde{x}_\mu)$, $M=1,\ldots,2D$, endowed with the $O(D,D)$ metric
$$
\eta_{MN} = \begin{pmatrix} 0 & \delta^\mu_\nu \\ \delta^\nu_\mu & 0 \end{pmatrix} .
$$
A generalized vector is an $O(D,D)$ vector $\Lambda^M = (\xi^\mu, \lambda_\mu)$, collecting vector and one-form components that are functions of the doubled coordinates.

The C-bracket of two such generalized vectors is
$$
[\Lambda_1, \Lambda_2]_C^M = \Lambda_1^N \partial_N \Lambda_2^M - \Lambda_2^N \partial_N \Lambda_1^M - \frac{1}{2} \eta^{MN} \eta_{PQ} ( \Lambda_1^P \partial_N \Lambda_2^Q - \Lambda_2^P \partial_N \Lambda_1^Q ) .
$$
In block form,
$$
[(\xi_1, \lambda_1), (\xi_2, \lambda_2)]_C = 
\left(
\ [\xi_1, \xi_2],
\ \mathcal{L}_{\xi_1}\lambda_2 - \mathcal{L}_{\xi_2}\lambda_1 - \frac{1}{2} d(\iota_{\xi_1} \lambda_2 - \iota_{\xi_2} \lambda_1)
\ \right) .
$$
This bracket is antisymmetric and $O(D,D)$ covariant, serving as a T-duality invariant extension of the Lie bracket [2010.10662][2411.16329].

## 2. Derivation from Poisson Algebra and Physical Motivation

The C-bracket emerges naturally as the Poisson bracket algebra of symmetry generators in DFT. The doubled-worldsheet symmetry generator,
$$
G[\Lambda] = \int d\sigma\, (\xi^\mu \pi_\mu + \lambda_\mu x'{}^\mu),
$$
generates both coordinate transformations and B-field gauge transformations. Its Poisson bracket gives
$$
\{G[\Lambda_1], G[\Lambda_2]\} = -G([\Lambda_1,\Lambda_2]_C),
$$
so the closure of the generator algebra is realized by the C-bracket [2010.10662][2411.16329].

When the Kalb-Ramond field $B$ or its T-dual bivector $\theta$ is present, this structure is modified, leading to the $B$-twisted and $\theta$-twisted C-brackets, encoding $H$, $Q$, and $R$ fluxes [2202.03227][2312.11268].

## 3. Algebraic Properties and Axioms

The C-bracket possesses the following key algebraic features:

- **Antisymmetry:** $[\Lambda_1, \Lambda_2]_C = -[\Lambda_2, \Lambda_1]_C$.
- **Leibniz Property:** $[\Lambda_1, f\Lambda_2]_C = f[\Lambda_1,\Lambda_2]_C + (\rho(\Lambda_1)f)\Lambda_2$, where $\rho$ is the anchor $\rho(\xi, \lambda) = \xi$.
- **Anchor Homomorphism:** $\rho([\Lambda_1,\Lambda_2]_C) = [\rho(\Lambda_1), \rho(\Lambda_2)]$ (the commutator of vector fields).
- **Jacobiator:** The failure of the Jacobi identity is controlled and exact:
$$
\sum_{\text{cycl}} [[\Lambda_1, \Lambda_2]_C, \Lambda_3]_C = d \left( \frac{1}{2} \eta([\Lambda_1, \Lambda_2]_C, \Lambda_3) \right),
$$
which vanishes for physical fields when the strong constraint is imposed [2010.10662][2411.16329][1607.00807].

These axioms place the C-bracket in the class of Courant (or quasi-Lie) algebroids, making it the doubled analogue of the standard Courant bracket [1607.00807].

## 4. Relation to Courant and Dorfman Brackets

Under the strong constraint ($\partial_{\tilde x}=0$), the C-bracket reduces to the conventional untwisted Courant bracket on $T \oplus T^*$:
$$
[(\xi_1, \lambda_1), (\xi_2, \lambda_2)]_{\rm Courant} =
\left(
\ [\xi_1,\xi_2],
\ \mathcal{L}_{\xi_1}\lambda_2 - \mathcal{L}_{\xi_2}\lambda_1 - \frac{1}{2} d(\iota_{\xi_1}\lambda_2 - \iota_{\xi_2} \lambda_1)
\ \right) .
$$
The Dorfman bracket is the non-antisymmetric product associated with the generalized Lie derivative:
$$
(\Sigma_1 \circ \Sigma_2)^M = (\Sigma_1, \partial)\Sigma_2^M - D(\Sigma_1, \Sigma_2).
$$
This structure underlies generalized geometry and is compatible with the pairing and anchor properties of a Courant algebroid [2010.10662][1607.00807][2411.16329].

The $B$-twisted and $\theta$-twisted C-brackets, obtained by $O(D,D)$ transformations, correspond to the $H$-twisted Courant bracket and the Roytenberg bracket, respectively [1903.04832][2202.03227].

## 5. Twisting, Fluxes, and T-duality

By $B$- and $\theta$-twisting, the C-bracket accommodates the fluxes that characterize string backgrounds:
- **$B$-twist (H-flux):** The $B$-twisted C-bracket includes a term proportional to $H = dB$.
- **$\theta$-twist (Q- and R-flux):** The $\theta$-twisted C-bracket includes terms with $Q_{\rho}{}^{\mu\nu} = \partial_\rho \theta^{\mu\nu}$ and $R^{\mu\nu\rho} = [\theta, \theta]_{\rm SN}^{\mu\nu\rho}$, where the latter is the Schouten-Nijenhuis bracket [2202.03227][2312.11268][1903.04832].

Simultaneous twisting by both $B$ and $\theta$ yields generalized "fluxes" ($f$-flux, $Q$-flux, $R$-flux, $H$-flux) that appear as structure functions in the twisted Lie, Koszul, and Schouten-Nijenhuis brackets [2312.11268]. These structures are exchanged under T-duality, realizing the known web of geometric and non-geometric backgrounds [1903.04832][2202.03227].

## 6. Generalized Geometry and Courant Algebroid Structure

The C-bracket equips the space $E = TM \oplus T^*M$ (and its doubled counterpart) with:
- A symmetric $O(D,D)$-invariant pairing.
- An anchor map onto the tangent bundle.
- An (almost) Lie algebra structure up to exact and flux terms.

In the context of generalized geometry, this underpins the definition of generalized complex and Kähler structures, and ensures that generalized diffeomorphisms and gauge transformations close appropriately [1607.00807][2411.16329].

Crucially, the bracket-preserving property of the anchor is automatic under the Jacobi identity and Leibniz rule, rendering certain axiom redundancies in Courant algebroids [1607.00807]. The full Courant structure is fundamental for consistent string backgrounds admitting both geometric and non-geometric fluxes [2312.11268].

## 7. Physical and Mathematical Significance

The C-bracket is indispensable in the following contexts:
- **Double Field Theory:** Provides the commutator of gauge transformations, manifest $O(D,D)$ covariance, and T-duality invariance [2010.10662][2411.16329].
- **String Theory:** Governs the combined algebra of diffeomorphisms and B-field gauge symmetries for closed strings on doubled and non-geometric backgrounds [2202.03227][1903.04832].
- **Generalized Fluxes:** Encodes the interplay of $H$, $f$, $Q$, and $R$ fluxes, facilitating the exploration of the full moduli space of string compactifications, including non-geometric phases [2312.11268].
- **Mathematical Physics:** Frames the theory within Courant algebroids and their twisted generalizations, revealing deep connections between physics-motivated nonassociativity, algebroid cohomology, and dualities in modern geometry [1607.00807].

The algebraic and geometric understanding of the C-bracket and its twisted variants remains central to ongoing developments in string theory, flux compactifications, and the theory of higher algebroids. The C-bracket is the unique bilinear operation that unifies generalized symmetries and fluxes in a T-duality covariant, $O(D,D)$-invariant, and geometrically natural manner [2010.10662][2411.16329][2202.03227][2312.11268][1903.04832][1607.00807].

Source: https://www.emergentmind.com/topics/c-bracket-relations