pith. machine review for the scientific record. sign in

arxiv: 1909.06151 · v2 · submitted 2019-09-13 · ✦ hep-th · math-ph· math.MP

Recognition: unknown

A non-abelian duality for (higher) gauge theories

J\'an Pulmann , Pavol \v{S}evera , Fridrich Valach
Authors on Pith no claims yet

Pith reviewed 2026-05-05 05:05 UTC · model claude-opus-4-7

classification ✦ hep-th math-phmath.MP MSC 81T1381T7053D1758A50 PACS 11.15.-q11.25.Tq02.40.-k
keywords AKSZ modelBV formalismtopological boundary conditionsPoisson-Lie T-dualityelectric-magnetic dualityhigher gauge theorydg Lagrangian submanifoldderived intersection
0
0 comments X

The pith

Different topological boundary conditions in a single bulk TFT generate dualities — including electric–magnetic and Poisson–Lie T-duality — as facets of one mechanism.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The authors propose that many apparently disparate dualities between gauge theories are shadows of one geometric construction: a topological field theory on a manifold-times-interval, sandwiched between a topological boundary condition at one end and a non-topological (metric-dependent) one at the other. The non-topological end fixes the physical theory living on Σ; the topological end is where the choice lives, and different choices give theories that are declared dual. Working in the AKSZ/BV setup, topological boundary conditions become dg Lagrangian submanifolds of the target dg symplectic manifold X, and the resulting field theory on Σ is the derived intersection of two Lagrangians inside the boundary phase space. The authors then carry out this reduction explicitly to recover higher abelian electromagnetism with its p↔q dual, 4d electric–magnetic/S-duality with several charges, Poisson–Lie T-duality (where X=g[1] is Chern–Simons data and the topological boundary is a Lagrangian Lie subalgebra h⊂g), and a sequence of higher-dimensional Poisson–Lie analogues built from graded Manin triples. They note that Yang–Mills fits the (α,F,L) form but lacks a partner topological boundary, suggesting supersymmetry as the missing ingredient for Montonen–Olive duality.

Core claim

The paper claims that a wide family of (higher) gauge theory dualities arise from a single mechanism: take a topological field theory on the slab Σ×[0,1], fix a non-topological boundary condition (carrying the metric data) at one end, and let the other end carry a topological boundary condition. Holding the bulk and the metric-end boundary fixed but varying the topological boundary produces field theories on Σ that are, by definition, dual to one another. Working in the AKSZ/BV framework with dg Lagrangian submanifolds and their derived intersections, the authors show this construction recovers electric–magnetic duality (including its 4d S-duality form) and Poisson–Lie T-duality, and produce

What carries the argument

The AKSZ "sandwich": for a dg symplectic target X with a non-topological dg Lagrangian F⊂Maps(T[1]Σ,X) and a topological dg Lagrangian L⊂X, the field theory on Σ is the derived intersection of F with Maps(T[1]Σ,L), computed via a finite-dimensional resolution R→X of L and the resulting reduced BV manifold (RF)_reduced with action S = S^{Ỹ}_{AKSZ} + S_F − ∫ H_rel. Varying L while fixing X and F generates the duals.

If this is right

  • Electric–magnetic duality and Poisson–Lie T-duality are not separate phenomena but two cases of a single boundary-choice mechanism in a higher-dimensional bulk TFT.
  • Higher-dimensional analogues of Poisson–Lie T-duality exist: from a graded Manin triple (g,h,h′) with deg-(n−2) pairing one builds dual n-dimensional (higher) gauge theories with explicit BV actions.
  • Whenever the bulk dg symplectic target X is acyclic (as in pure Yang–Mills), no second topological boundary condition is available, so no duality of this type exists without enlarging the data — pointing to supersymmetry as the natural extension toward Montonen–Olive duality.
  • Generalized metrics, dressing cosets, and pseudo-conformal/G-structure boundary conditions all fit one template: G-invariant Lagrangian submanifolds F_V⊂X_V satisfying three explicit tangency conditions (Proposition 8.2).
  • The number of inequivalent dual descriptions is generally greater than two ('plurality'), governed by the n-category of topological boundary conditions of the bulk.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The acyclicity obstruction the authors flag for Yang–Mills suggests a sharp criterion: dualities of this kind exist exactly when the dg target X admits at least two homotopy-inequivalent dg Lagrangians, which is a computable cohomological condition on X.
  • Treating the sandwich as a derived intersection invites a quantum upgrade in which the equivalence of topological boundary conditions at the quantum level (rather than classically) becomes the actual duality statement — matching the abelian Chern–Simons/T-duality story and predicting where classical 'plurality' will collapse to genuine duality.
  • The 3d 'semi-abelian double' g = k ⊕ k*[1] examples look like natural targets for string-theoretic higher T-duality and for relating membrane sigma-models to gauge theories on K/N with U*-valued connections.
  • The construction is a candidate organizing principle for Courant-algebroid and exceptional-generalized-geometry dualities, which already share the Manin-triple skeleton appearing here at n=2.

Load-bearing premise

That the bulk topological theory and its two boundary conditions actually give a well-defined quantum field theory in each case — especially in the higher-gauge examples, where the categorical structure of topological boundary conditions and their equivalence at the quantum level is assumed rather than constructed.

What would settle it

Carry out the construction with X=g[1] (Chern–Simons), F a generalized-metric boundary, and the two Lagrangian Lie subalgebras h and h′ of a Manin triple: if the resulting two 2d sigma-models on Σ are not Poisson–Lie T-dual in the sense of Klimčík–Ševera, the unifying claim fails. Likewise, in 4d with X=W[2], the two reduced sandwich actions associated to complementary Lagrangian decompositions W=U⊕U* must reproduce S-dual abelian Yang–Mills theories with the correct topological theta term; any mismatch falsifies the picture.

read the original abstract

We consider a TFT on the product of a manifold with an interval, together with a topological and a non-topological boundary condition imposed at the two respective ends. The resulting (in general higher gauge) field theory is non-topological, with different choices of the topological conditions leading to field theories dual to each other. In particular, we recover the electric-magnetic duality, the Poisson-Lie T-duality, and we obtain new higher analogues thereof.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

pith-pipeline@v0.1.0 · 4445 in / 1645 out tokens · 25078 ms · 2026-05-05T05:05:58.939722+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Constructing Bulk Topological Orders via Layered Gauging

    cond-mat.str-el 2026-04 unverdicted novelty 8.0

    A layered gauging method constructs (k+1)-dimensional topological orders, including fracton models like the X-cube, from k-dimensional symmetries such as subsystem, anomalous, or noninvertible ones.

  2. Generalised Symmetries and Swampland-Type Constraints from Charge Quantisation via Rational Homotopy Theory

    hep-th 2026-04 unverdicted novelty 6.0

    Refining charge quantization via a homotopy type A yields swampland-like constraints ruling out noncompact gauge groups and non-nilpotent one-form Lie algebras, and requires A to be contractible for quantum gravity theories.

Reference graph

Works this paper leans on

13 extracted references · 13 canonical work pages · cited by 2 Pith papers

  1. [1]

    Alexandrov, M

    M. Alexandrov, M. Kontsevich, A. Schwarz, O. Zaboronsky , The geometry of the master equation and topological quantum field theory , Int. J. Modern Phys. A 12 (1997), pp. 1405– 1430

    work page 1997

  2. [2]

    D. S. Freed, C. Teleman, Relative quantum field theory , Commun. Math. Phys. 326 (2014) 459–476

    work page 2014

  3. [3]

    Kapustin, Topological Field Theory, Higher Categories, and Their App lications, Proceed- ings of the International Congress of Mathematicians 2010, ICM 2010

    A. Kapustin, Topological Field Theory, Higher Categories, and Their App lications, Proceed- ings of the International Congress of Mathematicians 2010, ICM 2010

    work page 2010

  4. [4]

    Kapustin, N

    A. Kapustin, N. Saulina, Topological boundary conditions in abelian Chern–Simons t heory, Nuclear Physics B. 845 (2011) 393–435. 22 JÁN PULMANN, PA VOL ŠEVERA, AND FRIDRICH V ALACH

    work page 2011

  5. [5]

    Klimčík, P

    C. Klimčík, P. Ševera, Dual non-Abelian T-duality and the Drinfeld double . Phys.Lett. B 351 (1995), 455–462

    work page 1995

  6. [6]

    Klimčík, P

    C. Klimčík, P. Ševera, Dressing cosets, Physics Letters B, Vol. 381, No. 1-3 (1996), 56–61

    work page 1996

  7. [7]

    Montonen, D

    C. Montonen, D. Olive, Magnetic monopoles as gauge particles? Phys.Lett. B 72 (1977), 117–120

    work page 1977

  8. [8]

    Pantev, B

    T. Pantev, B. Toën, M. Vaquié, G. Vezzosi, Shifted symplectic structures , Publications math- ématiques de l’IHÉS 117 (2013), 271–328

    work page 2013

  9. [9]

    homotopy

    P. Ševera, Some title containing the words “homotopy” and “symplectic ”, e.g. this one , Travaux Mathématiques, Fasc. XVI (2005), pp. 121-137, also math.SG/0105080

    work page arXiv 2005

  10. [10]

    Ševera, Poisson-Lie T-duality as a boundary phenomenon of Chern-Si mons theory, JHEP 1605 (2016) 044

    P. Ševera, Poisson-Lie T-duality as a boundary phenomenon of Chern-Si mons theory, JHEP 1605 (2016) 044

    work page 2016

  11. [11]

    Sullivan, Infinitesimal Computations in Topology , I.H.E.S

    D. Sullivan, Infinitesimal Computations in Topology , I.H.E.S. Publ. Math. 47 (1977)

    work page 1977

  12. [12]

    von Unge, Poisson-Lie T-plurality , J

    R. von Unge, Poisson-Lie T-plurality , J. High Energy Phys. JHEP07 (2002) 14

    work page 2002

  13. [13]

    Witten, On S-duality in abelian gauge theory , Selecta Mathematica, (2):383-410, 1995

    E. Witten, On S-duality in abelian gauge theory , Selecta Mathematica, (2):383-410, 1995. Section of Mathematics, Université de Genève, Geneva, Switz erland E-mail address : jan.pulmann@unige.ch Section of Mathematics, Université de Genève, Geneva, Switz erland E-mail address : pavol.severa@gmail.com Mathematical Institute, F aculty of Mathematics and Phy...

    work page 1995