Ancient mean curvature flow asymptotic to Simons cone

Resumen Técnico: Flujo de Curvatura Media Antigua Asintótico al Cono de Simons

Planteamiento del Problema
Este artículo investiga la clasificación de flujos de curvatura media (MCF, por sus siglas en inglés) antiguos, suaves y embebidos propiamente en $\mathbb{R}^{2n}$ que son asintóticos al cono de Simons simétrico $O(n) \times O(n)$ $\Sigma$ cuando $t \to -\infty$. El cono de Simons, definido por $\{x \in \mathbb{R}^{2n} : |x'| = |x''|\}$, es un cono minimal con una singularidad aislada en el origen. A diferencia de trabajos previos sobre flujos asintóticamente cilíndricos o asintóticamente cónicos suaves, la presencia de la singularidad en el origen en el encogedor (shrinker) modelo impide que el flujo pueda representarse globalmente como un gráfico normal sobre el cono. El autor considera flujos que satisfacen tres supuestos primarios:
(A1) El flujo tiene al cono de Simons como su único flujo tangente en el infinito (blowdown).
(A2) El flujo se encuentra en un lado del cono de Simons.
(A3) El flujo es convexo en media ($H \ge 0$).

La cuestión central es si tales flujos son únicos y, de ser así, si corresponden a soluciones estacionarias conocidas.

Metodología
La estrategia de la prueba se basa en una combinación de análisis geométrico, teoría espectral de operadores linealizados y la construcción de superficies de barrera específicas.

1. Flujo Reescalado y Representación Gráfica: El autor trabaja con el flujo de curvatura media reescalado $\tilde{M}_\tau$. El supuesto (A1) implica que, para tiempos suficientemente negativos, el flujo puede expresarse como un gráfico normal sobre el cono de Simons fuera de un pequeño conjunto compacto que contiene al origen. Debido a la singularidad, este gráfico se trunca utilizando una función de corte $\xi_\tau$.
2. Ecuación de Evolución y Control de Errores: La evolución de la función de gráfico truncada $\tilde{u}_\tau$ está gobernada por un operador linealizado $L$ más términos de error no lineales ($Q$) y errores de corte ($E$). El desafío técnico central es controlar estos términos de error para aislar la dinámica en los modos propios de $L$.
3. Estimaciones Clave:
   • Estimación del Radio Gráfico (Sección 3): Utilizando un teorema de pseudolocalidad y el principio de evitamiento contra "encogedores internos" (inner self-shrinkers) construidos, el autor deriva una estimación óptima que relaciona el tamaño de la región no gráfica (cerca del origen) con la cercanía en $L^2$ del flujo al cono en un anillo fijo.
   • Estimación Interior-Exterior (Sección 4): Análoga a las desigualdades de Poincaré inversas, esta estimación acota la energía del flujo en la región "interior" (cerca de la singularidad) por la energía en la región "exterior" (cerca del infinito). Esto se logra mediante la construcción de una familia de encogedores simétricos $O(n) \times O(n)$ que folian una pequeña bola alrededor del origen (Teorema 7.5) y utilizándolos como barreras.
4. Análisis Espectral y Dinámica de ODE: El operador linealizado $L$ en el cono de Simons tiene un espectro discreto. El autor analiza la evolución de las proyecciones del flujo sobre los modos propios positivos, cero y negativos. Al utilizar el supuesto de un solo lado (A2) y el lema de la ODE de Merle-Zaag, demuestran que la dinámica está dominada por el primer modo propio positivo, lo que conduce a una asintótica única.
5. Teoremas de Tipo Liouville: Para establecer la unicidad completa bajo convexidad en media (A3), el autor emplea teoremas de tipo Liouville para soluciones antiguas de ecuaciones parabólicas lineales en el cono de Simons y sus hojas de Hardt-Simon asociadas. Estos teoremas, adaptados del trabajo de Stolarski, fuerzan a que la derivada temporal de la función del gráfico se anule, implicando la estacionariedad.

Contribuciones Clave y Resultados

• Asintótica Única en la Región Parabólica (Teorema 1.1): Bajo los supuestos (A1) y (A2), el autor demuestra que cualquier flujo antiguo de este tipo tiene un comportamiento asintótico único en la región parabólica. Específicamente, el flujo reescalado $\tilde{M}_\tau$ converge a una tasa específica determinada por la primera función propia del operador linealizado. El flujo concuerda con la solución estacionaria dada por una hoja de la foliación de Hardt-Simon en el nivel asintótico. El perfil asintótico está dado por $u_\tau(x) \sim c e^{\frac{1-\alpha}{2}\tau} |x|^\alpha$, donde $\alpha \in (-2, -1)$ es el exponente del primer autovalor.
• Unicidad Completa bajo Convexidad en Media (Teorema 1.3): Cuando se impone el supuesto adicional de convexidad en media (A3), el resultado de asintótica única se eleva a unicidad completa. El autor demuestra que el flujo debe ser un flujo estacionario, específicamente una de las hojas de la foliación de Hardt-Simon asociada al cono de Simons.
• Construcción de Superficies de Barrera: El artículo construye dos familias de encogedores simétricos $O(n) \times O(n)$ esenciales para las estimaciones:
  • Encogedores Internos (Inner Self-Shrinkers): Una familia de superficies que folian una pequeña bola alrededor del origen, comportándose como las hojas de Hardt-Simon cerca de la singularidad (Proposición 7.1, Teorema 7.5).
  • "Trompetas" (Trumpets): Una familia de encogedores definidos fuera de una bola fija, asintóticos a conos lineales, utilizados para controlar el comportamiento del flujo en el infinito espacial (Proposición 8.1).

Significancia y Reivindicaciones
El artículo aborda un vacío significativo en la clasificación de flujos de curvatura media antiguos al tratar con un encogedor modelo que posee una singularidad aislada. El autor señala que esta singularidad introduce dificultades fundamentales no presentes en los casos asintóticamente cilíndricos o asintóticamente cónicos suaves, ya que impide una representación global de gráfico normal.

La importancia del trabajo radica en:

1. Análogo Parabólico: Proporciona un análogo parabólico a la clasificación de hipersuperficies minimales asintóticas a conos cuadráticos.
2. Tratamiento de Modelos Singulares: Demuestra que incluso cuando el encogedor modelo es singular, aún es posible lograr resultados de clasificación mediante la construcción cuidadosa de barreras locales (encogedores internos) y el uso del supuesto de un solo lado del flujo.
3. Optimalidad de los Supuestos: El autor afirma que el supuesto de un solo lado (A2) es probablemente óptimo para la unicidad de la asintótica, señalando que espera que existan contraejemplos sin esta condición.
4. Generalización: El autor observa que sus métodos sugieren que los resultados se extienden a conos cuadráticos más generales con simetría $O(n) \times O(m)$ donde $n+m \ge 10$.

El artículo concluye que para $n \ge 5$, los únicos flujos antiguos suaves, embebidos propiamente y convexos en media asintóticos al cono de Simons en un lado son las hojas estacionarias de la foliación de Hardt-Simon. Esto establece un fuerte resultado de rigidez para flujos antiguos singulares.