Liftings of ideals in positive characteristic to those in characteristic zero:Surface case

1. Problema e Contexto

O objetivo central do artigo é comparar os invariantes de singularidades de pares formados por variedades suaves e "multi-ideais" (produtos de ideais com expoentes reais) em característica positiva ($p > 0$) com seus análogos em característica zero ($\mathbb{C}$).

Em geometria algébrica, muitos resultados fundamentais sobre singularidades (como a discrição dos log-discrepâncias e a existência de divisores que calculam o minimal log discrepancy - mld) foram estabelecidos em característica zero. A extensão desses resultados para característica positiva é um desafio significativo devido a fenômenos como a inseparabilidade e a falta de resolução de singularidades em dimensões superiores em certos contextos.

O autor foca especificamente no caso de superfícies (dimensão 2). Em dimensões 3 ou superiores, o artigo menciona que existem contraexemplos (devido a Kollár) que impedem uma elevação direta e perfeita dos invariantes, sugerindo que uma formulação modificada seria necessária para dimensões maiores.

2. Metodologia: O Método de "Esqueletos" (Skeletons)

A principal contribuição metodológica do artigo é a introdução e aplicação sistemática da noção de elevação via "esqueletos" (skeletons).

• Definição de Esqueleto: Um subanel $S$ de uma álgebra $R$ sobre um corpo $k$ (característica $p$) é chamado de esqueleto se $S$ é uma subálgebra finitamente gerada sobre $\mathbb{Z}/(p)$ tal que $k[S] = R$.
• Esqueletos Compatíveis: Dada uma álgebra $\tilde{R}$ sobre um corpo de característica zero $K$ (como $\mathbb{C}$) e um esqueleto $\tilde{S} \subset \tilde{R}$, diz-se que $\tilde{S}$ é uma elevação de $S$ se $\tilde{S}$ é plano sobre $\mathbb{Z}$ em $p$ e $\tilde{S} \otimes_{\mathbb{Z}} \mathbb{Z}/(p) \cong S$.
• Processo de Elevação: O método permite construir uma sequência de variedades sobre $\mathbb{C}$ que "reduzem" módulo $p$ para a sequência original sobre $k$. Especificamente, para uma sequência de blow-ups (explosões) em pontos fechados de uma superfície afim em característica positiva, o autor constrói uma sequência correspondente de blow-ups em $\mathbb{C}^2$.

A construção é indutiva:

1. Começa-se com o espaço afim $A^N_k$ e seu esqueleto sobre $\mathbb{Z}/(p)$.
2. Para cada ponto de explosão $P_i$, utiliza-se o fato de que o ideal maximal é gerado por um sistema regular de parâmetros.
3. Levanta-se esses geradores para o esqueleto em característica zero, garantindo que a estrutura local e as relações de incidência (qual ponto está em qual divisor excepcional) sejam preservadas.
4. Demonstra-se que os divisores excepcionais e seus graus de discrepância são preservados sob essa elevação.

3. Principais Resultados e Teoremas

Teorema Principal (Teorema 1.1)

Para uma sequência de blow-ups em pontos fechados de $A^N_k$ (onde $k$ é algebricamente fechado de característica $p>0$), existe uma sequência correspondente sobre $\mathbb{C}$ tal que:

1. A redução módulo $p$ da sequência complexa é a sequência original.
2. Os morfismos são blow-ups em pontos fechados correspondentes.
3. Os coeficientes dos divisores excepcionais (discrepâncias relativas $k_{E_i}$) são idênticos.
4. Crucialmente para $N=2$: Para qualquer polinômio $f \in k[x_1, x_2]$, existe um levantamento $\tilde{f} \in \mathbb{C}[x_1, x_2]$ tal que a ordem de vanishing (valorização) em cada divisor excepcional é preservada: $v_{E_i}(f) = v_{\tilde{E}_i}(\tilde{f})$.

Corolários e Aplicações

• Corolário 1.3 (Discrição das Log-Discrepâncias):
  O conjunto de log-discrepâncias para pares $(A, \mathfrak{a}^{\mathbf{e}})$, onde $A$ é uma superfície suave e $\mathfrak{a}$ é um multi-ideal, é um conjunto finito (e portanto discreto) em característica positiva.

  • Significado: Isso prova a conjectura de discrição para superfícies em característica positiva, um resultado que já era conhecido em característica zero. A prova depende da injeção do conjunto de invariantes de $p$ no conjunto de invariantes de 0.

• Corolário 1.4 (Inclusão de Invariantes):
  O artigo estabelece as seguintes inclusões:

  1. O conjunto de Minimal Log Discrepancies (mld) em característica positiva está contido no conjunto de mld em característica zero.
  2. O conjunto de Log Canonical Thresholds (lct) em característica positiva está contido no conjunto de lct em característica zero.
  • Nota: O autor observa que igualdades nessas inclusões foram provadas anteriormente por métodos toricos, mas este trabalho oferece uma prova alternativa e construtiva via elevação.

• Corolário 1.5 (Modelo Complexo de Curvas Planas):
  Aplica-se o método para reconstruir o modelo complexo de Campillo de uma singularidade de curva plana em característica positiva. Isso garante que, para qualquer curva singular em característica $p$, existe uma curva em $\mathbb{C}$ com o mesmo tipo equisingular (mesma sequência de multiplicidades e relações de proximidade nas resoluções).

4. Significado e Contribuições

1. Ponte entre Características: O trabalho fornece uma ferramenta robusta ("esqueletos") para transferir propriedades de singularidades de característica zero para a positiva, pelo menos no caso de superfícies.
2. Resolução de Conjecturas: Prova a discrição do conjunto de log-discrepâncias para superfícies em característica positiva, um passo importante na teoria de singularidades em dimensões baixas fora de característica zero.
3. Limites e Direções Futuras: O autor é honesto sobre as limitações. O Teorema 1.1 (item iv) falha em dimensões $N \ge 3$ para $i \ge 3$ (devido a contraexemplos de Kollár), onde a preservação exata das valorizações de polinômios não é garantida. Isso indica que a teoria para dimensões superiores exigirá uma reformulação, possivelmente focando apenas nos invariantes de singularidade (como lcts) em vez da preservação ponto a ponto de polinômios.
4. Aplicabilidade: O método é construtivo e utiliza a teoria de esquemas de jatos e arcas (jet schemes e arc spaces) implicitamente através da preservação de dados de resolução, conectando a teoria de singularidades clássica com a geometria aritmética.

Conclusão

O artigo de Shihoko Ishii é um trabalho fundamental que utiliza técnicas de elevação de esquemas via "esqueletos" para demonstrar que, no caso de superfícies, a teoria de singularidades em característica positiva é, em muitos aspectos, controlada pela teoria em característica zero. Os resultados confirmam a discrição de invariantes importantes e fornecem uma nova perspectiva para a construção de modelos complexos de curvas singulares em corpos finitos.