A result on the generic Picard number of surfaces in fake weighted projective 3-spaces

1. Planteamiento del Problema y Contexto

El artículo aborda una pregunta específica en geometría algebraica relativa al número de Picard ($\rho$) de hipersuperficies genéricas en "espacios proyectivos ponderados falsos" de dimensión 3.

• El Escenario: Sea $\Delta$ un simplex de red tridimensional. Sea $P_\Delta$ la variedad torica proyectiva asociada al abanico normal de $\Delta$. Si $\Delta$ no es el simplex estándar, $P_\Delta$ es un "espacio proyectivo ponderado falso de dimensión 3". Sea $f$ un polinomio de Laurent no degenerado con poliedro de Newton $\Delta$, y sea $Z_{\Delta, f}$ el cierre del conjunto de ceros de $f$ en $P_\Delta$.
• La Conjetura: Generalmente se conjetura (análogo al teorema de Noether-Lefschetz) que para una elección "muy general" (genérica) de $f$, el número de Picard de la superficie $Z_{\Delta, f}$ es mínimo, es decir, $\rho(Z_{\Delta, f}) = 1$. Esto implica que todos los ciclos algebraicos en la superficie son proporcionales al divisor canónico (o a la restricción del divisor del espacio ambiente).
• El Objetivo: El autor busca identificar condiciones específicas sobre el poliedro de Newton $\Delta$ bajo las cuales esta conjetura falla, demostrando específicamente que $\rho(Z_{\Delta, f}) > 1$ para ciertas superficies genéricas. Las superficies en cuestión son de tipo general.

2. Metodología

El artículo emplea una estrategia basada en la teoría de degeneración y la teoría de Hodge. En lugar de analizar la fibra genérica directamente, el autor estudia una degeneración de la superficie a lo largo de una arista del poliedro de Newton.

A. Configuración Geométrica y Subdivisión

• Suposiciones: El simplex $\Delta$ debe satisfacer:
  1. $l^*(\Delta) > 0$ (asegurando que el género geométrico $p_g > 0$).
  2. $\dim F(\Delta) \in \{2, 3\}$ (asegurando que la superficie es de tipo general, es decir, $K^2 > 0$).
  3. Existencia de una arista $e \subset \Delta$ tal que $l^*(e) > 0$ (donde $l^*(F)$ denota el número de puntos de red en el interior relativo de $F$).
• Subdivisión: La arista $e$ se utiliza para subdividir $\Delta$ en $r$ simplex más pequeños $\Delta_1, \dots, \Delta_r$ a lo largo de la arista. La intersección de simplex adyacentes $\Delta_i \cap \Delta_{i+1}$ forma una cara bidimensional.

B. Degeneración Semiestable

El autor construye una familia uniparamétrica de superficies $X_t$ sobre un disco unidad $B$, donde $X_t$ corresponde a la superficie definida por $f$ para $t \neq 0$, y la fibra central $X_0$ es una superficie singular que surge de la subdivisión.

• Resolución: Mediante un cambio de base y aplicaciones birracionales, se logra una degeneración semiestable. La fibra central $X_0$ consiste en una unión de superficies suaves $V_i$ (cierres de hipersuperficies en las variedades toricas de los sub-simplex) que se intersectan transversalmente a lo largo de curvas dobles $C_{i, i+1}$.
• Seguimiento del Género Geométrico: Una fórmula clave relaciona el género geométrico de la fibra genérica con las componentes de la fibra central:
  $$p_g(X_t) = \sum_{i=1}^r p_g(V_i) + \sum_{i=1}^{r-1} g(C_{i, i+1})$$
  Usando conteos de puntos de red, esto se traduce en:
  $$l^*(\Delta) = \sum_{i=1}^r l^*(\Delta_i) + \sum_{i=1}^{r-1} l^*(\Delta_i \cap \Delta_{i+1})$$

C. Análisis Cohomológico (Secuencia de Clemens-Schmid)

El núcleo de la prueba se basa en la secuencia exacta de Clemens-Schmid y la teoría de la cohomología de desaparición.

• Monodromía: Se analiza el operador de monodromía $T$ en $H^2(X_t, \mathbb{Q})$. El operador $N = \log(T)$ mide la parte "desaparecida" de la cohomología.
• Clases de Desaparición: El espacio de clases de cohomología de desaparición se define como $H^2(X_t, \mathbb{Q})_{van} \cong H^2(X_t, \mathbb{Q}) / \ker(N)$.
• Ortogonalidad: Estas clases de desaparición son ortogonales a las clases de cohomología que provienen de la fibra central (el núcleo de $N$) con respecto al producto de intersección.
• Descomposición de Hodge: El autor analiza la posición de estas clases de desaparición dentro de la descomposición de Hodge $H^2(X_t, \mathbb{C}) = H^{2,0} \oplus H^{1,1} \oplus H^{0,2}$.

3. Contribuciones y Resultados Clave

El artículo establece un criterio preciso para que el número de Picard exceda 1.

El Teorema Principal (Teorema 1.2 / Teorema 2.10)

Sea $\Delta$ un simplex tridimensional que satisface las condiciones anteriores, con una subdivisión $\Delta = \bigcup \Delta_i$ a lo largo de una arista $e$. Si se cumple la siguiente desigualdad:
$$\sum_{i=1}^{r-1} l^*(\Delta_i \cap \Delta_{i+1}) > \sum_{i=1}^{r} l^*(\Delta_i)$$
Entonces, para un $f$ suficientemente no degenerado, el número de Picard de la superficie es estrictamente mayor que 1:
$$\rho(Z_{\Delta, f}) > 1$$

Mecanismo de la Prueba

1. Conteo de Clases de Desaparición: El número de clases de cohomología de desaparición en la degeneración semiestable se calcula como $2 \cdot \sum_{i=1}^{r-1} l^*(\Delta_i \cap \Delta_{i+1})$.
2. Argumento Dimensional: El espacio $H^{2,0}(X_t) \oplus H^{0,2}(X_t)$ tiene dimensión $2 \cdot p_g(X_t) = 2 \cdot \sum l^*(\Delta_i)$.
3. Existencia de una Clase (1,1) Racional: Si el número de clases de desaparición (numerador) excede la dimensión de la parte $(2,0)+(0,2)$ (denominador), debe existir una clase de cohomología de desaparición $V$ que no esté en $H^{2,0} \oplus H^{0,2}$.
4. Racionalidad: Dado que $V$ es una clase racional y ortogonal al núcleo de $N$ (que contiene el divisor canónico $K_{X_t}$), su proyección $w$ sobre $H^{1,1}(X_t)$ es una clase de Picard racional.
5. Independencia: Dado que $w$ es ortogonal a $K_{X_t}$ y $K_{X_t}^2 > 0$ (tipo general), $w$ no puede ser proporcional a $K_{X_t}$. Por lo tanto, el grupo de Picard está generado por al menos dos clases independientes.

Contraejemplo a la Conjetura

El artículo demuestra que la conjetura $\rho=1$ es falsa para superficies genéricas en espacios proyectivos ponderados falsos si el poliedro de Newton satisface la desigualdad específica de puntos de red derivada anteriormente. Esto destaca que la geometría del poliedro de Newton (específicamente la distribución de puntos de red interiores en relación con la subdivisión) dicta el número de Picard.

4. Significado

• Refinamiento de la Teoría de Noether-Lefschetz: Mientras que el teorema clásico de Noether-Lefschetz establece que las superficies genéricas en $\mathbb{P}^3$ tienen $\rho=1$, este trabajo muestra que en el contexto de espacios proyectivos ponderados falsos (variedades toricas con singularidades), la geometría del poliedro de Newton puede forzar al número de Picador a ser mayor incluso para miembros genéricos.
• Perspectiva Metodológica: El artículo proporciona una aplicación concreta de técnicas de degeneración (reducción semiestable) y estructuras de Hodge mixtas para calcular invariantes de variedades algebraicas genéricas. Une datos combinatorios (puntos de red en poliedros) con invariantes geométricos complejos (números de Picard).
• Restricciones sobre el Tipo General: El resultado enfatiza la importancia de la condición $K^2 > 0$ (tipo general). El autor nota en la Observación 2.11 que para superficies K3 (donde $K^2=0$), degeneraciones similares no necesariamente producen $\rho > 1$ para miembros genéricos, ya que la estructura de Hodge se comporta de manera diferente.
• Direcciones Futuras: El trabajo sugiere que el comportamiento "genérico" de los números de Picard en variedades toricas es más matizado que en el espacio proyectivo estándar, dependiendo en gran medida de las propiedades combinatorias del poliedro definitorio.

En resumen, Giesler demuestra que para clases específicas de superficies en espacios proyectivos ponderados falsos, el número de Picard genérico es estrictamente mayor que 1, proporcionando un criterio combinatorio basado en la subdivisión del poliedro de Newton y el conteo de puntos de red interiores.