Table of Contents
Fetching ...

Lie groupoids, the Satake compactification and the tempered dual, II: The Harish-Chandra principle

Jacob Bradd, Nigel Higson, Robert Yuncken

TL;DR

This work provides a noncommutative geometric proof of Harish-Chandra's principle for real reductive groups by leveraging the Satake compactification and the associated Satake groupoid. It constructs ideal-theoretic fillings I and J inside the reduced group C*-algebra to separate discrete-series components from those embeddable in parabolically induced representations, using the exact sequence of the Satake groupoid and a morphism from C*-algebras that connects G with its groupoid. The main achievement is showing C^*_cmc(G)=C^*_cusp(G), which translates the representation-theoretic statement into an equality of C*-algebraic ideals, yielding the dichotomy and its corollaries about admissibility and inducibility. The framework further provides a canonical description of the tempered dual via tensor products with characters of the central torus A_Σ and clarifies the role of parabolic induction through Hilbert C*-modules and Fell bundles on the Satake groupoid, with potential applications to index theory and geometric representation theory.

Abstract

We give a geometric account of Harish-Chandra's principle that a tempered irreducible representation of a real reductive group is either square-integrable modulo center, or embeddable in a representation that is parabolically induced from such a representation. Our approach uses the Satake compactification, an associated groupoid that was constructed in the first paper of this series, and its $C^*$-algebra.

Lie groupoids, the Satake compactification and the tempered dual, II: The Harish-Chandra principle

TL;DR

This work provides a noncommutative geometric proof of Harish-Chandra's principle for real reductive groups by leveraging the Satake compactification and the associated Satake groupoid. It constructs ideal-theoretic fillings I and J inside the reduced group C*-algebra to separate discrete-series components from those embeddable in parabolically induced representations, using the exact sequence of the Satake groupoid and a morphism from C*-algebras that connects G with its groupoid. The main achievement is showing C^*_cmc(G)=C^*_cusp(G), which translates the representation-theoretic statement into an equality of C*-algebraic ideals, yielding the dichotomy and its corollaries about admissibility and inducibility. The framework further provides a canonical description of the tempered dual via tensor products with characters of the central torus A_Σ and clarifies the role of parabolic induction through Hilbert C*-modules and Fell bundles on the Satake groupoid, with potential applications to index theory and geometric representation theory.

Abstract

We give a geometric account of Harish-Chandra's principle that a tempered irreducible representation of a real reductive group is either square-integrable modulo center, or embeddable in a representation that is parabolically induced from such a representation. Our approach uses the Satake compactification, an associated groupoid that was constructed in the first paper of this series, and its -algebra.

Paper Structure

This paper contains 28 sections, 35 theorems, 110 equations.

Key Result

Theorem 2.1.5

Fix $G$ and $K$ as above. The spectrum of the ideal $C^*_{\mathrm{cpt}}(G)$ consists of all (equivalence classes of) irreducible unitary representations of $G$ such that

Theorems & Definitions (74)

  • Definition 2.1.1
  • Definition 2.1.3
  • Definition 2.1.4
  • Theorem 2.1.5
  • Lemma 2.1.6
  • proof
  • Remark 2.1.8
  • Lemma 2.1.9
  • proof
  • Theorem 2.2.1: CowlingHaagerupHowe88
  • ...and 64 more