k-Ovals: Ancient MCF Solutions

• k-Ovals are compact ancient, noncollapsed MCF solutions characterized by blow-down asymptotics to cylindrical geometries and quadratic bending in the long directions.
• They are constructed as limits of ellipsoidal hypersurfaces forming a k-parameter family with specific symmetry and spectral uniqueness properties.
• Their rigidity, spectral stability, and structured moduli space provide key insights into the transition dynamics of cylindrical singularities in high-dimensional flows.

A $k$-oval is a compact ancient, noncollapsed solution to the mean curvature flow (MCF) in $\mathbb{R}^{n+1}$, characterized by blow-down asymptotics to the shrinking cylinder $\mathbb{R}^k \times S^{n-k}(\sqrt{2(n-k)})$ as $t \to -\infty$, together with a precise quadratic bending profile in the long directions. These objects form a central class in the theory of ancient MCF solutions, with recent advances establishing their classification, symmetry, rigidity, and nonuniqueness phenomena.

1. Definition and Asymptotics of $k$-Ovals

Let $M = \{M_t \subset \mathbb{R}^{n+1}\}_{t < 0}$ be a compact, noncollapsed ancient solution to the MCF. $M$ is called a $k$-oval $(1 \leq k \leq n-1)$ if, under parabolic rescaling $\bar{M}_\tau = e^{\tau/2} M_{-e^{-\tau}}$, it satisfies the following:

1. Cylindrical Blow-down:

$\mathbb{R}^{n+1}$0

2. Quadratic Bending Asymptotic: Writing $\mathbb{R}^{n+1}$1 as a graph over the cylinder via a profile function $\mathbb{R}^{n+1}$2, for fixed $\mathbb{R}^{n+1}$3 and all derivatives,

$\mathbb{R}^{n+1}$4

Equivalently, the fine cylindrical matrix $\mathbb{R}^{n+1}$5—arising from the second-order expansion in the $\mathbb{R}^{n+1}$6 directions—must have full rank (all eigenvalues $\mathbb{R}^{n+1}$7), ensuring no neutral directions remain and the profile bends inward with prescribed quadratic order (Choi et al., 14 Jan 2026, Choi et al., 13 Apr 2025).

2. Construction and Parametrization: The Haslhofer–Du–Kleiner Family

Ancient $\mathbb{R}^{n+1}$8-ovals are constructed as limits of ellipsoidal hypersurfaces under the mean curvature flow: $\mathbb{R}^{n+1}$9 with $\mathbb{R}^k \times S^{n-k}(\sqrt{2(n-k)})$0, $\mathbb{R}^k \times S^{n-k}(\sqrt{2(n-k)})$1. As $\mathbb{R}^k \times S^{n-k}(\sqrt{2(n-k)})$2 and $\mathbb{R}^k \times S^{n-k}(\sqrt{2(n-k)})$3 (the open $\mathbb{R}^k \times S^{n-k}(\sqrt{2(n-k)})$4-simplex), suitably shifting and dilating in time, one obtains a $\mathbb{R}^k \times S^{n-k}(\sqrt{2(n-k)})$5-parameter family of ancient ovals $\mathbb{R}^k \times S^{n-k}(\sqrt{2(n-k)})$6 (Choi et al., 14 Jan 2026, Du et al., 2021). The resulting moduli space $\mathbb{R}^k \times S^{n-k}(\sqrt{2(n-k)})$7, modulo rigid motions and dilations, is homeomorphic to $\mathbb{R}^k \times S^{n-k}(\sqrt{2(n-k)})$8.

3. Symmetry, Rigidity, and the Spectral Uniqueness Theorem

For $\mathbb{R}^k \times S^{n-k}(\sqrt{2(n-k)})$9-ovals, a sharp rigidity result holds: every compact, ancient, noncollapsed oval with the above asymptotics is, up to space-time rigid motion and parabolic dilation, in the constructed $t \to -\infty$0-parameter family. Each $t \to -\infty$1-oval is $t \to -\infty$2-symmetric—i.e., reflection-invariant in each of the $t \to -\infty$3 axial directions and rotationally invariant in the remaining sphere component (Choi et al., 13 Apr 2025).

The key spectral uniqueness theorem states that if two $t \to -\infty$4-ovals, after appropriate recentering, match in both positive and diagonal quadratic (neutral) mode projections in the Gaussian-weighted Ornstein–Uhlenbeck setting, then the two flows are identical as ancient solutions. This injectivity ensures the moduli space is $t \to -\infty$5-dimensional; the parameter corresponds to the ratios of the long-axis quadratic widths (Choi et al., 14 Jan 2026, Choi et al., 13 Apr 2025, Du et al., 2021).

4. Moduli Space, Nonuniqueness, and Spectral Stability

The moduli space $t \to -\infty$6 of $t \to -\infty$7-ovals modulo rigid motions and dilations is precisely the quotient of the open simplex $t \to -\infty$8 by the permutation group $t \to -\infty$9, reflecting the freedom to choose long-axis width ratios. The $k$0-dimensionality is sharp: Du–Haslhofer constructed a $k$1-parameter family of ancient ovals with only $k$2 symmetry, breaking continuous rotational $k$3 invariance but preserving noncollapsedness and the required curvature pinching. Thus, uniqueness does not hold without imposing the full $k$4 symmetry, refuting a conjecture of Daskalopoulos (Du et al., 2021).

Spectral stability results imply that if two $k$5-ovals have nearly matching spectral ratio parameters, their surfaces are locally bi-Lipschitz close in suitable gaussian and $k$6 norms. The moduli space is locally $k$7-rectifiable of dimension $k$8 (Choi et al., 13 Apr 2025).

5. Analytic and Geometric Methods

The classification and rigidity theory for $k$9-ovals utilizes:

• Spectral Theory: The natural linearization is the Ornstein–Uhlenbeck operator, whose eigenspaces decompose into positive, neutral, and negative modes. The quadratic (neutral) modes parameterize the family.
• Maximum Principle for Tensor Test Quantities: In higher codimension, a refined tensor with balancing gradient terms ensures almost-concavity of the profile function along the cylinder, critical to closing maximum-principle estimates in the collar region.
• Matched Asymptotic Expansions: The flow profile exhibits three distinct regions: a central parabolic (cylindrical) region, an intermediate collar, and tip regions converging to a bowl soliton. Expansion and barrier arguments build precise control across these zones.
• Topological Degree and Equivariant Arguments: Parametric families of initial ellipsoids and width maps are used with degree theory to guarantee surjectivity onto the simplex of width ratios (Choi et al., 14 Jan 2026, Du et al., 2021).
• Energy and Implicit Function Estimates: Weighted Gaussian energy, gradient, and tip-region norms provide control needed for uniqueness and continuity of the parameter-to-oval map (Choi et al., 13 Apr 2025).

6. Broader Implications and Connections

These results confirm the broad conjecture of Angenent–Daskalopoulos–Sesum: for each $M = \{M_t \subset \mathbb{R}^{n+1}\}_{t < 0}$0, the ensemble of constructed $M = \{M_t \subset \mathbb{R}^{n+1}\}_{t < 0}$1-ovals, together with the sphere, exhausts all ancient, compact, noncollapsed MCF solutions in Euclidean space up to symmetry and scaling, provided exotic cylinders do not occur (now ruled out by the work of Bamler–Lai).

A plausible implication is that the simplex of $M = \{M_t \subset \mathbb{R}^{n+1}\}_{t < 0}$2-ovals describes all possible transitions between cylindrical singularities under the flow, relating to the structure of mean-convex neighborhoods and connecting orbits in the high-dimensional flow moduli (Choi et al., 14 Jan 2026).

7. Summary Table: Core Properties of $M = \{M_t \subset \mathbb{R}^{n+1}\}_{t < 0}$3-Ovals

Feature	Specification	Source
Blow-down limit	$M = \{M_t \subset \mathbb{R}^{n+1}\}_{t < 0}$4	(Choi et al., 14 Jan 2026)
Asymptotic bending	Quadratic order: full-rank matrix $M = \{M_t \subset \mathbb{R}^{n+1}\}_{t < 0}$5 in long directions	(Choi et al., 13 Apr 2025)
Symmetry group	$M = \{M_t \subset \mathbb{R}^{n+1}\}_{t < 0}$6	(Choi et al., 13 Apr 2025)
Moduli space (up to symmetries)	$M = \{M_t \subset \mathbb{R}^{n+1}\}_{t < 0}$7-simplex modulo $M = \{M_t \subset \mathbb{R}^{n+1}\}_{t < 0}$8	(Choi et al., 14 Jan 2026)
Classification rigidity	Spectral uniqueness via quadratic modes	(Choi et al., 14 Jan 2026)
Nonuniqueness	Only with less than full $M = \{M_t \subset \mathbb{R}^{n+1}\}_{t < 0}$9 symmetry	(Du et al., 2021)

• (Choi et al., 14 Jan 2026) B. Choi, W. Du, Z. Zhao, "Classification of ancient ovals in higher dimensional mean curvature flow"
• (Choi et al., 13 Apr 2025) B. Choi, W. Du, K. Zhu, "Rigidity of ancient ovals in higher dimensional mean curvature flow"
• (Du et al., 2021) W. Du, R. Haslhofer, "On uniqueness and nonuniqueness of ancient ovals"