FI- and OI-modules with varying coefficients

Abstract

We introduce FI-algebras over a commutative ring $K$ and the category of FI-modules over an FI-algebra. Such a module may be considered as a family of invariant modules over compatible varying $K$-algebras. FI-modules over $K$ correspond to the well studied constant coefficient case where every algebra equals $K$. We show that a finitely generated FI-module over a noetherian polynomial FI-algebra is a noetherian module. This is established by introducing OI-modules. We prove that every submodule of a finitely generated free OI-module over a noetherian polynomial OI-algebra has a finite Gröbner basis. Applying our noetherianity results to a family of free resolutions, finite generation translates into stabilization of syzygies in any fixed homological degree. In particular, in the graded case this gives uniformity results on degrees of minimal syzygies.

28 pages; minor modifications

References in corpus (1)

• Syzygies of bounded rank symmetric tensors are generated in bounded degree

Cited by in corpus (19)

• Castelnuovo-Mumford regularity up to symmetry
• Codimension and Projective Dimension up to Symmetry
• Sp-equivariant modules over polynomial rings in infinitely many variables
• Pseudocharacters of Classical Groups
• Invariant chains in algebra and discrete geometry
• An application of the theory of FI-algebras to graph configuration spaces
• Theorems of Carathéodory, Minkowski-Weyl, and Gordan up to symmetry
• Symmetric ideals of the infinite polynomial ring
• Equivariant Hilbert series for hierarchical models
• GL-algebras in positive characteristic I: the exterior algebra
• Asymptotic behavior of symmetric ideals: A brief survey
• A Kruskal-Katona type result and applications
• The semi-linear representation theory of the infinite symmetric group
• GL-algebras in positive characteristic II: the polynomial ring
• Sym-Noetherianity for powers of GL-varieties
• The graph minor theorem in topological combinatorics
• Image closure of symmetric wide-matrix varieties
• On monoids up to symmetry
• Symmetric Ideals and Invariant Hilbert Schemes