Papers
Topics
Authors
Recent
Search
2000 character limit reached

Heterotic Buscher-like Rule Overview

Updated 4 July 2026
  • The heterotic Buscher-like rule is a formulation in heterotic string theory that extends standard T-duality by incorporating gauge fields, torsionful spin connections, and first-order α'-corrections.
  • It unifies multiple perspectives—including effective field theory, doubled worldsheet actions, and brane charge representations—into a coherent duality framework.
  • This approach enables precise determination of α'-corrected transformation laws and higher-derivative actions, influencing applications such as black-hole thermodynamics and solution generation.

In the literature, “heterotic Buscher-like rule” denotes several closely related constructions rather than a single formula. At the level of low-energy fields, it refers to the heterotic extension of Buscher T-duality in the presence of gauge fields, torsionful spin connections, and first-order α\alpha'-corrections. At the level of generalized geometry and the worldsheet, it refers to O(D,D+n)O(D,D+n) or O(D,D+16)O(D,D+16) actions on generalized metrics, Narain moduli, and gauge-dressed geometric data. At the level of branes and charges, it denotes a T-duality algorithm governed by wrapping rules, a light-cone rule, and a central charge rule. These formulations are compatible in their common emphasis on heterotic T-duality, but they operate on different objects: supergravity fields, doubled variables, complex-geometric structures, or half-BPS brane charges (Bedoya et al., 2014, Bergshoeff et al., 2012, Nibbelink, 2020, Sasaki et al., 12 May 2026).

1. Field-theoretic definition in heterotic supergravity

The field-theoretic notion arises because the heterotic low-energy effective action contains more than the metric gμνg_{\mu\nu}, Kalb–Ramond field BμνB_{\mu\nu}, and dilaton ϕ\phi. It also contains Yang–Mills gauge fields AμαA_\mu{}^\alpha, and, at first order in α\alpha', curvature-squared terms built from a torsionful spin connection. In the DFT formulation that incorporates these ingredients, the modified 3-form is

H=dBα4(ω3YMω3L()),H = dB - \frac{\alpha'}{4}\big(\omega_{3\,\text{YM}} - \omega_{3\,\text{L}^{(-)}}\big),

and the torsionful spin connection is treated as an additional degree of freedom in the generalized frame, to be identified on-shell with ωμ()\omega_\mu^{(-)} (Bedoya et al., 2014).

In this setting, a heterotic Buscher-like rule is a T-duality transformation that acts on the full bosonic field content while preserving the O(D,D+n)O(D,D+n)0 structure of the reduced theory. The relevant DFT construction enlarges the generalized tangent space and duality group so that both the Yang–Mills connection and a Lorentz connection are present in a single generalized frame. The duality transformation is then implemented as an O(D,D+n)O(D,D+n)1 rotation of the generalized metric and generalized dilaton, after which the dual fields O(D,D+n)O(D,D+n)2 are read off (Bedoya et al., 2014).

A closely related formulation follows from direct circle reduction of the heterotic effective action to first order in O(D,D+n)O(D,D+n)3. There, T-duality is most transparent in a reduced basis involving a Kaluza–Klein vector, a corrected winding vector, and a corrected radius variable O(D,D+n)O(D,D+n)4. In that basis the reduced action is invariant under an O(D,D+n)O(D,D+n)5 symmetry, and the discrete O(D,D+n)O(D,D+n)6 yields the heterotic Buscher-like rule. Lifted back to ten dimensions, this reproduces the O(D,D+n)O(D,D+n)7-corrected heterotic Buscher rules first found in hep-th/9506156 and proves the T-duality invariance of the dimensionally reduced action to that order (Elgood et al., 2020).

2. First-order O(D,D+n)O(D,D+n)8-corrected Buscher transformations

The most explicit field-level formulas are the first-order O(D,D+n)O(D,D+n)9-corrected transformations derived in DFT. For T-duality along a direction O(D,D+16)O(D,D+16)0, and with

O(D,D+16)O(D,D+16)1

the corrected metric and dilaton include

O(D,D+16)O(D,D+16)2

O(D,D+16)O(D,D+16)3

O(D,D+16)O(D,D+16)4

The gauge and Lorentz connections transform at leading order as

O(D,D+16)O(D,D+16)5

with analogous formulas for O(D,D+16)O(D,D+16)6. An important simplification is that, because gauge and Lorentz fields always appear multiplied by an explicit O(D,D+16)O(D,D+16)7 in the action, O(D,D+16)O(D,D+16)8 corrections to their own transformation laws affect only O(D,D+16)O(D,D+16)9 and higher in the action (Bedoya et al., 2014).

The reduction-based derivation uses different variables but reaches the same structure. The ten-dimensional Buscher rules are written with corrected quantities such as gμνg_{\mu\nu}0 and gμνg_{\mu\nu}1, and the duality acts by

gμνg_{\mu\nu}2

together with the corresponding transformations of gμνg_{\mu\nu}3, gμνg_{\mu\nu}4, gμνg_{\mu\nu}5, and gμνg_{\mu\nu}6. In that scheme, the Green–Schwarz structure enters through the corrected gμνg_{\mu\nu}7-field and the torsionful spin connection, and the reduced action remains invariant up to gμνg_{\mu\nu}8 (Elgood et al., 2020).

3. Doubled worldsheet, Narain moduli, and gμνg_{\mu\nu}9

From the worldsheet perspective, Buscher-like heterotic T-duality is most naturally expressed in doubled variables. Starting from Buscher’s gauging of BμνB_{\mu\nu}0 compact bosons, a non-Lorentz-invariant gauge fixing leads to Tseytlin’s duality-covariant doubled worldsheet action

BμνB_{\mu\nu}1

with doubled coordinate BμνB_{\mu\nu}2, generalized metric BμνB_{\mu\nu}3, and invariant metric BμνB_{\mu\nu}4. In the heterotic theory the same construction extends to BμνB_{\mu\nu}5: the generalized metric encodes the torus metric BμνB_{\mu\nu}6, Kalb–Ramond field BμνB_{\mu\nu}7, and Wilson lines BμνB_{\mu\nu}8, and the Buscher-like rule becomes

BμνB_{\mu\nu}9

In orbifold and T-fold settings, the orbifold action is embedded precisely as such an ϕ\phi0 element (Nibbelink, 2020).

This formulation makes explicit that the heterotic Buscher-like rule is not merely a componentwise map for ϕ\phi1 and ϕ\phi2. It is a lattice-compatible action on the full Narain data ϕ\phi3. The heterotic generalized metric is valued in ϕ\phi4, and the partition function is the standard Narain partition function once the boundary phases are taken into account. In that framework, the residual gauge symmetry removes the doubled constant zero modes so that ϕ\phi5 physical target-space coordinates remain; this is described as a worldsheet realization of the strong constraint of double field theory (Nibbelink, 2020).

The same doubled viewpoint reappears in DFT treatments of solution generation. In ungauged half-maximal supergravities obtained by Kaluza–Klein reduction of DFT, the Buscher rule and continuous ϕ\phi6 rotations act linearly on generalized Kerr–Schild data, even though the induced transformations on the metric, Kalb–Ramond field, dilaton, and Kaluza–Klein gauge fields are nonlinear. Applying the Buscher rule to the Kerr black hole yields a solution with a nontrivial Kalb–Ramond field and dilaton, and an ϕ\phi7 rotation generates Sen’s heterotic black hole (Angus et al., 2021).

4. Branes, charges, and the ϕ\phi8 Buscher analogue

At the level of half-BPS branes, the heterotic Buscher-like rule is a representation-theoretic algorithm rather than a set of metric formulas. For the heterotic string compactified on ϕ\phi9, the brane-coupling potentials transform in representations of

AμαA_\mu{}^\alpha0

and three ingredients govern the T-duality action: wrapping rules, a light-cone rule, and a central charge rule. For the branes with ten-dimensional ancestors, the wrapping rules are

AμαA_\mu{}^\alpha1

AμαA_\mu{}^\alpha2

Here “F” denotes the fundamental string sector AμαA_\mu{}^\alpha3, and “S” denotes the solitonic sector AμαA_\mu{}^\alpha4 (Bergshoeff et al., 2012).

The light-cone rule specifies which components in an AμαA_\mu{}^\alpha5 representation correspond to genuine half-BPS branes. Duality indices are split into AμαA_\mu{}^\alpha6 lightlike directions AμαA_\mu{}^\alpha7 and AμαA_\mu{}^\alpha8 spacelike directions; for antisymmetric tensors, only components with indices purely in AμαA_\mu{}^\alpha9, all distinct, correspond to half-BPS branes. For mixed-symmetry fields α\alpha'0, each α\alpha'1-index must be parallel to some α\alpha'2-index. T-duality then acts by the standard α\alpha'3 matrix on the charge tensor, and the Buscher-like prescription is: act on the T-duality indices and retain only the transformed components that still obey the light-cone rule (Bergshoeff et al., 2012).

The central charge rule identifies the R-symmetry representation of the supersymmetry central charge directly from the lightlike T-duality indices. This organizes heterotic branes into central-charge multiplets and yields a characteristic degeneracy pattern: except for a few special cases, the degeneracy of heterotic BPS conditions is twice that of the corresponding type-II branes. The same brane-level rules are consistent with heterotic/type-II duality; for heterotic on α\alpha'4 and IIA on the orbifold limit α\alpha'5, the counts

α\alpha'6

match on both sides once the effective number of 2-cycles is taken to be α\alpha'7 (Bergshoeff et al., 2012).

5. Gauge-dressed complex geometry

A more recent geometric formulation replaces the original metric by a gauge-shifted metric

α\alpha'8

where α\alpha'9 is a non-Abelian heterotic gauge field and H=dBα4(ω3YMω3L()),H = dB - \frac{\alpha'}{4}\big(\omega_{3\,\text{YM}} - \omega_{3\,\text{L}^{(-)}}\big),0 is the Cartan–Killing form. The associated closed 2-form H=dBα4(ω3YMω3L()),H = dB - \frac{\alpha'}{4}\big(\omega_{3\,\text{YM}} - \omega_{3\,\text{L}^{(-)}}\big),1 is not shifted, and this leads to a quasi complex structure

H=dBα4(ω3YMω3L()),H = dB - \frac{\alpha'}{4}\big(\omega_{3\,\text{YM}} - \omega_{3\,\text{L}^{(-)}}\big),2

Appendix A of the construction shows that H=dBα4(ω3YMω3L()),H = dB - \frac{\alpha'}{4}\big(\omega_{3\,\text{YM}} - \omega_{3\,\text{L}^{(-)}}\big),3, but in general H=dBα4(ω3YMω3L()),H = dB - \frac{\alpha'}{4}\big(\omega_{3\,\text{YM}} - \omega_{3\,\text{L}^{(-)}}\big),4 whenever H=dBα4(ω3YMω3L()),H = dB - \frac{\alpha'}{4}\big(\omega_{3\,\text{YM}} - \omega_{3\,\text{L}^{(-)}}\big),5. The geometry is therefore “gauge-dressed” rather than ordinary Hermitian geometry (Sasaki et al., 12 May 2026).

In this framework, the standard heterotic Buscher rule takes the type-II form with the replacement H=dBα4(ω3YMω3L()),H = dB - \frac{\alpha'}{4}\big(\omega_{3\,\text{YM}} - \omega_{3\,\text{L}^{(-)}}\big),6. For T-duality along an isometry direction H=dBα4(ω3YMω3L()),H = dB - \frac{\alpha'}{4}\big(\omega_{3\,\text{YM}} - \omega_{3\,\text{L}^{(-)}}\big),7,

H=dBα4(ω3YMω3L()),H = dB - \frac{\alpha'}{4}\big(\omega_{3\,\text{YM}} - \omega_{3\,\text{L}^{(-)}}\big),8

H=dBα4(ω3YMω3L()),H = dB - \frac{\alpha'}{4}\big(\omega_{3\,\text{YM}} - \omega_{3\,\text{L}^{(-)}}\big),9

and the gauge fields transform as

ωμ()\omega_\mu^{(-)}0

These are described as the standard heterotic Buscher rules including gauge-field corrections at order ωμ()\omega_\mu^{(-)}1 (Sasaki et al., 12 May 2026).

The Buscher-like extension proper concerns the complex-geometric data ωμ()\omega_\mu^{(-)}2. Using gauge-dressed half generalized complex-like structures, one derives

ωμ()\omega_\mu^{(-)}3

with analogous formulas for ωμ()\omega_\mu^{(-)}4, and then the transformed ωμ()\omega_\mu^{(-)}5 follow from ωμ()\omega_\mu^{(-)}6. In this sense, the heterotic Buscher-like rule extends T-duality from ωμ()\omega_\mu^{(-)}7 to the ωμ()\omega_\mu^{(-)}8-Hermitian data themselves (Sasaki et al., 12 May 2026).

6. Higher derivatives, applications, and limits of exact symmetry

Higher-derivative applications often use truncated heterotic Buscher-like rules after circle reduction. In the analysis of four-derivative Yang–Mills couplings, the reduced fields are ωμ()\omega_\mu^{(-)}9, and the leading truncated Buscher rules are

O(D,D+n)O(D,D+n)00

O(D,D+n)O(D,D+n)01

Imposing invariance of the reduced four-derivative action under the O(D,D+n)O(D,D+n)02-corrected version of this truncated duality fixes the heterotic bosonic couplings. In the minimal basis, all 24 four-derivative couplings are determined in terms of the coefficient of the Lorentz Chern–Simons coupling O(D,D+n)O(D,D+n)03, and the pure NS–NS sector reproduces the Metsaev–Tseytlin action. In the maximal basis, the truncated duality fixes the action up to 17 arbitrary parameters, and a specific choice reproduces the Meissner action while the Yang–Mills couplings precisely coincide with the S-matrix method (Garousi, 2024).

The first-order O(D,D+n)O(D,D+n)04-corrected Buscher rules also have direct applications to black-hole thermodynamics. Circle reduction of the heterotic effective action yields a nine-dimensional action invariant under corrected T-duality, and the corresponding Iyer–Wald entropy formula is T-duality invariant to O(D,D+n)O(D,D+n)05. This formulation has been applied to O(D,D+n)O(D,D+n)06-corrected non-extremal Reissner–Nordström solutions and to a heterotic version of the Strominger–Vafa five-dimensional extremal black hole (Elgood et al., 2020).

A different application concerns exact solution generation in DFT and half-maximal supergravity. There the Buscher rule and continuous O(D,D+n)O(D,D+n)07 rotations act on generalized Kerr–Schild data. Applying the Buscher rule to the Kerr black hole produces a string-frame background with nontrivial O(D,D+n)O(D,D+n)08 and dilaton, an O(D,D+n)O(D,D+n)09 double boost generates Sen’s heterotic black hole, and the chiral null model is self-dual under T-duality rotations (Angus et al., 2021).

The principal limitation appears beyond tree level. For oriented closed strings, the genus-O(D,D+n)O(D,D+n)10 effective action carries the dilaton factor

O(D,D+n)O(D,D+n)11

Under the classical Buscher rules, this measure is invariant at tree level but, for O(D,D+n)O(D,D+n)12, only when the Killing circle is self-dual, O(D,D+n)O(D,D+n)13. This motivates restricted higher-genus Buscher rules with O(D,D+n)O(D,D+n)14 and fixed radius. However, imposing invariance of the higher-genus effective action under such restricted rules either forces trivial one-loop O(D,D+n)O(D,D+n)15 couplings or produces the wrong O(D,D+n)O(D,D+n)16 structure. The conclusion is that global Buscher symmetry is valid for the classical theory, but not as an exact all-genus symmetry of the full quantum effective action (Garousi, 2024).

Topic to Video (Beta)

No one has generated a video about this topic yet.

Whiteboard

No one has generated a whiteboard explanation for this topic yet.

Follow Topic

Get notified by email when new papers are published related to Heterotic Buscher-like Rule.