Nets of standard subspaces on non-compactly causal symmetric spaces (Q6914490)

The paper under review is devoted to a construction of a non-compactly causal symmetric space with nets of standard subspaces such that the Reeh-Schlieder and the Bisognano-Wichman condition are satisfied. Following the algebraic quantum field theory in the sense of \textit{R. Haag} and \textit{D. Kastler} [J. Math. Phys. 5, 848--861 (1964; Zbl 0139.46003)], one considers nets of von Neumann algebras \(\mathcal M(O)\) on a fixed Hilbert space \(\mathcal H\), associated to regions \(O\) in some space-time manifold \(M\), satisfying the following axioms: \begin{itemize} \item[(Iso) Isotony:] if \(O_1 \subseteq O_2\), then \(\mathcal M(O_1) \subseteq O_2\); \item[(Cov) Covariance:] \(U_g\mathcal M(O) = \mathcal M(gO)\), where \((U,\mathcal H)\) is a unitary of a Lie group of symmetry \(G\) acting on \(M\); \item[(RS) Reeh-Schlieder property:] \(\mathcal M(O)\) is cyclic if \(O \ne \emptyset\)' \item[(BW) Bisognano-Wichmann property:] There exists an open subset \(W \subseteq M\) (a wedge region) and an element \(h \in G\) such that \(\mathcal M(W)\) is standard and its modular group satisfies \(\Delta^{-it/2\pi}_{\mathcal M(W)} = U(\exp th), \forall t\in \mathbb R\). \end{itemize} The main results of the paper is Theorem 8: If \((U,\mathcal H)\) is an irreducible anti-unitary representation of the extended group \(G_{\tau_h} = G \rtimes \{\mathbf 1,\tau_h\}\) and \(\mathcal E\) is a finite-dimensional subspace invariant under a maximal compact subgroup \(K\) and the involution \(J\), \(E_K= \mathcal E^J\) is the space of J-invariant vectors. If the Lie group of symmetry is linear the the family \(\mathbf H^M_{E_H}(O)\), for all non-empty open \(O\subseteq G\) (Propositions 9, 10) on the non-compact causal symmetric space \(G/H\) satisfies all the axioms (Iso), (Cov), (RS) and (BW), whith \(W = W^+_M(h)_{eH}\) the connected component of positivity domain of \(h\) on \(M\) of base point. The result applies to the universal covering group \(\widetilde{\mathrm{SL}}_2(\mathbb R)\) of \(\mathrm{SL}_2(\mathbb R)\), which has some interesting application to intersections of standard subspaces associated to representations of such groups (\S5). For the entire collection see [Zbl 1560.22003].