Family of $\mathscr{D}$-modules and representations with a boundedness property

TL;DR

This paper introduces the concept of uniformly bounded families of holonomic $ abla$-modules to explain boundedness properties in the representation theory of real reductive Lie groups, linking geometric and algebraic aspects.

Contribution

It defines and studies uniformly bounded families of $ abla$-modules, establishing their fundamental properties and applications to representation theory and harmonic analysis.

Findings

Lengths of modules in bounded families are uniformly bounded.

Uniform boundedness is preserved under direct and inverse images.

Results connect $ abla$-modules with boundedness properties in Lie group representations.

Abstract

In the representation theory of real reductive Lie groups, many objects have finiteness properties. For example, the lengths of Verma modules and principal series representations are finite, and more precisely, they are bounded. In this paper, we introduce a notion of uniformly bounded families of holonomic $\mathscr{D}$-modules to explain and find such boundedness properties. A uniform bounded family has good properties. For instance, the lengths of modules in the family are bounded and the uniform boundedness is preserved by direct images and inverse images. By the Beilinson--Bernstein correspondence, we can deduce several boundedness results about the representation theory of complex reductive Lie algebras from corresponding results of uniformly bounded families of $\mathscr{D}$-modules. In this paper, we concentrate on proving fundamental properties of uniformly bounded families, and preparing abstract results for applications to the branching problem and harmonic analysis.