Torus bundles not distinguished by TQFT invariants

Abstract

We show that there exist infinitely many pairs of non-homeomorphic closed oriented SOL torus bundles with the same quantum (TQFT) invariants. This follows from the arithmetic behind the conjugacy problem in $SL(2,\mathbb{Z})$ and its congruence quotients, the classification of SOL (polycyclic) 3-manifold groups and an elementary study of a family of Pell equations. A key ingredient is the congruence subgroup property of modular representations, as it was established by Coste and Gannon, Bantay, Xu for various versions of TQFT, and lastly by Ng and Schauenburg for the Drinfeld doubles of spherical fusion categories. On the other side we prove that two torus bundles over the circle with the same quantum invariants are (strongly) commensurable. The examples above show that this is the best that it could be expected.

added an Appendix, joint with Andrei Rapinchuk, 34 p

References in corpus (3)

• Weakly commensurable arithmetic groups, lengths of closed geodesics and isospectral locally symmetric spaces
• Congruence Subgroups and Generalized Frobenius-Schur Indicators
• Congruence and similarity of 3-manifolds

Cited by in corpus (10)

• Distinguishing geometries using finite quotients
• 3d-3d correspondence for mapping tori
• Profinite detection of 3-manifold decompositions
• Profinite rigidity and surface bundles over the circle
• The profinite completions of knot groups determine the Alexander polynomials
• Orbit equivalences of $\mathbb{R}$-covered Anosov flows and hyperbolic-like actions on the line
• Profinite rigidity for free-by-cyclic groups with centre
• On profinite rigidity amongst free-by-cyclic groups I: the generic case
• Profinite rigidity properties of central extensions of 2-orbifold groups
• Profinite almost rigidity in 3-manifolds