Skip to main content
3 of 6
added 209 characters in body; deleted 47 characters in body
Choa
  • 337
  • 2
  • 11

Intuitive argument for the Kodaira-Spencer map

I met this problem in the D.Huybrechts' book Fourier-Mukai transform in algebraic geometry

Let $X$ be a smooth projective variety over an algebraically closed field.

And let $\mathcal F$ be a coherent sheaf on $X \times X$ which is flat over the first factor.

Futhermore, assume $\mathcal F_x$ is concentrated in $x$ for every $x$.

Since $\mathcal F$ is flat over $X$, the Kodaira-Spencer map

$\kappa(x) : Ext^1_X(k(x), k(x)) \rightarrow Ext^1_X(\mathcal F_x, \mathcal F_x)$

is nothing but a Fourier-Mukai transformation $\Phi_{\mathcal F}$

$\Phi_{\mathcal F} : Hom_{D^b(X)} (k(x), k(x)[1]) \rightarrow Hom_{D^b(X)}(\mathcal F_x, \mathcal F_x[1]) $

( For notational convenience, write $\mathcal F_x := \Phi_{\mathcal F}(k(x)) =$ $\mathcal {Li}^*_{x\times X} \mathcal F$ )

At this point, author used the following shortcut to prove that $\kappa(x)$ is injective at generic point of $X$;

The map $f:x \mapsto \mathcal F_x$ is injective by assumptions. Hence $\kappa(x) := df(x)$ is injective at generic point.

(see D.Huybrechts, Fourier-Mukai transform in algebraic geometry, Ch7, Prop7.1)

Even though it is not even clear where the image of $f$ lives, the argument is quite persuasive and even geometrically intuitive. But I failed to make it rigourous. Could someone explain to me what's going on? Thanks in advance

Choa
  • 337
  • 2
  • 11