Complete subvarieties in the projectivized strata of meromorphic differentials

Resumo Técnico: Subvariedades Completas nas Estratificações Projetivizadas de Diferenciais Meromórficos

Enunciado do Problema
O artigo aborda a questão de saber se as estratificações projetivizadas de diferenciais estritamente meromórficos, denotadas por $P\Omega M_g(\mu)$, contêm subvariedades algébricas de dimensão positiva. Aqui, $\mu$ representa uma tupla de inteiros cuja soma é $2g-2$, prescrevendo as ordens dos zeros e polos. Embora se saiba que as estratificações de diferenciais holomorfos (onde $\mu$ possui entradas não negativas) não contêm tais subvariedades, e que as estratificações não projetivizadas de diferenciais estritamente meromórficos também carecem delas (provado via métodos algebro-geométricos envolvendo classes de divisores), uma prova baseada em geometria plana para o caso estritamente meromórfico projetivado era anteriormente indisponível. Os autores visam preencher essa lacuna construindo uma função analítica específica sobre essas estratificações.

Metodologia
Os autores empregam uma abordagem de geometria plana, utilizando as estruturas de superfícies de translação induzidas por diferenciais meromórficos. A metodologia central envolve a construção de uma função estritamente plurisubharmônica globalmente definida nas estratificações projetivizadas $P\Omega M_g(\mu)$. Isso é alcançado combinando duas funções distintas:

1. A Função de Comprimento ($\ell^{-2}$): Introduzida por Mondello, esta função mede o comprimento total de uma base de conexões de sela curtas. Para uma base $B$ de homologia relativa, $\ell^{-2}_B = \sum_{\gamma \in B} |P_\gamma|^{-2}$, onde $P_\gamma$ é o período ao longo da conexão de sela $\gamma$. A função global $\ell^{-2}$ é o supremo sobre todas as tais bases.
2. A Função de Tamanho Polar ($S$): Uma nova função introduzida neste trabalho. Na estrutura plana de um diferencial estritamente meromórfico, a superfície decompõe-se num "núcleo" (o invólucro convexo de área finita dos zeros) e "domínios polares" (regiões de área infinita que circundam cada polo). A fronteira desses domínios polares consiste em "conexões de sela periféricas". A função $S(\omega)$ é definida como o módulo máximo da soma dos períodos sobre todos os subconjuntos dessas conexões de sela da fronteira:
   $$S(\omega) := \max_{E \subset D_\omega} \left| \sum_{\gamma \in E} P_\gamma \right|$$
   onde $D_\omega$ é a união das arestas da fronteira de todos os domínios polares.

Os autores analisam as propriedades de deformação dessas funções. Eles estabelecem que, embora $S$ seja homogênea de grau 1 e $\ell^{-2}$ seja homogênea de grau -2, a combinação $2 \log S + \log \ell^{-2}$ é bem definida na estratificação projetivizada (onde a escala de $\omega$ por $\lambda \in \mathbb{C}^*$ deixa o valor invariante).

Principais Contribuições e Resultados

• Construção de uma Função Estritamente Plurisubharmônica: O principal resultado (Teorema 1.3) prova que a função $F = 2 \log S + \log \ell^{-2}$ é estritamente plurisubharmônica em qualquer estratificação projetivizada $P\Omega M_g(\mu)$ de diferenciais estritamente meromórficos.

  • A prova baseia-se em mostrar que $\log \ell^{-2}$ é estritamente plurisubharmônica em subvariedades transversais às raios da estratificação (um resultado adaptado de Mondello).
  • Crucialmente, os autores provam que $\log S$ é plurisubharmônica. Isso é alcançado demonstrando que o máximo que define $S$ é sempre atingido por "classes de homologia coerentes". Estas são somas específicas de conexões de sela periféricas que persistem como classes coerentes sob pequenas deformações, permitindo que $S$ seja localmente expressa como o máximo de um número finito de funções de módulo holomorfas.

• Não existência de Subvariedades Completas: Como consequência direta (Corolário 1.4), os autores deduzem que nenhuma subvariedade completa de dimensão positiva existe dentro de $P\Omega M_g(\mu)$. O argumento segue do princípio do máximo: uma função plurisubharmônica não constante não pode existir em uma variedade completa. Como $F$ é estritamente plurisubharmônica, sua restrição a qualquer subvariedade de dimensão positiva seria não constante, levando a uma contradição se essa subvariedade fosse completa.

• Extensão para $k$-diferenciais: O resultado é estendido para estratificações de $k$-diferenciais com polos de ordem pelo menos $k$ (Corolário 1.5). Isso é justificado pelo fato de que tais diferenciais podem ser levantados via uma cobertura cíclica canônica para a $k$-ésima potência de um diferencial de uma forma estritamente meromórfica, herdando assim a propriedade de não existência.

Significância e Alegações
O artigo afirma fornecer a primeira prova de geometria plana de que as estratificações projetivizadas de diferenciais estritamente meromórficos não contêm subvariedades completas de dimensão positiva. Provas anteriores para o caso meromórfico basearam-se na positividade de classes de divisores no contexto algebro-geométrico.

Os autores destacam que a função de tamanho polar $S$ construída e sua natureza plurisubharmônica servem como uma "encarnação analítica" da positividade das classes $\psi$ (associadas ao fibrado $S^1$ nos polos) utilizadas em provas algebro-geométricas anteriores. Eles observam que este interplay entre geometria métrica (estruturas planas) e classes cohomológicas (classes $\psi$) é paralelo às técnicas usadas por Kontsevich e Mirzakhani no contexto da conjectura de Witten. O trabalho visa preencher a lacuna entre as perspectivas de geometria afim e a teoria dos módulos, oferecendo uma nova ferramenta para o estudo da geometria das estratificações de diferenciais.