# Quot scheme

In algebraic geometry, the Quot scheme is a scheme parametrizing sheaves on a projective scheme. More specifically, if X is a projective scheme over a Noetherian scheme S and if F is a coherent sheaf on X, then there is a scheme $\operatorname {Quot} _{F}(X)$ whose set of T-points $\operatorname {Quot} _{F}(X)(T)=\operatorname {Mor} _{S}(T,\operatorname {Quot} _{F}(X))$ is the set of isomorphism classes of the quotients of $F\times _{S}T$ that are flat over T. The notion was introduced by Alexander Grothendieck.
It is typically used to construct another scheme parametrizing geometric objects that are of interest such as a Hilbert scheme. (In fact, taking F to be the structure sheaf ${\mathcal {O}}_{X}$ gives a Hilbert scheme.)

## Definition

For a scheme of finite type $X\to S$ over a Noetherian base scheme $S$, and a coherent sheaf ${\mathcal {E}}\in {\text{Coh}}(X)$, there is a functor
   ${\mathcal {Quot}}_{{\mathcal {E}}/X/S}:(Sch/S)^{op}\to {\text{Sets}}$
sending $T\to S$ to
   ${\mathcal {Quot}}_{{\mathcal {E}}/X/S}(T)=\left\{({\mathcal {F}},q):{\begin{matrix}{\mathcal {F}}\in {\text{QCoh}}(X_{T})\\{\mathcal {F}}\ {\text{finitely presented over}}\ X_{T}\\{\text{Supp}}({\mathcal {F}}){\text{ is proper over }}T\\{\mathcal {F}}{\text{ is flat over }}T\\q:{\mathcal {E}}_{T}\to {\mathcal {F}}{\text{ surjective}}\end{matrix}}\right\}/\sim$
where $X_{T}=X\times _{S}T$ and ${\mathcal {E}}_{T}=pr_{X}^{*}{\mathcal {E}}$ under the projection $pr_{X}:X_{T}\to X$. There is an equivalence relation given by $({\mathcal {F}},q)\sim ({\mathcal {F}}',q')$ if there is an isomorphism ${\mathcal {F}}\to {\mathcal {F}}'$ commuting with the two projections $q,q'$; that is,
   ${\begin{matrix}{\mathcal {E}}_{T}&{\xrightarrow {q}}&{\mathcal {F}}\\\downarrow&&\downarrow \\{\mathcal {E}}_{T}&{\xrightarrow {q'}}&{\mathcal {F}}'\end{matrix}}$
is a commutative diagram for ${\mathcal {E}}_{T}{\xrightarrow {id}}{\mathcal {E}}_{T}$ . Alternatively, there is an equivalent condition of holding ${\text{ker}}(q)={\text{ker}}(q')$. This is called the quot functor which has a natural stratification into a disjoint union of subfunctors, each of which is represented by a projective $S$-scheme called the quot scheme associated to a Hilbert polynomial $\Phi$.

### Hilbert polynomial

For a relatively very ample line bundle ${\mathcal {L}}\in {\text{Pic}}(X)$ and any closed point $s\in S$ there is a function $\Phi _{\mathcal {F}}:\mathbb {N} \to \mathbb {N}$ sending
$m\mapsto \chi ({\mathcal {F}}_{s}(m))=\sum _{i=0}^{n}(-1)^{i}{\text{dim}}_{\kappa (s)}H^{i}(X,{\mathcal {F}}_{s}\otimes {\mathcal {L}}_{s}^{\otimes m})$
which is a polynomial for $m>>0$. This is called the Hilbert polynomial which gives a natural stratification of the quot functor. Again, for ${\mathcal {L}}$ fixed there is a disjoint union of subfunctors
   ${\mathcal {Quot}}_{{\mathcal {E}}/X/S}=\coprod _{\Phi \in \mathbb {Q} [t]}{\mathcal {Quot}}_{{\mathcal {E}}/X/S}^{\Phi ,{\mathcal {L}}}$
where
   ${\mathcal {Quot}}_{{\mathcal {E}}/X/S}^{\Phi ,{\mathcal {L}}}(T)=\left\{({\mathcal {F}},q)\in {\mathcal {Quot}}_{{\mathcal {E}}/X/S}(T):\Phi _{\mathcal {F}}=\Phi \right\}$
The Hilbert polynomial $\Phi _{\mathcal {F}}$ is the Hilbert polynomial of ${\mathcal {F}}_{t}$ for closed points $t\in T$. Note the Hilbert polynomial is independent of the choice of very ample line bundle ${\mathcal {L}}$.

### Grothendieck's existence theorem

It is a theorem of Grothendieck's that the functors ${\mathcal {Quot}}_{{\mathcal {E}}/X/S}^{\Phi ,{\mathcal {L}}}$ are all representable by projective schemes ${\text{Quot}}_{{\mathcal {E}}/X/S}^{\Phi }$ over $S$.

## Examples
### Grassmannian

The Grassmannian $G(n,k)$ of $k$-planes in an $n$-dimensional vector space has a universal quotient
   ${\mathcal {O}}_{G(n,k)}^{\oplus k}\to {\mathcal {U}}$
where ${\mathcal {U}}_{x}$ is the $k$-plane represented by $x\in G(n,k)$. Since ${\mathcal {U}}$ is locally free and at every point it represents a $k$-plane, it has the constant Hilbert polynomial $\Phi (\lambda )=k$. This shows $G(n,k)$ represents the quot functor
   ${\mathcal {Quot}}_{{\mathcal {O}}_{G(n,k)}^{\oplus (n)}/{\text{Spec}}(\mathbb {Z} )/{\text{Spec}}(\mathbb {Z} )}^{k,{\mathcal {O}}_{G(n,k)}}$

#### Projective space

As a special case, we can construct the project space $\mathbb {P} ({\mathcal {E}})$ as the quot scheme
   ${\mathcal {Quot}}_{{\mathcal {E}}/X/S}^{1,{\mathcal {O}}_{X}}$
for a sheaf ${\mathcal {E}}$ on an $S$-scheme $X$.

### Hilbert scheme

The Hilbert scheme is a special example of the quot scheme. Notice a subscheme $Z\subset X$ can be given as a projection
   ${\mathcal {O}}_{X}\to {\mathcal {O}}_{Z}$
and a flat family of such projections parametrized by a scheme $T\in Sch/S$ can be given by
   ${\mathcal {O}}_{X_{T}}\to {\mathcal {F}}$
Since there is a hilbert polynomial associated to $Z$, denoted $\Phi _{Z}$, there is an isomorphism of schemes
   ${\text{Quot}}_{{\mathcal {O}}_{X}/X/S}^{\Phi _{Z}}\cong {\text{Hilb}}_{X/S}^{\Phi _{Z}}$

#### Example of a parameterization

If $X=\mathbb {P} _{k}^{n}$ and $S={\text{Spec}}(k)$ for an algebraically closed field, then a non-zero section $s\in \Gamma ({\mathcal {O}}(d))$ has vanishing locus $Z=Z(s)$ with Hilbert polynomial
   $\Phi _{Z}(\lambda )={\binom {n+\lambda }{n}}-{\binom {n-d+\lambda }{n}}$
Then, there is a surjection
   ${\mathcal {O}}\to {\mathcal {O}}_{Z}$
with kernel ${\mathcal {O}}(-d)$. Since $s$ was an arbitrary non-zero section, and the vanishing locus of $a\cdot s$ for $a\in k^{*}$ gives the same vanishing locus, the scheme $Q=\mathbb {P} (\Gamma ({\mathcal {O}}(d)))$ gives a natural parameterization of all such sections. There is a sheaf ${\mathcal {E}}$ on $X\times Q$ such that for any $[s]\in Q$, there is an associated subscheme $Z\subset X$ and surjection ${\mathcal {O}}\to {\mathcal {O}}_{Z}$. This construction represents the quot functor
   ${\mathcal {Quot}}_{{\mathcal {O}}/\mathbb {P} ^{n}/{\text{Spec}}(k)}^{\Phi _{Z}}$

#### Quadrics in the projective plane

If $X=\mathbb {P} ^{2}$ and $s\in \Gamma ({\mathcal {O}}(2))$, the Hilbert polynomial is
   ${\begin{aligned}\Phi _{Z}(\lambda )&={\binom {2+\lambda }{2}}-{\binom {2-2+\lambda }{2}}\\&={\frac {(\lambda +2)(\lambda +1)}{2}}-{\frac {\lambda (\lambda -1)}{2}}\\&={\frac {\lambda ^{2}+3\lambda +2}{2}}-{\frac {\lambda ^{2}-\lambda }{2}}\\&={\frac {2\lambda +2}{2}}\\&=\lambda +1\end{aligned}}$
and
   ${\text{Quot}}_{{\mathcal {O}}/\mathbb {P} ^{2}/{\text{Spec}}(k)}^{\lambda +1}\cong \mathbb {P} (\Gamma ({\mathcal {O}}(2)))\cong \mathbb {P} ^{5}$
The universal quotient over $\mathbb {P} ^{5}\times \mathbb {P} ^{2}$ is given by
   ${\mathcal {O}}\to {\mathcal {U}}$
where the fiber over a point $[Z]\in {\text{Quot}}_{{\mathcal {O}}/\mathbb {P} ^{2}/{\text{Spec}}(k)}^{\lambda +1}$ gives the projective morphism
   ${\mathcal {O}}\to {\mathcal {O}}_{Z}$
For example, if $[Z]=[a_{0}:a_{1}:a_{2}:a_{3}:a_{4}:a_{5}]$ represents the coefficients of
   $f=a_{0}x^{2}+a_{1}xy+a_{2}xz+a_{3}y^{2}+a_{4}yz+a_{5}z^{2}$
then the universal quotient over $[Z]$ gives the short exact sequence
   $0\to {\mathcal {O}}(-2){\xrightarrow {f}}{\mathcal {O}}\to {\mathcal {O}}_{Z}\to 0$

### Semistable vector bundles on a curve

Semistable vector bundles on a curve $C$ of genus $g$ can equivalently be described as locally free sheaves of finite rank. Such locally free sheaves ${\mathcal {F}}$ of rank $n$ and degree $d$ have the properties
* $H^{1}(C,{\mathcal {F}})=0$
* ${\mathcal {F}}$ is generated by global sections
for $d>n(2g-1)$. This implies there is a surjection
   $H^{0}(C,{\mathcal {F}})\otimes {\mathcal {O}}_{C}\cong {\mathcal {O}}_{C}^{\oplus N}\to {\mathcal {F}}$
Then, the quot scheme ${\mathcal {Quot}}_{{\mathcal {O}}_{C}^{\oplus N}/{\mathcal {C}}/\mathbb {Z} }$ parametrizes all such surjections. Using the Grothendieck–Riemann–Roch theorem the dimension $N$ is equal to
   $\chi ({\mathcal {F}})=d+n(1-g)$
For a fixed line bundle ${\mathcal {L}}$ of degree $1$ there is a twisting ${\mathcal {F}}(m)={\mathcal {F}}\otimes {\mathcal {L}}^{\otimes m}$, shifting the degree by $nm$, so
   $\chi ({\mathcal {F}}(m))=mn+d+n(1-g)$
giving the Hilbert polynomial
   $\Phi _{\mathcal {F}}(\lambda )=n\lambda +d+n(1-g)$
Then, the locus of semi-stable vector bundles is contained in
   ${\mathcal {Quot}}_{{\mathcal {O}}_{C}^{\oplus N}/{\mathcal {C}}/\mathbb {Z} }^{\Phi _{\mathcal {F}},{\mathcal {L}}}$
which can be used to construct the moduli space ${\mathcal {M}}_{C}(n,d)$ of semistable vector bundles using a GIT quotient.