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.

Version: v2 · 2026-09-06 · History
Domain-specific #: 2606
Origin domain: mathematics
Subdomain: representation theory
Aliases: Quasi-regular representation, Modified induced representation

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\).^[1]

The recognition invariant is group action on a measured quotient + preserved measure class + Radon–Nikodym correction + unitary L2 action.

Structural Signature¶

A locally compact group \(G\), normally with Haar measure.
A closed subgroup \(H\) or a measured \(G\)-space \(X\).
A transitive homogeneous space \(G/H\) in the classical form.
A quasi-invariant measure \(\mu\), so translates preserve null sets.
Radon–Nikodym derivatives relating translated and original measures.
Square-root density correction.
Pullback/translation of functions under the group action.
Hilbert space \(L^2(X,\mu)\).
A homomorphism from \(G\) to the unitary operators.
Cocycle identities guaranteeing composition.
Equivalence under replacement by an equivalent quasi-invariant measure.
Explicit left/right action and derivative convention.
Identification with an induced representation in the homogeneous-space case.

What It Is Not¶

It is not the regular representation unless the acted-on space is the group in the corresponding regular case. It is not merely a quasi-invariant measure: that measure supplies the admissible null-set class, while the quasiregular representation is the resulting operator action.

It is not an arbitrary representation on functions. The density factor and its convention are load-bearing; omitting them generally destroys preservation of the L2 norm when \(\mu\) is not invariant.^[2]

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.^[3]

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.

The word “quasiregular” here belongs to representation theory. It does not mean a quasiregular mapping in geometric function theory or a merely approximate regularity property.

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.

Examples¶

Discrete cosets. For a discrete group \(G\) and subgroup \(H\), counting measure on \(G/H\) is invariant, so \(G\) permutes the standard basis of \(\ell^2(G/H)\).

Invariant quotient measure. If \(G/H\) has a \(G\)-invariant measure, the correction is one and the operators translate functions directly.

Non-example. A nonsingular group action followed only by uncompensated pullback is not necessarily unitary.

Structural Tensions¶

Invariant measure versus merely invariant measure class.
Geometric action versus operator realization.
Left/right conventions versus representation equivalence.
Quotient simplicity versus modular-function corrections.
Concrete function formula versus abstract induction theory.
Unitary equivalence versus dependence on a chosen measure representative.
Decomposition into irreducibles versus reducible permutation-like behavior.

Structural–Framed Character¶

Representation, compensation, invariant structure, and change of reference measure are structural. Locally compact groups, homogeneous spaces, Haar measures, Radon–Nikodym derivatives, L2 spaces, and unitary operators are mathematical frame.

Structural Core vs. Domain Accent¶

The portable core is correcting a transformed carrier so an action preserves its comparison structure. The constitutive domain accent is the exact group, measure-class, quotient, cocycle, and Hilbert-space apparatus.

Representation is the proposed immediate parent. Symmetry, Group Action, Invariance, Measure, Quotient, and Normalization are related.

The prospective queue contains one strict edge to prime:representation. No live DAG mutation is authorized.

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 (85^th 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

Not to Be Confused With¶

Left or right regular representation of \(G\).
An arbitrary induced representation from a nontrivial representation of \(H\).
Quasi-Invariant Measure itself.
Koopman representation without checking conventions.
Quasiregular mappings in analysis.
A nonunitary pullback action.
A quotient space with no specified measure class.

References¶

[1] Gerald B. Folland, A Course in Abstract Harmonic Analysis, 2^nd ed., CRC Press, 2016. registry ↩

[2] Hans Reiter and Jan D. Stegeman, Classical Harmonic Analysis and Locally Compact Groups, 2^nd ed., Oxford University Press, 2000. registry ↩

[3] Alexey Kosyak, Regular, Quasi-Regular and Induced Representations of Infinite-Dimensional Groups, EMS Tracts in Mathematics 29, 2018. registry ↩

[4] George W. Mackey, “Induced Representations of Locally Compact Groups I,” Annals of Mathematics 55 (1952): 101–139. registry ↩