2
$\begingroup$

Let $X$, $S$ be integral quasi-projective schemes (over $\Bbb C$). Let $\mathcal F$ be a coherent sheaf on $X\times S$, flat on $S$. Suppose that $x\in X$, $s\in S$ are closed points, and ${\mathcal F}(s)={\mathcal F}_{\rvert X\times\{s\}}$. Suppose that ${\mathcal F}(s)_x$ is a free ${\mathcal O}_{X,x}$-module. Does this imply that ${\mathcal F}_{x,s}$ is a free ${\mathcal O}_{X\times S,(x,s)}$-module ?

$\endgroup$
3
  • $\begingroup$ This seems to be true for me because of Theorem 37.16.1 in stacks.math.columbia.edu/tag/039A Set $X$ and $Y$ in the theorem both equal to $X \times_k S$, set $S$ equal to $S$ and set $\mathcal{F}$ equal to $\mathcal{F}$. Set $x$ to $(x,s)$ and $y = (x,s)$ and $s = s$. $\endgroup$ Nov 5, 2022 at 20:10
  • 1
    $\begingroup$ Since $(\mathcal{F}|_{X\times\{s\}})_x=\mathcal{F}_{x,s}\otimes_{\mathcal{O}_{X\times S,(x,s)}}\mathcal{O}_{X,x}$ and $\mathcal{O}_{X\times S,(x,s)}$ is flat over $\mathcal{O}_{X,x}$, this seems like a commutative algebra problem. $\endgroup$
    – user493118
    Nov 5, 2022 at 20:13
  • $\begingroup$ @JürgenBöhm thank you, this works $\endgroup$
    – Hephaistos
    Nov 6, 2022 at 8:25

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Browse other questions tagged or ask your own question.