2 problems

Draisma's conjecture. The affine infinite Grassmannian $\widetilde{\operatorname{Gr}}(\infty/2,V^*_\infty)$ is topologically $S_\infty$-noetherian: every descending chain of…

Let $k$ be a field, let $K=k(\Psi)$ with its standard $\mathop{\mathfrak{S}}\nolimits_{\Psi}$-action, and let $K[\binom{\Psi}{s}]$ denote the smooth…