English

Self-duality under gauging a non-invertible symmetry

High Energy Physics - Theory 2023-12-04 v2 Strongly Correlated Electrons Mathematical Physics math.MP

Abstract

We discuss two-dimensional conformal field theories (CFTs) which are invariant under gauging a non-invertible global symmetry. At every point on the orbifold branch of c=1c=1 CFTs, it is known that the theory is self-dual under gauging a Z2×Z2\mathbb{Z}_2\times \mathbb{Z}_2 symmetry, and has Rep(H8)\mathsf{Rep}(H_8) and Rep(D8)\mathsf{Rep}(D_8) fusion category symmetries as a result. We find that gauging the entire Rep(H8)\mathsf{Rep}(H_8) fusion category symmetry maps the orbifold theory at radius RR to that at radius 2/R2/R. At R=2R=\sqrt{2}, which corresponds to two decoupled Ising CFTs (Ising2^2 in short), the theory is self-dual under gauging the Rep(H8)\mathsf{Rep}(H_8) symmetry. This implies the existence of a topological defect line in the Ising2^2 CFT obtained from half-space gauging of the Rep(H8)\mathsf{Rep}(H_8) symmetry, which commutes with the c=1c=1 Virasoro algebra but does not preserve the fully extended chiral algebra. We bootstrap its action on the c=1c=1 Virasoro primary operators, and find that there are no relevant or marginal operators preserving it. Mathematically, the new topological line combines with the Rep(H8)\mathsf{Rep}(H_8) symmetry to form a bigger fusion category which is a Z2\mathbb{Z}_2-extension of Rep(H8)\mathsf{Rep}(H_8). We solve the pentagon equations including the additional topological line and find 8 solutions, where two of them are realized in the Ising2^2 CFT. Finally, we show that the torus partition functions of the Monster2^2 CFT and Ising×\timesMonster CFT are also invariant under gauging the Rep(H8)\mathsf{Rep}(H_8) symmetry.

Keywords

Cite

@article{arxiv.2310.19867,
  title  = {Self-duality under gauging a non-invertible symmetry},
  author = {Yichul Choi and Da-Chuan Lu and Zhengdi Sun},
  journal= {arXiv preprint arXiv:2310.19867},
  year   = {2023}
}

Comments

58 pages, 4 figures, 5 tables, 2 Mathematica ancillary files; v2: minor edits