[Paper Review] Hyperpolar homogeneous foliations on symmetric spaces of noncompact type

Jürgen Berndt, José Carlos Díaz-Ramos+1 more|arXiv (Cornell University)|Jul 22, 2008

Geometric Analysis and Curvature Flows15 references4 citations

TL;DR

This paper classifies all hyperpolar homogeneous foliations on Riemannian symmetric spaces of noncompact type by constructing them from horospherical decompositions associated with orthogonal subsets of simple roots. The classification shows that every such foliation is isometrically congruent to a product of codimension-one homogeneous foliations on rank-one symmetric spaces, foliations by parallel affine subspaces on Euclidean space, and the horocycle subgroup of a parabolic subgroup.

ABSTRACT

A foliation on a Riemannian manifold is hyperpolar if it admits a flat section, that is, a connected closed flat submanifold that intersects each leaf of the foliation orthogonally. In this article we classify the hyperpolar homogeneous foliations on every Riemannian symmetric space of noncompact type.

Motivation & Objective

• To classify all hyperpolar homogeneous foliations on Riemannian symmetric spaces of noncompact type.
• To understand the geometric and algebraic structure of such foliations using the horospherical decomposition of symmetric spaces.
• To establish a complete classification based on orthogonal subsets of simple roots and their associated parabolic subalgebras.
• To demonstrate that all such foliations arise as products of elementary foliations on rank-one symmetric spaces, Euclidean spaces, and horocycle subgroups.
• To provide a conceptual, structure-theoretic classification method distinct from prior approaches used in the compact case.

Proposed method

• Utilizes the horospherical decomposition $ M = F_{ m extbackslash Phi}^{s} \times \mathbb{E}^{\mathop{\rm rank}M - \lvert\Phi\rvert} \times N_{\Phi} $, where $ F_{\rm \textbackslash Phi}^{s} $ is a product of rank-one symmetric spaces.
• Constructs foliations as products of: (1) codimension-one homogeneous foliations on each rank-one factor in $ F_{\rm \textbackslash Phi}^{s} $, (2) foliations by parallel affine subspaces on $ \mathbb{E}^{\mathop{\rm rank}M - \lvert\Phi\rvert} $, and (3) the horocycle subgroup $ N_{\Phi} $.
• Applies structure theory of parabolic subalgebras of real semisimple Lie algebras to analyze the geometry of the foliations.
• Analyzes the shape operator $ A_{\xi} $ on leaves using the restricted root space decomposition and the action of $ \mathop{\rm ad}(\xi) $ on root spaces.
• Uses the mean curvature vector $ \mathcal{H} $ expressed in terms of projections onto $ \mathfrak{a}_{\Phi} \ominus V $ and contributions from roots in $ \Phi $.
• Employs the Iwasawa decomposition and the action of $ \mathop{\rm Ad}(\phi) $ for $ \phi \in N_K(\mathfrak{a}) $ to analyze symmetry and eigenvalue structure of $ A_{\xi} $.

Experimental results

Research questions

• RQ1 What are all possible hyperpolar homogeneous foliations on symmetric spaces of noncompact type?
• RQ2 How can such foliations be systematically constructed from the root system and parabolic subalgebras of the isometry group?
• RQ3 What is the role of the horospherical decomposition in classifying these foliations?
• RQ4 How do the principal curvatures of the leaves behave, and what determines their multiplicities?
• RQ5 In what way does the classification differ fundamentally from known results in the compact case?

Key findings

• Every hyperpolar homogeneous foliation on a symmetric space of noncompact type is isometrically congruent to a product of three components: a codimension-one homogeneous foliation on each rank-one symmetric space in $ F_{\Phi}^{s} $, a foliation by parallel affine subspaces on $ \mathbb{E}^{\mathop{\rm rank}M - \lvert\Phi\rvert} $, and the horocycle subgroup $ N_{\Phi} $.
• The mean curvature vector $ \mathcal{H} $ is explicitly computed as $ 2\pi_{\mathfrak{a}_{\Phi} \ominus V}(H_{\delta}) + \sum_{\alpha \in \Phi} \frac{a_{\alpha}|\alpha|^2}{2 + a_{\alpha}^2|\alpha|^2}(\dim\mathfrak{g}_{\alpha} + 2\dim\mathfrak{g}_{2\alpha})(a_{\alpha}H_{\alpha} + 2E_{\alpha}) $.
• For the solvable foliation with $ \Phi = \{\alpha\} $, the principal curvatures are $ -|\alpha|\tanh(|\alpha|r) $, $ -\frac{3|\alpha|}{2}\tanh(|\alpha|r) \pm \frac{|\alpha|}{2}\sqrt{4 - 3\tanh(|\alpha|r))} $, with multiplicities $ \dim\mathfrak{g}_{\alpha} $, $ \dim\mathfrak{g}_{2\alpha} $, and $ \dim\mathfrak{g}_{2\alpha} $ respectively.
• The shape operator $ A_{\xi} $ on the horocycle foliation is given by $ A_{\xi} = \bigoplus_{\lambda \in \Sigma^+} \lambda(\xi)1_{\mathfrak{g}_{\lambda}} $, reflecting the eigenvalue structure of the adjoint action.
• The classification is based on orthogonal subsets $ \Phi $ of simple roots and is conceptually distinct from compact-type classifications, relying on parabolic subalgebra structure in noncompact settings.
• The horocycle foliation is one of two congruency classes of codimension-one homogeneous foliations on each rank-one symmetric space $ \mathbb{F}H^n $, the other being the solvable foliation $ \mathcal{F}_{\mathbb{F}}^n $.