Effective computations of the Atiyah-Bott formula

DOI10.1016/J.JSC.2022.01.005MaRDI QIDQ2117433zbMATH OpenOpenAlexWikidataFDO

Authors Giosuè Muratore, Csaba Schneider

Publication date 21 March 2022

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2105.11183

zbMATH Keywords

enumerationcontacttorus actionBott formulaJulia programming languageSageMath

Mathematics Subject Classification ID

Parametrization (Chow and Hilbert schemes) (14C05) Gromov-Witten invariants, quantum cohomology, Gopakumar-Vafa invariants, Donaldson-Thomas invariants (algebro-geometric aspects) (14N35) Lagrangian submanifolds; Maslov index (53D12) Enumerative problems (combinatorial problems) in algebraic geometry (14N10) Software, source code, etc. for problems pertaining to algebraic geometry (14-04) Computational algebraic geometry over arithmetic ground fields (14Q25)

Abstract: We present an implementation of the Atiyah-Bott residue formula for $overline{M}_{0,m}(mathbb{P}^n,d)$. We use this implementation to compute a large number of Gromov-Witten invariants of genus $0$, including intersection numbers of rational curves on general complete intersections. We also compute some numbers of rational contact curves satisfying suitable Schubert conditions. Our computations confirm known predictions made by Mirror Symmetry. The code we developed for these problems is publicly available and can also be used for other types of computations.

Recommendations

• scientific article; zbMATH DE number 1777537
• Bott’s formula and enumerative geometry
• scientific article; zbMATH DE number 5240496
• Another way to enumeration of rational curves with torus actions
• Algorithms for computing intersection numbers on moduli spaces of curves, with an application to the class of the locus of Jacobians

Cites work

• scientific article; zbMATH DE number 65525 (Why is no real title available?)
• scientific article; zbMATH DE number 1270593 (Why is no real title available?)
• scientific article; zbMATH DE number 3451984 (Why is no real title available?)
• scientific article; zbMATH DE number 777976 (Why is no real title available?)
• scientific article; zbMATH DE number 826024 (Why is no real title available?)
• scientific article; zbMATH DE number 826032 (Why is no real title available?)
• scientific article; zbMATH DE number 957491 (Why is no real title available?)
• 3264 and all that. A second course in algebraic geometry
• A note on complex projective threefolds admitting holomorphic contact structures
• A recursive formula for osculating curves
• A residue formula for holomorphic vector-fields
• Absolute and relative Gromov-Witten invariants of very ample hypersurfaces
• Bott’s formula and enumerative geometry
• Calabi-Yau complete intersections with infinitely many lines
• Convex rationally connected varieties
• Equivariant Gromov-Witten invariants of algebraic GKM manifolds
• Generating Functions in Algebraic Geometry and Sums over Trees
• Graphs.jl
• Intersection theory on the moduli space of curves and the matrix Airy function
• Julia: a fresh approach to numerical computing
• Lines on Calabi Yau complete intersections, mirror symmetry, and Picard Fuchs equations
• Localization of virtual classes
• Nemo/Hecke. Computer algebra and number theory packages for the Julia programming language
• Notes on stable maps and quantum cohomology
• Rational curves of degree at most 9 on a general quintic threefold
• Rational curves on Calabi-Yau threefolds: verifying mirror symmetry predictions
• Remarks on Complex Contact Manifolds
• Symplectic enumeration
• The indeterminacy locus of the Voisin map
• The moment map and equivariant cohomology
• Topological field theory and rational curves
• Van Geemen's families of lines on special quintic threefolds

Cited in

(6)

• Computations of Gromov-Witten invariants of toric varieties
• scientific article; zbMATH DE number 5524182 (Why is no real title available?)
• Irreducible contact curves via graph stratification
• scientific article; zbMATH DE number 1777537 (Why is no real title available?)
• Localization in Gromov-Witten theory of toric varieties in a computer algebra system
• Enumeration of rational contact curves via torus actions

Describes a project that uses

Uses Software

• SageMath
• OEIS
• Julia
• Hecke
• Nemo
• Book3264Examples
• Graphs.jl

This page was built for publication: Effective computations of the Atiyah-Bott formula

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2117433)