Table of Contents
Fetching ...

Regular actions and semisimplicity of conformal modules over the general conformal algebra

Yucai Su, Chunguang Xia

TL;DR

This work introduces the notion of regular actions for conformal modules over Lie conformal algebras with Virasoro elements and derives semisimplicity criteria for finite modules over the general conformal algebras ${\mathfrak{gc}}_1$ and ${\mathfrak{gc}}_N$. The main results show that a finite ${\mathfrak{gc}}_1$-module $V$ is semisimple iff there exist two distinct Virasoro elements whose actions on a ${\mathbb{C}}[\partial]$-basis are regular, while for $N\ge2$ the criterion uses two distinct canonical Virasoro elements with regular actions. Along the way, the paper classifies Virasoro elements of ${\mathfrak{gc}}_1$ completely, develops a detailed framework for canonical and standard Virasoro elements in ${\mathfrak{gc}}_N$, and constructs many new Virasoro conformal modules. A key part of the proofs leverages the Heisenberg–Virasoro subalgebra for $N=1$ and Skolem–Noether rigidity for $N\ge2$, linking regularity to semisimplicity via decomposition into irreducible constituents. These results provide Weyl-type semisimplicity criteria in conformal representation theory and yield a rich supply of new Virasoro modules with potential applications to conformal and vertex algebra contexts.

Abstract

We introduce the notion of a regular action in the category of conformal modules over Lie conformal algebras with Virasoro elements. We show that a finite conformal module over the general conformal algebra $\mathfrak{gc}_1$ (resp., $\mathfrak{gc}_N$ with $N\ge2$) is semisimple if and only if there exists a pair of different Virasoro elements (resp., canonical Virasoro elements) with regular actions. Along the way to finding a semisimplicity criteria, we also discuss the classification of Virasoro elements of $\mathfrak{gc}_N$ in-depth, leading us to construct a huge number of new Virasoro conformal modules.

Regular actions and semisimplicity of conformal modules over the general conformal algebra

TL;DR

This work introduces the notion of regular actions for conformal modules over Lie conformal algebras with Virasoro elements and derives semisimplicity criteria for finite modules over the general conformal algebras and . The main results show that a finite -module is semisimple iff there exist two distinct Virasoro elements whose actions on a -basis are regular, while for the criterion uses two distinct canonical Virasoro elements with regular actions. Along the way, the paper classifies Virasoro elements of completely, develops a detailed framework for canonical and standard Virasoro elements in , and constructs many new Virasoro conformal modules. A key part of the proofs leverages the Heisenberg–Virasoro subalgebra for and Skolem–Noether rigidity for , linking regularity to semisimplicity via decomposition into irreducible constituents. These results provide Weyl-type semisimplicity criteria in conformal representation theory and yield a rich supply of new Virasoro modules with potential applications to conformal and vertex algebra contexts.

Abstract

We introduce the notion of a regular action in the category of conformal modules over Lie conformal algebras with Virasoro elements. We show that a finite conformal module over the general conformal algebra (resp., with ) is semisimple if and only if there exists a pair of different Virasoro elements (resp., canonical Virasoro elements) with regular actions. Along the way to finding a semisimplicity criteria, we also discuss the classification of Virasoro elements of in-depth, leading us to construct a huge number of new Virasoro conformal modules.

Paper Structure

This paper contains 15 sections, 12 theorems, 85 equations, 1 table.

Key Result

Theorem 2.5

A finite conformal module over ${\mathfrak {Vir}}$ is semisimple if and only if the action of the unique Virasoro element $L$ is regular and the conformal weight product $p\ne 0$.

Theorems & Definitions (21)

  • Definition 2.1
  • Definition 2.2
  • Definition 2.3
  • Example 1
  • Example 2
  • Definition 2.4
  • Theorem 2.5
  • Theorem 3.1
  • Definition 3.2
  • Theorem 3.3
  • ...and 11 more