How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Fell convergence of the characters of the real line
Example
Assume the Axiom of Choice. For the unitary dual is and a net converges to in the Fell topology (The Fell topology on the unitary dual) if and only if in . For characters, weak containment (Weak containment of unitary representations) holds if and only if .
Facts & Assumptions
Given: AC; the additive group ; the parametrized characters ; the Fell topology on the unitary dual.
Schur's lemma: every bounded self-intertwiner of an irreducible strongly continuous unitary representation is a scalar multiple of the identity, and a nonzero bounded intertwiner between irreducible representations is a unitary equivalence up to a scalar (Schur lemma for complex unitary representations).
Every continuous group homomorphism is for a unique ; writing , these are exactly the maps (Continuous characters of the real line are exponentials, The Pontryagin dual with the compact-open topology).
Fell basis: a basic neighbourhood of a class is determined by finitely many functions of positive type associated to , a compact set and , and consists of the classes whose coefficients approximate each of them to within on (The Fell topology on the unitary dual). For a one-dimensional unitary character , a diagonal coefficient at a vector is , so the functions of positive type associated to are exactly the nonnegative multiples , , and finite sums of them are again of this form (Strongly continuous unitary representations, invariant linear subspaces and intertwiners).
Verification
Given: AC, the additive group , and the characters .
Every irreducible strongly continuous unitary representation of the abelian group is one-dimensional. Indeed, for fixed the operator commutes with every , hence is a bounded self-intertwiner of ; [F1] makes it a scalar . Every linear subspace is then invariant, so irreducibility forces ; the resulting map is a continuous unitary character.
By [F2] every continuous unitary character of is for a unique , and each is a continuous unitary character of .
Hence , with bijective: step 1.1 exhibits every irreducible class as a character, step 1.2 identifies the characters, and distinct give distinct characters (evaluate at a suitable ).
Fell convergence is compact-uniform convergence of the parameters. If , then for a compact and one has ; hence for every finite family of tests, every compact and every , the test is within on of the coefficient once is large, so eventually and in the Fell topology. Conversely, suppose , let and fix ; put . By [F3] the neighbourhood determined by the coefficient , the set and is met eventually: there are with . Evaluating at gives , hence . If , then lies in and , so , a contradiction. Hence eventually , and since was arbitrary, .
Weak containment of characters: if , then applying the defining approximation to the coefficient (the diagonal coefficient at a unit vector), the compact set and some , and using [F3], we find with ; evaluating at gives , and if , the point gives , a contradiction. Hence for every , so ; the converse is immediate by taking the identical coefficient. This agrees with The Fell closure of a single representation is its weak containment closure, since by step 3.1 the point lies in the Fell closure of exactly when .
The Axiom of Choice is inherited from Schur's lemma and the Fell topology suppliers; the character and parameter computations use no further choice (The Axiom of Choice).
Depends on
- The Fell topology on the unitary dual
- The unitary dual of a locally compact group
- The Pontryagin dual with the compact-open topology
- Continuous characters of the real line are exponentials
- The Fell closure of a single representation is its weak containment closure
- Weak containment of unitary representations
- Schur lemma for complex unitary representations
- Strongly continuous unitary representations, invariant linear subspaces and intertwiners
- The Axiom of Choice
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
51 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
Sources
- Bachir Bekka, Pierre de la Harpe and Alain Valette, Kazhdan's Property (T) (Cambridge University Press 2008; author-hosted complete text) (standard reference, not scraped)
- Bachir Bekka and Pierre de la Harpe, Unitary Representations of Groups, Duals, and Characters (arXiv:1912.07262v1, 16 December 2019) (standard reference, not scraped)