Does the moduli space of smooth curves of genus g contain an elliptic curve - MathOverflow

Does the moduli space of smooth curves of genus g contain an elliptic curve

2012-07-25T21:04:30Z

Let $M_g$ be the moduli space of smooth projective geometrically connected curves over a field $k$ with $g\geq 2$. Note that $M_g$ is not complete.

Does $M_g$ contain an elliptic curve?

The answer is no if $g=2$. In fact, $M_2$ doesn't contain any complete curves.

Note that one can construct complete curves lying in $M_g$ for $g\geq 3$. There are explicit constructions known.

Probably for $g>>0$ and $k$ algebraically closed, the answer is yes.

What if $k$ is a number field?

Answer by anon for Does the moduli space of smooth curves of genus g contain an elliptic curve

2012-07-25T22:11:11Z

If $g \geq 2$, and you want a map from the elliptic curve to the stack $M_g$ (as opposed to the coarse moduli space), then I think the map has to be constant, just on curvature grounds.

Answer by Jim Bryan for Does the moduli space of smooth curves of genus g contain an elliptic curve

2012-07-26T01:14:15Z

If $C$ is a smooth curve of genus $g$ and $f:C\to M_g$ is a non-constant morphism to the stack, then the total space of the induced family of curves $S\to C$ is a smooth surface and the underlying oriented 4-manifold has non-trivial signature: it is given by a multiple of the pullback of the first Chern class of the Hodge bundle on $M_g$, which is an ample class. On the other hand, if a 4-manifold is a Riemann surface bundle over a torus or sphere, then its signature must be zero. Thus, there are no non-constant maps of an elliptic curve to the stack $M_g$. The question of what the smallest genus curve which maps non-trivially to $M_g$ is addressed in a paper I wrote with Ron Donagi around 10 years ago: http://arxiv.org/pdf/math.AG/0105203.pdf

I would guess that there does exist a non-constant map of an elliptic curve $C$ to the coarse space of $M_g$, but the map would only come from a family of curves after passing to a finite (ramified) cover of $C$. I think some of the examples constructed in the above paper are in fact of this form. I can think more about it if knowing the answer for the coarse space is important to you (but really, why would you be interested in the coarse space? :-) ).

Edit: I am assuming that the base field is $\mathbb{C}$ in the above answer. I don't know the answer for other fields.

Answer by Misha for Does the moduli space of smooth curves of genus g contain an elliptic curve

2012-07-26T06:37:06Z

The easiest way (I know) to see that there are no nonconstant holomorphic maps from a complete elliptic curve $E$ to the stack $M_g$ is to observe that such a map $f$ would lift to a holomorphic map of the universal covers $\tilde{f}: {\mathbb C} \to T_g$, where $T_g$ is the Teichmuller space. The latter is a bounded domain in ${\mathbb C}^{3g-3}$, so Liouville's theorem implies that $f$ is constant.

Edit: Using Kodaira's construction of complete curves in moduli spaces (via ramified coverings of products of curves) one can construct maps from elliptic curves $E$ to the coarse moduli space (of large genus) which are generically 1-1, i.e. 1-1 away from a finite subset of $E$. With more work one can probably get injective maps as well but I do not see sufficient motivation for this.

Answer by Sándor Kovács for Does the moduli space of smooth curves of genus g contain an elliptic curve

2012-07-26T07:34:49Z

First consider the case when $M_g$ is the stack:

Over $\mathbb C$ this is a consequence of the Torelli theorem: A map from a rational or elliptic curve to $M_g$ is the same as a smooth family over that curve. Then considering the period map gives a map from the same curve to the parameter space of Hodge structures. However, that is hyperbolic, so any holomorphic map from $\mathbb C$ is trivial. Therefore the Hodge structures of the fibers are the same, but then Torelli says that then the curves are also the same, so the map to moduli is trivial. (In fact this proof shows that even a rational curve minus $2$ points cannot map there either).

Actually, a lot more is true: The same statement holds if we replace $M_g$ with $M_h$, the moduli stack of canonically polarized smooth projective varieties with Hilbert polynomial $h$. (For $\deg h=1$ you get back the corresponding $M_g$). Torelli is no longer true, but the desired statement is: There are no non-trivial maps from an elliptic curve or a rational curve minus $2$ points. This is proved in Algebraic hyperbolicity of fine moduli spaces J. Algebraic Geom. 9 (2000), no. 1, 165–174.

Then one may wonder if something could be said for higher dimensional bases. The direct generalization of the original question would be to replace an elliptic curve with an abelian variety. The same statement holds, (in fact a little more than that is) proved in Families over a base with a birationally nef tangent bundle Mathematische Annalen, 1997, Volume 308, Number 2, Pages 347-359

If one wants to generalize further, that is, to include the case of rational curves minus two points, one possibility is

Viehweg's conjecture (roughly stated)
Any quasi-projective variety that admits a generically finite morphism to $M_h$ is of log general type.

Here log general type means that if $X$ is the variety in question and $\overline X$ is a projective variety such that $X\subseteq \overline X$ is an open subset and $D=\overline X\setminus X$ is a divisor, then $\omega_{\overline X}(D)$ is big (=has maximal Kodaira dimension).

If you have not seen this before, check that curves of log general type are: Any open subset of a curve of genus at least $2$, any proper open subset of an elliptic curve, and any open subset of a rational curve missing at least $3$ points. In other words, the only non-log general type curves are the (projective) elliptic curves and rational curves missing at most $2$ points. In other words, Viehweg's conjecture for $M_g$ is just the first statement above.

Viehweg's conjecture is currently known for proper base varieties by Families of varieties of general type over compact bases, Advances in Mathematics, Volume 218, Issue 3, 20 June 2008, Pages 649–652 and Viehwegʼs hyperbolicity conjecture is true over compact bases, Advances in Mathematics, Volume 229, Issue 3, 15 February 2012, Pages 1640–1642 and over (up to) $3$-dimensional bases in general by The structure of surfaces and threefolds mapping to the moduli stack of canonically polarized varieties, Duke Math. J. Volume 155, Number 1 (2010), 1-33..

As far as the coarse space goes, it is probably more of a curiosity, but it still seems interesting. Oort proved that the coarse space of $M_g$ actually contains rational curves. Perhaps his proof can be adapted to prove the same for an elliptic curve. (The main idea is to construct a family over a curve with a given map to $\mathbb P^1$ such that fibers over the points mapping to the same point on $\mathbb P^1$ are isomorphic, so the moduli map factors through the map to $\mathbb P^1$).

And then there are many results concerning the question of what kind of complete subvarieties might $M_g$ have. Or what about complete subvarieties through a general point? There are various results in this direction, but I am already digressing....

Remark all of the above holds over an algebraically closed field of characteristic $0$. In characteristic $p$ all kinds of weird things happen, so I would expect that probably most of this fails.

Answer by Felipe Voloch for Does the moduli space of smooth curves of genus g contain an elliptic curve

2012-07-31T13:13:42Z

All these deductions on non-existence of an elliptic curve as in the question from the fact that $M_g$ is hyperbolic in various senses were very interesting. Here is a preposterous variant. If such an elliptic curve exists, then passing to a finitely generated field and specializing any transcendental (if necessary) we can assume that the elliptic curve and the embedding in $M_g$ are defined over a number field. We extend the number field so that the elliptic curve has infinitely many rational points over it. Now, it is easy to see that all these rational points (viewed as points in $M_g$) give rise to curves of genus $g$ defined over this number field and all having good reduction outside of a fixed finite set of places of the number field. This contradicts Shafarevich's conjecture (proved by Faltings).

Answer by Sándor Kovács for Does the moduli space of smooth curves of genus g contain an elliptic curve

2012-07-31T23:58:03Z

Here is how the function field version of Shafarevich's conjecture (=Arakelov-Parshin Theorem) implies that there are no elliptic curves or (at most) twice punctured rational curves in $M_g$:
(See Noam's comment to Felipe's answer)

Suppose there exists a smooth non-isotrivial family $f:X\to C$ of curves of genus $g$ for some fixed $g>1$ parametrized by a curve $C$. Call such a family admissible, let $m\in\mathbb N$ fixed and consider the set of numbers $$ D_m=\left\{ \deg (f_*\omega_{X/C}^m) \mid f \text{ is an admissible family } \right\} $$

By Shafarevich's conjecture (=Arakelov-Parshin Theorem) this set is finite and hence bounded for any given $m$. On the other hand, it is well-known that for $m\gg 0$ the line bundle $\det (f_*\omega_{X/C}^m)$ is ample, but we only need that it is not trivial and hence has a non-zero degree.

Now assume that $C$ admits an endomorphism of degree $>1$, say $\sigma:C\to C$. Then the base change $f_\sigma:X_\sigma\to C$ of any admissible family $f:X\to C$ is still admissible, but $$ \deg ({f_\sigma}_*\omega_{X_\sigma/C}^m) = \deg\sigma \cdot \deg (f_*\omega_{X/C}^m), $$ which would mean that if non-empty, then $D_m$ could not be bounded, therefore if $C$ admits such an endomorphism, then $D_m$ has to be empty.

If $C$ is an elliptic curve, or a rational curve minus (at most) two points, then it admits such an endomorphism, so they cannot parametrize smooth non-isotrivial families of curves of genus $>1$.

Remark
The boundedness of (the analogous set in arbitrary dimension) $D_m$ is sometimes called weak boundedness. The above argument shows that "Weak Boundedness" implies "Hyperbolicity". This statement, in a somewhat more general form, is contained in Thm 0.8/0.9 of Logarithmic vanishing theorems and Arakelov-Parshin boundedness for singular varieties. Compositio Math. 131 (2002), no. 3, 291–317