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

From MaRDI portal
scientific article
Language Label Description Also known as
English
Field algebras in quantum theory with indefinite metric. IV
scientific article

    Statements

    Field algebras in quantum theory with indefinite metric. IV (English)
    0 references
    0 references
    0 references
    1987
    0 references
    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)\).
    0 references
    Pontrjagin space
    0 references
    Tomita's fundamental modular theorem
    0 references
    modular involution
    0 references
    strongly continuous J unitary group
    0 references
    KMS condition
    0 references
    modular group
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references