Reconstruction of modular data from SL₂(Z) representations

DOI10.1007/S00220-023-04775-WMaRDI QIDQ6135926zbMATH OpenFDO

Authors Siu-Hung Ng, Eric C. Rowell, Zhenghan Wang, Xiao-Gang Wen

Publication date 28 August 2023

Published in Communications in Mathematical Physics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2203.14829

Mathematics Subject Classification ID

Fusion categories, modular tensor categories, modular functors (18M20) Ordinary representations and characters (20C15) Representation theory for linear algebraic groups (20G05)

Abstract: Modular data is the most significant invariant of a modular tensor category. We pursue an approach to the classification of modular data of modular tensor categories by building the modular $S$ and $T$ matrices directly from irreducible representations of $S{L}_2(mathbbZ/nmathbbZ)$. We discover and collect many conditions on the $S{L}_2(mathbbZ/nmathbbZ)$ representations to identify those that correspond to some modular data. To arrive at concrete matrices from representations, we also develop methods that allow us to select the proper basis of the $S{L}_2(mathbbZ/nmathbbZ)$ representations so that they have the form of modular data. We apply this technique to the classification of rank-$6$ modular tensor categories, obtaining a classification up to modular data. Most of the calculations can be automated using a computer algebraic system, which can be employed to classify modular data of higher rank modular tensor categories.

Review text

Just as conventional symmetries are described by groups, gapped quantum liquid phases of bosonic matter seem to be described by non-degenerate higher braided fusion categories. It has been conjectured that topological orders are classified by the collection of projective representations of mapping class groups for various topologies of closed space manifolds [\textit{D. Creamer}, ``A computational approach to classifying low rank modular categories, Preprint, \url{arXiv:1912.02269}]. In particular, it is believed that a gapped phase of quantum matter in two spacial dimensions is classified by a pair \((\mathcal{B},c)\), where \(\mathcal{B}\) is a unitary modular tensor category (MTC) and \(c\) is a rational number equal to the central charge of \(\mathcal{B}\) \(\mathrm{mod}\) \(8\). The classification of MTCs naturally breaks into two steps, where the first step is to classify the modular data (MD) while the second step is to classify modular isotopes with a given MD if not unique. The MD \((S,T)\) of an MTC forms a projective representation of the mapping class group of the \(2\)-dimensional torus. Modular data \((S,T)\) corresponding to MTCs of rank \(r\leqslant5\) have been completely classified [\textit{E. Rowell} et al., Commun. Math. Phys. 292, No. 2, 343--389 (2009; Zbl 1186.18005); \textit{S.-M. Hong} and \textit{E. Rowell}, J. Algebra 324, No. 5, 1000--1015 (2010; Zbl 1210.18006); \textit{P. Bruillard} et al., Int. Math. Res. Not. 2016, No. 24, 7546--7588 (2016; Zbl 1404.18016)]. More recently, such a classification for MTCs of rank \(6\) containing a pair of non-self-dual simple objects and a partial classification of general MTCs of rank \(6\) has also been obtained [\textit{D. Creamer}, ``A computational approach to classifying low rank modular categories, Preprint, \url{arXiv:1912.02269}]. This paper completes the classification of rank \(6\) MDs using the reverse strategy, which is built upon the approach [\textit{P. Bruillard} et al., Int. Math. Res. Not. 2016, No. 24, 7546--7588 (2016; Zbl 1404.18016); \textit{W. Eholzer}, Commun. Math. Phys. 172, No. 3, 623--659 (1995; Zbl 0884.17018)] by constructing the MDs directly from \(\mathrm{SL}_{2}(\mathbb{Z} /n\mathbb{Z})\) representations of low dimension. Up to basis choice, the \(\mathrm{SL}_{2}(\mathbb{Z})\) representations can be presented as pairs \((s,t)\), where \(s\) is symmetric and \(t\) is diagonal. It is shown that, up ro Galois conjugation and altering spherical structures, there are \(12\) classes of modular data, all of which are realized via quantum groups. For each representation \((s,t)\), \(s\) is conjugated by an arbitrary matrix commuting with \(t\) to reconstruct the potential MD \((S,T)\) with \(S\) symmetric and \(T\) diagonal. It is to be remarked that this approach was exploited in a particular case in [\textit{T. Gannon} and \textit{S. Morrison}, Commun. Math. Phys. 356, No. 3, 981--1015 (2017; Zbl 1431.46044)] to construcct modular data for the center of the fusion category associated with the extended Haagerup subfactor.

Recommendations

• G-crossed modularity of symmetry enriched topological phases
• Modular extensions of unitary braided fusion categories and 2+1D topological/SPT orders with symmetries
• On realizing modular data
• On metaplectic modular categories and their applications
• One dimensional gapped quantum phases and enriched fusion categories
• scientific article; zbMATH DE number 865624
• Tensor network approach to electromagnetic duality in (3+1)d topological gauge models
• Dimension as a quantum statistic and the classification of metaplectic categories
• A relative tensor product of subfactors over a modular tensor category
• Fusion rules for \(\mathbb{Z} / 2 \mathbb{Z}\) permutation gauging

Cites work

• Anyons in an exactly solved model and beyond
• Braided zesting and its applications
• Classical and quantum conformal field theory
• Classification of \(\mathfrak{sl}_3\) relations in the Witt group of nondegenerate braided fusion categories
• Classification of metaplectic modular categories
• Classification of spherical fusion categories of Frobenius-Schur exponent 2
• Congruence property in conformal field theory
• Congruence subgroups and generalized Frobenius-Schur indicators
• Die irreduziblen Darstellungen der Gruppen SL₂(Z_p), insbesondere SL₂(Z₂). II
• Frobenius-Schur indicators and exponents of spherical categories.
• Fusion rules and modular transformations in 2D conformal field theory
• Higher Frobenius-Schur indicators for pivotal categories
• scientific article; zbMATH DE number 1467269 (Why is no real title available?)
• scientific article; zbMATH DE number 1550535 (Why is no real title available?)
• scientific article; zbMATH DE number 3336895 (Why is no real title available?)
• Metaplectic categories, gauging and property \(F\)
• Modular categories are not determined by their modular data
• Modular categories with transitive Galois actions
• Modular categories, integrality and Egyptian fractions
• Modular data for the extended Haagerup subfactor
• Non-pseudounitary fusion
• On classification of modular categories by rank
• On classification of modular tensor categories
• On fusion categories.
• On modular forms for some noncongruence subgroups of \(\text{SL}_2(\mathbb Z)\)
• On symmetric representations of 𝑆𝐿₂(ℤ)
• On the classification of modular fusion algebras
• On the classification of the Grothendieck rings of non-self-dual modular categories
• On the classification of weakly integral modular categories
• Quantum invariants of knots and 3-manifolds
• Rank-finiteness for modular categories
• Representations of SL (2, p)
• The Frobenius-Schur indicator in conformal field theory

Cited in

(11)

• Classification of homogeneous Fourier matrices
• Diagonal torsion matrices associated with modular data
• On symmetric representations of 𝑆𝐿₂(ℤ)
• Detecting algebra objects from NIM-reps in pointed, near-group and quantum group-like fusion categories
• On the realization of a class of \(\mathrm{SL}(2,\mathbb{Z})\) representations
• Realizing modular data from centers of near-group categories
• Gapped phases in (2+1)d with non-invertible symmetries. I.
• On near-group centers and super-modular categories
• Modular fusion categories with few twists
• Classification of integral modular data up to rank 13
• Braided zestings of Verlinde modular categories and their modular data

This page was built for publication: Reconstruction of modular data from \(\mathrm{SL}_2(\mathbb{Z})\) representations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6135926)