🔢 mathematics

Steady Gradient Ricci Solitons with $O(p)\times O(q)$ Symmetry

This paper constructs new examples of steady gradient Ricci solitons with positive curvature operator in dimensions four and above, featuring $O(p) \times O(q)$ symmetry for any integers $p, q \geq 2$ and analyzing their asymptotic geometry.

Original authors: Lucas Lavoyer, Luke T. Peachey

Published 2026-07-31

📖 9 min read🧠 Deep dive

CC BY 4.0

Original authors: Lucas Lavoyer, Luke T. Peachey

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine the universe as a giant, stretchy fabric. In the world of physics and math, this fabric isn't just sitting there; it's constantly trying to smooth itself out, like a crumpled sheet of paper being ironed flat. This smoothing process is called the "Ricci flow." Think of it as nature's way of ironing out wrinkles in space. Sometimes, as the fabric smooths, it doesn't just flatten; it can pinch off, tear, or form strange, self-similar shapes that look the same no matter how much you zoom in or out. These special, unchanging shapes are called "Ricci solitons."

Among these shapes, there is a particularly tricky group called "steady" solitons. Unlike a balloon that inflates or deflates, a steady soliton stays the same size forever, just shifting its position slightly as it flows. Mathematicians are obsessed with finding these shapes because they act like the "blueprints" for how space might break down or change in extreme situations. The big question is: what do these shapes look like? Can we build them in different sizes and with different symmetries, like a snowflake that has more than just six points of symmetry?

In this paper, Lucas Lavoyer and Luke T. Peachey answer that question with a resounding "yes." They have discovered a whole new family of these steady shapes. Imagine taking a sphere and stretching it in two different directions at once, creating a shape that looks like a long, thin wing or a twisted tunnel. The authors show that you can build these shapes in any number of dimensions (as long as it's four or higher) and with a specific kind of double-symmetry, which they call $O(p) \times O(q)$ . They prove that for any pair of numbers you pick (like 2 and 3, or 5 and 10), you can construct a unique, perfectly smooth shape that curves positively everywhere.

What makes this discovery so exciting is that they didn't just find one example; they found a whole menu of them. By tweaking a single dial (a number between 0 and 1), they can change the "flavor" of the shape, making it more stretched in one direction than the other. They also figured out what happens at the very edge of these shapes, far away from the center. They showed that if the edge of these shapes is shaped like a flat, p-dimensional disk, then as you zoom out far enough, these shapes start to look like a flat, p-dimensional sheet attached to a round, q-dimensional ball. This helps mathematicians understand how space behaves when it gets very large and very curved, providing new tools to study the mysterious "Type II" singularities where the rules of geometry might break down.

The Story of the "Flying Wings" and the New Shapes

To understand what these authors did, we first need to meet the "Flying Wings." A few years ago, a mathematician named Lai discovered the first examples of these steady shapes. He found that in three dimensions, you could have a shape that looked like a long, thin wing stretching out to infinity. The tip of the wing was round, but as you moved further out, it flattened into a long strip. These shapes were special because they had "positive curvature," meaning they were always curving inward like a sphere, never saddle-shaped or flat.

Lai's work was a breakthrough, but it was limited. He could only make shapes with a specific kind of symmetry (one direction of symmetry). The big open question was: Can we make these shapes with more complex symmetries? Can we twist and stretch them in two different directions at the same time?

That is exactly what Lavoyer and Peachey set out to do. They wanted to build "Flying Wings" that had a double symmetry, which they call $O(p) \times O(q)$ . In plain English, this means the shape looks the same if you rotate it around one axis (like spinning a globe) and also if you rotate it around a second, perpendicular axis (like spinning a globe on its side). They wanted to see if they could build these shapes in dimensions higher than three, and if they could control exactly how "stretched" the shape was in each direction.

The Recipe: Smoothing Out a Crumpled Ball

The authors used a clever trick to build these shapes. Instead of trying to build the steady shape directly (which is like trying to sculpt a statue out of wet clay that keeps sliding away), they started with something easier: "expanding" shapes.

Imagine you have a ball of clay. If you blow it up, it gets bigger and bigger. In math, there are shapes that naturally expand forever while keeping their shape. The authors started with a family of these expanding shapes. They knew that if they could make the "link" (the surface of the expanding shape) get smaller and smaller—almost collapsing into a flat disk—they could use a mathematical "zoom" to turn that expanding shape into a steady one.

Here is the magic step: They constructed a special family of spheres that were almost flat in one direction but still curved in the other. They did this by taking a standard sphere and squishing it down in one direction, like pressing a beach ball between two hands. But they had to be very careful. If they squished it too hard, the shape would get a sharp corner or a tear, and the math would break. They had to "smooth out" the transition so the shape remained perfectly round and curved everywhere.

They proved that they could do this for any pair of dimensions $p$ and $q$ (as long as both are at least 2). They created a continuous family of these squished spheres. Then, they used a known mathematical tool (developed by a mathematician named Deruelle) to turn each of these squished spheres into an expanding shape. Finally, they took a sequence of these expanding shapes where the squishing got more and more extreme. As they zoomed in on the "tip" of these shapes, the expanding ones settled down into the steady shapes they were looking for.

The Result: A New Zoo of Shapes

The main result of the paper is a theorem that says: For any two numbers $p$ and $q$ (both 2 or bigger), and for any number $\theta$ between 0 and 1, there exists a steady shape that looks like a "Flying Wing" with $O(p) \times O(q)$ symmetry.

What does $\theta$ do? Think of it as a dial that controls the balance between the two directions of symmetry.

If you set the dial to a specific spot, the shape is perfectly balanced in both directions.
If you turn the dial, the shape becomes more stretched in the $p$ -direction and less stretched in the $q$ -direction.
The authors proved that you can hit any ratio you want. They showed that at the very center (the "vertex") of the shape, the curvature in one direction is exactly $\theta$ times the curvature in the other direction.

This is a huge deal because before this, we didn't know if such a wide variety of shapes even existed. They proved that the universe of these steady shapes is much richer than we thought.

What Happens at the Edge?

The authors also looked at what these shapes look like when you travel infinitely far away from the center. This is called the "geometry at infinity."

They found that the edge of these shapes has a very specific structure. It looks like a "doubly warped product." That's a fancy way of saying it's a shape made by stretching a sphere in two different ways along a line.

One part of the edge looks like a flat, p-dimensional disk.
The other part looks like a curved, q-dimensional sphere.

They proved that if the edge of the shape is indeed a flat, p-dimensional disk, then when you walk along the "flat" part of the shape (the direction fixed by the $O(q)$ symmetry), the shape eventually splits apart. It looks like a flat, infinite sheet (like a piece of paper) attached to a round, ancient shape that has been flowing for all of time. This "splitting" is a key feature of these shapes and helps mathematicians understand how they behave when they get very large.

Why Does This Matter?

You might wonder, "Who cares about these weird, high-dimensional shapes?"

The answer lies in the "Type II singularities." When the Ricci flow (the ironing process) runs into a problem, it doesn't always just flatten out. Sometimes, it forms a singularity—a point where the math breaks down. These singularities are the most mysterious parts of the theory. The "steady" shapes the authors found are the best candidates for what these singularities look like.

By finding these new shapes, the authors have given mathematicians new tools to study how space can break. They showed that there are many different ways space can form these "wings" or "tunnels," and that the symmetry of the shape plays a huge role in how it behaves.

The paper doesn't just say "these shapes exist." They actually built them, proved they are smooth, proved they have positive curvature, and described exactly how they look at the center and at the edge. They didn't just guess; they constructed a rigorous mathematical proof.

A Final Thought

Imagine you are an architect designing a bridge. You need to know if the bridge can hold weight, if it will sway in the wind, and what happens if you make it longer or wider. The authors of this paper are like architects who just discovered a whole new type of material. They showed that you can build these "steady" bridges in any number of dimensions, with any balance of symmetry you want, and they will hold up perfectly.

They didn't just find one bridge; they found a whole factory of them. And the best part? They showed that you can tune the factory to produce a bridge that is exactly as stretched or as round as you need. This opens the door to understanding the deepest, most extreme behaviors of space itself.

So, the next time you see a crumpled piece of paper, remember: deep down in the math of the universe, that crumple might be hiding a beautiful, steady shape that stretches out to infinity, waiting to be discovered. And thanks to Lavoyer and Peachey, we now know exactly how to find them.

Technical Summary: Steady Gradient Ricci Solitons with $O(p) \times O(q)$ Symmetry

Problem Statement
The paper addresses the existence and geometric characterization of steady gradient Ricci solitons in dimensions $n \geq 4$ with positive curvature operator. While rotationally symmetric steady solitons are well-understood (Hamilton's cigar in dimension 2, Bryant's examples in higher dimensions), there is a need for examples with weaker symmetry assumptions. Specifically, the authors seek to construct steady gradient Ricci solitons invariant under the group action $O(p) \times O(q)$ for any integers $p, q \geq 2$ in dimension $p+q$ . A central challenge is controlling the asymptotic geometry and sectional curvatures at the soliton's vertex, particularly the ratio between curvatures in the two invariant subspaces of the isotropy representation.

Methodology
The authors employ a "blow-up" procedure adapted from Lai [Lai24], which involves extracting a steady soliton as a limit of a sequence of expanding gradient Ricci solitons. The methodology proceeds in three main stages:

Construction of Collapsing Links: The authors construct a continuous family of smooth metrics $\{h(t)\}_{t \in (0,1]}$ on the sphere $S^{p+q-1}$ that admit a faithful isometric $O(p) \times O(q)$ action. These metrics are designed to have uniformly positive curvature operators ( $Rm \geq 1$ ) while collapsing in the Gromov–Hausdorff sense to a lower-dimensional hemisphere ( $S^p_+$ ) as $t \to 0$ . This is achieved by modifying the warping function of a doubly warped product structure $[0, \pi/2] \times S^{p-1} \times S^{q-1}$ using smooth approximations of the Heaviside function. Crucially, the construction ensures the preservation of the $O(p) \times O(q)$ symmetry and the lower bound on the curvature operator.
Resolution via Expanding Solitons: Utilizing Deruelle's existence and uniqueness theorem [Der16], the authors resolve the metric cones over these collapsing links with unique expanding gradient Ricci solitons. By normalizing these expanders to have unit scalar curvature at their vertices, they obtain a family of expanding solitons $E_m(t)$ .
Extraction of the Steady Soliton: The authors apply a compactness argument. They observe that as the volume of the links $X_m(t)$ tends to zero, the asymptotic volume ratio (AVR) of the corresponding expanders also tends to zero. By performing a blow-up analysis at the points of highest curvature (the vertices) and rescaling the metrics by their scalar curvature, they extract a steady gradient Ricci soliton as the smooth local limit. The symmetry of the limit is preserved due to the symmetry of the approximating sequence.

Key Contributions and Results

Existence of New Examples (Theorem 1.1): The primary result is the construction of a steady gradient Ricci soliton $S^{p,q}_\theta$ of dimension $p+q$ with positive curvature operator and $O(p) \times O(q)$ symmetry for any $p, q \geq 2$ and any parameter $\theta \in (0, 1)$ . A defining feature of these solitons is the control over the sectional curvatures at the vertex $o$ : if $\lambda_p$ and $\lambda_q$ denote the sectional curvatures of planes in the two irreducible subspaces of the tangent space, the construction ensures $\lambda_p = \theta \cdot \lambda_q$ . This generalizes previous work by Lai [Lai24] which was restricted to $O(1) \times O(n-1)$ symmetry.
Asymptotic Geometry and Structure (Theorem 5.1): The paper characterizes the ideal boundary (asymptotic cone) of these solitons. It is shown to be a (possibly non-smooth) doubly warped product of the form $[0, L] \times_a S^{p-1} \times_b S^{q-1}$ , where the warping functions are 1-Lipschitz and concave.
Dimension Reduction and Splitting (Theorem 1.2): Under the additional assumption that the ideal boundary is homeomorphic to a closed disk of dimension $p$ (implying the $O(p)$ orbits are non-collapsed), the authors prove a dimension reduction result. For a sequence of points $x_m$ fixed by the $\{1_p\} \times O(q)$ subgroup tending to infinity, the rescaled sequence converges to a product of flat Euclidean space $\mathbb{R}^p$ and a rotationally symmetric ancient Ricci flow $(N^q, g_N(t))$ with positive curvature operator.
Non-Collapsing Corollary: As a consequence of the splitting result, the authors deduce that if $q \geq 3$ , the constructed solitons are non-collapsed.

Significance and Claims
The paper claims to provide the first examples of steady gradient Ricci solitons with positive curvature operator in dimensions four and above that possess $O(p) \times O(q)$ symmetry for general $p, q \geq 2$ . The construction is explicit regarding the curvature ratio at the vertex, offering a continuous family of solutions parameterized by $\theta$ .

The authors emphasize that their construction of the collapsing links is "explicit and straightforward," contrasting it with more delicate stability estimates used in recent related work [CLL25]. Furthermore, the paper contributes to the understanding of the asymptotic geometry of non-collapsed steady solitons, confirming that they dimension reduce at infinity in a manner consistent with the splitting of Euclidean factors corresponding to the non-collapsed directions of the ideal boundary. The work extends the known landscape of Type II singularity models for the Ricci flow beyond the rotationally symmetric case.