Categorifications of rational Hilbert series and characters of $F{S}^{op}$ modules

Abstract

We introduce a method for associating a chain complex to a module over a combinatorial category, such that if the complex is exact then the module has a rational Hilbert series. We prove homology--vanishing theorems for these complexes for several combinatorial categories including: the category of finite sets and injections, the opposite of the category of finite sets and surjections, and the category of finite dimensional vector spaces over a finite field and injections. Our main applications are to modules over the opposite of the category of finite sets and surjections, known as $F{S}^{op}$ modules. We obtain many constraints on the sequence of symmetric group representations underlying a finitely generated $F{S}^{op}$ module. In particular, we describe its character in terms of functions that we call character exponentials. Our results have new consequences for the character of the homology of the moduli space of stable marked curves, and for the equivariant Kazhdan-Luzstig polynomial of the braid matroid.

arXiv commentCorrections to definitions in Section 9, to appear in Alg. & Number Thy

References in corpus (17)

• FI-modules and stability for representations of symmetric groups
• Representation theory and homological stability
• FI-modules over Noetherian rings
• Gröbner methods for representations of combinatorial categories
• GL-equivariant modules over polynomial rings in infinitely many variables
• Representation stability and finite linear groups
• Homology of FI-modules
• Syzygies of Segre embeddings and Delta-modules
• FI-modules and the cohomology of modular representations of symmetric groups
• The feasible region for consecutive patterns of permutations is a cycle polytope
• Triangulations of simplices with vanishing local h-polynomial
• Splitting groups with cubic Cayley graphs of connectivity two
• Stability in the homology of congruence subgroups
• A generalized Koszul theory and its application
• $\mathrm{VI}$ modules in non-describing characteristic, Part I
• Central stability homology
• Stability phenomena for resonance arrangements

Cited by in corpus (2)

• Kazhdan-Lusztig polynomials of braid matroids
• Polynomial representations of the Witt Lie algebra