Stillman’s conjecture via generic initial ideals

Jan Draisma, Michał Lasoń, Anton Leykin (Corresponding author)

Research output: Contribution to journalArticleAcademicpeer-review

10 Citations (Scopus)
86 Downloads (Pure)


Using recent work by Erman–Sam–Snowden, we show that finitely generated ideals in the ring of bounded-degree formal power series in infinitely many variables have finitely generated Gröbner bases relative to the graded reverse lexicographic order. We then combine this result with the first author’s work on topological Noetherianity of polynomial functors to give an algorithmic proof of the following statement: ideals in polynomial rings generated by a fixed number of homogeneous polynomials of fixed degrees only have a finite number of possible generic initial ideals, independently of the number of variables that they involve and independently of the characteristic of the ground field. Our algorithm outputs not only a finite list of possible generic initial ideals, but also finite descriptions of the corresponding strata in the space of coefficients. Dedicated to Gennady Lyubeznik on the occasion of his 60th birthday.

Original languageEnglish
Pages (from-to)2384-2395
Number of pages12
JournalCommunications in Algebra
Issue number6
Publication statusPublished - 3 Jun 2019


  • Stillman's conjecture


Dive into the research topics of 'Stillman’s conjecture via generic initial ideals'. Together they form a unique fingerprint.

Cite this