Polynomial representations of the Witt Lie algebra
Steven V Sam, Andrew Snowden, Philip Tosteson
TL;DR
This paper establishes finiteness and qualitative growth properties for polynomial representations of the Witt Lie algebra $\mathfrak{W}_n$ by linking them to combinatorial categories. It proves that the category of polynomial $\mathfrak{W}_n$-representations is locally noetherian and that their Hilbert series are rational with denominators built from factors $1-t^m$, with dimensions that are eventually quasi-polynomial. A central insight is that polynomial $\mathfrak{W}$-modules correspond to $\mathbf{Fin}^{\mathrm{op}}$-modules, enabling transfer of noetherianity and Hilbert-series results via specialization functors and Serre quotients. The work also develops a broad operadic framework showing an equivalence between polynomial representations of derivation Lie algebras and modules over wiring categories, generalizing Schur–Weyl duality and connecting to $\mathcal{W}$- and $P$-algebra structures. By weaving together operads, wiring categories, and $\mathbf{FS}^{\mathrm{op}}$-modules, the results illuminate finiteness phenomena in infinite-dimensional Lie algebra representations and give tools for representation stability and related combinatorial algebra problems.
Abstract
The Witt algebra W_n is the Lie algebra of all derivations of the n-variable polynomial ring V_n=C[x_1, ..., x_n] (or of algebraic vector fields on A^n). A representation of W_n is polynomial if it arises as a subquotient of a sum of tensor powers of V_n. Our main theorems assert that finitely generated polynomial representations of W_n are noetherian and have rational Hilbert series. A key intermediate result states polynomial representations of the infinite Witt algebra are equivalent to representations of Fin^op, where Fin is the category of finite sets. We also show that polynomial representations of W_n are equivalent to polynomial representations of the endomorphism monoid of A^n. These equivalences are a special case of an operadic version of Schur--Weyl duality, which we establish.
