Mean curvature flows with prescribed singular sets

El artículo demuestra que para cualquier conjunto cerrado $K$ en $\mathbb{R}^n$ y dimensión $m \geq 2$, es posible construir una solución antigua de curvatura media convexa en $\mathbb{R}^{m+n}$, bajo una métrica riemanniana suave arbitrariamente cercana a la euclidiana, cuyo conjunto de singularidades en el primer tiempo de evolución es exactamente $K \times \{0\}$.

Lo esencial

Imagina que tienes una bola de jabón flotando en el aire. Si la dejas sola, la tensión superficial hará que se encoja hasta desaparecer. En matemáticas, esto se llama Flujo de Curvatura Media. Es como si la superficie de la bola "quisiera" hacerse lo más pequeña posible, y en el proceso, se deforma.

Normalmente, cuando estas bolas (o superficies más complejas) se encogen y desaparecen, lo hacen de formas muy predecibles y ordenadas: se convierten en puntos perfectos o en líneas suaves. Los matemáticos pensaban que, en nuestro espacio normal (como el de una habitación), las "manchas" donde la bola desaparece (las singularidades) siempre tendrían que ser cosas simples: puntos aislados o líneas suaves.

¿Qué hace este nuevo descubrimiento?

El matemático Raphael Tsiamis ha demostrado que, si cambiamos muy, muy ligeramente las reglas del espacio donde flotan estas bolas (cambiando la "geometría" del aire un poquito, como si el espacio tuviera una textura invisible y suave), podemos obligar a la bola a desaparecer exactamente donde nosotros queramos.

Aquí tienes la explicación con analogías sencillas:

1. El "Papel de Arrugas" (El Espacio)

Imagina que el espacio donde ocurre todo es una sábana blanca perfectamente lisa (el espacio euclidiano). En una sábana lisa, si dejas caer una gota de agua y se evapora, lo hace de forma uniforme.

Tsiamis dice: "¿Y si arrugo la sábana un poquito? No lo suficiente para que se vea fea, solo un cambio tan pequeño que casi no lo notas, pero que altera cómo se mueve la agua". Al hacer esto, podemos controlar exactamente dónde se seca la gota.

2. La "Sombra" que Queremos (El Conjunto K)

Imagina que tienes un objeto extraño en tu mano. Podría ser:

• Una línea recta.
• Un círculo.
• Una forma fractal (como un copo de nieve de Koch, con bordes infinitamente complejos).
• O incluso un conjunto de puntos dispersos como una constelación.

A esto lo llamamos K. En el mundo normal, la "mancha" donde la superficie desaparece no podría tener esa forma compleja. Pero Tsiamis demuestra que, con su "sábana arrugada" (la métrica perturbada), puede hacer que la superficie desaparezca exactamente siguiendo la forma de tu objeto K.

3. El Truco del "Escalón" (La Construcción)

¿Cómo lo hace? No es magia, es ingeniería matemática muy fina.
Imagina que quieres construir una rampa para que una bola ruede y se detenga justo en un punto específico.

• El autor construye una "rampa" matemática (una solución aproximada) que se parece mucho a un cilindro que se encoge.
• Luego, usa un "pegamento" matemático (una ecuación de transporte) para unir esta rampa con el cilindro perfecto.
• El resultado es una superficie que se comporta perfectamente, pero que tiene una "zona de muerte" (singularidad) que puede tener la forma que tú le pidas.

4. ¿Por qué es importante?

Antes de esto, los matemáticos creían que la naturaleza tenía un "orden estricto" para cómo las cosas se rompen o desaparecen. Pensaban que las singularidades (los momentos de ruptura) siempre serían "bonitas" y suaves.

Este trabajo es como decir: "La naturaleza es mucho más flexible de lo que pensábamos".

• Si cambias el entorno (el espacio) solo un poquito (tan poco que es casi imperceptible), puedes crear caos controlado.
• Puedes hacer que una superficie se rompa en un fractal, en una línea, o en cualquier forma cerrada que se te ocurra.

En resumen

Es como si fueras un director de cine. Antes, pensabas que en todas las películas, el héroe siempre caía al suelo de la misma manera (de pie, o rodando). Tsiamis ha encontrado la forma de cambiar la física del set de rodaje (el espacio) tan sutilmente que ahora puedes hacer que el héroe caiga exactamente en la forma de una estrella, de un gato o de cualquier dibujo que quieras, y todo seguirá pareciendo una película realista.

La conclusión: El "orden" que vemos en el espacio normal es frágil. Con un cambio mínimo en las reglas del juego, podemos diseñar el caos exacto que deseemos.

Resumen técnico

Aquí presento un resumen técnico detallado del artículo "Mean Curvature Flows with Prescribed Singular Sets" (Flujos de Curvatura Media con Conjuntos Singulares Prescritos) de Raphael Tsiamis.

1. Planteamiento del Problema

El flujo de curvatura media (MCF, por sus siglas en inglés) es la evolución de hipersuperficies a lo largo de su vector de curvatura media. Un tema central en su estudio es la formación y estructura de singularidades, especialmente en flujos convexos en media (donde la curvatura media es no negativa).

• Contexto Teórico: Resultados fundamentales de White, Huisken-Sinestrari, Colding-Minicozzi y Cheeger-Haslhofer-Naber han establecido restricciones cualitativas y cuantitativas sobre el conjunto singular en el espacio-tiempo para flujos en el espacio euclidiano $\mathbb{R}^{n+1}$. Por ejemplo, White probó que la dimensión de Hausdorff parabólica del conjunto singular es a lo sumo $n-1$, y Colding-Minicozzi demostraron que está contenido en una unión finita de subvariedades Lipschitz de codimensión 2.
• La Pregunta Abierta: Dada esta rigidez en el espacio euclidiano, surge la cuestión de cuán flexible puede ser el conjunto singular en el primer tiempo de singularidad. ¿Puede cualquier conjunto cerrado $K \subset \mathbb{R}^n$ aparecer como el conjunto singular de un flujo convexo en media?
• Objetivo del Artículo: El autor responde afirmativamente a esta pregunta, demostrando que, tras una perturbación arbitrariamente pequeña y suave de la métrica euclidiana, se puede prescribir cualquier conjunto cerrado $K \subset \mathbb{R}^n$ como el conjunto singular exacto en el primer tiempo de singularidad de una solución antigua (ancient solution) convexa en media en $\mathbb{R}^{m+n}$ (con $m \ge 2$).

2. Metodología

La construcción se basa en una combinación de análisis geométrico, teoría de ecuaciones diferenciales parciales (EDP) parabólicas y técnicas de perturbación.

A. Configuración Geométrica y Ansatz

El autor considera hipersuperficies en $\mathbb{R}^{m+n} = \mathbb{R}^n_x \times \mathbb{R}^m_\xi$ que son invariantes bajo el grupo ortogonal $O(m)$. Estas superficies se representan como gráficos cilíndricos de radio $u(x,t)$:
$$G_t = \{ (x, \xi) : |\xi| = u(x,t) \}$$
La ecuación del flujo de curvatura media para estos gráficos se reduce a una EDP cuasilineal para $u$ (o convenientemente para $w = u^2$), conocida como Flujo de Curvatura Media Cilíndrica (CMCF).

B. Perturbación de la Métrica

En lugar de trabajar en la métrica euclidiana estándar, el autor construye una métrica Riemanniana $g_f$ de la forma:
$$g_f(x, \xi) = \sum dx_i^2 + f(x, |\xi|^2) \sum d\xi_j^2$$
donde $f(x, r)$ es una función suave que es una perturbación $C^\infty$ arbitrariamente pequeña de la función constante $1$ (métrica euclidiana). El objetivo es encontrar $f$ tal que el flujo en esta métrica tenga el conjunto singular deseado.

C. Construcción de la Solución en un Dominio No Cilíndrico

El núcleo analítico es la Teorema 2.2, que garantiza la existencia de una solución $w_\tau$ a la ecuación CMCF en un dominio no cilíndrico $W$ definido por una función de corte $h(x)$ (relacionada con la distancia al conjunto cerrado $K$).

• Dominio: $W = \{ (x,t) : x \in \mathbb{R}^n \setminus K, -\frac{1}{100m}h(x)^4 < t < 0 \}$.
• Comportamiento: La solución $w_\tau$ permanece exponencialmente cerca de la solución del cilindro que se contrae $\phi(t) = -2(m-1)t$.
• Técnica de "Escalera" (Staircase): Para resolver la ecuación en el dominio no cilíndrico, el autor discretiza el dominio en una secuencia de cilindros parabólicos (una "escalera"). Utiliza un argumento inductivo para construir soluciones en cada paso, pegándolas suavemente.
• Estabilidad y Perturbación: Se utiliza una versión parabólica del Teorema de Pequeña Perturbación de Savin (adaptado por Wang) para controlar la solución y asegurar que las derivadas permanecen acotadas y la solución es suave, siempre que la perturbación inicial sea suficientemente pequeña.

D. Construcción de la Métrica (Ecuación de Transporte)

Una vez obtenida la solución aproximada $w_\tau$ (o su tiempo de llegada $T_w$), el autor debe encontrar la función $f$ que hace que este flujo sea exacto.

• Se formula una ecuación de transporte para una variable auxiliar $z(x,r)$ (relacionada con $f$).
• Se demuestra que esta ecuación de transporte tiene una solución única y suave que satisface las estimaciones necesarias para que $f$ sea una perturbación pequeña de la métrica euclidiana.
• El proceso de "pegado" (gluing) asegura que la solución coincida con el cilindro estándar fuera de la región de singularidad, manteniendo la suavidad global.

3. Contribuciones Clave y Resultados Principales

Teorema 1.1 (Resultado Principal)

Para cualquier conjunto cerrado no vacío $K \subset \mathbb{R}^n$ y cualquier $m \ge 2$, existe:

1. Una función suave $f(x, r)$ tal que la métrica $g_f$ es arbitrariamente cercana a la métrica euclidiana en la topología $C^\infty$.
2. Una familia de hipersuperficies $\{G_t\}_{t \in (-\infty, 0)}$ que es una solución antigua convexa en media del flujo de curvatura media en $(\mathbb{R}^{m+n}, g_f)$.
3. El conjunto singular en el primer tiempo de singularidad ($t=0$) es exactamente $K \times \{0\} \subset \mathbb{R}^n \times \mathbb{R}^m$.

Características Específicas:

• Flexibilidad Total: El conjunto singular puede ser tan complejo como se desee (incluyendo conjuntos fractales en $\mathbb{R}^3$), rompiendo la intuición de que las singularidades deben ser suaves o tener estructura simple.
• Inestabilidad de la Estructura Euclidiana: El resultado demuestra que la estructura de singularidades establecida por Colding-Minicozzi para el espacio euclidiano no es estable bajo perturbaciones suaves arbitrariamente pequeñas de la métrica ambiental.
• Paralelismo con Simon: El trabajo es análogo a la reciente construcción de Leon Simon sobre hipersuperficies mínimas estables con conjuntos singulares prescritos, pero utiliza métodos diferentes (flujos parabólicos vs. elípticos) y aborda el problema en el contexto de flujos geométricos dinámicos.

4. Significado e Impacto

1. Ruptura de la Rigidez Euclidiana: El paper establece que las restricciones topológicas y geométricas conocidas para las singularidades del flujo de curvatura media en el espacio euclidiano son artefactos de la simetría y la planitud del espacio ambiente. Al permitir una métrica ligeramente deformada, se recupera una libertad total en la topología del conjunto singular.
2. Avance en la Teoría de Singularidades: Proporciona una comprensión más profunda de la flexibilidad de las ecuaciones geométricas. Muestra que la "forma" de una singularidad no es intrínsecamente fija, sino que depende críticamente del entorno geométrico.
3. Nuevas Herramientas Analíticas: La metodología desarrollada, especialmente la construcción de soluciones en dominios no cilíndricos mediante la técnica de "escalera" combinada con el teorema de perturbación de Savin, es robusta y aplicable a otras clases de problemas parabólicos cuasilineales y no lineales, incluyendo la construcción de conjuntos singulares prescritos para otros flujos geométricos.
4. Implicaciones para la Conjetura de Colding-Minicozzi: Resuelve una pregunta atribuida a Colding, Minicozzi, Ilmanen y White, mostrando que la conjetura de que las singularidades en $\mathbb{R}^3$ solo pueden ser puntos o curvas es falsa si se permite una perturbación suave de la métrica.

En resumen, el artículo demuestra que la complejidad topológica de las singularidades en flujos geométricos es esencialmente ilimitada si se permite una flexibilidad mínima en la geometría del espacio ambiente, desafiando la noción de universalidad de la estructura de singularidades en el caso euclidiano.