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
    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
    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
    0 references
    0 references