pith. sign in

arxiv: 2303.15941 · v2 · submitted 2023-03-28 · 🧮 math.GT · math.NT

Multiplicity of non-acyclic {rm SL}₂-representations and L-functions of the odd-twisted Whitehead links

L\'eo B\'enard , Ryoto Tange , Anh T. Tran , Jun Ueki This is my paper

Pith reviewed 2026-05-24 09:50 UTC · model grok-4.3

classification 🧮 math.GT math.NT
keywords Reidemeister torsionSL(2,C)-character varietyWhitehead linksL-functionsuniversal deformationslink groupsmultiplicitynon-acyclic representations
0
0 comments X

The pith

Reidemeister torsion divisors on the SL(2,C)-character varieties of odd-twisted Whitehead links have multiplicity two.

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

The paper examines the divisors of the Reidemeister torsion on the varieties of irreducible SL(2,C)-characters for certain knots and links and supplies a geometric interpretation for them. It concentrates on the infinite family of odd-twisted Whitehead links and establishes that the multiplicity equals two in each case. The authors then use this fact to investigate the L-functions attached to the universal deformations of representations of the corresponding link groups over fields of characteristic greater than two.

Core claim

The divisor of the Reidemeister torsion on the variety of irreducible SL(2,C)-characters of the odd-twisted Whitehead links W_{2n-1} has multiplicity two, which supplies a geometric interpretation and permits the study of the L-functions of the universal deformations of representations over fields with characteristic p>2 of these link groups.

What carries the argument

The Reidemeister torsion viewed as a rational function on the irreducible component of the SL(2,C)-character variety, whose divisor records the multiplicity of non-acyclic representations.

If this is right

  • The geometric interpretation of the torsion divisors extends to the entire family of odd-twisted Whitehead links.
  • The multiplicity equals two uniformly for every link in the family W_{2n-1}.
  • The L-functions of the universal deformations over fields of characteristic p>2 are determined in part by this multiplicity.
  • The non-acyclic SL(2,C)-representations of these link groups occur with multiplicity two on the relevant character-variety components.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The uniformity of the multiplicity across the parameter n suggests the result may be insensitive to the specific twisting number within this family.
  • The link between torsion divisors and L-functions opens a route to arithmetic information about deformations that could be checked for small values of n by direct calculation.
  • The same divisor-multiplicity technique might apply to other infinite families of links whose character varieties admit similar irreducible components.

Load-bearing premise

The Reidemeister torsion is a well-defined rational function on the irreducible component of the SL(2,C)-character variety so that its divisor can be extracted and shown to carry multiplicity two for every member of the infinite family.

What would settle it

An explicit computation of the divisor of the Reidemeister torsion for any single odd-twisted Whitehead link that yields a multiplicity different from two.

Figures

Figures reproduced from arXiv: 2303.15941 by Anh T. Tran, Jun Ueki, L\'eo B\'enard, Ryoto Tange.

Figure 1
Figure 1. Figure 1: ). m µ [PITH_FULL_IMAGE:figures/full_fig_p009_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: A diagram of twisted Whitehead links, with meridians m and µ. For k = 0 it is the torus link T(2, 4), for k = 1 it is the Whitehead link. In the sequel, we assume n ≥ 2, since the case n = 1 is the Whitehead link, which we already studied. Let v = x 2 + y 2 + z 2 − xyz − 2. By [19], the geometric component of the twisted Whitehead link W2n−1 is defined by the polynomial fn = xySn−1(v) − (xy − z)Sn−2(v) − z… view at source ↗
read the original abstract

We study the divisor of the Reidemeister torsion on the variety of irreducible ${\rm SL}_2\mathbb{C}$-characters of certain knots and links, and provide a geometric interpretation of them. We focus in particular on the family of odd-twisted Whitehead links $W_{2n-1}$ and prove that these divisors have multiplicity two. Furthermore, we apply these results to the study of the $L$-functions of the universal deformations of representations over fields with characteristic $p>2$ of these link groups.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The manuscript studies the divisor of the Reidemeister torsion on the variety of irreducible SL_2(C)-characters of certain knots and links, providing a geometric interpretation. It focuses on the family of odd-twisted Whitehead links W_{2n-1} and proves that these divisors have multiplicity two. It further applies the results to the L-functions of universal deformations of representations over fields of characteristic p>2.

Significance. The explicit computation establishing multiplicity exactly two for the infinite family W_{2n-1} via direct calculation on the character varieties supplies a concrete, verifiable instance of torsion divisors in the non-acyclic setting and links them to L-functions in positive characteristic; this strengthens the toolkit for studying representation varieties of link groups.

minor comments (3)
  1. [§2] The definition of the odd-twisted Whitehead links W_{2n-1} and the explicit parametrization of the irreducible component of the character variety should be stated with a reference to a figure or diagram in §2 or §3 to aid readability.
  2. [Theorem 1.1] In the statement of the main theorem on multiplicity two, clarify whether the result holds uniformly for all n or requires n sufficiently large; the current phrasing leaves this ambiguous.
  3. [§5] The transition from the torsion rational function to its divisor in the application to L-functions (likely §5) would benefit from an explicit example computation for a small n (e.g., n=2) to illustrate the multiplicity extraction.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript, including the summary of our results on the divisor of the Reidemeister torsion for the family of odd-twisted Whitehead links W_{2n-1} and the applications to L-functions of universal deformations in characteristic p>2. The report recommends minor revision but lists no major comments. We therefore provide no point-by-point responses and note that we are happy to incorporate any minor changes requested by the editor.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper computes the divisor of the Reidemeister torsion explicitly on the irreducible components of the SL(2,C)-character varieties for the family of odd-twisted Whitehead links W_{2n-1}, proving multiplicity exactly two via direct description of the varieties, the torsion as a rational function, and the resulting divisors. No load-bearing step reduces by construction to a fitted parameter, self-citation chain, or imported uniqueness theorem; the argument is self-contained through explicit calculation rather than circular definitions or ansatzes.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review; no explicit free parameters, axioms, or invented entities can be extracted. The central claim rests on background facts about Reidemeister torsion and character varieties that are treated as standard in the field.

pith-pipeline@v0.9.0 · 5630 in / 1113 out tokens · 22319 ms · 2026-05-24T09:50:40.050067+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

24 extracted references · 24 canonical work pages

  1. [1]

    Baker and Kathleen L

    Kenneth L. Baker and Kathleen L. Petersen, Character varieties of once-punctured torus bundles with tunnel number one , Int. J. Math. 24 (2013), no. 6, 57 (English), Id/No 1350048

    work page 2013

  2. [2]

    Leo Benard, Torsion function on character varieties , Osaka J. Math. 58 (2021), no. 2, 291–318. MR 4301316

    work page 2021

  3. [3]

    Brown, Cohomology of groups

    Kenneth S. Brown, Cohomology of groups. , Graduate Texts in Mathematics, 87. New York- Heidelberg-Berlin: Springer-Verlag, 1982, p. 306

    work page 1982

  4. [4]

    Math., vol

    Henri Carayol, Formes modulaires et repr´ esentations galoisiennes ` a valeurs dans un anneau local complet, p-adic monodromy and the Birch and Swinnerton-Dyer conjecture (Boston, MA, 1991), Contemp. Math., vol. 165, Amer. Math. Soc., Providence, RI, 1994, pp. 213–237. MR 1279611 (95i:11059)

    work page 1991

  5. [5]

    3, 488–497

    Thomas A Chapman, Topological invariance of whitehead torsion, American Journal of Mathematics 96 (1974), no. 3, 488–497

    work page 1974

  6. [6]

    10, Springer Science & Business Media, 2012

    Marshall M Cohen, A course in simple-homotopy theory, vol. 10, Springer Science & Business Media, 2012

    work page 2012

  7. [7]

    Shalen, Varieties of group representations and splittings of 3-manifolds, Ann

    Marc Culler and Peter B. Shalen, Varieties of group representations and splittings of 3-manifolds, Ann. of Math. (2) 117 (1983), no. 1, 109–146. MR 683804

    work page 1983

  8. [8]

    Georges deRham, Introduction aux polynˆ omes d’un nœud., Enseign. Math. (2) 13 (1967), 187–194 (French). 21

    work page 1967

  9. [9]

    Dedicata 202 (2019), 81–101

    Antonin Guilloux and Pierre Will, On SL(3, C)-representations of the Whitehead link group , Geom. Dedicata 202 (2019), 81–101. MR 4001809

    work page 2019

  10. [10]

    52, Springer-Verlag, New York-Heidelberg, 1977

    Robin Hartshorne, Algebraic geometry, Graduate Texts in Mathematics, No. 52, Springer-Verlag, New York-Heidelberg, 1977. MR 0463157

    work page 1977

  11. [11]

    1, 55–98

    Michael Heusener, Vicente Munoz, and Joan Porti, The SL(3, C)-character variety of the figure eight knot, Illinois Journal of Mathematics 60 (2016), no. 1, 55–98

    work page 2016

  12. [12]

    Michael Heusener and Joan Porti, Representations of knot groups into SLn(C) and twisted Alexander polynomials., Pac. J. Math. 277 (2015), no. 2, 313–354 (English)

    work page 2015

  13. [13]

    Teruaki Kitano, Reidemeister Torsion of Seifert Fibered Spaces forSL(2; C)-Representations, Tokyo J. Math. 17 (1994), no. 1, 59–75

    work page 1994

  14. [14]

    Takahiro Kitayama, Masanori Morishita, Ryoto Tange, and Yuji Terashima, On certain L-functions for deformations of knot group representations , Trans. Amer. Math. Soc. 370 (2018), 3171–3195

    work page 2018

  15. [15]

    1991, Res

    Julien March´ e,Character varieties in SL2 and Kauffman Skein algebras , Topology, Geometry and Algebra of low-dimensional manifolds, RIMS Kˆ okyˆ uroku,, no. 1991, Res. Inst. Math. Sci. (RIMS), Kyoto, 4 2916, pp. 27–42

    work page 1991

  16. [16]

    Bruno Martelli and Carlo Petronio, Dehn filling of the “magic” 3-manifold , Comm. Anal. Geom. 14 (2006), no. 5, 969–1026. MR 2287152

    work page 2006

  17. [17]

    Barry Mazur, The theme of p-adic variation, Mathematics: frontiers and perspectives, Amer. Math. Soc., Providence, RI, 2000, pp. 433–459. MR 1754790 (2001i:11064)

    work page 2000

  18. [18]

    Masanori Morishita, Yu Takakura, Yuji Terashima, and Jun Ueki, On the universal deformations for SL2-representations of knot groups , Tohoku Math. J. (2) 69 (2017), no. 1, 67–84. MR 3640015

    work page 2017

  19. [19]

    Tran, Twisted Alexander polynomials of twisted Whitehead links , New York J

    Hoang-An Nguyen and Anh T. Tran, Twisted Alexander polynomials of twisted Whitehead links , New York J. Math. 25 (2019), 1240–1258. MR 4028833

    work page 2019

  20. [20]

    Louise Nyssen, Pseudo-repr´ esentations, Math. Ann. 306 (1996), no. 2, 257–283. MR 1411348 (98a:20013)

    work page 1996

  21. [21]

    Shafarevich, Basic algebraic geometry

    Igor R. Shafarevich, Basic algebraic geometry. 1 , third ed., Springer, Heidelberg, 2013, Varieties in projective space. MR 3100243

    work page 2013

  22. [22]

    Ryoto Tange, On adjoint homological selmer modules for sl2-augmented tautological representations of knot groups , Springer Proceedings in Mathematics & Statistics (PROMS), to appear (2023)

    work page 2023

  23. [23]

    15, 11690–11731

    Ryoto Tange, Anh T Tran, and Jun Ueki, Non-acyclic SL2-representations of twist knots, −3- Dehn surgeries, and L-functions, International Mathematics Research Notices 2022 (2021), no. 15, 11690–11731

    work page 2022

  24. [24]

    Tran, The A-polynomial 2-tuple of twisted Whitehead links , Int

    Anh T. Tran, The A-polynomial 2-tuple of twisted Whitehead links , Int. J. Math. 29 (2018), no. 2, 14 (English), Id/No 1850013. Email address : leo.benard@mathematik.uni-goettingen.de Mathematisches Institut, Georg–August Universit ¨at G ¨ottingen, Bunsenstra ße, 3-5, 37073 G ¨ottingen, Germany Email address : rtange.math@gmail.com Department of Mathemati...

    work page 2018