No label defined (Q4337517)

Let \(\mathfrak g\) be a noncompact semisimple Lie algebra, \(\sigma\) an involution of \(\mathfrak g\), \(\theta\) a Cartan involution of \(\mathfrak g\) which commutes with \(\sigma\). Let \(\mathfrak h\) (resp. \(\mathfrak k\)) and \(\mathfrak q\) (resp. \(\mathfrak p\)) be the +1 and \(-1\) eigenspaces of \(\sigma\) (resp. of \(\theta\)). Then there is the direct sum decomposition \({\mathfrak g}={\mathfrak k}\cap {\mathfrak h} \oplus {\mathfrak k}\cap {\mathfrak q}\oplus {\mathfrak p} \cap {\mathfrak h} \oplus {\mathfrak p}\cap {\mathfrak q}\). Let \(\mathfrak a\) be a maximal abelian subspace in \({\mathfrak p}\cap {\mathfrak q}\) and \({\mathfrak a}^*\) be its dual, \(\Sigma\subset {\mathfrak a}^*\) the restricted root system of the semisimple symmetric pair \(({\mathfrak g},{\mathfrak h})\), \(l=\dim {\mathfrak a}\) the split rank of \(({\mathfrak g},{\mathfrak h})\) and \(W\) the Weyl group of \(\Sigma\). For each signature of roots \(\varepsilon\) of \(\Sigma\), one can define an involution \(\sigma_\varepsilon\) of \(\mathfrak g\) and the associated semisimple symmetric space \(G/H_\varepsilon\). Let \(\widetilde{X}\) be the product manifold \(G\times \mathbb{R}^1\times W'\), where \(W'\) is a certain subgroup of Weyl group \(W\). There exists an equivalence relation \(\sim\) on \(\widetilde{X}\). Let \(X=\widetilde{X}/\sim\) and \(\pi:\widetilde{X}\to X\) be the projection, then \(X\) inherits from \(\widetilde X\) an analytic action of \(G\), given by \(g\pi(x)=\pi(gx)\). The author of the present paper proves that: 1) \(X\) is a compact connected real analytic manifold without boundary; 2) there exist open \(G\)-orbits that are isomorphic to \(G/H_\varepsilon\) for each signature of roots \(\varepsilon\); 3) the system \({\mathcal M}_\lambda\) of invariant differential equations on \(G/H_\varepsilon\) extends analytically on \(X\) and has regular singularities in the weak sense along the boundaries. \textit{T. Oshima} and \textit{J. Sekiguchi} [Invent. Math. 57, 1-81 (1980; Zbl 0434.58020)] constructed the realization of an \(\varepsilon\)-family of Riemannian symmetric spaces \(\{G/H_\varepsilon\}\); hence this paper generalizes their results.