Pith. sign in

REVIEW 2 major objections 3 minor 19 references

Adjoint Reidemeister torsion of 3-manifolds with torus boundary for semisimple algebraic groups

T0 review · 2 major / 3 minor · reviewed 2026-08-02 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read For any semisimple group G, the adjoint torsion of the geometric local system on a cusped hyperbolic 3-manifold factorizes as a product of PGL2 torsions indexed by the exponents of the Lie algebra of G.

desk verdict A solid generalization of Porti's torsion to semisimple G with a clean principal-embedding factorization theorem; the advertised PGSp4 computation, however, rests on unpinned SageMath output and needs to be pinned before the example is trusted. read the letter →

arxiv 2603.00816 v2 pith:PBKUR43I submitted 2026-02-28 math.GT math.AGmath.QAmath.RT

Tsukasa Ishibashi , Yuma Mizuno This is my paper · ORCID
classification math.GTmath.AGmath.QAmath.RT MSC 57K3157K32
keywords adjointReidemeistertorsionsemisimplealgebraicgroupsprincipalembeddinghyperbolic3-manifoldslocalsystemsfigure-eightknotcomplementLiealgebraexponentsPGSp4
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper extends the Reidemeister torsion invariant to 3-manifolds with torus boundary for local systems valued in any semisimple algebraic group G. It proves that for a cusped hyperbolic 3-manifold, the local system obtained from the complete hyperbolic structure via the principal embedding PGL2→G is boundary-adjoint-regular, so its adjoint torsion is defined. The main formula expresses this torsion as a product of ordinary PGL2 torsions of the odd symmetric powers of the geometric local system, with multiplicities given by the exponents of the Lie algebra of G. This reduces higher-rank torsion computations to known PGL2 data. The paper also computes the first explicit PGSp4 example on the figure-eight knot complement, including a local system that does not come from PGL2.

What carries the argument

The principal embedding ι:PGL2→G and the Kostant decomposition of the adjoint Lie algebra into simple PGL2-modules, ι^*g = ⊕_i V_{2m_i+1}, where the m_i are the exponents of g. The boundary-adjoint-regularity conditions — vanishing of H^0(M), injectivity of H^1(M)→H^1(∂M), and expected dimension of H^0(∂M) — ensure the torsion is a well-defined element of the base field. Multiplicativity of torsion under direct sums then converts the decomposition into the product formula.

What would settle it

Compute the twisted cohomology H^0(M;L) and H^1(M;L) for the geometric PGL2 local system twisted by the 3-dimensional symmetric power on a hyperbolic 3-manifold where the exponent 2 appears (e.g., type A2) and check whether dim H^0(∂M;L) equals the number of cusps and whether H^1(M;L) injects into H^1(∂M;L). Alternatively, compute the adjoint PGSp4 torsion of the figure-eight complement by an independent method (e.g., a different ideal triangulation or a direct chain-complex calculation) and compare to the values 360 and the degree-6 polynomial.

Watch

Extended reading notes

Core claim

The central theorem (Theorem 5.13) states that for a cusped hyperbolic 3-manifold M with torus boundary and a principal embedding ι:PGL2→G, the image ι(geom) of the complete hyperbolic local system is boundary-adjoint-regular, and its adjoint torsion equals the product over the exponents m_i of the Lie algebra of G of the PGL2-torsions of the local systems L^{(2m_i+1)}_geom = geom ×_{PGL2} V_{2m_i+1}: tor^Ad_{G,M,γ,o}(ι(geom)) = ∏_i tor_{M,γ,o}(L^{(2m_i+1)}_geom).

Load-bearing premise

The cohomological control theorems for the geometric PGL2 local systems — vanishing of H^0, dimension of H^0 on the boundary, and injectivity of H^1 into boundary cohomology for every odd symmetric power — are taken from earlier work and not reproved here; if any of these failed for one exponent, the regularity and the product formula would collapse.

Editorial extensions

If this is right

  • If correct, adjoint torsion at the geometric point for any semisimple G becomes computable from PGL2 torsions of odd symmetric powers, which are accessible via standard techniques for hyperbolic 3-manifolds.
  • The formula implies the adjoint torsion of the geometric local system is non-zero, a statement that was known for PGL2 and now extends to all semisimple groups.
  • The stack-level definition makes the torsion an algebraic function on the moduli space of regular local systems, not just a value at isolated representations.
  • The computed PGSp4 example demonstrates that the invariant is sensitive to local systems not arising from PGL2, providing a new tool for studying higher-rank representations.
  • The framework is designed to extend to computations via cluster coordinates on mapping tori, as the authors outline in their future work section.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If the factorization extends from the geometric point to the whole image of the principal embedding in the character variety, the product formula could become a rational identity on the distinguished component, linking higher-rank torsion to the classical PGL2 torsion function.
  • The degree-6 PGSp4 example suggests that adjoint torsion can distinguish 'exotic' higher-rank local systems that have no PGL2 shadow; one could test whether it correlates with higher Teichmüller coordinates or detects arithmetic properties of the local system.
  • A natural next test would be a once-punctured torus bundle, where cluster coordinates are available, allowing a family-level check of the factorization and a search for a non-PGL2 analogue of the PGSp4 example.
  • Reducing the computed torsion polynomial modulo primes could probe integrality or congruence properties of the invariant, offering arithmetic data about the local system's field of definition.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 3 minor

Summary. The paper defines an adjoint Reidemeister torsion function on the moduli stack of G-local systems on a compact oriented 3-manifold with torus boundary, for a connected semisimple algebraic group G, under a boundary-adjoint-regularity condition. This extends Porti's construction for SL2. The main structural result, Theorem 5.13, states that for a cusped hyperbolic 3-manifold and a principal embedding PGL2 → G, the image of the complete hyperbolic local system is boundary-adjoint-regular and its adjoint torsion equals the product of the PGL2-torsions of the local systems L^{(2m_i+1)}_{geom} associated with the Lie-algebra exponents m_i. The paper also presents two concrete PGSp4 computations for the figure-eight knot complement: one image of the geometric PGL2 local system and one defined over a degree-6 number field that does not come from a principal embedding.

Significance. If the results are correct, the paper provides a significant and useful tool: higher-rank adjoint torsion for geometric local systems is reduced to known PGL2/SL2 data. The proof of Theorem 5.13 is clean and combines standard ingredients: Kostant's decomposition (Prop 5.7), the cohomological control theorems of Menal-Ferrer–Porti [MP12] (Thms 5.8–5.10), and multiplicativity of torsion (Prop 4.12). The stack-theoretic formalism is carefully developed, and the sign handling in Section 6.1 is explicit. The main weakness is not in the derivation of Theorem 5.13 but in the advertised computational example: the manuscript explicitly omits the computation details, making the flagrant computational assertions unverifiable.

major comments (2)
  1. [§6.4 (especially 6.4.2)] The paper asserts, without providing the computation, that the degree-6 PGSp4 local system is boundary-adjoint-regular, that dim_K H^0(∂M; pgsp4)=2, and that the centralizer space (6.33) is scalar. The text states 'We will not record the full details of these computations here' and refers to an unpinned GitHub repository. These assertions are load-bearing for the advertised computation in Example 4 and for the abstract's 'we compute' claim. Since the manuscript itself flags the missing support, this is a genuine limitation. The authors should either include a full computational appendix (differentials, bases, determinant evaluations) or provide a pinned repository with verifiable scripts and outputs.
  2. [§6.4.2, Eq. (6.33)] The non-embedding claim — that the degree-6 PGSp4 local system does not arise from a PGL2 local system via a principal embedding — rests entirely on the unshown assertion that the centralizer in (6.33) is scalar. No computation or certificate is supplied. This is a finite-dimensional linear algebra verification and should be reproducible; as written it is not. This affects the novelty of Example 4, which is a main advertised contribution.
minor comments (3)
  1. [Abstract and §5.4] The abstract says 'semisimple algebraic group', but the principal embedding is only defined for trivial-center G in §5.4. Consider stating 'semisimple algebraic group of adjoint type' for precision.
  2. [§5.3, proof of Prop. 5.3] The notation H_i(M) is used without definition; it should be the homology with local coefficients, dual to H^i(M;P×g) via the Killing form. Adding a sentence would help.
  3. [§6.4] The GitHub repository should be archived (e.g., Zenodo DOI) with a fixed commit hash and a README that reproduces the exact SageMath version, so the computations are independently checkable.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the factorization theorem is derived from independent inputs, and the computational example is an unverified (but not circular) SageMath computation.

full rationale

The paper's central derivation chain is self-contained and non-circular. The adjoint torsion function is defined (Definition 5.1) as the Reidemeister torsion of the adjoint local system P ×^G g. Theorem 5.13 then computes this quantity for ι(geom) by invoking Proposition 5.7 (Kostant's irreducible decomposition ι^*g ≅ ⊕ V_{2m_i+1}) and Proposition 4.12 (multiplicativity of torsion under direct sums). Neither of these ingredients is stated in terms of the target torsion, and the proof is a genuine derivation: tor^Ad(ι(geom)) = tor(⊕ L^{(2m_i+1)}) = ∏ tor(L^{(2m_i+1)}). The regularity of ι(geom) (Theorem 5.12) is imported from Menal-Ferrer–Porti's external cohomological theorems [MP12, Thm 0.1, Cor. 3.6, Cor. 3.7], which are not self-citations and do not assume the paper's conclusion. The only self-citation, [Miz20], appears in a future-work remark on cluster coordinates and plays no load-bearing role in any theorem or computation. The computational section 6.4 does contain a genuine reproducibility limitation: the paper states 'We will not record the full details of these computations here' and points to an unpinned SageMath repository, so the degree-6 PGSp4 value rests on unverified computer output. This is a verifiability/correctness concern, not circularity: the asserted torsion is computed from explicit monodromy matrices and a fixed torsion formula (Theorem 6.5), not fitted, renamed, or presupposed. Similarly, the assertion that the PGSp4 local system does not arise from a PGL2-local system via a principal embedding is established by a separate centralizer-dimension argument (6.33), independent of the torsion value. I find no step where a prediction is equivalent by construction to an input, no fitted parameter renamed as a prediction, and no load-bearing self-citation chain.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The central claims depend on standard prior theorems (Menal-Ferrer–Porti cohomology control, Kostant's principal-embedding decomposition, Kitayama–Terashima non-vanishing) and on the correctness of Zickert's Ptolemy-relation local systems; no new free parameters or invented entities are introduced. The computational example additionally assumes the SageMath transcriptions are correct.

assumptions (5)
  • domain assumption Menal-Ferrer–Porti [MP12, Thm 0.1, Cor 3.6, Cor 3.7]: for cusped hyperbolic M and odd n≥3, H^0(M;L^(n)_geom)=0, H^0(∂M;L^(n)_geom) has dimension m, and H^1(M;L^(n)_geom)→H^1(∂M;L^(n)_geom) is injective with half dimension.
    Invoked in Corollary 5.11 to prove boundary-adjoint-regularity of ι(geom) (Theorem 5.12) and hence the factorization formula.
  • standard math Kostant's principal-embedding decomposition ι^*g ≅ ⊕_{i=1}^{rank G} V_{2m_i+1}, where m_i are exponents of g [Kos59, Cor. 8.7].
    Provides the module decomposition underlying Theorem 5.13 and Table 1.
  • domain assumption Kitayama–Terashima [KT15, Thm 3.4] non-vanishing of PGL_n adjoint torsions for non-null-homotopic peripheral curves.
    Used in Corollary 5.14 to conclude tor^Ad(ι(geom))≠0.
  • domain assumption The Ptolemy-relation solutions from Zickert [Zic20, (9.4),(9.5)] define genuine boundary-unipotent PGSp4-local systems on the figure-eight exterior.
    Input for the computational Section 6; the monodromy matrices are transcribed from this source and not re-derived.
  • domain assumption M is a link exterior complex: compact oriented 3-manifold with torus boundary, with compatible CW structure and peripheral loop.
    Underlies Definition 3.32 and all torsion constructions.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Adjoint Reidemeister torsion of 3-manifolds with torus boundary for semisimple algebraic groups." pith.science (2026). https://pith.science/paper/PBKUR43I

@misc{pith2026260300816,
  author       = {Pith},
  title        = {Pith review of: Adjoint Reidemeister torsion of 3-manifolds with torus boundary for semisimple algebraic groups},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/PBKUR43I}},
  note         = {Machine review of arXiv:2603.00816}
}
abstract

Let $M$ be a compact oriented $3$-manifold with boundary consisting of tori, and let $G$ be a semisimple algebraic group. We define the adjoint torsion function on the moduli stack of $G$-local systems on $M$ satisfying a certain regularity condition, extending the construction by Porti for $G = \mathrm{SL}_2$. When $M$ is a cusped hyperbolic manifold, we prove that the local system associated with the image of the complete hyperbolic structure via a principal embedding $\mathrm{PGL}_2 \to G$ satisfies the regularity condition. Moreover, we provide a formula expressing its adjoint torsion as a product of $\mathrm{PGL}_2$-torsions associated with the simple $\mathrm{PGL}_2$-modules with multiplicity given by the exponents of the Lie algebra of $G$. We compute the adjoint $\mathrm{PGSp}_4$-torsions of the figure-eight knot complement for two boundary-unipotent local systems, one is arising from the complete hyperbolic structure via a principal embedding, and the other is defined over a number field of degree $6$ and not arising from any $\mathrm{PGL}_2$-local system via principal embeddings.

Figures

Figures reproduced from arXiv: 2603.00816 by the authors.

Figure 1
Figure 1. The map (3.32). commutes. The vertical map is induced by φσ, and the horizontal map is the quotient map. See [PITH_FULL_IMAGE:figures/full_fig_p016_1.png] view at source ↗
Figure 2
Figure 2. An example of 2-dimensional CW copmlex. Remark 3.24. Suppose that M is connected, and let x0 ∈ M. For a marked linear local system L ∈ LocGL,M,{x0} (A), we have H0 (M;L) ∼= (Lx0 ) Im(monL) , where monL : π1(M, x0) op → GL(Lx0 ) is the monodromy homomorphism of L given by (3.16). Lemma 3.25. Suppose that L ∈ LocGL,M (A), and f : A → B is a morphism of k-algebras. We have a canonical isomorphism of B-modules: Ci(M;L) … view at source ↗
Figure 3
Figure 3. Ideal triangulation of the figure-eight knot complement. The morphism Sp2n → GSp2n → PGSp2n induces an isomorphism sp2n ∼= pgsp2n, X 7→ [(X, 0)] of Lie algebras. We will identify these Lie algebras. We will often denote (g, 1) ∈ GSp2n (K) simply by g, which lies in the image of Sp2n (K). 6.4. Figure-eight knot complement. Now let k = Q. Let 41 ⊂ S 3 be the figure-eight knot, and M := S 3 \ ν(41) its exterior, where … view at source ↗
Figures from the paper (2 more)
Figure 4
Figure 4. Figure 4: The CW structure of the figure-eight knot exterior obtained by trun￾cating vertices in the ideal triangulation in [PITH_FULL_IMAGE:figures/full_fig_p037_4.png]
Figure 5
Figure 5. Figure 5: The CW structure of the boundary torus. In the upper figure, the endpoints of E0 are shown as solid points, and the endpoints of E1 are shown as circled points. The lower figure indicates where each cell lies in the tetrahedra. The label i(j) on a triangle indicates th…

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

19 extracted references · 7 linked inside Pith

  1. [1]

    Ben-Zvi, A

    [BBJ18] D. Ben-Zvi, A. Brochier, and D. Jordan,Integrating quantum groups over surfaces, Journal of Topology11, no. 4 (2018), 874–917. [Bre11] M. Breuning,Determinant functors on triangulated categories, J. K-Theory8, no. 2 (2011), 251–291. [Cha74] T. A. Chapman,Topological invariance of Whitehead torsion, Amer. J. Math.96, no. (1974), 488–497. [Che79] J....

    2018

  2. [10]

    [CDGW] M

    Springer-Verlag, New York-Berlin, 1973, x+144. [CDGW] M. Culler, N. M. Dunfield, M. Goerner, and J. R. Weeks,SnapPy, a computer program for studying the geometry and topology of3-manifolds, Available athttp: //snappy.computop.org. [Del87] P. Deligne,Le d´ eterminant de la cohomologie. In: Current trends in arithmetical algebraic geometry (Arcata, Calif., ...

    1973

  3. [12]

    [NTY19] K

    arXiv:2308.08369. [NTY19] K. Nagao, Y. Terashima, and M. Yamazaki,Hyperbolic 3-manifolds and cluster algebras, Nagoya Math. J.235, no. (2019), 1–25. REFERENCES 43 [Nic03] L. I. Nicolaescu,The Reidemeister torsion of 3-manifolds, De Gruyter Studies in Mathematics vol

    arXiv 2019

  4. [14]

    [Por97] J

    arXiv:2308.06643. [Por97] J. Porti,Torsion de Reidemeister pour les vari´ et´ es hyperboliques, Mem. Amer. Math. Soc.128, no. 612 (1997), x+139. [Por18] J. Porti,Reidemeister torsion, hyperbolic three-manifolds, and character varieties. In: Handbook of group actions. Vol. IV. Vol

    arXiv 1997

  5. [30]

    [OT15] T

    Walter de Gruyter & Co., Berlin, 2003, xiv+249. [OT15] T. Ohtsuki and T. Takata,On the Kashaev invariant and the twisted Reidemeister torsion of two-bridge knots, Geom. Topol.19, no. 2 (2015), 853–952. [PW23] T. Pandey and K. H. Wong,Geometry of fundamental shadow link complements and applications to the 1-loop conjecture,

    2003

  6. [36]

    M¨ uller,Analytic torsion andR-torsion of Riemannian manifolds, Adv

    [M¨ ul78] W. M¨ uller,Analytic torsion andR-torsion of Riemannian manifolds, Adv. in Math. 28, no. 3 (1978), 233–305. [MM01] H. Murakami and J. Murakami,The colored Jones polynomials and the simplicial volume of a knot, Acta Math.186, no. 1 (2001), 85–104. [NS23] F. Naef and P. Safronov,Torsion volume forms,

    1978

  7. [39]

    [DGG16] T

    North-Holland Publishing Co., Amsterdam- New York, 1980, xiv+357. [DGG16] T. Dimofte, M. Gabella, and A. B. Goncharov,K-decompositions and 3d gauge theories, J. High Energy Phys. no. 11 (2016), 151, front matter+144. [DG13] T. Dimofte and S. Garoufalidis,The quantum content of the gluing equations, Geom. Topol.17, no. 3 (2013), 1253–1315. [DGLZ09] T. Dimo...

    1980

  8. [41]

    Adv. Lect. Math. (ALM). Int. Press, Somerville, MA, 2018, 447–507. [PY23] J. Porti and S. Yoon,The adjoint Reidemeister torsion for the connected sum of knots, Quantum Topol.14, no. 3 (2023), 407–428. [Sag25] Sage Developers,SageMath, the Sage Mathematics Software System (Version 10.8), https://www.sagemath.org

    2018

Show all 19 references
  1. [67]

    Contemp. Math. Amer. Math. Soc., Providence, RI, 1987, 93–177. [DG80] M. Demazure and P. Gabriel,Introduction to algebraic geometry and algebraic groups, North-Holland Mathematics Studies vol

    1987

  2. [98]

    [Kas97] R. M. Kashaev,The hyperbolic volume of knots from the quantum dilogarithm, Lett. Math. Phys.39, no. 3 (1997), 269–275. [KT15] T. Kitayama and Y. Terashima,Torsion functions on moduli spaces in view of the cluster algebra, Geom. Dedicata175, no. (2015), 125–143. [Knu02]...

    1997

  3. [165]

    Menal-Ferrer and J

    [MP12] P. Menal-Ferrer and J. Porti,Twisted cohomology for hyperbolic three manifolds, Osaka J. Math.49, no. 3 (2012), 741–769. [MP14] P. Menal-Ferrer and J. Porti,Higher-dimensional Reidemeister torsion invariants for cusped hyperbolic 3-manifolds, J. Topol.7, no. 1 (2014), 6...

    2012

  4. [240]

    Wakijo,Adjoint Reidemeister torsions of some 3-manifolds obtained by Dehn surgeries, Canad

    [Wak24] N. Wakijo,Adjoint Reidemeister torsions of some 3-manifolds obtained by Dehn surgeries, Canad. Math. Bull.67, no. 4 (2024), 887–901. [Wal67] C. T. C. Wall,Poincar´ e complexes. I, Ann. of Math. (2)86, no. (1967), 213–245. [Whi50] J. H. C. Whitehead,Simple homotopy type...

    2024

  5. [2009]

    [DGY23] N

    arXiv: 0906.1500. [DGY23] N. M. Dunfield, S. Garoufalidis, and S. Yoon,1-loop equals torsion for fibered 3- manifolds,

    arXiv

  6. [2019]

    [GW23] U

    arXiv:1904.10491. [GW23] U. G¨ ortz and T. Wedhorn,Algebraic geometry II: Cohomology of schemes—with ex- amples and exercises, Springer Studium Mathematik—Master. Springer Spektrum, Wiesbaden, 2023, vii+869. [Guk05] S. Gukov,Three-dimensional quantum gravity, Chern-Simons theo...

    1904 arXiv

  7. [2021]

    [Tur86] V

    arXiv:2109.07058. [Tur86] V. G. Turaev,Reidemeister torsion in knot theory, Uspekhi Mat. Nauk41, no. 1(247) (1986), 97–147,

    1986 arXiv

  8. [2023]

    [FG06] V

    arXiv:2304.00469. [FG06] V. Fock and A. Goncharov,Moduli spaces of local systems and higher Teichm¨ uller theory, Publ. Math. Inst. Hautes ´Etudes Sci. no. 103 (2006), 1–211. 42 REFERENCES [GKY21] D. Gang, S. Kim, and S. Yoon,Adjoint Reidemeister torsions from wrapped M5- bran...

    2006 arXiv

  9. [2024]

    [GZ24] S

    arXiv: 2411.03801. [GZ24] S. Garoufalidis and D. Zagier,Knots, perturbative series and quantum modularity, SIGMA Symmetry Integrability Geom. Methods Appl.20, no. (2024), Paper No. 055,

    2024 arXiv

  10. [2025]

    Siejakowski,Infinitesimal gluing equations and the adjoint hyperbolic Reidemeis- ter torsion, Tohoku Math

    [Sie21] R. Siejakowski,Infinitesimal gluing equations and the adjoint hyperbolic Reidemeis- ter torsion, Tohoku Math. J. (2)73, no. 4 (2021), 597–626. [Sik12] A. S. Sikora,Character varieties, Trans. Am. Math. Soc.364, no. 10 (2012), 5173–

    2021

  11. [5208]

    [Ste43] N. E. Steenrod,Homology with local coefficients, Ann. of Math. (2)44, no. (1943), 610–627. [Ste65] R. Steinberg,Regular elements of semisimple algebraic groups, Publ. Math., Inst. Hautes ´Etud. Sci.25, no. (1965), 281–312. [TY13] Y. Terashima and M. Yamazaki,Semiclassi...

    1943

Pith tools

Reviewed August 2, 2026 · model on record in the stance chip above.