On Duality Invariant Yang-Mills Theory

Abstract: We provide an explicit construction of a manifestly duality invariant, interacting deformation of Maxwell theory in four dimensions in terms of mutually local, but interacting 1- and 3-forms. Interestingly, our theory is formulated directly as a BRST quantized gauge theory, while the underlying gauge invariant Lagrangian before gauge fixing is obscured. Furthermore, the underlying gauge invariance is based on an associative, rather than a Lie symmetry.

• The paper presents a novel manifestly duality invariant formulation for Yang-Mills theory via multiform and Clifford algebra, overcoming existing no-go constraints.
• The methodology introduces two gauge potentials and an auxiliary field that enforce duality symmetry, applying BRST quantization for consistent gauge fixing.
• Key insights reveal that associative gauge algebras, including possible supergroup extensions, can accommodate duality invariant interactions in a local framework.

Manifest Duality Invariant Yang-Mills Theory via Multiforms and Clifford Algebra

Context and Motivation

The paper "On Duality Invariant Yang-Mills Theory" (2601.05744) addresses the longstanding challenge of formulating an interacting, local, and manifestly duality-invariant non-Abelian gauge theory in four dimensions. While electric-magnetic duality is manifest in Maxwell theory and its Born-Infeld extension, non-Abelian Yang-Mills theories typically lack a local action with manifest duality invariance, as formalized by various no-go theorems [Bekaert:2001wa]. The present work circumvents these obstacles by employing a multiform and Clifford algebra framework that transcends the constraints imposed by the conventional local vector potential formulation.

Construction and Core Architecture

Free Theory Formulation

The starting point involves two field potentials: a 1-form $A^{[1]}$ corresponding to the usual vector gauge field, and a 3-form $A^{[3]}$ encoding its magnetic dual. An auxiliary 2-form field $B^{[2]}$ is introduced to enforce the identification of the electric and magnetic field strengths. The free action:

$$S = S_1 + S_2 + i \int (\mathrm{d} A^{[1]} + \mathrm{d}^\dagger A^{[3]}, B^{[2]})$$

produces, on variation, the constraint $\mathrm{d}A^{[1]} + \mathrm{d}^\dagger A^{[3]} = 0$, unifying the field strengths and preserving duality symmetry at the level of the action. The constraint analysis within this formulation ensures that the physical degrees of freedom match those of abelian Maxwell theory, with gauge redundancy appropriately removed through BRST quantization and suitable ghost fields.

Multiform and Kähler-Dirac Formalism

Central to the construction is the replacement of the standard wedge product for differential forms with the Clifford product, wherein differentials $\mathrm{d}x^\mu$ are mapped to gamma matrices $\gamma^\mu$. In parallel, the familiar exterior derivative operator $\mathrm{d}$ is augmented to the Kähler-Dirac operator $K = \mathrm{d} + \mathrm{d}^\dagger$, which naturally supports Hodge duality in kinetic terms.

The action, with gauge fixing imposed and ghosts included, is succinctly expressed as:

$$S = \int \frac{1}{2}(A, K^2 A) + i (K A, B) + (b, \Box c)$$

where $A$ and $B$ are multiforms aggregating form degrees, and all contractions employ the Hodge inner product. This setup enables direct BRST quantization and facilitates the Hamiltonian constraint analysis required to verify the absence of additional physical degrees of freedom introduced by auxiliary fields.

Interacting (Non-Abelian) Deformation

To extend the construction to interactions, the paper defines a covariant Kähler-Dirac operator:

$K_A = K - i A \vee$

which acts on multiforms with the Clifford product $\vee$. The interacting action generalizes to:

$S = \int \frac{1}{2}(A, (K_A)^2 A) + i (K_A A, B)$

This action incorporates interaction terms via the associative Clifford product and preserves manifest duality invariance between $A^{[1]}$ and $A^{[3]}$. Notably, the multiplication generates both Lie brackets and anti-commutators of gauge generators, compelling the underlying gauge symmetry to be associative (as in $U(n)^{\mathbb{C}}$) rather than strictly Lie-algebraic. This broader symmetry context potentially accommodates supergroups as viable gauge structures.

The equations of motion, projected onto different form degrees, encode the coupled dynamics and generalized gauge-fixing constraints. The duality invariant interaction vertices, such as $B A A$, appear but decouple on-shell, ensuring the consistency of the physical spectrum.

Gauge Structure and BRST Quantization

The gauge-fixed theory is formulated directly in the BRST language, with the gauge-fixing fermion enforcing both duality constraints and (generalized) Lorenz gauge conditions for each copy of the gauge field. This yields a non-trivial ghost sector aligned with the reducibility of the gauge transformations in the multiform framework. The interacting theory's BV extension would involve further terms, though the present construction focuses on the gauge-fixed and constraint sector.

Implications and Future Directions

The formalism developed establishes a manifestly duality-invariant, local, interacting gauge theory via multiforms and Clifford algebra, sidestepping the no-go results predicated on single potential formulations and Lie algebra symmetry. Its BRST-first quantization ensures consistency and alignment with constraint structure. The approach opens several avenues:

• Generalization to Higher Dimensions and Form Fields: The construction's reliance on form degree and Clifford product suggests potential adaptability to theories with higher $p$-form gauge fields and duality relations.
• Associative Gauge Algebras and Supergroup Extensions: Manifest duality invariance coupled with associative gauge structure invites exploration of supergroups and extensions beyond simple Lie algebras, which may have implications for non-perturbative sectors and dualities beyond electromagnetic.
• Geometric and Moduli Space Connections: The multiform BRST structure aligns with geometric approaches to moduli spaces of gauge and string-theoretic models, providing a route to connect formal gauge theory constructions with broader topological and algebraic frameworks (Cremonini et al., 6 Jan 2025).
• Quantization and S-Matrix Extraction: The local, duality-invariant action is amenable to canonical and path integral quantization, promising direct computational accessibility for correlation functions, duality properties, and non-abelian S-matrix calculations that evade previous obstructions.
• Supersymmetric and String Theory Embeddings: Embedding the construction within SUSY gauge theories and string models (especially with manifest dualities) may illuminate new physical phenomena and duality structures at the quantum level.

Conclusion

This work provides a construction for a manifestly duality-invariant, interacting gauge theory in four dimensions, founded on a multiform and Clifford product formalism with BRST quantization. The theory's associativity-based gauge symmetry and explicit duality invariance resolve long-standing structural limitations of non-Abelian Yang-Mills theory concerning duality symmetry. The methodology offers a pragmatic foundation for further development, generalization, and application in gauge and string theoretical contexts.