Non-Shrinking Ricci Solitons of cohomogeneity one from the quaternionic Hopf fibration

This paper establishes the existence of non-Einstein, non-shrinking Ricci solitons on $\mathbb{H}^{m+1}$, $\mathbb{HP}^{m+1}\backslash\{*\}$, and $\mathbb{O}^2$, including specific subfamilies of asymptotically paraboloidal steady solitons derived from the quaternionic Hopf fibration and related geometric structures.

The Gist

Imagine you are a chef trying to bake the perfect loaf of bread. In the world of mathematics, specifically geometry, this "bread" is a shape (a manifold), and the "recipe" is a set of rules that dictate how the shape curves and bends.

For decades, mathematicians have been obsessed with a specific recipe called the Ricci Flow. Think of the Ricci Flow as a magical oven that smooths out the wrinkles and bumps on a shape over time. Sometimes, the shape just gets bigger or smaller while keeping its perfect form (like a balloon inflating or deflating). These special, self-similar shapes are called Ricci Solitons.

Most of the famous "perfect loaves" discovered so far are either:

1. Einstein Manifolds: The shape is perfectly uniform everywhere (like a perfect sphere).
2. Shrinking Solitons: The shape collapses in on itself (like a deflating balloon).

The Big Discovery:
This paper, written by Hanci Chi, is about finding two new types of "perfect loaves" that nobody had baked before. These are:

• Non-Einstein: They aren't perfectly uniform; they have some interesting twists and turns.
• Non-Shrinking (Steady): They don't collapse. They stay the same size forever, or they expand slowly.

The Ingredients: The "Hopf Fibration"

To bake these new shapes, the author uses a special ingredient called the Quaternionic Hopf Fibration.

• The Analogy: Imagine a giant, multi-layered onion. Usually, if you peel an onion, you get a simple sphere. But this "onion" is made of complex, twisted layers (like a spiral staircase wrapped around a sphere).
• The author takes this complex, twisted onion structure and asks: "Can we stretch and shape this onion into a new, stable, non-collapsing form?"

The Three Families of New Shapes

The paper proves that there are not just one or two, but families of these new shapes. Think of them as different "flavors" or "variations" of the same recipe.

1. The "Jensen Sphere" Family:

   • Imagine a shape that, as you look further and further out from the center, starts to look like a parabola (the curve of a satellite dish or a thrown ball).
   • The "base" of this parabola is a very specific, slightly squashed sphere (the Jensen sphere).
   • The Metaphor: It's like a mountain that looks round at the peak but flattens out into a perfect, smooth bowl as you go down.

2. The "Non-Kähler" Family:

   • These are similar to the first family, but the "bowl" they flatten into is made of a different, more twisted material (a non-Kähler complex space).
   • The Metaphor: Imagine the same mountain, but the ground beneath it is made of a strange, twisted fabric rather than smooth stone.

3. The "Octonion" Family (The Bonus):

   • The author also found these shapes in an even stranger universe involving Octonions (a type of number system that is even more complex than the ones we usually use).
   • Here, the base of the shape is the Bourguignon–Karcher sphere, another unique, twisted sphere.

Why Does This Matter?

You might ask, "Who cares about mathematical onions and parabolas?"

1. Understanding Singularities: In the real world, the Ricci Flow is used to understand how space-time behaves when it gets crushed (like inside a black hole). When the math breaks down (a "singularity"), we zoom in to see what's happening. These new "steady solitons" are the blueprints for what those singularities might look like. They are the "magnifying glass" views of the universe's most extreme points.
2. Breaking the Mold: Before this, we thought there were only a few ways to make these stable shapes. This paper shows that the universe of shapes is much richer and more diverse than we thought. It's like discovering that there are hundreds of new types of crystals, not just the few we knew about.
3. Positive Curvature: The paper also shows that some of these new shapes are "positively curved" everywhere. In simple terms, this means they are "bowl-shaped" everywhere, never dipping into a "saddle" shape. This is a very rare and special property that mathematicians love to find.

The "Recipe" Summary

• The Problem: We knew how to make shrinking shapes and perfect uniform shapes. We needed stable, non-uniform shapes.
• The Method: The author used a high-tech mathematical microscope (cohomogeneity one symmetry) to look at complex, twisted spheres (Hopf fibrations).
• The Result: They found two main families of new shapes on 4-dimensional (and higher) spaces, and a bonus family in an 8-dimensional space.
• The Look: These shapes look like smooth, expanding parabolas (like a satellite dish) that stretch out forever without collapsing, resting on unique, twisted spheres.

In short, Hanci Chi has discovered new, stable, and beautiful geometric structures that expand our understanding of how space can curve and behave, proving that the mathematical universe is full of surprises waiting to be baked.

Technical Summary

Here is a detailed technical summary of the paper "Non-Shrinking Ricci Solitons of Cohomogeneity One from the Quaternionic Hopf Fibration" by Hanci Chi.

1. Problem Statement

The paper addresses the existence and classification of non-shrinking, non-Einstein Ricci solitons on manifolds with cohomogeneity one symmetry.

• Context: Ricci solitons are self-similar solutions to the Ricci flow, serving as models for singularity formation. While shrinking solitons are well-studied, the existence of complete, non-shrinking (steady or expanding) non-Einstein solitons is a more challenging open problem.
• Gap: Previous examples of non-shrinking solitons (e.g., Bryant soliton, Wink solitons) often involved principal orbits that were Hopf fibrations with two irreducible summands in their isotropy representation.
• Goal: This paper investigates the case where the principal orbit is the Quaternionic Hopf Fibration, which splits the isotropy representation into three irreducible summands. The author aims to establish the existence of new families of solitons on the total spaces $HP^{m+1} \setminus \{*\}$ and $\mathbb{H}^{m+1}$ (and their octonionic analogues), characterizing their asymptotic behaviors.

2. Methodology

The author employs a dynamical systems approach to the Ricci soliton equations under cohomogeneity one symmetry.

• Geometric Setup:

  • The manifolds are constructed via a group triple $(K, H, G) = (Sp(m) \times U(1), Sp(m) \times Sp(1) \times U(1), Sp(m+1) \times U(1))$.
  • The isotropy representation splits into three summands: $1 \oplus 2 \oplus 4m$, leading to a metric of the form$g = dt^2 + a(t)^2 Q|_1 + b(t)^2 Q|2 + c(t)^2 Q|{4m}$.
  • The Ricci soliton equation reduces to a system of coupled Ordinary Differential Equations (ODEs) for the metric coefficients $a, b, c$ and the potential function $f$.

• Coordinate Transformation:

  • To analyze global existence and asymptotics, the author applies a coordinate change (following [DW09a]) to transform the ODE system into an autonomous dynamical system on a phase space.
  • New variables $X_i, Y_i, W$ are defined to normalize the equations and handle the singularity at the origin.
  • A conservation law involving the potential function is utilized to define an invariant set $RS$ (Ricci Soliton set) characterized by inequalities $Q \leq 0$ and $H \leq 1$.

• Analysis Strategy:

  1. Local Existence: Linearization of the system near critical points (corresponding to the collapse of the principal orbit to a point or a lower-dimensional orbit) reveals unstable manifolds. This establishes the existence of local solution families parameterized by initial conditions.
  2. Global Existence: The author constructs a compact, invariant set $\mathcal{A}$ (an extension of a set used in previous work [Chi21]). By proving that trajectories cannot escape this set, global existence on $\mathbb{R}$ is established, ensuring the metrics are complete.
  3. Asymptotic Analysis: The behavior of solutions as $t \to \infty$ is analyzed by studying the $\omega$-limit sets. The author determines the limits of metric ratios (e.g., $a/b$, $b/c$) to classify the asymptotic geometry.

3. Key Contributions and Results

The paper establishes the existence of two main 3-parameter families of solitons and extends results to the octonionic case.

A. Main Theorems on Quaternionic Manifolds

Theorem 1.3 (On $HP^{m+1} \setminus \{*\}$):
There exists a continuous 3-parameter family of complete $Sp(m+1)U(1)$-invariant Ricci solitons.

• Steady Case ($s_3=0$): Contains a 1-parameter subfamily of non-Einstein steady Ricci solitons.
  • If $s_2=0$: Asymptotically Paraboloidal (AP) with base the Jensen sphere $S^{4m+3}$.
  • If $s_2>0$: Asymptotically Cigar-Paraboloidal (ACP) with base the non-Kähler $\mathbb{C}P^{2m+1}$.
• Expanding Case ($s_3>0$): Contains non-Einstein expanding solitons that are Asymptotically Conical (AC).

Theorem 1.4 (On $\mathbb{H}^{m+1}$):
There exists a continuous 3-parameter family of complete solitons on $\mathbb{H}^{m+1}$.

• Steady Case:
  • If $s_1>0, s_2=0$: AP with base the Jensen sphere.
  • If $s_1=0, s_2>0$: ACP with base the Fubini-Study $\mathbb{C}P^{2m+1}$.
  • If $s_1, s_2>0$: ACP with base the non-Kähler $\mathbb{C}P^{2m+1}$.
• Expanding Case: AC non-Einstein expanding solitons.

Theorem 1.5 (On $\mathbb{O}^2$):
Extending the analysis to the Octonionic Hopf fibration (group triple $(Spin(7), Spin(8), Spin(9))$), the author proves the existence of a 2-parameter family of $Spin(9)$-invariant solitons on $\mathbb{O}^2$.

• This recovers the Wink solitons on $OP^2 \setminus \{*\}$ and discovers new steady solitons with AP asymptotics based on the Bourguignon–Karcher sphere $S^{15}$.

B. Positive Sectional Curvature

Theorem 1.8:
The author proves that for sufficiently small parameters, the steady solitons $\gamma(s_1, 0, 0, s_4)$ on $\mathbb{H}^{4m+4}$ and $\tilde{\gamma}(s_1, 0, s_4)$ on $\mathbb{O}^2$ possess positive sectional curvature. These are small perturbations of the Bryant soliton but are distinct because their asymptotic bases are non-standard spheres (Jensen or Bourguignon–Karcher), meaning they are not asymptotically cylindrical in the Brendle sense.

C. Classification of Asymptotics

The paper rigorously defines and distinguishes between:

• Asymptotically Paraboloidal (AP): The manifold converges to a metric paraboloid with a standard or non-standard sphere base.
• Asymptotically Cigar-Paraboloidal (ACP): The manifold converges to a circle bundle over a metric paraboloid.
• Asymptotically Conical (AC): The manifold converges to a cone.

4. Significance

• Generalization of Wink Solitons: This work significantly generalizes the "Wink solitons" (which had two summands) to the three-summand case of the Quaternionic Hopf fibration, revealing a much richer moduli space of solutions.
• New Geometric Structures: It identifies new complete, non-Einstein, non-shrinking Ricci solitons with positive sectional curvature, expanding the known landscape of such metrics beyond the Bryant soliton.
• Asymptotic Diversity: The paper demonstrates that non-shrinking solitons can have diverse asymptotic limits, including non-Kähler bases and non-standard homogeneous spheres, challenging the notion that such solitons must be asymptotically cylindrical or standard.
• Analytical Framework: The extension of the invariant set method to handle three summands and the octonionic case provides a robust framework for future studies of cohomogeneity one geometric flows.

In summary, Hanci Chi's paper provides a comprehensive existence theory for a broad class of non-shrinking Ricci solitons on quaternionic and octonionic manifolds, characterized by their specific asymptotic geometries and positive curvature properties.