{"id":"74ea842a-c3df-4654-bc53-42eccbeec008","arxiv_id":"2505.01546","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Gluing a Seifert-fibered 3-manifold to a boundary torus preserves the growth rate of Turaev-Viro invariants, proving the volume conjecture for all Seifert fibered 3-manifolds with boundary and for classes of graph manifolds.","lead":"Quantum topology invariants called Turaev-Viro invariants are shown to keep the same exponential growth rate when a Seifert fibered piece is glued onto a 3-manifold's boundary. This proves a long-standing volume conjecture for all Seifert fibered 3-manifolds with boundary and for many graph manifolds.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 4.1 Case 2 assumes a base-orbifold decomposition that is not available for general Seifert cobordisms with >=3 boundary components, leaving the main gluing theorem and Corollary 1.3 incomplete.","rationale":"The reader's weakest_assumption names Theorem 3.1 as the fragile lower-bound input, and that is indeed important. However, the more concrete and immediate obstruction is in the proof of Theorem 4.1 Case 2: the claimed decomposition of the Seifert base is not guaranteed for arbitrary base orbifolds with at least three boundary components, and the proof also assumes the number of exceptional fibers equals the number of boundary components. This gap directly affects the proof of Corollary 1.3 for Seifert fibered manifolds with boundary, since removing a regular fiber from a manifold with two boundary components produces a three-boundary Seifert piece that must go through Case 2. The reader did flag Case 2 in their rationale as the reason for CONDITIONAL, so I agree with their verdict; I only differ in making Case 2 the primary load-bearing concern rather than Theorem 3.1. The concern is repairable, so the verdict should remain CONDITIONAL rather than REJECT.","tokens_in":13901,"tokens_out":28314,"duration_ms":298688,"concrete_test":"Construct a Seifert fibered space S over B = S^2 minus four disks, with two cone points placed near two different boundary components so that no simple closed curve separates both cone points and exactly one boundary component from the other three boundary components. Attempt to run the Case 2 construction: find a separating curve γ such that one component of B minus γ is Σ_{0,4} with no cone points and the other is an annulus with two boundary components containing both cone points. Showing that no such γ exists demonstrates that Theorem 4.1 Case 2 as written does not cover this S; the proof must instead supply a general pants-decomposition argument. If such a γ can always be found, the concern collapses.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The proof of the lower bound in Theorem 4.1 has two cases. Case 1, for S with exactly two boundary components, rests on Theorem 3.1 and is plausible. Case 2, covering S with at least three boundary components, is not proved in the stated generality. It assumes that the base orbifold B can be cut along one separating curve into a sphere with n holes, Σ_{0,n}, containing no orbifold points, and a surface B' with exactly two boundary components. This amounts to requiring that all exceptional fibers can be separated from n−1 of the boundary components by a single curve, with the complementary annulus containing exactly one original boundary component together with every cone point. For a general Seifert base this is false. For instance, take B to be a sphere with four holes and two cone points placed near two different boundary components so that any annulus containing one boundary component and both cone points must also contain a second boundary component; then no such separating curve γ exists. The text also says 'n boundary components and n exceptional fibers', an unnecessary equality that does not hold for general Seifert fibered spaces. Since Theorem 4.1 is the engine behind Corollary 1.3 and Corollary 5.3, the central volume-conjecture application is not fully established as written. A repair likely exists by decomposing B along a system of separating curves into annuli with one cone point and pairs of pants, then applying Case 1 and Corollary 4.3 iteratively, but this argument is absent.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":14168,"tokens_out":15922,"duration_ms":161731,"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":[{"comment":"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.","section":"4.3, Case 2 of the proof of Theorem 4.1"},{"comment":"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.","section":"Corollary 1.3, proof of the closed case"}],"minor_comments":[{"comment":"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.","section":"4.3, Case 1"},{"comment":"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.","section":"3, proof of Theorem 3.1"},{"comment":"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.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","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.\n\nThe 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.\n\nI 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.\n\nThe 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.\n\nBottom 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.","headline":"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.","tokens_in":14753,"tokens_out":4592,"would_cite":false,"duration_ms":44184,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["57K31","57K16","57M25"],"pacs":[],"model":"deepseek-v4-flash","headline":"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.","keywords":["Turaev-Viro invariants","volume conjecture","Seifert fibered manifolds","simplicial volume","SO(3)-TQFT","plumbed manifolds","cable spaces","genus one mutation"],"falsifier":"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.","tokens_in":13681,"feed_emoji":"📐","tokens_out":9266,"duration_ms":80523,"temperature":0.7,"pith_summary":"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.","feed_headline":"Volume conjecture proved for Seifert-fibered manifolds with boundary","feed_subtitle":"Gluing a Seifert piece onto a 3-manifold preserves Turaev-Viro growth rates, unlocking new volume-conjecture cases.","key_machinery":"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.","core_discovery":"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).","pith_inferences":["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."],"forward_implications":["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$."],"supporting_citations":[{"why":"Constructs the SO(3)-TQFT and gives the explicit self-adjoint operator $K$ with eigenvalues $\\lambda_j = r/(4\\sin^2(2\\pi j/r))$ that underpins Lemma 3.3.","marker":"[5]"},{"why":"Provides the explicit computation of cable-space operators and their norm growth used in Lemma 3.2.","marker":"[18]"},{"why":"Supplies the upper-bound inequality for Turaev-Viro invariants under gluing, the polynomial growth of invariants of zero-volume manifolds, and the invertible cabling space criterion used in Theorem 4.1.","marker":"[11]"},{"why":"Establishes the equality of Turaev-Viro invariants with the squared Hermitian norm of Reshetikhin-Turaev vectors for closed manifolds, a bridge extended to boundaries in [3].","marker":"[21]"},{"why":"Extends the Turaev-Viro/Reshetikhin-Turaev norm identity to manifolds with boundary, used throughout to compare invariants.","marker":"[3]"},{"why":"Shows the elliptic involution lies in the kernel of the quantum representation, giving the genus-one mutation invariance used in Lemma 2.6.","marker":"[13]"},{"why":"Proves that genus-one mutation leaves the Reshetikhin-Turaev 3-manifold invariants unchanged, which Lemma 2.6 extends to cobordisms.","marker":"[22]"},{"why":"Provides the geometric decomposition and additivity of simplicial volume under gluing along essential tori, used in Theorem 5.1.","marker":"[23]"},{"why":"Supplies the verified base cases (figure-eight knot and Borromean rings) used in the satellite application of Corollary 1.4.","marker":"[12]"}],"fun_headline_variants":["Volume conjecture proved for Seifert-fibered manifolds with boundary","Seifert gluing preserves Turaev-Viro growth, proving volume conjecture","Volume conjecture sealed for Seifert-fibered and graph manifolds","Turaev-Viro growth under Seifert gluing proves volume conjecture"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Volume conjecture proved for Seifert-fibered manifolds with boundary","Seifert gluing preserves Turaev-Viro growth, proving volume conjecture","Volume conjecture sealed for Seifert-fibered and graph manifolds","Turaev-Viro growth under Seifert gluing proves volume conjecture"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000735,"raw_usage":{"total_tokens":3280,"prompt_tokens":934,"completion_tokens":2346,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":550,"completion_tokens_details":{"reasoning_tokens":2264}},"tokens_in":550,"tokens_out":2346,"duration_ms":16413,"temperature":1.0,"reasoning_tokens":2264,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T04:17:31.135346+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[{"cited_title":"Blanchet, N","cited_arxiv_id":null,"evidence_quote":"Constructs the SO(3)-TQFT and gives the explicit self-adjoint operator $K$ with eigenvalues $\\lambda_j = r/(4\\sin^2(2\\pi j/r))$ that underpins Lemma 3.3."},{"cited_title":"Kumar and J","cited_arxiv_id":null,"evidence_quote":"Provides the explicit computation of cable-space operators and their norm growth used in Lemma 3.2."},{"cited_title":"Detcherry and E","cited_arxiv_id":null,"evidence_quote":"Supplies the upper-bound inequality for Turaev-Viro invariants under gluing, the polynomial growth of invariants of zero-volume manifolds, and the invertible cabling space criterion used in Theorem 4.1."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Establishes the equality of Turaev-Viro invariants with the squared Hermitian norm of Reshetikhin-Turaev vectors for closed manifolds, a bridge extended to boundaries in [3]."},{"cited_title":"Benedetti and C","cited_arxiv_id":null,"evidence_quote":"Extends the Turaev-Viro/Reshetikhin-Turaev norm identity to manifolds with boundary, used throughout to compare invariants."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Shows the elliptic involution lies in the kernel of the quantum representation, giving the genus-one mutation invariance used in Lemma 2.6."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Proves that genus-one mutation leaves the Reshetikhin-Turaev 3-manifold invariants unchanged, which Lemma 2.6 extends to cobordisms."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the geometric decomposition and additivity of simplicial volume under gluing along essential tori, used in Theorem 5.1."},{"cited_title":"Detcherry, E","cited_arxiv_id":null,"evidence_quote":"Supplies the verified base cases (figure-eight knot and Borromean rings) used in the satellite application of Corollary 1.4."}],"review_version":1}