analysis / Operator algebras; near inclusions, perturbation theory

Small spatial embeddings for one-sided near inclusions of von Neumann algebras

Theorem 1.1: there are ε0>0\varepsilon_0>0 and pairs of von Neumann algebras on separable Hilbert spaces with common identity and γ(Mn,Nn)→0\gamma(M_n,N_n)\to0 for which spatial embeddings exist but every implementing unitary satisfies ∥u−1∥≥ε0\|u-1\|\ge\varepsilon_0. So the unrestricted one-sided question has a negative answer, in contrast with Christensen's injective case and with the two-sided strong Kadison-Kastler theorem in the same family. The obstruction is to small unitaries, not to the existence of embeddings.

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

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

analysisOct 5, 2026Significance 20/100Registry: unreviewed

Small spatial embeddings for one-sided near inclusions of von Neumann algebras

Prior state unknown→disproved

Theorem 1.1: there are ε0>0\varepsilon_0>0 and pairs of von Neumann algebras on separable Hilbert spaces with common identity and γ(Mn,Nn)→0\gamma(M_n,N_n)\to0 for which spatial embeddings exist but every implementing unitary satisfies ∥u−1∥≥ε0\|u-1\|\ge\varepsilon_0. So the unrestricted one-sided question has a negative answer, in contrast with Christensen's injective case and with the two-sided strong Kadison-Kastler theorem in t…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Theorem 1.1: there are ε0>0\varepsilon_0>0 and pairs of von Neumann algebras on separable Hilbert spaces with common identity and γ(Mn,Nn)→0\gamma(M_n,N_n)\to0 for which spatial embeddings exist but every implementing unitary satisfies ∥u−1∥≥ε0\|u-1\|\ge\varepsilon_0. So the unrestricted one-sided question has a negative answer, in contrast with Christensen's injective case and with the two-sided strong Kadison-Kastler theorem in the same family. The obstruction is to small unitaries, not to the existence of embeddings.

Theorem 1.1: there are ε0>0\varepsilon_0>0 and pairs of von Neumann algebras on separable Hilbert spaces with common identity and γ(Mn,Nn)→0\gamma(M_n,N_n)\to0 for which spatial embeddings exist but every implementing unitary satisfies ∥u−1∥≥ε0\|u-1\|\ge\varepsilon_0. So the unrestricted one-sided question has a negative answer, in contrast with Christensen's injective case and with the two-sided strong Kadison-Kastler theorem in the same family. The obstruction is to small unitaries, not to the existence of embeddings.

Recorded attempts

Evidence graph

Connected research record

Small spatial embeddings for one-sided near inclusions of von Neumann algebras — Mathematical Frontier Network