Rieffel induction

Rieffel induction
Name	Rieffel induction
Field	Mathematical physics; Operator algebras
Introduced	1974
Introduced by	Marc A. Rieffel
Primary sources	"Induced representations of C*-algebras" (1974)
Related terms	C*-algebra, Hilbert module, Morita equivalence, imprimitivity

Rieffel induction Rieffel induction is a construction in the theory of C*-algebras that produces representations of one C*-algebra from representations of another via Hilbert C*-modules and bimodules. It provides a categorical bridge connecting representation theory for C*-algebras with notions of equivalence such as Morita equivalence and imprimitivity theorems, linking structures studied by figures like John von Neumann, Alain Connes, Gert K. Pedersen, George W. Mackey, and Israel Gelfand.

Introduction

Rieffel induction arose to generalize classical induction techniques found in the work of Frobenius, Mackey, Emmy Noether, Hermann Weyl, and Élie Cartan to operator-algebraic contexts such as those encountered by Richard V. Kadison, Paul J. Sally Jr., Edward Nelson, Roger Godement, and I. M. Gelfand. It uses Hilbert C*-modules related to constructions by M. Takesaki and S. Sakai to convert a representation of a source algebra into a representation of a target algebra, with applications in the research programs of Alain Connes, Alain Badiou (philosophical intersections), and mathematical physics communities around Dirac Prize-associated research groups.

Historical background and motivation

The conceptual lineage of Rieffel induction traces through representation theory milestones associated with Frobenius reciprocity, Mackey's theory of induced representations, and noncommutative geometry developments by Alain Connes. Early operator-algebraic antecedents include work by I. M. Gelfand and Mikhail G. Krein on spectral theory, and by John von Neumann on von Neumann algebras. Marc A. Rieffel introduced the formalism to reconcile imprimitivity theorems akin to those of George W. Mackey with C*-algebraic settings studied by Gert K. Pedersen and Masamichi Takesaki. Subsequent contributors who extended or applied Rieffel-style ideas include Richard V. Kadison, Ryszard Nest, Nigel Higson, Gennadi Kasparov, Paul Baum, Jean-Louis Tu, Jonathan Rosenberg, and N. Christopher Phillips.

Construction of Rieffel induction

The basic construction uses a right Hilbert C*-module E over a C*-algebra B together with a *-homomorphism of a C*-algebra A into the C*-algebra of adjointable operators End_B(E), a structure studied by Frank R. Brown and Larry G. Brown. Given a representation π of B on a Hilbert space H (as treated in the work of Edward Nelson and B. Sz.-Nagy), one forms the internal tensor product E ⊗_B H with completion techniques developed by G. W. Mackey and operator-module theory from Barry Simon-influenced functional analysis. The induced representation Ind_E(π) acts on E ⊗_B H via the left A-action on E, a mechanism resonant with imprimitivity results by Raeburn and Williams and operator-space frameworks studied by Effros and Ruan. Technical ingredients echo construction patterns from M. Takesaki modular theory, Sakai’s C*-algebra axioms, and Kasparov's KK-theory developed by Gennadi Kasparov.

Properties and functoriality

Rieffel induction yields a functor between categories of nondegenerate *-representations often considered by Michael Atiyah and Isadore Singer in index-theoretic contexts. It preserves direct sums, equivalence classes, and weak containment properties explored by Harish-Chandra, E. C. G. Sudarshan, and Paul-Andre Meyer. Morita equivalence results by Klaus Thomsen and Rieffel show that induction implements equivalences of representation categories under appropriate imprimitivity bimodule hypotheses, a principle that interfaces with KK-equivalence studied by Gennadi Kasparov and applications in the Baum–Connes program championed by Paul Baum and Alain Connes. Continuity, adjointness, and exactness properties have been analyzed by Jean Renault, Dana P. Williams, Alex Kumjian, and Iain Raeburn in contexts involving groupoid C*-algebras and crossed products linked to work by Jonathan Rosenberg and Marc Rieffel.

Examples and applications

Canonical examples include induction from ideals and hereditary subalgebras related to work by Gert K. Pedersen and Akihiro Kishimoto, crossed-product induction tied to actions of groups treated by Mackey and Hermann Weyl, and induction for transformation group C*-algebras analyzed by Jean Renault and Dana P. Williams. Applications appear in noncommutative geometry research by Alain Connes, index theory following Atiyah–Singer tradition, and representation classification efforts by Eberhard Kirchberg, N. Christopher Phillips, and Nigel Higson. In mathematical physics, Rieffel induction underpins constructions in deformation quantization associated to Flato, Gerard 't Hooft, and Dirac-influenced quantization schemes, and plays a role in symmetry-reduction methods studied by S. Doplicher, John E. Roberts, and Arthur Jaffe.

Relationship to other induction theories

Rieffel induction generalizes Mackey induction from George W. Mackey and Frobenius-style techniques from Frobenius and Emmy Noether; it aligns with imprimitivity theorems of Mackey and with Morita theory developed by Jean-Louis Loday-adjacent researchers. It complements Kasparov's KK-theory from Gennadi Kasparov and aligns with equivalence notions in groupoid frameworks due to Jean Renault and Iain Raeburn. Connections to representation-theoretic reciprocity echo classical patterns studied by Hermann Weyl, Harish-Chandra, Richard Brauer, and Richard V. Kadison.

Technical variations and generalizations

Variants include induction for Hilbert bimodules in the setting of Elliott-classification programs, twisted induction for groupoid C*-algebras considered by Alan Weinstein and Jean Renault, and equivariant versions related to work by Gennadi Kasparov and Nigel Higson. Generalizations extend to W*-modules in von Neumann algebra settings studied by John von Neumann’s school, to KK-theoretic correspondences used by Gennadi Kasparov and B. Blackadar, and to deformation contexts explored by Marc Rieffel and Alain Connes. Recent advances connect to index-theory conjectures investigated by Jonathan Rosenberg, to classification results by Eberhard Kirchberg and N. Christopher Phillips, and to noncommutative topology programs involving Paul Baum and Jean-Louis Tu.

Category:C*-algebra theory