Isomorphisms of quotients of FDD-algebras (Q891186)

The paper focuses on the structure of the automorphisms group of certain \(C^*\)-algebraic quotient structures in some models of set theory. The main objects of study of the paper are matrices with complex coefficients \(M_n\)'s and their reduced products, algebras of the form \[ \prod_{\mathcal I}M_{n_k}=\prod M_{n_k}/c_{\mathcal I}(M_{n_k}) \] where \(n_k\) is a sequence of natural numbers, \(\mathcal I\subseteq\mathcal P(\mathbb N)\) is an analytic \(P\)-ideal, and \(c_{\mathcal I}(M_{n_k})\) is defined as \[ c_{\mathcal I}(M_{n_k})=\{(a_k)\in\prod M_{n_k}\mid \forall\epsilon>0\{k: ||a_k||>\epsilon\}\in\mathcal I\}. \] The main result of the paper is the following: it is consistent with ZFC that if \(\mathcal I\) and \(\mathcal J\) are analytic \(P\)-ideals and \(\Phi: \prod_{\mathcal I}M_{n_k}(\mathbb C)\to\prod_{\mathcal I}M_{m_k}(\mathbb C)\) there are \(A\in\mathcal I\), \(B\in\mathcal J\) and an isomorphism \(\phi: \prod_{k\notin A} M_{n_k}\to\prod_{k\notin B} M_{m_k}\) lifting \(\Phi\). In particular, in this model of set theory, \(\mathcal I\) and \(\mathcal J\) are Rudin-Keisler equivalent, and there are only \(2^{\aleph_0}\) automorphisms of \(\prod_{\mathcal I}M_{n_k}(\mathbb C)\). Also, every automorphisms has a Borel (in strict topology) lifting to \(\prod M_{n_k}\). An additional result that can be obtained by the author's main theorem is that, in this model of set theory, if \(\prod M_{n_k}/c_0(M_{n_k})\cong \prod M_{m_k}/c_0(M_{m_k})\) then there is a permutation modulo finite \(\sigma\) such that \(n_k=m_{\sigma(k)}\) for all but finitely many \(k\)'s. The converse statement was proved to be consistent with the assumption of the continuum hypothesis, by the work of Farah, Shelah, the author, and others, while these results where recently proved to hold under the assumption of forcing axioms in the work of McKenney and the reviewer. The main result is proven to hold in a model of set theory obtained using the assumption of a measurable cardinal to construct a countable support iteration \(\mathbb P_{\mathcal I}\) which is forcing all liftings of possible automorphisms of reduced products to be continuous. This particular technique generalizes to quotients of certain \(C^*\)-algebras the work of Farah and Shelah on trivial representation.