{"id":"bb69b79e-a9b6-4c65-bcf5-35889be0cf6e","arxiv_id":"2609.06821","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Rational nodal curves on toric surfaces are counted by rational rulings of a Legendrian link, unifying six independent definitions.","lead":"This paper shows that the number of rational nodal curves in a toric surface can be computed by counting certain combinatorial objects called rulings. The result connects algebraic geometry, tropical geometry, and constructible sheaf theory, offering a new computational tool for enumerative geometry.","discovery_kind":"unification","skeptic_critique":{"model":"deepseek/deepseek-v4-flash","headline":"The equality N^rul = N^Sh = N^Coh is only established for polygons admitting a consistent dimer model; the paper does not prove every convex lattice polygon admits one, and Remark 6.2 does not supply the missing bridge.","rationale":"The reader's weakest assumption identifies the same load-bearing point: the constructible-sheaf mirror side is anchored by the consistent-dimer spectral transform of [TWZ19], and no proof is given that every convex lattice polygon admits such a dimer model. My reading of the paper confirms this is the critical juncture. The combinatorial ruling definition in Section 6 is presented in good faith as independent of dimer models, and Theorem 6.16 is a substantial self-contained development; however, the equality N^rul = N^Sh = N^Coh still crosses from a purely sheaf-theoretic moduli space to the relative Jacobian through the [TWZ19] characterization, whose stated hypotheses include consistency. The paper's own Remark 6.2 concedes that simultaneous dimer isotopy and choice of ruling direction is not always known, which further emphasizes that the general case is not covered. The localization section being work in progress is a real but secondary issue: it affects the novelty of the log-GW computations, not the logical structure of Theorem 3.1. The tropical invariance proof in Section 5 and the explicit examples are coherent and provide genuine evidence for the claimed equalities on the tested polygons. Thus the correct disposition remains the reader's conditional acceptance: the central claim is plausible and well supported in the dimer-realizable cases, but its unrestricted formulation needs either a consistency-existence theorem for all Δ or a dimer-free derivation of the pure-sheaf characterization.","tokens_in":45664,"tokens_out":6354,"duration_ms":64343,"concrete_test":"Take a [DW12] polygon with two interior lattice points not covered by the explicit dimer constructions of Sections 7.1-7.4 and Appendix B, for instance Figure 3f or Figure 3n. First, search exhaustively for a consistent bipartite graph whose zigzag polygon is this Δ; if none exists, the unrestricted statement of Theorem 3.1 is unsupported. Independently, compute N^rul directly from the FLTZ skeleton Λ_Σ(Δ)^◦ using Definition 6.3, with two different generic directions v, and compare both values with the corresponding Table 1 entry and with N^trop. If the two directions give different counts, the ruling invariant is not well defined without extra data; if they agree but differ from the algebraic count, the equality N^rul = N^Coh fails for that polygon.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Theorem 3.1 is stated for every convex lattice polygon, but the proof of the new equalities N^rul = N^Sh = N^Coh routes through the spectral-transform mirror construction of [TWZ19]. Section 2.7 states explicitly that the identification is available only 'provided Γ satisfies a technical condition of consistency,' and that consistency is what gives the isotopy from the zigzag Legendrian Λ_Γ to the FLTZ skeleton Λ_Σ(Δ)^◦. Section 3 then defines N^Sh by invoking 'the equivalence of [TWZ19]'. Thus, for a general Δ, the chain N^rul = N^Sh = N^Coh requires either that Δ admit a consistent bipartite graph Γ with zigzag polygon Δ, or an alternative direct proof that the FLTZ moduli space M_Δ,η is isomorphic to the relative Jacobian. The paper provides neither. Remark 6.2 says that the ruling formalism itself 'does not require Λ to arise from the zig-zag paths of a dimer model,' and §6.1 indeed starts from the FLTZ skeleton; but this only makes N^rul and N^Sh combinatorially well-defined for arbitrary Δ. It does not prove equality with N^Coh, because the cited characterization of pure one-dimensional sheaves as microlocal rank-one constructible sheaves is [TWZ19]'s consistency-dependent result, and Lemma 6.1 likewise cites [Zho19] without supplying a dimer-free derivation for the stacky-fan moduli. Consequently, the central claim is fully supported only on the class of polygons for which a consistent dimer model exists. Proposition 6.21 and the calculations in Section 7 restrict to exactly such examples, so the numerical evidence does not test the general case. This is a limitation of the theorem's scope rather than a contradiction inside the examples, but it is load-bearing because Theorem 3.1 is stated without that restriction.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek/deepseek-v4-flash","summary":"The paper defines several enumerative invariants for convex lattice polygons, including counts of rational nodal curves, tropical counts, and new counts via rulings of Legendrian links and constructible sheaves, and claims that all these quantities are equal. The central new equalities are N^rul = N^Sh = N^Coh.","tokens_in":45936,"tokens_out":5509,"duration_ms":50514,"significance":"If the main theorem holds for all convex lattice polygons, the paper provides a striking new connection between enumerative geometry and constructible sheaf theory, and introduces a combinatorial ruling decomposition that could unify different approaches to curve counting. The conjecture linking ruling polynomials to refined tropical invariants is also potentially very fruitful.","major_comments":[{"comment":"The definition of N^Sh in Section 3 invokes the equivalence of [TWZ19], which is stated in Section 2.7 to be available only when the bipartite graph Gamma satisfies a consistency condition. However, Section6.1 defines M_{Delta,eta} using the coherent-constructible correspondence and [Zho19] without explicit reference to this consistency condition. The paper needs to clarify whether the construction of M_{Delta,eta} (and hence N^Sh) is well-defined for any convex lattice polygon Delta, and to reconcile the two citations. If the characterization of pure one-dimensional sheaves as microlocal rank-one constructible sheaves is indeed independent of the dimer consistency, this should be stated; otherwise, Theorem 3.1 is only proved for polygons admitting a consistend dimer model.","section":"Sections 2.7, 3, 6.1"},{"comment":"The ruling decomposition |M_{Delta,eta}| = union C^{r(rho)} x (C^*)^{2g(rho)} is central to the equality N^rul = N^Sh. The proof of this decomposition appears to rely on the classification in Proposition 6.13, which assumes a particular stratification of T^2 and uses non-characteristic deformation. However, it is not explicitly checked that the classification holds for the FLTZ skeleton for an arbitrary cone Lambda (with no assumption of coming from a dimer model). The argument should be expanded to verify that the local models of Proposition 6.13 cover all possible configurations that can occur, or else state an additional geometric condition on Lambda that ensures this.","section":"Section 6.4, Theorem 6.16"},{"comment":"This proposition claims N^rul = 2*Area(Delta) for triangles with primitive edges, but the proof assumption that 'the corresponding Legendrian Lambda is a union of geodesics coming from a dimer model.' This is a partial result; it does not contribute to the general proof of Theorem 3.1. Since Theorem 3.1 claims equality for all convex lattice polygons, the paper should either prove the general statement or clearly state that the theorem holds only under the condition that Lambda admits a dimer representation. The current presentation is ambiguous.","section":"Proposition 6.21"}],"minor_comments":[{"comment":"The paper contains several typographical errors: e.g., 'becuase' should be 'because' on page 9; 'calcluations' should be 'calculations' on page 5. A thorough proof-read is recommended.","section":"General"},{"comment":"The caption of Figure 5.1 mentions 'h2,1 = h2,2', but the description in the text refers to 'coincident right rays'. It would be helpful to make the labeling consistent with the notation of Section 5.1.","section":"Figure 5.1"},{"comment":"The proof of invariance with q-multiplicities refers to the 'general q-relation' [i]q[j+k]q + [j]q[k-i]q = [i+j]q[k]q, but the derivation of this from the geometry of the polygon is not fully explained. A short justification or reference would be useful.","section":"Section 5.2"},{"comment":"The reference [Zho19] is listed as 'Zhou19' in the text and as 'Zhou19' in the bibliography; please unify spelling.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The paper makes an ambitious claim, but the reliance on consistency of dimer models is not fully resolved in the presentation. The authors should be pressed to clearly delimit what is proved in full generality and what requires a consistend dimer. The constructive material in Section 6 appears to be designed to avoid this reliance, but the exposition in Sections 2-3 still points to [TWZ19] in a way that could mislead the reader. I recommend asking the authors to rewrite the definitions and proof outline so that the logical flow is transparent and the assumptions are explicit."},"author_rebuttal":null,"desk_editor":{"model":"deepseek/deepseek-v4-flash","letter":"Two things to know up front. The ruling formalism is new and it is doing real work: the paper defines rational rulings on the FLTZ skeleton, proves the ruling decomposition of the constructible-sheaf moduli space (Theorem 6.16) in detail, and checks N^rul against direct discriminant computation, tropical counts, and log GW localization across many examples. The checks are genuinely independent — the O(2,2) resultant gives 8, the O(2,3) count is 48, Table 1 matches ruling counts with tropical counts and Mathematica discriminant numerics across all two-interior-point polygons. Appendix C also contains a clean self-contained proof that the Jacobian fibers are isotropic for the Mukai form. And the paper is honest about its own status: Section 4.1 is flagged as work in progress, automorphism orders are stated after one worked case, and Remark 6.2 concedes that they do not know whether every polygon's Legendrian can be isotoped to a consistent dimer zigzag.\n\nNow the soft spots, in proportion. The stress-test concern lands. Theorem 3.1 is stated for every convex lattice polygon, but the two new equalities N^rul = N^Sh = N^Coh route through the [TWZ19] spectral transform, and Section 2.7 says that identification is available only when the bipartite graph is consistent. Remark 6.2 buys well-definedness of the combinatorial counts on the FLTZ side, but not equality with the coherent-sheaf count. So the theorem as stated is proven only for polygons admitting a consistent dimer model, and the paper does not show every convex lattice polygon does. This is a scope gap rather than a contradiction inside the examples — Sections 7.2 and 7.4 build explicit dimer models for infinite families — but it is load-bearing because the statement is unconditional, and the numerical evidence tests the ruling-tropical-Severi legs, not the dimer-dependent sheaf leg. The localization gap is real but secondary: those computations are an independent check of the invariant, not a pillar of the main proof, and the paper says as much. The tropical invariance proof via the q-analogue of the Plücker relation is self-contained and convincing. Conjectures 6.22 and 6.25 are labeled as conjectures with substantial confirming data; the note that the [Blo25] formula for O(5) appears wrong is a sign the numerical checks are real.\n\nWho this is for: enumerative geometers and mirror-symmetry people. The ruling decomposition should outlive this paper even if the consistency question resolves negatively. My verdict matches the reader's: conditional, pending the consistency gap. Send it to a serious referee, and tell the referee to spend the effort on the dimer-consistency question, not on the WIP localization.","headline":"Rulings are a genuinely new combinatorial handle on curve counts, with strong independent checks, but Theorem 3.1 as stated outruns the dimer-consistency input the proof actually relies on.","tokens_in":46684,"tokens_out":5344,"would_cite":true,"duration_ms":47399,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"pith_extraction":{"msc":["14N35","14T20","53D37","14J25","14H10"],"pacs":[],"model":"deepseek/deepseek-v4-flash","headline":"Rulings of constructible sheaves count rational nodal curves on toric surfaces, unifying six enumerative methods.","keywords":["mirror symmetry","constructible sheaves","tropical geometry","logarithmic Gromov-Witten invariants","nodal curves","toric surfaces","legendrian knots","rulings"],"falsifier":"Pick a concrete polygon for which a consistent dimer model is unknown (e.g., a polygon with 13 interior points and primitive edges), compute N_Δ via the Severi variety or a direct algebraic method (using computer algebra to find the number of rational nodal curves in the restricted linear system) and compare it to the ruling count obtained by exhaustive enumeration of rational rulings of the Legendrian link built from a candidate dimer model. A mismatch would falsify the core equality N_rul = N_Sev, either because the dimer model is inconsistent or because the overall claim fails for that polygon.","tokens_in":47049,"feed_emoji":"","tokens_out":3952,"duration_ms":38702,"temperature":0.7,"pith_summary":"The paper proves that for a convex lattice polygon defining a toric surface, the number of rational nodal curves with fixed toric boundary intersection can be computed in six different ways and that all six counts coincide. The six methods are: the classical Severi variety, logarithmic Gromov-Witten theory, tropical geometry, the Euler characteristic of coherent-sheaf moduli, the Euler characteristic of constructible-sheaf moduli, and a novel combinatorial object called a 'ruling'. The authors establish the two new equalities involving rulings and constructible sheaves, thereby unifying the entire set. If correct, this result provides a purely combinatorial handle on an important enumerative invariant and suggests deeper connections to refined invariants and higher-genus curve counting via a conjecture relating rulings to Block-Göttsche polynomials.","feed_headline":"Rulings unify six counts of nodal curves on toric surfaces","feed_subtitle":"A mirror-sheaf approach equates classical, tropical, and Gromov-Witten enumerations with a simple combinatorial rule.","key_machinery":"The central object is a bipartite graph Γ embedded in the 2-torus, whose zigzag paths form a Legendrian link Λ_Γ. The Goncharov-Kenyon integrable system on Γ, combined with mirror symmetry via the coherent-constructible correspondence, identifies the moduli space of pure one-dimensional coherent sheaves on the toric surface (the relative Jacobian of the linear system) with a moduli space of constructible sheaves on the torus with singular support in Λ_Γ. The ruling decomposition of this constructible-sheaf moduli space—analogous to the Severi stratification by genus—provides the bridge: each ruling ρ corresponds to a stratum of dimension 2g(ρ) + r(ρ), and rational rulings (g=0) give the count of nodal rational curves.","core_discovery":"For any convex lattice polygon Δ, the rational nodal curve count N_Δ equals the number of rational rulings of the Legendrian link Λ_Γ associated to a dimer model on the torus. This is proved by first showing that the moduli space of constructible sheaves microlocally supported on Λ_Γ has a ruling stratification, each stratum isomorphic to (C^*)^{2g} × C^r, where g is the genus of the ruling surface and r the number of returns. Rational rulings correspond to genus-zero strata, and additivity of the Euler characteristic gives N_Δ = number of rational rulings. The equality of N_Δ with all other definitions (tropical, log Gromov-Witten, coherent-sheaf, Severi) then follows from previously known equivalences assembled in the literature, together with the coherent-constructible correspondence for toric stacks established in earlier work.","pith_inferences":["Because the construction requires a consistent dimer model, the class of polygons for which all six counts are known to agree may be narrower than the class of all convex lattice polygons. Future work could determine whether every polygon admits such a model or whether the count N_Δ can be defined via rulings even when no dimer model exists.","The visual similarity between rulings and coamoebas of singular curves (Appendix B) suggests a possible direct interpretation of the ruling surface as the set of critical points of a mirror map, which could lead to a direct geometric construction of the ruling from the original curve family.","The gonality gap condition (Conjecture 6.25) mirrors the conifold gap in topological string theory, hinting that ruling polynomials might satisfy modularity properties or recursion relations analogous to those in the Gromov-Witten theory of local Calabi-Yau threefolds."],"forward_implications":["The ruling count provides a purely combinatorial method to compute N_Δ for any polygon admitting a consistent dimer model, bypassing algebraic equations or Gromov-Witten theory.","If Conjecture 6.22 holds, the ruling polynomial R_Δ(z) equals the refined tropical invariant N_Δ(q) of Block–Göttsche, meaning rulings encode higher-genus log Gromov–Witten invariants via Bousseau’s theorem.","The ruling decomposition yields an explicit formula for the Hirzebruch genus χ_{-y} of the moduli space of constructible sheaves, connecting to motivic invariants of moduli spaces.","For triangles with primitive edges, N_Δ = 2·Area(Δ) (Proposition 6.21), providing a fast computable formula for an infinite family of examples."],"supporting_citations":[{"why":"Establishes the equality between tropical curve counts and Gromov-Witten invariants for incidence conditions in toric surfaces, the foundation for N_trop = N_GW.","marker":"[Mik05]"},{"why":"Extends Mikhalkin’s theorem to include fixed toric boundary conditions, enabling tropical counts with the specific incidence conditions used in N_trop.","marker":"[MR20]"},{"why":"Proves that tropical curves with q-multiplicities recover higher-genus log Gromov-Witten invariants, linking refined tropical counts to the ruling polynomial via Conjecture 6.22.","marker":"[Bou19]"},{"why":"Defines the integrable system on a bipartite graph and the spectral transform, both of which are the algebraic machinery for the mirror dual used in the constructible-sheaf construction.","marker":"[GK13]"},{"why":"Develops the theory of rulings for Legendrian knots and constructible sheaves in 3-space, whose 2-dimensional analog the paper adapts to define rulings on the torus.","marker":"[STZ17]"},{"why":"Proves the isotopy of the dimer zigzag Legendrian to the FLTZ skeleton, establishing the coherent-constructible correspondence that identifies the moduli of one-dimensional sheaves with constructible sheaves.","marker":"[TWZ19]"},{"why":"Provides the coherent-constructible correspondence for toric stacks, the foundational equivalence that the paper uses to identify the two moduli spaces.","marker":"[FLTZ11]"}],"fun_headline_variants":["Rulings equate six nodal curve counts on toric surfaces","Ruling count equals nodal curve count for every convex lattice polygon","Mirror rulings make toric curve counts a simple tally","Legendrian rulings unify toric curve enumerations","Constructible-sheaf rulings match all six toric curve counts"],"cache_read_input_tokens":0,"weakest_assumption_plain":"The dimer model Γ must satisfy a consistency condition (Section 2.7) so that its zigzag Legendrian Λ_Γ is isotopic to the FLTZ skeleton Λ_Σ(Δ)°; the paper does not prove that every convex lattice polygon admits such a consistent dimer model, and the calculations in Section 7 assume one exists for the chosen polygon.","fun_headline_variants_meta":{"raw":{"variants":["Rulings equate six nodal curve counts on toric surfaces","Ruling count equals nodal curve count for every convex lattice polygon","Mirror rulings make toric curve counts a simple tally","Legendrian rulings unify toric curve enumerations","Constructible-sheaf rulings match all six toric curve counts"]},"model":"deepseek/deepseek-v4-flash","effort":"low","cost_usd":0.000232,"raw_usage":{"cost":0.0002317,"is_byok":false,"cost_details":{"upstream_inference_cost":0.0002317,"upstream_inference_prompt_cost":0.00015638,"upstream_inference_completions_cost":7.532e-05},"total_tokens":1386,"prompt_tokens":1117,"completion_tokens":269,"prompt_tokens_details":{"audio_tokens":0,"video_tokens":0,"cached_tokens":0,"cache_write_tokens":0},"completion_tokens_details":{"audio_tokens":0,"image_tokens":0,"reasoning_tokens":199}},"tokens_in":1117,"tokens_out":269,"cost_source":"openrouter_usage","duration_ms":3592,"temperature":1.0,"reasoning_tokens":199,"transport_provider":"openrouter","cache_read_input_tokens":0,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-09-10T00:00:50.571669+00:00","model_set":{"reader":"deepseek/deepseek-v4-flash"},"falsifier":"Pick a concrete polygon for which a consistent dimer model is unknown (e.g., a polygon with 13 interior points and primitive edges), compute N_Δ via the Severi variety or a direct algebraic method (using computer algebra to find the number of rational nodal curves in the restricted linear system) and compare it to the ruling count obtained by exhaustive enumeration of rational rulings of the Legendrian link built from a candidate dimer model. A mismatch would falsify the core equality N_rul = N_Sev, either because the dimer model is inconsistent or because the overall claim fails for that polygon.","supporting_citations":[],"review_version":1}