Topological Noetherianity of polynomial functors II: base rings with Noetherian spectrum

DOI10.1007/S00208-022-02386-9arXiv2011.12739MaRDI QIDQ6354553FDOQ6354553

Authors: Arthur Bik, Alessandro Danelon, Jan Draisma 

Publication date: 25 November 2020

Abstract: In a previous paper, the third author proved that finite-degree polynomial functors over infinite fields are topologically Noetherian. In this paper, we prove that the same holds for polynomial functors from free $R$-modules to finitely generated $R$-modules, for any commutative ring $R$ whose spectrum is Noetherian. As Erman-Sam-Snowden pointed out, when applying this with $R=mathbbZ$ to direct sums of symmetric powers, one of their proofs of a conjecture by Stillman becomes characteristic-independent. Our paper advertises and further develops the beautiful but not so well-known machinery of polynomial laws. In particular, to any finitely generated R-module M we associate a topological space, which we show is Noetherian when $operatornameSpec(R)$ is; this is the degree-zero case of our result on polynomial functors.

Mathematics Subject Classification ID

Multilinear algebra, tensor calculus (15A69) Actions of groups on commutative rings; invariant theory (13A50) Group actions on varieties or schemes (quotients) (14L30) Commutative Noetherian rings and modules (13E05) Representation theory for linear algebraic groups (20G05)

This page was built for publication: Topological Noetherianity of polynomial functors II: base rings with Noetherian spectrum

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6354553)