Characterisation of some multivalued harmonic functions on $\mathbb{R}^{n}$

Resumen Técnico: Caracterización de algunas funciones armónicas multivaluadas en $\mathbb{R}^n$

Planteamiento del Problema
El artículo aborda la unicidad global de las funciones $\mathbb{Z}_2$-armónicas en $\mathbb{R}^n$ ($n \geqslant 3$) sujetas a condiciones de crecimiento específicas. Una función $\mathbb{Z}_2$-armónica se define como una sección armónica de un fibrado de línea real plano sobre $\mathbb{R}^n \setminus \Sigma$, donde $\Sigma \subset \mathbb{R}^n$ es un conjunto de ramificación suave, compacto y de codimensión 2. La función posee monodromía $\mathbb{Z}_2$ alrededor de bucles que vinculan a $\Sigma$.

Construcciones recientes de Donaldson (en $\mathbb{R}^3$) y Yan (en $\mathbb{R}^n$) proporcionaron ejemplos explícitos de tales funciones donde:

1. El conjunto de ramificación $\Sigma$ es un elipsoide.
2. La función exhibe un crecimiento cuadrático en el infinito, asintótico a una forma cuadrática no degenerada y sin traza de índice 1 o $n-1$.
3. El coeficiente principal en la expansión asintótica local cerca de $\Sigma$ se anula, lo que implica que $u = O(\text{dist}(\cdot, \Sigma)^{3/2})$. Esta condición trata a $\Sigma$ como una frontera libre no lineal en lugar de un conjunto prescrito.

La cuestión central es si estas propiedades de crecimiento específicas (asíntota cuadrática y coeficiente principal nulo en el locus de ramificación) caracterizan unívocamente las soluciones hasta movimientos rígidos de $\mathbb{R}^n$, sin asumir la geometría de $\Sigma$ a priori.

Metodología
La demostración del teorema principal de unicidad (Teorema 1.4) se divide en dos fases distintas: preparaciones analíticas y un argumento de la teoría de Floer.

1. Preparaciones Analíticas:

   • Función de Frecuencia: Los autores adaptan la función de frecuencia de Almgren, utilizada originalmente para funciones armónicas $Q$-valued, al entorno $\mathbb{Z}_2$-armónico. Establecen una fórmula de monotonicidad para la 1-forma $\mathbb{Z}_2$-armónica $du$.
   • No degeneración: Al relacionar el orden de anulación de $du$ cerca del conjunto singular con la tasa de crecimiento polinómico en el infinito, demuestran que $du$ es no degenerada (el coeficiente subdominante $B$ en la expansión no se anula en ningún punto) y que $|du|^{-1}(0) = \Sigma$. Esto asegura que el conjunto de ramificación es exactamente el conjunto de ceros del gradiente.
   • Lagrangianos Especiales Aproximados: Para un parámetro pequeño $\delta > 0$, se muestra que la gráfica $L_\delta = \text{graph}(\delta du)$ es un lagrangiano conexo, exacto, graduado y embebido de clase $C^{1,\alpha}$ en $\mathbb{C}^n \cong T^*\mathbb{R}^n$. Es asintótico a dos planos transversos $\Pi_\delta^\pm$ y satisface una condición de lagrangiano especial aproximado con un error del ángulo lagrangiano de orden $O(\delta^{1+\alpha})$.

2. Parte de la Teoría de Floer:

   • Compactificación Parcial: Adaptando el marco de Imagi–Joyce–Oliveira dos Santos (IJOdS), los autores construyen una compactificación parcial $M$ de $\mathbb{C}^n mediante la adición de fibrados cotangentes de esferas en el infinito. Esto permite tratar los lagrangianos no compactos como objetos compactos dentro de una variedad de Calabi–Yau simpléctica.
   • Clasificación en $DbFuk$: Utilizando la categoría de Fukaya derivada, clasifican el lagrangiano compactificado $\bar{L}_\delta$. La clasificación depende de los ángulos asintóticos, los cuales están determinados por el Hessiano del polinomio cuadrático asintótico $V$. Demuestran que el índice de $V$ debe ser 1 o $n-1$.
   • Perturbación Hamiltoniana: Para manejar la no transversalidad de las soluciones aproximadas, los autores introducen una familia de perturbaciones hamiltonianas. Un logro técnico clave es la eliminación de puntos de intersección de grado de Floer 0 y $n$ en regiones alejadas del locus de ramificación e infinito. Esto se logra mediante un argumento de analiticidad real (perturbando la diferencia del Hessiano) y un control cuidadoso del potencial lagrangiano cerca del conjunto singular.
   • Argumento de la Franja Holomorfa: Suponiendo que existen dos soluciones distintas $u$ y $v$, los autores construyen una franja holomorfa (o franja rota) que conecta sus lagrangianos perturbados.
     • Cota Superior: El área de esta franja está acotada superiormente por la diferencia en los potenciales lagrangianos, la cual es de orden $O(\delta \Lambda^{-1/4})$ (pequeña) debido a las condiciones asintóticas coincidentes.
     • Cota Inferera: Utilizando una fórmula de monotonicidad local para curvas holomorfas cerca de un punto donde los gradientes difieren, derivan una cota inferior para el área de orden $\eta \delta$.
     • Contradicción: La discrepancia entre la cota superior (que se anula al ajustar los parámetros) y la cota inferior (que es lineal en $\delta$) produce una contradicción, lo que implica que las soluciones deben coincidir.

Contribuciones Clave y Resultados

• Teorema 1.4 (Unicidad Global): El artículo demuestra que cualquier función $\mathbb{Z}_2$-armónica en $\mathbb{R}^n$ ($n \geqslant 3$) con un locus de ramificación liso, compacto y no vacío, coeficiente principal nulo en el locus de ramificación, y asintótica a un polinomio homogéneo de grado 2 no degenerado (con índice 1 o $n-1$), es única hasta movimientos rígidos. Coincide con las soluciones modelo construidas por Donaldson y Yan.
• Caracterización del Conjunto de Ramificación: A diferencia de los resultados de existencia previos donde el conjunto de ramificación era a menudo prescrito o construido junto con la función, este resultado demuestra que el crecimiento cuadrático en el infinito y la condición de crecimiento local $O(r^{3/2})$ determinan unívocamente el conjunto de ramificación como un elipsoide.
• Extensión de las Técnicas de IJOdS: El trabajo adapta con éxito la clasificación de lagrangianos especiales (específicamente los cuellos de Lawlor) al entorno de las funciones $\mathbb{Z}_2$-armónicas, que sirven como modelos lineales para deformaciones ramificadas de lagrangianos especiales.
• Rigor Analítico: El artículo proporciona una prueba rigurosa de la no degeneración de la 1-forma $\mathbb{Z}_2$-armónica utilizando la función de frecuencia de Almgren en un contexto donde no se asume a priori la propiedad de minimización de la energía de Dirichlet.

Significancia
El artículo establece un resultado de rigidez para una clase de funciones armónicas multivaluadas que aparecen ubicuamente en la geometría diferencial moderna, incluyendo la teoría de regularidad de Almgren, límites de blow-up en la teoría de gauge (Taubes, Haydys–Walpuski) y el programa de Donaldson sobre variedades $G_2$.

Los autores señalan que, si bien trabajos previos (Sun, Haydys–Mazzeo–Takahashi) establecieron la unicidad para un conjunto de ramificación $\Sigma$ fijo, este resultado elimina esa suposición, mostrando que el comportamiento asintótico en el infinito fuerza al conjunto de ramificación a poseer la geometría elipsoidal específica encontrada en los ejemplos modelo. El artículo evita resolver directamente la ecuación no lineal de lagrangiano especial, utilizando en su lugar la ecuación armónica lineal y herramientas de la teoría de Floer para deducir la unicidad, ofreciendo una vía novedosa para el estudio de superficies mínimas ramificadas y sus deformaciones.

Los autores concluyen señalando dos cuestiones abiertas relacionadas: el potencial de generalización de estos resultados a soluciones autosimilares de la "ecuación de calor $\mathbb{Z}_2$" (auto-expandidores de la evolución de curvatura media lagrangiana) y el comportamiento de las soluciones cuando el polinomio asintótico es degenerado (lo que reduce el problema a dimensiones menores).