A Chevalley type restriction theorem for a proper complex equifocal submanifold (Q2474627)

Let \(M\) be an immersed submanifold with Abelian normal bundle in a symmetric space \(N= G/K\) of non-compact type. Denote by \(\gamma_v\) the geodesic in \(N\) with \(\dot\gamma_v(0)= v\). The complex focal radius of \(M\) along \(\gamma_v\) and its multiplicity are introduced. If, for each parallel unit normal vector field \(\overline v\) of \(M\), the number of distinct complex focal radii along \(\gamma_{\overline v_x}\) is independent of the choice of \(x\in M\), each complex focal radius function for \(\overline v\) is constant on \(M\) and it has constant multiplicity, then \(M\) is called a complex equifocal submanifold. Also the proper complex equifocal submanifolds are introduced [see \textit{N. Koike}, Tohoku Math. J. (2) 58, No. 3, 393--417 (2006; Zbl 1116.53033)]. The main theorem of this paper is the following Chevalley type restriction theorem for a proper complex equifocal submanifold. Let \(M\) be such a submanifold in a symmetric space \(G/K\) of non-compact type, \(\Sigma\) be a section of \(M\) and \(W\) be the complex Coxeter group (which acts on the extrinsic complexification \(\Sigma^c\) of \(\Sigma\)) associated with \(M\). Let \(F\) (resp., \(F^c\)) be a foliation (which may have singular leaves) consisting of parallel submanifolds of \(M\) (resp., the extrinsic complexification \(M^c\) of \(M\)). Assume that \(F^c\) is defined on the whole of the anti-Kählerian symmetric space \(G^c/K^c\) associated with \(G/K\) and \(G^c\) is simply connected. Then the restriction map \(r: C^\infty(G/K)^F\to C^\infty(\Sigma)^{W_\Sigma}\) is an isomorphism, where \(C^\infty(G/K)^F\) is the ring of all (real-valued) \(C^\infty\)-functions on \(G/K\) which are constant along leaves of \(F\) and \(C^\infty(\Sigma)^{W_\Sigma}\) is that of all (real-valued) \(C^\infty\)-functions on \(\Sigma\) which are invariant with respect to \(W_\Sigma:= \langle\{R|_\Sigma\mid R\in W\) s.t. \(R(\Sigma)= \Sigma\}\rangle\) (where \(\langle*\rangle\) denotes the group generated by the set \(*\)).