pith. sign in

arxiv: 1907.03973 · v1 · pith:U76A6R6Rnew · submitted 2019-07-09 · 🧮 math.AG

Curvas de contato no espac{c}o projetivo

Eden Amorim This is my paper

Pith reviewed 2026-05-25 00:27 UTC · model grok-4.3

classification 🧮 math.AG
keywords contact curveslegendrian curvesstable mapsvirtual invariantsBott localizationenumerative geometryprojective spacemoduli stacks
0
0 comments X

The pith

A virtual invariant N_d counts degree-d contact curves in P^3 meeting 2d+1 lines, with a general formula from localization.

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

The paper builds the moduli stack of stable maps from rational curves to P^3 and imposes the condition that the curves are tangent to the contact distribution induced by a symplectic form on C^4. It defines the virtual number N_d as the intersection number of this space with 2d+1 general lines. Using combinatorial graphs and partitions coming from Bott localization, the authors obtain an explicit general expression for N_d. They evaluate the formula for d up to 4, recovering the known counts for lines and conics while producing new values for cubics and quartics. The work treats these numbers as enumerative invariants whose geometric meaning remains conjectural beyond degree 4.

Core claim

The virtual invariant N_d on the moduli stack of stable maps to P^3, after incorporating the contact condition, equals the number of degree-d contact curves incident to 2d+1 lines; this number is given by a general formula obtained through graph combinatorics and partitions derived from Bott's localization formula, and the formula yields explicit integers for all d ≤ 4.

What carries the argument

The virtual fundamental class on the moduli stack of stable maps endowed with the contact condition, whose top intersection number with the classes of 2d+1 lines produces N_d; the general formula for this number is extracted from Bott localization applied to graph partitions.

If this is right

  • N_d recovers the known enumerative numbers for contact lines (d=1) and conics (d=2).
  • The same formula produces previously unknown integers for contact cubics and quartics.
  • The expression for N_d is valid for every positive integer d and can be evaluated directly from the graph data.
  • For d > 4 the numbers N_d remain virtual and their enumerative interpretation is left as a conjecture.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The combinatorial formula might be adapted to count contact curves in higher odd-dimensional projective spaces.
  • If the virtual numbers become actual for large d, they would supply predictions for Legendrian curve counts in contact 3-folds.
  • The graph-partition technique could apply to other virtual counts involving distributions on projective varieties.

Load-bearing premise

The virtual intersection number computed on the moduli stack after adding the contact condition equals the actual count of contact curves.

What would settle it

An explicit geometric count of contact quintics through 11 general lines that differs from the value of N_5 given by the localization formula.

Figures

Figures reproduced from arXiv: 1907.03973 by Eden Amorim.

Figure 1
Figure 1. Figure 1: Degree 4 fixed stable map on a positive dimensional component If λi , i = 1, · · · , 4 are the weights for the action T = (C ∗ ) 4 over P 3 , we express 1/EulerT (N virt Γ ) = V(Γ ) · E(Γ ) (see [Kon95], §3.3.3), where V(Γ ) = Y v Y j6=iv (λiv − λj) val v−1 X e=(v,w) de λiv − λiw val v−3 Y e=(v,w) de λiv − λiw ! (4) and E(Γ ) = Y e=(v,w) [PITH_FULL_IMAGE:figures/full_fig_p003_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Combinatorial configurations for contact tree of projective lines at boundary [PITH_FULL_IMAGE:figures/full_fig_p009_2.png] view at source ↗
read the original abstract

The odd dimensional projective space $\mathbb{P}^{2n-1}$ admits a contact structure arising from a non integrable distribution of hyperplanes determined by a symplectic form in $\mathbb{C}^{2n}$. Our object of interest is the set of rational curves of degree d which are tangent to that contact distribution in $\mathbb{P}^3$. Such curves are called contact curves or legendrian curves. To explore the geometry of contact curves, we construct the parameter space $\mathcal{L}_d$ using Kontsevich's stable maps, $\overline{\mathcal{M}}_{0,0}(\mathbb{P}^3,d)$, endowed with the structure of algebraic stack. The intersection theory on stacks allows us to define in that space the virtual invariant $N_d$, associated with the number of degree $d$ contact curves incident to $2d+1$ lines. Using graph combinatorics and partitions originated from Bott's localization formula, we determine a general formula for $N_d$. We explicitly calculate it for contact curves up to degree 4 - confirming the known cases of contact lines and conics and introducing the new numbers for cubics and quartics. Finally, we discuss the enumerative significance of these invariants, still conjectural for $d>4$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The paper studies rational contact (Legendrian) curves of degree d in the contact projective space P^3. It constructs the parameter space L_d as the Kontsevich moduli stack of stable maps equipped with the contact tangency condition, defines the virtual invariant N_d via intersection theory as the count of such curves meeting 2d+1 lines, derives a general formula for N_d by applying Bott localization to graph combinatorics and partitions, computes explicit values up to d=4 (recovering the known cases for d=1,2 and providing new numbers for d=3,4), and discusses the enumerative significance of these invariants (conjectural for d>4).

Significance. If the virtual class construction and localization computations are correct, the work supplies a systematic computation of enumerative invariants for contact curves in P^3, confirming prior results for lines and conics while furnishing new explicit numbers for cubics and quartics; this contributes concrete data to the intersection of contact geometry and Gromov-Witten theory.

minor comments (3)
  1. The title is in Portuguese while the abstract and body are in English; consider adding an English title or translation for consistency and accessibility.
  2. [explicit calculations (near end of localization section)] The explicit computations for N_3 and N_4 would benefit from a compact summary table listing the values alongside the known N_1 and N_2 for easy comparison.
  3. [construction of L_d and definition of N_d] Notation for the contact condition (how the tangency is encoded in the virtual class) is introduced but could be recalled briefly before the localization formula is applied.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We appreciate the referee's detailed summary of our paper and the positive significance assessment. The recommendation for minor revision is noted, but as no specific major comments are provided, we have nothing further to address. We stand by the results presented, including the new numbers for d=3 and d=4.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The derivation relies on the standard Kontsevich moduli stack of stable maps, the virtual fundamental class construction, and Bott localization via graph combinatorics—external, independently established tools in algebraic geometry. N_d is defined directly as an intersection number on this stack after imposing the contact condition, with explicit computations for d ≤ 4 obtained from the localization formula rather than any fitted parameter or self-referential reduction. Known values for d=1,2 are recovered as consistency checks, but the central formula and new numbers for d=3,4 do not reduce to the inputs by construction or via load-bearing self-citation. The chain is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on standard axioms of algebraic geometry and Gromov-Witten theory; no free parameters or invented entities are apparent from the abstract.

axioms (2)
  • standard math The moduli space of stable maps to P^3 admits a virtual fundamental class on which intersection theory can be performed.
    Standard assumption in the construction of Gromov-Witten invariants.
  • standard math Bott localization applies to the equivariant cohomology of the moduli stack and yields the stated graph-combinatorial formula.
    Standard tool for computing integrals on moduli spaces with torus actions.

pith-pipeline@v0.9.0 · 5743 in / 1262 out tokens · 32502 ms · 2026-05-25T00:27:54.785696+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

37 extracted references · 37 canonical work pages · 2 internal anchors

  1. [2]

    Temos 1 EulerT (NΓ) =V(Γ)E(Γ) 1.4

    através da contribuição de dois fatores, associados aos vértices e arestas respectivamente. Temos 1 EulerT (NΓ) =V(Γ)E(Γ) 1.4. TEORIA DE INTERSEÇÃO 13 onde V(Γ) = ∏ v∈V ((∏ j̸=iv (λiv−λj) )val (v)− 1( ∑ e=(v,w ) de λiv − λiw )val (v)− 3 ∏ e=(v,w ) de λiv − λiw ) (1.5) e E(Γ) = ∏ e=(v,w )∈E ( (− 1)de( de λiv −λiw )2de de!2 ∏ k̸=iv,iw de∏ α=0 1 αλiv +(de−α)...

    work page

  2. [3]

    Assim, o número de retas de contato incidente a 3 retas em posição geral de P3 é 2

    Retas de contato: Podemos parametrizar o conjunto das retas de contato em P3 por uma variedade de dimensão 3 e grau 2, como uma seção hiperplana na quádrica de Plücker. Assim, o número de retas de contato incidente a 3 retas em posição geral de P3 é 2. O espaço dessas retas é a Grassmanniana Lagrangeana de retas em P3 [3]

    work page

  3. [4]

    Assim, a dimensão da variedade de cônicas de contato é 3 + 2 = 5

    Cônicas de contato: Pela proposição (2.2.1), toda cônica de contato é um par de retas passando pelo ponto simplético do plano da distribuição de contato que a contém. Assim, a dimensão da variedade de cônicas de contato é 3 + 2 = 5. O número de tais cônicas incidentes a 5 retas em posição geral então é 40. 2.3 Caracterização legendriana Para estudar o cas...

    work page

  4. [5]

    Calculamos N1 = 2, com o significado enumerativo devido: o número de retas de contato incidentes a 3 retas em posição geral no espaço

    Retas de contato: sendo o próprio M1 isomorfo à grassmanniana G(2, 4), nossa descrição segue em acordo com o já apresentado: L1 coincide com a grassmanniana lagrangeana, sendo lisa de di- mensão pura 3 em M1. Calculamos N1 = 2, com o significado enumerativo devido: o número de retas de contato incidentes a 3 retas em posição geral no espaço

    work page

  5. [6]

    k = 2d − 1

    Cônicas de contato: pelo apresentado anteriormente, temos que dimL2 = 5. Porém, nesse caso é interessante diferenciarmos dois tipos: o par de retas concorrentes distintas, ou uma reta dupla. Diferenciar a situação onde aparecem recobrimentos duplos é um dos pontos chaves para entender a estrutura de L2 - e também para graus maiores. Ao menos como conjunto...

    work page

  6. [7]

    Teorema das 4 cores: Todo grafo planar sem laços (em particular árvores) pode ser colorido com 4 cores

    work page

  7. [8]

    Toda árvore pode ser colorida com apenas 2 cores

    work page

  8. [9]

    f(i)=dotprod([a(i)(0..d)],td)

    O polinômio cromático de uma árvore com v vértices é pΓ(t) = t(t − 1)v− 1. C.2 Isomorfismos Um isomorfismo entre grafos Γ1 = {V1,E 1}eΓ2 = {V2,E 2}é uma bijeção f :V1 → V2 que preserva as incidências: (v1w1)∈E1 se e somente se (f(v1)f(w1))∈E2. Isso estabelece uma relação de equivalência entre grafos e define classes de isomorfismos de grafos. C.3. COLORAÇÃO E...

    work page

  9. [10]

    , Graber, T

    Abramovich, D. , Graber, T. , e Vistoli, A. Gromov-witten the- ory of deligne-mumford stacks . American Journal of Mathema- tics, 130(5):pp. 1337–1398, 2008. ISSN 00029327. Disponível em http://www.jstor.org/stable/40068158

    work page arXiv 2008

  10. [11]

    e Kleiman, S

    Altman, A. e Kleiman, S. Foundations of the theory of Fano schemes. Compositio Math., 34, 1977. Disponível em http://www. numdam.org/item?id=CM_1977__34_1_3_0

    work page 1977

  11. [12]

    Characteristic class entering in quantization conditions

    Arnol’d, V. Characteristic class entering in quantization conditions . Functional Analysis and Its Applications, 1(1):1–13, 1967

    work page 1967

  12. [13]

    , Dzhamay, A

    Arnol’d, V. , Dzhamay, A. , e Novikov, S. Dynamical Systems IV:Symplectic Geometry and Its Applications . Dinamicheskie sis- temy. Springer, 2001. ISBN 9783540626350

    work page 2001

  13. [14]

    Some properties of stable rank 2 bundles on Pn

    Barth, W. Some properties of stable rank 2 bundles on Pn. Math. Ann., 226:125–150, 1977. Disponível em doi:10.1007/BF01360864

    work page doi:10.1007/bf01360864 1977

  14. [15]

    The intrinsic normal cone

    Behrend, K. e Fantechi, B. The intrinsic normal cone , 1996. Dis- ponível em arXiv:alg-geom/9601010v1

    work page internal anchor Pith review Pith/arXiv arXiv 1996

  15. [16]

    e Manin, Yu

    Behrend, K. e Manin, Yu. Stacks of stable maps and Gromov-Witten invariants , 1995. Disponível em arXiv:alg-geom/ 9506023v2

    work page 1995

  16. [17]

    Algebraic Graph Theory

    Biggs, N. Algebraic Graph Theory . Cambridge Mathematical Library. Cambridge University Press, 1993. ISBN 0521458978 , 9780521458979

    work page 1993

  17. [18]

    Two exotic holonomies in dimension four, path geome- tries, and twistor theory , 2000

    Bryant, R. Two exotic holonomies in dimension four, path geome- tries, and twistor theory , 2000

    work page 2000

  18. [19]

    Legendrian subvarieties of projective space

    Buczyski, J. Legendrian subvarieties of projective space . Ge- ometriae Dedicata, 118(1):87–103, 2006. ISSN 0046-5755. doi: 91 92 REFERÊNCIAS BIBLIOGRÁFICAS 10.1007/s10711-005-9027-y. Disponível em http://dx.doi.org/10. 1007/s10711-005-9027-y

    work page doi:10.1007/s10711-005-9027-y 2006

  19. [20]

    e Katz, S

    Cox, D. e Katz, S. Mirror Symmetry and Algebraic Geometry , vo- lume 68 de Lecture Notes in Mathematics . American Mathematical Soc., 1999. ISBN 082182127X

    work page 1999

  20. [21]

    e Mumford, D

    Deligne, P. e Mumford, D. The irreducibility of the space of curves of a given genus . Publ. Math., 36:75–110, 1969

    work page 1969

  21. [22]

    Di e Itzykson., C

    Francesco, P. Di e Itzykson., C. Quantum Intersection Rings , págs. 81–148. Birkhäuser Boston, Boston, MA, 1995. ISBN 978-1-4612- 4264-2. doi:10.1007/978-1-4612-4264-2_4. Disponível em http:// dx.doi.org/10.1007/978-1-4612-4264-2_4

    work page doi:10.1007/978-1-4612-4264-2_4 1995

  22. [23]

    Algebraic curves: An Introduction to Algebraic Geome- try

    Fulton, W. Algebraic curves: An Introduction to Algebraic Geome- try. W.A Benjamin, 1969

    work page 1969

  23. [24]

    Intersection Theory

    Fulton, W. Intersection Theory . Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge / A Series of Modern Surveys in Mathe- matics. Springer Berlin Heidelberg, 2013. ISBN 9783662024218

    work page 2013

  24. [25]

    Notes on stable maps and quantum cohomology

    Fulton, W. e Pandharipande, R. Notes on stable maps and quantum cohomology, 1997. Disponível em arXiv:alg-geom/9608011v2

    work page internal anchor Pith review Pith/arXiv arXiv 1997

  25. [26]

    Line bundles on stacks - notes , 2002

    Gillet, H. Line bundles on stacks - notes , 2002. Dis- ponível em http://homepages.math.uic.edu/~henri/notes/Line_ Bundles_on_stacks.pdf

    work page 2002

  26. [27]

    Algebraic stacks , 1999

    Gomez, T. Algebraic stacks , 1999. Disponível em arXiv:math/ 9911199v1

    work page 1999

  27. [28]

    e Pandharipande, R

    Graber, T. e Pandharipande, R. Localization of virtual classes . In- ventiones mathematicae, 135(2):487–518, 1999. ISSN 0020-9910. doi:10.1007/s002220050293. Disponível em http://dx.doi.org/ 10.1007/s002220050293

    work page doi:10.1007/s002220050293 1999

  28. [29]

    e Morrison, I

    Harris, J. e Morrison, I. Moduli of Curves . Graduate Texts in Mathematics. Springer, 1998. ISBN 9780387984292

    work page 1998

  29. [30]

    Algebraic Geometry

    Hartshorne, R. Algebraic Geometry. Graduate Texts in Mathema- tics. Springer-Verlarg, 1977. ISBN 9780387902449

    work page 1977

  30. [31]

    Projectivity of the moduli space of stable curves, ii

    Knudsen, F. Projectivity of the moduli space of stable curves, ii . Math. Scand, 52:1225–1265, 1983. REFERÊNCIAS BIBLIOGRÁFICAS 93

    work page 1983

  31. [32]

    e Vainsencher, I

    Kock, J. e Vainsencher, I. A fórmula de Kontsevich para curvas racionais planas . IMPA, 1999

    work page 1999

  32. [33]

    Enumeration of rational curves via torus actions

    Kontsevich, M. Enumeration of rational curves via torus actions . In RobbertH. Dijkgraaf, CarelF. Faber, e GerardB.M. van der Geer, editores, The Moduli Space of Curves , volume 129 de Progress in Mathematics , págs. 335–368. Birkhäuser Boston, 1995. ISBN 978-1-4612-8714-8. doi:10.1007/978-1-4612-4264-2_12. Disponível em http://dx.doi.org/10.1007/978-1-46...

    work page doi:10.1007/978-1-4612-4264-2_12 1995

  33. [34]

    e Manin, Y

    Kontsevich, M. e Manin, Y. Gromov-Witten classes, quantum cohomology, and enumerative geometry . Comm. Math. Phys., 164:525–562, 1994

    work page 1994

  34. [35]

    e Vainsencher, I

    Levcovitz, D. e Vainsencher, I. Symplectic enumeration . Bulletin of the Brazilian Mathematical Society, New Series, 42(3):347–358, 2011

    work page 2011

  35. [36]

    Virtual moduli cycles and Gromov-Witten invariants of algebraic varieties , 1998

    Li, Jun e Tian, Gang . Virtual moduli cycles and Gromov-Witten invariants of algebraic varieties , 1998

    work page 1998

  36. [37]

    Generating functions in algebraic geometry and sums over trees

    Manin, Yu.I. Generating functions in algebraic geometry and sums over trees . In RobbertH. Dijkgraaf, CarelF. Faber, e GerardB.M. van der Geer, editores, The Moduli Space of Curves , volume 129 de Progress in Mathematics , págs. 401–417. Birkhäuser Boston, 1995. ISBN 978-1-4612-8714-8. doi:10.1007/978-1-4612-4264-2_14. Dispo- nível em http://dx.doi.org/10...

    work page doi:10.1007/978-1-4612-4264-2_14 1995

  37. [38]

    Intersection theory on algebraic stacks and on their moduli spaces

    Vistoli, A. Intersection theory on algebraic stacks and on their moduli spaces. Invent. Math., 97:613–670, 1989. 94 REFERÊNCIAS BIBLIOGRÁFICAS

    work page 1989