The intersection of two real forms in Hermitian symmetric spaces of compact type. II. (Q2339654)

In this paper the authors continue the investigation of intersections of real forms (i.e., fixed point sets of anti-holomorphic isometries) in compact Hermitian symmetric spaces started in [the authors, ibid. 64, No. 4, 1297--1332 (2012; Zbl 1263.53047); correction ibid. 67, No. 3, 1161--1168 (2015); ibid. 67, No. 3, 1161--1168 (2015; Zbl 1332.53070)]. There they obtain a precise description of such intersections in the \textit{irreducible} case. Here they deal with the \textit{reducible} case. They prove that a real form in a compact Hermitian symmetric space \(M\) is a product of real forms in irreducible factors of \(M\) and diagonal real forms determined by antiholomorphic isometries between irreducible factors of \(M\) (given an antiholomorphic isometric map between compact Hermitian symmetric spaces \(\tau: M_1\to M_2\), then the diagonal real form of \(M_1\times M_2\) determined by \(\tau\) is given by \(D_\tau(M_1)=\{(x,\tau(x) | x\in M_1\}\)). Next they show that the intersection of two real forms can be reduced to either the intersection of two real forms in an irreducible factor or to the intersection of two diagonal real forms in the product of two copies of an irreducible factor. The former case was already investigated in [Zbl 1263.53047, loc. cit.]. For the latter case, they obtain the following result. Theorem. Let \(M_1\), \(M_2\) be irreducible Hermitian symmetric spaces of compact type which are holomorphically isometric. We take two anti-holomorphic isometric maps \(\tau_1 : M_1 \to M_2\) and \(\tau_2 : M_2 \to M_1\). We assume that the intersection of \(D_{\tau_1} (M_1)\) and \(D_{\tau_2^{-1}} (M_1)\) is discrete. Then we have the following. {\parindent=6mm \begin{itemize} \item[(1)] If \(M_1 = Q_{2m}({\mathbb C})\), with \(m\geq 2\), and \(\tau_2\tau_1\) does not belong to \(A_0(M_1)\), then \[ \#(D_{\tau_1} (M_1) \cap D_{\tau_2^{-1}} (M_1)) = 2m < 2m+2 = \#_2 M_1. \] \item [(2)] If \(M_1 = G_m({\mathbb C}^{2m})\), with \(m \geq 2\), and \(\tau_2\tau_1\) does not belong to \(A_0(M_1)\), then \[ \#(D_{\tau_1} (M_1) \cap D_{\tau_2^{-1}} (M_1)) = 2^m < {2m\choose m} = \#_2 M_1. \] \item [(3)] Otherwise, \(D_{\tau_1} (M_1) \cap D_{\tau_2^{-1}} (M_1)\) is a great antipodal set of \(D_{\tau_1} (M_1) \) and \(D_{\tau_2^{-1}} (M_1)\), thus \[ \#(D_{\tau_1} (M_1) \cap D_{\tau_2^{-1}} (M_1)) =\#_2M_1. \] \end{itemize}} \(A_0 (M)\) is the identity component of the group of holomorphic isometries of \(M_1\).