Let $S$ be a smooth quasi-projective curve over the complex numbers. Let $P$ be a closed point in $S$. Let $f:\mathcal X \to S$ be a polarized family of smooth projective connected varieties. To this family and the point $P$ we can associate the Kodaira-Spencer map 


$$ Tan\_S(P) \to H^1(X,T\_X).$$


Here $X $ is the fibre of $f$ over $P$.


Of course, if $f$ is a product/trivial family (so $\mathcal X = X \times S$) then the Kodaira-Spencer map is zero.


On the other hand, I can't prove that the same holds if all closed fibres of $f$ are isomorphic (i.e. $f$ is isotrivial). Therefore, I suspect that there might be examples of non-trivial isotrivial families with non-zero Kodaira-Spencer map.


Are there examples of such families of varieties? (Note that such a family if it exists is not trivial, locally for the fppf topology.)



Isotrivial families with non-zero Kodaira spencer map
The most general (most useful) formulation of the Kodaira-Spencer map uses the triangle of transitivity of cotangent complexes and relative duality. Even for such mildly singular varieties as nodal curves, the following is not sufficient (I recommend Section 6 of K. Behrend and B. Fantechi, "The Intrinsic Normal Cone", for a quick introduction to Kodaira-Spencer in the case of singular, projective varieties). For a proper, smooth morphism of relative dimension $n$, $f:\mathcal{X}\to S$, with $S$ a finitely presented $k$-scheme, the natural exact sequence $$ f^\*\Omega\_{S/k} \to \Omega\_{\mathcal{X}/k} \to \Omega\_{\mathcal{X}/S} \to 0,$$ is left exact (thus a short exact sequence), and the cokernel $\Omega\_{\mathcal{X}/S}$ is locally free of rank $n$. Denote the dual locally free sheaf by $T\_{\mathcal{X}/S}$. Tensoring by this locally free $\mathcal{O}\_{\mathcal{X}}$-module gives a short exact sequence, $$ 0 \to 
f^\*\Omega\_{S/k}\otimes\_{\mathcal{O}\_{\mathcal{X}}} T\_{\mathcal{X}/S} \to
\Omega\_{\mathcal{X}/k}\otimes\_{\mathcal{O}\_{\mathcal{X}}} T\_{\mathcal{X}/S} \to
\Omega\_{\mathcal{X}/S}\otimes\_{\mathcal{O}\_{\mathcal{X}}} T\_{\mathcal{X}/S} \to
0.$$ This short exact sequence gives rise to a long exact sequence of higher direct image sheaves with respect to $f$. The relevant part here is the first connecting map, $$ \delta: f\_\*\left(\Omega\_{\mathcal{X}/S}\otimes\_{\mathcal{O}\_{\mathcal{X}}} T\_{\mathcal{X}/S}\right) \to
R^1f\_\* \left(f^\*\Omega\_{S/k}\otimes\_{\mathcal{O}\_{\mathcal{X}}} T\_{\mathcal{X}/S}\right).$$ The identity map on $\Omega\_{\mathcal{X}/S}$ gives a natural global section, $\text{Id}:\mathcal{O}\_S \to f\_\*\left(\Omega\_{\mathcal{X}/S}\otimes\_{\mathcal{O}\_{\mathcal{X}}} T\_{\mathcal{X}/S}\right)$. Thus there is a global section, which is a version of the Kodaira-Spencer map,
$$
\delta'\_{\mathcal{X}/S}:\mathcal{O}\_S \to R^1f\_\* \left(f^\*\Omega\_{S/k}\otimes\_{\mathcal{O}\_{\mathcal{X}}} T\_{\mathcal{X}/S}\right)
$$ 


If $S$ is smooth over $k$, then $\Omega\_{S/k}$ is locally free. Then, 
by the projection formula, the natural map $$\Omega\_{S/k}\otimes\_{\mathcal{O}\_S} R^1 f\_\*\left( T\_{\mathcal{X}/S} \right) \to R^1f\_\* \left(f^\*\Omega\_{S/k}\otimes\_{\mathcal{O}\_{\mathcal{X}}} T\_{\mathcal{X}/S}\right),$$ is an isomorphism. Thus, $\delta'\_{\mathcal{X}/S}$ is naturally an $\mathcal{O}\_S$-module homomorphism, $$ \delta'\_{\mathcal{X}/S} : \mathcal{O}\_S \to \Omega\_{S/k}\otimes\_{\mathcal{O}\_S} R^1 f\_\*\left( T\_{\mathcal{X}/S} \right).$$ Denoting by $T\_{S/k}$ the dual locally free sheaf to $\Omega\_{S/k}$, this is equivalent to another
$\mathcal{O}\_S$-module homomorphism (closer to the usual definition),
$$ \delta\_{\mathcal{X}/S} : T\_{S/k} \to R^1 f\_\*\left( T\_{\mathcal{X}/S} \right),$$ where $T\_{S/k}$ is the dual of the locally free sheaf $\Omega\_{S/k}$. 


By Grauert's theorem, Corollary III.12.9, p. 288, of R. Hartshorne, "Algebraic Geometry", $R^1f\_\*\left(T\_{\mathcal{X}/S}\right)$ is a locally free $\mathcal{O}\_S$-module compatible with base change to reduced schemes (we only need closed points) if for every point $s$ of $S$ (closed points suffice), $h^1(\mathcal{X}\_s,T\_{\mathcal{X}\_s})$ is constant. In particular, if all fibers of $f$ are isomorphic as $k$-schemes, this is true. In that case, $\delta$ is a map of locally free $\mathcal{O}\_S$-modules. On a reduced scheme, a morphism of torsion-free quasi-coherent $\mathcal{O}\_S$-modules is zero if and only if it is zero at the generic point if and only if it is zero on some dense open subscheme. Thus, in what follows, it suffices to restrict to a dense open subscheme of $S$.


Let $s\_0$ be a $k$-point of $S$. Let $X\_0$ denote the fiber of $f$ over $s\_0$. As a corollary of existence of the Hilbert scheme (really, algebraic space if $f$ is merely a proper, flat morphism of algebraic spaces), the Isom functor is representable, and there is an Isom scheme, $$\pi: \text{Isom}\_S(X\_0\times S,\mathcal{X}) \to S.$$ By hypothesis, this morphism is surjective on $k$-points. Now assume that $k$ is characteristic $0$ and uncountable (under the hypotheses above, $\delta$ is compatible with base change, so we can base change to make $k$ uncountable). 


Since $\pi$ is surjective, and since $k$ is uncountable, there exists an irreducible component $I$ of $\text{Isom}\_S(X\_0\times S,\mathcal{X})$ such that the restion $\pi|\_I$ is dominant. Denote this restriction by $$\rho:I\to S.$$ Since $k$ is algebraically closed, there exists a dense open subscheme of $I\_{\text{red}}$ that is a smooth $k$-scheme. Replace $I$ by this dense open subscheme of $I\_{\text{red}}$. Since $\rho$ is a dominant morphism of smooth $k$-schemes, and since $k$ has characteristic $0$, by generic smoothness there exists a dense open subscheme of $S$ over which $\rho$ is smooth. Replace $S$ by this open subscheme and assume that $\rho$ is smooth and surjective. By construction of the Kodaira-Spencer maps, there is a commutative diagram of $\mathcal{O}\_I$-modules,
$$ \begin{array}{ccc} \rho^\*\mathcal{O}\_S & \xrightarrow{\rho^\*\delta\_{\mathcal{X}/S}} & \rho^\*(\Omega\_{S/k})\otimes\_{\mathcal{O}\_I} \rho^\*R^1f\_\* T\_{\mathcal{X}/S} \\
\downarrow & & \downarrow \\
\mathcal{O}\_I & \xrightarrow{\delta\_{\mathcal{X}\_I/I}} & \Omega\_{I/k}\otimes\_{\mathcal{O}\_I} R^1f\_{I,\*} T\_{\mathcal{X}\_I/I} \end{array}.$$
Since $\rho$ is faithfully flat, to prove that $\delta\_{\mathcal{X}/S}$ is zero, it suffices to prove that $\rho^\*\delta\_{\mathcal{X}/S}$ is zero.
By Grauert's theorem, the natural map $\rho^\* R^1f\_\* T\_{\mathcal{X}/S} \to R^1f\_{I,\*} T\_{\mathcal{X}\_I/I}$ is an isomorphism. Since $\rho$ is smooth, the morphism $$d\rho^\dagger: \rho^\*\Omega\_{S/k} \to \Omega\_{I/k}, $$ is injective with locally free cokernel. Thus, the second vertical arrow above is injective (the first vertical arrow is an isomorphism). So to prove that $\rho^\*\delta\_{\mathcal{X}/S}$ is zero, it suffices to prove that $\delta\_{\mathcal{X}\_I/I}$ is zero.


By construction, there is an isomorphism over $I$ of the base change $\mathcal{X}\_I = I\times\_S \mathcal{X}$ with the constant family $X\_0\times I$. That isomorphism of $I$-schemes identifies the Kodaira-Spencer map of $\mathcal{X}\_I/I$ with the Kodaira-Spencer map of $X\_0\times I/ I$. Of course since $X\_0\times I/I$ is the pullback of $X\_0/\text{Spec}(k)$ by the constant $k$-morphism $p:X\to \text{Spec}(k)$, there is another commutative diagram, $$ \begin{array}{ccc} p^\*\mathcal{O}\_{s\_0} & \xrightarrow{p^\*\delta\_{X\_0/s\_0}} & \rho^\*(\Omega\_{k/k})\otimes\_{k} H^1(X\_0,T\_{X\_0/k}) \\
\downarrow & & \downarrow \\
\mathcal{O}\_I & \xrightarrow{\delta\_{X\_0\times I/I}} & \Omega\_{I/k}\otimes\_{\mathcal{O}\_I} R^1f\_{I,\*} T\_{X\_0\times I/I} \end{array}.$$ Since $\Omega\_{k/k}$ is the zero sheaf, it follows that $\delta\_{X\_0\times I/I}$ is the zero homomorphism. Therefore also $\delta\_{\mathcal{X}/S}$ is zero.


