The Continuum Hypothesis conjecture on nontrivial corona automorphisms

From papers

Let A\mathcal{A} be a separable, nonunital C*-algebra, and let its corona be the quotient Q(A)=M(A)/A\mathcal{Q}(\mathcal{A})=\mathcal{M}(\mathcal{A})/\mathcal{A} of its multiplier algebra by A\mathcal{A}. An automorphism of Q(A)\mathcal{Q}(\mathcal{A}) is trivial when its graph, pulled back to the unit balls of the multiplier algebras, is Borel in the strict topologies. Continuum Hypothesis conjecture. The Continuum Hypothesis implies that Q(A)\mathcal{Q}(\mathcal{A}) has a nontrivial automorphism. This conjecture predicts abundant nontrivial automorphisms of corona algebras under the Continuum Hypothesis, extending known results for examples such as C(βNN)C(\beta\mathbb{N}\setminus\mathbb{N}) and the Calkin algebra; its resolution is not specified in the source.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Paul McKenney, “Reduced products of UHF algebras under forcing axioms”, arXiv:1303.5037 (2013).

Additional references

3 papers in this index state this conjecture (2008–2013). The statement above is taken from the most recent of them; the others are arXiv:1204.4839, arXiv:0812.3207.

Solutions 0

No solutions have been posted yet.