Reconstruction of modular data from \(\mathrm{SL}_2(\mathbb{Z})\) representations (Q6135926)

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.