Symplectically aspherical Kähler manifolds, scalar curvature, and the fundamental group

Resumo Técnico: Variedades Kähler Simpleticamente Asféricas, Curvatura Escalar e o Grupo Fundamental

Enunciado do Problevel
Este artigo investiga a classe de variedades suaves fechadas equipadas com formas Kähler que são puxadas para formas exatas em seus recobrimentos universais. Os autores denominam estas variedades como variedades Kähler simpleticamente asféricas (SAK). Esta classe situa-se estritamente entre as variedades Kähler hiperbólicas (onde o puxamento é $d$-limitado) e as variedades de Kollár grandes (onde o recobrimento universal não contém subvariedades complexas compactas de dimensão positiva). O estudo visa compreender as restrições topológicas e geométricas impostas por esta condição de "asfericidade" à forma Kähler, abordando especificamente:

1. A realizabilidade de grupos discretos finitamente apresentáveis como grupos fundamentais de variedades SAK, particularmente aquelas com grupos de homotopia segundo não triviais ($\pi_2 \neq 0$).
2. A existência de métricas de Riemann e Kähler com curvatura escalar positiva nessas variedades.
3. A estrutura do cone Kähler, especificamente a unicidade ou abundância de formas asféricas dentro dele.

Metodologia
Os autores utilizam uma síntese de geometria algébrica complexa, topologia simplética e geometria Riemanniana.

• Construção: Eles utilizam construções de recobrimentos cíclicos ramificados sobre variedades projetivas suaves asféricas para gerar variedades SAK não asféricas em todas as dimensões complexas $\ge 2$. Eles também analisam produtos simétricos de curvas genéricas ($SP_n(M_g)$) e recobrimentos ramificados de superfícies abelianas.
• Restrições Topológicas: A análise baseia-se no mapa de Hurewicz, classes de homologia esférica real ($\Pi(M)$) e na interação entre o cone Kähler e o cone de formas simpléticas tame/comparáveis.
• Obstruções de Curvatura: O artigo aplica a conjectura de Novikov (especificamente para cohomologia de baixo grau), o teorema do índice de Rosenberg para variedades spin (spin manifolds) e a teoria de Seiberg–Witten (em dimensão 4), além do teorema do cone de Mori combinado com a teoria de fibrados de linha pseudo-efetivos para obstruir a curvatura escalar positiva.
• Computações Cohomológicas: Para produtos simétricos, os autores utilizam a estrutura do grupo de Neron–Severi e as relações de Macdonald no anel de cohomologia para caracterizar o cone Kähler.

Principais Contribuições e Resultados

1. Existência e Flexibilidade Topológica
O artigo estabelece que as variedades SAK existem em abundância, mesmo fora do cenário asférico ($\pi_2 \neq 0$).

• Construção: O Teorema 3.1 fornece uma receita geral para construir variedades SAK não asféricas em cada dimensão complexa $n \ge 2$ via recobrimentos ramificados $k$-cíclicos de variedades asféricas.
• Classificação: A Proposição 3.2 prova que superfícies SAK não asféricas são de tipo geral. No entanto, isso não se generaliza para dimensões superiores (Observação 3.3).
• Grupos Fundamentais: O artigo aborda o "problema da realizabilidade". O Teorema 4.4 demonstra que todo grupo abeliano livre de posto par $\ge 4$ pode ser realizado como o grupo fundamental de uma superfície projetiva suave SAK de tipo geral com classes de homologia esférica real não triviais. Exemplos incluem quadrados simétricos de curvas genéricas e recobrimentos ramificados específicos de superfícies abelianas.
• Restrições: Os autores listam condições necessárias para um grupo ser um grupo SAK (ex: infinito, um fim, produtos de Massey nulos, número de Betti primeiro par para subgrupos de índice finito).

2. Obstruções de Curvatura Escalar
Motivados pela Conjectura de Gromov–Lawson, os autores propõem e apoiam uma extensão para o cenário simplético.

• Conjectura 5.2: Uma variedade simpleticamente asférica fechada não pode suportar uma métrica de Riemann de curvatura escalar positiva.
• Evidência de Apoio:
  • Caso Spin: O Teorema 5.3 prova a conjectura para variedades que admitem um recobrimento spin finito, utilizando a conjectura de Novikov e o teorema do índice de Rosenberg.
  • Caso Abeliano/2-Tame: O Corolário 5.4 estende isso para variedades com grupos fundamentais abelianos e recobrimentos universais spin.
  • Baixas Dimensões: O Teorema 5.5 confirma a conjectura para variedades simpleticamente asféricas fechadas em dimensões 2 e 4 sem suposições topológicas adicionais, usando Gauss–Bonnet e teoria de Seiberg–Witten.
  • Métricas Kähler: O Teorema 5.6 prova que variedades projetivas suaves que admitem um morfismo biracional sobre uma variedade SAK não podem suportar uma métrica Kähler de curvatura escalar positiva. Isso se baseia no fato de que o recobrimento universal de uma variedade SAK não contém subvariedades complexas compactas, implicando que o fibrado canônico é nef (via teorema do cone de Mori) e pseudo-efetivo.
  • Corolário 5.8: Consequentemente, variedades projetivas suaves de Kollár grandes (incluindo aquelas com recobrimentos universais Stein) não podem suportar métricas Kähler de curvatura escalar positiva.

3. O Cone Kähler e Unicidade
O artigo investiga a rigidez da condição de asfericidade dentro do cone Kähler.

• Asfericidade Total: A Seção 6 estuda variedades "totalmente Kähler asféricas" (onde toda forma Kähler é asférica). A Proposição 6.1 mostra que, se toda forma Kähler é asférica, o dual do espaço de homologia esférica real $\Pi(M)$ deve residir no grupo de cohomologia de Dolbeault $(2,0)+(0,2)$.
• Superfícies: O Corolário 6.3 implica que, para superfícies Kähler, se todas as formas Kähler são asféricas, nenhuma classe de homologia esférica real pode ser representada por uma 2-esfera simpleticamente imersa.
• Unicidade em Produtos Simétricos: A Proposição 7.1 estabelece que, no produto simétrico $SP_n(M_g)$ de uma curva genérica, a forma Kähler asférica é essencialmente única. Especificamente, uma forma Kähler é asférica se, e somente se, sua classe de cohomologia é um múltiplo escalar não nulo do puxamento da forma canônica do Jacobiano. Qualquer outra forma no cone é não-asférica.

Significado
O artigo posiciona as variedades SAK como uma classe intermediária "domável" entre as variedades Kähler hiperbólicas e as variedades de Kollár grandes, adequada para testar conjecturas como a de Shafarevich (se variedades de Kollár grandes possuem recobrimentos universais Stein).

• Rigidez Geométrica: Os resultados demonstram que a condição de asfericidade simplética impõe fortes restrições sobre a curvatura escalar, excluindo métricas de curvatura escalar positiva em amplas classes de variedades projetivas.
• Realizabilidade Topológica: A construção de superfícies SAK explícitas com $\pi_2$ não trivial e grupos fundamentais específicos (abeliano livre de posto $\ge 4$) preenche uma lacuna na compreensão de quais grupos podem surgir neste cenário geométrico.
• Estrutura do Cone: As descobertas sobre o cone Kähler destacam que a asfericidade é uma propriedade frágil; formas Kähler estreitamente relacionadas podem se comportar de maneira drasticamente diferente quando puxadas para o recobrimento universal (uma exata, outra não).

Os autores concluem propondo questões abertas, como se todas as variedades de Kollár grandes admitem uma forma Kähler asférica e se grupos SAK podem ter torção não trivial, observando que os métodos simpléticos atuais podem não ser suficientes para responder a estas questões no cenário holomorfo.