Compact Rank-One Symmetric Spaces

• Compact rank-one symmetric spaces are simply connected, irreducible Riemannian symmetric spaces with one-dimensional flat subspaces, including spheres and various projective spaces.
• They feature canonical invariant metrics that yield constant or pinched positive curvature, alongside unique Killing fields that underline their geometric rigidity.
• Explicit spectral formulas and sharp isoperimetric inequalities on these spaces support advances in harmonic analysis and PDE regularity in geometric analysis.

A compact rank one symmetric space (often abbreviated as “CROSS”) is a simply connected, irreducible Riemannian symmetric space of compact type whose rank is one, meaning the maximal dimension of a flat totally geodesic submanifold is one. The class consists precisely of the round spheres, real projective spaces, complex projective spaces (with the Fubini–Study metric), quaternionic projective spaces, and the exceptional 16-dimensional Cayley (octonionic) plane. These spaces exhibit maximal symmetry, constant or pinched positive sectional curvature, and striking rigidity properties in geometry, analysis, and topology.

1. Classification and Geometric Structure

The full list of CROSSes is as follows (González-Dávila, 2023, Connell et al., 2024, Choudhury et al., 2024, Memarian, 2017, Ciaurri et al., 2012):

Space	Symmetric Model	Dimension	Isotropy
$S^n$	$SO(n+1)/SO(n)$	$n$	$SO(n-1)$
$\mathbb{R}P^n$	$SO(n+1)/S(O(1)\times O(n-1))$	$n$	$S(O(1)\times O(n-1))$
$\mathbb{C}P^n$	$SU(n+1)/S(U(1)\times U(n-1))$	$2n$	$S(U(1)\times U(n-1))$
$\mathbb{H}P^n$	$Sp(n+1)/(Sp(1)\times Sp(n-1))$	$4n$	$Sp(1)\times Sp(n-1)$
$\mathbb{O}P^2$	$F_4/\Spin(9)$	$16$	$Spin(7)$

Each carries a canonical $G$-invariant metric (usually normalized so the maximal sectional curvature is $+1$), and admits a transitive isometric group action. The symmetric spaces possess a reductive decomposition $\mathfrak{g}=\mathfrak{k}\oplus\mathfrak{m}$, and their tangent bundle geometry is dominated by the unique Cartan subspace $\mathfrak{a}\subset\mathfrak{m}$ of dimension one, with the remaining directions fibered accordingly (González-Dávila, 2023, Ciaurri et al., 2012).

2. Invariant Metrics, Symmetry, and Killing Fields

CROSSes are uniquely characterized among compact symmetric spaces by the following structure theorem (González-Dávila, 2023):

Theorem (Invariant metric and Killing field characterization): Let $M=G/K$ be an irreducible Riemannian symmetric space of compact type and $T_1M \cong G/H$ its unit tangent sphere bundle. $M$ is of restricted rank one if and only if there exists a $G$-invariant Riemannian metric on $T_1M=G/H$ of the form $$g_{a,b}=a(\cdot,\cdot)|_\mathfrak{a} + b(\cdot,\cdot)|_\mathfrak{m}$$ (with positive $a, b$), for which the standard vector field $\xi^S$ is Killing.

The absence of such metrics in rank $\geq2$ spaces demonstrates the extremal symmetry of CROSSes (González-Dávila, 2023).

The geometric model $T_1M = G/H$ allows one to construct $G$-invariant contact metric structures $(\varphi,\xi,\eta,g)$ parameterized by positive constants $a,b$, wherein the Killing condition ($b=a$) yields Sasakian structures. The standard vector field $\xi^S$ intertwines the fiberwise geometry, and the irreducibility of the isotropy $\mathfrak{m}$ ensures uniqueness (González-Dávila, 2023).

3. Canonical Metrics, Curvature Normalization, and Rigidity

The symmetric metrics deployed on CROSSes have the following curvature properties (Connell et al., 2024, Choudhury et al., 2024):

• $S^n$ and $\mathbb{R}P^n$: constant sectional curvature $K=+1$.
• $\mathbb{C}P^n$, $\mathbb{H}P^n$, $\mathbb{O}P^2$: $K\in[0,1]$ (for appropriately scaled metrics). In each case, holomorphic or quaternionic planes achieve the maximal curvature, while totally real or "fiber" planes realize $K=0$.

Rigidity Theorem: If $g$ is a Riemannian metric on $X$ (a CROSS) such that $g=g_0$ (the canonical metric) outside a closed s-convex subset $D$, and $0\leq \sec_g\leq 1$, then $(X,g)$ is globally isometric to $(X,g_0)$ (Connell et al., 2024). No local deformation within the pinching window preserves both the symmetric metric and curvature bounds. The necessity of nonnegative curvature is demonstrated via explicit constructions involving perturbations with negative curvature.

These phenomena reflect the "mirror image" of boundary rigidity in nonpositive curvature symmetric spaces and solidify the status of CROSSes as maximal positive curvature models (Connell et al., 2024).

4. Harmonic Analysis: Laplace Spectrum and Weyl’s Law

The eigenstructure of the Laplace–Beltrami operator on CROSSes admits explicit spectral formulas (Choudhury et al., 2024, Ciaurri et al., 2012):

• Eigenvalues: $\lambda_k = A\,k^2 + B\,k + C$
• Multiplicities: $R(k) = C_0\,k^{d-1} +$ lower terms

Weyl’s law applies: $$N(\lambda) = \frac{\operatorname{Vol}(M)}{(4\pi)^{d/2}\Gamma(1+\frac{d}{2})}\lambda^{d/2} + E(\lambda),\quad E(\lambda) = O(\lambda^{(d-1)/2})$$ where $d$ is the manifold’s real dimension. For each CROSS, the error $O(\lambda^{(d-1)/2})$ is sharp and cannot be improved. For products of CROSSes, polynomial improvements in the error term are possible ($O(\lambda^{(d-1)/2-\delta})$, $\delta>0$ depending on the number of factors), following lattice-point methods (Choudhury et al., 2024).

Spectral analysis in geodesic polar coordinates reveals that the Laplacian's radial part acts as a Jacobi-type operator: $$\mathcal{J}^{\alpha,\beta} := (\sin\theta)^{-2\alpha}(\cos\theta)^{-2\beta}\frac{d}{d\theta}\left[(\sin\theta)^{2\alpha+1}(\cos\theta)^{2\beta+1}\frac{d}{d\theta}\right]$$ The spectral decomposition involves trigonometric Jacobi polynomials, and fractional powers admit explicit integral kernels with sharp singularity bounds (Ciaurri et al., 2012).

5. Isoperimetric Inequalities and Localization via Needle Decomposition

Sharp isoperimetric inequalities on CROSSes are obtainable through Klartag’s needle decomposition (Memarian, 2017):

• For $\mathbb{R}P^n$, isoperimetric regions are geodesic balls or tubes around totally geodesic $\mathbb{R}P^k$.
• For $\mathbb{C}P^n$, $\mathbb{H}P^n$, analogous sets are balls or tubes around $\mathbb{C}P^k$ or $\mathbb{H}P^k$.
• On $\mathbb{O}P^2$, evidence and tube-volume formulas support a similar division around the unique totally geodesic $\mathbb{O}P^1$.

The underlying localization argument exploits the two-point homogeneity and the Sturm–Liouville theory for needle densities, leading to explicit volume-minimizing regions expressed in terms of monomials $\sin(t)^\alpha \cos(t)^\beta$. Rigidity in isoperimetric minimizers is ensured by the geometry and symmetry of the CROSS.

6. Fractional Integral Operators and Weighted Norm Inequalities

Fractional integrals associated with the Laplace–Beltrami operator on CROSSes can be defined spectrally as $(-\Delta_M)^{-\sigma/2}$, with the action reducing—via separation of variables—to fractional Jacobi integrals (Ciaurri et al., 2012):

The associated sharp kernel satisfies for $0<\sigma<1$,

$$0 \leq K_{\alpha,\beta}^\sigma(\theta,\varphi) \leq C_\sigma\, \frac{(\sin\theta\sin\varphi)^{\alpha+\frac12} (\cos\theta\cos\varphi)^{\beta+\frac12}}{|\sin\frac{\theta-\varphi}{2}|^{1-\sigma}}$$

Mixed-norm inequalities for these operators generalize the Hardy–Littlewood–Sobolev and Stein–Weiss theorems to two-point homogeneous spaces. These results underpin regularity and embedding theorems for PDEs on CROSSes and offer template bounds for other spectral multipliers and Riesz transforms.

7. Broader Context and Implications

CROSSes occupy a central role in Riemannian geometry as model spaces for positive curvature, maximal symmetry, and geodesic convexity. The rigidity results reveal that geometric, topological, and analytic invariants are tightly constrained by the rank-one structure. The explicit spectral and isoperimetric formulas inform advances in spectral geometry, geometric analysis, probability, and mathematical physics.

Further research directions include extensions to higher-rank symmetric spaces, dual noncompact settings, endpoint inequalities for fractional operators, and further exploration of the exceptional geometry and representation theory associated with the Cayley plane (Ciaurri et al., 2012).

---

The body of recent research affirms the unique position of compact rank one symmetric spaces as a foundation for geometric rigidity, optimal inequalities, and explicit harmonic analysis (González-Dávila, 2023, Connell et al., 2024, Choudhury et al., 2024, Memarian, 2017, Ciaurri et al., 2012).