Abstract
Using M-theory in physics, Cho et al. (JHEP 2020:115 (2020) recently outlined a program that connects two parallel subjects of three dimensional manifolds, namely, geometric topology and quantum topology. They suggest that classical topological invariants such as Chern-Simons invariants of \(\text {SL}(2,{\mathbb {C}})\)-flat connections and \(\text {SL}(2,{\mathbb {C}})\)-adjoint Reidemeister torsions of a three manifold can be packaged together to produce a \((2+1)\)-topological quantum field theory, which is essentially equivalent to a modular tensor category. It is further conjectured that every modular tensor category can be obtained from a three manifold and a semi-simple Lie group. In this paper, we study this program mathematically, and provide strong support for the feasibility of such a program. The program produces an algorithm to generate the potential modular T-matrix and the quantum dimensions of a candidate modular data. The modular S-matrix follows from essentially a trial-and-error procedure. We find premodular tensor categories that realize candidate modular data constructed from Seifert fibered spaces and torus bundles over the circle that reveal many subtleties in the program. We make a number of improvements to the program based on our examples. Our main result is a mathematical construction of the modular data of a premodular category from each Seifert fibered space with three singular fibers and a family of torus bundles over the circle with Thurston SOL geometry. The modular data of premodular categories from Seifert fibered spaces can be realized using Temperley-Lieb-Jones categories and the ones from torus bundles over the circle are related to metaplectic categories. We conjecture that a resulting premodular category is modular if and only if the three manifold is a \({\mathbb {Z}}_2\)-homology sphere, and condensation of bosons in the resulting properly premodular categories leads to either modular or super-modular tensor categories.
Similar content being viewed by others
Notes
We omit the irrelevant base point.
Here all maps involved are isomorphisms, so the notion of direct limit and inverse limit do not make a difference.
The sign and hence the negative sign in front of \(\text {CS}\) invariant below is not important and the choice is made to be the same as in [4].
A terminology due to C. Delaney: distinct MTCs with the same MD are called modular isotopes of each other.
References
Auckly, D.R.: Topological methods to compute Chern-Simons invariants. Math. Proc. Camb. Philos. Soc. 115(2), 229–251 (1994)
Barkeshli, M., Bonderson, P., Cheng, M., Wang, Z.: Symmetry fractionalization, defects, and gauging of topological phases. Phys. Rev. B 100(11), 115147 (2019)
Bonderson, P.H.: Non-Abelian anyons and interferometry. PhD thesis, California Institute of Technology, (2007)
Cho, G.Y., Gang, D., Kim, H.-C.: M-theoretic genesis of topological phases. J. High Energy Phys. 2020(11), 1–58 (2020)
Cui, S.X., Galindo, C., Plavnik, J.Y., Wang, Z.: On gauging symmetry of modular categories. Commun. Math. Phys. 348(3), 1043–1064 (2016)
Cui, S.X., Gustafson, P., Qiu, Y., Zhang, Q.: From torus bundles to particle-hole equivariantization. Accepted by Letters in Mathematical Physics. arXiv:2106.01959 (2021)
Culler, M., Shalen, P.B.: Varieties of group representations and splittings of 3-manifolds. Ann. Math. Second Ser. 117(1), 109–146 (1983)
Freed, D.S.: Reidemeister torsion, spectral sequences, and Brieskorn spheres. J. Renie Angew. Math. 1992(429), 75–89 (1992)
Hastings, M.B., Nayak, C., Wang, Z.: On metaplectic modular categories and their applications. Commun. Math. Phys. 330(1), 45–68 (2014)
Kawahigashi, Y.: A remark on matrix product operator algebras, anyons and subfactors. Lett. Math. Phys. 110(6), 1113–1122 (2020)
Kirk, P., Klassen, E.: Chern-Simons invariants of 3-manifolds and representation spaces of knot groups. Math. Ann. 287(343–367), 109–146 (1990)
Kirk, P., Klassen, E.: Chern-Simons invariants of 3-manifolds decomposed along tori and the circle bundle over the representation space of \({T}^2\). Commun. Math. Phys. 153(3), 521–557 (1993)
Kitano, T.: Reidemeister torsion of Seifert fibered spaces for \({SL}(2;\textbf{C} )\)-representations. Tokyo J. Math 17(1), 59–75 (1994)
Milnor, J.: Whitehead torsion. Bull. Am. Math. Soc. 72(3), 358–426 (1966)
Naidu, D., Rowell, E.C.: A finiteness property for braided fusion categories. Algebras Represent. Theory 14(5), 837–855 (2011)
Orlik, P.: Seifert Manifolds, vol. 291. Springer, Berlin (2006)
Scott, P.: The geometry of 3-manifolds. Bull. Lond. Math. Soc. 15, 401–487 (1983)
Turaev, V.: Introduction to Combinatorial Torsions. Springer, Berlin (2001)
Turaev, V.G.: Quantum Invariants of Knots and 3-Manifolds, vol. 18. Walter de Gruyter GmbH & Co KG, Berlin (2020)
Wang, Z.: Topological Quantum Computation, vol. 112. American Mathematical Society, New York (2010)
Acknowledgements
Y. Q. and Z.W. are partially supported by NSF grant FRG-1664351 and CCF 2006463. S.-X. C. is partially supported by NSF CCF 2006667. The research is also partially supported by ARO MURI contract W911NF-20-1-0082. The third author thanks Dongmin Gang for helpful communications, who pointed out that the Seifert fibered spaces (3, 3, r) would give rise to modular tensor categories related to \(SU(2)_k\). The first author thanks Eric Rowell for clarifying some facts about \({\mathcal {C}}({{\mathfrak {s}}}{{\mathfrak {o}}},q,l)\).
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Y. Kawahigashi.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Cui, S.X., Qiu, Y. & Wang, Z. From Three Dimensional Manifolds to Modular Tensor Categories. Commun. Math. Phys. 397, 1191–1235 (2023). https://doi.org/10.1007/s00220-022-04517-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00220-022-04517-4