The spaces of Kähler and holomorphically tamed symplectic forms on closed 4-manifolds

Resumo Técnico: Os Espaços de Formas de Kähler e de Formas Simpléticas Holomorficamente Domadas em Variedades de 4 Dimensões Fechadas

Enunciado do Problema
Este artigo investiga as propriedades topológicas (unicidade, conectividade e abertura) dos espaços de formas de Kähler e de formas simpléticas holomorficamente domadas em variedades suaves, orientadas e fechadas de dimensão 4. O estudo é motivado pela conjectura de Streets–Tian, que postula que qualquer variedade complexa hermítico-simplética fechada admite uma métrica de Kähler. No contexto simplético, isso se traduz na Questão 1.4: Se uma forma simplética $\omega$ em uma variedade de 4 dimensões fechada $X$ é holomorficamente domada por alguma estrutura complexa integrável $J$ (ou seja, $\omega(v, Jv) > 0$ para todo $v \neq 0$), e se a classe de cohomologia $[\omega]$ pertence ao cone compatível integrável $K^c_{Int}(X)$, existe uma estrutura complexa $J'$ compatível com $\omega$? Em outras palavras, toda forma simplética holomorficamente domada é de tipo Kähler?

Os autores examinam ainda a estrutura dos espaços de moduli dessas formas, abordando especificamente:

1. Unicidade: O espaço de formas do tipo Kähler em uma classe de cohomologia fixa, módulo difeomorfismos trivialmente homológicos, é um ponto único?
2. Conectividade: O espaço de formas do tipo Kähler (módulo difeomorfismos que preservam a orientação) é conexo?
3. Abertura: A inclusão do espaço de formas do tipo Kähler no espaço de todas as formas simpléticas é um mapa aberto?

Metodologia
O artigo emprega uma combinação de topologia simplética, geometria complexa e teoria de gauge, adaptada à dimensão da variedade e ao valor do segundo número de Betti $b_2^+$.

• Decomposição Cohomológica: Os autores utilizam a decomposição de $H^2(X; \mathbb{R})$ em subespaços $J$-invariantes e $J$-anti-invariantes. Uma ferramenta fundamental é a relação entre o cone $J$-domado $K^t_J(X)$ e o cone $J$-compatível $K^c_J(X)$, especificamente o resultado de que $K^t_J(X) = K^c_J(X) + H^-_J(X)$ quando $K^c_J(X)$ não é vazio.
• Deformação-para-Isotopia: Para variedades com $b_2^+ = 1$, os autores baseiam-se no teorema de deformação-para-isotopia (McDuff, Lalonde–McDuff), que permite homotopiar uma deformação de formas simpléticas em uma isotopia. Isso reduz o estudo da conectividade por caminhos ao estudo das estruturas complexas.
• Teoria de Torelli e Domínios de Período: Para variedades com $b_2^+ > 1$ (especificamente superfícies K3, tori complexos $T^4$ e seus blowups), os autores utilizam o teorema de Torelli global. Eles analisam o domínio de período $\Phi$ (uma variedade complexa de dimensão 20 para K3 e 4 para $T^4$) e o comportamento do mapa de período. Eles estudam a topologia de subdomínios definidos pela positividade da projeção de uma classe de cohomologia sobre a parte $(1,1)$, removendo paredes correspondentes a curvas $(-2)$ (para K3).
• Resultados de Rigidez: Para variedades que admitem métricas de curvatura seccional negativa, os autores aplicam teoremas de forte rigidez (Siu, Zheng), que implicam que equivalências de homotopia entre essas variedades são homotópicas a biholomorfismos ou anti-biholomorfismos.
• Análise de Blowup: O artigo estende os resultados de superfícies mínimas para seus blowups através da construção de famílias holomorfas de blowups e da análise da conectividade do espaço de centros de blowup, utilizando a densidade de configurações com pontos distintos.

Contribuições Principais e Resultados

1. Equivalência de Tipos Tamed e Kähler (Questão 1.4):
   Os autores provam que para uma variedade de 4 dimensões fechada $X$ e uma classe $a \in H^2(X; \mathbb{R})$, o espaço de formas de Kähler $S^a_K(X)$ é vazio ou igual ao espaço de formas holomorficamente domadas $S^a_T(X)$ sob as seguintes condições:

   • $b_2^+(X) = 1$ (cobrindo superfícies racionais e regradas).
   • $X$ admite uma forma simplética de dimensão de Kodaira zero (cobrindo K3, Enriques, hiperelípticas e $T^4$).
   • $X$ admite uma métrica de Kähler de curvatura seccional negativa (cobrindo quotas de bolas complexas).
     Isso estabelece que, nesses regimes, a existência de uma estrutura complexa de domagem implica a existência de uma estrutura compatível dentro da mesma classe de cohomologia.

2. Unicidade (Questão 1.5):
   O artigo estabelece que o número de componentes conexas do espaço de moduli de formas do tipo Kähler em uma classe fixa, denotado por $\#M^a_K(X)$, é no máximo 1 sob as condições de dimensão de Kodaira não positiva ou curvatura seccional negativa.

   • Para superfícies de tipo geral com $b_2^+ = 1$, o número de componentes é finito.
   • Isso estende resultados anteriores de unicidade para K3 e $T^4$ para seus blowups e também para superfícies de Enriques/hiperelípticas.

3. Conectividade (Questão 1.6):

   • O espaço de moduli $M_K(X)$ possui um número finito de componentes conexas para qualquer variedade de 4 dimensões fechada.
   • Se $X$ admite uma forma simplética de dimensão de Kodaira não positiva, $M_K(X)$ é conexo.
   • Se $X$ admite uma métrica de Kähler de curvatura seccional negativa, $M_K(X)$ tem no máximo duas componentes conexas (o limite é atingido pelas superfícies de plano projetivo falsas/fake projective planes).

4. Abertura (Questão 1.7):

   • A inclusão $S_K(X) \hookrightarrow S(X)$ é aberta se $b_2^+(X) = 1$ ou se $X$ admite uma forma simplética de dimensão de Kodaira zero.
   • Inversamente, se $b_2^+(X) > 1$ e $X$ admite uma métrica de Kähler de curvatura seccional negativa, a inclusão não é aberta. Os autores fornecem a superfície de Cartwright–Steger como um contraexemplo onde o espaço de formas do tipo Kähler não é aberto no espaço das formas simpléticas.

Significância e Alegações
O artigo afirma resolver a versão simplética da conjectura de Streets–Tian para uma ampla classe de variedades de 4 dimensões, demonstrando que a distinção entre estruturas complexas "domadas" (tamed) e "compatíveis" desaparece no sentido cohomológico para essas geometrias específicas.

Uma contribuição primária é a extensão dos resultados de unicidade e conectividade para formas de Kähler de superfícies mínimas (como K3 e $T^4$) para seus blowups. Isso é significativo porque muitos resultados em topologia simplética (por exemplo, em relação a grupos de simpletomorfismos, empacotamentos e subvariedades lagrangianas) frequentemente assumem que a forma simplética é do tipo Kähler. Ao provar que formas holomorficamente domadas são do tipo Kähler nesses casos, os autores permitem que esses resultados sejam transferidos para a classe mais ampla de formas domadas.

O artigo também esclarece as restrições topológicas nos espaços de moduli de estruturas complexas, ligando o número de componentes do espaço de formas simpléticas ao número de componentes do espaço de moduli de estruturas complexas (via Teorema de Torelli e análise de domínio de período). Finalmente, o artigo delineia uma distinção nítida quanto à abertura do cone de Kähler, mostrando que, embora ela ocorra para $b_2^+ = 1$ e dimensão de Kodaira zero, ela falha para certas variedades negativamente curvadas com $b_2^+ > 1$, delineando assim os limites da estabilidade de Kodaira–Spencer na categoria simplética.