Generalization of anomaly formula for time reversal symmetry in (2+1)D abelian bosonic TQFTs
Ippo Orii
TL;DR
The work extends the established time-reversal anomaly framework for (2+1)D abelian bosonic TQFTs by incorporating higher central charges xi_n and a new invariant eta_n, culminating in a generalized anomaly formula that involves a distinguished anyon subset M^n. It systematically analyzes the crosscap data and symmetry fractionalization through M_a, eta(a), and the crosscap state, and establishes the algebraic structure and constraints of M^n (via Im^n(1+T) torsors and related sets E^n). The findings connect dimension counts on non-orientable surfaces to the higher central charges and provide a refined picture of when gapped boundaries can exist via a generalized Lagrangian-subgroup perspective. The results suggest a deeper role for M^n in anomaly cancellation and boundary phenomena, with future work aimed at physical interpretation and generalization to non-abelian and spin-TQFT settings.
Abstract
We study time-reversal symmetry in (2+1)-dimensional abelian bosonic topological phases. Z_2 x Z_2 classifies the time-reversal anomalies in such systems symmetry-protected topological (SPT) phases in (3+1) dimensions and can be diagnosed via partition functions on manifolds such as RP^4 and CP^2. These partition functions are related by an anomaly formula of the form Z(RP^4) * Z(CP^2) = theta_M, where theta_M is the Dehn twist phase associated with the crosscap state. Meanwhile, the existence of gapped boundaries is constrained by so-called higher central charges, denoted xi_n, which serve as computable invariants encoding obstruction data. Motivated by the known relation Z(CP^2) = xi_1, we propose a generalization of the anomaly formula involving both the higher central charges xi_n and a new time-reversal invariant eta_n. By introducing a distinguished subset M^n of the set A of anyons, we establish the relation eta_n * xi_n = (sum of theta(a)^n over a in M^n) divided by its absolute value. This generalizes the known anomaly formula. We analyze the algebraic structure of the subset M^n, derive consistency relations it satisfies, and clarify its connection to the original anomaly formula.
