arxiv: 2605.13288 · v1 · submitted 2026-05-13 · 🧮 math.GT

Recognition: 2 theorem links

· Lean Theorem

Twisted Alexander polynomials of a knot for group extensions

Katsumi Ishikawa , Takayuki Morifuji , Masaaki Suzuki

Authors on Pith no claims yet

Pith reviewed 2026-05-14 18:59 UTC · model grok-4.3

classification 🧮 math.GT

keywords twisted Alexander polynomialknotgroup extensionregular representationmod p formulacentral extensionvanishing groupnon-fibered knot

0 comments

The pith

A mod p formula is given for the twisted Alexander polynomial of a knot using the regular representation of a finite group.

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

The paper derives two families of results on twisted Alexander polynomials of knots under group extensions of finite groups. It first supplies an explicit congruence that reduces the polynomial modulo any prime p when the representation is the regular one on a knot in the 3-sphere. It next obtains recursive or series expressions for the polynomials attached to successive central extensions of the base group. The formulas are then applied directly to the vanishing groups and their orders for non-fibered knots.

Core claim

We provide a mod p formula for the twisted Alexander polynomial of a knot in the 3-sphere associated with the regular representation of a finite group. We also consider twisted Alexander polynomials of a knot for a series of central extensions of a finite group. These formulas are applied to the study of twisted Alexander vanishing groups and orders for non-fibered knots.

What carries the argument

The mod p reduction formula for the twisted Alexander polynomial attached to the regular representation of a finite group.

If this is right

The mod p formula permits direct calculation of the polynomial inside finite fields rather than over the integers.
The central-extension series yields an inductive relation between polynomials at successive levels of the extension.
Vanishing orders of the twisted Alexander polynomial become computable for any non-fibered knot once the base group is fixed.
The same reduction technique applies uniformly to all finite groups, independent of their specific structure beyond finiteness.

Where Pith is reading between the lines

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

The mod p reduction may extend to other linear representations of finite groups beyond the regular one.
Explicit calculations for small knots and small groups could produce tables of vanishing orders that reveal new knot invariants.
The central-extension formulas might link to cohomology or representation theory of 3-manifold fundamental groups.
Similar congruence techniques could be tested on other knot polynomials such as the Jones polynomial under finite-group actions.

Load-bearing premise

The knot lies in the 3-sphere and the representation is the regular representation of a finite group.

What would settle it

Compute the twisted Alexander polynomial directly for the trefoil knot with the regular representation of the cyclic group of order 2, reduce it modulo a small prime p, and check whether the result matches the congruence predicted by the formula.

read the original abstract

In this paper, we discuss twisted Alexander polynomials of a knot for group extensions of a finite group in two directions. Firstly, we provide a mod $p$ formula for the twisted Alexander polynomial of a knot in the $3$-sphere associated with the regular representation of a finite group. Secondly, we consider twisted Alexander polynomials of a knot for a series of central extensions of a finite group. Moreover, we apply these formulas for twisted Alexander polynomials to the study of twisted Alexander vanishing groups and orders for non-fibered knots.

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.

Desk Editor's Note private letter to a colleague

The paper gives a mod p formula for twisted Alexander polynomials via regular representations of finite groups plus results for central extensions, which is honest incremental work using standard tools.

read the letter

The main new pieces are the mod p formula for the twisted Alexander polynomial tied to the regular representation of a finite group, and the treatment of a series of central extensions. They reduce the mod p case to the untwisted one by decomposing the regular representation into irreducibles, then apply the Torres formula and Fox calculus over F_p. The central extension part lifts the representation through the extension class and tracks the resulting module. Both steps line up with the background results cited in the abstract and stress-test note, so the derivations look internally consistent rather than circular or invented. They then use the formulas to look at vanishing orders and groups for non-fibered knots, which follows directly without extra unstated restrictions. What the paper does well is supply explicit computational handles for these narrow cases; anyone who needs to compute twisted Alexander polynomials for regular representations or central extensions now has concrete formulas to try. The soft spots are modest and expected for this corner of the literature: the scope is specialized, so the audience stays small, and the abstract gives no worked examples or numerical checks. If the full text includes even one concrete knot computation that matches known values, that would strengthen it, but nothing in the given material suggests a load-bearing flaw. This is for people already working on twisted Alexander invariants and finite-group representations in knot theory. A reader who cares about computational tools in that subfield will find usable formulas here. I would send it to peer review; the claims rest on standard methods and are specific enough that referees can check them directly.

Referee Report

2 major / 2 minor

Summary. The paper derives a mod p formula for the twisted Alexander polynomial of a knot in S^3 associated to the regular representation of a finite group G by decomposing the regular representation into irreducibles, reducing to the untwisted case via the Torres formula and Fox calculus over F_p. It further obtains formulas for twisted Alexander polynomials under central extensions of G by lifting the representation through the extension class and tracking the resulting module structure. These formulas are applied to compute vanishing orders and groups for non-fibered knots.

Significance. If the derivations are correct, the work supplies explicit, computable extensions of twisted Alexander invariants to regular representations and central extensions, directly yielding vanishing-order criteria that distinguish non-fibered knots. The mod-p reduction and module-theoretic lifting are standard techniques in the field but are here made explicit for these group-theoretic settings, increasing the range of knots for which vanishing can be checked algorithmically.

major comments (2)

[§3] §3, the proof of the mod-p formula: the multiplicity of the trivial summand in the regular representation over F_p is not addressed when p divides |G|; this affects whether the twisted polynomial is exactly the untwisted one or acquires an extra factor, which is load-bearing for the claimed vanishing-order applications in §5.
[§4] §4, central-extension case: the lifting of the representation through the extension class produces a module whose order is claimed to be given by a product formula, but the precise relation between the extension class in H^2(G; Z/p) and the resulting Alexander module is stated without an explicit cocycle computation or reference to the relevant spectral-sequence page.

minor comments (2)

[§2, §4] The notation for the twisted Alexander polynomial Δ_K^ρ(t) is introduced in §2 but the variable t is sometimes omitted in the central-extension formulas of §4; consistent use would improve readability.
[Table 1] Table 1 listing example knots and groups lacks a column for the prime p used in the mod-p computation, making direct verification of the formulas harder.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments. We address the major comments point by point below and will revise the manuscript accordingly.

read point-by-point responses

Referee: [§3] §3, the proof of the mod-p formula: the multiplicity of the trivial summand in the regular representation over F_p is not addressed when p divides |G|; this affects whether the twisted polynomial is exactly the untwisted one or acquires an extra factor, which is load-bearing for the claimed vanishing-order applications in §5.

Authors: We agree that the case p dividing |G| requires explicit treatment. Over F_p with p | |G|, the regular representation is not semisimple and the trivial summand appears with multiplicity one, but the module structure involves the augmentation ideal. Our derivation in §3 uses the decomposition into irreducibles, which holds precisely when p does not divide |G|. We will revise the statement of the main theorem in §3 to include this hypothesis and add a remark explaining the adjustment (an extra factor from the norm map) when p | |G|. The applications to vanishing orders in §5 will be restricted to the range where the hypothesis holds, with a note on the exceptional case. revision: yes
Referee: [§4] §4, central-extension case: the lifting of the representation through the extension class produces a module whose order is claimed to be given by a product formula, but the precise relation between the extension class in H^2(G; Z/p) and the resulting Alexander module is stated without an explicit cocycle computation or reference to the relevant spectral-sequence page.

Authors: We thank the referee for this observation. The product formula follows from the action of the extension class via the Lyndon-Hochschild-Serre spectral sequence associated to the central extension. We will add a short explicit computation with a representative 2-cocycle in H^2(G; F_p) together with a reference to the relevant page of the spectral sequence (the differential on the E_2^{2,0} term) in the revised §4. This will make the module structure and the resulting order formula fully transparent. revision: yes

Circularity Check

0 steps flagged

No significant circularity in derivation chain

full rationale

The paper derives the mod p formula for the twisted Alexander polynomial via decomposition of the regular representation into irreducibles, reduction to the untwisted case, and application of the standard Torres formula together with Fox calculus over F_p. The central extension case proceeds by lifting the representation through the extension class and tracking the module structure. Both steps rely on established background results in knot theory rather than self-definitions, fitted inputs renamed as predictions, or load-bearing self-citation chains. No equations reduce the claimed formulas to their own inputs by construction, and the applications to vanishing orders follow directly from the derived expressions.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review supplies no explicit free parameters, axioms, or invented entities; the work appears to rest on standard definitions of twisted Alexander polynomials and group representations from prior literature.

pith-pipeline@v0.9.0 · 5377 in / 1032 out tokens · 38287 ms · 2026-05-14T18:59:55.908874+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem 3.1 ... Δ_ρ∘f_K(t) ≡ (Δ_ρ̃∘f_K(t))^{p^n} (mod p) ... via block-triangular decomposition of the F_p-regular representation
IndisputableMonolith/Foundation/DimensionForcing.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem 4.2 ... Δ_ρn∘fn_K(t) = ∏_{j=0}^{n-1} Δ_ρ̃1∘fn_K (e^{2π i j t / kn}) ... via character sum over central extension

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

16 extracted references · 16 canonical work pages

[1]

J. L. Alperin,Local representation theory. Modular representations as an introduction to the local representation theory of finite groups. Cambridge Studies in Advanced Mathematics, 11. Cambridge University Press, Cambridge, 1986. x+178 pp

work page 1986
[2]

Boden and S

H. Boden and S. Friedl,MetabelianSL(n,C)representations of knot groups IV: twisted Alexander polynomials, Math. Proc. Cambridge Philos. Soc.156(2014), 81–97

work page 2014
[3]

J. C. Cha,Fibred knots and twisted Alexander invariants, Trans. Amer. Math. Soc.355 (2003), 4187–4200

work page 2003
[4]

Friedl and S

S. Friedl and S. Vidussi,Twisted Alexander polynomials detect fibered3-manifolds, Ann. of Math.173(2011), 1587–1643

work page 2011
[5]

Friedl and S

S. Friedl and S. Vidussi,A vanishing theorem for twisted Alexander polynomials with appli- cations to symplectic4-manifolds, J. Eur. Math. Soc.15(2013), 2027–2041

work page 2013
[6]

H. Goda, T. Kitano and T. Morifuji,Reidemeister torsion, twisted Alexander polynomial and fibered knots, Comment. Math. Helv.80(2005), 51–61

work page 2005
[7]

Gonz´ alez-Acu˜ na,Homomorphs of knot groups, Ann

F. Gonz´ alez-Acu˜ na,Homomorphs of knot groups, Ann. of Math.102(1975), 373–377

work page 1975
[8]

GroupNames, https://people.maths.bris.ac.uk/ ∼matyd/GroupNames/index.html

work page
[9]

Ishikawa, T

K. Ishikawa, T. Morifuji, and M. Suzuki,Twisted Alexander vanishing order of knots, Ann. Inst. Fourier (to appear)

work page
[10]

Ishikawa, T

K. Ishikawa, T. Morifuji, and M. Suzuki,Twisted Alexander vanishing order of knots II, arXiv:2510.574

work page
[11]

Ishikawa, T

K. Ishikawa, T. Morifuji, and M. Suzuki,Twisted Alexander vanishing groups of knots, preprint, 2026

work page 2026
[12]

Johnson,Homomorphs of knot groups, Proc

D. Johnson,Homomorphs of knot groups, Proc. Amer. Math. Soc.78(1980), 135–138

work page 1980
[13]

Lin,Representations of knot groups and twisted Alexander polynomials, Acta Math

X.-S. Lin,Representations of knot groups and twisted Alexander polynomials, Acta Math. Sin. (Engl. Ser.)17(2001), 361–380

work page 2001
[14]

Morifuji and M

T. Morifuji and M. Suzuki,On a theorem of Friedl and Vidussi, Internat. J. Math.33(2022), 2250085, 14pp

work page 2022
[15]

Morifuji and M

T. Morifuji and M. Suzuki,Twisted Alexander polynomials of knots associated to the regular representations of finite groups, arXiv:2311.15484

work page arXiv
[16]

Wada,Twisted Alexander polynomial for finitely presentable groups, Topology33(1994), 241–256

M. Wada,Twisted Alexander polynomial for finitely presentable groups, Topology33(1994), 241–256. Research Institute for Mathematical Sciences, Kyoto University, Kyoto 606-8502, Japan Email address:katsumi@kurims.kyoto-u.ac.jp Department of Mathematics, Hiyoshi Campus, Keio University, Yokohama 223-8521, Japan Email address:morifuji@keio.jp Department of F...

work page 1994