Commutative subalgebras of the algebra of smooth operators (Q328584)

The author characterizes closed, commutative \(^*\)-subalgebras of the algebra \(\mathcal{L}(s',s)\) of smooth operators. Recall that \[ s=\{\xi=(\xi_j)_{j\in\mathbb{N}}\subset\mathbb{C}^{\mathbb{N}}:|\xi|_k^2:=\sum_{j=1}^{+\infty}|\xi_j|^2j^{2k}<+\infty\ \text{for all}\ k\in\mathbb{N}_0\} \] is the so-called space of rapidly decreasing sequences and its topological dual is the so-called space of slowly increasing sequences, defined as \[ s'=\{\eta=(\eta_j)_{j\in\mathbb{N}}\subset\mathbb{C}^{\mathbb{N}}:\sum_{j=1}^{+\infty}|\eta_j|^2j^{-2k}<+\infty\ \text{for some}\ k\in\mathbb{N}_0\}. \] The main result (Theorem 5.3) shows that every infinite-dimensional closed, commutative \(^*\)-subalgebra of \(\mathcal{L}(s',s)\) is isomorphic as a Fréchet \(^*\)-algebra to some closed \(^*\)-subalgebra of the Köthe-type algebra \(\lambda^{\infty}(|f_k|_q)\) for some orthonormal sequence \((f_k)_k\subset s\). The converse is also true. Very interesting results are contained in Section 6; in particular, Theorem 6.9 shows that there exists an infinite-dimensional closed, commutative \(^*\)-subalgebra of the algebra \(\mathcal{L}(s',s)\) which is not isomorphic to any closed \(^*\)-subalgebra of \(s\). The paper under review should be compared with the earlier work of the author in [Stud. Math. 218, No. 2, 145--166 (2013; Zbl 1298.46042)].