{"id":"arxiv/2609.26319","url":"https://arxiv.org/abs/2609.26319","tags":["math.OA","math.FA","math.LO"],"score":0,"title":"Solution to Dixmier's Problem about spectra of C*-algebras","domain":"math.OA","source":"arxiv","authors":["Martino Lupini"],"reviews":0,"subject":"math.OA","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-22","reactions":{}}