English

On the Quot scheme $\mathrm{Quot}_{\mathcal O_{\mathbb P^1}^r/\mathbb P^1/k}^d$

Algebraic Geometry 2019-06-06 v1

Abstract

We consider the quot scheme QuotFr/P1/kd\mathrm{Quot}^d_{\mathcal F^r/ \mathbb P^1/ k} of locally free quotients of Fr:=rOP1\mathcal F^r:= \bigoplus ^{ r} \mathcal O_{\mathbb P^1 } with Hilbert polynomial p(t)=dp(t)=d. We prove that it is a smooth variety of dimension drdr, locally isomorphic to Adr\mathbb A^{dr}. We introduce a new notion of support for modules in QuotFr/P1/kd\mathrm{Quot}^d_{\mathcal F^r/ \mathbb P^1/ k}, called Hilb-support that allows us to define a natural surjective morphism of schemes ξ:QuotFr/P1/kdHilbOP1d\xi :\mathrm{Quot}^d_{\mathcal F^r/ \mathbb P^1/ k} \to \mathrm{Hilb}^d_{\mathcal O_{\mathbb P^1}} associating to each module its Hilb-support and study the fibres of ξ\xi over each kk-point ZZ of HilbOP1d\mathrm{Hilb}^d_{\mathcal O_{\mathbb P^1}}. If Z=Y1++YnZ=Y_1+\dots+Y_n, with Yj=tjRjY_j=t_jR_j, where R1,,RnR_1, \dots, R_n are distinct points, the fibre of ξ\xi over ZZ is isomorphic to QuotFOY1/Y1/kt1××QuotFOYn/Yn/ktn\mathrm{Quot}^{t_1}_{\mathcal F\otimes \mathcal O_{Y_1}/ Y_1/ k}\times\dots \times \mathrm{Quot}^{t_n}_{\mathcal F\otimes \mathcal O_{Y_n}/ Y_n/ k}. We then study the Quot scheme QuotFrOY/Y/kt\mathrm{Quot}^{t}_{\mathcal F^r\otimes \mathcal O_{Y}/ Y/ k} with Y=tRY=tR. For t=1t=1, QuotFrOY/Y/kt\mathrm{Quot}^{t}_{\mathcal F^r\otimes \mathcal O_{Y}/ Y/ k} is isomorphic to Pr1\mathbb P^{r-1}, while for t2t\geq 2 we prove that it is formed by a main irreducible, reduced and singular component of dimension t(r1)t(r-1) and by some embedded component of lower dimension.

Keywords

Cite

@article{arxiv.1906.01953,
  title  = {On the Quot scheme $\mathrm{Quot}_{\mathcal O_{\mathbb P^1}^r/\mathbb P^1/k}^d$},
  author = {Cristina Bertone and Steven L. Kleiman and Margherita Roggero},
  journal= {arXiv preprint arXiv:1906.01953},
  year   = {2019}
}

Comments

11 pages, preliminary version, comments are welcome!