Topological noetherianity for cubic polynomials

Abstract

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 any ${\mathbf{GL}}_{\infty }$-stable Zariski closed subset is cut out by finitely many orbits of equations. Our method relies on a careful analysis of an invariant of cubics introduced here called q-rank. This result is motivated by recent work in representation stability, especially the theory of twisted commutative algebras. It is also connected to certain stability problems in commutative algebra, such as Stillman's conjecture.

13 pages

Cited by in corpus (8)

• Polynomials and tensors of bounded strength
• The geometry of polynomial representations
• Stillman's conjecture via generic initial ideals
• Universality of high-strength tensors
• Cubics in 10 variables vs. cubics in 1000 variables: Uniformity phenomena for bounded degree polynomials
• The set of forms with bounded strength is not closed
• Topological Noetherianity of polynomial functors II: base rings with Noetherian spectrum
• On the strength of general polynomials