Gotzmann regularity for globally generated coherent sheaves (Q898194)

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

scientific article; zbMATH DE number 6517761
Language Label Description Also known as
default for all languages
No label defined
    English
    Gotzmann regularity for globally generated coherent sheaves
    scientific article; zbMATH DE number 6517761

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

      Identifiers