4
$\begingroup$

$X$: projective scheme over a scheme $S$.

$E, F$: $\mathscr{O}_X$-modules, flat/$S$

$\phi$: $E \rightarrow F$ : morphism s.t. $\phi_t$: $E_t \rightarrow F_t$ is zero morphism for all $t \in S$

Then, is $\phi$ zero morphism ?

I'd be glad if you could tell me something! (Please give me some comments about the comment below!)

Edit: especially I am interested in the case $X = Y \times S$ ,where $Y$: projective surface / $\mathbb{C}$, $S: \mathbb{C}$-scheme

Improve this question
$\endgroup$

1 Answer 1

Reset to default
4
$\begingroup$

No. For instance, take $$ X = S = \mathrm{Spec}(\Bbbk[\epsilon]/\epsilon^2), \qquad E = F = \Bbbk[\epsilon]/\epsilon^2, \qquad \phi = \epsilon. $$ Then for the unique point $t \in S$ the morphism $\phi_t$ is zero, while $\phi$ is not.

Improve this answer
$\endgroup$
3
  • $\begingroup$ Thank you for the answer! If$Y, S$: $\mathbb{C}$-schemes and $Y$: projective over $\mathbb{C}$ of dim $>0$ and $X := Y \times S$,then is the question true ? $\endgroup$
    – Walter field
    Commented Dec 24, 2019 at 15:51
  • $\begingroup$ @Walter field: I think you can cross the above example by P1. Let everything be over $\mathbb C$, $D:=Spec(\mathbb{C}[\epsilon]/(\epsilon^2)$, $X:=D\times\mathbb{P}^1$, $\pi:X\to D$, $E:=I$ where $I=\pi^{*}(\epsilon)$, $F:=\mathcal O_X$, and $E\to F$ the inclusion. $\endgroup$
    – Qfwfq
    Commented Dec 24, 2019 at 16:25
  • $\begingroup$ Thank you for the comment! But, how do we prove $E$ is flat over $D$ ? $\endgroup$
    – Walter field
    Commented Dec 25, 2019 at 2:00

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .