[Paper Review] Simple Virasoro modules which are locally finite over a positive part

Volodymyr Mazorchuk, Kaiming Zhao|arXiv (Cornell University)|May 27, 2012

Algebraic structures and combinatorial models9 references4 citations

TL;DR

This paper introduces a general construction of simple Virasoro modules that are locally finite over a positive subalgebra, unifying highest weight and Whittaker-type modules. By inducing from simple modules over finite-dimensional solvable algebras $τ_n = \mathfrak{V}_+ / \mathfrak{V}_+^{(n)}$, it classifies all simple Virasoro modules locally finite over $\mathfrak{V}_+^{(k)}$ for some $k$, recovering known modules and constructing new families.

ABSTRACT

We propose a very general construction of simple Virasoro modules generalizing and including both highest weight and Whittaker modules. This reduces the problem of classification of simple Virasoro modules which are locally finite over a positive part to classification of simple modules over a family of finite dimensional solvable Lie algebras. For one of these algebras all simple modules are classified by R. Block and we extend this classification to the next member of the family. As a result we recover many known but also construct a lot of new simple Virasoro modules. We also propose a revision of the setup for study of Whittaker modules.

Motivation & Objective

• To classify all simple Virasoro modules that are locally finite over some $\mathfrak{V}_+^{(k)}$, generalizing known classes like highest weight and Whittaker modules.
• To unify the construction of simple Virasoro modules by introducing a framework that includes both highest weight and Whittaker-type modules under a single induction mechanism.
• To reduce the classification of such modules to the classification of simple modules over finite-dimensional solvable Lie algebras $\mathfrak{a}_n = \mathfrak{V}_+ / \mathfrak{V}_+^{(n)}$.
• To extend Block's classification of simple modules over $\mathfrak{a}_1$ to $\mathfrak{a}_2$, yielding new families of simple Virasoro modules.
• To revise the general Whittaker module setup for the Virasoro algebra, showing that $\mathfrak{F}_\mathfrak{n} = \mathfrak{W}_\mathfrak{n}$ for certain subalgebras $\mathfrak{n}$, thus ensuring all such modules are captured by the main classification.

Proposed method

• Define $\mathfrak{V}_+^{(k)}$ as the Lie subalgebra of $\mathfrak{V}$ generated by $\mathtt{l}_i$ for $i > k$, and study modules locally finite over $\mathfrak{V}_+^{(k)}$.
• Use the induced module construction $\mathrm{Ind}_\theta(N) = U(\mathfrak{V}) \otimes_{U(\mathfrak{V}_+)} N / (\mathtt{c} - \theta)\mathrm{Ind}(N)$ for a simple $\mathfrak{V}_+$-module $N$ satisfying specific finiteness and injectivity conditions.
• Establish that if $\mathtt{l}_k$ acts injectively on $N$ and $\mathtt{l}_i N = 0$ for all $i > k$, then $\mathrm{Ind}_\theta(N)$ is simple for any $\theta \in \mathbb{C}$, forming the core construction.
• Reduce the classification of simple $\mathfrak{V}$-modules locally finite over $\mathfrak{V}_+^{(k)}$ to classifying simple modules over $\mathfrak{a}_n = \mathfrak{V}_+ / \mathfrak{V}_+^{(n)}$, which are finite-dimensional solvable Lie algebras.
• Leverage Block's classification of simple $\mathfrak{a}_1$-modules to recover and extend known Whittaker modules and construct new ones.
• Prove that $\mathfrak{F}_\mathfrak{n} = \mathfrak{W}_\mathfrak{n}$ for certain subalgebras $\mathfrak{n} \subset \mathfrak{V}_+^{(0)}$, validating the Whittaker setup and ensuring completeness of the classification.

Experimental results

Research questions

• RQ1 Which simple Virasoro modules are locally finite over some $\mathfrak{V}_+^{(k)}$?
• RQ2 Can a unified construction generate both highest weight and Whittaker-type modules within a single framework?
• RQ3 To what extent can the classification of such modules be reduced to finite-dimensional Lie algebras $\mathfrak{a}_n = \mathfrak{V}_+ / \mathfrak{V}_+^{(n)}$?
• RQ4 What is the structure of simple modules over $\mathfrak{a}_2$, and how do they relate to known Whittaker modules?
• RQ5 Under what conditions does the Whittaker module setup for the Virasoro algebra yield all locally finite modules?

Key findings

• Theorem 1 establishes that if $N$ is a simple $\mathfrak{V}_+$-module with $\mathtt{l}_k$ injective and $\mathtt{l}_i N = 0$ for all $i > k$, then $\mathrm{Ind}_\theta(N)$ is a simple $\mathfrak{V}$-module for any $\theta \in \mathbb{C}$, providing a general construction method.
• Theorem 2 proves that every simple $\mathfrak{V}$-module locally finite over some $\mathfrak{V}_+^{(k)}$ is either a highest weight module or isomorphic to $\mathrm{Ind}_\theta(N)$ for such $N$, thus classifying all such modules.
• The classification of simple $\mathfrak{V}$-modules locally finite over $\mathfrak{V}_+^{(k)}$ reduces completely to classifying simple modules over the finite-dimensional solvable Lie algebras $\mathfrak{a}_n = \mathfrak{V}_+ / \mathfrak{V}_+^{(n)}$.
• For $n=1$, Block's classification of simple $\mathfrak{a}_1$-modules is extended to $\mathfrak{a}_2$, yielding a complete classification of simple $\mathfrak{a}_2$-modules and thus new families of simple Virasoro modules.
• The paper shows $\mathfrak{F}_\mathfrak{n} = \mathfrak{W}_\mathfrak{n}$ for all $\mathfrak{n} \subset \mathfrak{V}_+^{(0)}$ containing $\mathfrak{V}_+^{(k)}$ for some $k$, validating the Whittaker framework and ensuring all such modules are included in the classification.
• The construction recovers all known Whittaker modules from [OW1, LGZ, FJK] and produces many new simple Virasoro modules not previously classified.