Alphabeta Math
ExampleConstruction: Literature-sourcedVerification: AI-adaptedPipeline-generatedjudge pass (gpt-6.1-sol)
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 Z. The character group (Pontryagin dual) of the discrete group Z is topologically isomorphic to T via z↦χz, where χz(n)=zn; the unitary dual is in bijection with T by the same parameter z, since every irreducible unitary representation of the abelian group Z 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 C(T): Z^Pontryagin≅T,C∗(Z)≅C(T)≅Cr∗(Z), the isomorphisms sending the group element δ1∈C∗(Z) (and its image in Cr∗(Z)) to the coordinate function z↦z (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 Z with counting Haar measure; its unitary dual Z^; the left regular representation λ on ℓ2(Z); the element δ1∈L1(Z).

[F1]

The Pontryagin dual consists of continuous characters into T with the compact-open topology; for discrete Z 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 z=γ(1)∈T and then γ(n)=zn; conversely each z∈T gives a continuous character because Z is discrete. The map z↦(zn)n∈Z is a group homomorphism by (zw)n=znwn, and it is continuous into TZ because each power map is continuous; its inverse is the continuous evaluation at 1. Thus it is a topological group isomorphism (The multiplicative unit circle is a compact metrizable topological abelian group, Exponent laws in a group: gm+n=gmgn and (gm)n=gmn for all m,n∈Z, and (gh)n=gnhn when g and h commute). For an irreducible unitary representation π of Z, π(1) commutes with every π(n) and is scalar by Schur's lemma; then all π(n) 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).

[F2]

For an LCH abelian group G, C∗(G) is commutative with Gelfand transform an isometric ∗-isomorphism C∗(G)≅C0(G^), and the character attached to γ∈G^ sends f∈L1(G) to ∫Gf(g)γ(g) dg; in particular C∗(Z)≅C(T) with δ1 sent to z↦χz(1)=z (The abelian group C star algebra recovers Pontryagin duality, The full (maximal) group C star algebra).

[F3]

The left regular representation λ of Z on ℓ2(Z) satisfies (λ(n)ξ)(k)=ξ(k−n), so U:=λ(1) is the bilateral shift (Uξ)(k)=ξ(k−1); λ is a strongly continuous unitary representation and Cr∗(Z) is the norm closure of {λ(f):f∈L1(Z)}, where λ(f)=∑nf(n)λ(n) 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).

[F4]

If b is an element of a unital Banach algebra with ∥b∥<1, then 1−b is invertible with inverse ∑n≥0bn (Neumann series); the spectrum σ(T) is the set of λ∈C for which T−λI is not invertible (Spectrum and resolvent of a bounded operator).

[F5]

A unitary operator is normal, and for a bounded normal operator T the continuous functional calculus is a unique isometric unital ∗-isomorphism C(σ(T))→C∗(I,T) sending the coordinate function to T (Continuous functional calculus for bounded normal operators, Self-adjoint, positive, unitary and normal operators).

Verification

technique · direct

Given: AC, the group Z with counting Haar measure, its regular representation λ on ℓ2(Z) and the shift U=λ(1).

1.1F1F2

By [F1], Z^={χz:z∈T} with χz(n)=zn. By [F2] the Gelfand transform is an isometric ∗-isomorphism C∗(Z)→C0(Z^)=C(T), and under the identification Z^≅T of [F1] the class of δ1 is sent to the function γ↦γ(1), that is to z↦z; this proves the full-algebra statement.

1.2F3F4

The operator U is unitary and (Uξ)(k)=ξ(k−1), and σ(U)⊆T. Unitarity gives ∥U∥=∥U−1∥=1. If ∣λ∣>1, then U−λI=−λ(I−λ−1U) with ∥λ−1U∥=∣λ∣−1<1, so U−λI is invertible by [F4]; if 0<∣λ∣<1, then U−λI=U(I−λU−1) with ∥λU−1∥=∣λ∣<1, so it is invertible by [F4]; and λ=0 gives the invertible operator U. Hence σ(U)⊆T.

2.1F4step 1.2

Conversely T⊆σ(U). For z∈T and N≥0 put ηN(k)=z−k1[−N,N](k)/2N+1, a unit vector in ℓ2(Z); then (UηN)(k)=z z−k1[−N,N](k−1)/2N+1, so (U−zI)ηN has support in the two endpoints {−N,N+1} and ∥(U−zI)ηN∥2=2/(2N+1)→0. If U−zI were invertible with inverse S, then 1=∥ηN∥≤∥S∥ ∥(U−zI)ηN∥→0, a contradiction; hence z∈σ(U) and σ(U)=T by step 1.2.

3.1F3F5step 2.1

The continuous functional calculus of the normal operator U with σ(U)=T gives an isometric unital ∗-isomorphism C(T)→C∗(I,U) sending the coordinate function z↦z to U; here C∗(I,U) is the closed span of the powers Un, n∈Z, because U−1=U∗. For f∈L1(Z) the integrated form is λ(f)=∑nf(n)Un; finitely supported f give finite Laurent polynomials in U and are dense in L1(Z)=ℓ1(Z), so by continuity of the integrated form the reduced group C*-algebra Cr∗(Z)={λ(f)}‾ equals C∗(I,U)≅C(T). Under this isomorphism the image of the group element δ1 is λ(δ1)=λ(1)=U and hence to the coordinate function z↦z.

4.1given∎

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

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