Field algebras in quantum theory with indefinite metric. III. Spectrum of modular operator and Tomita's fundamental theorem (Q1101656)

[For part II see Teor. Mat. Fiz. 62, No.1, 30-44 (1985; Zbl 0571.47032).] Let \({\mathcal H}\) be a Pontrjagin space with indefinite bilinear form by a metric operator J and with positive bilinear form. Let M be the weakly closed unitary J-involutive algebra \((WJ^*\) algebra) of bounded operators on \({\mathcal H}\) and \(\xi_ 0\in {\mathcal H}\) the cyclic vector for M and M'. Corresponding to M we have a generalized Hilbert algebra \({\mathcal U}=M\xi_ 0\) and two closed operators S and F, satisfying \(S^ 2=F^ 2=I\), which are conjugate to each other with respect to the indefinite bilinear form. The authors show that the modular self-conjugate operator \(\Delta =FS\) has the following properties: (I) \(\sigma (\Delta)\subset \{-1\}\cup {\mathbb{R}}_+\cup \Gamma_{\Delta}\). Here \(\sigma\) (\(\Delta)\) is the spectrum of \(\Delta\) and \(\Gamma_{\Delta}\) is a finite set in \(\{\) z; Re \(z\geq -1,Im z\neq 0\}.\) (II) If -1\(\not\in \sigma (\Delta)\), there exist bounded operators \(\Delta^{it}\) for \(t\in (-\infty,\infty)\) which give a strongly continuous J-unitary group. Furthermore under the same condition an invertible closed operator \(\Delta^ z\) can be given for any complex z. They also prove the Tomita's fundamental modular theorem in \({\mathcal H}\) with a restriction on \(\sigma(\Delta)\). Let modular involution be the operator j satisfying \(S=j\Delta^{1/2}.\) Theorem. If \(\sigma(\Delta)\subset \{Re z>0\}\cup \{0\}\), then \(jM''j=M'\) holds. Furthermore the strongly continuous J-unitary group \(\Delta^{it}\) leaves the vector \(\xi_ 0\) invariant and gives a group of automorphisms in M''. That is, \(\Delta^{it}\xi_ 0=\xi_ 0\) and \(\Delta^{it}M''\Delta^{-it}=M''\) hold. The proof is based on Lemmas by \textit{M. A. Rieffel} and \textit{A. Van Daele} [Pac. J. Math. 69, 187-211 (1976; Zbl 0347.46073)].