analysis / Operator algebras; perturbations of C*-algebras

The spatial Kadison-Kastler problem for close separable C*-algebras

Theorem 1.1: for every ε>0\varepsilon>0 there are unital norm-separable C*-algebras A,BA,B on a separable Hilbert space with KK(A,B)<ε\mathrm{KK}(A,B)<\varepsilon and A′′=B′′A''=B'' but no unitary with uAu∗=BuAu^*=B. The construction uses sequence algebras over a deformation of the free-group regular representation (Pytlik-Szwarc family) and a tensor-norm obstruction. It does not show AA and BB are non-isomorphic, imposes no nuclearity (the CSSWW positive theorem needs it), and does not affect von Neumann algebras.

22Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

analysisOct 5, 2026Significance 22/100Registry: unreviewed

The spatial Kadison-Kastler problem for close separable C*-algebras

Prior state unknown→disproved

Theorem 1.1: for every ε>0\varepsilon>0 there are unital norm-separable C*-algebras A,BA,B on a separable Hilbert space with KK(A,B)<ε\mathrm{KK}(A,B)<\varepsilon and A′′=B′′A''=B'' but no unitary with uAu∗=BuAu^*=B. The construction uses sequence algebras over a deformation of the free-group regular representation (Pytlik-Szwarc family) and a tensor-norm obstruction. It does not show AA and BB are non-isomorphic, imposes no nuclea…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Theorem 1.1: for every ε>0\varepsilon>0 there are unital norm-separable C*-algebras A,BA,B on a separable Hilbert space with KK(A,B)<ε\mathrm{KK}(A,B)<\varepsilon and A′′=B′′A''=B'' but no unitary with uAu∗=BuAu^*=B. The construction uses sequence algebras over a deformation of the free-group regular representation (Pytlik-Szwarc family) and a tensor-norm obstruction. It does not show AA and BB are non-isomorphic, imposes no nuclearity (the CSSWW positive theorem needs it), and does not affect von Neumann algebras.

Theorem 1.1: for every ε>0\varepsilon>0 there are unital norm-separable C*-algebras A,BA,B on a separable Hilbert space with KK(A,B)<ε\mathrm{KK}(A,B)<\varepsilon and A′′=B′′A''=B'' but no unitary with uAu∗=BuAu^*=B. The construction uses sequence algebras over a deformation of the free-group regular representation (Pytlik-Szwarc family) and a tensor-norm obstruction. It does not show AA and BB are non-isomorphic, imposes no nuclearity (the CSSWW positive theorem needs it), and does not affect von Neumann algebras.

Recorded attempts

Evidence graph

Connected research record