Seifert cobordisms and the Chen-Yang volume conjecture

Efstratia Kalfagianni; Renaud Detcherry; Shashini Marasinghe

REVIEW 2 major objections 3 minor 25 references

Seifert cobordisms and the Chen-Yang volume conjecture

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

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

Pith's one-line read Gluing a Seifert-fibered manifold onto a 3-manifold does not change the exponential growth rate of its Turaev-Viro invariants, so the Chen-Yang volume conjecture is closed under this operation.

desk verdict Strong new gluing result for Turaev–Viro growth with a real gap in the main proof's Case 2; likely repairable, but the paper needs revision before acceptance. read the letter →

arxiv 2505.01546 v1 pith:A5ZRMF44 submitted 2025-05-02 math.GT math.QA

Renaud Detcherry , Efstratia Kalfagianni , Shashini Marasinghe This is my paper · ORCID

classification math.GTmath.QA MSC 57K3157K1657M25

keywords Turaev-ViroinvariantsvolumeconjectureSeifertfiberedmanifoldssimplicialSO(3)-TQFTplumbedcablespacesgenusonemutation

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

The paper proves that the Chen-Yang volume conjecture for Turaev-Viro invariants is closed under gluing Seifert-fibered manifolds onto torus boundary components. Concretely, if $M'$ is obtained from $M$ by gluing along a torus a Seifert-fibered 3-manifold with at least two boundary components, then the large-$r$ growth rates of $|TV_r(M')|$ and $|TV_r(M)|$ agree up to polynomial factors. From this the authors deduce the volume conjecture for every Seifert-fibered 3-manifold with nonempty boundary, for closed Seifert manifolds admitting an orientation-reversing involution, and for large families of plumbed graph manifolds. The interest is that the conjecture is established for entire infinite families of non-hyperbolic manifolds by topological gluing arguments rather than by direct analytic asymptotics.

What carries the argument

The load-bearing object is the linear operator $RT_r(S)$ that the SO(3) Reshetikhin-Turaev TQFT assigns to a Seifert-fibered cobordism $S$ from one boundary torus to another, identified with the Turaev-Viro invariant by the identity $TV_r(M,q^2) = \|RT_r(M,q)\|^2$. The paper proves (Theorem 3.1) that for $S$ with two boundary tori, $RT_r(S)$ is invertible for all odd $r$ coprime to the exceptional fiber multiplicities, and the operator norm of its inverse grows at most polynomially in $r$. This is established by cutting $S$ along vertical tori into pieces that are either cable spaces (handled by an explicit computation of cable-space operators) or trivial or twisted $S^1$-bundles over a two-holed torus, a twice-holed Klein bottle, or a once-holed Möbius band; the twisted cases are reduced to the trivial bundle over the two-holed torus by genus-one mutation invariance, and that trivial-bundle operator has known eigenvalues $\lambda_j = r/(4\sin^2(2\pi j/r))$. Polynomial invertibility is exactly what converts the estimate $\|RT_r(M)\| \le \|RT_r(S)^{-1}\|\, \|RT_r(M')\|$ into the two-sided comparison of Turaev-Viro invariants.

What would settle it

Compute numerically the Turaev-Viro invariants of the complement of the trefoil knot, a Seifert-fibered manifold with torus boundary, at large odd $r$: a positive limsup of $(2\pi/r) \log TV_r$, i.e. exponential growth, would contradict Corollary 1.3 and the paper's polynomial upper bound.

Watch

Extended reading notes

Core claim

The central discovery is that Turaev-Viro invariants interact with toroidal gluing in a quantitatively controlled way. Theorem 4.1 states that if $S$ is a Seifert-fibered 3-manifold with at least two boundary components and $M'$ is formed by gluing $S$ to any 3-manifold $M$ with toroidal boundary, then $A^{-1} r^{-K} TV_r(M) \le TV_r(M') \le A r^K TV_r(M)$ for all odd $r$ not divisible by the exceptional multiplicities of $S$. Consequently the limsup growth rate $LTV(M')$ equals $LTV(M)$, hence the volume conjecture is preserved by this gluing. Applying this to the case $M = D^2 \times S^1$, whose invariants are identically 1 and whose volume is 0, yields Corollary 1.3: every Seifert-fibered manifold with nonempty boundary, and every closed one with an orientation-reversing involution, has $LTV(S) = Vol(S) = 0$. The same mechanism verifies the conjecture for plumbed graph manifolds satisfying a leaf condition (Corollary 5.3) and for iterated satellites of the figure-eight knot with torus-link patterns (Corollary 1.4).

Load-bearing premise

The argument depends on the claim that for any Seifert-fibered space with two boundary tori, the linear map that quantum theory assigns to it can be inverted for all but finitely many odd levels, with the size of that inverse growing only like a fixed polynomial in the level.

Editorial extensions

If this is right

The Chen-Yang volume conjecture (Conjecture 1.2) holds for every Seifert-fibered 3-manifold with nonempty boundary, and for every closed Seifert-fibered 3-manifold admitting an orientation-reversing involution.
The conjecture also holds for plumbed/graph 3-manifolds with nonempty boundary whose tree has all but at most one leaf contributing a boundary component (Corollary 5.3).
If a manifold $M$ satisfies the volume conjecture with the limsup being an actual limit, then any manifold obtained by gluing a Seifert cobordism, or a plumbed manifold of the allowed type, to a boundary torus of $M$ also satisfies the conjecture, with the same simplicial volume.
Iterated satellites of the figure-eight knot using torus-link patterns have zero limsup growth for Turaev-Viro invariants, matching their zero simplicial volume (Corollary 1.4).
For Seifert-fibered manifolds with boundary, the Turaev-Viro invariants grow at most polynomially in $r$ along the allowed subsequence, so the limsup in the volume conjecture is 0 even though the invariants may vanish for infinitely many $r$.

Reading between the lines

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

This suggests a general principle: any gluing operation whose TQFT operator is polynomially invertible will preserve the exponential growth rate of these invariants, and identifying the class of cobordisms with that property could unify the known volume-conjecture results.
The polynomial-invertibility route may be testable for hyperbolic cobordisms: Proposition 6.1 shows that if a cobordism has a zero-volume Dehn filling, its minimal singular value cannot grow exponentially, so constructing hyperbolic cobordisms with no zero-volume fillings (for instance from highly twisted two-component links) is a concrete next step toward exponential lower bounds.
The genus-one mutation invariance used here is likely to hold for other quantum invariants; if so, the volume-conjecture closure results may extend to manifolds related by mutations of Seifert pieces, not just gluings.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

Let me give you my read on Detcherry–Kalfagianni–Marasinghe, arXiv:2505.01546. The core idea is right and the paper is genuinely useful: Theorem 4.1, a polynomial gluing inequality for Turaev–Viro invariants under attaching a Seifert cobordism, is new and would be a substantial tool. The application to all Seifert fibered manifolds with boundary (Corollary 1.3) and to plumbed graph manifolds is a real advance over Marasinghe's earlier partial verification. The TQFT setup is clean, and the polynomial invertibility results for two-boundary Seifert cobordisms (Theorem 3.1) are well argued, using cable-space computations and genus-one mutation. That part I buy.

The soft spot is real and sits exactly where the stress test puts it: Case 2 of Theorem 4.1. The proof assumes that a Seifert manifold with n ≥ 3 boundary components has exactly n exceptional fibers, and that there is a separating curve γ in the base orbifold cutting off a cone-free planar surface with all but one boundary components. Neither is true in general. The number of exceptional fibers is independent of the number of boundary components; and even when they coincide, a simple example with four boundary components and two cone points near different boundary components shows no such annulus containing one boundary and all cone points exists. So as written, the lower bound in Theorem 4.1 is not established for general Seifert cobordisms with ≥3 boundary components. That gap propagates into Corollary 1.3 for Seifert manifolds whose regular-fiber removal leaves ≥3 boundary components, and into Corollary 5.3.

I should stress that this looks repairable. A decomposition into annuli with one cone point and pairs of pants, applying Case 1 and Corollary 4.3 iteratively, should fix it. But the argument is not in the paper.

The upper bounds, the invertible-cable-space lemmas, and the volume-zero statements all seem fine. The reliance on [11] and [19] is appropriate, not circular.

Bottom line: this is a serious paper that deserves refereeing, but the referee should ask for a repaired Case 2 before it is accepted. If the repair works, the main theorems stand. Quantum topologists and 3-manifold geometers will want to read it; I would not cite it in its current form.

Referee Report

2 major / 3 minor

Summary. The paper studies the large-$r$ behavior of the Turaev-Viro invariants $TV_r(M;e^{2\pi i/r})$ under gluing a Seifert fibered 3-manifold with at least two boundary components to a boundary torus of a 3-manifold with toroidal boundary. Its main technical result, Theorem 4.1, claims comparison inequalities $A^{-1} r^{-K} TV_r(M) \le TV_r(M') \le A r^K TV_r(M)$ up to a finite exceptional set of $r$, and it uses these to show that the generalized Chen--Yang volume conjecture $LTV(M)=Vol(M)$ is preserved under such gluings. The authors then apply this to verify the volume conjecture for all Seifert fibered 3-manifolds with nonempty boundary, for closed Seifert manifolds admitting an orientation-reversing involution, and for certain plumbed/graph manifolds. The proofs are based on the $SO(3)$ Reshetikhin--Turaev TQFT, on invertibility and polynomial growth of the inverse operators associated to Seifert cobordisms with two boundary components, and on prior results of Detcherry--Kalfagianni.

Significance. If the gaps identified below are repaired, the paper would be a substantial contribution: it would provide a general gluing principle for Turaev--Viro invariants under Seifert cobordisms and would verify the volume conjecture for all Seifert fibered 3-manifolds with boundary and for large classes of plumbed manifolds. The TQFT-based approach and the operator-norm estimates are conceptually transparent and avoid heavy state-sum computations. The reliance on previously published results, especially [11], is explicit and legitimate as input rather than circular. The paper also contains an interesting question about hyperbolic cobordisms and exponential growth of inverse norms. The upper-bound parts of the arguments are convincing; the main concerns are in the completeness of the lower-bound proof for cobordisms with at least three boundary components and in one application to closed Seifert manifolds.

major comments (2)

[4.3, Case 2 of the proof of Theorem 4.1] The proof of the lower bound for S with n >= 3 boundary components assumes that S has exactly n exceptional fibers and that the base orbifold B admits a separating curve gamma such that one complementary component is Sigma_{0,n} with no orbifold points and the other B' has exactly two boundary components and contains all exceptional fibers. This is not true for a general Seifert fibered 3-manifold. For example, S1 x Sigma_{0,3} has three boundary components and no exceptional fibers, so the asserted equality is already false. More generally, if the cone points of B are placed near different boundary components, no single separating curve can put all cone points in a twice-punctured subsurface containing only one boundary component. Since this case is needed for Theorem 4.1 in full generality, and hence for Corollaries 1.3 and 5.3, the central gluing theorem is not fully established as written. A repair by decomposing B along several separating curves into annuli with one cone point and pairs of pants, and then iterating Case 1 together with Corollary 4.3, seems plausible, but such an argument is not present.
[Corollary 1.3, proof of the closed case] The assertion that a closed Seifert fibered 3-manifold admitting an orientation-reversing involution is the double of a Seifert fibered manifold with nonempty boundary is not justified and is false without further hypotheses. An orientation-reversing involution on a closed orientable 3-manifold may be free, for example the map (theta,x) -> (theta,-x) on S1 x S2, or may have isolated fixed points, in which case the quotient is not a 3-manifold with boundary whose double is S. The proof needs either an argument that under the Seifert hypothesis one can choose an involution whose fixed set is a surface, or a different proof of the closed case.

minor comments (3)

[4.3, Case 1] When M has several boundary components, the cobordism S' is not described precisely; as written it is not literally a cobordism from ∂M to ∂M. The authors should specify the identifications of the boundary tori and the unitary isomorphisms used between the relevant TQFT spaces.
[3, proof of Theorem 3.1] The decomposition of the base orbifold B into annuli with one cone point, two-holed tori, and one-holed Möbius bands is asserted without proof or reference. Since Theorem 3.1 depends on it, a sentence justifying the existence of such a decomposition, or a citation, should be added.
[Throughout] There are numerous typos and minor infelicities, including 'a a cobordism' in Section 2.1, 'cobordim' in Section 6, 'suplim' for 'limsup' in Remark 5.2, and the title header 'SEIFERT T COBORDISMS' on the first page. These should be corrected in a revision.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity found: the derivation uses previously proved external results and new independent lower-bound estimates, and does not reduce to its own inputs.

full rationale

Walking the derivation chain: Theorem 1.1 follows from Theorem 4.1. The lower bound in the two-boundary-component case is not obtained by assuming the conclusion; it is obtained from Theorem 3.1, whose proof is based on Lemma 3.2 (cable spaces, citing the explicit computation of Kumar and Melby [18, Theorem 1.7]) and Lemma 3.3 (the eigenvalue computation in Blanchet-Habegger-Masbaum-Vogel [5, Section 5.10], together with genus-one mutation invariance). These are independent, parameter-free mathematical inputs, not fitted values and not the target result in disguise. The upper-bound estimate TV_r(M') <= TV_r(S)*TV_r(M) is cited from [11, Theorem 5.2], which shares authors with this paper; nevertheless, it is a published theorem whose stated assumptions do not include the conclusion of Theorem 4.1, and the genuinely new content of Theorem 4.1, the lower bound, is proved separately here via invertibility of the TQFT maps. In Case 2 of Theorem 4.1, Corollary 4.3 is cited from [11, Corollary 8.3], and Lemma 4.4 verifies that S1 x Sigma_{0,n} is an invertible cable space; this is an application of a previously proved special case, not an assumption of the theorem being proved. Corollary 1.3 does not assume the Turaev-Viro volume conjecture for Seifert fibered spaces: its base case is the solid torus, where TV_r(D^2 x S^1) = 1 and LTV = Vol = 0, and then Theorem 5.1 transfers this through the gluing inequalities. No equation in the paper redefines its input as its output, and no fitted parameter is renamed as a prediction. Even if the Case 2 base-orbifold decomposition pointed out by the skeptic is incomplete as written, that is a proof-completeness concern, not circularity: the argument does not become equivalent to its own conclusion by construction. Therefore the appropriate finding is no significant circularity.

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

The central claim depends on standard TQFT axioms, the geometrization theorem, and several prior published results (upper bounds in [11], cable space computations in [18], mutation invariance in [13,22]). No numerical parameters are fitted to data, and no new entities are postulated.

assumptions (6)

domain assumption SO(3)-TQFT functor properties
Section 2.1 assumes the skein-theoretic TQFT of [4,5], including tensor products, natural Hermitian inner products, and composition of cobordisms.
domain assumption Geometrization and additivity of simplicial volume
Section 5 uses the geometric decomposition theorem and additivity of simplicial volume under gluing along incompressible tori and connected sums [23].
domain assumption Upper bound for Turaev-Viro invariants under gluing
Section 4.3 uses [11, Theorem 5.2] to get TV_r(M') ≤ TV_r(S) TV_r(M) and polynomial upper bounds for Seifert manifolds.
domain assumption Cable space operator computation
Lemma 3.2 relies on [18, Theorem 1.7] for invertibility and polynomial inverse norm of cable space operators.
domain assumption Genus one mutation invariance
Lemma 2.6 uses the fact that the elliptic involution acts trivially in the quantum representation [13,22], identifying twisted bundle operators with trivial bundle operators.
domain assumption K operator eigenvalues from [5]
Lemma 3.3(a) uses the explicit eigenvalues λ_j computed in [5, Section 5.10] for the trivial S1-bundle over Σ_{1,2}.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Seifert cobordisms and the Chen-Yang volume conjecture." pith.science (2026). https://pith.science/paper/A5ZRMF44

@misc{pith2026250501546,
  author       = {Pith},
  title        = {Pith review of: Seifert cobordisms and the Chen-Yang volume conjecture},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/A5ZRMF44}},
  note         = {Machine review of arXiv:2505.01546}
}

abstract

We study the large $r$ asymptotic behavior of the Turaev-Viro invariants $TV_r(M; e^{\frac{2\pi i}{r}})$ of 3-manifolds with toroidal boundary, under the operation of gluing a Seifert-fibered 3-manifold along a component of $\partial M$. We show that the Turaev-Viro invariants volume conjecture is closed under this operation. As an application we prove the volume conjecture for all Seifert fibered 3-manifolds with boundary and for large classes of graph 3-manifolds.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

25 extracted references · 23 canonical work pages

[11]

Detcherry and E

R. Detcherry and E. Kalfagianni. Gromov norm and Turaev -Viro invariants of 3-manifolds. Ann. Sci. ´Ec. Norm. Sup´ er. (4), 53(6):1363–1391, 2020

work page 2020
[19]

Seifert fibered 3-manifolds and Turaev-Viro invariants volume conjecture

S. Marasinghe. Seifert ﬁbered 3-manifolds and turaev- viro invariants volume conjecture. arXiv preprint at 2504.10682 , 2025

work page Pith review arXiv 2025
[2]

Belletti, R

G. Belletti, R. Detcherry, E. Kalfagianni, and T. Yang. G rowth of quantum 6 j-symbols and applications to the volume conjecture. J. Diﬀerential Geom. , 120(2):199–229, 2022

work page 2022
[3]

Benedetti and C

R. Benedetti and C. Petronio. On Roberts’ proof of the Tur aev-Walker theorem. J. Knot Theory Ramiﬁcations, 5(4):427–439, 1996

work page 1996
[4]

Blanchet, N

C. Blanchet, N. Habegger, G. Masbaum, and P. Vogel. Three -manifold invariants derived from the Kauﬀman bracket. Topology, 31(4):685–699, 1992

work page 1992
[5]

Blanchet, N

C. Blanchet, N. Habegger, G. Masbaum, and P. Vogel. Topol ogical quantum ﬁeld theories derived from the Kauﬀman bracket. Topology, 34(4):883–927, 1995

work page 1995
[6]

Burde and K

G. Burde and K. Murasugi. Links and Seifert ﬁber spaces. Duke Math. J. , 37:89–93, 1970

work page 1970
[7]

Champanerkar, O

A. Champanerkar, O. Dasbach, E. Kalfagianni, I. Kofman, W. Neumann, and N. Stoltzfus, editors. Interactions between hyperbolic geometry, quantum topolo gy and number theory , volume 541 of Contemporary Mathematics. American Mathematical Society, Providence, RI, 2011

work page 2011

Show all 25 references

[8]

Chen and T

Q. Chen and T. Yang. Volume conjectures for the Reshetikh in-Turaev and the Turaev-Viro invariants. Quantum Topol., 9(3):419–460, 2018

2018
[9]

Chen and S

Q. Chen and S. Zhu. On the asymptotic expansions of variou s quantum invariants I: the colored Jones polynomial of twist knots at the root of unity e 2π √ − 1 n+ 1 2 . arXiv preprint at arXiv:2307.12963 , 2023

2023 arXiv
[10]

Detcherry and E

R. Detcherry and E. Kalfagianni. Quantum representati ons and monodromies of ﬁbered links. Adv. Math. , 351:676–701, 2019

2019
[12]

Detcherry, E

R. Detcherry, E. Kalfagianni, and T. Yang. Turaev-Viro invariants, colored Jones polynomials, and volume. Quantum Topol., 9(4):775–813, 2018

2018
[13]

M. H. Freedman, K. Walker, and Z. Wang. Quantum SU(2) fai thfully detects mapping class groups modulo center. Geom. Topol., 6:523–539, 2002

2002
[14]

Futer, E

D. Futer, E. Kalfagianni, and J. S. Purcell. Dehn ﬁlling , volume, and the Jones polynomial. J. Diﬀerential Geom. , 78(3):429–464, 2008. 16 R. DETCHERRY, E. KALF AGIANNI AND S. MARASINGHE

2008
[15]

Jankins and W

M. Jankins and W. D. Neumann. Lectures on Seifert manifolds , volume 2 of Brandeis Lecture Notes. Brandeis University, Waltham, MA, 1983

1983
[16]

S. Kumar. Fundamental shadow links realized as links in S3. Algebr. Geom. Topol. , 21(6):3153– 3198, 2021

2021
[17]

Kumar and J

S. Kumar and J. M. Melby. Asymptotic additivity of the Tu raev-Viro invariants for a family of 3-manifolds. J. Lond. Math. Soc. (2) , 106(4):3043–3068, 2022

2022
[18]

Kumar and J

S. Kumar and J. M. Melby. Turaev-Viro invariants and cab ling operations. Internat. J. Math. , 34(11):Paper No. 2350065, 22, 2023

2023
[20]

Reshetikhin and V

N. Reshetikhin and V. G. Turaev. Invariants of 3-manifo lds via link polynomials and quantum groups. Invent. Math. , 103(3):547–597, 1991

1991
[21]

J. Roberts. Skein theory and Turaev-Viro invariants. Topology, 34(4):771–787, 1995

1995
[22]

Y. W. Rong. Mutation and Witten invariants. Topology, 33(3):499–507, 1994

1994
[23]

W. P. Thurston. The geometry and topology of three-manifolds . Princeton University Math De- partment Notes, 1979

1979
[24]

V. G. Turaev and O. Y. Viro. State sum invariants of 3-man ifolds and quantum 6 j-symbols. Topology, 31(4):865–902, 1992

1992
[25]

K. H. Wong. Asymptotics of some quantum invariants of th e Whitehead chains. arXiv preprint at arXiv:1912.10638 , 2019

1912 arXiv
[26]

K. H. Wong and T. Yang. Relative Reshetikhin-Turaev inv ariants, hyperbolic cone metrics and discrete Fourier transforms I. Comm. Math. Phys. , 400(2):1019–1070, 2023. Universit´e Bourgogne Europe, CNRS, IMB UMR 5584, F-21000 Dijon, Franc e Email address : renaud.detcherry@u-b...

2023

Pith tools

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

[1] [11]

Detcherry and E

R. Detcherry and E. Kalfagianni. Gromov norm and Turaev -Viro invariants of 3-manifolds. Ann. Sci. ´Ec. Norm. Sup´ er. (4), 53(6):1363–1391, 2020

work page 2020

[2] [19]

Seifert fibered 3-manifolds and Turaev-Viro invariants volume conjecture

S. Marasinghe. Seifert ﬁbered 3-manifolds and turaev- viro invariants volume conjecture. arXiv preprint at 2504.10682 , 2025

work page Pith review arXiv 2025

[3] [2]

Belletti, R

G. Belletti, R. Detcherry, E. Kalfagianni, and T. Yang. G rowth of quantum 6 j-symbols and applications to the volume conjecture. J. Diﬀerential Geom. , 120(2):199–229, 2022

work page 2022

[4] [3]

Benedetti and C

R. Benedetti and C. Petronio. On Roberts’ proof of the Tur aev-Walker theorem. J. Knot Theory Ramiﬁcations, 5(4):427–439, 1996

work page 1996

[5] [4]

Blanchet, N

C. Blanchet, N. Habegger, G. Masbaum, and P. Vogel. Three -manifold invariants derived from the Kauﬀman bracket. Topology, 31(4):685–699, 1992

work page 1992

[6] [5]

Blanchet, N

C. Blanchet, N. Habegger, G. Masbaum, and P. Vogel. Topol ogical quantum ﬁeld theories derived from the Kauﬀman bracket. Topology, 34(4):883–927, 1995

work page 1995

[7] [6]

Burde and K

G. Burde and K. Murasugi. Links and Seifert ﬁber spaces. Duke Math. J. , 37:89–93, 1970

work page 1970

[8] [7]

Champanerkar, O

A. Champanerkar, O. Dasbach, E. Kalfagianni, I. Kofman, W. Neumann, and N. Stoltzfus, editors. Interactions between hyperbolic geometry, quantum topolo gy and number theory , volume 541 of Contemporary Mathematics. American Mathematical Society, Providence, RI, 2011

work page 2011