Image closure of symmetric wide-matrix varieties

Abstract

Let $X$ be an affine scheme of $k\times \mathbb{N}$-matrices and $Y$ be an affine scheme of $\mathbb{N}\times \cdots \times \mathbb{N}$-dimensional tensors. The group Sym$(\mathbb{N})$ acts naturally on both $X$ and $Y$ and on their coordinate rings. We show that the Zariski closure of the image of a Sym$(\mathbb{N})$-equivariant morphism of schemes from $X$ to $Y$ is defined by finitely many Sym$(\mathbb{N})$-orbits in the coordinate ring of $Y$. Moreover, we prove that the closure of the image of this map is Sym$(\mathbb{N})$-Noetherian, that is, every descending chain of Sym$(\mathbb{N})$-stable closed subsets stabilizes.

References in corpus (9)

• FI-modules and stability for representations of symmetric groups
• Algebraic Factor Analysis: Tetrads, Pentads and Beyond
• Equivariant Hilbert Series in non-Noetherian Polynomial Rings
• Bounded-rank tensors are defined in bounded degree
• FI- and OI-modules with varying coefficients
• Castelnuovo-Mumford regularity up to symmetry
• Codimension and Projective Dimension up to Symmetry
• Betti numbers of symmetric shifted ideals
• Invariant chains in algebra and discrete geometry