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

1. Formulação do Problema e Contexto

O artigo aborda uma questão específica em geometria algébrica referente ao número de Picard ($\rho$) de hipersuperfícies genéricas em "falsos" espaços projetivos ponderados 3D.

• O Cenário: Seja $\Delta$ um simplex de rede tridimensional. Seja $P_\Delta$ a variedade torica projetiva associada ao leque normal de $\Delta$. Se $\Delta$ não é o simplex padrão, $P_\Delta$ é um "falso espaço projetivo ponderado 3D". Seja $f$ um polinômio de Laurent não degenerado com poliedro de Newton $\Delta$, e seja $Z_{\Delta, f}$ o fecho do conjunto de zeros de $f$ em $P_\Delta$.
• A Conjectura: Geralmente conjectura-se (analogamente ao teorema de Noether-Lefschetz) que, para uma escolha "muito geral" (genérica) de $f$, o número de Picard da superfície $Z_{\Delta, f}$ é mínimo, ou seja, $\rho(Z_{\Delta, f}) = 1$. Isso implica que todos os ciclos algébricos na superfície são proporcionais ao divisor canônico (ou à restrição do divisor do espaço ambiente).
• O Objetivo: O autor busca identificar condições específicas sobre o poliedro de Newton $\Delta$ sob as quais essa conjectura falha, provando especificamente que $\rho(Z_{\Delta, f}) > 1$ para certas superfícies genéricas. As superfícies em questão são de tipo geral.

2. Metodologia

O artigo emprega uma estratégia baseada na teoria de degeneração e na teoria de Hodge. Em vez de analisar a fibra genérica diretamente, o autor estuda uma degeneração da superfície ao longo de uma aresta do poliedro de Newton.

A. Configuração Geométrica e Subdivisão

• Pressupostos: O simplex $\Delta$ deve satisfazer:
  1. $l^*(\Delta) > 0$ (garantindo que o gênero geométrico $p_g > 0$).
  2. $\dim F(\Delta) \in \{2, 3\}$ (garantindo que a superfície é de tipo geral, ou seja, $K^2 > 0$).
  3. Existência de uma aresta $e \subset \Delta$ tal que $l^*(e) > 0$ (onde $l^*(F)$ denota o número de pontos de rede no interior relativo de $F$).
• Subdivisão: A aresta $e$ é usada para subdividir $\Delta$ em $r$ simplex menores $\Delta_1, \dots, \Delta_r$ ao longo da aresta. A interseção de simplex adjacentes $\Delta_i \cap \Delta_{i+1}$ forma uma face bidimensional.

B. Degeneração Semiestável

O autor constrói uma família uniparamétrica de superfícies $X_t$ sobre um disco unitário $B$, onde $X_t$ corresponde à superfície definida por $f$ para $t \neq 0$, e a fibra central $X_0$ é uma superfície singular resultante da subdivisão.

• Resolução: Através de uma mudança de base e mapas birracionais, uma degeneração semiestável é alcançada. A fibra central $X_0$ consiste em uma união de superfícies suaves $V_i$ (fechos de hipersuperfícies nas variedades toricas dos sub-simplex) que se intersectam transversalmente ao longo de curvas duplas $C_{i, i+1}$.
• Rastreamento do Gênero Geométrico: Uma fórmula chave relaciona o gênero geométrico da fibra genérica às componentes da 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 contagens de pontos de rede, isso se traduz em:
  $$l^*(\Delta) = \sum_{i=1}^r l^*(\Delta_i) + \sum_{i=1}^{r-1} l^*(\Delta_i \cap \Delta_{i+1})$$

C. Análise Cohomológica (Sequência de Clemens-Schmid)

O núcleo da prova baseia-se na sequência exata de Clemens-Schmid e na teoria da cohomologia de desaparecimento.

• Monodromia: O operador de monodromia $T$ em $H^2(X_t, \mathbb{Q})$ é analisado. O operador $N = \log(T)$ mede a parte "de desaparecimento" da cohomologia.
• Classes de Desaparecimento: O espaço das classes de cohomologia de desaparecimento é definido como $H^2(X_t, \mathbb{Q})_{van} \cong H^2(X_t, \mathbb{Q}) / \ker(N)$.
• Ortogonalidade: Essas classes de desaparecimento são ortogonais às classes de cohomologia provenientes da fibra central (o núcleo de $N$) em relação ao produto de interseção.
• Decomposição de Hodge: O autor analisa a posição dessas classes de desaparecimento dentro da decomposição de Hodge $H^2(X_t, \mathbb{C}) = H^{2,0} \oplus H^{1,1} \oplus H^{0,2}$.

3. Contribuições e Resultados Chave

O artigo estabelece um critério preciso para que o número de Picard exceda 1.

O Teorema Principal (Teorema 1.2 / Teorema 2.10)

Seja $\Delta$ um simplex tridimensional satisfazendo as condições acima, com uma subdivisão $\Delta = \bigcup \Delta_i$ ao longo de uma aresta $e$. Se a seguinte desigualdade for válida:
$$\sum_{i=1}^{r-1} l^*(\Delta_i \cap \Delta_{i+1}) > \sum_{i=1}^{r} l^*(\Delta_i)$$
Então, para um $f$ suficientemente não degenerado, o número de Picard da superfície é estritamente maior que 1:
$$\rho(Z_{\Delta, f}) > 1$$

Mecanismo da Prova

1. Contagem de Classes de Desaparecimento: O número de classes de cohomologia de desaparecimento na degeneração semiestável é calculado como $2 \cdot \sum_{i=1}^{r-1} l^*(\Delta_i \cap \Delta_{i+1})$.
2. Argumento Dimensional: O espaço $H^{2,0}(X_t) \oplus H^{0,2}(X_t)$ tem dimensão $2 \cdot p_g(X_t) = 2 \cdot \sum l^*(\Delta_i)$.
3. Existência de Classe Racional (1,1): Se o número de classes de desaparecimento (numerador) exceder a dimensão da parte $(2,0)+(0,2)$ (denominador), deve existir uma classe de cohomologia de desaparecimento $V$ que não está em $H^{2,0} \oplus H^{0,2}$.
4. Racionalidade: Como $V$ é uma classe racional e ortogonal ao núcleo de $N$ (que contém o divisor canônico $K_{X_t}$), sua projeção $w$ em $H^{1,1}(X_t)$ é uma classe de Picard racional.
5. Independência: Como $w$ é ortogonal a $K_{X_t}$ e $K_{X_t}^2 > 0$ (tipo geral), $w$ não pode ser proporcional a $K_{X_t}$. Assim, o grupo de Picard é gerado por pelo menos duas classes independentes.

Contra-Exemplo à Conjectura

O artigo demonstra que a conjectura $\rho=1$ é falsa para superfícies genéricas em falsos espaços projetivos ponderados se o poliedro de Newton satisfizer a desigualdade específica de pontos de rede derivada acima. Isso destaca que a geometria do poliedro de Newton (especificamente a distribuição de pontos de rede internos em relação à subdivisão) dita o número de Picard.

4. Significado

• Refinamento da Teoria de Noether-Lefschetz: Enquanto o teorema clássico de Noether-Lefschetz afirma que superfícies genéricas em $\mathbb{P}^3$ têm $\rho=1$, este trabalho mostra que, no contexto de falsos espaços projetivos ponderados (variedades toricas com singularidades), a geometria do poliedro de Newton pode forçar o número de Picard a ser maior mesmo para membros genéricos.
• Insight Metodológico: O artigo fornece uma aplicação concreta de técnicas de degeneração (redução semiestável) e estruturas de Hodge mistas para calcular invariantes de variedades algébricas genéricas. Ele faz a ponte entre dados combinatórios (pontos de rede em poliedros) e invariantes geométricos complexos (números de Picard).
• Restrições sobre Tipo Geral: O resultado enfatiza a importância da condição $K^2 > 0$ (tipo geral). O autor nota na Observação 2.11 que, para superfícies K3 (onde $K^2=0$), degenerações semelhantes não necessariamente resultam em $\rho > 1$ para membros genéricos, pois a estrutura de Hodge se comporta de maneira diferente.
• Direções Futuras: O trabalho sugere que o comportamento "genérico" dos números de Picard em variedades toricas é mais sutil do que no espaço projetivo padrão, dependendo fortemente das propriedades combinatórias do poliedro definidor.

Em resumo, Giesler prova que, para classes específicas de superfícies em falsos espaços projetivos ponderados, o número de Picard genérico é estritamente maior que 1, fornecendo um critério combinatório baseado na subdivisão do poliedro de Newton e na contagem de pontos de rede internos.