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