Miscellaneous on commutants mod normed ideals and quasicentral modulus. I (Q6168568)

Let \(\mathcal B(H)\) denote the algebra of all bounded operators on a separable Hilbert space \(H\), and let \(\mathcal C^-_p\subset\mathcal B(H)\) denote the \((p,1)\) Lorentz ideal with the norm \(\|T\|^-_p=\sum_{j\in\mathbb N}s_jj^{-1+\frac{1}{p}}\), where \(s_1\geq s_2\geq\cdots\) are the eigenvalues of \((T^*T)^{1/2}\). Let \(X\) be a smooth compact manifold. For an ideal \(\mathcal J\), let \(\mathcal E(X,\mathcal J)\) denote the commutant, modulo \(\mathcal J\), of \(C^\infty(X)\) in \(\mathcal B(L^2(X))\), \(\mathcal E/\mathcal K(X,\mathcal J)=\mathcal E(X,\mathcal J)/(\mathcal E(X,\mathcal J)\cap\mathcal J)\). Let \(f_1,\ldots,f_m\in C^\infty(X)\) be functions that determine a special embedding of \(X\) in \(\mathbb R^m\), and let \(M(f)\) denote the operator of multiplication by \(f\) in \(L^2(X)\). Here are some of the results of the paper. The quasicentral modulus of the \(m\)-tuple \(M(f_1),\ldots,M(f_m)\) of operators with respect to certain normed ideals is evaluated. It is shown that \(\mathcal E/\mathcal K(X,\mathcal C^-_n)\) is (non-isometrically) isomorphic to a \(C^*\)-algebra. Following the relative double commutant construction and relations with \(K\)-theory, a Mayer-Vietoris-type sequence is constructed for the algebras of the form \(\mathcal E/\mathcal K(X,\mathcal J)\).