Abstract:Let $G$ be a complex reductive algebraic group. In this paper, we give a geometric definition of a unipotent representation of $G$. Our definition generalizes the notion of a special unipotent representation, due to Barbasch-Vogan and Arthur. The representations we define arise from finite equivariant covers of nilpotent co-adjoint $G$-orbits. To each such cover $\tilde{\mathbb{O}}$, we attach a distinguished filtered algebra $\mathcal{A}_0$ equipped with a graded Poisson isomorphism $\mathrm{gr}(\mathcal{A}_0)\simeq \mathbb{C}[\tilde{\mathbb{O}}]$. The algebra $\mathcal{A}_0$ receives a distinguished homomorphism from the universal enveloping algebra $U(\mathfrak{g})$, and the kernel of this homomorphism is a completely prime primitive ideal in $U(\mathfrak{g})$ with associated variety $\overline{\mathbb{O}}$. A unipotent ideal is any ideal in $U(\mathfrak{g})$ which arises in this fashion. A unipotent representation is an irreducible Harish-Chandra bimodule which is annihilated (on both sides) by such an ideal. Our unipotent ideals and representations have all of the expected properties: the unipotent representations attached to $\tilde{\mathbb{O}}$ are parameterized by irreducible representations of a certain finite group (generalizing Lusztig's canonical quotient) and, when restricted to $K$, are of the form conjectured by Vogan. In classical types, all unipotent ideals are maximal, and all unipotent representations are unitary (we expect these properties to hold for arbitrary groups). Finally, all special unipotent representations are unipotent. To prove the last assertion, we introduce a refinement of Barbasch-Vogan-Lusztig-Spaltenstein duality, inspired by the symplectic duality of Braden, Licata, Proudfoot, and Webster.

Geometry of unimodular systems

Unimodular Hunting

Geometry of degenerate quantum states, configurations of $m$-planes and invariants on complex Grassmannians

On the Geometry of Conullity Two Manifolds

Remarks on some Limit Geometric Properties related to an Idempotent and Non-Associative Algebraic Structure

On the geometry of uniform meandric systems

The structure of arbitrary Conze-Lesigne systems

Geometric Foundations for Classical U(1)-Gauge Theory on Noncommutative Manifolds

Geometric Gauss-Dedekind

Geometric Structures on the Complement of a Projective Arrangement

Geometric local systems on very general curves and isomonodromy

Geometric realisations of the unipotent enveloping algebra of a quiver

Unipotent Ideals and Harish-Chandra Bimodules

Modularity "for free" in genome architecture?

On the Geometry of the Calogero-Moser System

On the Holonomic Rank Problem

A characterization of unimodular hypergraphs with disjoint hyperedges

Gauss--Bonnet for CSM classes of very affine manifolds, and tropical isotopies

Unimodular Hunting II

Notes on gauging noninvertible symmetries. Part I. Multiplicity-free cases