{"id":"1cc2b040-36a9-4c4b-a918-71ea40a4731b","arxiv_id":"1909.00772","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The authors derive recursive Euler class formulas that enumerate curves with δ nodes and one fixed singularity for all δ+k ≤ 8, recovering prior results and producing new codimension eight numbers.","lead":"This paper gives explicit formulas for the number of curves in a linear system that have several ordinary nodes and one additional singularity, up to total codimension eight. A generalist might care because these are new enumerative geometry results and recover several known formulas.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Correctness depends on boundary multiplicity and closure claims whose proofs are deferred to an unpublished companion paper [1]; until those proofs are supplied, the recursive formulas are unverifiable.","rationale":"The reader's weakest assumption precisely identifies the load-bearing gap: the paper's Euler-class formulas in Section 7 are conditional on closure, multiplicity, and transversality claims proved only in the unpublished companion [1]. My reading of the manuscript confirms this: the proof of every recursive theorem refers to [1] for the actual boundary computations, and the few independent checks, while welcome, do not cover the full range of δ+k≤8. I therefore agree with the CONDITIONAL verdict. I also note an internal typo in Theorem 6.10 that illustrates the difficulty of taking the printed recursion at face value, but it is secondary to the main deferred-proof concern. The paper deserves credit for its transparent organization, the successful low-degree checks in Sections 8 and 9, and the recovery of known results by Kleiman–Piene, Kazarian, and Weber–Mikosz–Pragacz, all of which make the central claim plausible. Nevertheless, the central claim is not established within this paper alone. The appropriate verdict remains CONDITIONAL: acceptance should await the companion paper, or an independent verification of the asserted boundary multiplicities. Since this matches the reader's verdict, I recommend no change.","tokens_in":41140,"tokens_out":4842,"duration_ms":57275,"concrete_test":"Recompute the simplest deferred boundary multiplicity independently: take the two-node collision to a tacnode asserted in subsection 7.2, and verify that the contribution of B(q1,q2,qδ+1)∩μ is exactly 4 for δ=2 using the local singularity criterion of Lemma 4.4 and a small explicit one-parameter family of curves in C2 whose two nodes coalesce into an A3 singularity. Implement this local Euler-class computation (e.g., in Mathematica or by hand) and check both the coefficient 4 and the asserted emptiness of the four-node collision stratum. If the local computation yields any value other than 4, Theorems 6.3 and all formulas depending on it fail. In parallel, compare every numerical boundary constant listed in Section 7 with the corresponding proof in the companion paper [1] once it is available.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim, Main Result 1.5, rests on the Euler-class computations of Section 7, but the decisive inputs are not proved in this manuscript. In subsection 7.2, the tacnode stratum B(q1,q2,qδ+1)∩μ is asserted to contribute 4, the D4-collision stratum is asserted to contribute 18, and the vanishing of all strata with four or more colliding nodes is announced as a result of [1]. Similar unproved assertions appear throughout: subsection 7.4 asserts contributions of 2 and 3 for PA3 and D4 boundary components; subsection 7.7 asserts a contribution of 24 from the X9 boundary stratum; subsection 7.10 asserts contributions of 12 and 6; subsections 7.15–7.17 assert the multiplicities 3, 16, and 6. If any of these constants, or any of the closure identifications, is wrong, the recursive formulas and hence the final enumerative numbers change. Remark 1.7 explicitly acknowledges that transversality, closure, and multiplicity proofs are in the companion paper [1], which is listed as 'in preparation'. The low-degree checks in Sections 8–9 are valuable evidence, but they cover only a small subset of the asserted formulas and cannot establish the full recursion. A further warning sign of fragility: Theorem 6.10 and subsection 7.8 contain the term 12*(δ choose 1)*N(A^{δ−2}_1 X9), which is undefined for δ=1; the surrounding text says 'two points come together', so the intended binomial is presumably (δ choose 2). This typo shows that even the printed recursion is not literally self-contained.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a systematic, Euler-class-based recursion to count curves in a sufficiently ample linear system on a compact complex surface that have δ nodes and one further singularity of type X, for all δ+k ≤ 8. The main result, Main Result 1.5, claims explicit universal formulas for N(A_1^δ X) in terms of the Chern classes of L and T^*X. The recursion is built stratum by stratum: Sections 6 and 7 reduce each count to boundary contributions coming from collisions of nodes, and the paper states the needed closure, multiplicity, and transversality results, deferring their proofs to a companion paper [1]. The paper then recovers, in Sections 8 and 9, several known numbers (Kleiman–Piene's 8-node quintic count, Kontsevich–Manin rational curve numbers, and selected codimension-seven and codimension-eight results) and reports new codimension-eight numbers.","tokens_in":41513,"tokens_out":5667,"duration_ms":61331,"significance":"If the asserted recursion and boundary contributions are correct, this is a substantial contribution: it gives a uniform treatment of singular curve counts through codimension eight, recovers and partly re-proves results of Vainsencher, Kazarian, Kleiman–Piene, and Weber–Mikosz–Pragacz, and produces new universal polynomials. The manuscript has genuine strengths: the recursive structure is explicit, the base case N(A_1) is taken from the published paper [4], and the low-degree checks in P^2 and P^1×P^1 are concrete and nontrivial. The paper also provides a Mathematica implementation, which helps reproducibility. However, the central technical content — the closure, multiplicity, and transversality assertions for the Euler class boundary contributions — is not proved here but is deferred to an unpublished companion paper [1]. Until those proofs appear, the main result cannot be fully verified from the manuscript alone.","major_comments":[{"comment":"The load-bearing step of the paper is the computation of the Euler class boundary contributions, and nearly all of that computation is deferred to the companion paper [1], listed as “in preparation”. For example, §7.2 asserts that the tacnode stratum contributes 4 and the D4-collision stratum contributes 18; §7.4 asserts contributions 2 and 3; §7.7 asserts contribution 24 from X9; §7.10 asserts contributions 12 and 6; and §§7.15–7.17 assert contributions 3, 16, and 6. Each of these constants, together with the closure identifications such as B(q1,q2,qδ+1)≈A^{δ−2}_1∘A3 and B(q1,q2,q3,l_{qδ+1})≈A^{δ−2}_1∘D4, is announced as a result proved in [1]. Remark 1.7 explicitly acknowledges this split. These assertions are not cosmetic; if any one of them is incorrect, the recursive formulas and the final enumerative numbers change. The low-degree checks in Sections 8 and 9 sample only a few of the many asserted formulas and cannot substitute for the missing proofs.","section":"Section 7, especially §§7.2, 7.4, 7.7, 7.10, 7.15–7.17"},{"comment":"The paper states that “we have generated an output of all the numbers N(A_1^δ X) and have appended it at the end of this paper (after the Bibliography),” but the submitted manuscript contains no such appendix. Thus the promised explicit formulas are not actually present in the text; the only access to the final polynomials is a Mathematica program on the second author's homepage. This is a problem for the central claim “we obtain an explicit formula”: a reader of the paper cannot verify or use the claimed universal polynomials without consulting an external, version-uncontrolled file. The low-degree checks verify only a handful of cases, not the full set of codimension-eight formulas.","section":"Section 6, before Theorem 6.1; end of Section 6"},{"comment":"Theorem 6.10 contains the term 12*(δ choose 1)*N(A^{δ−2}_1 X9,n1,m1,m2,θ), which is undefined for δ=1 because N(A^{−1}_1 X9) is not defined. The surrounding text in §7.8 says “two points come together,” so the intended binomial is almost certainly (δ choose 2), which would make the term vanish for δ=1 as it should. This is not merely a notational slip in a peripheral display: it occurs in a theorem that is part of the recursive machinery, and as printed the recursion is not literally self-consistent.","section":"Theorem 6.10 and §7.8"},{"comment":"Theorem 6.16 is printed with a missing operator: the right-hand side reads “N(A^δ_1PD6,...) − N(A^δ_1PD6,...,θ+1) 2N(A^δ_1PD6,...,θ+1)+...”, which is not a valid formula as written. Comparison with the derivation in §7.12 and with the companion formulas strongly suggests a missing “+” sign between the second and third terms. Since this theorem is used in the recursion, the printed statement should be corrected.","section":"Theorem 6.16"}],"minor_comments":[{"comment":"The ampleness hypothesis in Theorem 6.16 is stated as “sufficiently (2δ+3)-ample”, which appears inconsistent with Main Result 1.5 (where C_{E7}=4, giving 2δ+4) and with the proof in §7.12 which invokes (2δ+4)-ample or stronger. The authors should clarify which bound is intended.","section":"Theorem 6.16 and Main Result 1.5"},{"comment":"There are numerous typographical errors, e.g., “signularity” in Section 5, “desried number” in §8.4, “Kontsevich-Manin s’s formula” in §9, and “upto” in the title and abstract. These do not affect the mathematics but should be corrected.","section":"Throughout"},{"comment":"In the proof of Theorem 6.5, the sentence after equation (15) says “Hence the remaining stratum of B does not contribute to the Euler class, giving us Theorem 6.5,” but the displayed equation (15) concerns r≥3, whereas the boundary component with two nodes colliding has already been handled; the logical flow is clear but would benefit from a more explicit statement that the omitted strata are precisely those with r≥3.","section":"Section 7.4"}],"recommendation":"major_revision","confidential_remarks":"The paper's publishability hinges on the companion paper [1]. As it stands, the main theorem is a conditional statement: all decisive boundary contributions are asserted rather than proved in this manuscript. I would recommend that the editor request the companion manuscript and require the authors to either include the missing proofs or clearly state the main result as conditional on [1]. Additionally, the absence of the promised appendix of final formulas is a concrete defect that should be fixed before publication."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here is my take on Basu–Mukherjee, arXiv:1909.00772. The paper delivers something real: explicit formulas for N(A1^δ X), the number of curves in a sufficiently ample linear system with δ nodes and one singularity of type X, for all δ+k ≤ 8. The codimension eight numbers are mostly new, and the recursive framework subsumes prior results by Vainsencher, Kazarian, Kleiman–Piene, and Weber–Mikosz–Pragacz. The low degree checks in Sections 8 and 9 are genuine evidence—they match known counts from Kontsevich–Manin and Kleiman–Piene, and the authors correct a real oversight in Vainsencher's P1×P1 computations.\n\nThe soft spot is exactly where the stress-test note lands. The recursion depends on boundary multiplicity and closure constants—4 for the tacnode stratum, 18 for the D4 collision, 24 for the X9 stratum, and more—and nearly all of them are 'shown in [1]', where [1] is an unpublished companion paper. Remark 1.7 says this openly. This does not sink the paper, because the low degree checks exercise parts of the recursion independently, and the base case comes from their earlier published work. But the main result is not verifiable from the manuscript alone, and a referee cannot certify it without seeing [1] or at least the key lemmas.\n\nThere are also a few printed typos. Theorem 6.10 has 12·(δ choose 1)·N(A1^{δ−2}X9), which is undefined at δ=1; it should presumably be (δ choose 2). Theorem 6.16 appears to have a missing plus sign between the first two terms. These are minor but make one wary about the transcription from the Mathematica output.\n\nAll that said, the paper is clearly the work of people who know this area. The recursion is coherent, the citations to related work are in place, and the new numbers are exactly the kind of explicit data this field uses. I would not desk-reject it.\n\nWho is the audience? Enumerative geometers working on singular curves on surfaces, and anyone needing explicit universal polynomials for low-codimension singularity counts. If the companion paper appears with the promised proofs, this becomes a solid reference. Without it, it is an extended announcement.\n\nRecommendation: send it to peer review, but the referee should be instructed that the decisive multiplicity and closure claims live in the companion, and acceptance should be conditional on those proofs being supplied or published alongside. I would cite it once that happens.","headline":"Useful, likely-correct enumeration with new codim-8 numbers, but the load-bearing boundary multiplicity proofs are deferred to an unpublished companion.","tokens_in":41984,"tokens_out":3631,"would_cite":true,"duration_ms":39369,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14N10","14C17","14H20","14N35"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that every curve count with δ nodes and one further singularity of total codimension at most eight is an explicit universal polynomial in Chern classes.","keywords":["enumerative geometry","singular plane curves","Euler class","local intersection theory","recursive formulas","Chern classes","linear systems","codimension eight"],"falsifier":"Take the boundary stratum where two marked nodes of a plane quartic collide to form a tacnode, compute the local Euler-class contribution of the section directly on a one-parameter family, and check that it equals 4; if the direct calculation yields any other integer, every recursive formula built on that multiplicity, and hence all the final enumerative numbers, would have to change.","tokens_in":40957,"feed_emoji":"","tokens_out":8557,"duration_ms":86199,"temperature":0.7,"pith_summary":"This paper asks how many curves in a sufficiently positive linear system on a compact complex surface have a prescribed collection of singularities: δ ordinary nodes and one further singularity of a fixed type. The authors establish that for every singularity of codimension k, the number N(A1^δ X) is explicitly computable whenever δ+k≤8, and the answer is a universal polynomial in the Chern classes of the line bundle and the surface. This matters because enumerative counts of this kind were previously known only in fragments—up to six nodes, all codimension-seven cases, and a few codimension-eight cases—and the paper fills the remaining codimension-eight table with new numbers. The method is a systematic recursion: each count is expressed through the Euler class of a derivative bundle, and boundary contributions are interpreted as counts of curves with more degenerate singularities.","feed_headline":"One recursion settles curve counts through codimension eight","feed_subtitle":"Every δ-node, one-singularity number is a universal polynomial on any sufficiently ample linear system.","key_machinery":"The machinery is the Euler class of derivative bundles over spaces of marked curves. A singularity condition such as 'the curve has a cusp at q' is encoded by choosing coordinates and requiring certain directional derivatives—the quantities A_i^f and D_i^f defined in the paper—to vanish; these conditions define sections of line bundles over the space of curves with a marked point and, for degenerate singularities, a marked tangent direction. The number N(A1^δ X) is then the Euler class of the relevant bundle evaluated on the fundamental class of the open stratum A1^δ ∘ X. The paper's main technical work is to compute the boundary contribution to this Euler class: when marked points collide, the section vanishes on strata such as $A1^{{δ-2}}$ ∘ A3 (two nodes becoming a tacnode) or $A1^{{δ-3}}$ ∘ D4 (three nodes becoming a triple point), and the contribution from each such stratum is a fixed integer—4, 18, and so on—obtained from local intersection theory. Recursive formulas chain these boundary computations together to reach the base case.","core_discovery":"The central claim is that the enumerative numbers N(A1^δ X)—the number of curves through the expected number of generic points with δ ordered nodes and one singularity of type X—are determined, for δ+k≤8, by an explicit recursion whose base case is the count of one nodal curve. The recursion writes N(A1^δ X) as a product of the base curve count with an insertion, minus boundary contributions coming from marked points colliding. Each boundary contribution is a fixed integer multiple of a count of curves with fewer nodes and a more degenerate singularity: for instance, two colliding nodes contribute 4 times the tacnode count, three colliding nodes contribute 18 times the ordinary triple-point count, and the stratum where more than three nodes collide contributes nothing once the generic point conditions are imposed. Iterating the recursion down to the base case yields an explicit universal polynomial in c1(L), c1(T^*X), and c2(T^*X). The same procedure reproduces every previously known formula in this range and produces the previously unknown codimension-eight numbers.","pith_inferences":["An inevitable next step, not taken in the paper, is to push the same recursion to $\\delta+k=9$; the structure suggests that only finitely many new boundary multiplicities would need to be computed.","Because the formulas are universal polynomials, they can be specialized mechanically to any compact complex surface with computable Chern classes, so regenerating tables for other surfaces is a direct computational extension.","The paper's own remark that its ampleness bound is not optimal suggests that rerunning the transversality argument with the marked point allowed to move as well as the curve would yield a sharper bound on when the formulas are genuinely enumerative.","The corrected $\\mathbb{P}^1\\times\\mathbb{P}^1$ checks reveal how easily reducible configurations can be double-counted in such tables; auditing other published low-degree enumerative numbers with the same subtraction logic is a cheap way to find similar oversights."],"forward_implications":["For every compact complex surface and every line bundle that is sufficiently $(2\\delta+C_X)$-ample, the number $N(A_1^\\delta X)$ with $\\delta+k\\le 8$ is an explicit universal polynomial in $c_1(L)$, $c_1(T^*X)$, and $c_2(T^*X)$.","The recursion reproduces all previously known formulas in this range—up to six nodes, all codimension-seven counts, eight nodes, and one codimension-eight singular point—and supplies the remaining codimension-eight numbers, which are new.","The direct low-degree checks in $\\mathbb{P}^2$ and $\\mathbb{P}^1\\times\\mathbb{P}^1$ confirm the formulas; for example, the count of quintics through 12 points with six nodes and one cusp matches a purely combinatorial count of reducible configurations.","When more than three marked points attempt to collide, the generic point condition cuts the boundary stratum away, so the recursion only needs boundary strata with at most three colliding points."],"supporting_citations":[{"why":"Deferred companion paper that supplies the transversality, closure, and multiplicity claims on which the recursive formulas rest.","marker":"[1]"},{"why":"Earlier paper proving the base formula N(A1,n1,m1,m2) and transversality for one or two singular points.","marker":"[4]"},{"why":"Earlier paper establishing boundary-contribution and collision computations for two singular points that the recursion extends.","marker":"[5]"},{"why":"Supplies the codimension-seven universal formula that the present recursion is checked against.","marker":"[15]"},{"why":"Supplies the eight-nodal formula and ampleness setup that this paper recovers and refines.","marker":"[17]"},{"why":"Provides the Gromov-Witten counts of rational curves used in the low-degree checks.","marker":"[20]"},{"why":"Establishes transversality for sufficiently ample linear systems on general complex manifolds, used to justify the section perturbations.","marker":"[27]"},{"why":"Provides the earlier up-to-six-nodal formulas and the P^1×P^1 low-degree tables that the paper corrects.","marker":"[43]"}],"fun_headline_variants":["One recursion computes all curve counts through codimension 8","Explicit recursion yields universal polynomial for singular curves","From one node to eight: a single recursion for curve counts","Counting curves with one extra singularity via universal recursion"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the deferred proofs in the companion paper supply the stated closures and multiplicities for colliding singular points—two nodes contributing exactly 4 when they form a tacnode, three nodes exactly 18 when they form a triple point, and more-than-three-node collisions contributing nothing under the generic point constraints—because any one of these numerical claims being wrong would change the final formulas.","fun_headline_variants_meta":{"raw":{"variants":["One recursion computes all curve counts through codimension 8","Explicit recursion yields universal polynomial for singular curves","From one node to eight: a single recursion for curve counts","Counting curves with one extra singularity via universal recursion"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000291,"raw_usage":{"total_tokens":1681,"prompt_tokens":910,"completion_tokens":771,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":526,"completion_tokens_details":{"reasoning_tokens":707}},"tokens_in":526,"tokens_out":771,"duration_ms":129628,"temperature":1.0,"reasoning_tokens":707,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T05:35:54.654037+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take the boundary stratum where two marked nodes of a plane quartic collide to form a tacnode, compute the local Euler-class contribution of the section directly on a one-parameter family, and check that it equals 4; if the direct calculation yields any other integer, every recursive formula built on that multiplicity, and hence all the final enumerative numbers, would have to change.","supporting_citations":[{"cited_title":"Basu and R","cited_arxiv_id":null,"evidence_quote":"Deferred companion paper that supplies the transversality, closure, and multiplicity claims on which the recursive formulas rest."},{"cited_title":"Counting curves on a general linear system with up to two singular points","cited_arxiv_id":"1501.01557","evidence_quote":"Earlier paper proving the base formula N(A1,n1,m1,m2) and transversality for one or two singular points."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Earlier paper establishing boundary-contribution and collision computations for two singular points that the recursion extends."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the codimension-seven universal formula that the present recursion is checked against."},{"cited_title":"Kleiman and R","cited_arxiv_id":null,"evidence_quote":"Supplies the eight-nodal formula and ampleness setup that this paper recovers and refines."},{"cited_title":"Kontsevich and Y","cited_arxiv_id":null,"evidence_quote":"Provides the Gromov-Witten counts of rational curves used in the low-degree checks."},{"cited_title":"In press","cited_arxiv_id":null,"evidence_quote":"Establishes transversality for sufficiently ample linear systems on general complex manifolds, used to justify the section perturbations."},{"cited_title":"V ainsencher, Enumeration of n-fold tangent hyperplanes to a surface , J","cited_arxiv_id":null,"evidence_quote":"Provides the earlier up-to-six-nodal formulas and the P^1×P^1 low-degree tables that the paper corrects."}],"review_version":1}