Pith. sign in

REVIEW 2 major objections 6 minor 1 cited by

A quadratic Abramovich-Bertram formula

T0 review · 2 major / 6 minor · reviewed 2026-08-15 · deepseek-v4-flash

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

Pith's one-line read Quadratic Gromov–Witten invariants of a del Pezzo surface obtained by a d-surgery differ from those of the untwisted surgery by an explicit wall-crossing sum, with coefficients in the Grothendieck–Witt group.

desk verdict A substantive quadratic Gromov–Witten wall-crossing formula whose characteristic-0 core is sound; the positive-characteristic statements need an explicit hypothesis or proof before acceptance. read the letter →

arxiv 2506.17854 v1 pith:PGB4QYZA submitted 2025-06-21 math.AG math.ATmath.KT

Erwan Brugallé , Kirsten Wickelgren This is my paper · ORCID
classification math.AGmath.ATmath.KT MSC 14N3514F4253D4519G38
keywords A1-homotopytheoryQuadraticGromov-WitteninvariantsdelPezzosurfacesLefschetzfibrationGrothendieck-Wittgroupenrichedbinomialcoefficientsvanishingcyclewall-crossingformula
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

The paper proves a wall-crossing formula for quadratic genus-0 Gromov–Witten invariants of del Pezzo surfaces over perfect fields of characteristic not 2. It shows that when a del Pezzo surface is produced from a 1-nodal Lefschetz fibration by a d-surgery—an algebraic analogue of cutting and gluing along a vanishing cycle—the enriched count of rational curves of a given class equals the count on the untwisted surface plus a correction sum, with coefficients in the Grothendieck–Witt group. The correction is governed by new twisted binomial coefficients in $GW(k)$, and cancelling the contribution of the singular component reduces the computation to the surface of largest Picard group. This matters because the invariants give arithmetically meaningful counts over arbitrary fields, not only $\mathbb{C}$ or $\mathbb{R}$, and the formula makes them computable for rational quadrics, two-point blow-ups, and cubic surfaces.

What carries the argument

The load-bearing device is the collection of twisted enriched binomial coefficients $\binom{Y[Z]/X}{j}$ in the Grothendieck–Witt sheaf: the trace form of the finite \'etale $X$-scheme associated to the set of $j$-element subsets of a degree-$2j$ \'etale cover $Y$, with the Galois action twisted by the quadratic cover $Z\to X$. The paper proves the binomial identity, Corollary 4.8, used to convert the count over curves on $\widetilde{S}$ into the wall-crossing sum, and combines it with the surgery construction $X(d)$ whose special fiber is $\widetilde{S}\cup_E Q(d)$. The moduli spaces of stable maps to $X(d)$ are shown to be finite \'etale over $F[[t]]$ when the enumerative hypotheses hold, so weights specialize without change.

What would settle it

Find a 1-nodal Lefschetz fibration of del Pezzo surfaces in positive characteristic whose special component is not toric, choose a class $D-iE$ appearing in $\varphi_d^{-1}(D)$, and check whether a generic point configuration admits finitely many unramified rational curves in that class meeting $E$ transversely with ordinary double points away from $E$; if any of these conditions fails, Lemmas 5.17 and 5.19 and the wall-crossing identity lose their foundation, so the equality of Theorem 5.32 should fail for that fibration.

Watch

Extended reading notes

Core claim

At the center of the paper is Theorem 5.32: for a 1-nodal Lefschetz fibration of del Pezzo surfaces over a perfect field $k$, with vanishing cycle $\gamma$, and for $d\in k^*$, every class $D\in \operatorname{Pic}\Sigma(d)$ satisfying Hypothesis 5.11 satisfies $$N_{\Sigma(d),D,\$\sigma$((t))}=N_{\Sigma(1),D,\$\sigma$((t))}+(\langle 2\rangle-\langle 2d\rangle)\sum_{j\ge 1}(-1)^jN_{\Sigma(1),D-j\gamma,\$\sigma$((t))}$$ in $GW(k)$, after the injective base change to $GW(k((t)))$. Here $\sigma$ is any finite \'etale $k$-algebra of degree $-K_{\Sigma(d)}\cdot D-1$, $\Sigma(d)$ is the general fiber of the $d$-surgery, and $\Sigma(1)$ is the untwisted surgery. The proof counts rational curves on the special fiber $\widetilde{S}\cup_E Q(d)$, identifies the reducible specializations through an intersection profile, and uses an enriched Pascal identity to eliminate all terms involving $\widetilde{S}$.

Load-bearing premise

The formula collapses if the singular component $\widetilde{S}$ fails to be relatively enumerative, meaning that for some curve class $D-iE$ a generic point configuration admits only finitely many rational curves, each unramified, transverse to $E$, and with only ordinary double points away from $E$; this is automatic in characteristic 0 but imported from tropical correspondence in positive characteristic and checked only for the toric surfaces treated in Sections 6.1 and 6.2.

Editorial extensions

If this is right

  • For rational quadrics $Q(d)\subset\mathbb{P}^3_k$, Theorem 6.1 reduces $N_{Q(d),aH,\sigma}$ to counts on $Q(1)=\mathbb{P}^1\times\mathbb{P}^1$ with classes $(a\pm j)e_1,(a\mp j)e_2$, and the tables in Section 6.1 give explicit $GW(k)$ values for $a=1,2,3,4$.
  • For the blow-up of $\mathbb{P}^2_k$ at two points, Theorem 6.6 reduces counts of class $ae_0-bf_1$ to counts on the split blow-up, and Corollary 6.8 expresses them through Gromov–Witten and real enumerative invariants.
  • For cubic surfaces obtained by smoothing the union of a conic and a cubic, Theorem 6.13 gives a wall-crossing identity for classes orthogonal to the vanishing cycle $\gamma=2e_0-e_1-\cdots-e_6$, whenever the twisted surface is $\mathbb{A}^1$-connected.
  • Theorem 6.14 yields the arithmetic analogue of Dehn-twist invariance: $N_{\Sigma(1),D,\sigma}=N_{\Sigma(1),D+(D\cdot\gamma)\gamma,\sigma}$, so reflecting a class across the vanishing cycle does not change the enriched count.
  • Combined with toric computations [JPP23, JPMPR25], the main theorem computes quadratic invariants of rational del Pezzo surfaces of degree at least 7, including point constraints defined over quadratic extensions of $k$.

Reading between the lines

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

  • One consequence the authors leave implicit is that the whole $d$-dependence of these invariants is carried by the single Grothendieck–Witt element $\langle 2\rangle-\langle 2d\rangle$; if that element vanishes, every $d$-surgery has the same enriched counts.
  • A testable extension would be to run the same moduli-space argument for a degeneration with several nodes; the same enriched binomial cancellation should then produce a formula with multinomial coefficients and a sum over several vanishing cycles.
  • Over finite fields, the enriched Pascal triangle computed in [CW24] gives concrete numbers for the twisted binomial coefficients; combining them with the formula would produce finite-field predictions for $N_{Q(d),aH,\sigma}$ that can be checked by independent tropical or deformation counts.
  • If relative enumerativity could be established for all uninodal del Pezzo surfaces in positive characteristic, not only the toric ones, Corollary 5.33 would give a uniform reduction of quadratic invariants of all rational del Pezzo surfaces to toric computations, realizing the paper's stated motto as a theorem.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 6 minor

Summary. The paper develops a degeneration (wall-crossing) formula for quadratic genus-0 Gromov–Witten invariants of del Pezzo surfaces. For a 1-nodal Lefschetz fibration X→Spec k[[t]] of del Pezzo surfaces and d∈k*, the d-surgery X(d) has general fiber Σ(d); Theorem 5.32 (with characteristic-0 special case Theorem 1.1) states that, under Hypothesis 5.11, N_{Σ(d),D,σ} = N_{Σ(1),D,σ} + (⟨2⟩−⟨2d⟩)∑_{j≥1}(−1)^j N_{Σ(1),D−jγ,σ}. The proof constructs explicit moduli spaces M_0(X(d),D)_σ(ep), proves they are finite étale over F[[t]], identifies their special-fiber curves (Lemma 5.17), and reduces the count to the enriched binomial identity of Corollary 4.8. Applications include rational quadrics, blow-ups of P^2 at two points, some cubic surfaces, and a Dehn-twist invariance result.

Significance. If the result holds, this is a substantial advance in quadratic enumerative geometry: it enriches the Abramovich–Bertram degeneration method with GW(k)-valued binomial coefficients, gives an arithmetic degeneration formula over perfect fields, and produces new computations (Tables 6.1 and 6.2) as well as a quadratic analogue of Dehn-twist invariance. The wall-crossing term ⟨2⟩−⟨2d⟩ is not a fitted constant: it is the trace form of the quadratic algebra defined by d, and the enriched binomial identity Corollary 4.8 is parameter-free. The characteristic-0 core is carefully argued and appears sound, with detailed proofs of finiteness and étaleness of the relevant moduli spaces.

major comments (2)
  1. [§5.1, Hypothesis 5.11(2); §6.3, Theorem 6.13] The positive-characteristic status of the main theorem is not as unconditional as the exposition suggests. Hypothesis 5.11(2) requires the uninodal component eS to be relatively enumerative. In characteristic 0, Proposition 5.10 proves this universally, so Theorem 1.1 is safe. In positive characteristic, however, the paper imports relative enumerativity from tropical correspondence theorems [Mik05], [Tyo12] and verifies it only for the toric surfaces treated in Sections 6.1 and 6.2. Consequently Theorem 5.32 and Corollary 5.33 are conditional in characteristic p on an assumption that is not established for an arbitrary uninodal del Pezzo surface. The gap is visible in Section 6.3: Theorem 6.13 is stated as an unconditional result for cubic surfaces, with neither Hypothesis 5.11 nor a characteristic-0 restriction, while relative enumerativity for the blow-up of P^2 at six points on a conic is not proved in positive characteristic. This should be repaired either by proving the missing relative enumerativity or by making the positive-characteristic statements explicitly conditional and marking Theorem 6.13 accordingly.
  2. [§5.6, proof of Theorem 5.32] The proof uses the sentence 'By Remark 4.14, this element is of the form (D',(i,i))', but no Remark 4.14 appears in Section 4. For d∉(k*)^2 the diagonal form follows from (3.1), but for d∈(k*)^2 the Picard group Pic Q(d) is Z×Z and the chosen representative of φ_d^{-1}(D) need not be diagonal. The subsequent construction D0=D'+iE and the reduction to (D0,(0,0)) are used essentially in the computation of the wall-crossing sum, so as written the proof has a genuine gap for d∈(k*)^2. This case should be separated; since the wall-crossing term vanishes when d is a square, a separate argument (e.g. Σ(d)≅Σ(1)) should make the formula immediate, but that argument is not currently written.
minor comments (6)
  1. [§5.6, Theorem 5.30] In the second displayed formula of Theorem 5.30, the twisted binomial coefficient is written inom{\sigma'[\sqrt d]/k}{j} although σ' is an ℓ-algebra; the proof uses inom{\sigma'[\sqrt d]/k(f'_1)}{j} with k(f'_1)=ℓ. The displayed formula should read /ℓ.
  2. [§6.2, Theorem 6.6] The characteristic assumption is printed as 'either 0 or at least 2 + 1', which is nonsensical, and the proof refers to 'characteristic at least d+1' with d the parameter of the surgery. The intended bound should be stated consistently.
  3. [§6.2, Corollary 6.9] The degree of σ is given as '3d−3' with d not defined in the statement; presumably '3a−3' (or the correct integer for the class ae0) is intended.
  4. [§5.3, Lemma 5.17] In the bulleted description of f0, the condition 'f^{-1}(E)=C_1∩C_2' should read 'f_0^{-1}(E)=C_1∩C_2'.
  5. [§5.6, Corollary 5.33] In the final formula of Corollary 5.33, the term on the right is printed as N_{σ(1),D,σ((t))}; this should be N_{Σ(1),D,σ((t))}.
  6. [§5.6, proof of Theorem 5.30] The proof cites 'Lemma 3.15' for the description of φ_d^{-1}(D); the correct reference is Proposition 3.15.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: the wall-crossing coefficient is a trace-form constant, the cancelled eS-contributions are eliminated by enriched binomial identities, and the formula relates independently defined invariants.

full rationale

The paper's central formula (Theorem 5.32) is derived by expressing both N_{Sigma(d),D,sigma} and N_{Sigma(1),D,sigma} in terms of the same curve counts on the uninodal component eS, weighted by enriched binomial coefficients, and then using Corollary 4.8 to eliminate the eS contribution. The coefficient (langle 2 rangle - langle 2d rangle) is not fitted or imported from data; it arises from the trace form of the quadratic algebra k[sqrt d] in Proposition 4.6 and Corollary 4.8. The invariants N_{Sigma(1),D,sigma} are independent objects defined by the same foundational framework [KLSW23a], and the formula does not define them in terms of Sigma(d). The self-citation to [KLSW23a] supplies the definition and enumerativity of quadratic Gromov-Witten invariants, but it does not assume the wall-crossing formula, so it is not load-bearing in a circular sense. The dependence on Hypothesis 5.11(2) is an explicit hypothesis, not a hidden input: in characteristic 0 it is supplied by Proposition 5.10, and in positive characteristic it is imported from tropical correspondence theorems [Mik05], [Tyo12] only for the toric surfaces treated in Sections 6.1 and 6.2. This is a genuine conditional gap, not circularity: Theorem 5.32 and Corollary 5.33 are conditional on that hypothesis, and Theorem 6.13 is stated without repeating it, which is a correctness concern. Also, the proof of Theorem 5.32 refers to 'By Remark 4.14', but no such remark appears in Section 4; this is a broken cross-reference, not a circular step, but it leaves the choice of diagonal representative (D',(i,i)) unjustified as written. Overall, the derivation chain is self-contained once the quoted framework and hypotheses are accepted, and the advertised char-0 core is independent of any fitted or self-referential input.

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

The theorem introduces no fitted constants: the correction factor (langle 2 rangle - langle 2d rangle) is the trace form of the quadratic etale algebra k[sqrt(d)], determined by the field element d. The new combinatorial objects, the twisted enriched binomial coefficients, are defined from the etale algebra sigma and the Galois action, not postulated independently. The axioms listed are the external results and standing hypotheses imported by the proof; the most fragile is Hypothesis 5.11(2), which in positive characteristic is checked only in the toric applications via tropical correspondence theorems.

assumptions (7)
  • domain assumption Quadratic Gromov-Witten invariants N_{S,D,sigma} in GW(k) exist under Hypothesis 2.1 (k perfect, char not 2 or 3; S a del Pezzo surface that is A^1-connected with the stated degree and length restrictions).
    Inherited from [KLSW23a, Theorems 1 and 2]; used in Definition 2.2 and on the right-hand side of the main formula (Theorem 1.1 and Theorem 5.32).
  • domain assumption Sigma(1) is k((t))-rational (hence A^1-connected) and is the base change of a surface satisfying Hypothesis 2.1, so that N_{Sigma(1),D-j gamma,sigma} is well defined.
    Stated explicitly as a hypothesis in Theorem 1.1 and Corollary 5.33; it is needed to apply the existence and enumerativity results of [KLSW23a] to the untwisted generic fiber.
  • domain assumption (Sigma(d),D) is enumerative in the sense of Definition 5.1: the twisted evaluation map is finite etale on a dense open subset of the constrained configuration space.
    Part of Hypothesis 5.11(1); used to define M0(X(d),D) and to ensure the generic fiber moduli is a finite etale union of separable field extensions. In applications it is deduced from [KLSW23b, Corollary 3.15].
  • domain assumption (eS,D) is relatively enumerative (Hypothesis 5.11(2)): for all i in Z there are finitely many rational curves of class D-iE through generic points, unramified, transverse to E, with only ordinary double points away from E.
    Load-bearing for Lemma 5.17 and Theorem 5.19; proven in characteristic 0 by Proposition 5.10 and in positive characteristic for toric examples by tropical correspondence theorems [Mik05, Props 4.12-4.13] and [Tyo12, Theorem 6.2].
  • standard math The Witt-valued invariant in Proposition 4.6 may be checked on multiquadratic algebras, by [GMS03, Theorem 29.1] on cohomological invariants.
    Key reduction in the proof of the enriched binomial identity (Corollary 4.8) used to eliminate the eS contributions in Theorem 5.32.
  • standard math A^1-Euler characteristic formulas and Serre-duality pairing computations of [LR20], [BW23], and [Lev20], including the proof of Lemma 5.37 that Pic(X_K) tensor Z maps isomorphically to H^1(X_K, Omega_{X/K}) for blow-ups of P^2 over characteristic 0 fields.
    Used in Proposition 5.36 to identify the correction term as a difference of A^1-Euler characteristics of Sigma(1) and Sigma(d); Lemma 5.37 is proven in the text using the Lefschetz (1,1) theorem over C and base change.
  • standard math Existence of proper moduli stacks of stable maps M_{0,n}(S,D) and the flatness/closure properties in [KLSW23b, Lemma 9.5(1)] and [AO01, p. 90, Theorem 2.8].
    Foundation for the construction of the relative moduli spaces in Section 5.2 and for specializing points from generic to special fiber.

how reviews work

0 comments
Cite this review

Pith. "Pith review of A quadratic Abramovich-Bertram formula." pith.science (2026). https://pith.science/paper/PGB4QYZA

@misc{pith2026250617854,
  author       = {Pith},
  title        = {Pith review of: A quadratic Abramovich-Bertram formula},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/PGB4QYZA}},
  note         = {Machine review of arXiv:2506.17854}
}
abstract

Quadratic Gromov--Witten invariants allow one to obtain an arithmetically meaningful count of curves satisfying constraints over a field $k$ without assuming that $k$ is the field of complex or real numbers. This paper studies the behavior of quadratic genus $0$ Gromov--Witten invariants during an algebraic analogue of surgery on del Pezzo surfaces. For this, we define and study (twisted) binomial coefficients in the Grothendieck--Witt group, building on work of Serre. We obtain a formula expressing the quadratic genus $0$ Gromov--Witten invariants of surfaces obtained as a smoothing of a given nodal surface in terms of those of the one having the largest Picard group. We give applications to quadratic Gromov--Witten invariants of rational del Pezzo surfaces of degree at least 7, some cubic surfaces, for point constraints defined over quadratic extensions of $k$, as well as an invariance result under a Dehn twist.

Figures

Figures reproduced from arXiv: 2506.17854 by the authors.

Figure 1.1
Figure 1.1. The real parts of Q(1) and Q(−1) differ by a 1-surgery nodal quadrics Q(0), i.e. can be incorporated in the family of quadrics {x 2 − y 2 + z 2 − tw2 = 0} over k[[t]]. Our strategy, which goes back to the work [AB01] over C, is then roughly to relate the enumerative geometry of Q(d), with d ∈ k ∗ , to the enumerative geometry of Q(0), or rather of its desingularization given by the second Hirzebruch surface F2. Elim… view at source ↗
Figure 4.1
Figure 4.1. Pascal’s triangle Fqn j  over Fq We give quadratic twists of the enriched binomial coefficients of Definition 4.1. Fix a finite ´etale degree 2 Galois cover Z → X and let qZ : π ´et 1 (X, x) → C2 denote the corresponding quotient map, where C2 denotes the cyclic group of order 2. Let j be a non-negative integer, and let Y → X a finite ´etale cover of degree 2j. For a set S of size 2j, the set S j  has an action C2… view at source ↗
Figure 6.1
Figure 6.1. Since Σ(d) = Q(d)k((t)), by Proposition 5.26 the invariant NΣ(d),D,σk((t)) in GW(k((t))) is the image of NQ(d),D,σ under the natural map GW(k) → GW(k((t))). Since this map is injective by Springer’s Theorem, the statement is proved. □ Remark 6.2. Remark 2.4 allows to partially generalize Theorem 6.1 to non perfect fields. Recall that a finite ´etale extension k → σ is split, and is denoted by σsp, if σ = k n . The w… view at source ↗

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Welschinger--Witt invariants

    math.AG 2025-09 conditional novelty 8.0 of 10

    This paper builds Welschinger-Witt invariants and proves they match quadratic Gromov-Witten invariants for k-rational del Pezzo surfaces of degree at least 6, conjecturing agreement in general.

Reference graph

Works this paper leans on

47 extracted references · 26 canonical work pages · cited by 1 Pith paper

  1. [1]

    The formula \(12=10+2 1\) and its generalizations: Counting rational curves on \(F_2\)

    Dan Abramovich and Aaron Bertram. The formula \(12=10+2 1\) and its generalizations: Counting rational curves on \(F_2\) . In Advances in algebraic geometry motivated by physics. Proceedings of the AMS special session on enumerative geometry in physics, University of Massachusetts, Lowell, MA, USA, April 1--2, 2000 , pages 83--88. Providence, RI: American...

    work page 2000

  2. [2]

    Compactly supported \( A ^1\) - Euler characteristic and the Hochschild complex

    Niny Arcila-Maya, Candace Bethea, Morgan Opie, Kirsten Wickelgren, and Inna Zakharevich. Compactly supported \( A ^1\) - Euler characteristic and the Hochschild complex. Topology Appl. , 316:24, 2022. Id/No 108108

    work page 2022

  3. [3]

    Stable maps and H urwitz schemes in mixed characteristics

    Dan Abramovich and Frans Oort. Stable maps and H urwitz schemes in mixed characteristics. In Advances in algebraic geometry motivated by physics ( L owell, MA , 2000) , volume 276 of Contemp. Math. , pages 89--100. Amer. Math. Soc., Providence, RI, 2001

    2000

  4. [4]

    V. I. Arnol'd. Some remarks on symplectic monodromy of M ilnor fibrations. In The F loer memorial volume , volume 133 of Progr. Math. , pages 99--103. Birkh\"auser, Basel, 1995

    work page 1995

  5. [5]

    On Welschinger invariants of symplectic 4-manifolds

    Erwan Brugall \'e and Nicolas Puignau. On Welschinger invariants of symplectic 4-manifolds. Comment. Math. Helv. , 90(4):905--938, 2015

    work page 2015

  6. [6]

    Surgery of real symplectic fourfolds and welschinger invariants

    Erwan Brugall\'e. Surgery of real symplectic fourfolds and welschinger invariants. Journal of Singularities , 17:267--294, 2018

    work page 2018

  7. [7]

    On the invariance of W elschinger invariants

    Erwan Brugall\'e. On the invariance of W elschinger invariants. Algebra i Analiz , 32(2):1--20, 2020

    2020

  8. [8]

    Unpublished

    Erwan Brugallé, Johannes Rau, and Kirsten Wickelgren. Unpublished. 2024

    work page 2024

Show all 47 references
  1. [9]

    Welschinger- W itt invariants

    Erwan Brugallé, Johannes Rau, and Kirsten Wickelgren. Welschinger- W itt invariants. In preparation, 2025

    2025

  2. [10]

    Euler classes: six-functors formalism, dualities, integrality and linear subspaces of complete intersections

    Tom Bachmann and Kirsten Wickelgren. Euler classes: six-functors formalism, dualities, integrality and linear subspaces of complete intersections. J. Inst. Math. Jussieu , 22(2):681--746, 2023

    2023

  3. [11]

    Quadratically enriched binomial coefficients over a finite field

    Chongyao Chen and Kirsten Wickelgren. Quadratically enriched binomial coefficients over a finite field. Preprint , available at ArXiv 2412.14277, 2024

    2024

  4. [12]

    WDVV -type relations for Welschinger invariants: applications

    Xujia Chen and Aleksey Zinger. WDVV -type relations for Welschinger invariants: applications. Kyoto J. Math. , 61(2):339--376, 2021

    2021

  5. [13]

    Geometry on arc spaces of algebraic varieties

    Jan Denef and François Loeser. Geometry on arc spaces of algebraic varieties. In European C ongress of M athematics, V ol. I ( B arcelona, 2000) , volume 201 of Progr. Math. , pages 327--348. Birkh\" a user, Basel, 2001

    2000

  6. [14]

    Dolgachev

    Igor V. Dolgachev. Classical algebraic geometry. A modern view . Cambridge: Cambridge University Press, 2012

    2012

  7. [15]

    Global smoothings of varieties with normal crossings

    Robert Friedman. Global smoothings of varieties with normal crossings. Ann. Math. (2) , 118:75--114, 1983

    1983

  8. [16]

    Intersection theory , volume 2 of Ergebnisse der Mathematik und ihrer Grenzgebiete

    William Fulton. Intersection theory , volume 2 of Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics] . Springer-Verlag, Berlin, ...

    1998

  9. [17]

    Cohomological invariants in G alois cohomology , volume 28 of University Lecture Series

    Skip Garibaldi, Alexander Merkurjev, and Jean-Pierre Serre. Cohomological invariants in G alois cohomology , volume 28 of University Lecture Series . American Mathematical Society, Providence, RI, 2003

    2003

  10. [18]

    Algebraic geometry

    Robin Hartshorne. Algebraic geometry . Springer-Verlag, New York-Heidelberg, 1977. Graduate Texts in Mathematics, No. 52

    1977

  11. [19]

    A quadratic refinement of the G rothendieck- L efschetz- V erdier trace formula

    Marc Hoyois. A quadratic refinement of the G rothendieck- L efschetz- V erdier trace formula. Algebr. Geom. Topol. , 14(6):3603--3658, 2014

    2014

  12. [20]

    Welschinger invariants of real del Pezzo surfaces of degree \( 2\)

    Ilia Itenberg, Viatcheslav Kharlamov, and Eugenii Shustin. Welschinger invariants of real del Pezzo surfaces of degree \( 2\) . Int. J. Math. , 26(8):63, 2015. Id/No 1550060

    2015

  13. [21]

    Welschinger invariants revisited

    Ilia Itenberg, Viatcheslav Kharlamov, and Eugenii Shustin. Welschinger invariants revisited. In Analysis meets geometry. The Mikael Passare memorial volume , pages 239--260. Cham: Birkh \"a user/Springer, 2017

    2017

  14. [22]

    Relative enumerative invariants of real nodal del P ezzo surfaces

    Ilia Itenberg, Viatcheslav Kharlamov, and Eugenii Shustin. Relative enumerative invariants of real nodal del P ezzo surfaces. Selecta Math. (N.S.) , 24(4):2927--2990, 2018

    2018

  15. [23]

    Complexe cotangent et d\' e formations

    Luc Illusie. Complexe cotangent et d\' e formations. I , volume Vol. 239 of Lecture Notes in Mathematics . Springer-Verlag, Berlin-New York, 1971

    1971

  16. [24]

    Grothendieck's existence theorem in formal geometry

    Luc Illusie. Grothendieck's existence theorem in formal geometry. In Fundamental algebraic geometry, Grothendieck's FGA Explained , volume 123 of Math. Surveys Monogr. , pages 179--233. Amer. Math. Soc., Providence, RI, 2005. With a letter (in French) of Jean-Pierre Serre

    2005

  17. [25]

    A wall crossing formula for motivic enumerative invariants

    Andrés Jaramillo Puentes. A wall crossing formula for motivic enumerative invariants. Preprint, available at https://arxiv.org/abs/2403.17681, 2024

    2024 arXiv

  18. [26]

    Quadratically enriched plane curve counting via tropical geometry

    Andrés Jaramillo Puentes, Hannag Markwig, Sabrina Pauli, and Felix Röhrle. Quadratically enriched plane curve counting via tropical geometry. Preprint , available at arXiv:2502.02569, 2025

    2025 arXiv

  19. [27]

    A quadratically enriched correspondence theorem

    Anr\'es Jaramillo Puentes and Sabrina Pauli. A quadratically enriched correspondence theorem. Preprint , available at http://arxiv.org/abs/2208.00240, 2023

    2023 arXiv

  20. [28]

    Kempf, F

    G. Kempf, F. Knudsen, D. Mumford, and Bernard Saint-Donat. Toroidal embeddings. I , volume 339 of Lect. Notes Math. Springer, Cham, 1973

    1973

  21. [29]

    Steven L. Kleiman. The P icard scheme. In Fundamental algebraic geometry , volume 123 of Math. Surveys Monogr. , pages 235--321. Amer. Math. Soc., Providence, RI, 2005

    2005

  22. [30]

    Solomon, and Kirsten Wickelgren

    Jesse Leo Kass, Marc Levine, Jake P. Solomon, and Kirsten Wickelgren. A quadratically enriched count of rational curves. Preprint ArXiv 2307.01936, 2023

    2023

  23. [31]

    Solomon, and Kirsten Wickelgren

    Jesse Leo Kass, Marc Levine, Jake P. Solomon, and Kirsten Wickelgren. A relative orientation for the moduli space of stable maps to a del pezzo surface. Preprint ArXiv 2307.01941, 2023

    2023

  24. [32]

    Singularities of the minimal model program , volume 200 of Cambridge Tracts in Mathematics

    J\'anos Koll\'ar. Singularities of the minimal model program , volume 200 of Cambridge Tracts in Mathematics . Cambridge University Press, Cambridge, 2013. With a collaboration of S\'andor Kov\'acs

    2013

  25. [33]

    Toward an algebraic theory of W elschinger invariants

    Marc Levine. Toward an algebraic theory of W elschinger invariants. Preprint , available at https://arxiv.org/abs/1808.02238, 2018

    2018 arXiv

  26. [34]

    Aspects of enumerative geometry with quadratic forms

    Marc Levine. Aspects of enumerative geometry with quadratic forms. Doc. Math. , 25:2179--2239, 2020

    2020

  27. [35]

    Motivic G auss- B onnet formulas

    Marc Levine and Arpon Raksit. Motivic G auss- B onnet formulas. Algebra Number Theory , 14(7):1801--1851, 2020

    2020

  28. [36]

    Symmetric bilinear forms

    John Milnor and Dale Husemoller. Symmetric bilinear forms . Springer-Verlag, New York-Heidelberg, 1973. Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 73

    1973

  29. [37]

    Enumerative tropical algebraic geometry in \( R ^2\)

    Grigory Mikhalkin. Enumerative tropical algebraic geometry in \( R ^2\) . J. Am. Math. Soc. , 18(2):313--377, 2005

    2005

  30. [38]

    Quadratic forms over arbitrary fields

    Albrecht Pfister. Quadratic forms over arbitrary fields. Invent. Math. , 1:116--132, 1966

    1966

  31. [39]

    Rational points on varieties , volume 186 of Graduate Studies in Mathematics

    Bjorn Poonen. Rational points on varieties , volume 186 of Graduate Studies in Mathematics . American Mathematical Society, Providence, RI, 2017

    2017

  32. [40]

    Chris A. M. Peters and Joseph H. M. Steenbrink. Mixed H odge structures , volume 52 of Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mat...

    2008

  33. [41]

    Documents Math\'ematiques (Paris) [Mathematical Documents (Paris)], 3

    Rev\^etements \'etales et groupe fondamental ( SGA 1) . Documents Math\'ematiques (Paris) [Mathematical Documents (Paris)], 3. Soci\'et\'e Math\'ematique de France, Paris, 2003. S \'e minaire de g \'e om \'e trie alg \'e brique du Bois Marie 1960--61. [Algebraic Geometry Semin...

    2003

  34. [42]

    Stacks Project

    The Stacks Project Authors . Stacks Project. https://stacks.math.columbia.edu, 2018

    2018

  35. [43]

    Tropical geometry and correspondence theorems via toric stacks

    Ilya Tyomkin. Tropical geometry and correspondence theorems via toric stacks. Math. Ann. , 353(3):945--995, 2012

    2012

  36. [44]

    Counting curves on rational surfaces

    Ravi Vakil. Counting curves on rational surfaces. Manuscripta Math. , 102(1):53--84, 2000

    2000

  37. [45]

    The Rising Sea: Foundations of Algebraic Geometry

    Ravi Vakil. The Rising Sea: Foundations of Algebraic Geometry . Princeton University Press, 2025

    2025

  38. [46]

    Invariants of real symplectic 4-manifolds and lower bounds in real enumerative geometry

    Jean-Yves Welschinger. Invariants of real symplectic 4-manifolds and lower bounds in real enumerative geometry. Invent. Math. , 162(1):195--234, 2005

    2005

  39. [47]

    Open Gromov - Witten invariants in dimension four

    Jean-Yves Welschinger. Open Gromov - Witten invariants in dimension four. J. Symplectic Geom. , 13(4):1075--1100, 2015

    2015

Pith tools

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