Geometric Manin's Conjecture and rational curves
Brian Lehmann Sho Tanimoto





Geometric Manin's Conjecture]Geometric Manin's Conjecture and rational curves




lehmannb@bc.edu
Department of Mathematics, Boston College, 1400 Commonwealth Ave, Chestnut Hill, MA, 02467


stanimoto@kumamoto-u.ac.jp
Department of Mathematics, Faculty of Science, Kumamoto University, Kurokami 2-39-1 Kumamoto 860-8555 Japan; 
Priority Organization for Innovation and Excellence, Kumamoto University






14H10



Lehmann is supported by NSF grant 1600875.  Tanimoto is partially supported by Lars Hesselholt's Niels Bohr professorship, and MEXT Japan, Leading Initiative for Excellent Young Researchers (LEADER).


Let X be a smooth projective Fano variety over the complex numbers.  We study the moduli space of rational curves on X using the perspective of Manin's Conjecture. In particular, we bound the dimension and number of components of spaces of rational curves on X.  We propose a Geometric Manin's Conjecture predicting the growth rate of a counting function associated to the irreducible components of these moduli spaces.




[
    Sho Tanimoto
    Received: date / Accepted: date
===================================








§ INTRODUCTION
 


A Fano variety over ℂ carries many rational curves due to the positivity of the anticanonical bundle (<cit.>, <cit.>, <cit.>).  The precise relationship between curvature and the existence of rational curves is quantified by Manin's Conjecture.  For an ample divisor L on a Fano variety X, the constants a(X,L) and b(X,L) of <cit.> compare the positivity of K_X and L. 
Manin's Conjecture predicts that the asymptotic behavior of rational curves on X as the L-degree increases is controlled by these geometric constants.  This point of view injects techniques from the minimal model program to the study of spaces of rational curves.

Batyrev gave a heuristic for Manin's Conjecture over finite fields that depends on three assumptions (see <cit.> or <cit.> for Batyrev's heuristic):


  * after removing curves that lie on a closed subset, moduli spaces of rational curves have the expected dimension;

  * the number of components of moduli spaces of rational curves whose class is a nef integral 1-cycle is bounded above;

  * the étale cohomology of moduli spaces of rational curves enjoys certain homological stability properties. (The idea to use homological stability in Batyrev's heuristic is due to Ellenberg and Venkatesh, see, e.g., <cit.>.)
 

In this paper, we investigate the plausibility of the first two assumptions for complex varieties.  We prove that the first assumption holds for any smooth Fano variety.  The second assumption fails in general: the number of components can grow polynomially as the degree of the 1-cycle grows.  Thus we proceed in two different directions.  First, it is conjectured by Batyrev that there is a polynomial upper bound on the growth in number of components, and we make partial progress toward this conjecture.  Second, we explain how to modify the conjecture in order to discount the “extra” components and recover Batyrev's heuristic.  Our proposal can be seen as a geometric analogue of Peyre's thin set version of Manin's Conjecture.




 §.§ Moduli of rational curves


Let us discuss the contents of our paper in more detail.
Let X be a smooth projective uniruled variety and let ^1(X) denote the pseudo-effective cone of divisors.  Suppose L is a nef ℚ-Cartier divisor on X.  When L is big, define the Fujita invariant (which we will also call the a-invariant) by

    a(X,L) := min{ t∈| t[L] + [K_X] ∈^1(X) }.

When L is not big, we formally set a(X,L) = ∞.  When X is singular, we define the a-invariant by pulling L back to a resolution of X.

 
Let X be a smooth projective weak Fano variety and set L = -K_X.  Let V ⊊ X be the proper closed subset which is the Zariski closure of all subvarieties Y such that a(Y,L|_Y) > a(X,L).  Then any component of Mor(ℙ^1,X) parametrizing a curve not contained in V will have the expected dimension and will parametrize a dominant family of curves.


Assuming standard conjectures about rational curves, the converse implication is also true: a subvariety with higher a-value will contain families of rational curves with dimension higher than the expected dimension in X.  In this way the a-invariant should completely control the expected dimension of components of Mor(ℙ^1,X).  Furthermore, an analogous statement holds for any uniruled X and any big and nef L provided we restrict our attention to curves with vanishing intersection against K_X + a(X,L)L. 

Theorem <ref> is significant for two reasons.  The first is that V is a proper subset of X; this is the main theorem of <cit.>.  The second is that Theorem <ref> gives an explicit description of the closed set V.  In practice, one can use techniques from adjunction theory or the minimal model program to calculate V.




In Example <ref> we show that if X is any smooth quartic hypersurface of dimension ≥ 5 then the exceptional set V in Theorem <ref> is empty so that every component of Mor(ℙ^1,X) has the expected dimension.  The same approach gives a quick proof of a result of <cit.> showing an analogous property for cubic hypersurfaces.  Note that for a quartic hypersurface the components of the Kontsevich moduli space of stable maps need not have the expected dimension (see <cit.>), so the method in <cit.> does not apply to this case.



Let X be a smooth Fano threefold with index 2 and Picard rank 1.  By <cit.>, the exceptional set V in Theorem <ref> is empty so that every component of Mor(ℙ^1,X) has the expected dimension and parametrizes a dominant family of curves.  



The main outstanding question concerning Mor(ℙ^1,X) is the number of components. Batyrev first conjectured that the number of components grows polynomially with the degree of the curve.  In fact we expect that the growth is controlled in a precise way by another invariant in Manin's Conjecture: the b-invariant (see Definition <ref>).  We prove a polynomial growth bound for components satisfying an additional hypothesis: 

 
Let X be a smooth projective uniruled variety and let L be a big and nef ℚ-Cartier divisor on X.  Fix a positive integer q and let M⊂M_0,0(X) denote the union of all components which contain a chain of free curves whose components have L-degree at most q.  There is a polynomial P(d) which is an upper bound for the number of components of M of L-degree at most d.


Theorem <ref> should be contrasted with bounds on the number of components of the Chow variety which are exponential in d (<cit.>, <cit.>, <cit.>, <cit.>).


It is natural to wonder whether free curves of sufficiently high degree can always be deformed (as a stable map) to a chain of free curves of smaller degree.  Although this property seems subtle to verify, we are not aware of any Fano variety for which it fails.  We are able to verify it in some new situations for Fano varieties of small dimension.  By applying general theory, we can then understand the behavior of rational curves by combining an analysis of the a and b invariants with a few computations in low degree.



Let X be a smooth Fano threefold of index 2 with Pic(X)= ℤ H.  
We show that if H^3 ≥ 3, or H^3 = 2 and X is general in its moduli, then Mor(ℙ^1,X) has two components of any anticanonical degree 2d ≥ 4: the family of d-fold covers of lines, and a family of irreducible degree 2d curves.


In fact our proof shows that M_0,0(X) has the same components; this implies, for example, that certain Gromov-Witten invariants on X are enumerative.

Previously such results were known for cubic threefolds by work of Starr (see <cit.>) and for complete intersections of two quadrics by <cit.>, and our method significantly simplifies the proofs of these papers using the analysis of a, b invariants.






 §.§ Manin-type bound


Using the previous results, we prove an upper bound of Manin-type for the moduli space of rational curves.   Suppose that X is a smooth projective uniruled variety and that L is a big and nef divisor.  As a first attempt at a counting function, fix a variable q and define

    N(X, L, q, d) = ∑_i=1^d∑_W ∈𝒮_i q^ W

where 𝒮_i denotes the set of components M ⊂Mor(ℙ^1, X) satisfying:


  * M generically parametrizes free curves.

  * The curves parametrized by M have L-degree i · r(X,L), where r(X,L) is the minimal positive number of the form L ·α for a ℤ-curve class α.

  * The curves parametrized by M satisfy (K_X + a(X,L)L) · C = 0.

This is not quite the correct definition; as usual in Manin's Conjecture one must remove the contributions of an “exceptional set.”  In the number theoretic setting one must remove a thin set of points to obtain the expected growth rate.  An analogous statement is true in our geometric setting as well, and in Section <ref> we give a precise formulation of which components should be included in the definition of N(X,L,q,d).

After modifying the counting function in this way, we can prove an asymptotic upper bound.  For simplicity we only state a special case:

 
Let X be a smooth projective Fano variety.  Fix ϵ > 0; then for sufficiently large q

    N(X,-K_X, q,d) = O(q^dr(X,-K_X)(1+ϵ)).



In the literature there are several examples of Fano varieties for which the components of (ℙ^1,X) have been classified.  In every  example we know of the counting function has the asymptotic behavior predicted by Manin's Conjecture.

 
Let X be a smooth del Pezzo surface of degree ≥ 2 which admits a (-1)-curve.  Using <cit.>, Example <ref> shows that

    N(X,-K_X,q,d) ∼q^2α(X,L)/1-q^-1 q^d d^ρ(X)-1.

where α(X,L) is the volume of a polytope defined in Definition <ref> and ρ(X) is the Picard rank of X.









We thank Morten Risager for his help regarding height zeta functions and Chen Jiang for suggesting we use the results of Höring.
We also would like to thank Tony Várilly-Alvarado for his help to improve the exposition.
We thank the anonymous referees for detailed suggestions to improve the exposition of the paper.




§ PRELIMINARIES


Throughout we work over an algebraically closed field of characteristic 0.  Varieties are irreducible and reduced.

For X a smooth projective variety we let N^1(X) denote the space of ℝ-divisors up to numerical equivalence.  It contains a lattice N^1(X)_ℤ consisting of classes of Cartier divisors.  We let ^1(X) and ^1(X) denote the pseudo-effective and nef cones of divisors respectively; their intersections with N^1(X)_ℤ are denoted ^1(X)_ℤ and ^1(X)_ℤ.  Dually, N_1(X) denotes the space of curves up to numerical equivalence with natural lattice N_1(X)_ℤ.  _1(X) and _1(X) denote the pseudo-effective and nef cones of curves, containing lattice points _1(X)_ℤ and _1(X)_ℤ.


Suppose that f,g: ℕ→ℝ are two positive real valued functions.  We use the symbol f(d) ∼ g(d) to denote “asymptotically equal”:

    lim_d →∞f(d)/g(d) = 1





We will also use the standard “big-O” notation when we do not care about constant factors.

Certain kinds of morphisms play a special role in Manin's Conjecture:


We say that a morphism of projective varieties f: Y → X is a thin morphism if f is generically finite onto its image but is not both dominant and birational.









§ GEOMETRIC INVARIANTS A, B
 



 §.§ Background

We recall the definitions of the a and b invariants studied in <cit.>, <cit.>, <cit.>, <cit.>.
These invariants also play a central role in the study of cylinders, see, e.g., <cit.>.

<cit.>

Let X be a smooth projective variety 
and let L be a big and nef ℚ-divisor on X. 
The Fujita invariant is

    a(X, L) := min{ t∈| t[L] + [K_X] ∈^1(X) }.

If L is not big, we set a(X,L) = ∞.


By <cit.>, a(X, L) does not change when pulling back L by a birational map. 
Hence, we define the Fujita invariant for a singular projective variety X 
by pulling back to a smooth resolution β : X̃ X:

    a(X, L):= a(X̃, β^*L).

This definition does not depend on the choice of β.  
It follows from <cit.> that a(X,L) is positive if and only if X is uniruled. 

<cit.>

Let X be a smooth projective variety such that K_X is not pseudo effective. Let L be a big and nef ℚ-divisor on X. We define b(X, L) to  be the codimension of the minimal supported face of ^1(X) containing the class a(X, L)[L] + [K_X]. 


Again, this is a birational invariant (<cit.>), 
and we define b(X, L) for a singular variety X by taking a smooth resolution β : X̃ X and setting

    b(X, L) := b(X̃, β^*L).

This definition does not depend on the choice of β.  It turns out b has a natural geometric interpretation in terms of Picard ranks (see <cit.>).




















 §.§ Compatibility statements
  
Let X be a smooth projective variety and let L be a big and nef ℚ-divisor on X.  Suppose that f: Y → X is a thin morphism.  It will be crucial for us to understand when

    (a(Y,f^*L),b(Y,f^*L)) > (a(X,L),b(X,L))

in the lexicographic order.  We say that f breaks the weakly balanced condition when such an inequality holds.  When f only induces an inequality ≥, we say that f breaks the balanced condition.  

The case when f: Y → X is the inclusion of a subvariety is of particular importance.  The following theorem of <cit.> describes when the a-invariant causes an inclusion f: Y → X to break the balanced condition.  The proof relies upon the recent boundedness statements of Birkar.

[<cit.> Theorem 4.8 and <cit.> Theorem 1.1] 
Let X be a smooth uniruled projective variety and let L be a big and nef ℚ-divisor on X.  Let V denote the union of all subvarieties Y such that a(Y,L|_Y) > a(X,L).  Then V is a proper closed subset of X and its components are precisely the maximal elements in the set of subvarieties with higher a-value.



Since <cit.> has settled the Borisov-Alexeev-Borisov Conjecture, <cit.> proves that the closure of V is a proper closed subset of X.  In fact the proof gives a little bit more: every component of V is dominated by a family of subvarieties with a-value higher than X.  By <cit.> every component of V will also have higher a-value than X.


The other important case to consider is when f: Y → X is a dominant map.  For convenience we formalize this situation into a definition.


Let X be a smooth uniruled projective variety and let L be a big and nef ℚ-divisor on X.  
We say that a morphism from a smooth projective variety f:Y → X is an a-cover if (i) f is a dominant thin morphism and (ii) a(Y, f^*L) =  a(X, L).






 §.§ Face contraction
 

The following definitions encode a slightly more refined version of the b invariant.


Let X be a smooth uniruled projective variety and let L be a big and nef ℚ-divisor on X.   We let F(X,L) denote the face of _1(X) consisting of those curve classes α satisfying (K_X + a(X,L)L) ·α = 0.


When f: Y → X is an a-cover, the Riemann-Hurwitz formula implies that the pushforward f_*: N_1(Y) → N_1(X) maps F(Y,f^*L) to F(X,L).



Let X be a smooth uniruled projective variety and let L be a big and nef ℚ-divisor on X.  
We say that a morphism f: Y → X is face contracting if f is an a-cover and the map f_*: F(Y,f^*L) → F(X,L) is not injective.


Recall that the dimensions of the faces F(Y,f^*L), F(X,L) are respectively b(Y,f^*L), b(X,L).  Thus, if f breaks the weakly balanced condition then it is also automatically face contracting.  However, F(Y,f^*L) need not surject onto F(X,L) and so not all face contracting morphisms break the weakly balanced condition.

 
<cit.> identifies a del Pezzo surface X' with canonical singularities which admits a finite cover f': Y' → X' which is étale in codimension 1 and such that ρ(X') = 1 and ρ(Y')=2.  Let f: Y → X be a resolution of this map and set L = -K_X.  <cit.> shows that f does not break the weakly balanced condition.  Nevertheless, we claim that the pushforward f_* contracts F(Y,f^*L) to a face F of smaller dimension.  

It suffices to find two different classes in F(Y,f^*L) whose images under f_* are the same.  Since f'_*: N_1(Y') → N_1(X') drops the Picard rank by 1, there are ample curve classes β and β' on Y' whose images under f'_* are the same.  Let α and α' be their pullbacks in N_1(Y); we show that f_*α = f_*α'. 

Note that every curve exceptional for the birational morphism X → X' pulls back under f to a union of curves exceptional for the morphism Y → Y'.  Applying the projection formula to f, we deduce that f_*α and f_*α' have vanishing intersection against every exceptional curve for X → X'.  Since f_*α and f_*α' also push forward to the same class on X' by construction, we conclude that f_*α = f_*α'.





Face contracting morphisms are important for understanding the leading constant in Manin's Conjecture.  Fix a number field K, and suppose that f: Y → X is a dominant generically finite morphism of smooth projective varieties over K with equal a,b-values.  Manin's conjecture predicts that the growth rate of rational points of bounded height is the same on X and Y.  Thus to obtain the correct Peyre's constant for the rate of growth of rational points one must decide whether or not to include f(Y(K)) in the counting function.

Face contraction gives us a geometric criterion to distinguish whether we should include the point contributions from Y.  When X is a Fano variety with an anticanonical polarization, the key situation to understand is when f : Y→ X is Galois and a(X, L)f^*L + K_Y has Iitaka dimension 0.  After replacing Y by a birational modification, we may assume that any birational transformation of Y over X is regular.  In this situation <cit.> gives a geometric condition determining whether f and its twists give the entire set of rational points (and thus whether or not these contributions must be removed).  It turns out that the geometric condition of <cit.> is equivalent to being face contracting.














 §.§ Varieties with large a-invariant


The papers <cit.>, <cit.>, <cit.> give a classification of varieties with large a-invariant in the spirit of the Kobayashi-Ochiai classification.  The following two results are immediate consequences of <cit.> which classifies the smooth projective varieties and big and nef Cartier divisors satisfying a(X,L) > (X) - 1.

 
Let Y be a smooth projective variety of dimension r and let H be a big and nef divisor on Y.  Suppose that a(Y,H) > r.  Then H^r = 1.













 
Let Y be a smooth projective variety of dimension r≥ 2 and let H be a big and basepoint free divisor on Y.  Suppose that a(Y,H) > r-1 and that κ(K_Y + a(Y,H)H) = 0.  Then H^r≤ 4.  Furthermore, if H^r = 4 then a surface S defined by a general complete intersection of elements of H admits a birational morphism to ℙ^2 and H|_S is the pullback of 𝒪(2).
















§ EXPECTED DIMENSION OF RATIONAL CURVES



We let Mor(ℙ^1,X) denote the quasi-projective scheme parametrizing maps from ℙ^1 to X as constructed by <cit.>.


Let X be a smooth projective variety and let α∈_1(X)_ℤ.  We let Mor(ℙ^1,X,α) denote the set of components of Mor(ℙ^1,X) parametrizing curves of class α.

Given an open subset U ⊂ X, Mor_U(ℙ^1,X,α) denotes the sublocus of (ℙ^1,X,α) which parametrizes curves meeting U.


Let W be an irreducible component of Mor(ℙ^1, X,α).  The “expected dimension” of W is -K_X·α +  X.  It turns out that we always have an inequality 

    W ≥ -K_X·α +  X

and when W parametrizes a dominant family of curves then equality is guaranteed (<cit.>).

 
Let X be a smooth projective uniruled variety and let L be a big and nef ℚ-divisor on X.
Let W be an irreducible component of Mor(ℙ^1, X,α) satisfying (K_X + a(X,L)L) ·α = 0, and let π: 𝒞→ W be the corresponding family of irreducible rational curves with the evaluation map s: 𝒞→ X.  Set Z = s(𝒞).


  * Suppose that the dimension of W is greater than the expected dimension, i.e., 

    W > -K_X ·α +  X.

Then a(Z, L|_Z) > a(X, L).

  * Suppose that Z ≠ X.  Then a(Z, L|_Z) > a(X, L).






If a(Z,L|_Z) = ∞ then both statements are true so we may suppose otherwise.  Let f:Y → Z be a resolution of singularities.
By taking strict transforms of curves we obtain a family of curves on Y, 𝒞^∘→ W^∘, where W^∘  is an open subset of the reduced space underlying W, and with an evaluation map s : 𝒞^∘→ Y.  Let C denote an irreducible curve parametrized by W^∘.
Since W^∘ is contained in an irreducible component of Mor(ℙ^1, Y) parametrizing curves which dominate Y, we have

    (W^∘) ≤ -K_Y · C +  Y.

The dimension of W is always at least the expected dimension, so -K_X · f_*C  +  X ≤ -K_Y · C +  Y.  By assumption either this inequality is strict or Y <  X, and in either case

    (K_Y - f^*K_X) · C < 0.

Since (K_X + a(X,L)L)|_Z· f_*C = 0, we can equally well write (K_Y + a(X,L)L|_Y) · C < 0.  Since C deforms to cover Y, K_Y+a(X,L)f^*L is not pseudo effective.
This implies that a(Y, L) > a(X,L).







There is of course no analogous statement away from the face of curve classes vanishing against K_X + a(X,L)L.  Consider for example a K3 surface S containing infinitely many -2 curves and let X = ℙ^1× S.  For any big and nef ℚ-divisor L, the divisor K_X + a(X,L)L will be the pullback of a divisor on S.
Let C be a (-2)-curve in some fiber over ℙ^1.  Then the component of (ℙ^1,X) corresponding to C has dimension 4 > -K_X· C + 3.  Note however that C has positive intersection against K_X + a(X,L)L for any big and nef divisor L.







 
Let X be a smooth projective uniruled variety and let L be a big and nef ℚ-divisor.  Let U be the Zariski open subset which is the complement of the closure of all subvarieties Y ⊂ X satisfying a(Y,L|_Y) > a(X,L).  Suppose that α∈_1(X)_ℤ satisfies (K_X + a(X,L)L) ·α = 0.  If Mor_U(ℙ^1, X, α) is non-empty, then

    Mor_U(ℙ^1, X, α) = -K_X ·α +  X

and every component of Mor_U(ℙ^1, X, α) parametrizes a dominant family of rational curves.



By Theorem <ref> there is a closed proper subset V ⊂ X such that for every Z ⊄V, a(Z,L) ≤ a(X,L).  Then apply Proposition <ref>.




Our proof actually shows that for any α∈Eff_1(X)_ℤ∖_1(X)_ℤ, the space Mor_U(ℙ^1, X, α) is empty. Indeed, suppose that it is not empty. Then there is an irreducible curve C parametrized by Mor_U(ℙ^1, X, α). Let Z be the subvariety covered by deformations of C. Since U∩ Z ≠∅, we have a(Z, L|_Z)≤ a(X, L). By Proposition <ref>, C must deform to cover X, i.e., X=Z. This means that α∈_1(X)_ℤ, a contradiction.



The most compelling special case is:

 
Let X be a smooth projective weak Fano variety.  Let U be the Zariski open subset which is the complement of the closure of all subvarieties Y ⊂ X satisfying a(Y,-K_X|_Y) > a(X,-K_X). 
Then for any α∈_1(X)_ℤ we have

    Mor_U(ℙ^1, X, α) = -K_X ·α +  X

if it is not empty, and every component of Mor_U(ℙ^1, X, α) parametrizes a dominant family of rational curves. 



If X is not Fano, it is of course possible that non-dominant families of rational curves sweep out a countable collection of proper subvarieties, as in the blow-up of ℙ^2 at nine very general points.  



Theorem <ref> gives a new set of tools for understanding families of rational curves via adjunction theory.  Hypersurfaces are perhaps the most well-known source of examples of families of rational curves: we have an essentially complete description of the components of the moduli space of rational curves for general Fano hypersurfaces (<cit.>, <cit.>, <cit.>).  We briefly illustrate Theorem <ref> by discussing results which hold for all smooth hypersurfaces of a given degree.


 
[<cit.>] 
Let X be a smooth cubic hypersurface of dimension n≥ 3.  Let H denote the hyperplane class on X, so that K_X = -(n-1)H and a(X,H) = n-1.  We show that X does not contain any subvariety with higher a-value, so that every family of rational curves has the expected dimension.  This recovers a result of <cit.>.

Let Y be the resolution of a subvariety of X.  <cit.> shows that the largest possible a-invariant for a big and nef divisor on a projective variety Y is (Y) + 1.  Thus if Y has codimension ≥ 2 then a(Y,H) ≤ n-1.  If Y has codimension 1, Lemma <ref> shows that a(Y,H) ≤ n-1 unless the H-degree of Y is 1.  But a smooth cubic hypersurface of dimension ≥ 3 can not contain any codimension 1 linear spaces, showing the claim.


To our knowledge the following example has not been worked out explicitly in the literature.

 
Let X be a smooth quartic hypersurface of dimension n ≥ 5.  Let H denote the hyperplane class on X, so that a(X,H) = n-2.  We prove that X does not contain any subvariety with higher a-value, so that every family of rational curves has the expected dimension.  Suppose that Y ⊂ X is a subvariety of codimension ≥ 3.  Just as in Example <ref>, we can immediately deduce that a(Y,H) ≤ a(X,H).

Next suppose that Y ⊂ X has codimension 2.  Applying Lemma <ref>, we see that a(Y,H) ≤ a(X,H) unless possibly if H is a linear codimension 2 space.  But this is impossible in our dimension range.

Finally, suppose there were a divisor Y ⊂ X satisfying a(Y,H) > a(X,H).  
If κ(K_Y + a(Y,H)H) > 0, then by <cit.> Y is covered by subvarieties of smaller dimension with the same a-value, an impossibility by the argument above.  If κ(K_Y + a(Y,H)H) = 0, we may apply Lemma <ref> to see that H|_Y^r-1≤ 4.  By the Lefschetz hyperplane theorem, the only possibility is that Y is the intersection of X with a hyperplane and H|_Y^r-1=4.  Let Y denote a resolution of Y and let S be a surface which is a general complete intersection of members of H on Y.  Again applying Lemma <ref>, we see that the morphism defined by a sufficiently high multiple of H|_S should define a map to ℙ^2.  In our situation it defines a map to a (possibly singular) reduced irreducible quartic surface, a contradiction.  (Note that this singular quartic must be normal because of <cit.>.) Thus a(Y,H) ≤ a(X,H) in every case.







§ NUMBER OF COMPONENTS
 
In this section we study the following conjecture of Batyrev:

 
Let X be a smooth projective uniruled variety and let L be a big and nef ℚ-divisor on X.  For a numerical class α∈_1(X)_ℤ, let h(α) denote the number of components of Mor(ℙ^1, X, α) that generically parametrize free curves. There is a polynomial P(d) ∈ℤ[d] such that h(α) ≤ P(L ·α) for all α.


We prove a polynomial upper bound for components satisfying certain extra assumptions.  We will also give a conjectural framework for understanding the number of components that is motivated by Manin's Conjecture.













 §.§ Conjectural framework



We expect that polynomial growth as in Conjecture <ref> should arise from dominant maps f: Y → X which are face contracting.  In this case there will be many nef curve classes on Y which are identified under pushforward to X, yielding many different components of the space of morphisms.  


We use an example considered by <cit.> in the number theoretic setting.  Set S = ℙ^1×ℙ^1 and let X = Hilb^2(S), a weak Fano variety of dimension 4.  Let Y denote the blow up of S × S along the diagonal and let f: Y → X denote the natural 2:1 map.  Note that f breaks the weakly balanced condition for -K_X: we have

    (a(X,-K_X),b(X,-K_X)) = (1,3) < (1,4) = (a(Y,-f^*K_X),b(Y,-f^*K_X))

As discussed in Section <ref>, f naturally defines a contraction of faces F(Y,f^*L) → F(X,L) of the nef cone of curves.  Here F(Y,f^*L) consists of curves which have vanishing intersection against the blow-up E of the diagonal.  This face has dimension 4, since it contains the classes of strict transforms of curves on S × S which do not intersect the diagonal.  Its image F(X,L) is the cone spanned by the classes of the curves F_1(1,2) and F_2(1,2).  (Here F_1(1,2) denotes the curve parametrizing length two subschemes of S where one point is fixed and the other varies in a fiber of the first projection.  F_2(1,2) is defined analogously for the second projection.)  Note that f_* decreases the dimension of F(Y,f^*L) by 2.

It is easy to see that a dominant component of rational curves on Y with class β∈ F(Y,f^*L) is the strict transform of a dominant component of rational curves on S × S.  Since S × S is toric, there is exactly one irreducible component of each class β.  Suppose that β is the strict transform of a degree (a,b,c,d) curve class on (ℙ^1)^× 4.  The pushforward identifies all classes with a+c=m and b+d=n to the class mF_1(1,2) + nF_2(1,2).  The pushforward of any component of Mor(ℙ^1,Y) with a class in F(Y,f^*L) yields (a dense subset of) a component of Mor(ℙ^1,X) since the expected dimensions coincide.  Furthermore, a component of class mF_1(1,2) + nF_2(1,2) will be the image of exactly two different components on Y (given by (a,b,m-a,n-d) and (m-a,n-d,a,b)) except when m and n are both even and a=c and b=d, in which case there is only one component.  
Thus there are at least ⌈1/2(m+1)(n+1) ⌉ different components of rational curves of class mF_1(1,2) + nF_2(1,2).  Since any rational curve on X avoiding E is the pushforward of a rational curve on Y, this is in fact the exact number.


In the previous example the growth in components was caused by the existence of a dominant map f: Y → X breaking the weakly balanced condition.  But even when there is no such map we can still have growth of components due to the existence of face  contracting maps.

 
Let X be the smooth weak del Pezzo surface in Example <ref>; we retain the notation from this example.  We claim that there are families of free rational curves representing two linearly independent classes in F(Y,f^*L).  Using a gluing argument, one can then deduce that the number of components of free rational curves for classes in F grows at least linearly as the degree increases.

For each generator of F(Y,f^*L) we can run an MMP to obtain a Mori fibration π: Ỹ→ Z on a birational model of Y which contracts this ray.  If (Z)=1, then a general fiber will be in the smooth locus of Ỹ and its pullback on Y will be a free rational curve of the desired numerical class.  If (Z)=0, we can apply <cit.> to find a rational curve in the smooth locus of Ỹ whose pullback to Y will be a free rational curve of the desired numerical class.


As in the previous examples, one can expect the degree of the polynomial P(d) in Conjecture <ref> to be controlled by the relative dimension of contracted faces.

 
Let X be a smooth projective weak Fano variety.  For a numerical class α∈_1(X)_ℤ, let h(α) denote the number of components of Mor(ℙ^1, X, α) that generically parametrize free curves.  Then h(mα), considered as a function of m, is bounded above by a polynomial P(m) whose degree is the largest relative dimension of a map f_*: F(Y,f^*L) → F where f is a face contracting morphism f: Y → X, F denotes the image of F(Y,f^*L), and α∈ F.








 §.§ Breaking chains of free curves




In this section we prove some structure theorems for chains of free curves.  We will pass from working with the spaces Mor(ℙ^1,X) to the Kontsevich spaces of stable maps ℳ_0,n(X,β).  Note that this change in setting drops the expected dimension of spaces of rational curves by 3.  We will assume familiarity with these spaces as in <cit.>, <cit.>.  In fact, we will work exclusively with the projective coarse moduli space M_0,n(X,β).



Let X be a smooth projective uniruled variety and let L be a big and nef ℚ-divisor on X.  By a component of M_0,0(X), we will mean more precisely the reduced variety underlying some component of this projective scheme.  For each component M ⊂M_0,0(X) which generically parametrizes free curves, we denote by M' the unique component of M_0,1(X) parametrizing a point on a curve from M, and by M” the analogous component of M_0,2(X).



A chain of free curves on X of length r is a stable map f: C → X such that C is a chain of rational curves with r components and the restriction of f to any component C_i realizes C_i as a free curve on X.


We can parametrize chains of free curves (coming from components M_1,…,M_r) by the product

    M'_1×_X M”_2×_X…×_X M”_r-1×_X M'_r.

Of course such a product might also have components which do not generically parametrize chains of free curves.  We will use the following notation to distinguish between the two types of component.


Given a fiber product as above, a “main component” of the product is any component which dominates the parameter spaces M_i”, M_1', and M_r' under each projection map.


Loosely speaking our goal is to count such main components.  Note that any component of M'_1×_X…×_X M'_r which generically parametrizes chains of free curves will have the expected dimension -K_X· C + (X) -2 - r.  A chain of free curves is automatically a smooth point of M_0,0(X).

For a component M_i which generically parametrizes free curves, we let U_i denote the sublocus of free curves.  Analogously, we define U'_i and U”_i for the one or two pointed versions.

 
Consider an open component of chains of free curves with a marked point on each end, that is,

    N ⊂ U”_1×_X U”_2×_X…×_X U”_r.

Then each projection map N → U”_j is dominant and flat.  Furthermore, the map N → X induced by the last marked point is dominant and flat.



The proof is by induction on the length of the chain.  In the base case of one component, the first statement is obvious.  For the second, note that U”' ⊂M_0,3(X) can be identified with an open set in Mor(ℙ^1, X).  By <cit.> the evaluation map for the second marked point is flat.  This factors through the natural map U”' → U”; since the forgetful map is faithfully flat, we see that the second statement also holds.

We next prove the induction step.  The projection from N onto the first n-1 factors maps N to a component Q of U”_1×_X…×_X U”_r-1.  By induction, Q has the two desired properties.  Also, since the space of free curves through a fixed point has the expected dimension, the map U”_r→ X induced by the first marked point is dominant and flat.  Consider the diagram

    Q ×_X U”_r[r] [d]      U”_r[d]
    
    Q [r]     X

Both projections from Q ×_X U”_r have equidimensional fibers by base change.  Furthermore, every component of Q ×_X U”_r has the same dimension (as it parametrizes chains of free curves).  Together, this shows that every component of Q ×_X U”_r will dominate Q so long as there is some component which dominates Q.  But it is clear that a general chain of free curves in Q can be attached to a free curve in U_r, so that the map from Q ×_X U”_r to Q must be dominant for at least one component.  Noting that N is a component of Q ×_X U”_r for dimension reasons, we obtain from the induction hypothesis the first statement for N since flatness is stable under base change and composition.  The last statement follows by the same logic.






 
Consider a component of chains of free curves with a marked point on each end, that is, a main component

    N ⊂ M”_1×_X M”_2×_X…×_X M”_r.

Fix a closed subset Z ⊊ X.  Consider the map f: N → X induced by the first marked point.  For the fiber F of f over a general point of X, every component of F generically parametrizes a chain of free curves C such that the map g: C → X induced by the last marked point does not have image in Z.



The proof is by induction on the length of the chain.  Consider the base case f: M”_1→ X.  Since reducible curves form a codimension 1 locus, every component of a general fiber of f must contain irreducible curves.  Since there is a closed subset of X containing every non-free irreducible curve in M_1, we see that every component of a general fiber of F must contain free curves.  The ability to avoid Z follows from Lemma <ref>.

We now prove the induction step.  Via projection N maps into a component Q ⊂ M”_1×_X…×_X M”_r-1.  By induction Q satisfies the desired property.  
By <cit.> there is a proper closed subset Z_0⊂ X such that if C_0 is a component of a curve parametrized by M”_r and C_0⊄Z_0 then C_0 is free.  Consider the evaluation along the first marked point (of Q) denoted by f̃: Q ×_X M”_r→ X.  The fibers of this map are products F ×_X M”_r where F is a fiber of Q → X; choosing the fiber F general with respect to Z_0, we see that every component of every fiber will contain a chain of free curves.  In particular, this is also true for the map f: N → X which is a restriction of f̃ to a component.  The ability to avoid Z via the last marked point follows from Lemma <ref>.







Consider a parameter space of chains of free curves, that is, a main component

    N ⊂ M'_1×_X M”_2×_X…×_X M”_r-1×_X M'_r.

Suppose that curves in M_j degenerate into a chain of two free curves in M_j' ×_XM_j'.  Then N contains a main component of 

    M'_1×_X M”_2×_X…×_X M”_j-1×_XM_j”×_XM_j”×_X M_j+1”×_X…×_X M”_r-1×_X M'_r.




By definition the projection N → M”_j is dominant, hence surjective by properness.  So we know that N contains a point of

    M'_1×_X M”_2×_X…×_X M”_j-1×_XM_j”×_XM_j”×_X M_j+1”×_X…×_X M”_r-1×_X M'_r.

If we can show that it contains a point which is a chain of free curves, then since such points are smooth in M_0,0(X) we can conclude that N will contain an entire component of chains of length r+1.

Since the map N → M”_j is surjective, in particular, for any two-pointed length 2 chain in M_j”×_XM_j” there is a curve parametrized by N containing this chain.  Since the curves are free, we may choose a chain such that the first and last marked points are general.  The fiber of N over this point is a union of components of

    G_1⊂ M'_1×_X…×_X M”_j-1

under a product with

    G_2⊂ M”_j+1×_X…×_X M'_r

where G_1 and G_2 are the fibers of the last or first marking respectively.  Applying Lemma <ref>, we see that every component of the fiber over this point contains chains of free curves.





 §.§ Toward Batyrev's conjecture



Let C_1∪…∪ C_r be a chain of free curves, with map f: C → X.  Let f^†: { 1,…,r}→M_0,0(X) denote the function which assigns to i the unique component of the moduli space containing C_i.  We call f^† the combinatorial type of f.




 
Let X be a smooth projective variety and let M be a component of M_0,0(X).  Suppose that M contains a point f parametrizing a chain of free curves.  For any f̃^† which is a precomposition of f^† with a permutation, M also contains a point representing a chain of free curves with combinatorial type f̃^†.



Suppose that f: C → X denotes our original chain of free curves.  It suffices to prove the statement when f̃^† differs from f^† by a transposition of two adjacent elements.  Suppose that T_1 and T_2 are two adjacent components of C.  Let S_1 denote the rest of the chain which attaches to T_1, and S_2 denote the rest of the chain which attaches to T_2.  After deforming f, we may suppose that the intersection of T_1 and T_2 maps to a general point x of X.

Suppose we leave T_1 and T_2 fixed, but deform S_1 and S_2, maintaining a point of intersection with T_1 or T_2 respectively, so that the specialized curves S_1' and S_2' contain the point x.  By generality of the situation, the deformed S_1' and S_2' are still chains of free curves.  The stable curve g: D → X corresponding to this deformation looks like a single rational curve Z contracted by g to the point x with four chains of free curves S'_1, T_1, T_2, S'_2 attached to Z.  A tangent space calculation (as in <cit.>) shows that g is a smooth point of M.  However, by a similar argument g is the deformation of a chain of rational curves of the type S_1”∪ T_2∪ T_1∪ S_2” where S_1” and S_2” are deformations of S_1' and S_2'.



 
Let X be a smooth projective variety and let L be a big and nef ℚ-divisor on X.  Fix a positive integer q.  Consider the set 𝒵 of generically finite dominant covers f: Z → X such that there is a component T of M_0,0(Z) which generically parametrizes free curves of f^*L-degree ≤ q and such that the induced map T →M_0,0(X) is dominant birational onto a component.  
Up to birational equivalence, there are only finitely many elements of 𝒵.



For degree reasons, there are only finitely many components M of M_0,0(X) which can be the closure of the image of such a map.  Each such M generically parametrizes free curves.  Thus, there is a unique component M' of M_0,1 lying over M.  Let g: M' → X denote the universal family map, and let h: Z→ X denote the Stein factorization of a resolution of g.  If the map g factors rationally through a generically finite dominant map f: Z → X, then so does h.  Thus for any given component M there can only be finitely many corresponding elements of 𝒵.




 
Let X be a smooth projective variety and let L be a big and nef ℚ-divisor on X.  Fix a positive integer q and fix a subset 𝒩⊂M_0,0(X) where each component generically parametrizes free curves of L-degree at most q.  There is a polynomial P(d) such that there are at most P(d) components of M_0,0(X,d) which contain a chain of free curves of total L-degree d where each free curve is parametrized by a component of M_0,0(X) contained in 𝒩.


Note that any chain of free curves on X can be smoothed yielding a free curve (<cit.>).  Thus any component of M_0,0(X,d) which contains a chain of free curves must generically parametrize free curves. 


Let { M_β}_β∈Ξ denote the elements of 𝒩.  For each component, we have a universal family map ν_β: M_β' → X.  We let e_β denote the degree of the Stein factorization of the composition of ν_β with a resolution of singularities of M_β' and set e = sup_β∈Ξ e_β.  Note that since we have included a resolution in the definition, if e_β = 1 then the general fiber of ν_β is irreducible.

The proof is by induction on e.  First suppose that e=1.  Let M be a component of M_0,0(X,d) satisfying the desired condition.  Since a chain of free curves is a smooth point of M, to count such components M it suffices to count all possible components of the parameter space of chains of free curves from 𝒩 of total degree d.  In fact, by applying Lemma <ref>, we may reorder the combinatorial type however we please.  Furthermore, for any choice of combinatorial type the parameter space of chains of that type

    M'_1×_X M”_2×_X…×_X M”_r-1×_X M'_r

is irreducible since by assumption each degree e_i=1.  Thus the number of possible M is at most the possible ways of choosing (with replacement and unordered) components of 𝒩 such that the total degree adds up to d.  This count is polynomial in d.

Before continuing with the proof, we make an observation:

 
Suppose that M_1 and M_2 are components of M_0,0(X) which generically parametrize free curves, and that (a resolution of) the map M'_1→ X has degree 1.  Then there is a unique main component of M'_1×_X M'_2 which parametrizes length 2 chains of free curves.  Indeed, since the general fiber of M'_1×_X M'_2→ M'_2 is irreducible and M'_2 is irreducible, we see that M_1' ×_X M_2' is irreducible.







Now suppose that e > 1.  For a dominant generically finite map g: Z → X of degree ≥ 2 with Z smooth, let 𝒩_Z denote the subset of 𝒩 consisting of components M such that the universal map M' → X factors rationally through Z.  Note that the locus where the rational map to Z is not defined must miss the general fiber of M' → M.  Thus, we obtain a family of free curves on Z parametrized by an open subset of M.  A deformation calculation shows that the general curve has vanishing intersection with the ramification divisor; in particular, M is birational to a component of M_0,0(Z).  Note that for any component of 𝒩_Z the degree of the rational map from the component to Z is strictly smaller than for the corresponding component in 𝒩.  Consider the corresponding families of rational curves on Z measured with respect to the big and nef divisor g^*L.  By the induction hypothesis, there is a polynomial P_Z(d) which gives an upper bound for the number of components of M_0,0(Z,d) which arise by gluing chains from 𝒩_Z on Z.  Furthermore, by Lemma <ref> there are only finitely many Z for which 𝒩_Z is non-empty.  



Fix a positive integer r and a dominant generically finite map f: Z → X of degree ≥ 2 with Z smooth.  As we vary over possible choices M_i∈𝒩, consider all main components of M'_1×_X…×_X M'_k such that there is an integer b where the component M of M_0,0(X) obtained by gluing the first b curves has L-degree r and has a universal family map which factors rationally through Z, but if we consider the component arising from gluing the first b+1 curves, the Stein factorization of a resolution of the universal family map has degree 1. 
We see there are at most P_Z(r) possible components M obtained by gluing the first b curves in the chain.
Next consider adding one more component.  By degree considerations, there can be at most e · P_Z(r) components obtained by gluing the first (b+1) curves, and for any such component the universal family has map to X with generically irreducible fibers.  Finally, to add on the remaining components, we may use Lemma <ref> to reorder the other components arbitrarily.  Applying Observation <ref>, we see that the total number of glued components for this choice of b and Z is bounded above by e · P_Z(r) times the number of ways to choose (with replacement and unordered) (k-b-1) components from 𝒩.

In total, the number of components of M_0,0(X) containing chains of curves from 𝒩 of degree d will be bounded above by the sum of the previous bounds as we vary Z and r.  Let Q(k) denote the polynomial representing the number of ways to choose k components (with replacement and unordered) from 𝒩.  Altogether, the number of components is bounded above by the polynomial in d given by

    e · Q(d) ·∑_Z∑_r ≤ d P_Z(r).







 §.§ Gluing free curves


In this section we attempt to improve the degree of the polynomial bound constructed in Theorem <ref>.  Returning to the proof, we see that the degree of the Stein factorization of 𝒞→ X (where 𝒞 is a universal family of rational curves) plays an important role.  The key observation is that we can use the a-invariant to control the properties of this Stein factorization.





 
Let X be a smooth projective weak Fano variety.  Suppose that W is a component of Mor(ℙ^1, X) parametrizing a dominant family of rational curves π: 𝒞→ W with evaluation map s: 𝒞→ X.  Let 𝒞 be the resolution of a projective compactification of 𝒞 with a morphism s': 𝒞→ X extending the evaluation map. Consider the Stein factorization of s', 𝒞→ Y →^f X.  Then a(Y,-f^*K_X) = a(X,-K_X).



Let Y be a resolution of Y with map f: Y→ X.  By taking the strict transform of the family of rational curves, one obtains a dominant family on Y which is parametrized by an open subset of a component of Mor(ℙ^1, Y).  Since the dimension of this component is the same on Y and on X, and equals to the expected dimension in both cases, we have

    K_X · C = K_Y· C          (K_Y - f^*K_X) · C = 0.

Thus the divisor K_Y + a(X,-K_X)(-f^*K_X) is pseudo-effective but not big.



Suppose now that X is a smooth projective weak Fano variety satisfying:


  * X does not admit any a-cover.

  * every free curve on X deforms (as a stable map) to a chain of free curves of degree ≤ q.

Since the first condition holds, we can apply Proposition <ref> to see that for every component of Mor(ℙ^1, X) parametrizing a dominant family of rational curves the evaluation morphism has connected fibers.  Since the second condition holds, we can apply Theorem <ref> to control the number of components of the parameter space of rational curves.  

Let 𝒮 be the set of components of Mor(ℙ^1,X) that generically parametrize free curves of degree ≤ q.  Consider the abelian group Λ = ⊕_M ∈𝒮ℤM.  For sequences {M_i}_i=1^s, {M_j'}_j=1^t of elements in 𝒮 we introduce the relation ∑ M_i = ∑ M_j' whenever a chain of free curves parametrized by the M_i lies in the same component of M_0,0(X) as a chain of free curves which lie in the {M_j'}.  The argument of Theorem <ref> shows that the total number of components of (ℙ^1,X) parametrizing free curves of degree ≤ m is bounded above by a polynomial in m of degree

    rank(Λ/ R)

where R is the set of relations described above.  By analyzing components of (ℙ^1,X) of low degree, one can hope to obtain enough relations to verify Conjecture <ref>.  For example:



Let X be a smooth projective Fano variety of Picard rank 1 satisfying:


  * X does not admit any a-cover.

  * every free curve on X deforms (as a stable map) to a chain of free curves of degree ≤ q.

Suppose that the space of free curves of degree q! is irreducible.  Then there is an upper bound on the number of components of (ℙ^1,X,α) parametrizing free curves as we vary the class α∈_1(X)_ℤ.







§ GEOMETRIC MANIN'S CONJECTURE
  

In this section we present a precise version of Manin's Conjecture for rational curves.   We will need the following definitions:

 
Let X be a smooth uniruled projective variety and let L be a big and nef ℚ-divisor on X.


  * The rationality index r(X,L) is the smallest positive rational number of the form L ·α as α varies over all classes in N_1(X)_ℤ.

  * Let V be the subspace of N_1(X) spanned by F(X,L).  (Note that by <cit.> V is a rational subspace with respect to the lattice of curve classes.)  Let Q denote the rational hyperplane in V consisting of all curve classes with vanishing intersection against L; there is a unique measure dΩ on Q normalized by the lattice of integral curve classes.  This also induces a measure on the parallel affine plane Q_r := {β∈ V | L ·β = r(X,L) }.  We define α(X,L) to be the volume of the polytope Q_r∩ F(X,L).

In other words, α(X,L) is the top coefficient of the Ehrhart polynomial for the polytope obtained by slicing F by the codimension 1 plane Q_r.






 §.§ Statement of conjecture: rigid case
  
Manin's Conjecture predicts the growth rate of components of Mor(ℙ^1,X) after removing the rational curves in some “exceptional set.”  In the number-theoretic setting, removing points from a closed subset is not sufficient to obtain the expected growth rate; one must remove a thin set of points (see <cit.>,  <cit.>, <cit.>, <cit.>).   Following the results of <cit.>, we will interpret a “thin set of rational curves” via the geometry of the a and b constants.

In this section we will address the situation when κ(K_X + a(X,L)L)=0.  Note that this includes the case when X is weak Fano and L = -K_X.  The following definition identifies exactly which components should be counted in this situation; it is identical to the conjectural description of the exceptional set for rational points.


 
Let X be a smooth projective uniruled variety and let L be a big and nef ℚ-divisor on X such that κ(K_X + a(X,L)L) = 0.  Let M ⊂(ℙ^1,X) be a component, let 𝒞 denote the universal family over M and let s: 𝒞→ X denote the family map.  We say that M is a Manin component if:


  * The curves parametrized by M have class contained in F(X,L).

  * The morphism s does not factor rationally through any thin morphism f: Y → X such that a(Y,f^*L) > a(X,L).

  * The morphism s does not factor rationally through any dominant thin morphism f: Y → X such that f is face contracting and

    (a(Y,f^*L),b(Y,f^*L)) ≥ (a(X,L),b(X,L))

in the lexicographic order.

  * The morphism s does not factor rationally through any dominant thin morphism f: Y → X such that a(Y, f^*L) = a(X, L) and κ(K_Y + a(Y,f^*L)f^*L) > 0.



Note that by Theorem <ref> any Manin component will necessarily parametrize a dominant family of curves.


Condition (ii) is necessitated by Theorem <ref> and condition (iii) is motivated by Conjecture <ref>, but we have not yet discussed condition (iv).  For rational points, such a restriction is necessary to obtain the correct Peyre's constant; see <cit.>.  For rational curves, this condition rules out “extraneous” components consisting of curves that are free but not very free.  Again such components can modify the leading constant in Manin's Conjecture; see Theorem <ref> for an example.  In order to obtain uniqueness in Conjecture <ref> below one must include condition (iv).



Proposition <ref> and <cit.> show that the curves parametrized by Manin components will almost always satisfy the weak Lefschetz property.


Our main conjecture concerning Manin components is:

 
Let X be a smooth projective uniruled variety and let L be a big and nef ℚ-divisor such that κ(K_X + a(X,L)L) = 0.  For any ℤ-curve class α contained in the relative interior of F(X,L) there is at most one Manin component parametrizing curves of class α.




To obtain the correct growth rate it would be enough to show that the number of Manin components representing a numerical class is bounded above, but uniqueness holds in every example we know about.  Since Conjecture <ref> is quite strong, we will formulate a weaker version which emphasizes the relationship with the theory of rational points.  Define the counting function

    N(X, L, q, d) = ∑_i=1^d∑_W ∈Manin_i q^ W

where Manin_i is the set of Manin components of Mor(ℙ^1, X) parametrizing curves of L-degree i r(X,-K_X).  


Let X be a smooth projective uniruled variety of dimension n and let L be a big and nef ℚ-divisor on X such that κ(K_X + a(X,L)L) = 0.  
Then

    N(X, L, q, d) ∼q^ Xα(X,L)/1-q^-a(X,L)r(X,L) q^da(X,L)r(X,L)d^b(X,L)-1.







Suppose that X is a smooth projective uniruled variety and that L is a big and nef ℚ-divisor such that κ(K_X + a(X,L)L)=0.  Loosely speaking, we expect a bijection between Manin components on X and components of families of rational curves on some birational model X' of X.  In other words, our counting function should actually count curves on some variety and not just curves in some face.

More precisely, the argument of <cit.> shows that there is a birational model ϕ: X  X' such that ϕ is a rational contraction, X' is normal ℚ-factorial with terminal singularities, and the anticanonical divisor on X' is big and nef and satisfies -K_X'≡ϕ_*a(X,L)L.  We expect Manin components to correspond to components of the moduli space of rational curves on X'.

Here is a heuristic argument.  Fix a class α∈ F(X,L).  Suppose that β∈_1(X)_ℤ\ F(X,L) is a curve class whose pushforward to the model X' is the same as α.  Families of rational curves of class β have lower expected dimension than families of rational curves of class α, so the former should form subfamilies of the latter under pushforward.  In particular, families of curves of class β should not contribute to the count of families of rational curves on X'.  Thus counting families of rational curves on X' should be the same as counting families of rational curves contained in F(X,L).

This heuristic anticipates the existence of many families of rational curves with vanishing intersection against K_X + a(X,L)L.  But  the existence of even a single such family is a famous open problem in birational geometry (see Conjecture <ref>).



Conjecture <ref> is known for the following Fano varieties (equipped with the anticanonical polarization):


  * general hypersurfaces in ℙ^n of degree <n-1 by <cit.>,

  * homogeneous varieties by <cit.>, <cit.>,

  * Fano toric varieties by work of Bourqui, e.g. <cit.>,

  * Del Pezzo surfaces by <cit.>.

In the last two cases we need to explain how to derive the result from the cited papers.


 
Let X be a smooth del Pezzo surface of degree ≥ 2.  Fix a nef curve class α and consider the space parametrizing dominant families of rational curves of class α.  
For simplicity we may assume that X has index 1, i.e., it contains a (-1)-curve.
Then:


  * <cit.> shows that the sublocus parametrizing maps birational onto their image is either irreducible or empty.

  * An easy deformation count shows that if there is a component parametrizing maps which are non-birational onto their image, the image must be a fiber of a map from X to ℙ^1.


<cit.> classifies the behavior of a and b constants for subvarieties and covers of del Pezzo surfaces.  It shows that:


  * The only curves C with a(C,-K_X|_C) > a(X,-K_X) are (-1)-curves.

  * There are no dominant thin maps f: Y → X such that a(Y,-f^*K_X) = a(X,-K_X) and κ(K_Y - a(X,-K_X)f^*K_X) = 0.

  * Suppose f: Y → X is a dominant thin map such that a(Y,-f^*K_X) = a(X,-K_X) and κ(K_Y - a(X,-K_X)f^*K_X) = 1.  The fibers of the Iitaka fibration for Y are mapped under f to the fibers of a map from X to a curve.

Based on this analysis, Conjecture <ref> is verified by Testa's results.



  
Let X be a smooth projective toric variety with open torus U.  <cit.> shows that every nef curve class which has intersection ≥ 1 against every torus-invariant divisor is represented by a unique dominant family of rational curves. 









<cit.> analyzes the behavior of the a-invariant for subvarieties and covers of toric varieties.  Based on this analysis, Conjecture <ref> is verified by Bourqui's results, i.e., the unique component representing a nef class with the above property is a Manin component.







 §.§ Outline of conjecture: general case

The formulation of Manin's Conjecture in the general case should be essentially the same.  Let X be a smooth projective uniruled variety and let L be a big and nef ℚ-divisor such that κ(K_X + a(X,L)L) > 0.  After replacing X by a birational model, we can assume that the Iitaka fibration for K_X + a(X,L)L is a morphism π.  The definition of a Manin component is now a bit more subtle; one can no longer focus on dominant maps but must also account for covers of fibers of π.  However, after making this minor change, Conjecture <ref> and the behavior of the counting function N(X,L,q,d) should be formulated in exactly the same way.


In the general case, Manin components should be in bijection with families of rational curves on a birational model of a fiber of the Iitaka fibration of K_X + a(X,L)L.





 §.§ Manin-type bounds





Let X be a smooth projective uniruled variety and let L be a big and nef ℚ-divisor on X.  Fix ϵ > 0; then for sufficiently large q

    N(X,L,q,d) = O ( q^d(a(X,L)r(X, L)+ϵ)).





<cit.> shows that there is a positive constant C such that the number of components of free curves of degree d against a fixed big and nef divisor is at most C^d.  The result follows by combining this equation with Theorem <ref> and a standard counting argument.



It is also interesting to look for lower bounds on the number of components of rational curves.  It is conjectured that free rational curves generate the nef cone of curves – this would follow from the existence of rational curves in the smooth locus of mildly singular Fano varieties.  <cit.> proves a weaker statement:

 
Let X be a smooth projective rationally connected variety.  Then N_1(X) is spanned by the classes of free rational curves. 




By <cit.>, N_1(X)_ℤ is spanned by the classes of rational curves { C_i}.  Since X is rationally connected, there is a family of very free curves C such that there is a very free member of the family through any point of X.  By gluing sufficiently many of these C onto one of the C_i to form a comb, we can deform to get a smooth curve (as in <cit.>).  It is then clear that these smoothed curves and the class of C together span N_1(X).


Free curves which meet at a point can be glued to a free curve of larger degree (see <cit.>).  Thus one can generate many more dominant components of (ℙ^1,X) starting from this spanning set.  Suppose now that X is a Fano variety and that L = -K_X.  If all the components of rational curves constructed by gluing are Manin components, then we obtain a lower bound of the form

    N(X,-K_X,q,d) ≥ Cq^dr(X, -K_X)d^ρ(X)-1.

for some constant C.  However, in general there is no reason for this construction to yield only Manin components. 





 §.§ Geometric heuristics
 
In our interpretation of Manin's Conjecture one should discount contributions of f: Y → X with higher a and b-values.  In this section, we give a heuristic argument proving that such components must be discounted.  Since we are only interested in heuristics, in this subsection we will assume the following difficult conjecture about rational curves.



Let X be a smooth projective variety and let L be a big and nef ℚ-divisor on X.
For each element α∈_1(X)_ℤ satisfying (K_X + a(X,L)L) ·α = 0 and with sufficiently high L-degree, there exists a dominant family of maps from ℙ^1 to X whose images have class α.




Conjecture <ref> would follow quickly from standard conjectures predicting the existence of free rational curves contained in the smooth locus of a log Fano variety.  Assuming this conjecture, the following two statements show that thin morphisms f: Y → X such that Y has higher a,b-values would give contributions to the counting function which are higher than the predicted growth rate. 


Assume Conjecture <ref>.
Let X be a smooth projective weak Fano variety and set L = -K_X.
Suppose that f: Y → X is a generically finite morphism such that a(Y, L)> a(X,L).  Then there exists components of Mor(ℙ^1,X) of any sufficiently high degree which factor through f(Y)⊂ X and have higher than the expected dimension.



Choose a dominant family of rational curves C on Y as in Conjecture <ref> such that

    L · C > (X) - (Y)/a(Y,L)- a(X,L).

By computing the expected dimension on X and on Y one concludes the statement.



















 
Assume Conjecture <ref>.
Let X be a smooth projective weak Fano variety and set L = -K_X.
Suppose that we have a surjective generically finite map f: Y → X which is face contracting for L.  There is a class α∈Nef_1(X)_ℤ such that the number of components of Mor(ℙ^1, X, mα) is bounded below by a polynomial of degree in m equal to the relative dimension of the faces.



Let b denote the difference in dimensions between F(Y,f^*L) and its image under f_*.  <cit.> shows that that lattice points F(Y,f^*L) ∩ N_1(Y)_ℤ generate a subcone of F(Y,f^*L) which is full rank.   Thus there is a class α∈_1(X)_ℤ and a constant C>0 such that for sufficiently large integers m there are ≥ Cm^b points of F(Y,f^*L) mapping to mα.

For sufficiently large m, Conjecture <ref> guarantees that for each class β that pushes forward to mα there is a component M_β⊂Mor(ℙ^1, Y, β) parametrizing a dominant family of rational curves.  For each such M_β, by composing with f we get a dominant family of rational curves on X.  At most f different components on Y can get identified to a single component on X, showing that the number of different components on X has the desired asymptotic growth rate.


We note in passing that if Conjecture <ref> is true it would allow one to use facts about rational curves to deduce results about rational points.



Assuming Conjecture <ref>, the results of <cit.> show that a general hypersurface with degree not too large will not admit subvarieties with higher a-values.  Switching to the number-theoretic setting, we should then expect Manin's Conjecture to hold for such hypersurfaces with no exceptional set. Indeed, such results are obtained in the seminal work <cit.> using the circle method  when the dimension is exponentially larger than its degree.

Conversely, <cit.> uses the circle method to prove statements about the behavior of Mor(ℙ^1,X) over ℂ for hypersurfaces X of low degree.  <cit.> and <cit.> prove related statements in the function field setting using universal torsors.






§ FANO THREEFOLDS OF PICARD RANK 1 AND INDEX 2



Let X be a smooth Fano threefold such that Pic(X) = ℤH, -K_X=2H and H^3≥ 2.  For such varieties the behavior of the a and b constants with respect to subvarieties and covers is understood completely (see <cit.>).  By applying the general theory worked out before, we are able to classify all components of (ℙ^1,X) after making only a few computations in low degree.  The main result in this section, Theorem <ref>, verifies Conjecture <ref> for Fano threefolds of this type.


For the rest of this section, we let M_0,n(X, d) denote the parameter space of n-pointed stable maps whose image has degree d against the ample generator H of (X).   This space admits an evaluation map

    ev_n : M_0,n(X, d) → X^n.

First we recall the classification of Fano 3-folds of Picard rank one and index two.

 <cit.>
Let X be a smooth Fano 3-fold with Pic(X) = ℤH,  -K_X=2H, and H^3 ≥ 2. Then we have 2 ≤ H^3 ≤ 5 and the 3-fold X has the following description:


  * when H^3 = 5, X is a section of the Grassmannian 𝔾(1,4) of lines in ℙ^4 by a general linear subspace of codimension 3;

  * when H^3 = 4, X is a complete intersection of two quadrics in ℙ^5;

  * when H^3 = 3, X is a cubic threefold in ℙ^4;

  * when H^3 = 2, X is a double cover of ℙ^3 ramified along a smooth quartic surface.





The starting point is to understand the geometric behavior of the a and b invariants:

 
Let X be a smooth Fano 3-fold with Pic(X) = ℤH,  -K_X=2H, and H^3 ≥ 2.



  * There is no subvariety Y with a(Y,-K_X|_Y) > a(X,-K_X). 

  * Let W denote the variety of lines on X and let 𝒰→ W denote its universal family with the evaluation map s: 𝒰→ X.  Then a(𝒰,-s^*K_X) = a(X,-K_X) and b(𝒰,-s^*K_X) = b(X,-K_X).  Furthermore, any dominant thin map f: Y → X such that a(Y,-f^*K_X) = a(X,-K_X) factors rationally through 𝒰.




The first statement is verified in <cit.>.  As for the second statement, it is clear that s: 𝒰→ X satisfies the equality of a and b values and we only need to prove the final claim.  It suffices to consider the case when Y is smooth, and we break into cases based on the Iitaka dimension of the adjoint pair.  If κ(K_Y - f^*K_X) = 2, then the fibers of the map to the canonical model for this adjoint pair are curves with a-value 1.  Thus their images on X must be lines, and f must factor through 𝒰.  If κ(K_Y - f^*K_X) = 1, then the general fiber F of the canonical map would be a surface with a-value 1 and with κ(K_F - f^*K_X|_F) = 0.  But by the arguments of <cit.> the adjoint pair restricted to such surfaces must have Iitaka dimension 1, showing that this case is impossible.  Finally, by <cit.> there is no a-cover satisfying κ(K_Y - f^*K_X) = 0.  


Let α be a curve class on X such that H ·α = d.  Based on the computations above, the framework of Section <ref> suggests that Mor(ℙ^1, X, α) consists of two irreducible components R_d, N_d such that a general morphism parametrized by R_d is birational and every morphism parametrized by N_d factors through 𝒰. This has been proved for cubic threefolds by Starr (<cit.>) and for complete intersections of two quadrics by Castravet (<cit.>). The goal of this section is to verify this expectation for other Fano 3-folds of Picard rank one and index two. Even though the cases of cubic threefolds and complete intersections of two quadrics are understood, we will provide proofs of these cases as well for completeness.





We need to understand low degree curves on X in order to start the induction.  The next two theorems describe the components of M_0,0(X) parametrizing curves of H-degree 1 and 2.
 


Let X be a smooth Fano 3-fold such that Pic(X) = ℤH, -K_X=2H, and H^3 ≥ 2.
The space M_0,0(X, 1) is isomorphic to the variety of lines on X.
In particular, it is irreducible and generically parametrizes a free curve.












See <cit.> for the irreducibility and dominance.








Let X be a smooth Fano 3-fold such that Pic(X) = ℤH, -K_X=2H, and H^3 ≥ 2.
Furthermore when H^3 = 2, assume that X is general in its moduli.
Then the space M_0,0(X, 2) consists of two irreducible components ℛ_2, 𝒩_2. Any general element of ℛ_2 is a stable map from an irreducible curve to a smooth conic and any element of 𝒩_2 is a degree 2 map from ℙ^1 to a line.























We study this proposition based on case by case studies.



Complete intersections of two quadrics in ℙ^5:

Let 𝒩_2 be the union of components M of M_0,0(X, 2) such that for any general element (C, f) of M, there is a component of C such that the restriction of f is not birational to its image.
Then (C, f) is a stable map of degree 2 from ℙ^1 to a line on X.
It is clear that the parameter space 𝒩_2 is irreducible because of Theorem <ref>.
Let ℛ_2 be the union of components of M_0,0(X,2) not contained in 𝒩_2.
By a dimension count, a general element (C, f) on ℛ_2 is a stable map from ℙ^1 to a smooth conic contained in X. Thus to prove the irreducibility of ℛ_2, we only need to show that the family of smooth conics is irreducible.

Let C ⊂ X be a smooth conic. Then there is a unique plane P containing C. We denote the pencil of quadrics containing X by {Q_λ}_λ∈ℙ^1.
Then there exists a unique quadric Q_λ in this family that contains P. 
Indeed, let q_λ be a quadric form associated to Q_λ
and V be a 3 dimensional vector space associated to P.
Since Q_λ intersects with P along C, the restrictions of q_0|_V and q_∞|_V are proportional. Thus there exists a unique q_λ vanishing identically on V.


All smooth conics in X arise in this way, thus we only need to show that the family of planes contained in the quadrics Q_λ is irreducible. Each smooth quadric contains two families of planes, and quadrics cones contain one family of planes. Let π: W →ℙ^1 be the relative family of planes for {Q_λ} over ℙ^1.  Its Stein factorization is a smooth irreducible genus 2 curve D →ℙ^1. Over D each fiber of π is irreducible. Thus ℛ_2 is irreducible.  




















Cubic threefolds in ℙ^4:

We define 𝒩_2 as before and it is easy to see that this is irreducible and parametrizes degree 2 stable maps from ℙ^1 to lines.
Let ℛ_2 be the union of the remaining components.
For a general element (C, f) ∈ℛ_2, (C, f) is a birational map from an irreducible curve to a smooth conic in ℙ^4. Thus we need to show that the variety of conics is irreducible.
Let C be a smooth conic contained in X⊂ℙ^4. Then there exists a unique plane P⊂ℙ^4 containing C. The intersection of X and P is the union of a smooth conic and a line. Conversely if we have a line l ⊂ X and a plane P containing l,
then the intersection X∩ P is the union of a conic and a line.
Thus the variety of smooth conics has the structure of a ℙ^2-bundle over the variety of lines, showing that it is irreducible.












Double covers of ℙ^3 ramified along smooth quartics:

Again we define 𝒩_2 as before and it is easy to see that this is irreducible and parametrizing degree 2 stable maps from ℙ^1 to lines.
Let ℛ_2 be the union of remaining components.
For a general element (C, f) ∈ℛ_2, (C, f) is a birational map from an irreducible curve to a conic in X. Thus we need to show that the variety of conics is irreducible.
Let f: X →ℙ^3 be the double cover ramified along a smooth quartic Y.
Let C be a conic in X.
Then there are two possibilities for C:


  * the image of C via f is a line and C is a double cover of the line;

  * the image of C via f is a conic D  in ℙ^3 which is not a double line, and D is tangent to Y at each point of intersection.

In the first case, 
since C is rational the line must have at least one point which is tangent to Y. However, such lines only form a 3-dimensional family so the corresponding C cannot form a component of the variety of conics. In the second case, for each conic there exists a unique plane P containing D. For each plane P ⊂ℙ^3, consider its intersection Γ_P = P∩ Y which is a quartic plane curve and the pullback f^-1(P) which is a degree 2 del Pezzo surface if Γ_P is smooth. Conics C corresponding to P are exactly conics in f^-1(P) so the variety of conics is a 1 dimensional family over (ℙ^3)^*: 
    𝒲→ (ℙ^3)^*.

Let 𝒟→ (ℙ^3)^* be the Stein factorization which has degree 126. We would like to show that this 𝒟 is irreducible.

To see this, we use the monodromy action and Lefschetz property developed by Kollár in <cit.>. Let ℙ^14 be the space of plane quartic curves in ℙ^2.
Let U ⊂ℙ^14 be the Zariski open set parametrizing smooth curves.
Let 𝒟' → U be the degree 126 finite cover parametrizing classes of conics on the double cover of ℙ^2 ramified along the quartic. 
It is shown in <cit.> that the fundamental group π_1(U) acts on a fiber of 𝒟' → U transitively.
Now consider the space ℙ^34 of quartic surfaces in ℙ^3 and let V'⊂ℙ^34 be the Zariski open set parametrizing irreducible quartic surfaces.
Let U' ⊂ℙ^14 be the Zariski open set parametrizing irreducible plane quartics.
We consider the following evaluation map

    V' ×PGL_4  U',    ([f], [A]) ↦ [f((x_0, x_1, x_2, 0)A)].

The open subset C_V'⊂ V' ×PGL_4 where the map to U' is defined satisfies all the assumptions of <cit.>.  For example, the map C_V'→ U' is smooth since any fiber is a Zariski open subset of an affine space bundle over PGL_4. Furthermore, since ℙ^14∖ U' has codimension ≥ 2, the general v ∈ V' will satisfy the Lefschetz property: the map π_1(({v}×PGL_4)^0) →π_1(U) will be surjective for a suitable open set ({v}×PGL_4)^0. Thus our assertion follows when the quartic surface Y is general.









Sections of the Grassmannian 𝔾(1,4): 
Again we define 𝒩_2 as before and it is easy to see that this is irreducible and parametrizing degree 2 stable maps from ℙ^1 to lines.
Let ℛ_2 be the union of remaining components.
For a general element (C, f) ∈ℛ_2, (C, f) is a birational map from an irreducible curve to a conic in X. Thus we need to show that the variety of conics is irreducible.
The result follows from <cit.>. 

















We are now ready to describe the induction.  Our approach is motivated by <cit.>.  We start with an auxiliary lemma:


 
Let Y be a projective variety of dimension n and let ϕ: Y' → Y be a resolution.  Fix a point p ∈ Y and suppose that there is a dominant family of rational curves through p on Y parametrized by a variety W ⊂M_0,0(Y).  Let C' denote the strict transform of a general curve in the family to Y'.  If the fiber of ϕ over p has dimension k, then (W) ≤ -K_Y'· C' - 2 + k.



Let W' be the variety parametrizing deformations of the strict transform C'.  Since this family dominates Y', a general member is free.  Thus the dimension of the sublocus W' parametrizing curves through a general fixed point p' in the preimage of p has at most the expected dimension -K_Y'· C' - 2.  The statement is now clear.





 
Let X be a smooth Fano 3-fold such that Pic(X) = ℤH, -K_X=2H, and H^3 ≥ 2.
Furthermore when H^3 = 2, assume that X is general in its moduli.
Let α denote a nef curve class and let d denote its anticanonical degree.  Suppose that W is a component of M_0,0(X,α) and let W_p denote the sublocus parametrizing curves through the point p ∈ X.  There is a finite union of points S ⊂ X such that


  * W_p has the expected dimension d - 2 for points p not in S, and

  * W_p has dimension at most d - 1 for points p ∈ S.

Furthermore for p ∉S the general curve parametrized by W_p is irreducible.



By <cit.>, there is a proper closed subset Q ⊊ X which contains any non-free component of a member of the family of curves in W.

The proof is by induction on d.  The base case is when W is the family of lines.  By Theorem <ref> W is irreducible and has dimension 2, so there are only finitely many points in X which are contained in a one-parameter family of lines.  We let S denote this finite set.


We now prove the induction step.  Let W' be a component of W_p.  First suppose that the general curve parametrized by W' is irreducible.  If the general curve parametrized by W' is free, then W' has the expected dimension, so we may suppose otherwise.  We divide into cases based on the dimension of the subvariety swept out by curves in W'.

Suppose that the curves parametrized by W' all map to a fixed curve Y ⊂ X. 
If the general curve maps r-to-1, then the dimension of W' is at most 2r-2.  Note that d = r (-K_X· Y).  Comparing against the expected dimension -K_X· C - 2, we see that W' can have larger than expected dimension only when -K_X· Y = 1.  However, in this case we have a(Y,-K_X|_Y) = 2, violating Lemma <ref>. 

Next suppose that the curves parametrized by W'  dominate an irreducible projective surface Y ⊂ Q.
Let ϕ: Y' → Y be a resolution; applying Lemma <ref> we see that

    (W') ≤ -K_Y'· C' - 1.

If (W') ≥ -K_X· C, then by the equation above we see that (K_Y' - ϕ^*K_X) · C' is negative.  This implies that a(Y,-K_X) > 1, an impossibility by Lemma <ref>.  This proves that (W_p) ≤ -K_X· C - 1.  We also need to characterize the equality case.  When K_Y'· C = K_X· C, it follows that a(Y',-K_X) = 1.  By the earlier classification this means that K_Y' - K_X has Iitaka dimension 1.  Since C has vanishing intersection against this divisor, it is a fiber of the Iitaka fibration.  We conclude that 2 = -K_Y'· C = -K_X· C. By Theorem <ref>, this means that p ∈ S. 

Now suppose that the curves parametrized by W' are reducible.  The dimension counting arguments of <cit.> show how to deduce the desired conclusion for curves parametrized by W' from the same properties for their irreducible components.  For clarity we will outline the argument here.
Assume that our assertions hold for any stable maps of degree less than d.
Suppose that p ∉S and let f: C → X be a general member of W'.
We analyze case-by-case:


  * Suppose that a node of C maps to the point p. Let D be a maximal connected subset of C contracted to the point p. Let C_1, ⋯, C_u be the closures of the connected components of C ∖ D.  Set d_i =K_X.C_i. Then the induction hypothesis implies that the dimension of W' is bounded by

    ∑_i = 1^u (d_i-2) + u-2

where the term u-2 accounts for the dimension of the marked point and the points of attachment of D with C_i. Since d = ∑_i d_i, we conclude that the dimension of W' is bounded by

    d-u-2.

In particular W' can not have larger than the expected dimension.  

  * Suppose that a node of C maps to a point p_i contained in S. Let D be the maximal connected subset of C contracted to the point p_i. Let C_1, ⋯, C_u be the closures of the connected components of C ∖ D and let d_i be the degree of C_i. Suppose that the inverse image of p is contained in C_1. Then by the induction hypothesis, the dimension of W' is bounded by

    d_1-2 + ∑_i = 2^u d_i-1 + max{0, u-3} = d-u -1 +max{0, u-3}

where the term max{0, u-3} accounts for the dimension of the moduli of the points of attachment.  
In particular W' can not have larger than the expected dimension.  

  * Suppose that a node of C maps to a point q∉{p}∪ S. Let D be the maximal connected subset of C contracted to the point q. Let C_1, ⋯, C_u be the closures of the connected components of C ∖ D and let d_i be the degree of C_i. Suppose that the inverse image of p is contained in C_1. Then by the induction hypothesis, the dimension of W' is bounded by

    d_1-2 + ∑_i = 2^u (d_i-2) + max{0, u-3} + 1 = d -2u + 1 + max{0, u-3}

where the term max{0, u-3} + 1 accounts for the dimension of the moduli of the points of attachment. In particular W' can not have larger than the expected dimension. 






Together these three cases exhaust all possibilities for the node of C, and our claim follows when p ∉S. The case of p ∈ S is similar; we refer readers to <cit.> for more details.  In particular, the above discussion shows that the general curve parametrized by W' for points p ∉S is irreducible.


We see as an immediate consequence:




Let X be a smooth Fano 3-fold such that Pic(X) = ℤH, -K_X=2H, and H^3 ≥ 2.
Furthermore when H^3 = 2, assume that X is general in its moduli.  For any ℤ-curve class α, if M_0,0(X,α) is non-empty then every component generically parametrizes free curves and has the expected dimension.


Applying the arguments of <cit.>, we now obtain:


 
Let X be a smooth Fano 3-fold such that Pic(X) = ℤH, -K_X=2H, and H^3 ≥ 2.
Furthermore when H^3 = 2, assume that X is general in its moduli.  Then any free curve on X deforms into a chain of free curves of anticanonical degree ≤(X)+1.




By Mori's Bend and Break any free curve C of anticanonical degree > (X) + 1 can be deformed to a stable map with reducible domain.  Furthermore these deformed maps form a codimension 1 locus of the component of the moduli space containing C.  By the classification of components of M_0,0(X), only the union of two free curves can form such a codimension 1 locus. Now Lemma <ref> and the induction argument show our claim.









Let X be a smooth Fano 3-fold such that Pic(X) = ℤH, -K_X=2H, and H^3 ≥ 2.
Furthermore when H^3 = 2, assume that X is general in its moduli.
Let d ≥ 2. Then M_0,0(X, d) consists of two irreducible components:

    M_0,0(X, d) = ℛ_d ∪𝒩_d

such that a general element (C, f) ∈ℛ_d is a birational stable map from an irreducible curve and any element (C, f) ∈𝒩_d is a degree d stable map to a line in X. 
Moreover the fiber ev_1^-1(x)∩ℛ_d' is irreducible for a general x∈ X.



We denote by 𝒩_d the component parametrizing degree d stable maps to lines.
It is clear that this is irreducible.
First let M be a dominant component of M_0,0(X) generically parametrizing a birational stable map. We show that the fiber ev_1^-1(x)∩ M is irreducible for a general x∈ X. Let Y → M be a smooth resolution.
We would like to show that Y → X has connected fibers.
Suppose not, i.e. the Stein factorization Z → X is nontrivial.
Then it is shown in <cit.> that Z factors through ℛ_1' rationally.
This means that curves parametrized by M lift to ℛ_1' and have vanishing intersection with the ramification divisor of the morphism ℛ_1' → X.  Therefore, these curves are multiple covers of lines which contradicts with the fact that a general curve maps birationally onto its image. Thus our assertion follows.

Now we prove our theorem using induction on d.
The case of d=2 is settled by Proposition <ref>. Suppose that d > 2 and we assume our assertion for any 2 ≤ d' < d.  By gluing free curves of lower degree it is clear that M_0,0(X,d) has at least one component different from 𝒩_d.  Let M be one such component.
Then any general (C, f) ∈ M is a birational stable map from an irreducible curve by Corollary <ref>.  (A dimension count shows that multiple covers of curves can not form a component of M_0,0(X) unless the curves are lines.) 
Using Theorem <ref> we see that M contains a chain of free curves of degree at most 2.  Furthermore, by Proposition <ref> each component of the parameter space of conics contains a chain of lines.  Applying Lemma <ref>, we can conclude that M contains a chain (C, f) of free lines of length d.
Note that (C, f) is a smooth point of M_0,0(X).
If the image of f is a single line, then (C, f) is contained in 𝒩_d.
Since it is a smooth point, we conclude that M = 𝒩_d which is a contradiction.

So we may assume that (C, f) has a reducible image.
This means that (C, f) is a point on the image Δ_1, d-1 of the main component of ℛ_1' ×_X ℛ_d-1' which is unique by the induction hypothesis.
Since (C, f) is a smooth point, we conclude that M contains Δ_1, d-1
and such M must be unique.
Thus our assertion follows.




Let X be a smooth Fano 3-fold such that Pic(X) = ℤH, -K_X=2H, and H^3 ≥ 2.
Furthermore when H^3 = 2, assume that X is general in its moduli.  For every curve class α satisfying H ·α≥ 2 there is a unique Manin component representing α.
















alpha


