Syzygies of secant ideals of Plücker-embedded Grassmannians are generated in bounded degree

Abstract

Over a field of characteristic $0$, we prove that for each $r\ge 0$ there exists a constant $C(r)$ so that the prime ideal of the $r$th secant variety of any Plücker-embedded Grassmannian $\mathbf{Gr}(d,n)$ is generated by polynomials of degree at most $C(r)$, where $C(r)$ is independent of $d$ and $n$. This bounded generation ultimately reduces to proving a poset is noetherian, we develop a new method to do this. We then translate the structure we develop to the language of functor categories to prove the $i$th syzygy module of the coordinate ring of the $r$th secant variety of any Plücker-embedded Grassmannian $\mathbf{Gr}(d,n)$ is concentrated in degrees bounded by a constant $C(i,r)$, which is again independent of $d$ and $n$.

arXiv comment25 pages; v2: corrected typos, expanded exposition. arXiv admin note: text overlap with arXiv:1510.04904 by other authors

References in corpus (7)

• FI-modules and stability for representations of symmetric groups
• Stability patterns in representation theory
• Introduction to twisted commutative algebras
• Noetherianity of some degree two twisted commutative algebras
• Finite Groebner bases in infinite dimensional polynomial rings and applications
• Plücker varieties and higher secants of Sato's Grassmannian
• Noetherianity up to symmetry

Cited by in corpus (5)

• Structures in representation stability
• Representation stability for sequences of 0-Hecke modules
• Dual Infinite Wedge is ${\mathrm{GL}}_{\infty }$-equivariantly noetherian
• A counterexample to a Gröbner approach for noetherianity of the twisted commutative algebra $\mathrm{Sym}({\mathrm{Sym}}^2({\mathbf{C}}^{\infty }))$
• Topological Noetherianity of the infinite half-spin representations