Intersections of Q-Divisors on Kontsevich's Moduli Space $\bar{M}_{0,n}(P^r,d)$ and Enumerative Geometry

We continue the study of the Chow ring of the moduli stack $\mathfrak{M}_{g,n}$ of prestable curves begun in [arXiv:2012.09887v2]. In genus $0$, we show that the Chow ring of $\mathfrak{M}_{0,n}$ coincides with the tautological ring and give a complete description in terms of (additive) generators and relations. This generalizes earlier results by Keel and Kontsevich-Manin for the spaces of stable curves. Our argument uses the boundary stratification of the moduli stack tog...

On a space of stable maps, the psi classes are modified by subtracting certain boundary divisors. The top products of modified psi classes, usual psi classes, and classes pulled back along the evaluation maps are called twisted descendants; it is shown that in genus 0, they admit a complete recursion and are determined by the Gromov-Witten invariants. One motivation for this construction is that all characteristic numbers (of rational curves) can be interpreted as twisted des...

We define a geometrically meaningful compactification of the moduli space of smooth plane curves, which can be calculated explicitly. The basic idea is to regard a plane curve D in P^2 as a pair (P^2,D) of a surface together with a divisor, and allow both the surface and the curve to degenerate. For plane curves of degree d at least 4, we obtain a compactification M_d which is a moduli space of stable pairs (X,D) using the log minimal model program. A stable pair (X,D) consis...

For a smooth complete intersection X, we consider a general fiber \mathbb{F} of the evaluation map ev of Kontsevich moduli space \bar{M}_{0,m}(X,m)\rightarrow X^m and the forgetful functor F : \mathbb{F} \rightarrow \bar{M}_{0,m}. We prove that a general fiber of the map $F$ is a smooth complete intersection if $X$ is of low degree. The result sheds some light on the arithmetic and geometry of Fano complete intersections.

We derive effective recursion formulae of top intersections in the tautological ring $R^*(M_g)$ of the moduli space of curves of genus $g\geq 2$. As an application, we prove a convolution-type tautological relation in $R^{g-2}(M_g)$.

In this note, we prove that the Q-Picard group of the moduli space of n-pointed stable curves of genus g over an algebraically closed field is generated by the tautological classes. We also prove that the cycle map to the 2nd etale cohomology group is bijective.

Basepoint free cycles on the moduli space $\overline{M}_{0,n}$ of stable n-pointed rational curves, defined using Gromov-Witten invariants of smooth projective homogeneous spaces X are studied. Intersection formulas to find classes are given, with explicit examples for X a projective space, and X a smooth projective quadric hypersurface. When X is projective space, divisors are shown equivalent to conformal blocks divisors for type A at level one, giving maps from $\overline{...

Kontsevich's formula for rational plane curves is a recursive relation for the number $N_d$ of degree $d$ rational curves in $\mathbb{P}^2$ passing through $3d-1$ general points. We provide two proofs of this recursion: the first more direct and combinatoric, the second more abstract. In order to achieve this, we introduce several moduli spaces, such as the Deligne-Mumford-Knudsen spaces and the Kontsevich spaces, and exploit their properties. In particular, the boundary ...

This paper is to give some concrete examples of the general fibers of the evaluation map of some Kontsevich mapping spaces parametrize low degree rational curves on low degree complete intersection varieties. We prove these examples are Fano or Calabi-Yau vareities of low dimension, e.g, surface and threefold. In usual, the "moduli" fibers are constructed in an abstract way, but here we give a down-to-earth interpretation to some of these fibers from the perspective of projec...

We provide a general method for computing rational Chow rings of moduli of smooth complete intersections. We specialize this result in different ways: to compute the integral Picard group of the associated stack ; to obtain an explicit presentation of rational Chow rings of moduli of smooth complete intersections of codimension two; to prove old and new results on moduli of smooth curves of genus $\leq 5$ and polarized K3 surfaces of degree $\leq 8$.