Complete subvarieties in the projectivized strata of meromorphic differentials

Resumen Técnico: Subvariedades Completas en los Estratos Proyectivizados de Diferenciales Meromórficos

Planteamiento del Problema
El artículo aborda la cuestión de si los estratos proyectivizados de diferenciales estrictamente meromórficos, denotados como $P\Omega M_g(\mu)$, contienen subvariedades algebraicas completas de dimensión positiva. Aquí, $\mu$ representa una tupla de enteros cuya suma es $2g-2$, prescribiendo los órdenes de los ceros y polos. Si bien se sabe que los estratos de diferenciales holomorfos (donde $\mu$ tiene entradas no negativas) no contienen tales subvariedades, y que los estratos no proyectivizados de diferenciales estrictamente meromórficos también carecen de ellas (probado mediante métodos algebraico-geométricos relacionados con clases de divisores), anteriormente no se disponía de una prueba de geometría plana para el caso proyectivizado estrictamente meromórfico. Los autores pretenden llenar este vacío mediante la construcción de una función analítica específica sobre estos estratos.

Metodología
Los autores emplean un enfoque de geometría plana, utilizando las estructuras de superficie de traslación inducidas por los diferenciales meromórficos. La metodología central consiste en construir una función estrictamente plurisubarmónica definida globalmente en los estratos proyectivizados $P\Omega M_g(\mu)$. Esto se logra combinando dos funciones distintas:

1. La Función de Longitud ($\ell^{-2}$): Introducida por Mondello, esta función mide la longitud total de una base de conexiones de silla cortas. Para una base $B$ de la homología relativa, $\ell^{-2}_B = \sum_{\gamma \in B} |P_\gamma|^{-2}$, donde $P_\gamma$ es el periodo a lo largo de la conexión de silla $\gamma$. La función global $\ell^{-2}$ es el supremo sobre todas tales bases.
2. La Función de Tamaño Polar ($S$): Una nueva función introducida en este trabajo. En la estructura plana de un diferencial estrictamente meromórfico, la superficie se descompone en un "núcleo" (el envolvente convexo de área finita de los ceros) y "dominios polares" (regiones de área infinita que rodean cada polo). El borde de estos dominios polares consiste en "conexiones de silla periféricas". La función $S(\omega)$ se define como el módulo máximo de la suma de los periodos sobre todos los subconjuntos de estas conexiones de silla del borde:
   $$S(\omega) := \max_{E \subset D_\omega} \left| \sum_{\gamma \in E} P_\gamma \right|$$
   donde $D_\omega$ es la unión de los bordes de todos los dominios polares.

Los autores analizan las propiedades de deformación de estas funciones. Establecen que, mientras que $S$ es homogénea de grado 1 y $\ell^{-2}$ es homogénea de grado -2, su combinación $2 \log S + \log \ell^{-2}$ está bien definida en el estrato proyectivizado (donde escalar $\omega$ por $\lambda \in \mathbb{C}^*$ deja el valor invariante).

Contribuciones Clave y Resultados

• Construcción de una Función Estrictamente Plurisubarmónica: El resultado principal (Teorema 1.3) demuestra que la función $F = 2 \log S + \log \ell^{-2}$ es estrictamente plurisubarmónica en cualquier estrato proyectivizado $P\Omega M_g(\mu)$ de diferenciales estrictamente meromórficos.

  • La prueba se basa en mostrar que $\log \ell^{-2}$ es estrictamente plurisubarmónica en subvariedades transversales a los rayos del estrato (un resultado adaptado de Mondello).
  • Crucialmente, los autores demuestran que $\log S$ es plurisubarmónica. Esto se logra demostrando que el máximo que define a $S$ es siempre alcanzado por "clases de homología coherentes". Estas son sumas específicas de conexiones de silla periféricas que persisten como clases coherentes bajo pequeñas deformaciones, lo que permite que $S$ se exprese localmente como el máximo de un número finito de funciones de módulo holomorfas.

• No existencia de Subvariedades Completas: Como consecuencia directa (Corolario 1.4), los autores deducen que no existe ninguna subvariedad completa de dimensión positiva dentro de $P\Omega M_g(\mu)$. El argumento sigue el principio del máximo: una función plurisubarmónica no constante no puede existir en una variedad completa. Dado que $F$ es estrictamente plurisubarmónica, su restricción a cualquier subvariedad de dimensión positiva sería no constante, lo que conduciría a una contradicción si dicha subvariedad fuera completa.

• Extensión a $k$-diferenciales: El resultado se extiende a los estratos de $k$-diferenciales con polos de orden al menos $k$ (Corolario 1.5). Esto se justifica por el hecho de que tales diferenciales pueden elevarse mediante una cobertura cíclica canónica al $k$-ésimo poder de un diferencial de una forma estrictamente meromórfica, heredando así la propiedad de no existencia.

Significado y Reivindicaciones
El artículo afirma proporcionar la primera prueba de geometría plana de que los estratos proyectivizados de diferenciales estrictamente meromórficos no contienen subvariedades completas de dimensión positiva. Las pruebas previas para el caso meromórfico dependían de la positividad de las clases de divisores en el entorno algebraico-geométrico.

Los autores destacan que la función de tamaño polar $S$ construida y su naturaleza plurisubarmónica sirven como una "encarnación analítica" de la positividad de las clases $\psi$ (asociadas con el fibrado $S^1$ en los polos) utilizadas en pruebas algebraico-geométricas previas. Observan que este juego entre la geometría métrica (estructuras planas) y las clases cohomológicas (clases $\psi$) es paralelo a las técnicas utilizadas por Kontsevich y Mirzakhani en el contexto de la conjetura de Witten. El trabajo pretende cerrar la brecha entre las perspectivas de la geometría afín y la teoría de módulos, ofreciendo una nueva herramienta para estudiar la geometría de los estratos de diferenciales.