Skip to main content
4 events
when toggle format what by license comment
Dec 25, 2019 at 2:00 comment added Walter field Thank you for the comment! But, how do we prove $E$ is flat over $D$ ?
Dec 24, 2019 at 16:25 comment added Qfwfq @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.
Dec 24, 2019 at 15:51 comment added Walter field 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 ?
Dec 24, 2019 at 14:47 history answered Sasha CC BY-SA 4.0