Cartan subalgebras and the UCT problem. II (Q2200766)

The paper is the sequel of [the authors, Adv. Math. 316, 748--769 (2017; Zbl 1382.46048)]. It is well written, well documented and of huge interest for the well-known problem of UCT for separable nuclear \(\mathrm{C}^*\)-algebras. The paper deals with a study of the behaviour of the UCT under crossed products by finite groups. The authors show that for certain actions of finite cyclic groups on UCT Kirchberg algebras, the crossed products satisfy the UCT if and only if there exist Cartan subalgebras which are invariant under the above actions (see Theorem 4.12 and Corollary 4.15). Also, they show that their result completely characterizes the original UCT problem (see Theorem 4.16 and Corollary 4.17). One of the pillars of Theorem 4.12 is Theorem 4.11 concerning a structure result for actions with the Rokhlin property on unital UCT Kirchberg algebras, in which the proof relies on Theorem 3.6 involving a new construction of Cartan subalgebras in certain inductive limits of Cartan pairs. Corollary 4.17 gives a reformulation of the UCT problem in terms of certain \(\mathbb{Z}/p\mathbb{Z}\)-actions on the Cuntz algebra \(\mathcal{O}_2\), which is equivalent in the spirit to [\textit{S. Barlak} and \textit{G.~Szábo}, Trans. Am. Math. Soc. 369, No.~2, 833--859 (2017; Zbl 1371.46054), Theorem 4.17]. More precisely, Corollary 4.17 involves the equivalence between a quasi-freeness type condition with respect to an inverse semigroup of \(\mathcal{O}_2\) (which is condition (ii)) and the existence of a Cartan subalgebra of \(\mathcal{O}_2\) which is \(\mathbb{Z}/p\mathbb{Z}\)-invariant (which is condition (iii)). Here, the equivalence of conditions (ii), (iii) seems of independent interest (when compared with [loc.\,cit., Theorem 4.17]).