Families of singular algebraic varieties that are rationally elliptic spaces

Resumen Técnico: Familias de Variedades Algebraicas Singulares que son Espacios Racionalmente Elípticos

Planteamiento del Problema
El artículo aborda la clasificación y existencia de variedades algebraicas racionalmente elípticas. Un espacio racionalmente elíptico se define como un espacio topológico simplemente conexo $X$ que satisface las condiciones de finitud $\dim H^*(X, \mathbb{Q}) < \infty$ y $\dim \pi_*(X) \otimes \mathbb{Q} < \infty$. Si bien los manifolds racionalmente elípticos suaves están bien estudiados (por ejemplo, espacios homogéneos, variedades Fano), el artículo investiga si existen familias infinitas de tales espacios dentro del ámbito de las variedades algebraicas singulares, específicamente hipersuperficies con singularidades aisladas.

Una motivación central es la relación entre las propiedades geométricas (como la nefidad de la clase canónica o anticanónica) y los tipos de homotopía. El autor señala que para variedades suaves en dimensiones 2 y 3, solo existen un número finito de tipos de deformación de variedades racionalmente elípticas con clases canónicas o anticanónicas nef. El artículo explora si esta finitud se mantiene para variedades singulares o si existen familias infinitas de tipos de homotopía distintos bajo restricciones geométricas similares.

Metodología
El autor construye familias explícitas de hipersuperficies proyectivas singulares definidas por ecuaciones polinómicas específicas en espacios proyectivos ponderados y espacios proyectivos estándar. La metodología implica:

1. Construcción Explícita: Definir tres familias de hipersuperficies:

   • Familia (1): $H(a_0, \dots, a_{n+1})$ en un espacio proyectivo 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$ impar).
   • Familia (2): $V^d_n$ en $\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$.
   • Familia (3): $W^d_n$ en $\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álisis Topológico:

   • Homología y Cohomología: Cálculo de los anillos de homología y cohomología racional de estas variedades. Para las Familias (1) y (2), el autor demuestra que poseen la homología racional de los espacios proyectivos ($\mathbb{P}^n$). Para la Familia (3), el autor muestra que tienen la homología racional de cuádricas pares suaves.
   • Monodromía y Números de Milnor: Utilizando la teoría de singularidades aisladas, el autor calcula los polinomios característicos de la monodromía local ($\Phi^d_n(t)$) y los números de Milnor para los puntos singulares. Esto implica relaciones de recurrencia derivadas del teorema de Thom-Sebastiani y de las propiedades de las singularidades homogéneas ponderadas.
   • Formalidad: Establecer que estas variedades singulares son espacios "formales" (en el sentido de Sullivan). Esta propiedad asegura que el isomorfismo de sus anillos de cohomología racional induce un isomorfismo de sus modelos mínimos de Sullivan, confirmando así sus tipos de homotopía racional.

3. Propiedades Geométricas: Análisis de los haces canónicos de estas variedades para determinar si son nef o anti-nef, y cálculo de los números de autointersección.

Contribuciones Clave y Resultados

• Familias Infinitas de Tipos de Homotopía Distintos: El artículo demuestra la existencia de familias infinitas de hipersuperficies singulares racionalmente elípticas en cualquier dimensión $n > 1$.

  • Teoremas 2.1 y 2.2: Las Familias (1) y (2) son racionalmente homotópicas a $\mathbb{P}^n$. A pesar de ser racionalmente elípticas y tener la homología racional de $\mathbb{P}^n$, representan infinitos tipos de homotopía integral distintos (aunque caen en dos tipos de homotopía real).
  • Teorema 3.1 y Proposición 3.6: La Familia (3) ($W^d_n$ para $n$ par) proporciona hipersuperficies singulares que son racionalmente elípticas y tienen el tipo de homotopía real de una cuádrica par suave. Sin embargo, no son racionalmente homotópicas entre sí para diferentes parámetros, representando tipos de homotopía racional distintos.

• Restricciones Geométricas y Nefidad:

  • Las variedades singulares construidas poseen ya sea una clase canónica nef o una clase anticanónica nef.
  • El artículo destaca un contraste con el caso suave: mientras que las 3-variedades suaves racionalmente elípticas con clases canónicas nef son finitas en número (un resultado citado de [1]), los ejemplos singulares aquí proporcionados forman familias infinitas con estas propiedades.

• Resultado del Apéndice (Caso Suave): El autor incluye un apéndice demostrando que no existe una familia infinita de 3-variedades suaves racionalmente elípticas con una clase canónica nef. Esto refuerza la importancia de los ejemplos singulares hallados en el texto principal.

• Acciones de Círculo: El artículo señala que los enlaces de los conos afines sobre estas hipersuperficies singulares producen ejemplos de acciones de círculo en espacios estratificados que son esferas de homología (para la Familia 2) o productos racionales de esferas (para la Familia 3), conectando los resultados con el problema de Montgomery-Yang.

Significado
El artículo afirma su relevancia al proporcionar los primeros ejemplos explícitos de familias infinitas de variedades algebraicas singulares que son racionalmente elípticas y poseen clases canónicas nef (o anti-nef), y que sin embargo exhiben una vasta diversidad de estructuras topológicas. Esto desafía la intuición derivada del caso suave, donde tal finitud suele cumplirse.

El trabajo cierra la brecha entre la geometría algebraica y la teoría de la homotopía racional al mostrar que las singularidades pueden preservar la propiedad "racionalmente elíptica" permitiendo, al mismo tiempo, una gran diversidad de estructuras topológicas. Los resultados se alinean con las propiedades de la teoría de Hodge discutidas en la literatura relacionada (por ejemplo, [24], [37]), específicamente respecto a que las estructuras de Hodge mixtas son de tipo Hodge-Tate.

El autor establece explícitamente que estos ejemplos sirven para responder a la pregunta de si la finitud de los tipos de homotopía se extiende a las variedades singulares con clases canónicas nef, concluyendo que no es así. El artículo no pretende resolver la clasificación general de todas las variedades racionalmente elípticas, sino establecer la existencia de estas familias específicas de ejemplos contrapuestos infinitos a las expectativas de finitud del caso suave.