Field algebras in quantum theory with indefinite metric. IV (Q1101657)

Let \({\mathcal H}\) be a Pontrjagin space with a metric operator J and M the weakly closed unitary J-involutive algebra (W *-algebra) of bounded operators on \({\mathcal H}\). Let \(\xi_ 0\in {\mathcal H}\) be a cyclic vector with respect to M and M'. Corresponding to M we have two closed operators S and F satisfying S \(2=F\) \(2=I\) and a self-adjoint operator \(\Delta =FS\) with respect to the indefinite bilinear form \(<\cdot,\cdot >\). The authors prove the Tomita's fundamental modular theorem for M taken off their restriction on the spectrum \(\sigma\) (\(\Delta)\) in [cf. part III, reviewed above]. Let j be the modular involution satisfying \(S=j\Delta^{1/2}.\) Theorem. If \(\{\)-1\(\}\not\in \sigma (\Delta)\), then \(jM''j=M'\) holds. The strongly continuous J unitary group \(\Delta^{it}\) leaves \(\xi_ 0\) invariant, and gives the group of automorphisms in M''. That is, \(\Delta^{it}\xi_ 0=\xi_ 0\) and \(\Delta^{-it}M''\Delta^{it}=M''\) holds. The process of the proof is completely realized when the following estimation holds: The function \[ f(z)\equiv f(x+it)=<\Delta^{- it}(\Delta^{-x+}(I+\Delta)^{-1})\xi,\quad \Delta^{- it}(\Delta^{x+}(I+\Delta)^{-1})\eta > \] for \(\xi\),\(\eta\in {\mathcal H}\) satisfies the inequality \[ (1)\quad | f(x+it)| \leq C,\quad \exp (\beta | t|),\quad \beta \leq \beta '<\pi \] for \(| x| \leq\) and for sufficiently large \(| t|\). The authors give the decomposition \(\Delta =\Delta_ r+\Delta_ c\) satisfying \(\sigma (\Delta_ r)\subset {\mathbb{R}}\) and \(\sigma (\Delta_ c)\subset {\mathbb{R}}^ c,\) derive two estimations \[ \| \Delta_ r^{it}\| \leq C_ r\exp (\epsilon | t|),\forall \epsilon >0\quad and\quad \| \Delta_ c^{it}\| <C_ c\exp (\alpha | t|),\quad \alpha \leq \alpha '<\pi, \] and prove the inequality (1). Finally they have the following results: (i) There exists a unique group of automorphisms in M such that the functional \(\omega_ 0(\cdot)=<\xi_ 0,\cdot \xi_ 0>\) satisfies KMS condition on the invariant, (ii) The group is the modular group of the automorphisms in the pair \((M,\xi_ 0)\).