Gotzmann regularity for globally generated coherent sheaves (Q898194)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Gotzmann regularity for globally generated coherent sheaves |
scientific article |
Statements
Gotzmann regularity for globally generated coherent sheaves (English)
0 references
8 December 2015
0 references
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.
0 references
Gotzmann regularity theorem
0 references
Gotzmann persistence theorem
0 references
\(d\)-th Macaulay representation
0 references
Macaulay bound
0 references
second Chern class
0 references
coherent sheaf
0 references