Topological noetherianity for cubic polynomials

Harm Derksen, Rob H. Eggermont, Andrew Snowden

Let $P_3({\mathbf{C}}^{\infty })$ be the space of complex cubic polynomials in infinitely many variables. We show that this space is ${\mathbf{GL}}_{\infty }$-noetherian, meaning that an…