Pith. sign in

REVIEW 2 minor 44 references

PCMI lecture notes: Motivic explorations in enumerative geometry

T0 review · 0 major / 2 minor · reviewed 2026-06-27 · grok-4.3

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

Pith's one-line read Motivic homotopy theory extends classical enumerative counts like Bezout's theorem to arbitrary fields via the A1-degree.

desk verdict These are clear PCMI lecture notes that organize existing motivic and tropical tools for enumerative geometry over general fields, but contain no new theorems or computations. read the letter →

arxiv 2606.10830 v1 pith:YZRPSO5E submitted 2026-06-09 math.AG

Sabrina Pauli This is my paper · ORCID
classification math.AG
keywords motivichomotopytheoryenumerativegeometryA1-degreetropicalBezouttheoremcubicsurfacesarbitraryfields
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

These lecture notes show how to solve enumerative geometry problems over any base field by replacing the usual topological degree with an A1-degree drawn from motivic homotopy theory. The same counts that work over the complex numbers remain valid, but now carry extra arithmetic and geometric data that depends on the field. Classical examples such as Bezout's theorem for plane curves and the count of lines on a smooth cubic surface are first treated over the complexes and reals, then lifted to the general case. Tropical geometry enters as a computational tool that proves the results without complex analysis. The notes supply a practical toolbox, including tropical correspondence theorems, for carrying out such calculations.

What carries the argument

The A1-degree from motivic homotopy theory, which replaces the topological degree and encodes field-dependent information in the counts.

What would settle it

An explicit computation of the A1-degree for the lines on a cubic surface that fails to recover the known classical count when the base field is the complex numbers.

Watch

Extended reading notes

Core claim

The A1-degree defined in motivic homotopy theory correctly generalizes the classical topological degree, so that enumerative problems solved over the complex numbers can be solved over an arbitrary field while the answers retain additional information reflecting the arithmetic of that field.

Load-bearing premise

The A1-degree generalizes the classical topological degree so that the same enumerative counts remain valid when the base field changes.

Editorial extensions

If this is right

  • Bezout's theorem holds for plane curves over any field when degrees are measured by the A1-degree.
  • The number of lines on a smooth cubic surface admits a motivic count that specializes to the classical number over the complexes.
  • Tropical plane curves supply combinatorial proofs of these statements that work over arbitrary fields.
  • Correspondence theorems allow tropical methods to translate back to algebraic counts in the motivic setting.

Reading between the lines

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

  • The same machinery could be applied to other classical enumerative problems to produce field-dependent invariants.
  • Tropical correspondence theorems may simplify proofs for higher-dimensional varieties once the A1-degree is defined there.
  • Computations over finite fields might connect these motivic counts to existing arithmetic statistics such as point counts.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 2 minor

Summary. These PCMI 2024 lecture notes exposit the use of the A1-degree in motivic homotopy theory (following Morel-Voevodsky) to extend classical enumerative problems—Bézout's theorem and the count of lines on a smooth cubic surface—from C/R to arbitrary base fields, yielding additional arithmetic and geometric data. The notes also introduce tropical plane curves to prove Bézout over any field and discuss tropical correspondence theorems. No new theorems or computations are claimed; the text is a toolbox-style exposition relying on prior foundational results.

Significance. If the explanations hold, the notes supply a clear pedagogical bridge between motivic homotopy, enumerative geometry, and tropical methods, making the A1-degree approach accessible for problems over general fields. The value is primarily expository and pedagogical rather than in novel results; it correctly identifies that the central assertion rests on established A1-homotopy foundations rather than an internal derivation.

minor comments (2)
  1. [Abstract] The abstract and introduction could more explicitly flag that the notes are purely expository and contain no original theorems, to set reader expectations.
  2. Notation for the A1-degree and its relation to classical degree is introduced gradually; a single consolidated comparison table (over C, R, and general k) would improve readability for the target graduate audience.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the lecture notes and for the recommendation to accept. The summary accurately captures the expository goals and scope of the manuscript.

Circularity Check

0 steps flagged · score 0.0 of 10

Expository lecture notes; no derivation chain present

full rationale

The manuscript consists of PCMI lecture notes that survey and explain the application of the pre-existing A1-degree (from Morel-Voevodsky motivic homotopy theory) and tropical correspondence theorems to classical enumerative problems. No novel theorem, computation, or derivation is claimed or performed inside the notes; every step is an exposition of prior results. Consequently there are no load-bearing equations, self-definitions, fitted predictions, or self-citation chains internal to the text that could reduce to circularity. The reader's assessment of score 0 is confirmed by direct inspection of the abstract and structure.

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

This is expository material summarizing prior work; no free parameters, axioms, or invented entities are introduced by the notes themselves.

how reviews work

0 comments
Cite this review

Pith. "Pith review of PCMI lecture notes: Motivic explorations in enumerative geometry." pith.science (2026). https://pith.science/paper/YZRPSO5E

@misc{pith2026260610830,
  author       = {Pith},
  title        = {Pith review of: PCMI lecture notes: Motivic explorations in enumerative geometry},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/YZRPSO5E}},
  note         = {Machine review of arXiv:2606.10830}
}
read the original abstract

These are lecture notes for the PCMI 2024 Graduate Summer School for the mini-workshop on motivic explorations in enumerative geometry. Motivic homotopy theory allows to do enumerative geometry over an arbitrary field, which leads to additional arithmetic and geometric information. The goal of the mini-workshop is to explain why and how this works. We will also provide a toolbox for solving enumerative geometry problems in this setting, including the use of tropical geometry. We start with two classical examples in enumerative geometry, namely Bezout's theorem and the count of lines on a smooth cubic surface. We then explain how to solve these problems, first over the complex and real numbers, and then over an arbitrary field, using the A1-degree from motivic homotopy theory. Then we introduce tropical geometry, more precisely we focus on tropical plane curves and show how they can be used to prove Bezout's theorem for curves over an arbitrary field. Finally, we discuss tropical correspondence theorems.

Figures

Figures reproduced from arXiv: 2606.10830 by the authors.

Figure 1
Figure 1. Real B´ezout for n = 1 and n = 2. For example, if n = 1, this is the case if d1 is even. In this case, B´ezout’s theorem counts the zeros of a polynomial in one variable. The Euler class of an odd rank bundle is zero in the real setting. If the derivatives at the zeros do not vanish, then the local index is given by the sign of the derivative by Remark 1.9 and thus the sum of these signs is always zero (see the left… view at source ↗
Figure 2
Figure 2. (x, y) ∈ Q2 for which F(pe1, pe2) = 0 can be solved with x = − val(pe1) and y = − val(pe2) in Example 3.5. Let’s first assume that k is of characteristic 0 and algebraically closed. Then k{{t}} is also algebraically closed and of characteristic 0. Let’s try to find points in the zero locus of a polynomial F ∈ k{{t}}[z1, z2]. We start with the simplest case that is that deg F = 1 and we can write F(z1, z2) = ea(t) + … view at source ↗
Figure 3
Figure 3. Examples of tropical curves. One only labels edges of weight > 1. When there is no label, it means that the weight of this edge is 1 (see [PITH_FULL_IMAGE:figures/full_fig_p016_3.png] view at source ↗
Figures from the paper (9 more)
Figure 4
Figure 4. Figure 4: Dual subdivisions. 2 2 v ∆v [PITH_FULL_IMAGE:figures/full_fig_p017_4.png]
Figure 5
Figure 5. Figure 5: Balancing condition. polygon called the dual subdivision DS(f) in the following way. One projects the edges of the upper faces of Conv({(i, j, bij ) : bij ̸= −∞}) ⊂ R 3 to R 2 via the projection to the first two coordinates. One can show that there is the following one…
Figure 6
Figure 6. Figure 6: An intersection point p of two tropical curves Γ1 and Γ2 and its dual parallelogram ∆p. intersect at a point p ∈ Γ1 ∩ Γ2 ⊂ R 2 , then there exists (˜p1(t), p˜2(t)) ∈ C1 ∩ C2 such that p = (− val(˜p1(t)), − val(˜p2(t))). However, such a point of intersection in C1 ∩ C2 …
Figure 7
Figure 7. Figure 7: A tropical conic and a tropical line intersecting in two points with multiplicity 1 on the left and in one point with multiplicity 2 on the right [PITH_FULL_IMAGE:figures/full_fig_p019_7.png]
Figure 8
Figure 8. Figure 8: Two tropical degree 2 curves intersecting with the dual subdivision of their union. Proof. The tropical curve Γ1 ∪Γ2 has Newton polygon ∆d1+d2 . The dual subdivision of Γ1 ∪Γ2 consists of the dual subdivision of Γ1, Γ2 and the parallelograms corresponding to the inters…
Figure 9
Figure 9. Figure 9: An enriched tropical curve and its enriched dual subdivision. [a10] [a01] [a00] [b10] [b01] [b00] [a10b10] [a01b01] [a00b00] [a10b01] [a00b01] [a10b00] [PITH_FULL_IMAGE:figures/full_fig_p021_9.png]
Figure 10
Figure 10. Figure 10: The union of two enriched tropical curves. dual subdivision, so we also label these as illustrated in [PITH_FULL_IMAGE:figures/full_fig_p021_10.png]
Figure 11
Figure 11. Figure 11: For v in the middle ϵp(v) = −1 and for v on the right ϵp(v) = +1. where the sum runs over the common zeros pe of F1 and F2, which tropicalize to p. Here, κ(pe) denotes the residue field of pe. We say that a lattice point v ∈ Z 2 is odd if both entries are odd. The fol…
Figure 12
Figure 12. Figure 12: Tropical lines determined by two points in R 2 . this extension does not hold over R or other non-algebraically closed fields, which is why we concentrate on rational curves in these lecture notes. Example 4.17. There is a unique tropical line going through two given …

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

44 extracted references · 6 canonical work pages

  1. [1]

    Nikita Borisov, Thomas Brazelton, Frenly Espino, Thomas Hagedorn, Zhaobo Han, Jordy Lopez Garcia, Joel Louwsma, Wern Juin Gabriel Ong, and Andrew R. Tawfeek. ^1 -Brouwer degrees in Macaulay2 . Journal of Software for Algebra and Geometry , 14(1):175–187, October 2024

    2024

  2. [2]

    The trace of the local \( A ^1\) -degree

    Thomas Brazelton, Robert Burklund, Stephen McKean, Michael Montoro, and Morgan Opie. The trace of the local \( A ^1\) -degree. Homology Homotopy Appl. , 23(1):243--255, 2020

    2020

  3. [3]

    B \'e zoutians and the \( A ^1\) -degree

    Thomas Brazelton, Stephen McKean, and Sabrina Pauli. B \'e zoutians and the \( A ^1\) -degree. Algebra Number Theory , 17(11):1985--2012, 2023

    1985

  4. [4]

    Benedetti and R

    R. Benedetti and R. Silhol. Spin and \( Pin ^-\) structures, immersed and embedded surfaces and a result of Segre on real cubic surfaces. Topology , 34(3):651--678, 1995

    1995

  5. [5]

    A bit of tropical geometry

    Erwan Brugall \'e and Kristin Shaw. A bit of tropical geometry. Am. Math. Mon. , 121(7):563--589, 2014

    2014

  6. [6]

    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

  7. [7]

    On the triple tangent planes of surfaces of the third order

    Arthur Cayley. On the triple tangent planes of surfaces of the third order. Cambridge and Dublin Mathematical Journal , 4:118--138, 1849

  8. [8]

    3264 and all that

    David Eisenbud and Joe Harris. 3264 and all that. A second course in algebraic geometry . Cambridge: Cambridge University Press, 2016

    2016

Show all 44 references
  1. [9]

    Non-archimedean amoebas and tropical varieties

    Manfred Einsiedler, Mikhail Kapranov, and Douglas Lind. Non-archimedean amoebas and tropical varieties. J. Reine Angew. Math. , 601:139--157, 2006

    2006

  2. [10]

    David Eisenbud and Harold I. Levine. An algebraic formula for the degree of a \(C^ \) map germ. Sur une inegalite a la Minkowski pour les multiplicites. Ann. Math. (2) , 106:19--44, 1977

    1977

  3. [11]

    Quadratic Segre indices

    Felipe Espreafico, Stephen McKean, and Sabrina Pauli. Quadratic Segre indices. Preprint, arXiv :2506.01547 [math. AG ] (2026), 2026

    2026

  4. [12]

    Abundance of real lines on real projective hypersurfaces

    Sergey Finashin and Viatcheslav Kharlamov. Abundance of real lines on real projective hypersurfaces. Int. Math. Res. Not. , 2013(16):3639--3646, 2013

    2013

  5. [13]

    The Caporaso - Harris formula and plane relative Gromov - Witten invariants in tropical geometry

    Andreas Gathmann and Hannah Markwig. The Caporaso - Harris formula and plane relative Gromov - Witten invariants in tropical geometry. Math. Ann. , 338(4):845--868, 2007

    2007

  6. [14]

    Algebraic topology

    Allen Hatcher. Algebraic topology . Cambridge: Cambridge University Press, 2002

    2002

  7. [15]

    Arithmetic counts of tropical plane curves and their properties

    Andr \'e s Jaramillo Puentes, Hannah Markwig, Sabrina Pauli, and Felix R \"o hrle. Arithmetic counts of tropical plane curves and their properties. Adv. Geom. , 24(4):553--576, 2024

    2024

  8. [16]

    Quadratically Enriched Plane Curve Counting via Tropical Geometry

    Andr \'e s Jaramillo Puentes, Hannah Markwig, Sabrina Pauli, and Felix R \"o hrle. Quadratically Enriched Plane Curve Counting via Tropical Geometry . Preprint, arXiv :2502.02569 [math. AG ] (2025), 2025

    2025

  9. [17]

    Tropical Methods for Counting Plane Curves -- Complex , Real and Quadratically Enriched

    Andr \'e s Jaramillo Puentes, Hannah Markwig, Sabrina Pauli, and Felix R \"o hrle. Tropical Methods for Counting Plane Curves -- Complex , Real and Quadratically Enriched . Preprint, arXiv :2601.14216 [math. AG ] (2026), 2026

    2026

  10. [18]

    A quadratically enriched correspondence theorem

    Andr \'e s Jaramillo Puentes and Sabrina Pauli. A quadratically enriched correspondence theorem. Journal of the European Mathematical Society , 2025. published online first

    2025

  11. [19]

    Quadratically enriched tropical intersections

    Andr \'e s Jaramillo Puentes and Sabrina Pauli. Quadratically enriched tropical intersections. J. Reine Angew. Math. , 821:151--193, 2025

    2025

  12. [20]

    G. N. Khimshiashvili. On the local degree of a smooth mapping. Soobshch. Akad. Nauk Gruz. SSR , 85:309--312, 1977

    1977

  13. [21]

    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 [math. AG ] (2023), 2023

    2023

  14. [22]

    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 [math. AG ] (2026), 2026

    2026

  15. [23]

    The class of Eisenbud - Khimshiashvili - Levine is the local \( A ^1\) - Brouwer degree

    Jesse Leo Kass and Kirsten Wickelgren. The class of Eisenbud - Khimshiashvili - Levine is the local \( A ^1\) - Brouwer degree. Duke Math. J. , 168(3):429--469, 2019

    2019

  16. [24]

    An arithmetic count of the lines on a smooth cubic surface

    Jesse Leo Kass and Kirsten Wickelgren. An arithmetic count of the lines on a smooth cubic surface. Compos. Math. , 157(4):677--709, 2021

    2021

  17. [25]

    T. Y. Lam. Introduction to quadratic forms over fields , volume 67 of Grad. Stud. Math. Providence, RI: American Mathematical Society (AMS), 2005

    2005

  18. [26]

    Toward an algebraic theory of Welschinger invariants

    Marc Levine. Toward an algebraic theory of Welschinger invariants. Preprint, arXiv :1808.02238 [math. AG ] (2018), 2018

    2018 arXiv

  19. [27]

    Aspects of enumerative geometry with quadratic forms

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

    2020

  20. [28]

    An arithmetic enrichment of B \'e zout 's theorem

    Stephen McKean. An arithmetic enrichment of B \'e zout 's theorem. Math. Ann. , 379(1-2):633--660, 2021

    2021

  21. [29]

    Circles of apollonius two ways, 2022

    Stephen McKean. Circles of apollonius two ways, 2022

    2022

  22. [30]

    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

  23. [31]

    John W. Milnor. Topology from the differentiable viewpoint . University Press of Virginia, Charlottesville, VA, 1965. Based on notes by David W. Weaver

    1965

  24. [32]

    Tropical geometry

    Grigory Mikhalkin and Johannes Rau. Tropical geometry. https://www.math.uni-tuebingen.de/user/jora/downloads/main.pdf, 2018. Lecture notes

    2018

  25. [33]

    Milnor and James D

    John W. Milnor and James D. Stasheff. Characteristic classes , volume 32 of Texts Read. Math. New Delhi: Hindustan Book Agency, 2005

    2005

  26. [34]

    Introduction to tropical geometry , volume 161 of Grad

    Diane Maclagan and Bernd Sturmfels. Introduction to tropical geometry , volume 161 of Grad. Stud. Math. Providence, RI: American Mathematical Society (AMS), 2015

    2015

  27. [35]

    Intrinsic signs and lower bounds in real algebraic geometry

    Christian Okonek and Andrei Teleman. Intrinsic signs and lower bounds in real algebraic geometry. J. Reine Angew. Math. , 688:219--241, 2014

    2014

  28. [36]

    Quadratic types and the dynamic Euler number of lines on a quintic threefold

    Sabrina Pauli. Quadratic types and the dynamic Euler number of lines on a quintic threefold. Adv. Math. , 405:37, 2022. Id/No 108508

    2022

  29. [37]

    Computing \( A ^1\) - Euler numbers with Macaulay2

    Sabrina Pauli. Computing \( A ^1\) - Euler numbers with Macaulay2 . Res. Math. Sci. , 10(3):14, 2023. Id/No 26

    2023

  30. [38]

    On the distribution of surfaces of the third order into species, in reference to the absence or presence of singular points, and the reality of their lines

    Ludwig Schläfli. On the distribution of surfaces of the third order into species, in reference to the absence or presence of singular points, and the reality of their lines. Philosophical Transactions of the Royal Society of London , 153:193--241, 1863

  31. [39]

    The Non-Singular Cubic Surfaces

    Beniamino Segre. The Non-Singular Cubic Surfaces . Oxford University Press, 1942

    1942

  32. [40]

    A tropical calculation of the Welschinger invariants of real toric Del Pezzo surfaces

    Eugenii Shustin. A tropical calculation of the Welschinger invariants of real toric Del Pezzo surfaces. J. Algebr. Geom. , 15(2):285--322, 2006

    2006

  33. [41]

    u nter Scheja and Uwe Storch. \

    G \"u nter Scheja and Uwe Storch. \"U ber Spurfunktionen bei vollst \"a ndigen Durchschnitten . J. Reine Angew. Math. , 278/279:174--190, 1975

    1975

  34. [42]

    Charles A. Weibel. The \(K\) -book. An introduction to algebraic \(K\) -theory , volume 145 of Grad. Stud. Math. Providence, RI: American Mathematical Society (AMS), 2013

    2013

  35. [43]

    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

  36. [44]

    Unstable motivic homotopy theory

    Kirsten Wickelgren and Ben Williams. Unstable motivic homotopy theory. In Handbook of homotopy theory , pages 931--972. Boca Raton, FL: CRC Press, 2020

    2020

Pith tools

Reviewed June 27, 2026 · model on record in the stance chip above.