Symplectic and projective small covers over products of polygons

Resumo Técnico: Coberturas Pequenas Simpléticas e Projetivas sobre Produtos de Polígonos

Enunciado do Problema
O artigo investiga a existência de estruturas simpléticas, kählerianas e projetivas em coberturas pequenas sobre produtos de polígonos. Uma cobertura pequena $M(P, \lambda)$ é uma $n$-variedade suave fechada equipada com uma ação localmente padrão de um 2-grupo abeliano elementar de posto $n$, onde o espaço de órbitas é um polítopo simples $P$. Embora as coberturas pequenas sejam análogos reais de variedades quasitoricas, as condições para que admitam estruturas simpléticas ou complexas são altamente restritivas.

Trabalhos anteriores de Ishida estabeleceram que, para variedades de Bott reais (coberturas pequenas sobre cubos), as condições de serem cohomologicamente simpléticas, simpléticas e kählerianas são equivalentes. Este artigo busca generalizar esses resultados substituindo os fatores quadrados do cubo por polígonos arbitrários $P = P_{m_1} \times \cdots \times P_{m_n}$. A questão central é: sob quais condições combinatórias no mapa característico $\lambda$ a cobertura pequena resultante admite um modelo projetivo suave, e como a topologia da cobertura se relaciona com a teoria de Hodge de tal modelo?

Metodologia
O autor emprega uma combinação de topologia combinatória, cohomologia equivariante e geometria complexa:

1. Variedades de Ângulo-Momento Reais: O estudo utiliza o fato de que a variedade de ângulo-momento real $\mathcal{R}Z_P$ de um produto de polígonos é um produto de superfícies fechadas ($\Sigma_{g(m_i)}$). As coberturas pequenas são realizadas como quocientes livres desses produtos por um 2-grupo abeliano elementar finito $G = \ker \lambda$.
2. Compatibilidade de Fatores: Introduz-se uma nova classe de coberturas pequenas, denominada "compatível com fatores". Esta condição impõe restrições ao mapa característico $\lambda$ em relação aos fatores poligonais. Especificamente, exige-se que, para fatores não quadrados, a ação quociente preserve a orientação do fator de superfície correspondente, e para fatores quadrados, os pesos sejam emparelhados de forma compatível com uma estrutura de toro complexo.
3. Construção de Modelos Projetivos: Para coberturas pequenas compatíveis com fatores, o autor constrói uma variedade projetiva suave $X$ como um quociente livre finito de um produto de curvas projetivas suaves $Y = C_1 \times \cdots \times C_n$ pelo grupo $G$. Isso depende da média de métricas para induzir estruturas complexas invariantes por $G$ nos fatores de superfície.
4. Teoria de Hodge e Cohomologia: O artigo calcula o polinômio de Hodge do modelo projetivo $X$ utilizando invariantes de teoria de caracteres da ação de $G$. Em seguida, relaciona esses invariantes ao anel de cohomologia graduado módulo 2 da cobertura pequena subjacente $M$.
5. Redução Algébrica Linear: A estrutura da matriz característica é analisada usando formas triangulares por blocos e lemas de álgebra linear relativos a transversais e menores principais sobre $\mathbb{Z}_2$.

Principais Contribuições e Resultados

1. Existência de Modelos Projetivos (Teorema 3.4):
   O resultado primário estabelece que toda cobertura pequena compatível com fatores sobre um produto de polígonos admite um modelo projetivo suave. Especificamente, se $M$ é compatível com fatores, existe uma variedade projetiva suave $X$ difeomorfa a $M$. Consequentemente, toda tal $M$ admite estruturas kählerianas, simpléticas e cohomologicamente simpléticas. Isso generaliza os resultados de Ishida sobre variedades de Bott reais para o cenário poligonal.

2. Obstruções à Simplética (Seção 4):
   O artigo fornece obstruções elementares à existência de estruturas simpléticas:

   • Se qualquer fator poligonal for um triângulo ($m_i=3$), nenhuma cobertura pequena sobre o produto é cohomologicamente simplética.
   • Se todos os fatores poligonais tiverem um número ímpar de lados, nenhuma cobertura pequena sobre o produto é orientável e, portanto, não pode ser simplética.

3. Rigidez Teórico-Hodgeana (Teorema 5.7):
   Uma contribuição significativa é a prova de que o anel de cohomologia graduado módulo 2 $H^*(M; \mathbb{Z}_2)$ determina o diamante de Hodge do modelo projetivo associado $X$.

   • Os números de Betti racionais de $M$ são determinados pelo seu anel de cohomologia módulo 2 (via a sequência espectral de Bockstein e a natureza livre de torção da cohomologia integral das uniões de polítopos associadas).
   • Para modelos compatíveis com fatores, os números de Betti racionais determinam o polinômio de Hodge completo e, portanto, o diamante de Hodge.
   • O artigo esclarece que este é um resultado de rigidez para informações teórico-hodgeanas carregadas pelos modelos projetivos, não necessariamente uma afirmação de rigidez de difeomorfismo completa para as próprias coberturas pequenas.

4. Estrutura de Fibrado Equivariante Iterada (Corolário 6.6):
   O artigo prova que a matriz característica de uma cobertura pequena compatível com fatores pode ser transformada, via equivalência de Davis–Januszkiewicz, em uma forma triangular inferior por blocos. Este resultado estrutural implica que toda cobertura pequena compatível com fatores admite uma estrutura de fibrado equivariante iterada. As fibras sucessivas são coberturas pequenas orientáveis sobre polígonos (especificamente, superfícies fechadas orientáveis). Isso serve como um análogo do tipo superfície à estrutura de fibrado iterado das torres de Bott reais generalizadas.

Significado e Alegações
O artigo posiciona a compatibilidade com fatores como uma condição "natural geometricamente" que captura uma parte substancial do intervalo simplético para coberturas pequenas sobre produtos de polígonos. Embora um inverso completo (de que toda cobertura pequena simplética seja compatível com fatores) não seja provado em dimensões superiores a quatro, o autor observa que nenhum contraexemplo é atualmente conhecido.

O trabalho preenche a lacuna entre a topologia combinatória das coberturas pequenas e a geometria complexa das variedades projetivas. Ao demonstrar que o anel de cohomologia módulo 2 codifica o diamante de Hodge do modelo projetivo, o artigo sugere que o anel de cohomologia graduado módulo 2 carrega informações geométricas significativas além do tipo de difeomorfismo. Isso expande o escopo dos problemas de rigidez cohomológica do caso de Bott real para uma classe mais ampla de coberturas pequenas sobre produtos de polígonos.

Os resultados são apresentados como estabelecendo condições suficientes para a existência de estruturas geométricas fortes e revelando conexões profundas entre os dados combinatórios do polítopo, a topologia algébrica da variedade e a teoria de Hodge de seu modelo complexo.