Self-Dual Yang–Mills Theory (SDYM)

• SDYM is the chiral sector of Yang–Mills theory defined by the self-duality constraint, leading to classical integrability and exact twistor correspondences.
• It utilizes first-order formulations and BF-type twistor actions to produce holomorphic solutions and reveal infinite-dimensional symmetry algebras.
• SDYM features significant quantum structures including one-loop anomalies and a unique UV behavior, linking its topological sectors to confining Yang–Mills limits.

Searching arXiv for recent SDYM papers to ground the article in current literature. Self-Dual Yang–Mills theory (SDYM) is the four-dimensional chiral sector of Yang–Mills theory obtained by imposing a self-duality constraint on the field strength. In the formulations surveyed here, this condition is written either as $F^-_{\mu\nu}=0$, $F_{\mu\nu}=\widetilde F_{\mu\nu}$, $F_{\alpha\beta}=0$, or $F_{A'B'}=0$, depending on conventions and spinor decomposition (Domurcukgül et al., 2 Dec 2025). SDYM admits first-order Chalmers–Siegel formulations, BF-type twistor actions, exact twistor correspondences, integrable reductions, and higher-spin extensions; it also serves as one endpoint of a two-coupling interpolation to ordinary Yang–Mills within generalized Yang–Mills theory (Domurcukgül et al., 2 Dec 2025). Across these formulations, recurring structural features are classical integrability, infinite symmetry algebras, trivial tree-level scattering in the strict self-dual sector, and quantum one-loop effects tied to anomaly mechanisms (Doran et al., 2023).

1. Defining equations and first-order formulations

The standard Yang–Mills curvature is

$$F_{\mu\nu}=\partial_\mu A_\nu-\partial_\nu A_\mu+[A_\mu,A_\nu],$$

with dual

$$\widetilde F_{\mu\nu}=\frac12\,\epsilon_{\mu\nu\rho\sigma}F_{\rho\sigma}.$$

A common decomposition is

$$F^{\pm}_{\mu\nu}=\frac12(F_{\mu\nu}\pm \widetilde F_{\mu\nu}),$$

so that the SDYM condition is $F^-_{\mu\nu}=0$, equivalently $F_{\mu\nu}=\widetilde F_{\mu\nu}$ (Domurcukgül et al., 2 Dec 2025). In spinor notation the same condition appears as $F_{A'B'}=0$ or $F_{\mu\nu}=\widetilde F_{\mu\nu}$0, depending on which chiral sector is designated self-dual in a given convention (Herfray et al., 2022).

A central first-order presentation introduces an auxiliary anti-self-dual Lagrange multiplier $F_{\mu\nu}=\widetilde F_{\mu\nu}$1 and writes

$F_{\mu\nu}=\widetilde F_{\mu\nu}$2

Varying with respect to $F_{\mu\nu}=\widetilde F_{\mu\nu}$3 imposes $F_{\mu\nu}=\widetilde F_{\mu\nu}$4 (Domurcukgül et al., 2 Dec 2025). Closely related spacetime first-order forms appear as

$F_{\mu\nu}=\widetilde F_{\mu\nu}$5

in Euclidean spinor notation (Tran, 2021), and as a BF-type action

$F_{\mu\nu}=\widetilde F_{\mu\nu}$6

on complexified Minkowski space (Bu et al., 2023).

The first-order structure has two immediate consequences. First, the self-duality equation is stronger than the Yang–Mills equation and implies $F_{\mu\nu}=\widetilde F_{\mu\nu}$7 (Bonezzi et al., 2023). Second, the coefficient multiplying the first-order kinetic term is inessential in the Euclidean SDYM formulation because it can be removed by rescaling the auxiliary field, so there is no running gauge coupling in front of $F_{\mu\nu}=\widetilde F_{\mu\nu}$8 in that formulation (Losev et al., 2017).

2. Integrability, symmetry, and homotopy-algebraic structure

SDYM is repeatedly characterized as integrable. In the gauge-invariant off-shell formulation on four-dimensional flat Euclidean space, the field content is organized into a strict differential graded Lie algebra

$F_{\mu\nu}=\widetilde F_{\mu\nu}$9

with gauge parameters $F_{\alpha\beta}=0$0, gauge fields $F_{\alpha\beta}=0$1, and anti-self-dual equations $F_{\alpha\beta}=0$2; all higher brackets vanish, $F_{\alpha\beta}=0$3 for $F_{\alpha\beta}=0$4 (Bonezzi et al., 2023). The Maurer–Cartan equation reduces to

$F_{\alpha\beta}=0$5

which is precisely the self-duality constraint in homotopy-algebraic form (Bonezzi et al., 2023).

Color stripping yields a kinematic differential graded commutative algebra with product $F_{\alpha\beta}=0$6 and a BV-type operator $F_{\alpha\beta}=0$7. The derived bracket

$F_{\alpha\beta}=0$8

defines a gauge-independent kinematic algebra that is BV$F_{\alpha\beta}=0$9 up to trilinear maps (Bonezzi et al., 2023). In light-cone gauge this reduces to the Schouten–Nijenhuis algebra of polyvectors, and on the scalar-potential realization the bracket becomes the Poisson bracket

$F_{A'B'}=0$0

with momentum-space structure constants

$F_{A'B'}=0$1

This is the Monteiro–O’Connell kinematic algebra of area-preserving diffeomorphisms (Bonezzi et al., 2023).

Infinite-dimensional symmetry algebras also appear in reduced systems. A dimensional reduction from $F_{A'B'}=0$2 signature to a two-dimensional equation

$F_{A'B'}=0$3

admits an infinite Abelian family of nonlocal off-shell symmetries derived from the Chalmers–Siegel action (Mansfield et al., 2010). A separate three-dimensional reduction, SDYM3, possesses recursion operators, a Lax pair, and an infinite set of nonlocal conservation laws, with an isomorphism between the Lie algebras of symmetries of SDYM3 and its potential form PSDYM3 (Papachristou, 2011). These constructions support the standard interpretation of SDYM as a master system for lower-dimensional integrable PDEs.

3. Twistor theory and Ward-type correspondences

Twistor space provides one of the most powerful formulations of SDYM. In projective twistor space, solutions correspond to holomorphic bundles trivial on twistor lines, the classic Ward correspondence. In the full twistor-space formulation used for higher-spin extensions, the relevant space is

$F_{A'B'}=0$4

with coordinates $F_{A'B'}=0$5 (Herfray et al., 2022). The almost complex structure is specified by $F_{A'B'}=0$6 forms

$F_{A'B'}=0$7

with Dolbeault operator

$F_{A'B'}=0$8

This geometry is tailored to the self-dual sector (Herfray et al., 2022).

In the BF-type twistor action for spin-1 SDYM,

$F_{A'B'}=0$9

the fields obey

$$F_{\mu\nu}=\partial_\mu A_\nu-\partial_\nu A_\mu+[A_\mu,A_\nu],$$0

and variation of $$F_{\mu\nu}=\partial_\mu A_\nu-\partial_\nu A_\mu+[A_\mu,A_\nu],$$1 imposes the integrability condition $$F_{\mu\nu}=\partial_\mu A_\nu-\partial_\nu A_\mu+[A_\mu,A_\nu],$$2 (Tran, 2021). This is the twistor avatar of the self-duality equation and the Ward transform.

For higher-spin SDYM, the field content becomes a tower

$$F_{\mu\nu}=\partial_\mu A_\nu-\partial_\nu A_\mu+[A_\mu,A_\nu],$$3

with twistor $$F_{\mu\nu}=\partial_\mu A_\nu-\partial_\nu A_\mu+[A_\mu,A_\nu],$$4-connection

$$F_{\mu\nu}=\partial_\mu A_\nu-\partial_\nu A_\mu+[A_\mu,A_\nu],$$5

The higher-spin Ward theorem establishes a one-to-one correspondence between higher-spin SDYM solutions on $$F_{\mu\nu}=\partial_\mu A_\nu-\partial_\nu A_\mu+[A_\mu,A_\nu],$$6 and holomorphic vector bundles on $$F_{\mu\nu}=\partial_\mu A_\nu-\partial_\nu A_\mu+[A_\mu,A_\nu],$$7 trivial along fibres $$F_{\mu\nu}=\partial_\mu A_\nu-\partial_\nu A_\mu+[A_\mu,A_\nu],$$8 (Herfray et al., 2022). This extends the standard Ward transform from projective twistor space to full twistor space, where the unprojectivized fibre coordinate is essential for encoding the entire higher-spin tower (Herfray et al., 2022).

A distinct twistor development is the Lorentz-invariant twistor-space action for maximally supersymmetric SDYM,

$$F_{\mu\nu}=\partial_\mu A_\nu-\partial_\nu A_\mu+[A_\mu,A_\nu],$$9

which makes color–kinematics duality manifest and double-copies to a known twistor action for maximally supersymmetric self-dual gravity (Borsten et al., 2023).

4. Quantum structure, anomalies, and ultraviolet behavior

Classically, SDYM has trivial tree-level amplitudes beyond special three-point kinematics, but quantum mechanically a characteristic one-loop sector survives. One major interpretation is the “integrability anomaly”: quantum effects generate a non-local one-loop potential that spoils the conservation of the infinite tower of higher-spin currents, and this anomaly generates the one-loop all-plus amplitudes (Doran et al., 2023).

A complementary interpretation views the same phenomenon as a chiral $$\widetilde F_{\mu\nu}=\frac12\,\epsilon_{\mu\nu\rho\sigma}F_{\rho\sigma}.$$0 electric–magnetic-type duality anomaly in the self-dual sector. In light-cone variables the two helicity states transform with opposite $$\widetilde F_{\mu\nu}=\frac12\,\epsilon_{\mu\nu\rho\sigma}F_{\rho\sigma}.$$1 charge, and the anomalous non-conservation of the corresponding current is controlled by the one-loop effective action (Doran et al., 2023). The same paper emphasizes that the relevant non-local effective action resembles the four-dimensional trace anomaly and is governed by the Weyl-covariant fourth-order operator $$\widetilde F_{\mu\nu}=\frac12\,\epsilon_{\mu\nu\rho\sigma}F_{\rho\sigma}.$$2 (Doran et al., 2023).

For SDYM on flat space, the exact quantum-corrected action on a self-dual background is written as

$$\widetilde F_{\mu\nu}=\frac12\,\epsilon_{\mu\nu\rho\sigma}F_{\rho\sigma}.$$3

for certain gauge algebras satisfying a trace-factorization condition (Doran et al., 2023). This non-local functional generates the one-loop all-plus amplitudes.

The ultraviolet structure in Euclidean first-order SDYM is particularly constrained. In the perturbative sector, UV divergences are absorbed by local $$\widetilde F_{\mu\nu}=\frac12\,\epsilon_{\mu\nu\rho\sigma}F_{\rho\sigma}.$$4-type counterterms, and no $$\widetilde F_{\mu\nu}=\frac12\,\epsilon_{\mu\nu\rho\sigma}F_{\rho\sigma}.$$5 counterterm is generated (Losev et al., 2017). All higher loops vanish; the only non-vanishing connected correlators are mixed tree-level correlators with one $$\widetilde F_{\mu\nu}=\frac12\,\epsilon_{\mu\nu\rho\sigma}F_{\rho\sigma}.$$6 and any number of $$\widetilde F_{\mu\nu}=\frac12\,\epsilon_{\mu\nu\rho\sigma}F_{\rho\sigma}.$$7 insertions and one-loop correlators with any number of $$\widetilde F_{\mu\nu}=\frac12\,\epsilon_{\mu\nu\rho\sigma}F_{\rho\sigma}.$$8 insertions (Losev et al., 2017). In topologically nontrivial sectors, the one-loop instanton measure in SDYM is precisely the same as the standard one-loop Yang–Mills instanton measure, with the coefficient

$$\widetilde F_{\mu\nu}=\frac12\,\epsilon_{\mu\nu\rho\sigma}F_{\rho\sigma}.$$9

governing the scale dependence (Losev et al., 2017).

A later generalized Yang–Mills framework recasts SDYM as the $$F^{\pm}_{\mu\nu}=\frac12(F_{\mu\nu}\pm \widetilde F_{\mu\nu}),$$0 endpoint of a two-coupling theory,

$$F^{\pm}_{\mu\nu}=\frac12(F_{\mu\nu}\pm \widetilde F_{\mu\nu}),$$1

where $$F^{\pm}_{\mu\nu}=\frac12(F_{\mu\nu}\pm \widetilde F_{\mu\nu}),$$2 is a kinetic coupling and $$F^{\pm}_{\mu\nu}=\frac12(F_{\mu\nu}\pm \widetilde F_{\mu\nu}),$$3 a topological coupling (Domurcukgül et al., 2 Dec 2025). In this formulation the SDYM limit is scale invariant in the local sector, with one-loop exact trace anomaly

$$F^{\pm}_{\mu\nu}=\frac12(F_{\mu\nu}\pm \widetilde F_{\mu\nu}),$$4

and the theory behaves as a non-unitary logarithmic CFT (Domurcukgül et al., 2 Dec 2025). This suggests viewing confining Yang–Mills as a deformation of the SDYM logarithmic CFT by the kinetic coupling $$F^{\pm}_{\mu\nu}=\frac12(F_{\mu\nu}\pm \widetilde F_{\mu\nu}),$$5 (Domurcukgül et al., 2 Dec 2025).

5. Topological sectors, compactification, and interpolation to Yang–Mills

Within the generalized Yang–Mills theory, instantons and anti-instantons are weighted differently:

$$F^{\pm}_{\mu\nu}=\frac12(F_{\mu\nu}\pm \widetilde F_{\mu\nu}),$$6

At $$F^{\pm}_{\mu\nu}=\frac12(F_{\mu\nu}\pm \widetilde F_{\mu\nu}),$$7, anti-instantons decouple because $$F^{\pm}_{\mu\nu}=\frac12(F_{\mu\nu}\pm \widetilde F_{\mu\nu}),$$8, while instantons retain finite weight $$F^{\pm}_{\mu\nu}=\frac12(F_{\mu\nu}\pm \widetilde F_{\mu\nu}),$$9 (Domurcukgül et al., 2 Dec 2025). This isolates the chiral self-dual sector.

A striking nonperturbative description arises on $F^-_{\mu\nu}=0$0. In the SDYM limit the perturbative holonomy potential vanishes identically for any circumference $F^-_{\mu\nu}=0$1, so the holonomy remains exactly flat to all perturbative orders (Domurcukgül et al., 2 Dec 2025). A generic flat holonomy breaks $F^-_{\mu\nu}=0$2 and yields $F^-_{\mu\nu}=0$3 species of BPS monopole-instantons associated with the affine root system $F^-_{\mu\nu}=0$4 (Domurcukgül et al., 2 Dec 2025). The monopole operators are

$F^-_{\mu\nu}=0$5

and satisfy

$F^-_{\mu\nu}=0$6

The monopole fugacity scales as

$F^-_{\mu\nu}=0$7

(Domurcukgül et al., 2 Dec 2025).

The crucial observation is that the free-field two-point function of the complex field $F^-_{\mu\nu}=0$8 is holomorphic,

$F^-_{\mu\nu}=0$9

so Coulomb interactions between two BPS monopoles cancel exactly, and all many-body interactions vanish (Domurcukgül et al., 2 Dec 2025). The resulting partition function is an exact ideal gas,

$F_{\mu\nu}=\widetilde F_{\mu\nu}$0

Thus the SDYM vacuum contains a finite density of self-dual topological defects while remaining gapless, with local correlators displaying algebraic decay (Domurcukgül et al., 2 Dec 2025).

Turning on $F_{\mu\nu}=\widetilde F_{\mu\nu}$1 reintroduces opposite-chirality topological objects. In QCD(adj) on $F_{\mu\nu}=\widetilde F_{\mu\nu}$2, monopole–anti-monopole composites generate a mass gap with scaling

$F_{\mu\nu}=\widetilde F_{\mu\nu}$3

which vanishes exponentially as $F_{\mu\nu}=\widetilde F_{\mu\nu}$4 (Domurcukgül et al., 2 Dec 2025). This realizes a continuous interpolation from the gapless self-dual regime to confining Yang–Mills (Domurcukgül et al., 2 Dec 2025).

6. Extensions, reductions, celestial and holographic realizations

SDYM has numerous extensions and reductions that preserve parts of its integrable structure.

A higher-spin extension exists both in spacetime and on twistor space. One-derivative higher-spin SDYM admits a BF-type twistor action

$F_{\mu\nu}=\widetilde F_{\mu\nu}$5

with $F_{\mu\nu}=\widetilde F_{\mu\nu}$6 and $F_{\mu\nu}=\widetilde F_{\mu\nu}$7 (Tran, 2021). A deformation by quadratic $F_{\mu\nu}=\widetilde F_{\mu\nu}$8-terms produces a higher-spin analogue of full Yang–Mills (Tran, 2021). This suggests that the SDYM/full-YM relation generalizes beyond spin 1.

Another extension couples SDYM in $F_{\mu\nu}=\widetilde F_{\mu\nu}$9 dimensions to a self-dual vector-spinor field with nilpotent fermionic symmetry. Upon dimensional reduction, this non-supersymmetric four-dimensional system generates supersymmetric Kadomtsev–Petviashvili equations in $F_{A'B'}=0$0 dimensions and supersymmetric Korteweg–de Vries equations in $F_{A'B'}=0$1 (Nishino et al., 2012). The paper further proposes that lower-dimensional supersymmetric integrable models may arise from higher-dimensional self-dual systems with nilpotent fermionic symmetries rather than from supersymmetric parents (Nishino et al., 2012).

Ward-type reductions continue to generate lower-dimensional integrable equations. A recent example derives the unreduced Fokas–Lenells system from the SDYM equation through a separation ansatz in the $F_{A'B'}=0$2- and $F_{A'B'}=0$3-forms of Yang’s equation, thereby adding a concrete example to Ward’s conjecture (Li et al., 2024). In that construction the SDYM equation in $F_{A'B'}=0$4-form is

$F_{A'B'}=0$5

and suitable reductions lead to the Fokas–Lenells hierarchy (Li et al., 2024).

Celestial and AdS/CFT realizations provide additional viewpoints. On the celestial sphere, a particular holomorphic gauge transformation of the twistor action produces a localized two-dimensional chiral current algebra on $F_{A'B'}=0$6 (Bu et al., 2023). The currents

$F_{A'B'}=0$7

realize the infinite-dimensional $F_{A'B'}=0$8-algebra previously obtained from Mellin-transformed amplitudes and Koszul duality (Bu et al., 2023). A marginal deformation supported on this $F_{A'B'}=0$9 reproduces four-dimensional MHV and $F_{\mu\nu}=\widetilde F_{\mu\nu}$00MHV form factors from two-dimensional correlators (Bu et al., 2023). Complementing this, celestial Berends–Giele techniques yield a formula for same-helicity one-loop celestial SDYM amplitudes in which the leading OPE is manifest, with operator product

$F_{\mu\nu}=\widetilde F_{\mu\nu}$01

(Chattopadhyay et al., 2024).

In AdS$F_{\mu\nu}=\widetilde F_{\mu\nu}$02/CFT$F_{\mu\nu}=\widetilde F_{\mu\nu}$03, SDYM appears as a first-order truncation of Yang–Mills with only Dirichlet boundary conditions allowed in the strict self-dual theory (Skvortsov et al., 25 Feb 2026). The self-dual boundary data are the regular helicity components $F_{\mu\nu}=\widetilde F_{\mu\nu}$04 and $F_{\mu\nu}=\widetilde F_{\mu\nu}$05 (Skvortsov et al., 28 May 2026). Three- and four-point AdS/CFT correlators have been computed both for SDYM and for its higher-spin extension, and the leading energy pole reproduces the flat-space self-dual amplitudes while higher-spin dressings factorize cleanly (Skvortsov et al., 28 May 2026). This program is presented as “self-dual holography,” with SDYM and higher-spin self-dual theories furnishing UV-finite, integrable AdS/CFT toy models (Skvortsov et al., 28 May 2026).

These developments collectively present SDYM not as an isolated truncation, but as a structurally rich theory connecting twistor geometry, homotopy algebra, anomaly physics, lower-dimensional integrable systems, celestial operator algebras, and holography (Domurcukgül et al., 2 Dec 2025). A plausible implication is that SDYM is best understood as a universal chiral core of Yang–Mills theory, rather than merely a special classical subsector.