The Gaiotto-Kim Trace Formula and Line Defects

Sungjoon Kim; Spencer Stubbs

Home/Archive/arXiv

arXiv · 2609.24582

The Gaiotto-Kim Trace Formula and Line Defects

Sungjoon Kim·Spencer Stubbs

View original source ↗Read source document ↗Export metadata ↓

Abstract

We study the insertion of 4d half-BPS line defects into the trace formula proposed by Gaiotto and Kim, which computes the ellipsoid partition function of the 3d topological quantum field theory (TQFT) arising from a 4d $\mathcal{N}=2$ superconformal field theory. This yields a homomorphism to 3d Wilson loops, preserving the fusion algebra of the 4d defects. We also present a systematic algorithm for determining the simple objects of a 3d TQFT in terms of Wilson loops in the UV 3d $\mathcal{N}=2$ abelian Chern-Simons-matter theory. Utilizing supersymmetric localization, we characterize the modular $S$- and $T$-matrices of the TQFT. We apply our algorithm to various 3d TQFTs arising from the trace formula with higher-power monodromy of the $(A_1,G)$ Argyres-Douglas theories.

Explore related subjects

hep-th

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Sungjoon Kim, Spencer Stubbs. 2026-09-21. The Gaiotto-Kim Trace Formula and Line Defects. https://arxiv.org/abs/2609.24582

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Gaillard-Zumino non-invertible symmetries

We uncover an infinite class of novel zero-form non-invertible symmetries in a broad family of four-dimensional models, studied years ago by Gaillard and Zumino (GZ), which includes several extended supergravities as particular subcases. The GZ models consist of abelian gauge fields coupled to a neutral sector, typically including a set of scalars, whose equations of motion are classically invariant under a continuous group $\mathscr{G}$ acting on the electric and magnetic field strengths via symplectic transformations. The standard lore holds that, at the quantum level, these symmetries are broken to an integral subgroup $\mathscr{G}_\mathbb{Z}$. We show that, in fact, a much larger subgroup $\mathscr{G}_\mathbb{Q}$ survives, albeit through non-invertible topological defects. We explicitly construct these defects and compute some of their fusion rules. As illustrative examples, we consider the axion-dilaton-Maxwell model and the bosonic sector of a class of $\mathcal{N}=2$ supergravities of the kind that appear in type II Calabi-Yau compactifications. Finally, we comment on how (part of) these non-invertible zero-form symmetries can be broken by gauging the $\mathscr{G}_\mathbb{Z}$ subgroup of invertible symmetries.

hep-th↗

arXiv2026

On the resolution of categorical symmetries in (Non-) Unitary Rational CFTs

We explore several aspects of categorical symmetry-resolved entanglement entropy (SREE) directly within two-dimensional rational conformal field theory (RCFT) (without invoking any SymTFT construction arXiv:2409.02806). We derive a general formula applicable whenever the action of the relevant topological defect lines on the annulus Hilbert space is known. This framework accommodates weakly and strongly symmetric boundaries, cloaking states, and fusion rings with multiplicities. We verify the formula in a range of diagonal unitary and non-unitary examples, including theories with generalized Haagerup-Izumi modular data. Furthermore, we extend the analysis to non-diagonal RCFTs. The $\frac{1}{2}E_6$ example demonstrates that closed-channel modular data and NIM-rep multiplicities alone do not suffice to determine the defect action on the complete open-channel Hilbert space.

hep-th↗

arXiv2026

Reflecting boundary conditions in critical loop models

In critical loop models, we call a boundary sticky if loops can attach to it, and reflecting otherwise. Using analytic bootstrap methods, we show that reflecting boundaries are characterised by one complex parameter, analogous to the boundary cosmological constant in Liouville theory. We determine disc 1-point functions, and write an explicit formula for disc 2-point functions as infinite combinations of conformal blocks. We also sketch the lattice interpretation of reflecting boundaries.

hep-th↗