Geodesic Orbit Invariant Riemannian Metrics

• Geodesic orbit invariant Riemannian metrics are defined on homogeneous spaces where every geodesic is an orbit of a one-parameter subgroup of isometries.
• They are characterized by specific algebraic conditions and decompositions of Lie algebras, leading to block-diagonal forms and eigenvalue coincidences.
• Their classification advances our understanding of naturally reductive spaces, Einstein metrics, and the interplay between Lie groups and representation theory.

A geodesic orbit invariant Riemannian metric ("g.o. metric") on a homogeneous space is a Riemannian metric for which every geodesic is the trajectory of a one-parameter subgroup of isometries. Such metrics arise in the study of homogeneous Riemannian manifolds and their classification is a central problem in differential geometry, with deep connections to representation theory, the structure of Lie groups, and the theory of naturally reductive spaces.

1. Formal Definition and Algebraic Characterization

Let $(M,g)$ be a connected Riemannian manifold. $(M,g)$ is called a geodesic orbit (g.o.) manifold if every geodesic $\gamma(t)$ can be written as

$\gamma(t) = \exp(tX) \cdot p$

for some $X$ in the Lie algebra of a transitive group $G \subset \mathrm{Isom}(M,g)$ and $p \in M$ (Souris, 15 Jul 2025). Equivalently, all geodesics are orbits of one-parameter subgroups of $G$.

For a homogeneous space $M=G/H$ with $G$ compact and $H$ closed, and an $\mathrm{Ad}(H)$-invariant decomposition $\mathfrak{g} = \mathfrak{h} \oplus \mathfrak{m}$, a $G$-invariant Riemannian metric corresponds to a positive-definite, symmetric, $\mathrm{Ad}(H)$-equivariant endomorphism $A:\mathfrak{m}\to\mathfrak{m}$, with

$g(X,Y) = B(A X, Y)$

for $X,Y \in \mathfrak{m}$ and $B$ an $\mathrm{Ad}(G)$-invariant inner product.

The g.o. condition is: $$\forall X \in \mathfrak{m} \quad \exists\, Z \in \mathfrak{h} : \quad [Z + X,\, A X] = 0$$ This bracket condition is central in the classification and structural analysis of g.o. metrics (Souris, 15 Jul 2025, Souris, 2021, Souris, 2016, Berestovskii et al., 12 Jan 2026).

2. Metric Parametrization and Representation-Theoretic Structure

For $G$ compact simple, e.g. $G_2$, invariant metrics are parametrized via the decomposition into $\mathrm{Ad}(H)$-irreducible summands. For any connected subgroup $H \subset G$ with Lie algebra $\mathfrak{h}$:

• The normalizer $\mathfrak{k} = n_{\mathfrak{g}}(\mathfrak{h})$ decomposes as $$\mathfrak{z}(\mathfrak{k}) \oplus \mathfrak{k}_1 \oplus \dots \oplus \mathfrak{k}_s$$, with $\mathfrak{z}(\mathfrak{k})$ the center and $\mathfrak{k}_i$ simple ideals.
• The complement $\mathfrak{m}$ splits into inequivalent irreducibles: $$\mathfrak{m} = \mathfrak{m}_1 \oplus \cdots \oplus \mathfrak{m}_p$$.

If $H$ is weakly regular (no nontrivial $\mathrm{Ad}(k)$-submodule of $\mathfrak{k}$ is equivalent to one of $\mathfrak{m}$), which is automatic for rank two groups such as $G_2$, Schur's lemma and the normalizer lemma enforce the metric endomorphism to be block-diagonal and scalar on each irreducible summand (Souris, 15 Jul 2025): $$\Lambda = \operatorname{diag}(\Lambda|_{\mathfrak{z}(k)},\, \lambda_1\, \mathrm{Id}|_{k_1},\, \ldots,\, \lambda_s \, \mathrm{Id}|_{k_s},\, \mu_1\, \mathrm{Id}|_{m_1},\, \ldots,\, \mu_p\, \mathrm{Id}|_{m_p})$$ Thus, the inner product on $\mathfrak{g}$ is given by: $$\langle \cdot, \cdot \rangle = (\text{any~on~} \mathfrak{z}(k)) + \lambda_1(-B)|_{k_1 \times k_1} + \cdots + \lambda_s(-B)|_{k_s \times k_s} + \mu_1(-B)|_{m_1 \times m_1} + \cdots + \mu_p(-B)|_{m_p \times m_p}$$ (Souris, 15 Jul 2025, Souris, 2016).

3. Structural Constraints: Naturally Reductive Character and Classification

Naturally reductive metrics are defined via the property that, for some reductive decomposition $\mathfrak{g} = \mathfrak{h} \oplus \mathfrak{m}$ and inner product,

$$([X, Y]_{\mathfrak{m}}, X) = 0 \quad \forall X, Y \in \mathfrak{m}$$

Every naturally reductive metric is g.o., but the converse is not generally true. However, for a wide class of homogeneous spaces—including those with abelian or (weakly) regular isotropy—classification results show that all g.o. metrics are automatically naturally reductive (Nikolayevsky et al., 2017, Souris, 15 Jul 2025, Souris, 2020, Souris, 2021). In particular, on compact simple Lie groups endowed with left-invariant metrics invariant under a regular or weakly regular subgroup, the only g.o. metrics are the D'Atri–Ziller (naturally reductive) family: $$\langle\cdot, \cdot\rangle = (\text{any on } \mathfrak{z}(k)) + \sum_{i=1}^{s} \lambda_i (-B)|_{k_i \times k_i} + \mu (-B)|_{m \times m}$$ This phenomenon appears, for example, in the complete classification of g.o. metrics on $G_2$ (Souris, 15 Jul 2025), Ledger–Obata spaces (Nikolayevsky et al., 2017), and homogeneous spaces $G/S$ with $S$ abelian (Souris, 2020).

4. Eigenvalue Coincidence and Block-Diagonal Reduction

The algebraic structure, particularly the bracket relations among $\mathfrak{g}$- or $\mathfrak{m}$-submodules, imposes further constraints:

• If two distinct eigenspaces $g_1, g_2$ for $\Lambda$ satisfy $[g_1, g_2]$ projects non-trivially outside $g_1 \oplus g_2$, then their eigenvalues must coincide, forcing many of the $\mu_i$ to be equal (Souris, 15 Jul 2025, Souris, 2016).
• For isotypical summands composed of equivalent irreducibles, the g.o. condition forces both the vanishing of off-diagonal blocks and the equality of diagonal entries, reducing the metric endomorphism to a scalar on each block (Souris, 2016).

This results in a block-diagonal form: $$A = \lambda_0 \mathrm{Id}|_{S_0} \oplus \lambda_1 \mathrm{Id}|_{S_1} \oplus \cdots \oplus \lambda_N \mathrm{Id}|_{S_N}$$ where $S_k$ are the isotypical summands. In applications to flag manifolds, Stiefel manifolds, and other symmetric and weakly symmetric spaces, these reductions provide explicit parametrizations of all g.o. metrics (Souris, 2016, Arvanitoyeorgos et al., 2021, Grajales et al., 2020).

5. Examples, Special Cases, and Counterexamples

Rank two compact Lie groups: For $G$ of rank two (e.g., $G_2$), the only g.o. metrics are the standard (naturally reductive) ones, except for certain spheres and projective spaces with metrics induced from Hopf fibrations (the Berger spheres), which exhibit one-parameter families of non-normal g.o. metrics (Souris, 2020, Souris, 15 Jul 2025).

Ledger–Obata spaces: All g.o. metrics are necessarily naturally reductive. For $m=3$ factors, every invariant metric is naturally reductive. Reducible metrics correspond to Riemannian products of lower-dimensional Ledger–Obata spaces; irreducibility correlates with non-splitting of holonomy (Nikolayevsky et al., 2017).

Abelian isotropy (spaces $G/S$): For $G$ compact, connected, semisimple and $S$ abelian, g.o. metrics are exactly the normal homogeneous metrics, with no off-diagonal variation, and a scalar parameter for each simple summand (Souris, 2020).

Left-invariant metrics on $GL^+(n)$, right-$O(n)$-invariance: The left-invariant, right-$O(n)$-invariant Riemannian metric on $GL^+(n)$ exhibits the g.o. property by virtue of its natural reductivity with respect to the decomposition $$\mathfrak{gl}(n) = \mathfrak{so}(n) \oplus \mathrm{Sym}(n)$$ (Martin et al., 2014).

Limiting counterexamples: There exist homogeneous spaces (particularly non-compact or with certain integrable invariant distributions) where the existence of integrable distributions does not guarantee the existence of a g.o. metric; in fact, infinite families of spaces admit no g.o. metrics despite all $G$-invariant distributions being involutive (Berestovskii et al., 12 Jan 2026).

6. Implications for Einstein and Homogeneous Spaces

The relation with homogeneous Einstein metrics is subtle. Many non-naturally-reductive Einstein metrics on compact simple Lie groups are not g.o.; large classes of Einstein metrics constructed via flag-subgroups or block-diagonal embeddings fail to meet the g.o. criterion (Souris, 2021). The interplay between the algebraic structure, representation theory, and curvature properties is therefore nontrivial.

In Riemannian geometry, the rigidity imparted by the g.o. condition often enforces isotropy irreducibility, normal homogeneity, or natural reductivity. The precise classification results for g.o. metrics underpin several foundational results in structure theory for homogeneous spaces.

---

References:

• "Geodesic orbit metrics on the compact Lie group $G_2$" (Souris, 15 Jul 2025)
• "Einstein Lie groups, geodesic orbit manifolds and regular Lie subgroups" (Souris, 2021)
• "Minimal geodesics on GL(n) for left-invariant, right-O(n)-invariant Riemannian metrics" (Martin et al., 2014)
• "Geodesic orbit metrics in compact homogeneous manifolds with equivalent isotropy submodules" (Souris, 2016)
• "On invariant Riemannian metrics on Ledger-Obata spaces" (Nikolayevsky et al., 2017)
• "Homogeneous spaces with geodesic orbit Riemannian metrics and with integrable invariant distributions" (Berestovskii et al., 12 Jan 2026)
• "On a class of geodesic orbit spaces with abelian isotropy subgroup" (Souris, 2020)
• "Geodesic orbit spaces of compact Lie groups of rank two" (Souris, 2020)
• "Riemannian $M$-spaces with homogeneous geodesics" (Arvanitoyeorgos et al., 2016)
• "Geodesic orbit metrics in a class of homogeneous bundles over real and complex Stiefel manifolds" (Arvanitoyeorgos et al., 2021)
• "Geodesic orbit spaces in real flag manifolds" (Grajales et al., 2020)