Gauge-Dressed Complex Geometry

• Gauge-dressed complex geometry is a framework that modifies standard complex or Hermitian structures by incorporating gauge fields to produce quasi-complex structures.
• It systematically integrates gauge contributions into the metric and fundamental forms, ensuring compatibility in both heterotic and generalized complex settings.
• This approach underpins advanced topics like heterotic T-duality, refined Buscher rules, and extended Born geometry with applications in sigma models and non-geometric backgrounds.

Searching arXiv for the cited papers to ground the article in the current literature. I’m checking arXiv records for the main papers on gauge-dressed complex geometry and closely related generalized-complex/gauge-dressing constructions. Gauge-dressed complex geometry denotes a class of constructions in which complex, Hermitian, or generalized-complex data are modified by gauge information while preserving a precise compatibility relation. In heterotic string theories, it is introduced as a geometry characterized by the shifted metric

$$\bar g_{\mu\nu}=g_{\mu\nu}+\tfrac12\,\mathrm{Tr}\bigl(A_\mu A_\nu\bigr),$$

the closed $2$-form $\omega$, and a quasi-complex structure

$\bar J=-\,\bar g^{-1}\omega,$

with $\bar J^2<0$ but, generically, $\bar J^2\neq-\mathbf1$ (Sasaki et al., 12 May 2026). In generalized complex geometry, an earlier gauge action is the $B$-field transformation

$J'=e^BJe^{-B},$

for closed $2$-forms $B$, which leads to a local product normal form and a canonical analytic-space structure on the complex locus (Bailey et al., 2014). Taken together, these sources suggest that the phrase names a family of closely related constructions rather than a single universally standardized definition.

1. Heterotic gauge-dressed complex geometry

The heterotic construction begins with a $2$0-dimensional manifold $2$1 equipped with a Riemannian metric $2$2, a non-Abelian gauge field $2$3 taking values in the adjoint of $2$4, and an ordinary complex structure $2$5 compatible with $2$6. The gauge-dressed, or shifted, spacetime metric is defined by

$2$7

so that $2$8 recovers the undeformed metric $2$9 (Sasaki et al., 12 May 2026).

The fundamental $\omega$0-form is kept fixed: $\omega$1 and is closed in the absence of flux, or with torsionful connection if $\omega$2. Compatibility of $\omega$3 with $\omega$4 is imposed by

$\omega$5

In components,

$\omega$6

Because of the extra gauge term in $\omega$7, Appendix A of the heterotic analysis shows that

$\omega$8

but generically $\omega$9. For that reason $\bar J=-\,\bar g^{-1}\omega,$0 is called a quasi-complex structure rather than an ordinary almost complex structure. In a heterotic $\bar J=-\,\bar g^{-1}\omega,$1 sigma model, the $\bar J=-\,\bar g^{-1}\omega,$2 left-chiral complex structures $\bar J=-\,\bar g^{-1}\omega,$3 and $\bar J=-\,\bar g^{-1}\omega,$4 right-chiral structures $\bar J=-\,\bar g^{-1}\omega,$5 are replaced by quasi-complex analogues $\bar J=-\,\bar g^{-1}\omega,$6 and $\bar J=-\,\bar g^{-1}\omega,$7 (Sasaki et al., 12 May 2026).

The conceptual shift is exact: the complex-geometric compatibility condition is not discarded, but rewritten with the gauge-dressed metric. The resulting geometry is therefore neither ordinary Hermitian geometry nor generalized complex geometry in the standard sense; it is a quasi-complex geometry whose basic datum is the pair $\bar J=-\,\bar g^{-1}\omega,$8.

2. $\bar J=-\,\bar g^{-1}\omega,$9-field gauge dressing in generalized complex geometry

A generalized complex structure on a smooth manifold $\bar J^2<0$0 may be viewed as an endomorphism

$\bar J^2<0$1

satisfying $\bar J^2<0$2, orthogonality for the natural pairing, and involutivity under the Courant bracket. If $\bar J^2<0$3 is a closed two-form, it acts on sections $\bar J^2<0$4 by

$\bar J^2<0$5

and the transformed generalized complex structure is

$\bar J^2<0$6

(Bailey et al., 2014).

At a point $\bar J^2<0$7 where the underlying real Poisson tensor $\bar J^2<0$8 has real corank $\bar J^2<0$9, the local normal form theorem states that in some neighborhood of $\bar J^2\neq-\mathbf1$0 there exists a closed $\bar J^2\neq-\mathbf1$1-form $\bar J^2\neq-\mathbf1$2 and a holomorphic Poisson structure $\bar J^2\neq-\mathbf1$3 on an open set $\bar J^2\neq-\mathbf1$4 such that, after applying the gauge $\bar J^2\neq-\mathbf1$5, $\bar J^2\neq-\mathbf1$6 becomes the direct product of a holomorphic-Poisson generalized complex structure

$\bar J^2\neq-\mathbf1$7

and the standard symplectic generalized complex structure

$\bar J^2\neq-\mathbf1$8

Equivalently,

$\bar J^2\neq-\mathbf1$9

up to gauge (Bailey et al., 2014).

The decisive local statement is uniqueness of the holomorphic Poisson factor. If two germs $B$0 yield the same $B$1 by gauge equivalence, then there is a closed $B$2 with

$B$3

Defining

$B$4

one obtains a smooth one-parameter family of generalized complex structures. The parametrized local normal form produces holomorphic Poisson data $B$5, and the infinitesimal variation is generated by a time-dependent real vector field $B$6 that is Hamiltonian for the fixed real Poisson tensor $B$7: $B$8 Integrating $B$9 from $J'=e^BJe^{-B},$0 to $J'=e^BJe^{-B},$1 produces a diffeomorphism $J'=e^BJe^{-B},$2 such that

$J'=e^BJe^{-B},$3

Hence $J'=e^BJe^{-B},$4 and $J'=e^BJe^{-B},$5 are holomorphically equivalent (Bailey et al., 2014).

This uniqueness leads directly to the complex locus. Points of complex type are exactly those where the real Poisson tensor vanishes: $J'=e^BJe^{-B},$6 Near such a point, after passing to the holomorphic-Poisson model, $J'=e^BJe^{-B},$7 is the analytic zero-locus of $J'=e^BJe^{-B},$8, with structure sheaf

$J'=e^BJe^{-B},$9

On overlaps, Hamiltonian diffeomorphisms induce the identity on the corresponding quotient sheaves, so the local analytic structures glue. The result is a reduced complex analytic space canonically attached to $2$0. Together, these results give a complete local analytic classification of generalized complex structures and exhibit the complex locus as a well-defined complex analytic space (Bailey et al., 2014).

3. Generalized complex-like structures and heterotic T-duality

Gauge dressing in the heterotic setting is embedded into the generalized tangent bundle $2$1 through the gauge-dressed chiral structure

$2$2

with projectors $2$3. The generalized quasi-complex structure is

$2$4

and its chiral halves are

$2$5

After a $2$6-twist,

$2$7

which packages the gauge-dressed $2$8 data into a generalized complex-like geometry that transforms covariantly under $2$9 (Sasaki et al., 12 May 2026).

The heterotic Buscher-like rules are derived by combining the $B$0 reduction with factorized T-duality. The heterotic generalized metric $B$1 is rewritten as an $B$2 pair $B$3 with

$B$4

where $B$5 encodes $B$6. Factorized T-duality along an isometry direction $B$7 is generated by

$B$8

and acts by

$B$9

Solving for the transformed fields reproduces the standard heterotic Buscher rule with $2$00: $2$01 and

$2$02

Acting with $2$03 on $2$04 yields Buscher-like transformations of the fundamental forms $2$05 and the ordinary complex structures $2$06. For example,

$2$07

These formulae coincide with sigma-model results (Hassan ’94) (Sasaki et al., 12 May 2026).

The formal consequence is that T-duality acts not only on the metric, $2$08-field, dilaton, and gauge field, but also on the dressed complex-geometric data. Gauge dressing is therefore built into the duality-covariant formulation rather than appended to it.

4. Extended Born geometry and hypercomplex algebra

In the doubled or DFT picture, one introduces the Born triple $2$09 on $2$10, where $2$11 is the $2$12-metric and

$2$13

Defining

$2$14

one obtains the split-quaternion algebra

$2$15

(Sasaki et al., 12 May 2026).

For the gauge-dressed case, the quasi-complex structure is converted into a genuine almost-complex structure by polar decomposition: $2$16 The compatible metric is then

$2$17

Using $2$18 in place of $2$19, one builds the doubled-space Born triple $2$20. Similarly, each gauge-dressed complex structure $2$21 or $2$22, together with its $2$23, embeds into generalized almost complex structures

$2$24

Each triple $2$25 forms a bi-complex algebra $2$26; in special cases such as $2$27, they satisfy split-bi-quaternion relations analogous to hyperkähler algebras, but twisted by the gauge shift (Sasaki et al., 12 May 2026).

The heterotic analysis assigns several structural roles to these constructions. The gauge shift $2$28 automatically captures the leading $2$29-corrections in heterotic backgrounds and is essential for a manifestly $2$30-covariant formulation. Quasi-complex structures $2$31 maintain the compatibility condition $2$32 even though $2$33. From them, one recovers honest almost complex structures $2$34 by polar decomposition. The resulting gauge-dressed geometry supplies the correct building blocks for heterotic T-duality, yielding Buscher rules for both gravitational and complex-geometric objects. Applications include the analysis of non-geometric heterotic backgrounds, integrable deformation of heterotic sigma-models, and the interplay between local-Lorentz and gauge sectors in anomaly cancellation via further shifts by the spin connection (Sasaki et al., 12 May 2026).

5. Sigma-model and generalized-geometric realizations

In two-dimensional sigma models, minimal coupling of an ordinary rigid symmetry Lie algebra $2$35 leads naturally to the appearance of the generalized tangent bundle

$2$36

by means of composite fields. Starting from a gauge connection

$2$37

one forms

$2$38

Gauge transformations of these composite fields follow the $2$39-twisted Courant bracket and close upon the choice of a Dirac structure $2$40, or more generally a small Dirac-Rinehart sheaf $2$41. In these variables, the gauge theory becomes a Dirac sigma model, and a gauging of a standard sigma model with Wess-Zumino term exists iff there is a prolongation of the rigid symmetry to a Lie algebroid morphism from the action Lie algebroid $2$42 into $2$43 (Kotov et al., 2014).

Abelian $2$44 gauged linear sigma-models furnish another realization. They produce both familiar toric-Kähler targets and “gauge-dressed” generalizations with nonzero $2$45-flux. Dualizing a shift-charged chiral field $2$46 with action

$2$47

to a twisted chiral field $2$48 gives

$2$49

with the coupling $2$50. In squashed projective-space models, this produces the “trumpet” geometry with $2$51. A further twisted superpotential coupling

$2$52

breaks the $2$53 isometry $2$54, obstructs any $2$55-dual, and yields a Higgs branch that is compact yet non-Kähler with torsion $2$56. On the Coulomb branch, the resulting master equation is an entire function with infinitely many zeros, so the quantum vacuum structure consists of infinitely many isolated susy vacua (Caldeira et al., 2018).

A recent target-space realization appears in gauged quiver quantum mechanics. For a quiver with $2$57 nodes, the unconstrained fields $2$58 live on a $2$59-dimensional manifold $2$60 endowed with a metric $2$61, a closed $2$62-form $2$63, and three integrable complex structures $2$64 obeying

$2$65

Together these define an HKT structure. Gauging an abelian group $2$66 by triholomorphic isometries and passing to the quotient $2$67 yields an ungauged $2$68 sigma model whose target is a Kähler cone. In complex-adapted radial-angular coordinates, the metric decomposes into radial, angular, and mixed couplings governed by

$2$69

For a two-node quiver, all angular couplings trivialize to the round $2$70 metric and one obtains the cone metric

$2$71

The gauged $2$72 superconformal index localizes on

$2$73

and the gauge fields $2$74 push the fixed points away from the tip of the cone to finite nonzero radii, so the index is finite and well-defined without further geometric resolution (Şanlı, 9 Sep 2025).

These realizations show that gauge dressing may act on several layers at once: the generalized tangent bundle, the torsional target-space geometry of a sigma model, or the complex-adapted coordinates of a gauged supersymmetric mechanical system.

6. Conceptual scope and non-equivalent uses

Gauge-theoretic geometry provides a broader framework in which complex dressing can be interpreted. One proposal treats gauge geometry as the geometry of internal spaces: the Standard Model gauge group is realized as the automorphism group of the internal geometric structure

$2$75

endowed with an orientation and canonical inner product. In that setting,

$2$76

and an Ehresmann connection

$2$77

determines parallelism for the internal geometry. The curvature

$2$78

measures the holonomy of the internal $2$79-fiber around an infinitesimal parallelogram, and the Yang-Mills and matter actions describe how the dynamical gauge field $2$80 “dresses” the internal geometry $2$81 by making its parallelism curved (Gomes, 2024).

A different usage appears in complex holomorphic systems. There, complexifying a real-valued Lagrangian and requiring the complexified Lagrangian to depend only holomorphically on $2$82 yields a hidden local symmetry whose generators are Cauchy-Riemann combinations of momenta. Fixing different gauges in the enlarged complex phase space produces inequivalent real dynamical systems related by gauge transformations in the complex variables. Some of these transformations are canonical, while others change the symplectic structure; the construction therefore extends the group of canonical transformations. At the quantum level, the BFV analysis and the canonical formalism show that solutions of the Schrödinger equation are gauge related (Margalli et al., 2017).

A recurring misconception is to identify all of these constructions with a single mechanism. The sources instead separate at least three distinct operations: closed-$2$83-form gauge transformations in generalized complex geometry, non-Abelian gauge shifts of Hermitian data in heterotic target-space geometry, and gauge-theoretic dressing of internal or complexified phase-space structures. This suggests that “gauge-dressed complex geometry” is best read as a clustered research vocabulary whose members share the idea of modifying complex-geometric data by gauge structure, but differ in the underlying bundles, brackets, and equivalence relations.