Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

Holonomic $A\mathcal{V}$-modules for the affine space

Yuly Billig, Henrique Rocha

Abstract

We study the growth of representations of the Lie algebra of vector fields on the affine space that admit a compatible action of the polynomial algebra. We establish the Bernstein inequality for these representations, enabling us to focus on modules with minimal growth, known as holonomic modules. We show that simple holonomic modules are isomorphic to the tensor product of a holonomic module over the Weyl algebra and a finite-dimensional $\mathfrak{gl}_n$-module. We also prove that holonomic modules have a finite length and that the representation map associated with a holonomic module is a differential operator. Finally, we present examples illustrating our results.

Holonomic $A\mathcal{V}$-modules for the affine space

Abstract

We study the growth of representations of the Lie algebra of vector fields on the affine space that admit a compatible action of the polynomial algebra. We establish the Bernstein inequality for these representations, enabling us to focus on modules with minimal growth, known as holonomic modules. We show that simple holonomic modules are isomorphic to the tensor product of a holonomic module over the Weyl algebra and a finite-dimensional -module. We also prove that holonomic modules have a finite length and that the representation map associated with a holonomic module is a differential operator. Finally, we present examples illustrating our results.

Paper Structure

This paper contains 5 sections, 23 theorems, 42 equations.

Table of Contents

  1. Preliminaries
  2. Gelfand-Kirillov dimension of $A\mathcal{V}$-modules
  3. Holonomic $A\mathcal{V}$-modules
  4. Holonomic modules are differentiable
  5. Examples of holonomic $A\mathcal{V}$-modules

Key Result

Theorem 1.1

The algebras $A \# U(\mathcal{V})$ and $\mathcal{D} \otimes U(\mathcal{L}_+)$ are isomorphic. The isomorphism maps $\varphi: A \# U(\mathcal{V}) \rightarrow D \otimes U(\mathcal{L}_+)$ and its inverse $\psi: D \otimes U(\mathcal{L}_+) \rightarrow A \# U(\mathcal{V})$ defined by $\varphi$ restricted to $A$ is the natural embedding into $\mathcal{D}$, and

Theorems & Definitions (43)

  • Theorem 1.1: XL23BIN23
  • Example 1.2
  • Example 2.1
  • Lemma 2.2
  • proof
  • Corollary 2.3
  • Lemma 2.4
  • Lemma 2.5
  • proof
  • Lemma 2.6
  • ...and 33 more