On a commutative \(WJ^{*}\)-algebra of \(D_{1}^{+}\)-class and its bicommutant (Q2890630)

According to a theorem of J.\ von Neumann the double commutant of a selfadjoint operator coincides with the weakly closed algebra generated by it.NEWLINENEWLINEThis result is in general not true in a Krein- or Pontryagin space setting. Let \(\mathcal H\) be a Krein space with fundamental symmetry \(J\) (that is, \(J\) converts the Krein space inner product into a Hilbert space inner product). An operator algebra consisting of bounded \(J\)-symmetric linear operators on \(\mathcal H\) is called a \(WJ^*\)-algebra if it is closed in the weak operator topology and contains the identity. A \(WJ^*\)-algebra \(\mathfrak A\) belongs to the class \(D_1^+\) if there exists a maximal non-negative, \(\mathfrak A\)-invariant subspace in \(\mathcal H\) which allows a decomposition into a one-dimensional isotropic part and a uniformly positive subspace.NEWLINENEWLINEIn the present paper a complete (functional) model for commutative \(WJ^*\)-algebras of the class \(D_1^+\) is given for the first time. Based on this, criteria for the equality of a commutative \(WJ^*\)-algebra \(\mathfrak A\) of class \(D_1^+\) with its bicommutant are derived. E.g., if \(\mathfrak A\) contains at least one operator with a non-real point in the spectrum then \(\mathfrak A = \mathfrak A''\). These criteria include the well-studied cases of \(D_1^+\) algebras generated by a single \(J\)-symmetric operator or the case that \(\mathcal H\) is a Pontryagin space with index of indefiniteness one, \(\mathcal H = \Pi_1\), (cf., e.g., [\textit{V. A. Shtraus}, Ukr. Math. J. 38, 682--683 (1986), translation from Ukr. Mat. Zh. 38, No. 6, 805 (1986; Zbl 0623.47037)] and [\textit{O. Ya. Bendersky, S. N. Litvinov} and \textit{V. I. Chilin}, J. Oper. Theory 37, No. 2, 201--222 (1997; Zbl 0894.47030)]).