Mackey theory

Mackey theory
Name	Mackey theory
Fields	Group theory, Functional analysis, Representation theory
Notable work	''

Mackey theory provides a framework for analyzing unitary representations of locally compact groups via systems of imprimitivity, induced representations, and ergodic methods. It unifies techniques from measure theory, operator algebras, and harmonic analysis to reduce classification problems for representations to problems about stabilizer subgroups and orbit structure. The theory has deep connections with the work of John von Neumann, George W. Mackey, Hermann Weyl, and later developments in Alain Connes’s noncommutative geometry and the theory of C*-algebras.

Introduction

Mackey theory centers on the study of unitary representations of locally compact groups such as real Lie groups, p-adic groups, and countable discrete groups via measurable fields of Hilbert spaces and transitive actions on measure spaces. It uses systems of imprimitivity to relate representations of a group to representations of closed subgroups like stabilizers in the spirit of Frobenius reciprocity present for finite groups, linking to classic results of Emmy Noether and Félix Klein on symmetry. The framework employs tools from measure theory pioneered by Andrey Kolmogorov and the ergodic program associated with George David Birkhoff and John von Neumann.

Historical development and motivation

The inception of Mackey theory arose in the mid-20th century when George W. Mackey synthesized earlier ideas from Hermann Weyl’s use of induced representations and Harish-Chandra’s work on harmonic analysis for semisimple groups. Motivations included the classification ambitions evident in Élie Cartan’s program for Lie groups, and the needs of quantum mechanics as articulated by Paul Dirac and formalized by the operator algebraists around John von Neumann and Irving Segal. Influential precursors included Frobenius’ induction for finite groups and the representation-theoretic techniques of Issai Schur and Richard Brauer. The theory was advanced through interactions with the study of ergodic actions by scholars such as Morris Hirsch and by later connections to the Baum–Connes conjecture promulgated by Paul Baum and Alain Connes.

Mackey's imprimitivity theorem

Mackey’s imprimitivity theorem gives a bijective correspondence between systems of imprimitivity for a group acting transitively on a measure space and unitary representations induced from representations of stabilizer subgroups. For a second countable, locally compact group acting on a standard Borel space, the theorem relates a projection-valued measure covariant under the group action to an induced representation from a closed subgroup; this generalizes results that date to the work of Frobenius and the imprimitivity notions implicit in Weyl’s treatment of quantum kinematics. The theorem plays a role analogous to the orbit method of Kirillov for nilpotent groups and dovetails with Mackey’s analysis of virtual groups and transitive systems used by later researchers such as George Elliott and Gert Pedersen in operator algebra contexts.

Systems of imprimitivity and induced representations

A system of imprimitivity consists of a unitary representation together with a projection-valued measure on a measurable G-space; Mackey formalized how such systems correspond to representations induced from stabilizer subgroups, employing measurable selection theorems associated with Kurt Gödel’s contemporaries in descriptive set theory and standards laid out by Marshall Stone. Induced representations in this setting generalize Frobenius induction and relate to Mackey’s theory of virtual groups and transitive Borel equivalence relations studied by Alexandru Ioan Cuza and later by researchers in measurable dynamics like Donald Ornstein. Techniques use decomposition theorems for unitary representations as in the Plancherel theory developed for Harish-Chandra and the spectral analysis methods of John von Neumann.

Applications to unitary representation theory and harmonic analysis

Mackey theory provides tools to classify irreducible unitary representations for many classes of groups, notably semidirect products arising in Galilean group symmetries and crystallographic groups studied in solid state physics. It underpins harmonic analysis on homogeneous spaces such as spherical varieties, supports the construction of the Plancherel measure for solvable groups, and informs the orbit method of Kirillov and the orbit philosophy applied in geometric representation theory influenced by Alexander Beilinson and Joseph Bernstein. Applications extend to scattering theory in mathematical physics where representations of the Poincaré group are central, and to the classification of factor representations in von Neumann algebra theory following work by Murray and von Neumann.

Extensions and generalizations (Mackey machine, groupoids, C*-algebras)

The Mackey machine refers to the suite of ideas extending imprimitivity and induction to contexts including groupoid representations and crossed product C*-algebra constructions central to René G. Douglas and Jean-Louis Tu’s developments. Groupoid analogues of Mackey’s results were formulated by Alain Connes and Jean Renault, enabling classification results for foliation algebras and noncommutative spaces arising in foliation theory and index theory connected to the Atiyah–Singer index theorem. These generalizations connect to the Baum–Connes conjecture and to deformation/quantization programs explored by Maxim Kontsevich.

Examples and computations (locally compact groups, semidirect products)

Concrete computations use Mackey’s method for semidirect products G = N ⋊ H where one analyzes N̂, the dual of N, under H-orbits; classic examples include the classification of irreducible representations of the Heisenberg group, the Euclidean group E(n), and the Affine group of the line. For the Heisenberg group Mackey-style induction reproduces the Schrödinger representations central to quantum mechanics as studied by Paul Dirac and Erwin Schrödinger. Analysis of the Poincaré group via little groups follows Mackey’s orbit-and-stabilizer paradigm and underlies Wigner’s classification of elementary particles attributed to Eugene Wigner. Further examples appear in the representation theory of p-adic groups where induced constructions inform the work of Roger Howe and Harish-Chandra on admissible representations.

Category:Representation theory