Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

Banach space theoretical construction of (primitive) spectra of $C^*$-algebras and the Naimark problem revisited

Ryotaro Tanaka

TL;DR

The work links the Naimark problem to a closure-space formulation in which spectra and primitive spectra of $C^*$-algebras are realized as geometric structure spaces. It introduces Banach-space constructions of (primitive) spectra via $\mathfrak{G}$- and $\mathfrak{P}$-transforms and proves these spectra are invariant under closure-space homeomorphisms, yielding a Banach-space perspective on representation-theoretic data. A nonlinear theory for irreducible $C^*$-algebras is developed, giving conditions under which finite-homeomorphisms between normal parts of geometric structure spaces arise from semilinear or linear isomorphisms, and it yields geometric characterizations of type I, CCR, and subhomogeneous algebras. The paper then formulates a closure-space version of the Naimark problem, linking singleton spectra to geometric-structure properties, and opens a nonlinear-classification program for algebras via geometric spectra and related invariants, including a discussion of completeness and connections to Jordan $*$-isomorphisms. Overall, the framework provides a unifying geometric and Banach-space approach to spectra, elementary theory, and nonlinear classification in $C^*$-algebra representation theory.

Abstract

The Naimark problem asks whether $C^*$-algebras with singleton spectra are necessarily elementary. The separable case was solved affirmatively in 1953 by Rosenberg. In 2004, Akemann and Weaver gave a counterexample to the Naimark problem for non-separable $C^*$-algebras in the setting of ZFC $+~\diamondsuit_{\aleph_1}$, where $\diamondsuit_{\aleph_1}$ is Jensen's diamond principle. From this, at least, the affirmative answer to the Naimark problem can no longer be expected although a counterexample is not constructed in ZFC alone yet. In this paper, we study the difference between elementary $C^*$-algebras and those with singleton spectra, and find a property $P$ written in the language of closure operators such that a $C^*$-algebra is elementary if and only if it has the singleton spectrum and the property $P$. Banach space theoretical construction of (primitive) spectra of $C^*$-algebras plays important roles in the theory. Characterizations of type I or CCR or (sub)homogeneous $C^*$-algebras are also given. These results are applied to a geometric nonlinear classification problem for $C^*$-algebras.

Banach space theoretical construction of (primitive) spectra of $C^*$-algebras and the Naimark problem revisited

TL;DR

The work links the Naimark problem to a closure-space formulation in which spectra and primitive spectra of -algebras are realized as geometric structure spaces. It introduces Banach-space constructions of (primitive) spectra via - and -transforms and proves these spectra are invariant under closure-space homeomorphisms, yielding a Banach-space perspective on representation-theoretic data. A nonlinear theory for irreducible -algebras is developed, giving conditions under which finite-homeomorphisms between normal parts of geometric structure spaces arise from semilinear or linear isomorphisms, and it yields geometric characterizations of type I, CCR, and subhomogeneous algebras. The paper then formulates a closure-space version of the Naimark problem, linking singleton spectra to geometric-structure properties, and opens a nonlinear-classification program for algebras via geometric spectra and related invariants, including a discussion of completeness and connections to Jordan -isomorphisms. Overall, the framework provides a unifying geometric and Banach-space approach to spectra, elementary theory, and nonlinear classification in -algebra representation theory.

Abstract

The Naimark problem asks whether -algebras with singleton spectra are necessarily elementary. The separable case was solved affirmatively in 1953 by Rosenberg. In 2004, Akemann and Weaver gave a counterexample to the Naimark problem for non-separable -algebras in the setting of ZFC , where is Jensen's diamond principle. From this, at least, the affirmative answer to the Naimark problem can no longer be expected although a counterexample is not constructed in ZFC alone yet. In this paper, we study the difference between elementary -algebras and those with singleton spectra, and find a property written in the language of closure operators such that a -algebra is elementary if and only if it has the singleton spectrum and the property . Banach space theoretical construction of (primitive) spectra of -algebras plays important roles in the theory. Characterizations of type I or CCR or (sub)homogeneous -algebras are also given. These results are applied to a geometric nonlinear classification problem for -algebras.

Paper Structure

This paper contains 13 sections, 58 theorems, 216 equations.

Table of Contents

  1. Introduction
  2. Preliminaries
  3. Categories
  4. Banach spaces
  5. $C^*$-algebras
  6. States and representations
  7. Spectra and Primitive spectra
  8. Closure spaces
  9. Geometric spectra and geometric primitive spectra
  10. The case of $C^*$-algebras
  11. Nonlinear theory for irreducible $C^*$-algebras
  12. The Naimark problem revisited
  13. Nonlinear classification of $C^*$-algebras

Key Result

Proposition 3.11

Let $(K,c)$, $(L,d)$ and $(M,e)$ be closure spaces, and let $f:K \to L$ and $g:L \to M$. If $f$ and $g$ are continuous, then $g \circ f : K \to M$ is continuous.

Theorems & Definitions (163)

  • Definition 3.1
  • Remark 3.2
  • Definition 3.3
  • Remark 3.4
  • Remark 3.5
  • Definition 3.6
  • Remark 3.7
  • Definition 3.8
  • Remark 3.9
  • Remark 3.10
  • ...and 153 more