On the realization of a class of \(\mathrm{SL}(2,\mathbb{Z})\) representations (Q6619348)

This paper is concerned with the following problem.\N\NProblem. Let \(p<q\)\ be odd primes. Is there a modular fusion category \(\mathcal{C}\)\ such that the associated modular representation \(\rho_{\mathcal{C}}\cong\rho_{1}\oplus\rho_{2}\), where \(\rho_{1}\)\ and \(\rho_{2}\)\ are irreducible representations of dimensions \(\frac{p+1}{2}\)\ and \(\frac{q+1}{2}\), respectively.\N\NThe synopsis of the paper goes as follows.\N\N\begin{itemize}\N\item[\S 2] recalls some basic notions and notations of (modular) fusion categories, such as Frobenius-Perron dimension, global dimension, modular data, and the congruence representations of the modular group \(\mathrm{SL}\left( 2,\mathbb{Z}\right) \).\N\N\item[\S 3] considers the realization of a direct sum \(\rho_{1}\oplus\rho_{2}\)\ of two irreducible representations of dimensions \(\frac{p+1}{2}\)\ and \(\frac{q+1}{2}\), respectively. It is shown (Theorem 3.2) that if \(\rho _{1}\oplus\rho_{2}\)\ can be realized as a representation associated with a modular fusion category \(\mathcal{C}\), then \(q-p=4\). It is also shown (Theorem 3.5 and Theorem 3.8) that, under the assumption that \(\mathcal{C}\)\ contains a non-trivial connected étale algebra \(A\), \(\mathcal{C}_{A}^{0}\) is a pointed modular fusion category and \(\mathcal{C}_{A}\)\ is a near-group fusion category of type \(\left( \mathbb{Z}_{p},p\right) \). The author finally constructs a faithful \(\mathbb{Z}_{2}\)-extension \(\mathcal{M}\)\ of \(\mathcal{C}_{A}\), which contains simple objects of Frobenius-Perron dimension \(\frac{\sqrt{p}+\sqrt{q}}{2}\), determining the fusion relation of \(\mathcal{M}\)\ (Corollary 3.13).\N\end{itemize}