Gotzmann regularity for globally generated coherent sheaves (Q898194): Difference between revisions

Let \(k\) be a field and let \(S=k[x_0,\dots,x_n]\), the homogeneous polynomial ring. The author considers graded modules over \(S\). For a graded \(S\)-module \(N\), the Hilbert function \(H(N,d)\) assigns to each integer \(d\) the vector space dimension of the \(d\)-th graded component of \(N\). The Hilbert polynomial \(P_N(d)\) is the polynomial that agrees with \(H(N,d)\) for all large \(d\). Given integers \(a\) and \(d\), the \(d\)-th Macaulay representation of \(a\) is a certain sum of binomial coefficients that equals \(a\), and is used in Macaulay's theorem to give an upper bound for \(H(N,d+1)\) when \(N=S/I\) for a homogeneous ideal \(I\). When Macaulay's bound is achieved, the Gotzmann Persistence Theorem gives the value of \(H(S/I,d+k)\) for all \(k \geq 1\), namely it is equal to the Hilbert polynomial in this range. The Gotzmann Regularity Theorem then gives the regularity of \(S/I\). \textit{G. Gotzmann} [Math. Z. 158, 61--70 (1978; Zbl 0352.13009)] also gave a construction of the Hilbert scheme \(\mathrm{Hilb}_P(\mathbb P^n)\). Gasharov extended the Gotzmann Persistence Theorem to the situation of graded modules. In this paper the author extends the Gotzmann Regularity Theorem to the case of globally generated coherent sheaves on projective space. He then generalizes Gotzmann's construction to the case of the Quot scheme \(\mathrm{Quot}_P(\mathcal O_{\mathbb P^n}^r)\), and gives a bound on the second Chern class of a rank 2 globally generated coherent sheaf in terms of the first Chern class.