Weyl algebras on Braverman-Kazhdan spaces

Technical Summary: Weyl Algebras on Braverman-Kazhdan Spaces

Problem Statement
The paper investigates the ring of differential operators, denoted $D(X)$, on a specific family of singular algebraic varieties known as Braverman-Kazhdan spaces. Let $G$ be a split, simply connected, almost simple algebraic group over a field $K$ of characteristic zero, and let $P$ be a maximal parabolic subgroup. The space in question is $X_P := \text{Spec}(K[P^{\text{der}}\backslash G])$, which is generally singular (smooth only when it is a vector space). While $D(X)$ for smooth varieties $X$ is well-understood—possessing properties such as being a simple Noetherian domain, having an associated graded algebra isomorphic to the coordinate ring of the cotangent bundle, and satisfying the Bernstein inequality—these properties often fail for singular varieties. The central problem is to determine whether these classical structural properties of Weyl algebras extend to $D(X_P)$ for Braverman-Kazhdan spaces.

Methodology
The author's approach relies on the construction and analysis of a specific algebra, $W_{X_P}$, which serves as a candidate for the ring of differential operators. The methodology proceeds through the following steps:

1. Construction of $W_{X_P}$: Building on prior work (specifically [Hsu21] for the archimedean case), the paper defines $W_{X_P}$ as the algebra generated by coordinate functions $x_i$ and specific differential operators $\partial_i$. These operators are constructed via a unitary Fourier transform $F_{P|P^{\text{op}}}$ acting on the Schwartz space $S(X_P(\mathbb{R}))$, linking the geometry of $X_P$ with its dual space $X_{P^{\text{op}}}$.
2. Algebraic Analysis: The paper establishes that $W_{X_P}$ is a simple domain. A crucial technique involves identifying a distinguished collection of elements (related to the Euler operator $E$ and polynomials $Z_r(t)$) that generate the identity, thereby proving simplicity.
3. Filtration and Dimension Theory: The author employs the Bernstein filtration and analyzes the Gelfand-Kirillov (GK) dimension of modules over $W_{X_P}$. By proving a Bernstein inequality (bounding the GK dimension of finitely generated modules), the paper demonstrates that $W_{X_P}$ is an Ore domain.
4. Identification with $D(X_P)$: Using the fact that $X_P$ is normal and the complement of the open dense orbit has codimension at least 2, the author utilizes localization arguments to prove that $W_{X_P}$ coincides with the ring of differential operators $D(X_P)$.
5. Quantization and Graded Structures: The paper utilizes Rees algebras and quantization techniques to analyze the associated graded algebra of $W_{X_P}$ with respect to the order filtration, establishing an isomorphism with the coordinate ring of the cotangent bundle of the smooth locus.
6. Category Theory: The category of $D(X_P)$-modules is described as a "glued category" involving modules over $X_P$ and its dual $X_{P^{\text{op}}}$, adapting arguments from [BBP02] and [GR15].

Key Contributions and Results

• Structural Properties of $D(X_P)$: The paper proves that for $P$ maximal and $G$ not of type $E$ or $F$, the ring $D(X_P)$ satisfies the three key properties of classical Weyl algebras:
  1. $D(X_P)$ is a simple Noetherian domain.
  2. The associated graded algebra $\text{gr } D(X_P)$ is naturally isomorphic to $K[T^*X_P^\circ]$, where $X_P^\circ$ is the smooth locus.
  3. Every finitely generated left $D(X_P)$-module satisfies the Bernstein inequality, allowing for the definition of holonomic modules.
• Simplicity and Units: The algebra $W_{X_P}$ is shown to be a simple ring with center $K$ and units $K^\times$.
• Bernstein-Sato Polynomials: The existence of Bernstein-Sato polynomials for non-zero functions $\phi \in K[X_P]$ is established. This is achieved by showing that the module $K(s)[X_P][\phi^{-1}]\phi^s$ is holonomic.
• Meromorphic Continuation of Zeta Integrals: As a direct application of the existence of Bernstein-Sato polynomials, the paper proves the meromorphic continuation of Igusa's local zeta functions (and related zeta integrals) for Braverman-Kazhdan spaces in the archimedean setting.
• Module Categories: The category of finitely generated left $D(X_P)$-modules is explicitly described as a glued category of modules over $X_P$ and $X_{P^{\text{op}}}$, providing a structural classification analogous to the Borel case.
• Algebraic Properties: $W_{X_P}$ is proven to be Auslander-Gorenstein, Cohen-Macaulay, and finitely partitive.

Significance and Claims
The paper claims to complete the basic theory of $D$-modules on Braverman-Kazhdan spaces, extending results previously known only for the case where $P$ is a Borel subgroup (where the fibers of the projection are essentially affine spaces). By establishing that $D(X_P)$ shares the fundamental structural properties of classical Weyl algebras despite the singular nature of $X_P$, the work provides a robust algebraic framework for studying these spaces.

The author highlights a new connection between harmonic analysis on $X_P$ and the theory of $D$-modules. Specifically, the study of $D(X_P)$ clarifies the composition series of degenerate principal series representations and supports the broader Braverman-Kazhdan-Ngô program regarding Poisson summation. The confirmation that the Schwartz space $S(X_P(\mathbb{R}))$ is stable under multiplication by regular functions and differential operators (via the meromorphic continuation of zeta integrals) validates a specific conjecture proposed in [BK02] for maximal parabolic subgroups. The paper positions these results as a foundation for further investigation into the interplay between harmonic analysis and $D$-module theory on spherical varieties.