Solution to Dixmier's Problem about spectra of C*-algebras
Dixmier asked in 1967 whether the spectra of simple separable non-type-I $C^*$-algebras all have the same Borel structure. We solve the formulation using ordinary isomorphisms of quotient Borel $σ$-algebras by proving that its universal assertion is independent of ZFC, relative to the consistency of ZFC. Under the continuum hypothesis, all separable non-type-I spectra are measurably isomorphic, without simplicity or unitality assumptions. In the model obtained by iterating Sacks forcing for $ω_2$ stages with countable supports over a GCH ground model, a fixed simple unital universal spectrum…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.26319
curl -X POST /api/v1/records/arxiv/2609.26319/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.26319/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'