Natural Reductivity in Homogeneous Manifolds

• Natural reductivity is a structural property of homogeneous manifolds characterized by geodesics that are the orbits of one-parameter Lie subgroups, ensuring algebraic compatibility.
• It plays a key role in Riemannian and Finsler geometry by integrating curvature, symmetry, and geodesic behavior through canonical connections and invariant metrics.
• Recent research, including analyses of nilpotent Lie groups and isospectral manifolds, highlights its spectral inaudibility and raises open questions in geometric analysis.

Natural reductivity is a structural property of homogeneous manifolds, central in both Riemannian and Finsler geometry. A homogeneous space is naturally reductive if its geodesics coincide with the orbits of one-parameter subgroups in a particularly simple, algebraically compatible way. This property is deeply linked with the representation theory of Lie groups and is closely connected to geometric phenomena such as geodesic orbit spaces and canonical connections. Natural reductivity has consequences for curvature, symmetry, and the spectral properties of the manifold, and serves as an organizing principle for understanding large classes of invariant metrics. Recent research has both clarified its characterization (notably for certain nilpotent Lie groups) and exposed its limitations, particularly regarding spectral rigidity.

1. Foundational Definitions and Characterizations

Let $M = G/H$ denote a homogeneous manifold, where $G$ is a Lie group acting transitively by isometries and $H$ is the isotropy subgroup at a base point $o \in M$. Denote the Lie algebras by $\mathfrak{g} = \operatorname{Lie}(G)$ and $\mathfrak{h} = \operatorname{Lie}(H)$. An $\operatorname{Ad}(H)$–invariant complement $\mathfrak{g} = \mathfrak{h} \oplus \mathfrak{m}$ allows identification of $T_o M \cong \mathfrak{m}$. A $G$–invariant Riemannian metric corresponds to an $G$0–invariant inner product $G$1 on $G$2.

A homogeneous Riemannian manifold $G$3 is naturally reductive if for all $G$4,

$G$5

Equivalently, every geodesic passing through the base point $G$6 with initial velocity in $G$7 is the orbit curve of a one-parameter subgroup of $G$8. In Finsler geometry, the property is extended by demanding the existence of a reductive decomposition such that all tangent vectors in $G$9 are geodesic vectors, formalized using the language of geodesic graphs. In this context, natural reductivity is equivalent to the existence of a zero (linear) geodesic graph, as described in (Arias-Marco et al., 26 Oct 2025).

2. Homogeneous Structures and the Ambrose–Singer–Tricerri–Vanhecke Framework

Ambrose and Singer formulated a tensorial approach to local homogeneity. A Riemannian manifold $H$0 is locally homogeneous if and only if there exists a globally defined tensor $H$1, the homogeneous structure, such that—when the connection is deformed as $H$2—the curvature, metric, and $H$3 itself are simultaneously parallel:

• $H$4
• $H$5
• $H$6

Here, $H$7 is the Levi–Civita connection and $H$8 is the Riemann curvature. Tricerri and Vanhecke showed that $H$9 is naturally reductive if and only if the homogeneous structure additionally satisfies $o \in M$0 for all $o \in M$1—equivalently, $o \in M$2 for all $o \in M$3. This bridges the algebraic bracket condition with parallelism and connection theory (Arias-Marco et al., 14 Feb 2025).

3. Natural Reductivity in 2-Step Nilpotent Lie Groups

For 2-step nilpotent Lie groups, let $o \in M$4 be simply connected with Lie algebra $o \in M$5, where $o \in M$6 is central and $o \in M$7 is an orthogonal complement. A linear map $o \in M$8 encodes the bracket: $o \in M$9 for $\mathfrak{g} = \operatorname{Lie}(G)$0, $\mathfrak{g} = \operatorname{Lie}(G)$1.

Define endomorphisms: $\mathfrak{g} = \operatorname{Lie}(G)$2 for orthonormal bases $\mathfrak{g} = \operatorname{Lie}(G)$3, $\mathfrak{g} = \operatorname{Lie}(G)$4. If $\mathfrak{g} = \operatorname{Lie}(G)$5 and $\mathfrak{g} = \operatorname{Lie}(G)$6, $\mathfrak{g} = \operatorname{Lie}(G)$7, the unique homogeneous structure $\mathfrak{g} = \operatorname{Lie}(G)$8 is expressible in terms of the underlying bracket and $\mathfrak{g} = \operatorname{Lie}(G)$9-maps. Natural reductivity holds precisely when a skew-symmetric bracket on $\mathfrak{h} = \operatorname{Lie}(H)$0 can be chosen so that $\mathfrak{h} = \operatorname{Lie}(H)$1 and $\mathfrak{h} = \operatorname{Lie}(H)$2 for all $\mathfrak{h} = \operatorname{Lie}(H)$3 (Arias-Marco et al., 14 Feb 2025).

4. Isospectrality and the Spectral Inaudibility of Natural Reductivity

Recent work produced explicit pairs of compact 9-dimensional 2-step nilmanifolds $\mathfrak{h} = \operatorname{Lie}(H)$4 and $\mathfrak{h} = \operatorname{Lie}(H)$5 with isospectral Laplace–Beltrami operators, where $\mathfrak{h} = \operatorname{Lie}(H)$6 is naturally reductive and $\mathfrak{h} = \operatorname{Lie}(H)$7 is not (Arias-Marco et al., 14 Feb 2025). Both arise as quotients of non-isomorphic Lie groups $\mathfrak{h} = \operatorname{Lie}(H)$8 and $\mathfrak{h} = \operatorname{Lie}(H)$9 constructed via distinct $\operatorname{Ad}(H)$0-maps on quaternionic vector spaces, with identical induced metrics and spectral properties. Nevertheless, only one supports a naturally reductive homogeneous structure satisfying the required algebraic compatibility for $\operatorname{Ad}(H)$1. This demonstrates that natural reductivity is not audible in the spectrum: $\operatorname{Ad}(H)$2, but one is naturally reductive and the other is not.

This result answers negatively the question of whether the Laplace spectrum determines natural reductivity among closed Riemannian manifolds. Open questions include whether similar inaudibility holds for the spectra of rough Laplacians on 1-forms or curvature operators, and whether natural reductivity remains inaudible in broader classes of homogeneous spaces.

5. Natural Reductivity in Finsler Geometry: The Geodesic Graph Criterion

The framework for natural reductivity in Finsler geometry generalizes the Riemannian notion using the concept of geodesic graphs (Arias-Marco et al., 26 Oct 2025). Given a homogeneous Finsler manifold $\operatorname{Ad}(H)$3 with a reductive decomposition $\operatorname{Ad}(H)$4 and an $\operatorname{Ad}(H)$5–invariant Minkowski norm $\operatorname{Ad}(H)$6 on $\operatorname{Ad}(H)$7, a geodesic graph is an $\operatorname{Ad}(H)$8–equivariant map $\operatorname{Ad}(H)$9 such that $\mathfrak{g} = \mathfrak{h} \oplus \mathfrak{m}$0 is a geodesic vector for all $\mathfrak{g} = \mathfrak{h} \oplus \mathfrak{m}$1.

A Finsler homogeneous space is naturally reductive if there exists a reductive decomposition and a linear (zero) geodesic graph: $\mathfrak{g} = \mathfrak{h} \oplus \mathfrak{m}$2. This ensures all tangent vectors exponentiate to geodesics through the base. Classical Riemannian natural reductivity is recovered in the case where $\mathfrak{g} = \mathfrak{h} \oplus \mathfrak{m}$3 arises from an $\mathfrak{g} = \mathfrak{h} \oplus \mathfrak{m}$4 satisfying the natural reductivity condition.

In broader Finsler settings, metrics of $\mathfrak{g} = \mathfrak{h} \oplus \mathfrak{m}$5-type—constructed as $\mathfrak{g} = \mathfrak{h} \oplus \mathfrak{m}$6 for an irreducible splitting—have been analyzed. If $\mathfrak{g} = \mathfrak{h} \oplus \mathfrak{m}$7 and $\mathfrak{g} = \mathfrak{h} \oplus \mathfrak{m}$8 is not a simple quadratic sum (i.e., not a standard Berwald metric), the geodesic graph is in general nonlinear, so $\mathfrak{g} = \mathfrak{h} \oplus \mathfrak{m}$9 is geodesic orbit (g.o.) but not naturally reductive. The role of additional one-forms $T_o M \cong \mathfrak{m}$0 leads to $T_o M \cong \mathfrak{m}$1–type Finsler metrics, with natural reductivity further restricted to specific reducible geometries (Arias-Marco et al., 26 Oct 2025).

6. Product Structures, Broad Classes, and Explicit Examples

Product spaces with naturally reductive metrics on each factor admit naturally reductive Finsler $T_o M \cong \mathfrak{m}$2-products, where the geodesic graph remains linear and vanishes. For irreducible spaces with multiple Ad(H)-irreducible summands, any nontrivial $T_o M \cong \mathfrak{m}$3-type or $T_o M \cong \mathfrak{m}$4-type metric leads generically to a nonlinear geodesic graph, breaking natural reductivity.

Explicit computations, such as for the Heisenberg group $T_o M \cong \mathfrak{m}$5 equipped with particular left-invariant $T_o M \cong \mathfrak{m}$6 metrics and constructed Finsler norms, confirm these principles. Here, nonlinear dependence in the geodesic graph manifests, and consequently, the resulting Finsler structure is g.o. but not naturally reductive. Only in the case where the base splits (e.g., $T_o M \cong \mathfrak{m}$7) and the associated one-forms are parallel does natural reductivity persist in the constructed Finsler metric (Arias-Marco et al., 26 Oct 2025).

7. Outlook and Open Problems

Current advances have elucidated the algebraic-geometric structure of natural reductivity in both Riemannian and Finsler categories and connected it with spectral theory. The spectral inaudibility result raises foundational questions:

• Is natural reductivity always inaudible for higher Laplacian spectra or in more general homogenous contexts?
• Can one classify all isospectral yet non-isomorphic homogeneous spaces with or without natural reductivity?
• In Finsler geometry, what is the complete taxonomy of metrics with nonlinear geodesic graphs, and how rigid is the linearity criterion across various geometric settings?

These directions indicate that natural reductivity is a subtle invariant, tied to the interplay between algebraic symmetry, geodesic structure, and spectral data, yet not fully constrained by any single geometric or analytic property (Arias-Marco et al., 14 Feb 2025, Arias-Marco et al., 26 Oct 2025).