pith. sign in

arxiv: 2401.00262 · v2 · submitted 2023-12-30 · 🧮 math.GT · math.CO· math.QA

Finiteness conjecture for 3-manifolds obtained from handlebodies by attaching 2-handles

Hiroaki Karuo , Zhihao Wang This is my paper

Pith reviewed 2026-05-24 04:51 UTC · model grok-4.3

classification 🧮 math.GT math.COmath.QA
keywords Witten finiteness conjectureskein modules3-manifolds with boundaryhandlebodies2-handlesgenus 2genus 3
0
0 comments X

The pith

An equivalent formulation of the generalized Witten finiteness conjecture is proved for several classes of 3-manifolds from genus-2 and genus-3 handlebodies with attached 2-handles.

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

The paper examines the generalized Witten finiteness conjecture, which concerns whether skein modules of oriented compact 3-manifolds with boundary are finite-dimensional. It introduces an equivalent statement of the conjecture expressed through handlebodies and the attachment of 2-handles. This reformulation is then used to establish the conjecture for certain explicit families where the underlying handlebody has genus 2 or 3. A sympathetic reader would care because the conjecture controls the dimensionality of a key quantum invariant, directly affecting whether these invariants can be computed explicitly or used to distinguish manifolds.

Core claim

The paper formulates an equivalent version of the generalized Witten finiteness conjecture using handlebodies and 2-handles, and proves the conjecture for some classes with the handlebodies of genus 2 and 3 using the equivalent version.

What carries the argument

The equivalent formulation of the generalized finiteness conjecture that reduces the original statement on skein modules to questions about handlebodies of genus 2 and 3 after 2-handles are attached.

If this is right

  • The skein modules of the specific classes of 3-manifolds considered are finite-dimensional.
  • The handlebody-plus-2-handles description suffices to decide finiteness for those classes.
  • Any manifold in the proved families admits a finite basis for its skein module that can be read off from the handlebody data.

Where Pith is reading between the lines

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

  • The same reduction technique may apply to higher-genus handlebodies if an analogous equivalence can be established.
  • The combinatorial description in terms of 2-handles could be used to test the conjecture on larger families by direct computation of skein relations.
  • If the equivalence holds in general, the original conjecture reduces to a question about attaching maps on a fixed handlebody rather than arbitrary 3-manifolds.

Load-bearing premise

The version of the generalized Witten finiteness conjecture formulated using handlebodies and attaching 2-handles is equivalent to the original statement for skein modules of oriented compact 3-manifolds with boundary.

What would settle it

An explicit 3-manifold obtained from a genus-2 or genus-3 handlebody by attaching 2-handles whose skein module is infinite-dimensional over the appropriate coefficient field would falsify the proved cases.

Figures

Figures reproduced from arXiv: 2401.00262 by Hiroaki Karuo, Zhihao Wang.

Figure 1
Figure 1. Figure 1: Left: a pair of pants with a part of the dual graph (the blue graph), Middle and Right: each bold arc is an embedded arc in a pair of pants whose endpoints avoid the part of the dual graph. We will use the pants decompositions depicted in Figures 2 and 5 for ∂H2 and ∂H3 respectively [PITH_FULL_IMAGE:figures/full_fig_p006_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: The bold curves on ∂H2 are C1, C3, C2 from left to right and the blue graph is a dual graph. 2.3. Generating sets and bases for H2 and H3. For any non-negative integer m, let Σ m 0 denote the surface obtained from S 2 by removing m open disks. Then Hg can be regarded as Σg+1 0 × [0, 1] [PITH_FULL_IMAGE:figures/full_fig_p006_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Σ 3 0 and algebraic generators x, y, z in Σ3 0 The ground ring R = Z[q ±1 ] (the Laurent polynomial ring in q with integer coefficients) in Lemmas 2.8–2.10. The following result is well-known. Lemma 2.8. For any The skein algebra Sq(Σ3 0 ) is isomorphic to R[x, y, z]. For a polynomial P(x, z, y) = P i,j,k c(i, j, k)x i z j y k ∈ Q(q)[x, z, y], c(i, j, k) ∈ Q(q), its (x, z; y)-degree is the maximum number a… view at source ↗
Figure 4
Figure 4. Figure 4: The algebraic generators s1, s2, s3, s12, s13, s23, s123 of Sq(Σ4 0 ). For later convenience, for any ⃗k = (k1, k2, k3, k12, k13, k23, k123) ∈ N 7 , put s ⃗k := s k1 1 s k2 2 s k3 3 s k12 12 s k13 13 s k23 23 s k123 123 ∈ Sq(Σ4 0 ), s(⃗k) := 3(k1 + k2 + k3 + k123) + 4(k12 + k13 + k23), s ′ ( ⃗k) := 2(k1 + k2) + k3 + 2k12 + 3(k13 + k23 + k123). (2.1) Let Λ denote the subset of N 7 defined by Λ = {(k1, k2, k… view at source ↗
Figure 5
Figure 5. Figure 5: Left: Σ4 0 with edges giving a triangulation of IntΣ4 0 . The edges are numbered as in the picture. Right: a pants decomposition {Ci} 6 i=1 for Σ 0 3 and a dual graph (the blue graph). Each Ci corresponds with the i-th curve. For an essential multicurve γ in Σ4 0 , let mi(γ) denote the geometric intersection number of γ and the i-th edge in [PITH_FULL_IMAGE:figures/full_fig_p008_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: Each circle with non-negative integer k represents k parallel copies of the corresponding arcs. Each coupon in the picture represents certain number of horizontal lines connecting the endpoints on the left side of the coupon and those on the right side of the coupon. Left: the red curve is the gluing curve γ whose DT coordinate is (n, n, 2n, t1, t1, t2). Right: the red curve is the gluing curve γ whose DT … view at source ↗
Figure 7
Figure 7. Figure 7: The red curve is the gluing curve γ with DT(γ) = (4, 3, 2, 1, 1, 0). The third case in Case 1. We only prove DT(γ) = (n1, n2, 2, 1, 1, 0) since a similar argument works for other parallel cases. For readers convenience, the red curve in [PITH_FULL_IMAGE:figures/full_fig_p011_7.png] view at source ↗
Figure 8
Figure 8. Figure 8: The red curve is the gluing curve γ. The green curve in the left picture is α1 and the green curves in the right picture are α2 and α3 [PITH_FULL_IMAGE:figures/full_fig_p012_8.png] view at source ↗
Figure 9
Figure 9. Figure 9: The green curve in the left (resp. right) picture is α12 (resp. α23) [PITH_FULL_IMAGE:figures/full_fig_p012_9.png] view at source ↗
Figure 10
Figure 10. Figure 10: The green curve in the left (resp. right) picture is α23 (resp. α123). For any ⃗k ∈ Λ, we define deg(s ⃗k ) := s′ ( ⃗k), [PITH_FULL_IMAGE:figures/full_fig_p012_10.png] view at source ↗
Figure 11
Figure 11. Figure 11: The red curve is the gluing curve γ. The blue curve is β2 the green curve is β3, and the purple curve is β23. Here, β23 is on the back side [PITH_FULL_IMAGE:figures/full_fig_p016_11.png] view at source ↗
Figure 12
Figure 12. Figure 12: The red curve is the gluing curve γ. The blue curve is β1, the green curve is β12, and the purple curve is β13 [PITH_FULL_IMAGE:figures/full_fig_p016_12.png] view at source ↗
Figure 13
Figure 13. Figure 13: The red curve is the gluing curve γ. The blue curve is β123 and the green curve is β ′ 123. From the previous argument, we have s ⃗v ∈ Sq(∂H3)γ·X for any ⃗v ∈ Λ, i.e. ι∗(Sq(∂H3)γ· X) = Sq(H γ 3 ). ■ Remark 2.17. When m and n are coprime, using Seifert–van Kampen theorem, we have π1(H γ 3 ) ∼= ⟨a, b, c | a m+n b n ⟩ for DT(γ) = (n + m, m, 0, n, n, m + 2n, t, 0, 0, 0, 0, 0) in the second case in Case 2 of T… view at source ↗
read the original abstract

We study a generalized Witten's finiteness conjecture for the skein modules of oriented compact 3-manifolds with boundary. We formulate an equivalent version of the generalized finiteness conjecture using handlebodies and 2-handles, and prove the conjecture for some classes with the handlebodies of genus 2 and 3 using the equivalent version.

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

1 major / 0 minor

Summary. The manuscript studies a generalized Witten finiteness conjecture for skein modules of oriented compact 3-manifolds with boundary. It formulates an equivalent version of the conjecture in the language of handlebodies of genus 2 and 3 with attached 2-handles, then proves the statement for certain classes of such manifolds using the reformulated version.

Significance. If the asserted equivalence between the handlebody formulation and the original skein-module conjecture holds without gaps, and if the genus-2/3 verifications are complete, the result would establish finiteness for the indicated classes and supply a concrete handlebody-based approach to the conjecture. The paper supplies no free parameters or ad-hoc axioms in the stated claims.

major comments (1)
  1. [Abstract and the section formulating the equivalent version] The equivalence between the handlebody+2-handle formulation and the original finiteness statement for arbitrary oriented compact 3-manifolds with boundary is load-bearing for transferring the genus-2/3 proofs back to the conjecture. The manuscript must supply an explicit, non-circular argument showing that finiteness in the handlebody setting implies the result for every manifold with boundary; any restriction or post-hoc choice in this reduction would leave the original conjecture untouched for the claimed classes.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for highlighting the importance of the equivalence between the two formulations of the conjecture. We address the major comment below.

read point-by-point responses

  1. Referee: [Abstract and the section formulating the equivalent version] The equivalence between the handlebody+2-handle formulation and the original finiteness statement for arbitrary oriented compact 3-manifolds with boundary is load-bearing for transferring the genus-2/3 proofs back to the conjecture. The manuscript must supply an explicit, non-circular argument showing that finiteness in the handlebody setting implies the result for every manifold with boundary; any restriction or post-hoc choice in this reduction would leave the original conjecture untouched for the claimed classes.

    Authors: We agree that a fully explicit, non-circular argument establishing the implication from the handlebody+2-handle setting back to the original conjecture for arbitrary oriented compact 3-manifolds with boundary is necessary. The manuscript formulates the two statements as equivalent by observing that every oriented compact 3-manifold with boundary admits a handle decomposition obtained from a genus-2 or genus-3 handlebody by attaching 2-handles, and that the skein-module finiteness property is preserved under this presentation. The reduction relies only on standard facts from 3-manifold topology and does not presuppose the conjecture. Nevertheless, we acknowledge that the current write-up of this direction may not be sufficiently detailed or self-contained. In the revised version we will expand the relevant section with a complete, step-by-step argument that makes the implication explicit, verifies that no post-hoc restrictions are introduced, and confirms that the genus-2/3 verifications therefore apply to the claimed classes of manifolds. revision: yes

Circularity Check

0 steps flagged

No significant circularity; equivalence formulated and applied within the paper's own arguments.

full rationale

The abstract states that the authors formulate an equivalent version of the generalized Witten finiteness conjecture in handlebody language and then prove the statement for specific classes of genus-2 and genus-3 handlebodies. No equations, self-citations, or reductions by construction are visible that would make any prediction equivalent to its inputs. The derivation chain remains self-contained because the equivalence is introduced as part of the present work rather than imported from prior results by the same authors, and the proofs for the concrete cases supply independent content.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

The abstract supplies no explicit free parameters, axioms, or invented entities; the central claim rests on the asserted equivalence between the original conjecture and the handlebody formulation, whose justification is not visible here.

pith-pipeline@v0.9.0 · 5578 in / 1065 out tokens · 50219 ms · 2026-05-24T04:51:49.488719+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

25 extracted references · 25 canonical work pages · 1 internal anchor

  1. [1]

    Abdiel, C

    N. Abdiel, C. Frohman, The localized skein algebra is Frobenius, Algebraic & geometric topology 17.6 (2017): 3341-3373

    work page 2017

  2. [2]

    Bullock, J

    D. Bullock, J. Przytycki, Multiplicative structure of Kauffman bracket skein module quantizations, Proceedings of the American Mathematical Society. 128 (2000), 923-931

    work page 2000

  3. [3]

    J. R. Aranda, N. Ferguson, Generating sets for the Kauffman skein module of a family of Seifert fibered spaces, New York J. Math. 28 (2022), 44--68

    work page 2022

  4. [4]

    J. W. Barrett, Skein spaces and spin structures, Math. Proc. Cambridge Philos. Soc. 126 (1999), no. 2, 267--275

    work page 1999

  5. [5]

    Bonahon and H

    F. Bonahon and H. Wong,

    work page

  6. [6]

    Bullock, Rings of SL_2( C ) -characters and the Kauffman bracket skein module , Comment

    D. Bullock, Rings of SL_2( C ) -characters and the Kauffman bracket skein module , Comment. Math. Helv. 72 (1997), no. 4, 521--542

    work page 1997

  7. [7]

    Carrega, Nine generators of the skein space of the 3-torus, Algebr

    A. Carrega, Nine generators of the skein space of the 3-torus, Algebr. Geom. Topol. 17 (2017), no.6, 3449--3460

    work page 2017

  8. [8]

    Detcherry, Infinite families of hyperbolic 3-manifolds with finite-dimensional skein modules J

    R. Detcherry, Infinite families of hyperbolic 3-manifolds with finite-dimensional skein modules J. Lond. Math. Soc. (2) 103 (2021), no.4, 1363--1376

    work page 2021

  9. [9]

    Frohman and R

    C. Frohman and R. Gelca,

    work page

  10. [10]

    P. M. Gilmer, J. M. Harris, On the Kauffman bracket skein module of the quaternionic manifold, J. Knot Theory Ramifications 16 (2007), no.1, 103--125

    work page 2007

  11. [11]

    P. M. Gilmer, G. Masbaum, On the skein module of the product of a surface and a circle, Proc. Amer. Math. Soc. 147 (2019) 4091--4106

    work page 2019

  12. [12]

    Gunningham, D

    S. Gunningham, D. Jordan, P. Safronov, The finiteness conjecture for skein modules, Invent. Math. 232 (2023), no.1, 301--363

    work page 2023

  13. [13]

    Hoste, J

    J. Hoste, J. H. Przytycki, The Kauffman bracket skein module of S^1 S^2 , Math. Z. 220 (1995), no.1, 65--73

    work page 1995

  14. [14]

    Hoste, J

    J. Hoste, J. H. Przytycki, The (2, )-skein module of lens spaces; a generalization of the Jones polynomial, J. Knot Theory Ramifications 2 (1993), no.3, 321--333

    work page 1993

  15. [15]

    Ishibashi and W

    T. Ishibashi and W. Yuasa,

    work page

  16. [16]

    T. T. Q. L\^e, The colored Jones polynomial and the A-polynomial of knots, Adv. Math. 207 (2006), no.2, 782--804

    work page 2006

  17. [17]

    The Kauffman bracket skein module of two-bridge links, Proc. Amer. Math. Soc. 142 (2014), no.3, 1045--1056

    work page 2014

  18. [18]

    T. T. Q. L\^e, A. T. Tran, On the AJ conjecture for knots, Indiana Univ. Math. J. 64 (2015), no. 4, 1103--1151

    work page 2015

  19. [19]

    T. T. Q. L\^ e and T. Yu,

    work page

  20. [20]

    March e , The skein module of torus knots, Quantum Topol

    J. March e , The skein module of torus knots, Quantum Topol. 1 (2010), no. 4, 413--421

    work page 2010

  21. [21]

    Mroczkowski, Kauffman bracket skein module of a family of prism manifolds, J

    M. Mroczkowski, Kauffman bracket skein module of a family of prism manifolds, J. Knot Theory Ramifications 20 (2011), no.1, 159--170

    work page 2011

  22. [22]

    R. C. Penner, J. L. Harer, Combinatorics of train tracks, Ann. of Math. Stud., 125 Princeton University Press, Princeton, NJ, (1992)

    work page 1992

  23. [23]

    J. H. Przytycki, Kauffman bracket skein module of a connected sum of 3-manifolds, manuscripta mathematica. 101 (2000), 199--207

    work page 2000

  24. [24]

    J. H. Przytycki, A. S. Sikora, On skein algebras and Sl2(C) -character varieties, Topology 39 (2000), no.1, 115--148

    work page 2000

  25. [25]

    Lecture notes on generalized Heegaard splittings

    T. Saito, M. Scharlemann, J. Schultens, Lecture notes on generalized Heegaard splittings, arXiv:math/0504167 [math.GT] (2005)

    work page internal anchor Pith review Pith/arXiv arXiv 2005