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.

What problem does this paper attempt to address?

The main problem that this paper attempts to solve is to study the growth of representations of the Lie algebra of vector fields with a compatible polynomial algebra action on an affine space. Specifically, the author focuses on holonomic modules (modules with minimal growth) in these representations and establishes some important properties and structure theorems of these modules. ### Specific description of the main problem 1. **Establishing the Bernstein inequality**: The author proves that for an AV - module (i.e., a module of the Lie algebra of vector fields with a compatible polynomial algebra action) on an affine space, its Gelfand - Kirillov dimension $ \text{GKdim}_{\text{AV}}(M)\geq n $, which is similar to the Bernstein inequality for D - modules. Expressed in a formula: \[ \text{GKdim}_{\text{AV}}(M)\geq n \] 2. **Defining holonomic AV - modules**: The author defines a holonomic AV - module as a finitely generated module whose Gelfand - Kirillov dimension is equal to $ n $: \[ M \text{ is a holonomic AV - module} \iff M = 0 \text{ or } \text{GKdim}_{\text{AV}}(M)=n \] 3. **Structure of simple holonomic AV - modules**: The author proves that each simple holonomic AV - module can be represented as the tensor product of a simple holonomic D - module and a finite - dimensional $ \mathfrak{gl}_n $-module: \[ M\cong P\otimes Q \] where $ P $ is a simple holonomic D - module and $ Q $ is a finite - dimensional $ \mathfrak{gl}_n $-module. 4. **Finite length of holonomic AV - modules**: The author also proves that holonomic AV - modules have a finite length, which means that they have a finite composition series. 5. **Differentiability of holonomic AV - modules**: The author proves that holonomic AV - modules are differentiable, that is, their representation maps are differential operators. Specifically, if $ M $ is a holonomic AV - module, then there exists a positive integer $ s $ such that: \[ \sum_{j = 0}^{s}(- 1)^j\binom{s}{j}f^j\circ\rho(f^{s - j}\eta)=0 \] for all $ f\in A $ and $ \eta\in V $. ### Applications and significance These results are of great significance in algebraic geometry and representation theory. In particular, holonomic modules play an important role in the proof of the Riemann - Hilbert correspondence and the Kazhdan - Lusztig conjecture. Moreover, these results provide a theoretical basis for further research on AV - modules on smooth algebraic varieties.

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