Let $X$ and $Y$ be smooth algebraic varieties over a field $k$ of characteristic $0$. For varieties we know that $X/k$ is rigid if and only if $H^{1}(X,T_{X})=0$. But $H^{1}(X,T_{X})$ also parametrizes the first order deformations. So in fact we have that there is no infinitesimal deformations if there is no first order infinitesimal deformation. My question is that does the same hold true for deformations of morphisms? Namely, let $f_{0}:X\to Y$ be a morphism. Then we know that first order deformations are parametrized by the space $H^{0}(X,f_{0}^{*}T_{Y})$ ($T_{Y}$, tangent bundle of $Y$). Is it true that $f_{0}$ is rigid if $H^{0}(X,f_{0}^{*}T_{Y})=0$? i.e. if there is no nontrivial first order deformation? If there is a reference for this in the literature, I'd be grateful to know.
Take the 2minute tour
×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.
The space $H^{0}(X,f_{0}^{*}T_{Y})$ is the tangent space at $f_0$ to the variety $\mathrm{Hom}(X,Y)$, see J. Kollár, Rational curves on algebraic varieties. Thus if it is zero, $f_0$ is an isolated point, hence is rigid. However I don't think the converse holds, even for deformations of $X$: $X$ may be rigid with $H^1(X,T_X)\neq 0$. I don't have any example at hand but I am pretty sure that they exist. 

