REVIEW 4 major objections 5 minor 1 cited by
Traceless $\mathrm{SU}(2)$ characters and $\mathbb{Z}/4$ instanton gradings for two-bridge and $(3,n)$-torus knots
T0 review · 4 major / 5 minor · reviewed 2026-08-03 · deepseek-v4-flash
Pith's one-line read For (3,n)-torus knots, the paper computes the singular instanton chain complex as (1+a,a,a,a), shows its rank often exceeds the actual homology by 2, and pins the rank to the Alexander polynomial; it also proves two-bridge knots have only b
desk verdict A transparent, useful consolidation with a clean new dichotomy for (3,n)-torus knots and an explicit Riley product, but the n≡5 graded chain complex rests on a numerically verified, unproved even split. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The pillowcase P=(R/2πZ)^2/ι, the traceless SU(2) character variety of the four-punctured sphere, is the central object; its intersection points for a knot are exactly the traceless representations of the knot group, which are the generators of the singular instanton chain complex. The workhorse identities are the traceless Riley polynomial φ_p(u)=∏(u+4 sin²(πk/p)) for two-bridge knots, the admissible representation-arc count for (3,n)-torus knots, and the Z/4 grading formula µ(α)=1/2 gr(α)+1/4(1-ρ_{Ad α}) built from the Fintushel-Stern index gr(α) and equivariant ρ-invariant; the paper evaluates these on the double branched cover Σ(2,3,n) to obtain gradings splitting evenly between 1 and 3.
What would settle it
Evaluate the spectral-flow grading formulas (3)–(4) for an odd n≡5 (mod 6) larger than 43—say n=47 or 53—and check whether the a irreducible connections of Σ(2,3,n) split evenly between grades 3 and 1. If they do not, the chain complex (1+a,a,a,a) and the derived ranks for n≡5 are wrong. A complementary check is a direct computation of the reduced singular instanton homology of T(3,11), which the paper predicts to have rank 15.
Extended reading notes
Core claim
The paper's central discovery is a precise dichotomy inside the traceless SU(2) character variety. Two-bridge knots are entirely metabelian: every irreducible traceless representation is binary-dihedral, the (p-1)/2 characters lie at meridian-pair angles cos(2πk/p) independent of q, and the traceless Riley polynomial has the explicit factorized form φ_p(u)=∏_{k=1}^{(p-1)/2}(u+4 sin²(πk/p)), with constant term det K. The (3,n)-torus knots are the exact opposite: for n odd every irreducible traceless character is non-dihedral. Passing to the double branched cover Σ(2,3,n), the paper evaluates the Fintushel-Stern spectral-flow index and equivariant ρ-invariant to show that the Z/4 gradings of t
Load-bearing premise
The load-bearing assumption is that the Z/4 gradings split evenly (a/2 in grading 1 and a/2 in grading 3) for every odd n, including n≡5 (mod 6); the paper proves this split only for n≡1 (mod 6) and verifies it numerically for all odd n≤43, so an uneven split at some larger n≡5 would invalidate the chain complex (1+a,a,a,a) and the rank formula.
Editorial extensions
If this is right
- For every two-bridge knot, the pillowcase generators coincide exactly with the (p-1)/2 binary-dihedral characters, independent of q, so the reduced instanton homology has rank det(K) with vanishing differential, as the classical theorem states.
- For (3,n)-torus knots with n odd, the chain complex has rank 1+4a and the homology rank is the sum of absolute Alexander coefficients; this gives a large family of knots whose instanton homology is not thin.
- T(3,5)=P(-2,3,5)=10_124 has reduced singular instanton homology of rank 7, not 9.
- The differential for T(3,4)=8_19 is a single rank-one map from a grading-3 generator to a grading-2 generator, induced by a corner figure-eight bigon, which explains its non-thinness.
- The traceless character count N(3,n)=2a determines the signature via σ=-2N(3,n), giving a direct bridge between traceless representation counts and knot signature.
Reading between the lines
- If the even split of Z/4 gradings holds for all n≡5 (mod 6), as the n≤43 evidence suggests, the rank formula rank I^natural = ∑|Δ| would follow for the entire odd (3,n) family; proving the split analytically is the natural next step.
- The corner-bigon mechanism identified for T(3,4) suggests that for all even n the irreducible-to-reducible differential may be rank one, which would pin the instanton homology of every (3,n)-torus knot; the paper leaves this open beyond n=4.
- The explicit product form of φ_p might give a direct route to the full singular-instanton chain complex of two-bridge knots, potentially bypassing pillowcase analysis.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the representation-theoretic input to the pillowcase side of the knot Atiyah–Floer conjecture for two families. For two-bridge knots b(p,q), it proves Theorem 1.1: every irreducible traceless SU(2) character is binary-dihedral, and the traceless Riley polynomial is the explicit product φ_p(u)=∏(u+4sin²(πk/p)). For (3,n)-torus knots, it computes the traceless character count and a dihedral dichotomy (Theorem 1.2, Proposition 4.1). Passing to the double branched cover Σ(2,3,n), it evaluates the Fintushel–Stern index and equivariant ρ-invariant to obtain Z/4 gradings, claiming for odd n the chain complex IC♮(T(3,n))=(1+a,a,a,a), a=−σ/4, with vanishing differential for n≡1 mod 6 and a rank-one differential for n≡5 mod 6. It also discusses the 8_19=T(3,4) differential and its interpretation as a corner figure-eight bigon. The paper is careful to distinguish proved results, classical facts, and cited computations, and it includes reproducible Python verification programs.
Significance. If the claims are fully justified, the paper gives a clean and useful account of two-bridge pillowcase generators, a complete count of traceless characters for (3,n)-torus knots, and a concrete graded-chain prediction for their reduced singular instanton homology. The two-bridge theorem is elementary but neatly packaged, and the explicit product formula for the traceless Riley polynomial is a nice reference point. The torus-knot character count is clearly derived and independently checkable. The paper also deserves credit for shipping machine-checked exact-arithmetic programs and for being unusually explicit about which parts are proved, which are classical, and which are numerically verified. The main value would be the proposed chain complex and rank formula for T(3,n); however, the n≡5 mod 6 even-split statement is not proved for the infinite family and currently rests on a finite check, so the central chain-level claim is not yet established as stated.
major comments (4)
- [§5.2, Proposition 5.2] The even grading split for n≡5 mod 6 is not proved. The text says the split is 'verified here by direct evaluation of (3)–(4) for all odd n≤43', with an analytic proof only for n≡1 mod 6 (attributed to Anvari). This is a load-bearing point: the split is what converts the a irreducible connections into the rank vector (a,a,a,a), hence into IC♮=(1+a,a,a,a), and it is what makes the differential a single rank-one map C3→C2 in the n≡5 case. If a larger n≡5 had c1≠c3 gradings, the complex would instead be (1+2c3, 2c1, 2c1, 2c3), and the claim 'rank ∂=1' would not follow. The ungraded rank formula rank I♮=∑|Δ| survives via the Alexander lower bound and Khovanov upper bound, but the chain-level statement and the differential are not established for the infinite family. Please either supply an analytic proof of the even split for all n≡5, or state Proposition 5.2 and the abstract claims with an
- [§7 (also §5.2)] The quotation of [DS24] appears inconsistent with the paper's own chain complex and homology for odd n. The text states that for every torus knot the irreducible singular instanton homology has rank vector (0,⌈−σ/4⌉,0,⌊−σ/4⌋) with vanishing differential. For T(3,5), a=2, Proposition 5.2 gives the irreducible part of the chain complex as (2,2,2,2), and after the rank-one differential the irreducible homology is (2,2,1,1), total 6; the displayed [DS24] vector is (0,2,0,2), total 4. For n≡1 mod 6 the discrepancy is even larger: irreducible homology would be (a,a,a,a), total 4a, versus (0,a,0,a), total 2a. Please specify exactly which homology theory [DS24] computes and how it relates to the reduced singular instanton complex IC♮ used in this paper, or the 'instanton side' discussion is internally inconsistent.
- [§6.1–6.3] The 'structural derivation' of the 8_19 differential is not a prediction from the character count alone. The finite search in §6.1 selects the unique differential compatible with the homology (2,1,1,1), which is taken from Poudel–Saveliev's computation. Thus the derivation is independent of Hedden–Herald–Kirk's geometric construction only in the sense that it uses a known homology to infer the differential; it is not independent of the instanton computation. The sentence in §6.3 claiming that the differential is predicted 'from the character count alone' overstates the logic. The explicit bigon is correctly attributed to [HHK18], and the structural match is a useful consistency check, but the retroductive character should be stated plainly.
- [§5, Eq. (2) and Prop. 5.2] The assertion that the number of admissible m3 values in the spherical-triangle inequalities is exactly a=−σ(T(3,n))/4 is also only numerically verified for odd n≤43. This equality is used to identify the character count N(3,n) with 2a and to express the chain complex via the signature. Please either prove this count from the triangle inequalities together with the standard signature formula for (3,n)-torus knots, or give a precise reference; a finite verification does not establish the infinite-family statement.
minor comments (5)
- [§7] The formula 'C♮(T(3,n)) = N−1/2 irreducibles | 4 generators each' should read '(N−1)/2 irreducibles' or be typeset unambiguously; as written it is easy to misread.
- [§6.1–6.2] Please clarify whether the target of the 8_19 bigon is the trivial generator Θ or the corner generator r+ of the earring. Section 6.1 says 'the reducible/Θ, a corner point', while Section 6.2 describes r+ as the target and identifies Θ separately. These two descriptions should be reconciled explicitly.
- [§5.2] The citation '[Anv16, Ex. 6.2] proves this family' needs checking: Example 6.2 of Anvari appears to be a specific example, and the sentence suggests a theorem. Please give the exact statement or theorem number.
- [§3.1] The notation for the Riley polynomial alternates between Φ_{p,q}(i,u) in §3.1 and φ_p(u) in the theorem. Please state the relation once and keep the notation consistent.
- [Table 1] The numeric columns in Table 1 are not aligned in the version provided; please ensure the rank rows are readable and the bold n≡5 entries are clearly marked.
Circularity Check
One retroductive 'prediction' in the 8_19 differential; the infinite-family rank formula and two-bridge rigidity are independently supported.
-
fitted input called prediction
[Section 6.1, 'A nonzero differential: 8_19 = T(3,4)']
"A finite search over grading-respecting differentials shows that the only differential compatible with homology (2, 1, 1, 1) is a single rank-one map ∂3 : C3 → C2: one bigon from a grading-3 generator (a lift of the irreducible, an interior point) to a grading-2 generator (the reducible/Θ, a corner point). This derivation is independent of [HHK18], and it predicts an interior-to-corner bigon."
The homology (2,1,1,1) is I♮(8_19), an input already available from [PS17]: §6.1 had just matched the chain complex to 'the instanton computation of Poudel–Saveliev [PS17, Ex. 7.9]', and §6.2 identifies the same vector as '= I♮(8_19)'. The uniqueness search therefore selects the differential that reproduces the known target homology; this is fitting the output rather than predicting it. Describing the result as an independent 'prediction' from the character count is retroductive—the bigon is determined by constraints that include the very homology it is claimed to predict.
full rationale
The central derivation is largely non-circular. Theorem 1.1 (two-bridge dihedral rigidity and the Riley product) is proved from the Riley degree bound and the metabelian representation count; Proposition 4.1 is a self-contained counting argument; the grading formula (3)-(4) is evaluated and calibrated against Anvari [Anv16] and Poudel–Saveliev [PS17]; and the homology rank formula for T(3,n) is pinned by the external Alexander lower bound and the Khovanov upper bound (with rank gKh = sum |Δ| from Turner/Shumakovitch). These checks make the infinite-family rank statements independent of the paper's own fits. I also note a real limitation that is not circularity: Proposition 5.2's even split of Z/4 gradings for n ≡ 5 (mod 6) is only 'verified here by direct evaluation of (3)–(4) for all odd n ≤ 43', with no analytic proof for the infinite family; the paper flags this itself. The one genuine circular-flavored step is the 8_19 differential in §6.1, where the target homology from [PS17] is used to choose the unique grading-respecting differential and the result is then called a prediction. This is peripheral rather than load-bearing for the main rank formula, so the score is 3 rather than higher. Self-citations [Wue26] are pointers to a companion paper and are not load-bearing.
Assumptions & free parameters
assumptions (6)
- domain assumption Traceless flat SU(2) representations of a knot group generate the reduced singular instanton chain complex, via the pillowcase Lagrangians.
- standard math Riley's parametrization of nonabelian SL(2,C) representations of two-bridge knots: a polynomial Φ_{p,q}(s,u) of degree (p−1)/2 in u, with traceless locus s=i.
- standard math The number of irreducible metabelian (binary-dihedral) representations of a knot with |H1(Σ2)| = p odd is (p−1)/2.
- domain assumption The Fintushel–Stern index formula (Eq. 3) and the equivariant ρ-invariant formula (Eq. 4) compute the Z/4 spectral-flow gradings of flat connections on Σ(2,3,n).
- domain assumption Alexander and Khovanov bounds: ∑|Δ| ≤ rank I♮ ≤ rank gKh, and for (3,n)-torus knots rank gKh = ∑|Δ| over Q.
- domain assumption Daemi–Scaduto's theorem: the irreducible part of singular instanton homology of torus knots has vanishing differential.
Cite this review
Pith. "Pith review of Traceless $\mathrm{SU}(2)$ characters and $\mathbb{Z}/4$ instanton gradings for two-bridge and $(3,n)$-torus knots." pith.science (2026). https://pith.science/paper/5SDFIAL2
@misc{pith2026260726095,
author = {Pith},
title = {Pith review of: Traceless $\mathrmSU(2)$ characters and $\mathbbZ/4$ instanton gradings for two-bridge and $(3,n)$-torus knots},
year = {2026},
howpublished = {\url{https://pith.science/paper/5SDFIAL2}},
note = {Machine review of arXiv:2607.26095}
}
abstract
We assemble, and where possible independently verify, the representation-theoretic data underlying the pillowcase (symplectic) side of the Atiyah-Floer conjecture for knots, for two-bridge knots and $(3,n)$-torus knots. For a two-bridge knot $b(p,q)$ we give a short self-contained proof that every irreducible traceless $SU(2)$ representation is binary-dihedral; these are the $(p-1)/2$ dihedral characters at meridian angles $\cos(2\pi k/p)$, independent of $q$, and the traceless Riley polynomial is the explicit product $\phi_p(u)=\prod_k (u+4\sin^2(\pi k/p))$, monic of degree $(p-1)/2$ with constant term $\det K$. This gives a transparent account of the Hedden-Herald-Kirk theorem that pillowcase homology equals reduced singular instanton knot homology $I^\natural$ on this family, and of why the figure-eight bubbling and bounding cochains obstructing the general conjecture are structurally inert there. For the $(3,n)$-torus knots we compute the full traceless character variety and prove a dichotomy: exactly $(\det-1)/2$ characters are dihedral, so for $n$ odd every irreducible traceless character is non-dihedral. Passing to the double branched cover $\Sigma(2,3,n)$, we self-compute the $\mathbb{Z}/4$ spectral-flow gradings of the generators from the Fintushel-Stern index and the equivariant $\rho$-invariant, calibrated against the Poudel-Saveliev and Anvari computations; for $n$ odd the gradings split evenly between $1$ and $3$, giving the chain complex $IC^\natural(T(3,n))=(1+a,a,a,a)$, $a=-\sigma/4$. The homology equals this for $n\equiv 1\pmod 6$ (differential zero) but is smaller by $2$ for $n\equiv 5$, where it is nonzero: rank $I^\natural=\sum_i|\Delta_{T(3,n)}|$ throughout, and $T(3,5)=P(-2,3,5)=10_{124}$ has rank $7$, not $9$. We reproduce the first nonzero pillowcase differential, for $8_{19}=T(3,4)$, and identify it as the corner figure-eight bigon absent on two-bridge knots.
Figures
Forward citations
Cited by 1 Pith paper
-
The instanton homology of the $(-2,3,q)$ pretzel knots and computed bounding cochains in the pillowcase
For every odd q≥3, the reduced singular instanton knot homology of P(-2,3,q) has rank q+2, and explicit pillowcase bounding cochains are computed that cancel or create one differential to match this rank.
Reference graph
Works this paper leans on
-
[1]
Anvari, Equivariant rho-invariants and instanton homology of torus knots, arXiv:1609.05025
N. Anvari, Equivariant rho-invariants and instanton homology of torus knots, arXiv:1609.05025
-
[2]
M. F. Atiyah, New invariants of 3 - and 4 -dimensional manifolds, in The mathematical heritage of Hermann Weyl, Proc.\ Sympos.\ Pure Math.\ 48 (1988), 285--299
1988
-
[3]
D. Auroux, Lagrangian Floer theory, from geometry to algebra and back again, survey, to appear in Proceedings of the ICM 2026. arXiv:2510.22476
arXiv 2026
-
[4]
G. Cazassus, C. Herald, P. Kirk, A. Kotelskiy, The correspondence induced on the pillowcase by the earring tangle, J.\ Topol.\ 15 (2022), 2472--2543. arXiv:2010.04320
arXiv 2022
-
[5]
I. Dai, A. Mallick, M. Taniguchi, Exotic disks and singular instanton Floer homology, arXiv:2606.05819
- [6]
-
[7]
Dostoglou, D
S. Dostoglou, D. Salamon, Self-dual instantons and holomorphic curves, Ann.\ of Math.\ 139 (1994), 581--640
1994
-
[8]
Fintushel, R
R. Fintushel, R. Stern, Instanton homology of Seifert fibred homology three spheres, Proc.\ London Math.\ Soc.\ 61 (1990), 109--137
1990
Show all 22 references
-
[9]
Hedden, C
M. Hedden, C. Herald, P. Kirk, The pillowcase and perturbations of traceless representations of knot groups, Geom.\ Topol.\ 18 (2014), 211--287. arXiv:1301.0164
2014 arXiv
-
[10]
Hedden, C
M. Hedden, C. Herald, P. Kirk, The pillowcase and traceless representations of knot groups II: a Lagrangian--Floer theory in the pillowcase, J.\ Symplectic Geom.\ 16 (2018), 721--815. arXiv:1501.00028
2018 arXiv
-
[11]
Herald, P
C. Herald, P. Kirk, An endomorphism on immersed curves in the pillowcase, arXiv:2407.11247
-
[12]
Klassen, Representations of knot groups in , Trans.\ Amer.\ Math.\ Soc.\ 326 (1991), 795--828
E. Klassen, Representations of knot groups in , Trans.\ Amer.\ Math.\ Soc.\ 326 (1991), 795--828
1991
-
[13]
Kronheimer, T
P. Kronheimer, T. Mrowka, Knot homology groups from instantons, J.\ Topol.\ 4 (2011), 835--918. arXiv:0806.1053
2011 arXiv
-
[14]
Kronheimer, T
P. Kronheimer, T. Mrowka, Khovanov homology is an unknot-detector, Publ.\ Math.\ IH\'ES 113 (2011), 97--208. arXiv:1005.4346
2011 arXiv
-
[15]
Lim, Instanton homology and the Alexander polynomial, Proc.\ Amer.\ Math.\ Soc.\ 138 (2010), 3759--3768
Y. Lim, Instanton homology and the Alexander polynomial, Proc.\ Amer.\ Math.\ Soc.\ 138 (2010), 3759--3768
2010
-
[16]
Lin, A knot invariant via representation spaces, J.\ Differential Geom.\ 35 (1992), 337--357
X.-S. Lin, A knot invariant via representation spaces, J.\ Differential Geom.\ 35 (1992), 337--357
1992
-
[17]
Poudel, N
P. Poudel, N. Saveliev, Link homology and equivariant gauge theory, Algebr.\ Geom.\ Topol.\ 17 (2017), 2635--2685. arXiv:1502.03116
2017 arXiv
-
[18]
Riley, Nonabelian representations of 2 -bridge knot groups, Quart.\ J.\ Math.\ Oxford 35 (1984), 191--208
R. Riley, Nonabelian representations of 2 -bridge knot groups, Quart.\ J.\ Math.\ Oxford 35 (1984), 191--208
1984
-
[19]
Shumakovitch, Torsion of the Khovanov homology, Fund.\ Math.\ 225 (2014), 343--364
A. Shumakovitch, Torsion of the Khovanov homology, Fund.\ Math.\ 225 (2014), 343--364. arXiv:math/0405474
2014 arXiv
-
[20]
Smith, Perturbed traceless character varieties of tangle sums, arXiv:2412.06066
K. Smith, Perturbed traceless character varieties of tangle sums, arXiv:2412.06066
-
[21]
Turner, A spectral sequence for Khovanov homology with an application to (3,q) -torus links, Algebr.\ Geom.\ Topol.\ 8 (2008), 869--884
P. Turner, A spectral sequence for Khovanov homology with an application to (3,q) -torus links, Algebr.\ Geom.\ Topol.\ 8 (2008), 869--884. arXiv:math/0606369
2008 arXiv
-
[22]
B. J. Wuebben, The instanton homology of the (-2,3,q) pretzel knots and computed bounding cochains in the pillowcase, companion paper, arXiv:2607.26096
Reviewed August 3, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.