{"id":"5412f850-a15c-406b-aec7-cf35e71fa9ff","arxiv_id":"1908.01330","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For an irreducible nodal curve with one node, the cohomology ring of the Simpson moduli space of rank 2 semistable sheaves with fixed odd determinant has a minimal set of generators obtained by degenerating Newstead's smooth-curve generators.","lead":"Newstead's generators for the cohomology ring of moduli of rank 2 stable bundles over a smooth curve are extended to the case of an irreducible nodal curve. The paper proves these generators for the singular moduli space arise naturally as degenerations of the smooth-case generators.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 3.2 depends on unproven exact sequence (2.2) imported from [6, Corollary 2.4] and on the claimed minimality of the generator set; a basis-check for sp on the monomials in §2 is needed.","rationale":"The reader correctly identified the dependency on the companion papers, especially [6] for the exact sequence (2.2). This is indeed the most load-bearing point. The paper's own text states: 'By [6, Corollary 2.4], we then have the following exact sequence' and the final generation argument in Theorem 3.2 uses the identification ker(sp^i) ≅ coker(θ^*) and Im(sp^i) ≅ W_iH^i(G(2,L)_∞). If (2.2) is not available in the fixed-determinant setting, or if the identification of the kernel is off, the proof of Theorem 3.2 fails. The concern is not that the statement is wrong, but that the published proof is incomplete: it relies on an unproven companion result. The appropriate verdict is CONDITIONAL (publish pending the companion's verification), not ACCEPT. I agree with the reader's assessment; the proposed check would isolate whether the exact sequence holds in the needed degree.","tokens_in":9472,"tokens_out":3687,"duration_ms":33596,"concrete_test":"Independently verify the exact sequence (2.2) for the fixed-determinant relative Gieseker family. In particular, for k=4, compute the specialization sp^4 and the Gysin map f_4 on the P1×P1-fiber of G0∩G1 over a smooth point of M_{\\tilde X0}(2,\\tilde L0). Check that the composition H^2(G0∩G1)→H^4(G_X0(2,L0))→H^4(G(2,L)_∞) has image exactly the weight-4 part spanned by α_∞ and that coker(sp^4) is one-dimensional generated by Gr^W_5H^4(G(2,L)_∞). If the cokernel dimension differs, then the claimed isomorphism H^i(U_X0(2,L0),Q) ≅ Im(sp^i) fails.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The central claim, Theorem 3.2, asserts that the listed η-classes form a minimal generating set for H^*(U_X0(2,L0),Q). The proof transfers this from Theorem 2.3 for the Gieseker model G_X0(2,L0). The load-bearing step is the exact sequence (2.2), imported from [6, Corollary 2.4] (a companion preprint by Dan-Kaur, arXiv:1908.02279), which identifies ker(sp^i) with Im(f_i) and coker(sp^i) with Gr^W_{i+1}H^i(G(2,L)_∞,Q). The argument also relies on the assertion that sp^i(V_i)=Im(sp^i) and that the kernel is generated by the image of f_i, combined with the claim that m=ψ_g ψ_{2g} is the only weight-pure monomial in H^*(G(2,L)_∞,Q) that does not come from a lift of a generator that is monodromy-invariant. These are concrete, checkable statements, but neither the exact sequence nor the minimality of the generating set is proved here; the reader is referred to [6]. Since Theorem 3.2 is the main new result, if (2.2) fails or if sp^k is not surjective onto W_kH^k(G(2,L)_∞,Q) for some k, the current proof of Theorem 3.2 collapses. This is a real open dependency, not a mere citation gap.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims to generalize Newstead's classical generator theorem for the rational cohomology ring of the moduli space of rank-2 stable bundles with fixed odd determinant from smooth curves to irreducible nodal curves with exactly one node. The strategy is to degenerate a smooth curve to the nodal curve, work with the relative Gieseker moduli space whose central fiber is a simple normal crossings divisor, use limit mixed Hodge structures and the specialization morphism, and then pass from the Gieseker space to the Simpson moduli space via the natural proper morphism. The main results are Theorem 2.3, giving a minimal generating set for the cohomology ring of the Gieseker central fiber, and Theorem 3.2, giving a minimal generating set for the cohomology ring of the Simpson moduli space U_{X0}(2,L0). The paper is short and depends heavily on two companion preprints, [3] and [6], for the structure of the central fiber and for the key exact sequence (2.2).","tokens_in":9769,"tokens_out":7019,"duration_ms":74263,"significance":"If the proof is completed, the result would be the first explicit generator theorem for a singular Simpson moduli space with fixed determinant, and the interpretation of the generators as degenerations of Newstead's smooth-case generators is a valuable structural insight. The overall strategy—Gieseker degeneration, limit mixed Hodge structures, and Mayer-Vietoris/Gysin arguments—is coherent and promising. The paper also benefits from being concise and from stating its main theorems precisely. However, the central load-bearing exact sequence and parts of the weight-filtration analysis are imported from unpublished companion preprints, and the generation/minimality arguments in the proof of Theorem 2.3 are asserted too tersely. The significance is therefore conditional on filling those gaps; with the gaps filled, the paper would make a solid contribution.","major_comments":[{"comment":"The exact sequence (2.2) is the central tool of the paper: it identifies ker(sp^i) with Im(f_i) and coker(sp^i) with Gr^W_{i+1}H^i(G(2,L)_∞,Q). It is imported from [6, Corollary 2.4], a companion preprint that is not yet published as far as the manuscript indicates, and neither its statement nor its proof is reproduced here. Since Theorem 2.3 and Theorem 3.2 both rely directly on this sequence, the authors must either supply a self-contained proof of (2.2) in this paper or give a precise reference to a published version; otherwise the main results remain conditional on an external, not-yet-refereed source.","section":"§2.2, Eq. (2.2)"},{"comment":"The assertion 'This implies Im(f_k) ⊂ V_k' after the exact sequence (2.4) is not justified. The map f_k is a Gysin-type morphism, not a ring homomorphism, so the fact that H^*(G0∩G1,Q) is generated by α0, β0, ξ1, ξ2, and ψ'_i does not by itself imply that the images f_k of arbitrary monomials in those generators lie in the subring V generated by the listed ξ^(i)_j. A projection-formula argument or an explicit inductive computation is needed to show that the f_k-images land in V_k for every k.","section":"§2.3, proof of Theorem 2.3"},{"comment":"The proof that sp^k(V_k)=Im(sp^k) is too terse. The text says that W_kH^k(G(2,L)_∞,Q) is generated by monomials α^i_∞ β^j_∞ ψ_{i_1}...ψ_{i_t} for which either t<2g or {g,2g} lies in the index set, and then concludes sp^k(V_k)=Im(sp^k). This requires a case-by-case check that each such monomial has a preimage in V_k, including the monomial ψ_g ψ_{2g} and its products with α∞ and β∞; the paper does not provide that check. Similarly, the claim that the generating set is minimal is dismissed with 'The minimality ... is straightforward' without proof. Since minimality is part of the stated theorems, this needs an explicit argument, for example a dimension count in graded pieces or an independence check.","section":"§2.3, proof of Theorem 2.3, and §3, proof of Theorem 3.2"},{"comment":"The final identification H^i(U_{X0}(2,L0),Q) ≅ Im(θ^*) ≅ Im(sp^i) ≅ W_iH^i(G(2,L)_∞,Q) depends on the same unproved generation statement for the image of sp^i. In particular, the equality Im(sp^i)=W_iH^i(G(2,L)_∞,Q) requires knowing that every weight-pure class in W_iH^i is in the image of the specialization map, which is exactly the content of the missing monomial check in the proof of Theorem 2.3. This is not an independent objection, but it shows that the gap in the proof of Theorem 2.3 directly affects both main theorems.","section":"§3, proof of Theorem 3.2"}],"minor_comments":[{"comment":"The running title contains a typo: 'GENERA TORS' should be 'GENERATORS'; there are also several OCR-like spacing errors in the body, e.g., 'de gree' in the Abstract and 'th e' in the Introduction. A thorough proofread is needed.","section":"Title header"},{"comment":"The line defining ξ^(2)_1 says '1 ∈ H^0(G1∩G2,Q)', but the intersection of the two components of G_{X0}(2,L0) is G0∩G1. This appears to be a typo.","section":"§2.3, proof of Theorem 2.3"},{"comment":"The phrase 'excessive couple' should be 'excisive couple'; the standard terminology in [26, Example B.5] is 'excisive'. Please correct the terminology.","section":"§3, proof of Theorem 3.2"},{"comment":"The sentence beginning 'Unfortunately, the resulting specialization map is not a morphism of mixed Hodge structures' is confusing because the next sentence explains that after identifying the cohomology of the nearby fiber with the limit cohomology, the modified map is a morphism of mixed Hodge structures. The 'Unfortunately' is misleading and the two-step construction would benefit from being stated more cleanly.","section":"§2.2"},{"comment":"In the proof, the statement that f2 is injective because G0∩G1 is smooth and rationally connected is plausible but not explained. Since H^0(G0∩G1)=Q and f2 maps this to H^2(G_{X0}(2,L0),Q), injectivity means the Gysin image of the fundamental class is nonzero; a one-line justification would be helpful.","section":"§2.3, proof of Theorem 2.3"}],"recommendation":"major_revision","confidential_remarks":"The paper is very heavily dependent on the authors' own companion preprints [3] and [6], particularly [6, Corollary 2.4] for the exact sequence (2.2) and [3, Theorem A.7] for the central fiber structure. Neither preprint appears to have been through a refereeing process yet. I would ask the editor to weigh whether this level of external dependency is acceptable for the journal; if the companion papers are rejected or significantly revised, the present paper's main theorems could be affected. In any case, the authors should be required to make the paper self-contained for these results or to wait until the companions are published."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's the quick read. The result is real and new: Newstead's generators for the rank-2 fixed-determinant moduli space on a smooth curve are shown to degenerate to a minimal generating set for the Simpson moduli space on an irreducible one-nodal curve. The Gieseker-degeneration strategy is the right tool, and the paper is honest about where the machinery comes from. That's the good part.\n\nThe soft spots are in the proof's scaffolding. The load-bearing exact sequence (2.2) is imported from the companion preprint [6, Corollary 2.4], and the description of the Gieseker central fiber as an SNC divisor with two components comes from [3, Theorem A.7]. Both are by the same authors. That is not a flaw by itself — mathematicians cite companions all the time — but here those results carry the proof. The present paper contributes the generator construction, the weight-filtration bookkeeping, and the passage from the Gieseker model to Simpson's moduli space. If (2.2) or the central-fiber structure fails, Theorem 3.2 collapses. So a referee must read [3] and [6] carefully, and the authors should have included a proof of (2.2) or at least a precise statement of all its hypotheses.\n\nTwo further places need filling. The claim 'Using [21, Remark 5.2] one can check...' is doing a lot of work: it identifies which monomials lie in W_k H^k(G∞). The stress-test note is right that surjectivity of sp^k onto W_k is a real check, and the quick conclusion that ψ_g ψ_{2g} is the only non-liftable weight-pure monomial is not obvious from the text. Second, the minimality of the generator set in Theorem 2.3 is dismissed as 'straightforward.' Since the ring structure is not computed, minimality needs a few lines of justification — maybe restricting along the P^1×P^1 fibers or using the known Betti numbers. This is probably fixable, but it is a genuine gap, not a typo.\n\nThe writing has minor rough edges (e.g., 'excessive couple' should be 'excisive couple'), but nothing that affects the mathematics.\n\nOverall: coherent, plausible, and significant if the companions hold up. The paper is for specialists in moduli of sheaves on singular curves and Hodge theory; a general audience won't get much, but the right reader will find it useful. I would send it to a serious referee, asking for the imported results to be either published or proved in an appendix. If those checks pass, the result stands.\n\nRecommendation: engage with it — conditional acceptance.","headline":"Real new result with a sound degeneration strategy, but the proof leans on unproved companion preprints and a few sketched weight-filtration steps; referee must check those.","tokens_in":10284,"tokens_out":6788,"would_cite":true,"duration_ms":67116,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["32G20","32S35","14D07","14D22","14D20","14H60","55R40"],"pacs":[],"model":"deepseek-v4-flash","headline":"For a one-nodal curve, the rational cohomology ring of the rank-2, fixed-determinant moduli space is minimally generated by explicit limit classes in degrees 2, 3, 4, and 6.","keywords":["cohomology ring","moduli spaces of semistable sheaves","nodal curves","limit mixed Hodge structures","rank 2 sheaves","fixed determinant","degeneration"],"falsifier":"Compute the third cohomology of $U_{X_0}(2,L_0)$ for a low-genus one-nodal curve by an independent method, for instance from the long exact sequence relating this space to the moduli space on the normalized curve; the theorem predicts that $H^3$ is $(2g-1)$-dimensional and spanned by the $\\eta^{(3)}_i$. A different dimension, or a cohomology class in any degree not expressible as a polynomial in $\\eta^{(2)}_1$, $\\eta^{(4)}_1$, $\\eta^{(6)}_1$, and the $\\eta^{(3)}_i$, would refute the claimed generation.","tokens_in":9264,"feed_emoji":"📐","tokens_out":18240,"duration_ms":164585,"temperature":0.7,"pith_summary":"This paper extends the classical description of the rational cohomology ring of moduli spaces of rank-2 semistable sheaves from smooth curves to an irreducible nodal curve with a single node and fixed odd-degree determinant. It proves that the cohomology ring of this moduli space, denoted $U_{X_0}(2,L_0)$, is minimally generated by one class in each of degrees 2, 4, and 6 together with $2g-1$ classes in degree 3, where $g$ is the genus. These generators are not chosen arbitrarily: they arise as degeneration limits, through a family of moduli spaces with mildly singular central fiber, of the known smooth-curve generators. If the proof is correct, the familiar generator picture for smooth curves survives the appearance of a node, with one odd-degree class replaced by a degree-6 product in the singular setting. This matters because it gives an explicit algebraic description of a moduli space that is itself singular, a case where most smooth-curve techniques fail.","feed_headline":"Cohomology generators survive when curves become nodal","feed_subtitle":"In the singular one-node case the ring still needs exactly 2g+2 generators, as in the smooth case.","key_machinery":"The argument hinges on an auxiliary degeneration of moduli spaces whose central fiber is a simple normal crossings divisor, obtained by a standard degeneration construction. The special fiber splits into two smooth components meeting along a $\\mathbb{P}^1 \\times \\mathbb{P}^1$-bundle over the moduli space of the normalized curve, with one component itself a $\\mathbb{P}^3$-bundle over the same base. A specialization morphism from the cohomology of the central fiber to the limit mixed Hodge structure on the smooth fiber is governed by an exact sequence that describes both the kernel, coming from push-forwards along the inclusions of the intersection, and the cokernel, coming from monodromy-weight graded pieces. Cup products of the smooth-curve generators are lifted through this sequence, and the projective-bundle cohomology decomposition shows that the lifted classes generate the whole ring. A proper contraction from the central fiber to the fixed-determinant moduli space then identifies the monodromy-invariant subring with the cohomology of $U_{X_0}(2,L_0)$.","core_discovery":"The central claim is that for $X_0$ an irreducible nodal curve with exactly one node and $L_0$ an invertible sheaf of odd degree, the rational cohomology ring of the moduli space $U_{X_0}(2,L_0)$ of rank-2 semistable torsion-free sheaves with determinant $L_0$ has a minimal generating set consisting of $\\eta^{(2)}_1 \\in H^2$, $\\eta^{(4)}_1 \\in H^4$, $\\eta^{(6)}_1 \\in H^6$, and $\\eta^{(3)}_i \\in H^3$ for $1 \\le i \\le 2g-1$. The proof places $X_0$ as the special fiber of a smooth family of curves and uses an auxiliary degeneration of moduli spaces whose central fiber is a simple normal crossings divisor. The smooth-curve generators of the nearby fibers are transported to the special fiber through specialization maps, and the monodromy-invariant part of the cohomology is shown to be generated by exactly these classes. A proper map from the degeneration's central fiber to $U_{X_0}(2,L_0)$ then carries these classes down to the singular moduli space. The theorem is therefore an existence statement with content: the generators are the natural degeneration limits of the generators in the smooth case.","pith_inferences":["The same degeneration picture suggests a testable extension to curves with several nodes: each additional node should delete another odd degree-3 generator, with products of exceptional odd classes supplying higher even-degree replacements, so the count of generators would grow with the number of nodes.","Because the theorem realizes the nodal cohomology ring as a monodromy-invariant subring, computing the weight filtration on the smooth moduli space gives an independent route to the Betti and Hodge numbers of the singular moduli space without resolving it, a calculation the paper does not carry out.","The explicit generator set is a natural input for studying related moduli spaces over nodal curves, mirroring how smooth-curve generator results have been used for other moduli problems."],"forward_implications":["The rational cohomology ring of the one-nodal fixed-determinant moduli space is generated by $2g+2$ classes: one in degree 2, one in degree 4, one in degree 6, and $2g-1$ in degree 3.","One of the $2g$ odd degree-3 generators of the smooth case becomes non-monodromy-invariant under degeneration, and its cohomological role is carried by a degree-6 class that is the product of the two special odd classes.","All generators lie in degrees at most 6, and the only odd-degree generators lie in degree 3, so every cohomology class of the nodal moduli space is a polynomial in these low-degree classes.","The proof identifies the cohomology of the nodal moduli space with the monodromy-invariant part of the smooth-fiber cohomology under the specialization morphism, so the nodal ring is determined by the monodromy weight filtration."],"supporting_citations":[{"why":"Supplies the smooth-curve generator theorem, the statement this paper extends to the nodal case.","marker":"[25]"},{"why":"Provides the structural description of the degeneration central fiber as two components meeting in a P^1 x P^1-bundle.","marker":"[3]"},{"why":"Supplies the exact sequence (2.2) relating central-fiber cohomology, the limit mixed Hodge structure, and monodromy-weight pieces.","marker":"[6]"},{"why":"Constructs the auxiliary degeneration of moduli spaces with simple normal crossings central fiber.","marker":"[14]"},{"why":"Gives the monomial description of the smooth-fiber cohomology ring used to prove generation in every degree.","marker":"[21]"},{"why":"Establishes the identification of H^1 of the curve with H^3 of the smooth moduli space used to define the odd classes.","marker":"[23]"},{"why":"Supplies the mixed Hodge structure formalism, including specialization maps and push-forward maps used throughout.","marker":"[26]"},{"why":"Provides the nodal-curve moduli space and the proper morphism from the degeneration central fiber to it.","marker":"[31]"},{"why":"Supplies the limit mixed Hodge structure on the smooth fiber used to make the specialization map a morphism of mixed Hodge structures.","marker":"[29]"},{"why":"Guarantees the regular one-parameter family of curves with the nodal curve as special fiber.","marker":"[2]"}],"fun_headline_variants":["Nodal curve cohomology still needs 2g+2 generators","Newstead's generators degenerate to nodal case","Exactly 2g+2 generators for nodal moduli space","Nodal case inherits Newstead generators"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"Everything rests on the imported fact that, as the curve degenerates to a nodal curve, the auxiliary moduli space degenerates into two smooth halves meeting along a simple intermediate space, and on an exact sequence describing how cohomology classes from the smooth fibers lift to this union; if either fact fails for the fixed-determinant family, the generator proof collapses.","fun_headline_variants_meta":{"raw":{"variants":["Nodal curve cohomology still needs 2g+2 generators","Newstead's generators degenerate to nodal case","Exactly 2g+2 generators for nodal moduli space","Nodal case inherits Newstead generators"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00041,"raw_usage":{"total_tokens":2097,"prompt_tokens":891,"completion_tokens":1206,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":507,"completion_tokens_details":{"reasoning_tokens":1141}},"tokens_in":507,"tokens_out":1206,"duration_ms":9462,"temperature":1.0,"reasoning_tokens":1141,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T15:16:19.869565+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the third cohomology of $U_{X_0}(2,L_0)$ for a low-genus one-nodal curve by an independent method, for instance from the long exact sequence relating this space to the moduli space on the normalized curve; the theorem predicts that $H^3$ is $(2g-1)$-dimensional and spanned by the $\\eta^{(3)}_i$. A different dimension, or a cohomology class in any degree not expressible as a polynomial in $\\eta^{(2)}_1$, $\\eta^{(4)}_1$, $\\eta^{(6)}_1$, and the $\\eta^{(3)}_i$, would refute the claimed generation.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the smooth-curve generator theorem, the statement this paper extends to the nodal case."},{"cited_title":"Degeneration of intermediate Jacobians and the Torelli theorem","cited_arxiv_id":"1809.08604","evidence_quote":"Provides the structural description of the degeneration central fiber as two components meeting in a P^1 x P^1-bundle."},{"cited_title":"Generalization of a conjecture of Mumford","cited_arxiv_id":"1908.02279","evidence_quote":"Supplies the exact sequence (2.2) relating central-fiber cohomology, the limit mixed Hodge structure, and monodromy-weight pieces."},{"cited_title":"Gieseker","cited_arxiv_id":null,"evidence_quote":"Constructs the auxiliary degeneration of moduli spaces with simple normal crossings central fiber."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the monomial description of the smooth-fiber cohomology ring used to prove generation in every degree."},{"cited_title":"Periods of a moduli space of bun dles on curves","cited_arxiv_id":null,"evidence_quote":"Establishes the identification of H^1 of the curve with H^3 of the smooth moduli space used to define the odd classes."},{"cited_title":"Peters and J","cited_arxiv_id":null,"evidence_quote":"Supplies the mixed Hodge structure formalism, including specialization maps and push-forward maps used throughout."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the nodal-curve moduli space and the proper morphism from the degeneration central fiber to it."},{"cited_title":"Steenbrink","cited_arxiv_id":null,"evidence_quote":"Supplies the limit mixed Hodge structure on the smooth fiber used to make the specialization map a morphism of mixed Hodge structures."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Guarantees the regular one-parameter family of curves with the nodal curve as special fiber."}],"review_version":1}