Geometry of Holomorphic One-forms on Smooth Projective Varieties

Resumo Técnico: Geometria de 1-formas Holomorfas em Variedades Projetivas Suaves

Enunciado do Problema
O artigo investiga a geometria e a topologia de variedades irregulares através da lente das 1-formas holomorfas. Especificamente, aborda a relação entre a existência de 1-formas holomorfas que não se anulam em nenhum ponto e a suavidade de morfismos de variedades projetivas suaves para variedades abelianas. Além disso, busca caracterizar a estrutura dos espaços de 1-formas holomorfas que possuem zeros. Uma questão central é se esses espaços, particularmente seus "conjuntos de nível inferior" (subconjuntos de formas com loci de zeros de codimensão $\leq i$), exibem estruturas lineares (uniões de subespaços vetoriais) ou se podem ser não lineares, refletindo propriedades algebro-geométricas mais complexas.

Metodologia
Os autores empregam uma combinação de técnicas de geometria diferencial, topologia algébrica e geometria biracional:

1. Vetores Conormais Relativos de Limite: Para analisar as singularidades de morfismos $f: X \to A$ (onde $A$ é uma variedade abeliana), os autores utilizam o conceito de espaço conormal relativo $T^*_f X$. Eles introduzem uma condição chamada "sem explosão em codimensão 0", definida pela equidimensionalidade do mapa natural do espaço conormal relativo para o alvo.
2. Restrições Topológicas: A prova utiliza a condição de que as imagens diretas superiores $R^i f_* \mathbb{Z}$ são sistemas locais $\mathbb{Z}$ (definindo um fibrado de fibras de homologia $\mathbb{Z}$). Os autores provam que esta condição topológica força o morfismo a ser "sem explosão em codimensão 0" e, sob condições específicas, suave.
3. Loci de Salto de Cohomologia e Formalidade: O estudo da linearidade dos espaços de loci de zeros baseia-se no teorema do cone tangente para os loci de salto de cohomologia. Os autores distinguem entre formas que provêm de loci de salto de cohomologia (que formam subconjuntos lineares $V^i(X)$) e aquelas que não provêm deles ("formas não formais").
4. Construções Explícitas: Para demonstrar os limites da linearidade, os autores constroem exemplos específicos envolvendo explosões (blow-ups) de subvariedades em variedades abelianas e seções hiperplanares de produtos de curvas elípticas e variedades abelianas.

Principais Contribuições e Resultados

• Caracterização de Morfismos Suaves (Teorema 1.1 / 2.5):
  O artigo estabelece uma condição necessária e suficiente para que um morfismo $f: X \to A$, de uma variedade projetiva suave para uma variedade abeliana simples, seja suave. O morfismo é suave se, e somente se, existe uma 1-forma holomorfa $\omega$ em $A$ tal que a sua aplicação reversa $f^*\omega$ não possui zeros. Este resultado confirma uma conjectura do segundo autor [13] e estende o trabalho anterior de Church [5] sobre casos de baixa dimensão. A simplicidade de $A$ é mostrada como uma condição necessária via um contraexemplo envolvendo uma explosão de um produto de curvas elípticas.

• Fibrados de Fibras de $\mathbb{Z}$-Homologia e Planicidade (Teorema 1.2 / 2.2):
  Um resultado intermediário fundamental prova que, se $f: X \to Y$ é um morfismo próprio entre uma variedade suave e uma variedade normal, e as imagens diretas superiores $R^i f_* \mathbb{Z}$ são sistemas locais, então $Y$ é suave e $f$ é "sem explosão em codimensão 0". Este resultado é motivado pela conjectura de de Bobadilla-Kollár sobre a suavidade de tais morfismos.

• Linearidade de Espaços com Zeros (Teorema 1.3 / 3.2, 3.3, 3.7):
  Os autores investigam o espaço $W^n(X)$ de 1-formas holomorfas com zeros em uma variedade projetiva suave $X$ de dimensão $n$. Eles provam que $W^n(X)$ é uma união de finitamente muitos subespaços vetoriais (um "subconjunto linear") nos seguintes casos:

  1. $X$ é um modelo mínimo bom (good minimal model).
  2. $X$ possui uma variedade de Albanese simples.
  3. $\dim(X) \leq 3$.
     Nesses casos, a estrutura é controlada pela geometria biracional de $X$ ou pela simplicidade de seu mapa de Albanese.

• Não-Linearidade de Conjuntos de Nível Inferior (Teorema 1.4 / 4.1):
  Ao contrário das expectativas de que os conjuntos de nível inferior $W^i(X)$ para subvariedades de variedades abelianas sejam sempre lineares, os autores constroem um contraexemplo. Eles exibem uma quatrovariedade suave $X$ (uma subvariedade de uma seisvariedade abeliana) para a qual o terceiro conjunto de nível inferior $W^3(X)$ não é linear. Isso responde a uma questão colocada em [9] e demonstra que o espaço de formas com zeros pode codificar estruturas algébricas não lineares delicadas, não capturadas pelos loci de salto de cohomologia.

• 1-Formas Não Formais (Seção 4.2):
  O artigo define "1-formas não formais" como aquelas com zeros que não provêm de loci de salto de cohomologia. Eles fornecem um critério cohomológico para a não-formalidade envolvendo a exatidão do complexo de Koszul. Os autores estudam superfícies que admitem tais formas, mostrando que, para superfícies com dimensão de Albanese 1, a não-formalidade está ligada à existência de componentes não reduzidas nas fibras do mapa de Albanese. Eles provam adicionalmente que tais superfícies não podem ser dominadas por produtos de curvas de gêneros superiores.

Significância
O artigo afirma fornecer um "estudo minucioso" do espaço de 1-formas holomorfas, estabelecendo uma ponte entre invariantes topológicos (sistemas locais) e propriedades geométricas (suavidade de morfismos). Ao provar a equivalência entre a existência de uma aplicação reversa de uma forma sem zeros e a suavidade do morfismo para uma variedade abeliana simples, os autores resolvem uma conjectura específica na área.

Além disso, a descoberta de conjuntos de nível inferior não lineares em subvariedades de variedades abelianas desafia a intuição prevalecente de que esses espaços são governados apenas por estruturas lineares derivadas de loci de salto de cohomologia. Os autores sugerem que as 1-formas não formais refletem a "natureza algebro-geométrica profunda" das variedades, particularmente no que diz respeito a modificações biracionais e à estrutura de modelos mínimos. O trabalho refina a compreensão de como as singularidades dos mapas de Albanese controlam os zeros de 1-formas holomorfas, oferecendo novas ferramentas (vetores conormais relativos de limite) para analisar morfismos em geometria algébrica.