[Paper Review] Bounded weight modules of the Lie algebra of vector fields on ${\mathbb C}^2$

Andrew Cavaness, Dimitar Grantcharov|arXiv (Cornell University)|Nov 6, 2016

Algebraic structures and combinatorial models3 references3 citations

TL;DR

This paper classifies all simple bounded weight modules for the Lie algebra $W_2$ of polynomial vector fields on $\mathbb{C}^2$, showing they are either the trivial module or generalized tensor modules $T(\nu,\lambda,J)$ with specific constraints on parameters. The classification relies on twisted localization functors and analysis of weight multiplicities, providing a foundational step toward classifying all simple weight $W_n$-modules with finite weight multiplicities.

ABSTRACT

We study weight modules of the Lie algebra $W_2$ of vector fields on ${\mathbb C}^2$. A classification of all simple weight modules of $W_2$ with a uniformly bounded set of weight multiplicities is provided. To achieve this classification we introduce a new family of generalized tensor $W_n$-modules. Our classification result is an important step in the classification of all simple weight $W_n$-modules with finite weight multiplicities.

Motivation & Objective

• To classify all simple weight $W_2$-modules with uniformly bounded weight multiplicities, a critical step toward the broader classification of simple weight $W_n$-modules with finite weight multiplicities.
• To introduce and study a new family of generalized tensor $W_n$-modules to facilitate the classification of bounded $W_2$-modules.
• To extend techniques from Mathieu's classification of Virasoro algebra modules to the more complex setting of $W_2$, particularly using twisted localization functors.
• To establish that the Levi subalgebras of parabolic subalgebras of $W_2$ are isomorphic to $\operatorname{Der}\mathbb{C}[x]\ltimes\mathbb{C}[x]$, enabling further structural analysis.
• To lay the groundwork for understanding the category $\mathcal{B}$ of bounded $W_n$-representations, which is expected to have geometric realizations via twisted functions and differential forms.

Proposed method

• The authors use the twisted localization functor, a technique pioneered by Mathieu, to relate generalized tensor modules to irreducible bounded modules.
• They analyze the weight spaces and primitive vectors under the action of $x_1\partial_2$ and $x_2\partial_1$, focusing on eigenvalues and spectral properties to determine module isomorphisms.
• The classification relies on identifying when modules $T(\nu,\lambda,J)$ are simple and bounded, using constraints on $\nu, \lambda$, and the set $J \in \mathcal{PM}(\lambda - \nu)$.
• The proof involves detailed analysis of the Hor and Ver sets (horizontal and vertical weights) of primitive vectors in localized modules, using Lemma 4.17 and Lemma 4.18 to relate different parameterizations.
• They apply a parabolic induction framework inspired by Penkov-Serganova, though the full parabolic structure is simplified in the $n=2$ case.
• The key technical tool is the identification of eigenvalue conditions for the operator $(x_1\partial_2)(x_2\partial_1)$ on weight spaces, which are used to establish isomorphisms between modules via Zariski density arguments.

Experimental results

Research questions

• RQ1 What is the complete classification of simple bounded weight modules for the Lie algebra $W_2$ of vector fields on $\mathbb{C}^2$?
• RQ2 How can twisted localization functors be used to classify irreducible modules with finite weight multiplicities in the context of Cartan-type Lie algebras?
• RQ3 What are the structural properties of the Levi subalgebras of parabolic subalgebras of $W_2$, and how do they influence the classification of bounded modules?
• RQ4 Under what conditions are generalized tensor modules $T(\nu,\lambda,J)$ irreducible and bounded, and when do they become isomorphic?
• RQ5 How do the constraints $\lambda \neq (1,0)$, $(\nu,\lambda,J) \neq ((0,0),(0,0),(1^+,2^+))$, and $(\nu,\lambda,J) \neq ((1,1),(1,1),(1^-,2^-))$ affect the isomorphism classes of bounded modules?

Key findings

• All simple bounded $W_2$-modules are isomorphic to either the trivial module $\mathbb{C}$ or to a generalized tensor module $T(\nu,\lambda,J)$ with parameters satisfying $\lambda_i - \nu_i \notin \mathbb{Z}$ for $i=1,2$, $\lambda \neq (1,0)$, and excluding specific exceptional triples.
• The isomorphism class of $T(\nu,\lambda,J)$ depends only on the difference $\nu - \nu'$ modulo $\mathbb{Z}^2$, the value of $\lambda$, and the set $J$, with $J \in \mathcal{PM}(\lambda - \nu)$.
• The twisted localization functor establishes isomorphisms between modules with different parameterizations, proving that $D_{\langle x_1\partial_2\rangle}^{\nu_2}T(s - \nu_2\alpha, \lambda, 2^-) \simeq T(s,\lambda)$ under certain conditions.
• The proof relies on showing that the set of eigenvalues of $(x_1\partial_2)(x_2\partial_1)$ on weight spaces is Zariski dense in $\mathbb{C}^2$, allowing functional identities to extend globally.
• The classification is complete and explicit: two modules $T(\nu,\lambda,J)$ and $T(\nu',\lambda',J')$ are isomorphic if and only if $\nu - \nu' \in \mathbb{Z}^2$, $\lambda = \lambda'$, and $J = J'$.
• The structure of the Levi subalgebra $\mathfrak{l} \simeq \operatorname{Der}\mathbb{C}[x]\ltimes\mathbb{C}[x]$ in the $n=2$ case is essential for classifying bounded $\mathfrak{l}$-modules, which are used to classify bounded $W_2$-modules.