Stillman's question for exterior algebras and Herzog's conjecture on Betti numbers of syzygy modules (Q1789658)

From MaRDI portal





scientific article
Language Label Description Also known as
default for all languages
No label defined
    English
    Stillman's question for exterior algebras and Herzog's conjecture on Betti numbers of syzygy modules
    scientific article

      Statements

      Stillman's question for exterior algebras and Herzog's conjecture on Betti numbers of syzygy modules (English)
      0 references
      0 references
      10 October 2018
      0 references
      A recurring theme in the study of Koszul rings is to find analogues of results that are true for the Castelnuovo-Mumford regularity of modules over a polynomial ring. A famous conjecture of Stillman states that if $S$ is a polynomial ring and $I$ is a homogeneous ideal of $S$, then there is an upper bound on the projective dimension of $S/I$, as an $S$-module, that only depends on the number and degrees of the minimal generators of $I$. Caviglia showed that this conjecture is equivalent to the analogous one for the regularity. \textit{T. Ananyan} and \textit{M. Hochster} [``Small subalgebras of polynomial rings and Stillman's conjecture'', Preprint, \url{arXiv:1610.09268}] proved that Stillman's conjecture is indeed true. A natural question that arises from these results is: is Stillman's conjecture (the version with regularity) true over any Koszul ring? \par Let $k$ be a field of characteristic zero and $E$ the positively graded exterior algebra of the $k$-vector space generated by the elements $e_1,e_2,\dots, e_{2n}$, where $n$ is a positive integer, and let $f=e_1e_2+\cdots+e_{2n-1}e_{2n}$. In this paper the author proves that $\mathrm{reg}_E(E/(f))=n$, showing that Stillman's conjecture is not true for exterior algebras, and therefore not true for general Koszul rings. \par The author also provides counterexamples to a conjecture of Herzog regarding the Betti numbers in the linear strand of syzygy modules over polynomial rings. These counterexamples are BGG dual to the ideals $(f)$ of $E$ mentioned in the previous paragraph.
      0 references
      0 references
      regularity
      0 references
      Betti numbers
      0 references
      syzygies
      0 references
      exterior algebras
      0 references

      Identifiers