On KMS states for self-dual CCR algebras and Bogoliubov automorphism groups (Q3977027)

The author considers \(*\)-algebras of unbounded operators over the triple \((K,r,\Gamma)\), where \(K\) is a complex vector space, \(r\) is a hermitian form on \(K\times K\) and \(\Gamma\) is an anti-linear idempotent operator on \(K\) such that \(r(\Gamma f,\Gamma g)=r(f,g)\) (\(f,g\in K\)). In generalization of the usual CCR algebra he defines a self-dual CCR algebras \({\mathcal U}(K,r,\Gamma)\) over \((K,r,\Gamma)\) as a complex \(*\)- algebra generated by 1 and \(\{B(f)\mid\;f\in K\}\), where \(B(f)\) is a complex linear form in \(f\in K\), \(B(f)^*=B(\Gamma f)\) and \(B(f)^*B(g)-B(g)B(f)^*=r(f,g)1\) for \(f,g\in K\). Furthermore the author generalizes the concept of Bogoliubov automorphism groups \(\{\tau_ t\}_{t\in\mathbb{R}}\), states, quasi-free states and \((\tau,\beta)\)-KMS-states of the usual \(C^*\)-algebraic theory in a natural way to his settings. A state \(\phi\) on \({\mathcal U}(K,r,\Gamma)\) is said to be \(K\)-continuous if \(\phi(\prod_{i=1}^ n(B((\cdot)_ i)))\in C^ 0(\times^ n_{i=1}K;\mathbb{C})\). The author investigates the existence and uniqueness of \(K\)-continuous \((\beta,\tau)\)- KMS states on \({\mathcal U}(K,r,\Gamma)\) under the following conditions: i) \(K\) is a complex Hilbert space and \(\Gamma\) is a anti-unitary idempotent algebra on \(K\), ii) \(h\) is a selfadjoint operator on \(K\) such that \(\{U_ t:=\exp(iht)\}_{t\in\mathbb{R}}\) is a Boguliubov transformation for \((K,r,\Gamma)\). Let \(\beta\in(0,\infty)\), let \(\{\tau_ t\}_{t\in\mathbb{R}}\) be the Bogoliubov automorphism group of \({\mathcal U}(K,r,\Gamma)\) induced by \(\{U_ t\}_{t\in\mathbb{R}}\), then under the assumption above the author proves if \(r(f,g)=(f,(\exp(\beta h)-1)(\exp(\beta h)+1)^{-1}g)_ K\) is valid for \(f,g\in K\) then there exists a \(K\)-continuous \((\beta,\tau)\)- KMS state on \({\mathcal U}(K,r,\Gamma)\). If \(h\) does not have an eigenvalue 0, then this state is unique and quasi-free on \({\mathcal U}(K,r,\Gamma)\).