4
$\begingroup$

I have been trying to learn some deformation theory, and came across the following in a paper:

The first order deformations of a morphism of smooth curves $f:X\rightarrow Y$ is in bijection with $H^0(X,f^*(\mathcal{T}_Y))$.

I would like to understand a proof of this. I understand some simple facts, like $H^1(X,\mathcal{T}_X)$ being bijective with the first order deformations of $X$. The reference given was to a paper of Ravi Vakil's, but I am unfamiliar with anything but the very basics of stacks. Does anyone know of a reference for this fact that doesn't use stacks?

$\endgroup$

5 Answers 5

6
$\begingroup$

There is actually the following general result.

Let us consider a morphism of algebraic schemes $f \colon X \to Y$, where $X$ is reduced and projective and $Y$ smooth. Then the first order deformations of $f$ leaving the domain and the target fixed are parametrized by $H^0(X, f^* T_Y)$.

For a proof (that does not use stacks!) see Sernesi' book "Deformations of algebraic schemes", in particular Proposition 3.4.2 page 158.

$\endgroup$
1
  • $\begingroup$ This had the answer I was looking for, and a lot of other things of use to me. Sorry I can't select more than one answer, since a lot of the information provided was helpful too. $\endgroup$
    – Randall
    Nov 2, 2011 at 15:42
8
$\begingroup$

To deform a map $f:X \to Y$ is equivalent to deforming its graph $\Gamma \subset X\times Y$. But a deformation of a subscheme $Z \subset V$ are governed by the normal bundle $N_{Z/V}$ (the tangent space to deformations is $H^0(Z,N_{Z/V})$ and the obstructions are given by $H^1$), this can be found in Grothendieck's Fondements de la Géometrie Algébrique. So, it remains to note that $N_{\Gamma/X\times Y} = f^*T_Y$.

$\endgroup$
5
$\begingroup$

For a more elementary reference, try Debarre's "Higher dimensional algebraic geometry." This book is a great place to get started learning some algebraic geometry beyond Hartshorne, and basic deformation theory plays a key role.

The fact you are asking about is Proposition 2.4; Chapter 2 gives a good overview of similar types of results, and much of the rest of the book investigates how these types of results can be applied.

$\endgroup$
4
$\begingroup$

Kollar's 'Rational Curves on Algebraic Varieties' is a good reference.

$\endgroup$
2
$\begingroup$

Eiji HORIKAWA, On deformations of holomorphic maps I, J. Math. Soc. Japan Volume 25, Number 3 (1973), 372-396.

$\endgroup$

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.