Quasiregular Representation¶
The unitary representation generated by a group action on an L2 space of a homogeneous or measured space, with a square-root Radon–Nikodym factor correcting any merely quasi-invariant measure.
Core Idea¶
Let a locally compact group \(G\) act measurably on a space \(X\) carrying a \(G\)-quasi-invariant measure \(\mu\). The quasiregular representation realizes this action as unitary operators on \(L^2(X,\mu)\). Composition with the inverse action moves functions, while the square root of an appropriate Radon–Nikodym derivative compensates for the change of measure. When \(X=G/H\) for a closed subgroup \(H\), this is the homogeneous-space construction closely related to induction of the trivial representation of \(H\).
Scope of Application¶
Quasiregular representations occur in harmonic analysis on homogeneous spaces, induced representation theory, spherical analysis, wavelet constructions, ergodic theory, nilmanifolds, and spectral questions for group actions. They allow an action that does not preserve numerical measure to remain unitary because it preserves the measure class.
In the particularly simple case that an invariant measure exists, the Radon–Nikodym factor is one and the action reduces to translation of functions. For non-unimodular groups or subgroups, modular functions and quotient-measure choices must be tracked carefully.
Clarity¶
Formulae vary with left versus right cosets, left versus right actions, and whether the derivative is written for \(g_*\mu\), \((g^{-1})_*\mu\), or a reciprocal. A valid presentation must pair its composition rule and density factor consistently rather than copy a formula without its convention.
Manages Complexity¶
The construction turns geometric motion on a quotient into linear unitary operators. Geometry, measure transport, and group composition can then be studied with Hilbert-space tools: invariant vectors, matrix coefficients, decomposition, spectra, cyclicity, and irreducibility.
The Radon–Nikodym factor localizes the complication created by non-invariance. Once its cocycle law is verified, every group element acts isometrically and the representation law follows uniformly.
Abstract Reasoning¶
- Specify \(G\), its topology, and the action on \(X\).
- In the homogeneous case, specify the closed subgroup and coset convention.
- Choose a quasi-invariant measure and verify equivalence of translates.
- Compute the relevant Radon–Nikodym derivative.
- Define pullback by the inverse action with the square-root correction.
- Verify the cocycle identity and representation composition law.
- Check preservation of the L2 inner product.
- Identify invariant subspaces, fixed vectors, or induced-representation equivalences required by the application.
Knowledge Transfer¶
The portable structure is a symmetry action converted into a norm-preserving representation by compensating for how the reference measure changes. The proposed immediate parent is Representation.
Relationships to Other Abstractions¶
Current abstraction Quasiregular Representation Domain-specific
Parents (1) — more general patterns this builds on
-
Quasiregular Representation is a kind of Representation Prime
Representation is the proposed immediate parent.
Hierarchy path (1) — routes to 1 parentless root
- Quasiregular Representation → Representation → Abstraction
Neighborhood in Abstraction Space¶
Quasiregular Representation sits in a sparse region of the domain-specific corpus (85th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.
Family — Topological Groups & Homotopy Actions (11 abstractions)
Nearest neighbors
- Quasi-Invariant Measure — 0.82
- Induced representation — 0.81
- Koopman–von Neumann Classical Mechanics — 0.80
- Gelfand–Naimark–Segal construction — 0.80
- Pontryagin duality — 0.79
Computed from structural-signature embeddings · 2026-09-08