Infinitesimal gluing equations and the adjoint hyperbolic Reidemeister torsion

DOI10.2748/TMJ.20200828MaRDI QIDQ2075412zbMATH OpenOpenAlexWikidataFDO

Publication date 14 February 2022

Published in Tôhoku Mathematical Journal. Second Series (Search for Journal in Brave)

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

gluing equations hyperbolic 3-manifolds ideal triangulations Reidemeister torsion

Hyperbolic 3-manifolds (57K32) General geometric structures on low-dimensional manifolds (57M50) Simple homotopy type, Whitehead torsion, Reidemeister-Franz torsion, etc. (57Q10)

Abstract: We establish a link between the holomorphic derivatives of Thurston's hyperbolic gluing equations on an ideally triangulated finite volume hyperbolic 3-manifold and the cohomology of the sheaf of infinitesimal isometries. Moreover, we provide a geometric reformulation of the non-abelian Reidemeister torsion corresponding to the adjoint of the monodromy representation of the hyperbolic structure. These results are then applied to the study of the `1-loop Conjecture' of Dimofte-Garoufalidis, which we generalize to arbitrary 1-cusped hyperbolic 3-manifolds. We rigorously verify the generalized conjecture in the case of the sister manifold of the figure-eight knot complement.

Review text

This paper attempts to compute the adjoint Reidemeister torsion for a cusped hyperbolic \(3\)-manifold from its ideal triangulation. We need a cell decomposition of a 3-manifold \(M\) and a homomorphism from \(\pi_1(M)\) into a linear group to define the Reidemeister torsion. Furthermore, the adjoint Reidemeister torsion requires cohomology classes in the local system given by a homomorphism of \(\pi_1(M)\). This paper considers the cell decomposition induced from an ideal triangulation and the holonomy representation \(\rho\) of a hyperbolic \(3\)-manifold \(M\), which gives the identification of \(M\) with \(\rho(\pi_1(M)) \backslash \mathbb{H}^3\). Here the holonomy representation \(\rho\) is an embedding into \(\mathrm{PSL}_2(\mathbb{C}) \simeq \mathrm{Isom}^+\,\mathbb{H}^3\). The author shows that the adjoint Reidemeister torsion of a cusped hyperbolic \(3\)-manifold \(M\) turns into the product of two Reidemeister torsions. One is the Reidemeister torsion of the long exact sequence of the local systems for the pair of a finite cell complex \(X\) and its 1-skeleton \(X^{(1)}\). The other is that of the \(1\)-skeleton \(X^{(1)}\). Here \(X\) denotes a finite cell complex given by dual cells for an ideal triangulation of \(M\). The main results reveal that the Reidemeister torsion of the long exact sequence of the local systems reduces to that of the ``tangential exact sequence of infinitesimal gluing equations which are the derivatives of the hyperbolic and completeness equations for an ideal triangulation. The author made this reduction according to the identification between the first cohomology group in the local system and the tangent space over the character variety of \(\pi_1(M)\). The author also shows that the Reidemeister torsion for the ``tangential exact sequence of infinitesimal gluing equations is given by the \textit{enhanced Neumann-Zagier datum} for the hyperbolic structure of \(M\). This paper conjectures that the Reidemeister torsion of the 1-skeleton \(X^{(1)}\) is also a quantity given by the enhanced Neumann-Zagier datum, which leads us to an affirmative answer for the generalized 1-loop conjecture. The original 1-loop conjecture states that the Reidemeister torsion for a hyperbolic \(3\)-manifold with one cusp is the 1-loop part of a formal power series defined by the enhanced Neumann-Zagier datum, which is due to \textit{T. Dimofte} and \textit{S. Garoufalidis} [Geom. Topol. 17, No. 3, 1253--1315 (2013; Zbl 1283.57017)]. We can find the supporting example of the generalized 1-loop conjecture in the Appendix. As the supporting example, the author computes the Reidemeister torsion of the 1-skeleton \(X^{(1)}\) for the sister manifold of the figure eight knot complement.

Recommendations

Cites work

Cited in

(7)

Describes a project that uses

Uses Software

This page was built for publication: Infinitesimal gluing equations and the adjoint hyperbolic Reidemeister torsion

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