Skip to content

Spectrum of a C*-Algebra

The spectrum of a C-algebra organizes its nonzero irreducible representations into unitary-equivalence classes.*

Version
v1 · 2026-10-03 · History
Domain-specific #
13629
Aliases
Dual of a C Star Algebra

Core Idea

The spectrum of a C*-algebra is the set of its nonzero irreducible *-representations, counting two as the same when a unitary change of Hilbert-space coordinates relates them.

Scope of Application

It connects operator algebras with representation theory. For \(C_0(X)\), the classes correspond to points of \(X\); for a full matrix algebra, there is only one class.

Boundary: The primitive ideal space records kernels and may identify different representation classes. The spectrum of an operator records scalars where an inverse fails.

Clarity

It distinguishes the representation space of an entire algebra from the scalar spectrum of one operator.

Manages Complexity

Unitary equivalence removes duplicate descriptions, and representation kernels connect the classes to primitive ideals.

Abstract Reasoning

Identify irreducible representations, group unitary-equivalent ones, and check what their kernels and topology reveal under the algebra's hypotheses.

Knowledge Transfer

The same construction applies to function, matrix, and group C*-algebras, though it reveals different amounts of information in each.

For example, for \(C_0(X)\), evaluation at each point of \(X\) is a one-dimensional irreducible representation, so the algebra's dual recovers the space.

Relationships to Other Abstractions

Local relationship map for Spectrum of a C*-AlgebraParents appear above the current abstraction, mutual partners to the right, and children below. Node labels state whether each abstraction is prime or domain-specific; colors identify relation types.Spectrum ofa C*-AlgebraDOMAINDomain-specific abstraction: C*-Algebra — presupposesC*-AlgebraDOMAIN

Current abstraction Spectrum of a C*-Algebra Domain-specific

Parents (1) — more general patterns this builds on

  • Spectrum of a C*-Algebra presupposes C*-Algebra Domain-specific

    A C*-algebra spectrum presupposes its algebraic carrier but is not an algebra.

Hierarchy path (1) — routes to 1 parentless root

Neighborhood in Abstraction Space

Spectrum of a C*-Algebra sits in a moderately populated region (45th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.

Family — Algebraic Structures, Groups & Operators (42 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-08