Mautner's Lemma¶
A unitary-representation rule transferring fixed-vector invariance through conjugates that converge to the identity.
Core Idea¶
Mautner's lemma is a rule for proving that a vector is fixed by a group element.[1] Let a topological group \(G\) act through a strongly continuous unitary representation \(\pi\) on a Hilbert space. If every element \(y_i\) in a net fixes a vector \(v\), and the conjugates \(y_i x y_i^{-1}\) tend to the identity, then \(x\) fixes \(v\) as well.[1] In symbols, \(\pi(y_i)v=v\) and \(y_i x y_i^{-1}\to e\) imply \(\pi(x)v=v\).[1] The rule transfers an exact fixed-vector relation; it does not say that \(x=e\).
The proof uses unitarity and strong continuity.[1] Unitarity makes the distance from \(\pi(x)v\) to \(v\) equal the distance from \(\pi(y_i x y_i^{-1})v\) to \(v\).[1] Strong continuity makes the latter distance tend to zero.[1] A constant nonnegative distance that tends to zero must already be zero.
Scope of Application¶
The lemma belongs to unitary representation theory of topological groups.[1] It is useful where a subgroup can conjugate a target element toward the identity and also fixes the vector under study. The authored monograph shows this setup with unipotent matrices in \(SL_2(K)\) and with translations in \(SL_n(K)\ltimes K^n\).[1] Those are different group settings, but both require the same fixed-vector and limit premises.
The lemma is sometimes used in wider arguments about ergodicity or mixing.[2] It does not, by itself, prove a mixing theorem such as Howe–Moore; that theorem has additional hypotheses and a different conclusion.[2]
Clarity¶
Check four things before invoking the result: the target \(x\), the net \((y_i)\), exact fixity \(\pi(y_i)v=v\) at every index, and convergence \(y_i x y_i^{-1}\to e\).[1] The representation must also be strongly continuous and unitary.[1] A visible contraction alone is insufficient if the conjugators do not fix \(v\). Approximate fixity is insufficient for the exact norm equality used by this proof.
The theorem is stated with a net for general topological groups. In a concrete matrix calculation a sequence may supply the net. A subgroup conclusion needs a separate contraction argument for every target in that subgroup or for a verified generating family.
Manages Complexity¶
Rather than calculate a whole orbit, examine one number: \(\|\pi(x)v-v\|\).[1] Unitarity shows it is the same for every conjugate of \(x\) by a vector-fixing \(y_i\).[1] Continuity shows the corresponding numbers for those conjugates approach zero.[1] This reduces the fixed-vector question to an equality and a limit.
Finding the contracting elements and establishing that they fix the vector remain the application-specific work. The lemma does not supply those facts automatically.
Abstract Reasoning¶
Suppose \(\pi(y_i)v=v\). The representation law gives \(\pi(y_i x y_i^{-1})v-v=\pi(y_i)(\pi(x)v-v)\).[1] Unitary operators preserve norms, so the two sides have equal norms.[1] Since \(y_i x y_i^{-1}\to e\), strong continuity sends the left-hand norm to zero.[1] Thus \(\|\pi(x)v-v\|=0\), proving \(\pi(x)v=v\).[1]
The direction is from two antecedents, conjugator fixity and target contraction, to a new fixity conclusion. If either antecedent fails, this proof does not license the conclusion.
Knowledge Transfer¶
The same inference applies to a unipotent element inside a matrix group and to a translation inside a semidirect product.[1] In each case, identify the vector-fixing conjugators and verify that their conjugates of the chosen target approach the identity.[1] The broad idea of invariance transfers to many fields, but the named lemma requires this specific unitary and topological mechanism.
Examples¶
-
Unipotent matrix. In \(SL_2(K)\), diagonal matrices with entries \(\lambda_i,\lambda_i^{-1}\) conjugate an upper-unipotent matrix \(h(t)\) to \(h(\lambda_i^2t)\).[1] When \(\lambda_i\to0\), these conjugates approach the identity.[1] If the diagonal matrices fix \(v\), Mautner's lemma makes \(h(t)\) fix \(v\).[1] The conclusion is conditional on the diagonal fixity premise.
-
Translation subgroup. In \(SL_n(K)\ltimes K^n\), with \(n\ge3\) and \(K\) a local field, the linear group can move a chosen translation vector toward zero.[1] A vector fixed by the linear subgroup is therefore fixed by every translation, applying the lemma target by target.[1] Here the target belongs to a normal translation subgroup, rather than being a unipotent matrix inside \(SL_2(K)\).
Relationships to Other Abstractions¶
Current abstraction Mautner's Lemma Domain-specific
Parents (2) — outgoing typed relations
-
Mautner's Lemma presupposes Continuous Group Action Domain-specific
Its strongly continuous unitary representation supplies a jointly continuous group action on the Hilbert space.
-
Mautner's Lemma presupposes Invariance Prime
The lemma requires exact fixed-vector invariance under its conjugators and concludes exact invariance under each contracted target.
Hierarchy paths (6) — routes to 5 parentless roots
- Mautner's Lemma → presupposes Continuous Group Action → is a kind of Group → is a kind of Monoid → is a kind of Semigroup → is a kind of Set and Membership
- Mautner's Lemma → presupposes Invariance
- Mautner's Lemma → presupposes Continuous Group Action → is a kind of Group → is a kind of Monoid → includes Identity Element
- Mautner's Lemma → presupposes Continuous Group Action → is a kind of Group → is a kind of Monoid → is a kind of Semigroup → includes Closure
- Mautner's Lemma → presupposes Continuous Group Action → is a kind of Group → is a kind of Monoid → is a kind of Semigroup → includes Associativity → is a kind of Invariance
- Mautner's Lemma → presupposes Continuous Group Action → is a kind of Group → is a kind of Monoid → is a kind of Semigroup → includes Associativity → is a kind of Symmetry
Neighborhood in Abstraction Space¶
Mautner's Lemma sits in a sparse region of the domain-specific corpus (72nd percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.
Family — Manifolds, Stacks & Classifying Spaces (18 abstractions)
Nearest neighbors
- Continuous Group Action — 0.88
- Conjugacy class — 0.83
- Profinite group — 0.83
- Hausdorff completion — 0.82
- Pontryagin duality — 0.82
Computed from structural-signature embeddings · 2026-10-25
Not to Be Confused With¶
-
A continuous group action supplies a broad carrier for orbits and stabilizers; Mautner's lemma is a particular implication for strongly continuous unitary representations. The action is a prerequisite, not the conclusion.
-
Invariance is the general fixed-under-transformation relation. The lemma says when one fixed-vector relation forces another.
-
The Howe–Moore theorem concerns mixing or matrix coefficients under additional conditions.[2] Mautner's lemma alone does not establish it.
References¶
[1] Bachir Bekka, Pierre de la Harpe, and Alain Valette, Kazhdan's Property (T), New Mathematical Monographs 11, Cambridge University Press, 2008, §1.4, Lemmas 1.4.7–1.4.8 (printed p. 50, PDF p. 55) and Corollary 1.4.16 (printed p. 55, PDF p. 60), https://ncatlab.org/nlab/files/BekkaHarpeValetteOnKashdanPropertyT.pdf. Authored monograph, accessed through an nLab-hosted copy; the first matrix example composes a source contraction with the lemma conditionally, and the semidirect-product case is a source corollary. registry ↩a ↩b ↩c ↩d ↩e ↩f ↩g ↩h ↩i ↩j ↩k ↩l ↩m ↩n ↩o ↩p ↩q ↩r ↩s ↩t ↩u ↩v ↩w ↩x
[2] D. Blättler, A. Furlong, and A. Sandamirskaya, “Mautner Phenomenon, Mixing Transformations and the Howe–Moore Theorem,” ETH Zürich course notes (2023), PDF pp. 10–11, https://metaphor.ethz.ch/x/2023/hs/401-3100-73L/ex/6.pdf. The notes distinguish the Mautner lemma from the later Howe–Moore statement. registry ↩a ↩b ↩c