The Continuum Hypothesis conjecture on nontrivial corona automorphisms

About 18 years old · traced to

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(βN∖N)C(\beta\mathbb{N}\setminus\mathbb{N}) and the Calkin algebra; its resolution is not specified in the source.

References

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.

Progress summary

Never refreshed

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

Solutions 0

No solutions have been posted yet.