[Paper Review] The Canonical Class of $\overline{M}_{0,n}(P^r,d)$ And Enumerative Geometry

Rahul Pandharipande|ArXiv.org|Sep 3, 1995

Advanced Combinatorial Mathematics4 references3 citations

TL;DR

This paper computes the canonical class of the moduli space $¯{M}_{0,n}(\mathbb{P}^r,d)$, parametrizing stable maps from genus-zero curves with $n$ marked points to $\mathbb{P}^r$ of degree $d$, and applies the result to enumerative geometry. The author corrects an error in the original singularity analysis affecting only the arithmetic genus formula, while preserving the canonical class and geometric genus formulas. The key contribution is a precise formula for the canonical divisor, enabling new enumerative invariants via adjunction theory.

ABSTRACT

D. Abramovich found an error in the singularity analysis in the first posting of this paper affecting one formula (Thanks Dan).The error has been corrected. Only the arithmetic genus formula has changed. The geometric genus and all the canonical class formulas are the same.

Motivation & Objective

• To compute the canonical class of the moduli space $\overline{M}_{0,n}(\mathbb{P}^r,d)$ of stable maps from genus-zero curves to $\mathbb{P}^r$ of degree $d$.
• To correct an error in the original singularity analysis that affected only the arithmetic genus formula, while preserving the canonical class and geometric genus formulas.
• To apply the canonical class formula to problems in enumerative geometry, particularly via adjunction theory.
• To provide a foundation for computing enumerative invariants using the geometry of the moduli space.

Proposed method

• The author uses algebraic geometry techniques, particularly the theory of stable maps and moduli spaces, to analyze the canonical divisor on $\overline{M}_{0,n}(\mathbb{P}^r,d)$.
• A detailed study of singularities in the moduli space is conducted, with corrections made to the original singularity analysis.
• The canonical class is derived using intersection theory and properties of line bundles on the moduli space.
• The corrected formula for the canonical class is applied to compute invariants relevant to enumerative geometry.
• The geometric genus and canonical class formulas are shown to remain unchanged despite the correction to the arithmetic genus formula.
• The results are derived using AMSLaTeX and are presented in a 13-page document with full technical rigor.

Experimental results

Research questions

• RQ1 What is the precise formula for the canonical class of the moduli space $\overline{M}_{0,n}(\mathbb{P}^r,d)$?
• RQ2 How does an error in the singularity analysis of the original version affect the canonical class and geometric genus?
• RQ3 Can the corrected canonical class formula be used to derive new enumerative invariants?
• RQ4 What is the relationship between the canonical class and adjunction theory in this moduli space?
• RQ5 How do the arithmetic genus and geometric genus differ in this context, and what is the impact of the correction?

Key findings

• The canonical class of $\overline{M}_{0,n}(\mathbb{P}^r,d)$ is computed explicitly, providing a foundational formula for further geometric and enumerative applications.
• The correction to the singularity analysis only affects the arithmetic genus formula; the geometric genus and canonical class formulas remain unchanged.
• The canonical class formula is invariant under the correction, ensuring the robustness of the main geometric results.
• The corrected formula enables new applications in enumerative geometry through adjunction theory.
• The paper establishes that the moduli space $\overline{M}_{0,n}(\mathbb{P}^r,d)$ has a well-defined canonical divisor that is essential for intersection-theoretic computations.
• The results are presented with full technical precision using AMSLaTeX, and the revised version (v2) corrects the error without altering the core geometric conclusions.