Table of Contents
Fetching ...

Hodge theory, intertwining functors, and the Orbit Method for real reductive groups

Dougal Davis, Lucas Mason-Brown

TL;DR

By unifying the Orbit Method with Schmid–Vilonen Hodge theory for real reductive groups, the paper shows that the Hodge filtration on unipotent representations coincides with Orbit Method quantization, enabling unitarity proofs and explicit $K$-type descriptions. A central innovation is a Hodge-theoretic upgrade of Beilinson–Bernstein intertwining functors, realized via pro-objects and an affine Hecke algebra action on filtered mixed Hodge modules, connecting localization, monodromy, and Z-algebra actions. The authors prove a Cohen–Macaulay property for the Hodge associated graded of irreducibles with very weakly unipotent annihilators, which yields precise quantization of $K$-types and, in particular, a vector-bundle description on nilpotent $K$-orbits for small-boundary unipotent representations. They also establish cohomology vanishing on partial flag varieties and derive a framework that confirms long-standing unitarity conjectures for unipotent representations, including special unipotent cases for complex groups and corresponding real forms. Overall, the work provides a robust, geometry-infused approach to the unitary dual problem, with broad implications for representation theory and geometric Langlands-type perspectives.

Abstract

We study the Hodge filtrations of Schmid and Vilonen on unipotent representations of real reductive groups. We show that for various well-defined classes of unipotent representations (including, for example, the oscillator representations of metaplectic groups, the minimal representations of all simple groups, and all unipotent representations of complex groups) the Hodge filtration coincides with the quantization filtration predicted by the Orbit Method. We deduce a number of longstanding conjectures about such representations, including a proof that they are unitary and a description of their $K$-types in terms of co-adjoint orbits. The proofs rely heavily on certain good homological properties of the Hodge filtrations on weakly unipotent representations, which are established using a Hodge-theoretic upgrade of the Beilinson-Bernstein theory of intertwining functors for $\mathcal{D}$-modules on the flag variety. The latter consists of an action of the affine Hecke algebra on a category of filtered monodromic $\mathcal{D}$-modules, which we use to compare Hodge filtrations coming from different localizations of the same representation. As an application of the same methods, we also prove a new cohomology vanishing theorem for mixed Hodge modules on partial flag varieties.

Hodge theory, intertwining functors, and the Orbit Method for real reductive groups

TL;DR

By unifying the Orbit Method with Schmid–Vilonen Hodge theory for real reductive groups, the paper shows that the Hodge filtration on unipotent representations coincides with Orbit Method quantization, enabling unitarity proofs and explicit -type descriptions. A central innovation is a Hodge-theoretic upgrade of Beilinson–Bernstein intertwining functors, realized via pro-objects and an affine Hecke algebra action on filtered mixed Hodge modules, connecting localization, monodromy, and Z-algebra actions. The authors prove a Cohen–Macaulay property for the Hodge associated graded of irreducibles with very weakly unipotent annihilators, which yields precise quantization of -types and, in particular, a vector-bundle description on nilpotent -orbits for small-boundary unipotent representations. They also establish cohomology vanishing on partial flag varieties and derive a framework that confirms long-standing unitarity conjectures for unipotent representations, including special unipotent cases for complex groups and corresponding real forms. Overall, the work provides a robust, geometry-infused approach to the unitary dual problem, with broad implications for representation theory and geometric Langlands-type perspectives.

Abstract

We study the Hodge filtrations of Schmid and Vilonen on unipotent representations of real reductive groups. We show that for various well-defined classes of unipotent representations (including, for example, the oscillator representations of metaplectic groups, the minimal representations of all simple groups, and all unipotent representations of complex groups) the Hodge filtration coincides with the quantization filtration predicted by the Orbit Method. We deduce a number of longstanding conjectures about such representations, including a proof that they are unitary and a description of their -types in terms of co-adjoint orbits. The proofs rely heavily on certain good homological properties of the Hodge filtrations on weakly unipotent representations, which are established using a Hodge-theoretic upgrade of the Beilinson-Bernstein theory of intertwining functors for -modules on the flag variety. The latter consists of an action of the affine Hecke algebra on a category of filtered monodromic -modules, which we use to compare Hodge filtrations coming from different localizations of the same representation. As an application of the same methods, we also prove a new cohomology vanishing theorem for mixed Hodge modules on partial flag varieties.

Paper Structure

This paper contains 35 sections, 84 theorems, 412 equations.

Key Result

Theorem 1.1

Let $G$ be a complex reductive group, and let $M$ be a unipotent Harish-Chandra $U({\mathfrak{g}})$-bimodule. Then $M$ is unitary.

Theorems & Definitions (170)

  • Theorem 1.1: Theorem \ref{['thm:complexunitary']}
  • Corollary 1.2
  • Definition 1.3: Definitions \ref{['def:birigidunipotent']} and \ref{['def:smallbdryunipotent']}
  • Theorem 1.4: Corollary \ref{['cor:unitaryunipotent']}
  • Theorem 1.5: Theorem \ref{['thm:unitaritycriterion']}
  • Corollary 1.6
  • Conjecture 1.7
  • Theorem 1.8: Theorem \ref{['thm:CM']}
  • Theorem 1.9: Theorem \ref{['thm:Kspectraunipotent']}
  • Theorem 1.10: Theorem \ref{['thm:strictness']}
  • ...and 160 more