Dynamical Alekseevski Conjecture in 5D

• Dynamical Alekseevski Conjecture is the proposition that a homogeneous space admits an immortal Ricci flow only if its universal cover is diffeomorphic to ℝⁿ, as verified in dimension five.
• The analysis combines Lie-theoretic classification with explicit ODE techniques to study exceptional spaces such as SO(3)⋉ℝ³/SO(2) and SL(2,ℂ)/U(1).
• The results demonstrate that non-Euclidean five-dimensional homogeneous spaces inevitably face finite-time singularities, emphasizing a sharp dichotomy in Ricci flow behavior.

The dynamical Alekseevski conjecture is the statement that if a homogeneous space admits an immortal Ricci flow, then its universal cover is diffeomorphic to $\mathbb R^n$. In dimension five, this conjecture is proved by combining a classification reduction for simply connected homogeneous manifolds with an explicit analysis of homogeneous Ricci flows on two exceptional spaces, $SO(3)\ltimes \mathbb R^3/SO(2)$ and $SL(2,\mathbb C)/U(1)$. The resulting five-dimensional picture is dichotomic: Euclidean universal topology is the only source of immortal homogeneous Ricci flow, whereas the remaining exceptional non-Euclidean geometries develop singularities in finite time (Billon, 23 Jul 2025).

1. Conjecture, Ricci-flow setting, and relation to the classical problem

The Ricci flow is

$\frac{d g}{dt}=-2\Ric(g),$

and a solution is called immortal if it exists for all $t\ge 0$. The relevant setting is homogeneous Ricci flow, namely Ricci flow starting from a homogeneous Riemannian metric on a homogeneous space $M=G/H$. Because homogeneity is preserved along the flow, the PDE reduces to an ODE on the finite-dimensional space of $G$-invariant metrics. The paper also notes the bracket-flow viewpoint of Lauret and cites Lafuente’s theorem that if the universal cover of a homogeneous space is diffeomorphic to $\mathbb R^n$, then every homogeneous Ricci flow is immortal (Billon, 23 Jul 2025).

The conjecture is stated in the form quoted from Böhm–Lafuente: if a homogeneous space has an immortal Ricci flow, then its universal cover is diffeomorphic to $\mathbb R^n$. Combined with Lafuente’s theorem, this yields the “all or nothing” principle emphasized in the paper: if $\widetilde M\cong \mathbb R^n$, then all homogeneous Ricci flows are immortal; otherwise, all homogeneous Ricci flows become singular in finite time (Billon, 23 Jul 2025).

The paper also situates the dynamical statement relative to the classical Alekseevskii conjecture. The classical version concerns simply connected homogeneous Einstein manifolds with negative Einstein constant. Since an Einstein metric satisfies

$SO(3)\ltimes \mathbb R^3/SO(2)$0

the static Einstein problem and the dynamical immortality problem coincide on Einstein solutions. A point of clarification stressed by the paper is that the formulation used here is purely in terms of immortality versus finite-time extinction of the unnormalized homogeneous Ricci flow; it is not formulated through normalized flow, expanding solitons, or algebraic solitons (Billon, 23 Jul 2025).

2. The five-dimensional theorem and the classification reduction

The main theorem is that the dynamical Alekseevski conjecture holds in dimension $SO(3)\ltimes \mathbb R^3/SO(2)$1: for every five-dimensional homogeneous space, if it admits an immortal homogeneous Ricci flow, then its universal cover is diffeomorphic to $SO(3)\ltimes \mathbb R^3/SO(2)$2. After reduction to the simply connected case, the effective statement is for all simply connected five-dimensional homogeneous manifolds (Billon, 23 Jul 2025).

The structural reduction is expressed by a proposition: under standard assumptions on a simply connected homogeneous presentation $SO(3)\ltimes \mathbb R^3/SO(2)$3, one of the following holds. Either $SO(3)\ltimes \mathbb R^3/SO(2)$4 is diffeomorphic to $SO(3)\ltimes \mathbb R^3/SO(2)$5; or $SO(3)\ltimes \mathbb R^3/SO(2)$6 has a semisimple normal compact subgroup; or $SO(3)\ltimes \mathbb R^3/SO(2)$7 is symmetric; or $SO(3)\ltimes \mathbb R^3/SO(2)$8 is a Riemannian product of two homogeneous spaces; or

$SO(3)\ltimes \mathbb R^3/SO(2)$9

with a homogeneous metric (Billon, 23 Jul 2025).

The known cases cited in the paper already cover Euclidean universal cover, symmetric spaces, compact homogeneous spaces, spaces whose isometry group has a compact normal semisimple subgroup, and all dimensions $SL(2,\mathbb C)/U(1)$0. Consequently, the dimension-five theorem reduces to proving finite-time extinction on exactly two exceptional spaces (Billon, 23 Jul 2025).

A convenient summary of the reduction by the dimension of the solvable radical $SL(2,\mathbb C)/U(1)$1 is the following.

$SL(2,\mathbb C)/U(1)$2	Outcome	Status
$SL(2,\mathbb C)/U(1)$3	$SL(2,\mathbb C)/U(1)$4, hence $SL(2,\mathbb C)/U(1)$5	Euclidean
$SL(2,\mathbb C)/U(1)$6	Impossible	Eliminated
$SL(2,\mathbb C)/U(1)$7	Either Euclidean-topology cases or $SL(2,\mathbb C)/U(1)$8	One exceptional case
$SL(2,\mathbb C)/U(1)$9	Non-Euclidean possibilities excluded except previously settled classes	Covered
$\frac{d g}{dt}=-2\Ric(g),$0	Semisimple case; only $\frac{d g}{dt}=-2\Ric(g),$1 remains exceptional	One exceptional case

The $\frac{d g}{dt}=-2\Ric(g),$2 elimination uses the lemma that a semisimple Lie algebra cannot contain a codimension-$\frac{d g}{dt}=-2\Ric(g),$3 compact embedded subalgebra. In the semisimple case $\frac{d g}{dt}=-2\Ric(g),$4, Arroyo–Lafuente’s classification table leaves $\frac{d g}{dt}=-2\Ric(g),$5, $\frac{d g}{dt}=-2\Ric(g),$6, and $\frac{d g}{dt}=-2\Ric(g),$7, but the latter two are shown to be diffeomorphic to $\frac{d g}{dt}=-2\Ric(g),$8, leaving only $\frac{d g}{dt}=-2\Ric(g),$9 as exceptional (Billon, 23 Jul 2025).

3. Analytic framework on the exceptional spaces

The proof is a hybrid of low-dimensional Lie-theoretic classification and explicit dynamical analysis. For each exceptional space, one chooses a reductive decomposition

$t\ge 0$0

identifies $t\ge 0$1-invariant metrics with $t\ge 0$2-invariant inner products on $t\ge 0$3, exploits additional automorphisms to remove redundant parameters, computes the Ricci tensor using Besse’s homogeneous Ricci formula in the unimodular case, and then studies the resulting nonlinear ODE system by means of scale-invariant ratios (Billon, 23 Jul 2025).

The homogeneous Ricci tensor formula used throughout is

$t\ge 0$4

for an orthonormal basis $t\ge 0$5 of $t\ge 0$6. This is the computational engine for both exceptional geometries (Billon, 23 Jul 2025).

In both cases the isotropy representation contains two equivalent two-dimensional irreducible summands. As a result, invariant metrics are not forced to be diagonal with respect to the decomposition into irreducibles, and cross terms appear. The full family of invariant metrics is parameterized by

$t\ge 0$7

with

$t\ge 0$8

The analytic difficulty of the paper is concentrated in understanding the Ricci-flow dynamics of these off-diagonal parameters and of the ratios built from them (Billon, 23 Jul 2025).

A recurring methodological feature is a gauge-type simplification by automorphisms of the homogeneous space. In the semidirect-product example one can eliminate $t\ge 0$9; in the semisimple example one can arrange $M=G/H$0. The remaining parameters are then encoded in dimensionless variables $M=G/H$1 and $M=G/H$2, and the proof proceeds through monotonicity, one-crossing arguments, asymptotic alternatives, and contradictions (Billon, 23 Jul 2025).

4. The semidirect-product exceptional space $M=G/H$3

This space is the semidirect product of $M=G/H$4 with its standard three-dimensional representation $M=G/H$5, modulo $M=G/H$6. On the Lie algebra side, $M=G/H$7 spans $M=G/H$8, the isotropy is $M=G/H$9, and a reductive complement is

$G$0

As an $G$1-module,

$G$2

The two two-dimensional summands are isomorphic irreducibles, which is exactly why cross terms appear in the invariant metric. The Killing form on $G$3 satisfies

$G$4

all other pairings being zero, and the group is unimodular, $G$5 (Billon, 23 Jul 2025).

A key simplification is that every homogeneous metric is isometric to one with $G$6. This is achieved by conjugation with $G$7, whose action on $G$8 is represented by

$G$9

and choosing $\mathbb R^n$0 kills the $\mathbb R^n$1-parameter. The condition $\mathbb R^n$2 is preserved by the flow, so one may work with $\mathbb R^n$3 (Billon, 23 Jul 2025).

The homogeneous Ricci flow then becomes

$\mathbb R^n$4

The analysis is organized around

$\mathbb R^n$5

For $\mathbb R^n$6, the paper shows directly that the flow has finite-time extinction. For $\mathbb R^n$7, the central monotonicity input is that $\mathbb R^n$8 is strictly decreasing: $\mathbb R^n$9 and the relevant quadratic has discriminant

$\mathbb R^n$0

The paper also derives

$\mathbb R^n$1

which implies that eventually $\mathbb R^n$2 has a fixed sign and $\mathbb R^n$3 converges to a finite positive limit $\mathbb R^n$4 (Billon, 23 Jul 2025).

The remainder of the proof is a contradiction-by-cases. The asymptotic possibilities $\mathbb R^n$5, $\mathbb R^n$6, and $\mathbb R^n$7 are each ruled out by combining estimates on $\mathbb R^n$8, $\mathbb R^n$9, and the evolution equations. Therefore no immortal solution exists, and every homogeneous Ricci flow on $\widetilde M\cong \mathbb R^n$0 has finite-time extinction (Billon, 23 Jul 2025).

This example is central because it is the unique five-dimensional semidirect-product exception surviving the classification reduction and not already handled by Euclidean topology, symmetric-space arguments, product decompositions, or compact semisimple normal subgroups.

5. The semisimple exceptional space $\widetilde M\cong \mathbb R^n$1

Here $\widetilde M\cong \mathbb R^n$2 is viewed as a real Lie group and $\widetilde M\cong \mathbb R^n$3. The Lie algebra $\widetilde M\cong \mathbb R^n$4 is written with generators $\widetilde M\cong \mathbb R^n$5, with isotropy $\widetilde M\cong \mathbb R^n$6 and reductive complement

$\widetilde M\cong \mathbb R^n$7

As a $\widetilde M\cong \mathbb R^n$8-module,

$\widetilde M\cong \mathbb R^n$9

Again the two two-dimensional summands are equivalent irreducibles, so the same metric ansatz with parameters $SO(3)\ltimes \mathbb R^3/SO(2)$00 appears. The Killing form on $SO(3)\ltimes \mathbb R^3/SO(2)$01 is now

$SO(3)\ltimes \mathbb R^3/SO(2)$02

all other entries being zero, and $SO(3)\ltimes \mathbb R^3/SO(2)$03 is unimodular (Billon, 23 Jul 2025).

The simplification mechanism is different from the preceding example. Every homogeneous metric is isometric to one with $SO(3)\ltimes \mathbb R^3/SO(2)$04. This follows from conjugation by $SO(3)\ltimes \mathbb R^3/SO(2)$05, which acts by

$SO(3)\ltimes \mathbb R^3/SO(2)$06

so the transformed metric has $SO(3)\ltimes \mathbb R^3/SO(2)$07 in one irreducible block and $SO(3)\ltimes \mathbb R^3/SO(2)$08 in the other. Choosing

$SO(3)\ltimes \mathbb R^3/SO(2)$09

makes $SO(3)\ltimes \mathbb R^3/SO(2)$10, and this condition is preserved by the Ricci flow (Billon, 23 Jul 2025).

With $SO(3)\ltimes \mathbb R^3/SO(2)$11, the homogeneous Ricci flow ODE is

$SO(3)\ltimes \mathbb R^3/SO(2)$12

The analysis uses

$SO(3)\ltimes \mathbb R^3/SO(2)$13

together with

$SO(3)\ltimes \mathbb R^3/SO(2)$14

Several structural claims drive the argument. Eventually $SO(3)\ltimes \mathbb R^3/SO(2)$15 and $SO(3)\ltimes \mathbb R^3/SO(2)$16; indeed, if $SO(3)\ltimes \mathbb R^3/SO(2)$17, then $SO(3)\ltimes \mathbb R^3/SO(2)$18, so $SO(3)\ltimes \mathbb R^3/SO(2)$19 immediately becomes positive. Eventually either $SO(3)\ltimes \mathbb R^3/SO(2)$20 always or $SO(3)\ltimes \mathbb R^3/SO(2)$21 always, because at $SO(3)\ltimes \mathbb R^3/SO(2)$22 one has $SO(3)\ltimes \mathbb R^3/SO(2)$23, so crossing $SO(3)\ltimes \mathbb R^3/SO(2)$24 can occur at most once. There is also a uniform lower bound $SO(3)\ltimes \mathbb R^3/SO(2)$25 (Billon, 23 Jul 2025).

To extract asymptotics, the paper writes $SO(3)\ltimes \mathbb R^3/SO(2)$26 and $SO(3)\ltimes \mathbb R^3/SO(2)$27 in a form scaled by $SO(3)\ltimes \mathbb R^3/SO(2)$28, derives $SO(3)\ltimes \mathbb R^3/SO(2)$29 and $SO(3)\ltimes \mathbb R^3/SO(2)$30, and concludes that $SO(3)\ltimes \mathbb R^3/SO(2)$31, hence $SO(3)\ltimes \mathbb R^3/SO(2)$32. It further shows that $SO(3)\ltimes \mathbb R^3/SO(2)$33 is increasing. These estimates imply that $SO(3)\ltimes \mathbb R^3/SO(2)$34 is eventually monotone and bounded away from both $SO(3)\ltimes \mathbb R^3/SO(2)$35 and $SO(3)\ltimes \mathbb R^3/SO(2)$36, so $SO(3)\ltimes \mathbb R^3/SO(2)$37, and that $SO(3)\ltimes \mathbb R^3/SO(2)$38 is eventually monotone and bounded, so $SO(3)\ltimes \mathbb R^3/SO(2)$39 (Billon, 23 Jul 2025).

The final step again rules out every possible limiting regime. If $SO(3)\ltimes \mathbb R^3/SO(2)$40, then $SO(3)\ltimes \mathbb R^3/SO(2)$41 must grow too fast, giving a contradiction. If $SO(3)\ltimes \mathbb R^3/SO(2)$42, asymptotic comparison yields

$SO(3)\ltimes \mathbb R^3/SO(2)$43

forcing $SO(3)\ltimes \mathbb R^3/SO(2)$44, again a contradiction. The remaining case $SO(3)\ltimes \mathbb R^3/SO(2)$45 is excluded by a further case split on $SO(3)\ltimes \mathbb R^3/SO(2)$46. Hence no immortal solution exists, and every homogeneous Ricci flow on $SO(3)\ltimes \mathbb R^3/SO(2)$47 has finite-time extinction (Billon, 23 Jul 2025).

This is the semisimple, non-symmetric, non-product exceptional five-dimensional space not subsumed by prior results. As in the semidirect-product case, the essential technical feature is the presence of two equivalent isotropy summands and the resulting off-diagonal metric terms.

6. Consequences, significance, and remaining questions

The extinction results on the two exceptional spaces complete the five-dimensional proof. In dimension $SO(3)\ltimes \mathbb R^3/SO(2)$48, immortal homogeneous Ricci flow occurs exactly on spaces whose universal cover is $SO(3)\ltimes \mathbb R^3/SO(2)$49. The paper therefore establishes the first dimension in which the conjecture is not already forced by previously known structural theorems and where genuinely new exceptional geometries must be treated individually (Billon, 23 Jul 2025).

A geometric corollary concerns scalar curvature. For a five-dimensional homogeneous space $SO(3)\ltimes \mathbb R^3/SO(2)$50, the set of homogeneous metrics with positive scalar curvature $SO(3)\ltimes \mathbb R^3/SO(2)$51 is either empty or contractible. The paper notes that a stronger proposition is proved under the dynamical Alekseevski conjecture in arbitrary dimension (Billon, 23 Jul 2025).

The work also clarifies a potential misconception about the nature of the long-time dynamics. The exceptional examples do not exhibit convergence or subconvergence to expanding homogeneous Ricci solitons. On the contrary, the analysis proves that there is no long-time regime at all: every homogeneous Ricci flow becomes singular in finite time. In the framework of the conjecture, this is precisely the expected behavior for spaces whose universal cover is not Euclidean (Billon, 23 Jul 2025).

Methodologically, the proof is neither purely classificatory nor purely dynamical. Its classification component depends on low-dimensional structure theory, isotropy-dimension restrictions, and representation theory of $SO(3)\ltimes \mathbb R^3/SO(2)$52 and $SO(3)\ltimes \mathbb R^3/SO(2)$53 in dimensions $SO(3)\ltimes \mathbb R^3/SO(2)$54. Its dynamical component depends on explicit Ricci-tensor calculations, metric normal forms obtained via automorphisms, monotonicity of scale-invariant quantities, and contradiction arguments for all asymptotic alternatives. This suggests that higher-dimensional extensions will likely require both broader classification input and more complicated ODE analysis, since the paper does not claim a general result beyond dimension five and the dynamical Alekseevski conjecture remains open in higher dimensions (Billon, 23 Jul 2025).