Stillman's conjecture via generic initial ideals

Jan Draisma, Michal Lason, Anton Leykin

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