{"id":"c17501f6-b061-48b6-9cd9-d5696b93f43d","arxiv_id":"2507.17973","paper_version":1,"verdict":"REJECT","confidence":"MODERATE","novelty_score":3.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper proposes a lamination-based reformulation of Gromov-Witten invariants for complete intersections, but the main theorems are asserted without valid derivations.","lead":"This preprint uses geodesic laminations and primitive cohomology to propose a new way of organizing Gromov-Witten invariants for complete intersections in projective space. The main theorems are asserted rather than proved, and several rely on assumptions that are never established.","discovery_kind":"unclear","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Equation (2.15) identifies the stabiliser of a tangential structure on a complete intersection with a deformation retraction of Teichmüller space, and (5.24) identifies its kernel with a fundamental germ; neither is derived, so Theorem 1.1 has no proven input or proof.","rationale":"The reader's verdict is REJECT with moderate confidence, and my read lands on the same conclusion via a narrower route. I am not objecting to the use of nonstandard tools (fundamental germ, measured laminations) per se; the issue is that the bridge between the algebro-geometric side and the Riemann-surface side is stipulated rather than proved. The exact sequence (2.14) comes from Randal-Williams and gives a genuine stabiliser subgroup for a hypersurface; (2.15) then replaces that object by a deformation retraction of Teichmüller space with no intervening construction. The subsequent flow of the paper only compounds this: the preferred lamination is declared in Section 3.2, and (5.24) asserts a kernel equality that Theorem 5.8 then converts into the dimension bound. This is not a disagreement with a conjectural consensus; it is an internal absence of derivation at the exact point where the main theorem becomes nontrivial. Harer's theorem, Thurston's spine, Mirzakhani's volumes, and Gendron's fundamental germ are all real and correctly cited as background, but none of them supplies the missing identification. A single independent re-derivation of (5.24), or a counterexample to it, would settle the matter; absent that, the appropriate verdict remains rejection, and I would not adjust the reader's REJECT verdict.","tokens_in":23102,"tokens_out":10179,"duration_ms":110425,"concrete_test":"Independently re-derive (5.24) from the exact sequence (2.14) and Definition 5.6 for a concrete complete intersection, e.g., a quintic hypersurface X_5 ⊂ CP^4. Write both sides as subgroups of MCG_d: the left-hand side is the kernel K_d of Stab_MCGd(ℓ^hyp_X) → Aut(π3(X_d),λ), and the right-hand side is α([|π|]1(L),[F]) for the lamination L declared in Section 3.2. If the derivation requires an unproved identification between primitive cohomology insertions and simple closed curves, or if the two subgroups have different virtual cohomological dimensions, the central inequality (1.3) fails.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The single most load-bearing step is the chain (2.15)-(2.16), reused in (5.24)-(5.32) to prove Theorem 1.1. In Section 2.3 the paper sets Stab_MCGg,n(ℓ_M^[F]) = Φ: Tg,n → Pg,n and then asserts VCohdim(MCGg,n) = VCohdim(Stab(ℓ)) = dim Pg,n. No map from the moduli of complete intersections in projective space to Riemann-surface Teichmüller space is constructed, and no reason is given for the stabiliser of a tangential structure on a high-dimensional hypersurface to act properly discontinuously on Tg,n. The later equality (5.24), Ker(Stab_MCGg,n(ℓ_M^[F]) → Aut(π2([F]),λ)) ≡ α([|π|]1(L),[F]), is asserted without proof and is exactly what carries the lamination L into the group-theoretic bound. However, L is introduced only terminologically in Section 3.2 as the union of simple closed curves replacing the primitive cohomology insertions; no construction maps primitive cohomology classes to curves, and the fundamental germ [|π|]1(L) is defined for laminations with dense leaves, not for an arbitrary declared curve system. Equation (5.24) also mixes the π2([F]) occurring there with the π3(Xd) used in the exact sequence (2.14). Without an independent derivation of (5.24), Theorem 1.1 is unsupported.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims to combine geometric group theory and geometric topology to analyse Gromov-Witten invariants of complete intersections in projective space through a 'preferred lamination' L that is said to replace primitive cohomology insertions. Its central statement, Theorem 1.1, asserts a lower bound on the dimension of a Thurston spine P_{g,n} by the virtual cohomological dimension of the image in the mapping class group of the fundamental germ of L, with equality in a limit where primitive insertions are independent of the symplectic form. The manuscript also states several auxiliary theorems about word problems, residual finiteness, separability, pseudo-Anosov maps, and topological entropy of mapping class groups of such varieties. The proofs are meant to be assembled via identifications in Sections 2 and 5, but the key steps are asserted rather than derived.","tokens_in":23558,"tokens_out":4953,"duration_ms":49571,"significance":"If the main theorem were established, it would connect Gromov-Witten invariant calculations for complete intersections in projective space to hyperbolic geometry, Teichmüller theory, and mapping class groups, and it would provide a new interpretation of the dependence of primitive cohomology on the symplectic form. The paper draws on substantial prior work by Randal-Williams, Argüz–Bousseau–Pandharipande–Zvonkine, Gendron, and Mirzakhani, and it explicitly identifies several open questions and conjectures. However, the central objects are not defined in a way that supports the stated claims: no mapping class group, Teichmüller space, or Thurston spine is constructed for complete intersections in projective space, and the lamination L is introduced only terminologically. As written, the paper does not provide a proof of Theorem 1.1 or of the auxiliary theorems on which it depends.","major_comments":[{"comment":"The identification Stab_{MCG_{g,n}}(ℓ_M^{[F]}) = Φ : T_{g,n} → P_{g,n} and the resulting equality VCohdim(MCG_{g,n}) = VCohdim(Stab_{MCG_{g,n}}(ℓ_M^{[F]})) = dim P_{g,n} are asserted without proof. No map is constructed from the moduli of complete intersections in projective space to the Teichmüller space of Riemann surfaces, and no reason is given for the stabiliser of a tangential structure on a high-dimensional variety to act properly discontinuously on T_{g,n}. Since these equalities are the main input to Theorem 1.1, the theorem is unsupported as stated.","section":"§2.3, Eqs. (2.15)–(2.16)"},{"comment":"The equality Ker(Stab_{MCG_{g,n}}(ℓ_M^{[F]}) → Aut(π_2([F]), λ)) ≡ α([|π|]_1(L), [F]) is asserted without derivation. This equality is exactly the step that carries the lamination L into the group-theoretic bound, so without an independent proof of (5.24), Theorem 5.8 and Theorem 1.1 do not follow. Moreover, the left-hand side involves Aut(π_2([F]), λ) while the exact sequence (2.14) involves Aut(π_3(X_d), λ, μ); the relationship between these two automorphism groups is not explained.","section":"§5.6, Eq. (5.24)"},{"comment":"The proof of Theorem 4.5 consists of a question and an assertion, not a mathematical argument. It does not provide a reduction to a known undecidable problem, a construction of the asserted nonrecursive distortion, or a proof of unsolvability of the word problem in the claimed setting. Since Theorem 1.5 and the equivalence in Theorem 1.4 rely on Theorem 4.5, those statements are also unproved.","section":"§4.2, Theorem 4.5"},{"comment":"The proof of Proposition 4.16 is empty, consisting only of 'Proof. □'. The proposition nevertheless asserts that different primitive cohomology insertions give different systole functions that cannot be smoothly interpolated and have different critical points. This is a load-bearing claim for the later discussion of interpolation and obstruction bundles, and no argument is supplied.","section":"§4.3, Proposition 4.16"},{"comment":"These equations assert dimensional equalities and inequalities, such as dim P_{g,n}|_{[F]} = VCohdim(α([|π|]_1(L), [F])) = VCohdim(K_d) and δ(Γ)+1 = VCohdim(α([|π|]_1(L))) = dim P_{g,n}, without derivation or even a definition of several quantities involved. These equalities are used to prove Theorem 5.8 and the equality case of Theorem 1.1, so the proof of the main theorem is not complete.","section":"§5.6, Eqs. (5.29), (5.31), (5.40), (5.42)"},{"comment":"The 'preferred lamination L replacing primitive cohomology insertions' is introduced only as a union of simple closed curves replacing the primitive insertions. No construction is given that maps primitive cohomology classes to curves, and the fundamental germ [|π|]_1(L) is defined for laminations with dense leaves, not for an arbitrary finite union of simple closed curves. Consequently, the object α([|π|]_1(L), [F]) appearing in Theorem 1.1 is not well-defined from the material presented in the paper.","section":"§3.2 and Theorem 1.1"}],"minor_comments":[{"comment":"The Van Kampen theorem is stated with 'homeomorphisms' where homomorphisms are meant; the map α is then called a homeomorphism instead of an isomorphism.","section":"§2.1, Theorem 2.2"},{"comment":"The definition of the Thurston spine says it is 'a CW-complex contained in P_g'; this should presumably read 'contained in M_g' or the definition of P_g should be given consistently.","section":"§2.2, Definition 2.10"},{"comment":"The conjecture about the lamination fixing the primitive cohomology splitting and the question about the curve graph are explicitly left unproved, which is acceptable as speculation, but they are later referenced informally in ways that may be mistaken for established statements.","section":"§4.2, Conjecture and Question"},{"comment":"The statement of Lemma 5.1 contains a typo, 'a omplex algebraic group', and the hypotheses are not clearly connected to the notation used in the rest of the paper.","section":"§5.2, Lemma 5.1"},{"comment":"The proof of Theorem 5.4 discusses separable and non-separable cases but the text appears to switch the labels: 'In case the simple cohomologies are independent ... both sides are separable' and later 'in absence of such dependence, both sides are non-separable'; the relationship between these cases and the theorem's conclusion should be clarified.","section":"§5.4, Theorem 5.4 proof"},{"comment":"The reference [KKS] is listed as 'to appear' without a title or arXiv number, and [Th] is listed both as a published article and as an unpublished manuscript with the same label; the bibliography should distinguish these entries.","section":"References"}],"recommendation":"reject","confidential_remarks":"The manuscript assembles terminology and references from several active research areas but does not provide the definitions and proofs needed to support its main theorems. The central identifications in Eqs. (2.15)–(2.16) and (5.24) are asserted rather than derived, and the object L is defined only nominally. In my assessment these are load-bearing issues that cannot be repaired by local edits within the scope of this paper; the construction would need to be substantially rebuilt before the claims could be evaluated."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The thing to know: this is a speculative preprint that introduces the notion of a 'preferred lamination' replacing primitive cohomology insertions, and claims a lower bound on the Thurston spine dimension via virtual cohomological dimension of the image of a fundamental germ in the mapping class group. If true, that would be a striking bridge between hyperbolic geometry and Gromov-Witten theory. But after reading the full text, I don't think the proof is there. The paper is not ready for the claims it makes.\n\nWhat is genuinely new: the terminology 'preferred lamination' and the specific inequality in Theorem 1.1 are not in the literature, as far as I can tell. The idea of importing laminations into the study of primitive cohomology insertions is creative. There are some correct-looking fragments, like Lemma 3.6 counting pants decompositions and Lemma 4.20, though those reduce to Euler characteristic bookkeeping.\n\nThe soft spots are extensive. The load-bearing identification (2.15)-(2.16) equates the stabiliser of a tangential structure with a deformation retraction of Teichmüller space, but no map from complete intersections to Teichmüller space is constructed, and no reason is given for the stabiliser to act properly discontinuously on T_{g,n}. The later identification (5.24) asserts an equality between a kernel and the image of the fundamental germ, again without derivation. That is exactly what carries the lamination into the group-theoretic bound. Equations (5.29) and (5.40) assert equalities without proof. Many theorems have empty proofs (Proposition 4.16) or proofs that are open questions (Theorem 4.5). Standard results are misstated: Van Kampen is stated with 'homeomorphism' where 'homomorphism' is meant. The 'preferred lamination' is introduced only terminologically; no construction maps primitive cohomology classes to curves, and the fundamental germ is defined for laminations with dense leaves, not for an arbitrary curve system. The paper also switches between π2([F]) and π3(X_d) without comment.\n\nI want to be fair: the author acknowledges some open questions and says a follow-up will address them. That honesty counts for something. But the central argument is not merely incomplete; it is undefined at key points. I don't see a way to repair this without a substantially new construction. The citation pattern is okay; the relevant literature (Randal-Williams, Mirzakhani, Gendron) is cited. But citing does not substitute for proof.\n\nWho is this for? Possibly a reader interested in how hyperbolic geometry might touch GW invariants, but they should treat it as a speculative research proposal, not a paper with proven results. I would not send this to a referee; a serious referee would spend a lot of time trying to extract theorems that are not there. Desk rejection with an invitation to resubmit when the constructions are made precise seems right.\n\nRecommendation: pass on this one.","headline":"An intriguing framing but no derivations: the main inequality depends on unproved identifications and the central construction is only terminological.","tokens_in":23998,"tokens_out":3540,"would_cite":false,"duration_ms":32286,"reading_group":"no","serious_thinker":"no","would_accept_peer_review":false},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["57N16","57N35","57N65","57T99"],"pacs":[],"model":"deepseek-v4-flash","headline":"For complete intersections in projective space, a lamination replacing primitive insertions bounds the dimension of the moduli-space spine from below.","keywords":["geodesic laminations","primitive cohomology","Gromov-Witten invariants","complete intersections","mapping class group","Thurston spine","fundamental germ","virtual cohomological dimension"],"falsifier":"For a concrete low-degree complete intersection in $\\mathbb{CP}^4$, compute both sides of the claimed identification (5.24): the kernel of the stabiliser's map to $\\mathrm{Aut}(\\pi_2([F]),\\lambda)$, and the image in the mapping class group of the fundamental germ of the preferred lamination. If the two groups differ, the inequality in Theorem 1.1 is not established.","tokens_in":22852,"feed_emoji":"📐","tokens_out":14602,"duration_ms":134257,"temperature":0.7,"pith_summary":"The paper sets out to show that geodesic laminations carry the information hidden in primitive cohomology insertions when computing Gromov-Witten invariants of complete intersections in projective space. Its central theorem states that the dimension of the moduli-space spine is at least the virtual cohomological dimension of the image, in the mapping class group, of the fundamental germ of the preferred lamination replacing those insertions, with equality in the limit where the insertions are independent of the symplectic form. If this is right, algebro-geometric invariant counts for high-dimensional varieties become readable through hyperbolic geometry and the group theory of surface mapping class groups. It would also explain why the mapping class group can fail to be separable or residually finite, why the relevant word problems can be unsolvable, and where the jump in topological entropy comes from.","feed_headline":"Laminations set the floor for the moduli spine","feed_subtitle":"For complete intersections in projective space, primitive insertions bound the spine dimension from below.","key_machinery":"The load-bearing machinery is the triple consisting of the preferred lamination $L$, its fundamental germ $[|\\pi|]_1(L,[F])$, and the stabiliser exact sequence. The fundamental germ is a lamination-level replacement for the fundamental group: it records tail-equivalence classes of sequences $g_\\alpha h_\\alpha^{-1}$ whose translates converge transversally to the base point. The central identification, equation (5.24), declares the kernel of the stabiliser's map to $\\mathrm{Aut}(\\pi_2([F]),\\lambda)$ to be precisely $\\alpha([|\\pi|]_1(L,[F]))$. Through the deformation retraction (2.15), the stabiliser is the retraction of Teichmüller space onto the spine, so the dimension of the spine equals the virtual cohomological dimension of the stabiliser in the equality limit, and the fundamental-germ image supplies the lower bound away from it. The virtual cohomological dimension is the cohomological dimension of a finite-index torsion-free subgroup, a finite integer for these groups.","core_discovery":"On the paper's own terms, the central discovery is an inequality tying the topology of a moduli space to a lamination. Let $L$ be the preferred lamination, meaning the union of simple closed curves that replace the primitive cohomology insertions on the moduli space $M_{g,n}$ of complete intersections, and let $[|\\pi|]_1(L,[F])$ be its fundamental germ, the lamination analogue of the fundamental group. The homomorphism $\\alpha$ from the fundamental germ into the stabiliser $\\mathrm{Stab}_{MCG_{g,n}}(\\ell^{[F]}_M)$ has image whose virtual cohomological dimension is at most the dimension of the moduli-space spine $P_{g,n}$, and equality is claimed exactly when the primitive insertions are independent of the symplectic form, at which point the spine dimension is the virtual cohomological dimension of the full mapping class group. The supporting results describe the consequences: the lamination is not a critical point of the systole function; constrained pants decompositions give a proper subgroup $MCG^{\\Gamma}_{g,n} < MCG^{p}_{g,n}$; symplectic-dependent primitive insertions make the mapping class group non-separable and its word problem unsolvable with nonrecursive distortion; and a pseudo-Anosov generator has entropy bounded below by the logarithm of its spectral radius whenever separability holds.","pith_inferences":["A rigorous proof of the identification (5.24) would turn Theorem 1.1 into a quantitative invariant: the gap between the virtual cohomological dimension of $\\alpha([|\\pi|]_1(L,[F]))$ and that of the full mapping class group would measure how much symplectic dependence of primitive insertions shrinks the effective mapping class group.","The paper notes that Van Kampen's theorem does not apply to the fundamental germ; a generalised Van Kampen theorem for laminations would be a separate project needed to make the Case 2 stabiliser decompositions fully rigorous.","One could test whether the known jumps in primitive-cohomology dimension as the symplectic form varies correspond to changes in the preferred lamination; if so, the lamination itself becomes a symplectic invariant bridging the two theories.","Strictness of the inequality in (1.3) is a candidate measure of non-saturation; computing it in low-genus examples would show whether the equality case is common or exceptional."],"forward_implications":["Gromov-Witten invariants of complete intersections in projective space are labelled by laminations, so the algebro-geometric counting problem acquires a hyperbolic-geometric shadow.","In the symplectic-independent limit the spine dimension equals the virtual cohomological dimension of the mapping class group, recovering the classical spine identity; away from that limit the inequality is strict.","Symplectic-dependent primitive insertions force non-separability of the mapping class group, unsolvability of the relevant word problem, and nonrecursive distortion of the subgroups attached to the nodes of the graph dressing the moduli space.","Complete intersections with separable mapping class group carry a pseudo-Anosov map whose topological entropy is bounded below by the logarithm of its spectral radius, while non-separability rules out pseudo-Anosov behaviour.","Topological recursion survives only in the constrained form fixed by the lamination: insertions independent of the graph nodes give the unconstrained recursion up to a combinatorial factor, while node-dependent insertions constrain it."],"supporting_citations":[{"why":"supplies the monodromy-to-mapping-class-group map, the stabiliser of the tangential structure, and the residual-finiteness failure that the paper extends.","marker":"[R W]"},{"why":"supplies the graph dressing the moduli space and the nodal-invariant degeneracy formula for Gromov-Witten invariants of complete intersections.","marker":"[ABPZ]"},{"why":"supplies the fundamental germ, the lamination version of the fundamental group on which Theorem 1.1's lower bound is built.","marker":"[G]"},{"why":"supplies the deformation-retraction spine and the equality between spine dimension and virtual cohomological dimension recovered as a limit.","marker":"[Th]"},{"why":"supplies the virtual cohomological dimension of the mapping class group and the cohomology computations used in the dimension bound.","marker":"[H]"},{"why":"supplies the volume-polynomial and topological recursion framework, together with the pants decompositions whose constrained families label the lamination.","marker":"[Mir]"},{"why":"supplies the 4-manifold primitive-cohomology jump phenomenon motivating dependence of simple cohomologies on the symplectic structure.","marker":"[GTV]"},{"why":"introduces primitive cohomologies whose dimension can jump with the symplectic form, the insertions the paper replaces by a lamination.","marker":"[TY]"},{"why":"supplies the subgroup-separability criterion used to prove non-separability of the mapping class group.","marker":"[LMP]"}],"fun_headline_variants":["Laminations bound the spine of moduli space","Spine dimension fixed by geodesic laminations","Primitive insertions linked to lamination floor","Lamination topology sets moduli spine height","Geodesic laminations govern spine dimension"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The core assumption is that the geometry of complete intersections in projective space can be faithfully translated into Riemann-surface moduli geometry, so that a preferred collection of curves (a lamination) can stand in for the primitive cohomology insertions and a spine for the moduli space.","fun_headline_variants_meta":{"raw":{"variants":["Laminations bound the spine of moduli space","Spine dimension fixed by geodesic laminations","Primitive insertions linked to lamination floor","Lamination topology sets moduli spine height","Geodesic laminations govern spine dimension"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000212,"raw_usage":{"total_tokens":1371,"prompt_tokens":854,"completion_tokens":517,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":470,"completion_tokens_details":{"reasoning_tokens":447}},"tokens_in":470,"tokens_out":517,"duration_ms":5503,"temperature":1.0,"reasoning_tokens":447,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T14:39:31.184304+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For a concrete low-degree complete intersection in $\\mathbb{CP}^4$, compute both sides of the claimed identification (5.24): the kernel of the stabiliser's map to $\\mathrm{Aut}(\\pi_2([F]),\\lambda)$, and the image in the mapping class group of the fundamental germ of the preferred lamination. If the two groups differ, the inequality in Theorem 1.1 is not established.","supporting_citations":[],"review_version":1}