Quantum index, Arnold-Rokhlin surfaces, and real enumerative geometry

Eugenii Shustin; Ilia Itenberg

REVIEW 4 major objections 5 minor 16 references

Quantum index, Arnold-Rokhlin surfaces, and real enumerative geometry

T0 review · 4 major / 5 minor · reviewed 2026-08-01 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read Two sign conventions for counting real curves on toric surfaces agree up to a fixed sign factor, and the quantum index gains a topological definition that extends to del Pezzo surfaces.

desk verdict A solid, condensed note proving that two Welschinger sign rules coincide; the non-toric quantum index is a promising but not-yet-invariant proposal. read the letter →

arxiv 2607.21251 v1 pith:FGNTCCLQ submitted 2026-07-23 math.AG

Ilia Itenberg , Eugenii Shustin This is my paper · ORCID

classification math.AG MSC 14N1014J2614P25

keywords realenumerativegeometrytoricsurfacesquantumindexnodalcurvesorientedrefinedinvariantsdelPezzosignrules

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper proves that two different sign conventions used in real enumerative geometry on toric surfaces—one based on counts of elliptic and hyperbolic nodes, the other on the total elliptic-node count and boundary-orientation discrepancies—produce the same count for every individual oriented real nodal curve, up to a sign that depends only on the genus, the divisor class, and the quantum index. The proof reinterprets the quantum index as the intersection number of the curve class with a 2-cycle assembled from a smoothed deformation of the curve and the disks bounded by its real ovals. The same reinterpretation gives a definition of quantum index on real del Pezzo surfaces with non-empty real part, where the toric boundary is absent, opening the way to refined real enumerative invariants outside the toric setting.

What carries the argument

The central object is a 2-cycle built from the deformed curve: starting with C, smooth all real nodes in a conjugation-invariant way (hyperbolic nodes according to the complex orientation, elliptic nodes by creating small ovals), then perturb the curve so it no longer meets the toric boundary, and take the chosen half of the separating curve together with the disks that its real ovals bound, oriented opposite to their complex orientation. The quantum index equals the negative intersection of this 2-cycle with the original curve class, and also minus twice its intersection with the positive half-cycle. This converts the analytic quantum-index integral into a homological pairing, which is what

What would settle it

For an explicit admissible curve—for example a genus-one real nodal curve on the toric surface of a rectangle with even tangencies at two boundary points—compute the sum Σ k_w ε(C+,w) on the boundary and compare it with -D_P K - 2Σ_{ε=-1} k_w. If the two disagree, or if W'' and W' computed directly from the definitions do not satisfy formula (1), the theorem is falsified.

Watch

Extended reading notes

Core claim

The main theorem states that for oriented real nodal curves C in |2D_P| of genus 0, 1, or 2 satisfying the enumeration conditions, the two sign weights W'(C,C+) and W''(C,C+) differ by the factor (-1)^{g+p_a(D_P)+p_a(2D_P)+(2D_P^2 - QI(C+))/4}. Thus the two rules of signs carry identical information up to a class-and-genus dependent sign. The proof establishes that QI(C+) = -C·AR(C+) where AR(C+) is an integral 2-cycle constructed from the chosen half of the curve after smoothing nodes and capping real ovals with disks; this homological identity reduces the sign comparison to parity congruences among node counts, rotation numbers, and boundary tangency signs.

Load-bearing premise

The proof of the integrality of (2D_P^2 - QI(C+))/4 relies on the identity Σ k_w ε(C+,w) = -D_P K - 2Σ_{ε=-1} k_w, which is stated without derivation or citation; if that boundary-contact relation fails, the parity of the sign factor in the theorem is wrong even though the local node counts are unchanged.

Editorial extensions

If this is right

If the identity holds, the two enumerative invariants defined from the two sign rules differ only by a class-and-genus-dependent sign, so either rule can be used interchangeably and results from one can be translated to the other.
The equality QI(C+) = -C·AR(C+) gives a purely topological definition of the quantum index, valid without the toric boundary conditions, so refined counts can be attempted on any real surface admitting the smoothing and disk-capping steps.
On real del Pezzo surfaces with a smooth real anticanonical elliptic divisor, the new generalized quantum index takes values in a direct sum of the first homology of the components of the real part, providing a richer refinement than a single integer.
The paper gives an explicit formula for the new index in the case where the curve meets the anticanonical divisor only at real points, making the construction computable in concrete examples.
The parity argument supplies a checkable congruence involving node counts, rotation numbers, and boundary tangency signs that any admissible curve must satisfy.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The parity identity for the sign factor rests on an unproved relation between boundary tangency multiplicities and the canonical class; if that relation is proved and extended, the same sign-coincidence may hold for all genera and for the new del Pezzo index.
The new homological coordinate of the generalized quantum index is independent of the integral coordinate, as shown in the paper's example, so a full refinement needs both; future invariants should count by pairs (integer, homology class).
The 2-cycle construction may be adaptable to real surfaces whose anticanonical divisor is a union of curves rather than a smooth elliptic curve, which would cover additional components of the real part.
A testable extension: refined tropical invariants on del Pezzo surfaces, if constructed, should reproduce the same integer and homological quantum indices via tropical intersection theory.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

The main theorem is real new work: for oriented nodal curves in |2D_P| on a toric surface, the two Welschinger-type sign rules from your earlier paper agree up to an explicit sign depending only on genus, the divisor class, and the quantum index. That is a useful and nontrivial result. The proof via Mikhalkin's formula and Arnold–Rokhlin cycles is coherent, and the reformulation of the quantum index as an intersection number is a genuinely cleaner way to think about it.

The reader's main worry — the unproved signed-contact relation in Corollary 2.8 — does not survive contact with the paper. Given condition (b) and the way the marked points w exhaust the toric intersection (condition (i)), the relation is a tautology: the sum of 2k_w equals the full intersection with Tor(∂P), so Σ k_w ε = −D_P·K − 2Σ_{ε=−1} k_w follows immediately. I agree with the stress-test note on that point.

Soft spots are real but not fatal. Lemma 2.3 asserts the existence of smooth real curves with empty real part in |2D_P| and related linear systems, without proof or citation. That is not obvious and should be justified. The deformation lemma is cited to standard sources, which is acceptable for a note, but the elliptic-node-to-oval step could use one more sentence. The congruences in Section 2.3 are stated tersely; they look standard, but a referee will want them spelled out. The non-toric quantum index is honestly qualified by the dependence on complementary data, with Lemma 3.2 bounding the ambiguity, and the paper explicitly says the refined invariants are forthcoming. That makes Section 3 a proposal rather than a finished theory, which is fine as long as readers know the goal is the sign theorem.

The citation pattern looks appropriate: the paper builds on Mikhalkin and its own prior work, and the new equalities are not in the cited sources. The writing is clear, if compressed.

This paper deserves a serious referee. The gaps are addressable and the main result is likely correct. I would recommend sending it to peer review, with a request that Lemma 2.3 be clarified and the parity arguments expanded.

Referee Report

4 major / 5 minor

Summary. This note compares two Welschinger-type sign rules introduced in the authors' earlier work [11] for real enumerative invariants of toric surfaces. The main result, Theorem 2.1, asserts that for oriented real nodal curves C in |2D_P| of genus g=0,1,2 satisfying the stated even-tangency and reality conditions, the two sign weights W'(C,C_+) and W''(C,C_+) agree up to the factor (-1)^{g+p_a(D_P)+p_a(2D_P)+(2D_P^2-QI(C_+))/4}. The proof uses Mikhalkin's quantum-index formula, a deformation of C to a curve whose real part consists of ovals, and Arnold-Rokhlin surfaces. The final section proposes a generalized quantum index cQI_{X,E} for oriented real curves on real del Pezzo surfaces, depending on auxiliary complementary data, and discusses its dependence on those choices.

Significance. If the main theorem is correct, it establishes a concrete equivalence between two invariants from [11] and identifies the quantum index as the quantity controlling the sign difference. This is a useful and checkable contribution to real enumerative geometry. The paper also offers a geometric reformulation of the quantum index via Arnold-Rokhlin surfaces and a non-toric generalization that may lead to refined invariants beyond the toric setting. These ideas are potentially valuable. However, the proof is condensed and relies on several assertions that are only sketched or cited, and one displayed computation in the proof of Theorem 2.1 is not algebraically correct as written.

major comments (4)

[§2.3, Eq. (6)] The displayed chain of equalities is not correct as written. From Lemma 2.7, the first equality would require p_a(D_P)+D_P^2/2 = p_a(2D_P)-D_P·K/2 -1, which is equivalent to D_P^2=1 and is false for a general toric surface. Also, using the relation of Corollary 2.8, 1/2(-D_P·K - Σ k_wε) -1 equals Σ_{ε=-1} k_w -1, not +1. Since the surrounding argument is a parity congruence, these discrepancies vanish modulo 2, so the theorem may be repairable, but the proof must be rewritten with explicit congruences and correct signs. As it stands, a central computation is invalid.
[§2.2, Corollary 2.8] The relation Σ_w k_w ε(C_+,w) = -D_P·K - 2Σ_{ε=-1} k_w is stated without proof or citation. It is not a consequence of condition (b) alone; it also uses condition (i), namely that the fixed points exhaust C∩Tor(σ) on each toric divisor with the prescribed multiplicities, so that Σ_w k_w = -D_P·K. This derivation should be included explicitly, because the parity of the exponent in Theorem 2.1 depends on it.
[§2.2, Lemma 2.3] The proof of [C-2C_+]=0 relies on the assertion that |2D_P| and |2nD_P - 2Tor(σ)| contain smooth real curves with empty real part. This is plausible for ample classes on toric surfaces, but no proof or reference is given. Since the vanishing of [C-2C_+] is used in deriving formulas (3) and (4), a short argument or a precise citation is needed.
[§2.2, Lemma 2.4] The deformation producing C_sm and C'_sm is central: it is used to define Arnold-Rokhlin surfaces and to compute the quantum index. The proof is only a reference to standard deformation theory ([10, Prop. 4.4.3(a)] and [15, Thm. 1]). The specific statements needed—simultaneous smoothing of all real nodes while preserving fixed even tangencies to Tor(∂P), and the later removal of real toric intersections—should be spelled out or at least matched precisely to the cited theorems.

minor comments (5)

[§2.2, Eq. (5) and §2.3, Eq. (6)] Notation is inconsistent: Lemma 2.7 uses Rot_+(C_R), but the expression in Eq. (6) writes Rot(C_R). The latter should be Rot_+(C_R), the rotation number of the branch in Q(+,+).
[§3.3.2, Lemma 3.2] The proof is only labelled 'self-evident'. Since the complementary data involve arbitrary immersed disks δ_i^M, the independence statement deserves a detailed verification, especially because the homological coordinate θ is used.
[§3.3.3, Proposition 3.4] The proof is omitted ('We skip the details'). This proposition is the main computational tool of Section 3, so a sketch of the intersection computation would make the section more convincing.
[§3.3.3, definition of ε(C_+,w)] The definition of ε is asymmetric in B_1 and B_2. The orientation convention for the boundary B_1+B_2 of E_+ should be stated more explicitly, since it determines the signs in Proposition 3.4.
[References] Reference [9] contains a typo: 'Beiträge zor Algebra und Geometrie' should be 'Beiträge zur Algebra und Geometrie'.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity found; the sign-coincidence theorem is derived from Mikhalkin's index formula and deformation theory, not from the target equality.

full rationale

The central result, Theorem 2.1, compares the two sign rules W' and W'' defined in the text; the proof uses Mikhalkin's formula (2) for QI, Lemma 2.3 on relative cycles, Lemma 2.4 from standard deformation theory, and mod-2 congruences. Neither W' nor W'' is fitted to the claimed equality, and the equality is not inserted as an assumption. The only unstated-looking step, the relation Σ k_w ε = -D_P K - 2Σ_{ε=-1} k_w in Corollary 2.8, is an algebraic consequence of condition (b) (even multiplicities exhaust C·Tor(∂P)) and the definition of ε, so it is not circular. The authors' prior work [11] supplies the original invariant definitions and context, but the pointwise sign comparison is new and independent of the invariance statements; no load-bearing argument reduces to [11]. Section 3's generalized quantum index is an explicit definition, and the dependence on complementary data is transparently recorded in Lemma 3.2 rather than hidden. No fitted-input-called-prediction, self-definitional, or uniqueness-imported pattern is present. Minor typos (e.g. Rot(CR) vs Rot_+(CR)) do not affect the parity argument.

Assumptions & free parameters 0 free parameters · 7 assumptions · 3 invented entities

No free parameters are fitted; the paper is a purely mathematical proof. It relies on prior theorems (Mikhalkin's formula, Orevkov's orientation result), standard deformation theory, and several asserted topological relations. The most fragile unproved input is the signed-contact relation in Cor. 2.8, which directly affects the parity of the sign-coincidence exponent. The new auxiliary objects (AR surfaces, complementary data) are explicitly constructed and their ambiguities are partially controlled.

assumptions (7)

standard math Mikhalkin's formula (eq. 2) for the quantum index QI(C+)
External prior result [12, Thm 3.4] used as the starting point for the quantum index computation in §2.2.
domain assumption For large n, the linear system |2nD_P − 2·Tor(σ)| contains a smooth real curve with empty real part
Used in the proof of Lemma 2.3 to show [C−2C+] = 0; stated without proof in §2.2.
domain assumption Deformation Lemma 2.4: small conjugation-invariant deformations smooth nodes and preserve boundary contacts
Borrowed from standard deformation theory, citing [10, Prop 4.4.3(a)] and [15, Thm 1].
domain assumption Signed-contact relation Σ_w k_w ε(C+,w) = −D_P K − 2Σ_{ε=−1} k_w
Stated in Cor. 2.8 proof without derivation or citation; likely follows from Mikhalkin's Menelaus condition but is not shown.
domain assumption Parity congruences in §2.3: E_+≡e_+, Rot_+≡h_++1, Σk_w(ε=−1)≡#{k_w odd, ε=−1}, and the final node-count congruence
Asserted in the proof of Theorem 2.1; only the second is sketched, the rest are topological facts without derivation.
standard math Orientation of X^E_R \ E_R with boundary 2B_2 − 2B_1 (Lemma 3.1)
Imported from [13, Theorem 3.2].
standard math In a simply connected X, embedded circles bound immersed disks
Used in §3.3.2 to choose complementary data; standard from π1(X)=0 and general position.

invented entities (3)

Arnold-Rokhlin surfaces AR(C+)
purpose: Auxiliary absolute 2-cycles used to define and compute the quantum index as −C·AR(C+)
New auxiliary construction in this paper; its properties are established internally, not independently observable.
Complementary data S = {(O_i^M, δ_i^M)}
purpose: Auxiliary choices of circles and immersed disks used to define the non-toric quantum index
Arbitrary additional data introduced in §3.3.2; the paper acknowledges its effect through Lemma 3.2 rather than eliminating it.
Generalized quantum index cQI_{X,E}(C+)
purpose: Refined invariant for oriented real curves on del Pezzo surfaces
New definition introduced as a by-product; its value as an invariant is to be demonstrated in a future paper.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Quantum index, Arnold-Rokhlin surfaces, and real enumerative geometry." pith.science (2026). https://pith.science/paper/FGNTCCLQ

@misc{pith2026260721251,
  author       = {Pith},
  title        = {Pith review of: Quantum index, Arnold-Rokhlin surfaces, and real enumerative geometry},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/FGNTCCLQ}},
  note         = {Machine review of arXiv:2607.21251}
}

read the original abstract

The main goal of this note is to relate two different Welschinger-type rules of signs that were used for definition of real enumerative invariants of toric surfaces (the invariants considered being relative to the toric boundary). The relation between them intertwines Mikhalkin's quantum index and geometry of real and complex point sets of counted real curves. As a by-product, we suggest a new definition of quantum index, which can be used for refined invariant enumeration of real algebraic curves on surfaces in a non-toric setup.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

16 extracted references · 1 linked inside Pith

[11]

Itenberg, I., and Shustin, E.:Real enumerative invariants relative to the toric boundary and their refinement.Preprint at arXiv:2401.06718, to appear inAl- gebraic Geometry

arXiv
[1]

I.: On the distribution of the ovals of real plane curves, involutions of 4-dimensional manifolds, and the arithmetic of integer valued quadratic forms

Arnold, V. I.: On the distribution of the ovals of real plane curves, involutions of 4-dimensional manifolds, and the arithmetic of integer valued quadratic forms. Func. Anal. Appl.5(1971), no. 3, 169–176

1971
[2]

Block, F., and G¨ ottsche, L.: Refined curve counting with tropical geometry. Compos. Math.152(2016), no. 1, 115–151. 14

2016
[3]

Algebra Geom.64(2023), 721–751

Blomme, T.: An imaginary refined count for some real rational curves.Beitr. Algebra Geom.64(2023), 721–751

2023
[4]

Blomme, T.: A Tropical Computation of Refined Toric Invariants.Geom. Topol. 29(2025), no. 6, 3129–3185

2025
[5]

SMF89(1961), 461–513

Borel, A., and Haefliger, A.: La classe d’homologie fondamentale d’un espace analytique.Bull. SMF89(1961), 461–513

1961
[6]

Commessatti, A.: Sur la connessione delle superficie razionali reale.Annali di Matematica23(1914), 215–285

1914
[7]

Degtyarev, A., Itenberg, I., and Kharlamov, V.:Real Enriques surfaces. Lect. Notes Math., vol.1746, Springer-Verlag, Berlin Heidelberg, 2000

2000

Show all 16 references

[8]

Degtyarev, A., and Kharlamov, V.: Topological properties of real algebraic varieties: Rokhlin’s way.Russ. Math. Surveys55(2000), no. 4, 735–814

2000
[9]

Fiedler, T.: Eine Beschr¨ ankung f¨ ur die Lage von reellen ebenen algebraischen Kurven.Beitr¨ age zor Algebra und Geometrie11(1981), 7–19

1981
[10]

Springer, 2018

Greuel, G.-M., Lossen, C., and Shustin, E.:Singular algebraic curves. Springer, 2018

2018
[12]

Acta Math.219(2017), no

Mikhalkin, G.: Quantum indices and refined enumeration of real plane curves. Acta Math.219(2017), no. 1, 135–180

2017
[13]

Orevkov, Algebraically unrealizable complex orientations of plane real pseu- doholomorphic curves.GAF A31(2021), 930–947

S. Orevkov, Algebraically unrealizable complex orientations of plane real pseu- doholomorphic curves.GAF A31(2021), 930–947

2021
[14]

A.: Complex orientations of real algebraic curves.Func

Rokhlin, V. A.: Complex orientations of real algebraic curves.Func. Anal. Appl.8(1974), 331–334

1974
[15]

Sov.10 (1991), no

Shustin, E.: On manifolds of singular algebraic curves.Selecta Math. Sov.10 (1991), no. 1, 27–37

1991
[16]

Math.162(2005), no

Welschinger, J.-Y.: Invariants of real symplectic 4-manifolds and lower bounds in real enumerative geometry.Invent. Math.162(2005), no. 1, 195–234. Sorbonne Universit´e and Universit ´e Paris Cit´e, CNRS, IMJ-PRG F-75005 Paris, France E-mail address:ilia.itenberg@imj-prg.fr Sc...

2005

Pith tools

Reviewed August 1, 2026 · model on record in the stance chip above.

[1] [11]

Itenberg, I., and Shustin, E.:Real enumerative invariants relative to the toric boundary and their refinement.Preprint at arXiv:2401.06718, to appear inAl- gebraic Geometry

arXiv

[2] [1]

I.: On the distribution of the ovals of real plane curves, involutions of 4-dimensional manifolds, and the arithmetic of integer valued quadratic forms

Arnold, V. I.: On the distribution of the ovals of real plane curves, involutions of 4-dimensional manifolds, and the arithmetic of integer valued quadratic forms. Func. Anal. Appl.5(1971), no. 3, 169–176

1971

[3] [2]

Block, F., and G¨ ottsche, L.: Refined curve counting with tropical geometry. Compos. Math.152(2016), no. 1, 115–151. 14

2016

[4] [3]

Algebra Geom.64(2023), 721–751

Blomme, T.: An imaginary refined count for some real rational curves.Beitr. Algebra Geom.64(2023), 721–751

2023

[5] [4]

Blomme, T.: A Tropical Computation of Refined Toric Invariants.Geom. Topol. 29(2025), no. 6, 3129–3185

2025

[6] [5]

SMF89(1961), 461–513

Borel, A., and Haefliger, A.: La classe d’homologie fondamentale d’un espace analytique.Bull. SMF89(1961), 461–513

1961

[7] [6]

Commessatti, A.: Sur la connessione delle superficie razionali reale.Annali di Matematica23(1914), 215–285

1914

[8] [7]

Degtyarev, A., Itenberg, I., and Kharlamov, V.:Real Enriques surfaces. Lect. Notes Math., vol.1746, Springer-Verlag, Berlin Heidelberg, 2000

2000