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.
Unitary dual and full group C star algebra of the integers
Example
Assume the Axiom of Choice and use counting Haar measure on . The character group (Pontryagin dual) of the discrete group is topologically isomorphic to via , where ; the unitary dual is in bijection with by the same parameter , since every irreducible unitary representation of the abelian group is one-dimensional (The Pontryagin dual with the compact-open topology, The unitary dual of a locally compact group, Schur lemma for complex unitary representations). The full and reduced group C*-algebras are both isomorphic to : the isomorphisms sending the group element (and its image in ) to the coordinate function (The full (maximal) group C star algebra, The reduced group C star algebra, The abelian group C star algebra recovers Pontryagin duality).
Facts & Assumptions
Given: AC; the discrete group with counting Haar measure; its unitary dual ; the left regular representation on ; the element .
The Pontryagin dual consists of continuous characters into with the compact-open topology; for discrete this is the topology of pointwise convergence (The Pontryagin dual with the compact-open topology, On a discrete domain the compact-open topology is the topology of pointwise convergence). Every character is determined by and then ; conversely each gives a continuous character because is discrete. The map is a group homomorphism by , and it is continuous into because each power map is continuous; its inverse is the continuous evaluation at . Thus it is a topological group isomorphism (The multiplicative unit circle is a compact metrizable topological abelian group, Exponent laws in a group: and for all , and when and commute). For an irreducible unitary representation of , commutes with every and is scalar by Schur's lemma; then all are scalar and irreducibility forces the representation space to be one-dimensional. Conversely, every continuous unitary character is irreducible; thus the same parameters index the unitary dual (The unitary dual of a locally compact group, Schur lemma for complex unitary representations).
For an LCH abelian group , is commutative with Gelfand transform an isometric -isomorphism , and the character attached to sends to ; in particular with sent to (The abelian group C star algebra recovers Pontryagin duality, The full (maximal) group C star algebra).
The left regular representation of on satisfies , so is the bilateral shift ; is a strongly continuous unitary representation and is the norm closure of , where is the integrated form (Left and right regular unitary representations of an LCH group, The regular representations are unitary, strongly continuous, and the left one is faithful, The integrated form of a unitary representation, The reduced group C star algebra).
If is an element of a unital Banach algebra with , then is invertible with inverse (Neumann series); the spectrum is the set of for which is not invertible (Spectrum and resolvent of a bounded operator).
A unitary operator is normal, and for a bounded normal operator the continuous functional calculus is a unique isometric unital -isomorphism sending the coordinate function to (Continuous functional calculus for bounded normal operators, Self-adjoint, positive, unitary and normal operators).
Verification
Given: AC, the group with counting Haar measure, its regular representation on and the shift .
By [F1], with . By [F2] the Gelfand transform is an isometric -isomorphism , and under the identification of [F1] the class of is sent to the function , that is to ; this proves the full-algebra statement.
The operator is unitary and , and . Unitarity gives . If , then with , so is invertible by [F4]; if , then with , so it is invertible by [F4]; and gives the invertible operator . Hence .
Conversely . For and put , a unit vector in ; then , so has support in the two endpoints and . If were invertible with inverse , then , a contradiction; hence and by step 1.2.
The continuous functional calculus of the normal operator with gives an isometric unital -isomorphism sending the coordinate function to ; here is the closed span of the powers , , because . For the integrated form is ; finitely supported give finite Laurent polynomials in and are dense in , so by continuity of the integrated form the reduced group C*-algebra equals . Under this isomorphism the image of the group element is and hence to the coordinate function .
The Axiom of Choice is inherited from the abelian duality corollary, the representation correspondence and the functional calculus; the shift computation and the spectral argument add no further choice (The Axiom of Choice).
Depends on
- The abelian group C star algebra recovers Pontryagin duality
- The unitary dual of a locally compact group
- The full (maximal) group C star algebra
- The reduced group C star algebra
- Left and right regular unitary representations of an LCH group
- The regular representations are unitary, strongly continuous, and the left one is faithful
- The integrated form of a unitary representation
- The Pontryagin dual with the compact-open topology
- On a discrete domain the compact-open topology is the topology of pointwise convergence
- The multiplicative unit circle is a compact metrizable topological abelian group
- Exponent laws in a group: $g^{m+n} = g^{m}g^{n}$ and $(g^{m})^{n} = g^{mn}$ for all $m, n \in \mathbb{Z}$, and $(gh)^{n} = g^{n}h^{n}$ **when $g$ and $h$ commute**
- Schur lemma for complex unitary representations
- Nondegenerate representations of the full group C star algebra are unitary representations
- Continuous functional calculus for bounded normal operators
- Neumann series
- Spectrum and resolvent of a bounded operator
- Self-adjoint, positive, unitary and normal operators
- The Axiom of Choice
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
132 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)