2016/10/03 by Susan J. Sierra, Špela Špenko, Sierra, Susan J. +1 · 1 citation
Mathematics · #Advanced Topics in Algebra #Algebraic Geometry and Number Theory #Algebraic structures and combinatorial models #FOS: Mathematics #Rings and Algebras (math.RA) #math.RA
paper · pdf · doi:10.48550/arxiv.1610.00776
9 pages; to appear in J. Algebra
openalex publication_date 2016/10/03 · arxiv created 2017/04/11 · arxiv updated 2017/04/12 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Let \Bbbk be an algebraically closed field of characteristic zero, and let Γ be an additive subgroup of \Bbbk. Results of Kaplansky-Santharoubane and Su classify intermediate series representations of the generalised Witt algebra WΓ in terms of three families, one parameterised by \mathbb A2 and two by \mathbb P1. In this note, we use the first family to construct a homomorphism Φ from the enveloping algebra U(WΓ) to a skew extension of \Bbbk[a,b]. We show that the image of Φ is contained in a (double) idealizer subring of this skew extension and that the representation theory of idealizers explains the three families. We further show that the image of U(WΓ) under Φ is not left or right noetherian, giving a new proof that U(WΓ) is not noetherian. We construct Φ as an application of a general technique to create ring homomorphisms from shift-invariant families of modules. Let G be an arbitrary group and let A be a G-graded ring. A graded A-module M is an intermediate series module if Mg is one-dimensional for all g ∈ G. Given a shift-invariant family of intermediate series A-modules parametrised by a scheme X, we construct a homomorphism Φ from A to a skew-extension of \Bbbk[X]. The kernel of Φ consists of those elements which annihilate all modules in X.