Families of singular algebraic varieties that are rationally elliptic spaces

Resumo Técnico: Famílias de Variedades Algébricas Singulares que são Espaços Racionalmente Elípticos

Enunciado do Problema
O artigo aborda a classificação e a existência de variedades algébricas racionalmente elípticas. Um espaço racionalmente elíptico é definido como um espaço topológico simplesmente conexo $X$ que satisfaz as condições de finitude $\dim H^*(X, \mathbb{Q}) < \infty$ e $\dim \pi_*(X) \otimes \mathbb{Q} < \infty$. Embora variedades elípticas suaves sejam bem estudadas (ex: espaços homogêneos, variedades Fano), o artigo investiga se existem famílias infinitas de tais espaços dentro do domínio das variedades algébricas singulares, especificamente hipersuperfícies com singularidades isoladas.

Uma motivação central é a relação entre propriedades geométricas (como a nefidade da classe canônica ou anti-canônica) e tipos de homotopia. O autor observa que para variedades suaves em dimensões 2 e 3, existem apenas finitos tipos de deformação de variedades racionalmente elípticas com classes canônicas ou anti-canônicas nefas. O artigo explora se essa finitude se mantém para variedades singulares ou se existem famílias infinitas de tipos de homotopia distintos sob restrições geométricas semelhantes.

Metodologia
O autor constrói famílias explícitas de hipersuperfícies projetivas definidas por equações polinomiais específicas em espaços projetivos ponderados e espaços projetivos padrão. A metodologia envolve:

1. Construção Explícita: Definindo três famílias de hipersuperfícies:

   • Família (1): $H(a_0, \dots, a_{n+1})$ em um espaço projetivo ponderado $\mathbb{P}(w_0, \dots, w_{n+1})$, dada por $z_0^{a_0}z_1 + z_1^{a_1}z_2 + \dots + z_{n+1}^{a_{n+1}}z_0 = 0$ (para $n$ ímpar).
   • Família (2): $V^d_n$ em $\mathbb{P}^{n+1}$, dada por $z_1^d + z_0 z_2^{d-1} + z_2 z_3^{d-1} + \dots + z_n z_{n+1}^{d-1} = 0$.
   • Família (3): $W^d_n$ em $\mathbb{P}^{n+1}$, dada por $z_0 z_1^{d-1} + z_1 z_2^{d-1} + \dots + z_n z_{n+1}^{d-1} = 0$.

2. Análise Topológica:

   • Homologia e Cohomologia: Calculando os anéis de homologia e cohomologia racional dessas variedades. Para as Famílias (1) e (2), o autor demonstra que elas possuem a homologia racional de espaços projetivos ($\mathbb{P}^n$). Para a Família (3), o autor mostra que elas possuem a homologia racional de quadricas pares suaves.
   • Monodromia e Números de Milnor: Utilizando a teoria de singularidades isoladas, o autor calcula os polinômios característicos da monodromia local ($\Phi^d_n(t)$) e os números de Milnor para os pontos singulares. Isso envolve relações de recorrência derivadas do teorema de Thom-Sebastiani e propriedades de singularidades homogêneas ponderadas.
   • Formalidade: Estabelecendo que essas variedades singulares são espaços "formais" (no sentido de Sullivan). Esta propriedade garante que o isomorfismo de seus anéis de cohomologia racional induza um isomorfismo de seus modelos mínimos de Sullivan, confirmando assim seus tipos de homotopia racional.

3. Propriedades Geométricas: Analisando os feixes canônicos dessas variedades para determinar se são nefos ou anti-nefos, e calculando números de autointerseção.

Principais Contribuições e Resultados

• Famílias Infinitas de Tipos de Homotopia Distintos: O artigo prova a existência de famílias infinitas de hipersuperfícies singulares racionalmente elípticas em qualquer dimensão $n > 1$.

  • Teoremas 2.1 & 2.2: As Famílias (1) e (2) são racionalmente equivalentes de homotopia a $\mathbb{P}^n$. Apesar de serem racionalmente elípticas e possuírem a homologia racional de $\mathbb{P}^n$, elas representam infinitos tipos de homotopia integral distintos (embora caiam em dois tipos de homotopia real).
  • Teorema 3.1 & Proposição 3.6: A Família (3) ($W^d_n$ para $n$ par) fornece hipersuperfícies singulares que são racionalmente elípticas e possuem o tipo de homotopia real de uma quadrica par suave. No entanto, elas não são racionalmente equivalentes de homotopia entre si para diferentes parâmetros, representando tipos de homotopia racional distintos.

• Restrições Geométricas e Nefidade:

  • As variedades singulares construídas possuem ou uma classe canônica nefa ou uma classe anti-canônica nefa.
  • O artigo destaca um contraste com o caso suave: enquanto 3-variedades suaves racionalmente elípticas com classes canônicas nefas são finitas em número (um resultado citado de [1]), os exemplos singulares aqui fornecidos formam famílias infinitas com essas propriedades.

• Resultado do Apêndice (Caso Suave): O autor inclui um apêndice demonstrando que uma família infinita de 3-variedades suaves racionalmente elípticas com uma classe canônica nefa não existe. Isso reforça a significância dos exemplos singulares encontrados no texto principal.

• Ações de Círculo: O artigo nota que os links dos cones afins sobre essas hipersuperfícies singulares produzem exemplos de ações de círculo em espaços estratificados que são esferas de homologia (para a Família 2) ou produtos racionais de esferas (para a Família 3), conectando os resultados ao problema de Montgomery-Yang.

Significância
O artigo afirma sua significância ao fornecer os primeiros exemplos explícitos de famílias infinitas de variedades algébricas singulares que são racionalmente elípticas e possuem classes canônicas nefas (ou anti-nefas), mas exibem infinitos tipos de homotopia distintos. Isso desafia a intuição derivada do caso suave, onde tal finitude frequentemente ocorre.

O trabalho faz a ponte entre a geometria algébrica e a teoria da homotopia racional ao mostrar que as singularidades podem preservar a propriedade "racionalmente elíptica" enquanto permitem uma vasta diversidade de estruturas topológicas. Os resultados alinham-se com propriedades de teoria de Hodge discutidas na literatura relacionada (ex: [24], [37]), especificamente quanto às estruturas de Hodge mistas serem do tipo Hodge-Tate.

O autor afirma explicitamente que esses exemplos servem para responder à questão de se a finitude de tipos de homotopia se estende a variedades singulares com classes canônicas nefas, concluindo que não. O artigo não pretende resolver a classificação geral de todas as variedades racionalmente elípticas, mas sim estabelecer a existência destes exemplos específicos, estas famílias infinitas de contraexemplos singulares às expectativas de finitude do caso suave.