1
$\begingroup$

Let $k$ be an algebraically closed field of positive characteristic and $f:X \to S$ be a smooth, flat, projective morphism between noetherian $k$-schemes. Assume that $S$ is a non-singular quasi-projective variety. Let $\mathcal{F}$ be a locally free sheaf on $X$. Fix a polarization $L$ on $X$ and a Hilbert polynomial $P$. Denote by $\mathrm{Quot}_{X/\mathcal{F}/S}^P$ the relative Quot-scheme parametrizing coherent quotients of $\mathcal{F}$ with Hilbert polynomial $P$.

There exists a natural morphism $\pi:\mathrm{Quot}_{X/\mathcal{F}/S}^P \to S$ and for each point $x \in \mathrm{Quot}_{X/\mathcal{F}/S}^P$, there exists an induced map between tangent spaces $T_x\pi:T_x\mathrm{Quot}_{X/\mathcal{F}/S}^P \to T_{\pi(x)}S$. Is it true that for a general (closed) $x \in \mathrm{Quot}_{X/\mathcal{F}/S}^P$, we have $\dim \mathrm{Im}(\pi) \le \mathrm{rk}(T_x\pi)$? Any hint/reference on this topic will be very welcome.

N.B. If it helps, one can assume that $X$ is of the form $C \times S$, for a non-singular curve $C$ over $k$ of genus at least $2$ and $f$ is projection onto the second coordinate.

$\endgroup$
2
  • $\begingroup$ That can fail in positive characteristic for certain choices of $X$ and $S$ where the relative dimension of $f$ is at least $2$, e.g., families coming from genus $0$ curves on (inseparably) unirational K3 surfaces. However, for $X$ of the form $C\times S$, I do not immediately see any counterexample. $\endgroup$ Oct 10, 2015 at 17:34
  • $\begingroup$ Maybe there are examples arising from curves in positive characteristic with non-reduced $G^r_d$-spaces . . . This came up yesterday in another MO question. If I find an example, I will post it. $\endgroup$ Oct 23, 2015 at 11:56

0

Your Answer

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