2
$\begingroup$

Suppose we have a family of objects $\Xi \to S$ over a base smooth projective scheme $S$. Take a closed point $p\in S$ and consider the tangent space to $S$ at $p$. Can one construct an "induced family" over this tangent space (or probably rather over its projectivized space) starting from $ \Xi$ ? what interpretation could one give to this? a second-order deformation?

$\endgroup$
3
  • 1
    $\begingroup$ Would you settle for having a family over the tangent cone to $p\in S$? Which one could instead call the normal cone. Then the normal cone to $\Xi_p \subseteq \Xi$ will map to the normal cone to $p \in S$. I don't have much interpretation for its fibers, though. $\endgroup$ Feb 8, 2013 at 12:30
  • $\begingroup$ Thank you, Allen. I don't fully understand what you mean by $\Xi_p$, is it the full fiber over $p$, right? $\endgroup$
    – IMeasy
    Feb 10, 2013 at 17:59
  • $\begingroup$ Yes, that's what I meant. $\endgroup$ Feb 15, 2013 at 4:15

1 Answer 1

2
$\begingroup$

Imagine that $S$ is an open subset of some fine moduli space which does not contain any rational curves. This does happen although I don't know any examples. Then any family over an affine space will have to be constant, so the answer would be no.

On the other hand, of course there is formal family over the completion of $S$ at the given point $p$ ($\hat{S}_p = \lim Spec (\mathcal{O}_{S, p}/\mathfrak{m}_{S, p}^n)$), which looks like the infinitesimal neighborhood of $0$ in the tangent space ($\hat{T}_0 = Spf(k[[t_1, \ldots, t_s]])$ where the $t_i$ form a basis of the dual of $T= T_{p} S$). I think morally this might play the role of what you want.

$\endgroup$
3
  • 2
    $\begingroup$ For an example, take the modular curve $X(n)$ (with $n$ not too small). $\endgroup$ Feb 6, 2013 at 17:53
  • $\begingroup$ thank you two! @Dan: could you develop your example a little more? $\endgroup$
    – IMeasy
    Feb 6, 2013 at 18:19
  • $\begingroup$ What I think Dan meant is: if the families you are considering are families of elliptic curves with fixed basis of $n$-torsion, the moduli space will be the modular curve $X(n)$ (or rather its open subset $Y(n)$). After removing finitely many points, it will be a fine moduli space. As computed here en.wikipedia.org/wiki/Modular_curve , the genus of $X(n)$ is nonzero for most $n$. Since $X(n)$ is smooth, for such $n$ there are no non-constant maps $\mathbb{A}^1\to X(n)$, that is, every family of the considered type over $\mathbb{A}^1$ has to be constant. $\endgroup$ Feb 7, 2013 at 23:05

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.