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

A continuación presento un resumen técnico detallado del artículo "Liftings of Ideals in Positive Characteristic to Those in Characteristic Zero: Surface Case" de Shihoko Ishii, estructurado según los puntos solicitados.

1. El Problema

El objetivo central del artículo es comparar los invariantes de singularidades de pares formados por variedades suaves y "multi-ideales" (productos de ideales con exponentes reales) en característica positiva ($p > 0$) con sus contrapartes en característica cero.

Específicamente, el autor busca establecer una relación rigurosa entre:

• Las discrepancias logarítmicas ($a(E; A, \mathfrak{a}^{\mathbf{e}})$).
• Las discrepancias logarítmicas mínimas (mld).
• Los umbrales canónicos logarítmicos (lct).

El desafío principal radica en que muchas técnicas potentes de geometría algebraica (como las de resolución de singularidades o el uso de esquemas de jets) funcionan de manera más robusta o son más conocidas en característica cero. En característica positiva, existen fenómenos patológicos (como la falta de resolución de singularidades en dimensiones altas o comportamientos no esperados de las derivadas) que dificultan la transferencia directa de resultados. Además, se sabe que en dimensiones $N \ge 3$, ciertas afirmaciones de levantamiento directo fallan (contraejemplo de Kollár), por lo que el trabajo se centra estrictamente en el caso de superficies ($N=2$).

2. Metodología: El Método de "Esqueletos" (Skeletons)

La innovación metodológica principal del artículo es la introducción y uso sistemático de "esqueletos" para realizar levantamientos (liftings) de objetos de característica positiva a característica cero.

• Definición de Esqueleto: Un subanillo $S \subset R$ (donde $R$ es un álgebra finitamente generada sobre un cuerpo $k$ de característica $p$) se llama esqueleto si es un álgebra finitamente generada sobre $\mathbb{Z}/(p)$ tal que $k[S] = R$.
• Esqueletos Compatibles: Se construye un esqueleto $\tilde{S}$ sobre un cuerpo de característica cero (usualmente $\mathbb{C}$) tal que $\tilde{S}$ es plano sobre $\mathbb{Z}$ en $p$ y $\tilde{S} \otimes_{\mathbb{Z}} \mathbb{Z}/(p) \cong S$. Esto permite definir un morfismo de reducción $\Phi_p: \tilde{S} \to S$.
• Levantamiento de Objetos:
  • Ideales: Un ideal $\tilde{\mathfrak{a}}$ en característica cero es un levantamiento de $\mathfrak{a}$ si sus generadores provienen de $\tilde{S}$ y se reducen a los generadores de $\mathfrak{a}$.
  • Secuencias de Blow-ups: El núcleo de la demostración es construir una secuencia de blow-ups en $\mathbb{A}^2_{\mathbb{C}}$ que sea un levantamiento de una secuencia dada en $\mathbb{A}^2_k$. Esto se hace inductivamente preservando las relaciones de incidencia entre los centros de los blow-ups y las transformadas estrictas de los divisores excepcionales anteriores.
  • Preservación de Invariantes: Se demuestra que, bajo estas construcciones, la altura de los ideales primos, los coeficientes de los divisores canónicos relativos ($k_E$) y los valores de valoración ($v_E(f)$) se preservan o se relacionan de manera controlada.

3. Contribuciones Clave

1. Teorema Principal de Levantamiento (Teorema 1.1): Establece que para cualquier secuencia de blow-ups en puntos cerrados de una superficie afín en característica $p$, existe una secuencia análoga en $\mathbb{C}$ tal que:

   • Las variedades reducidas módulo $p$ coinciden.
   • Los divisores excepcionales tienen el mismo coeficiente de discrepancia ($k_{\tilde{E}_i} = k_{E_i}$).
   • Para cualquier polinomio $f$, existe un levantamiento $\tilde{f}$ tal que la valoración en el divisor excepcional se conserva: $v_{E_i}(f) = v_{\tilde{E}_i}(\tilde{f})$.
   • Nota: El autor aclara que la parte (iv) sobre la preservación exacta de las valoraciones para polinomios es específica de dimensión 2; en dimensión 3 o superior existen contraejemplos (Kollár).

2. Correspondencia de Invariantes: Se demuestra que los invariantes de singularidad en característica positiva están contenidos en los de característica cero. Específicamente, se prueba que el conjunto de mlds y lcts en característica $p$ es un subconjunto de los correspondientes en característica 0.

3. Discreción de Discrepancias: Se prueba que el conjunto de discrepancias logarítmicas para pares de superficies suaves y multi-ideales es discreto (y finito para un umbral fijo), independientemente de la elección del punto o la superficie, extendiendo resultados conocidos de característica cero a la positiva.

4. Modelo Complejo de Curvas Planas: Se ofrece una construcción alternativa del modelo complejo de Campillo para singularidades de curvas planas en característica positiva, utilizando el método de levantamiento por esqueletos en lugar de métodos puramente combinatorios o toricos.

4. Resultados Principales

• Corolario 1.3 (Discreción): El conjunto de discrepancias logarítmicas $\Lambda_{A, \mathbf{e}, a}$ es un conjunto finito y no depende de la elección de la superficie suave $(A, 0)$. Esto implica la existencia de un divisor primo que computa el mld.
• Corolario 1.4 (Contenidos):
  • $\{ \text{mld}(0; A, \mathfrak{a}^{\mathbf{e}}) \mid (A,0) \text{ superficie suave en } k \} \subseteq \{ \text{mld}(0; A_{\mathbb{C}}, \tilde{\mathfrak{a}}^{\mathbf{e}}) \mid (A_{\mathbb{C}},0) \text{ superficie suave en } \mathbb{C} \}$.
  • Lo mismo se cumple para los umbrales canónicos logarítmicos (lct).
  • Esto reproporciona una prueba de resultados previos (obtenidos por métodos tóricos) mediante un enfoque geométrico de levantamiento.
• Corolario 1.5 (Modelo de Campillo): Para cualquier curva plana $C$ definida sobre un cuerpo algebraicamente cerrado de característica $p > 0$, existe una curva levantada $\tilde{C}$ en $\mathbb{A}^2_{\mathbb{C}}$ tal que $(\tilde{C}, 0)$ es un modelo complejo de Campillo de $C$. Esto significa que las resoluciones embebidas de ambas curvas tienen los mismos datos de multiplicidad en cada etapa de los blow-ups sucesivos.

5. Significado e Impacto

El trabajo de Ishii es significativo por varias razones:

• Puente entre Características: Proporciona una herramienta técnica ("esqueletos") que permite transferir problemas de singularidades desde característica positiva (donde a menudo faltan herramientas analíticas o de resolución) hacia característica cero, donde la teoría está más desarrollada.
• Limitación Dimensional Inteligente: Reconoce explícitamente las limitaciones de este método en dimensiones superiores ($N \ge 3$) debido a los contraejemplos de Kollár, enfocándose en resolver el caso de superficies donde la afirmación es verdadera y potente.
• Nuevas Pruebas: Ofrece una demostración alternativa y geométrica de la discreción de los mlds y la contención de los lcts, complementando las pruebas existentes basadas en métodos tóricos.
• Aplicabilidad a Curvas: La conexión con el modelo de Campillo demuestra la utilidad del método para problemas clásicos de clasificación de singularidades de curvas, mostrando que la estructura de equisingularidad puede preservarse al pasar a característica cero mediante este método de levantamiento.

En resumen, el artículo establece un marco riguroso para entender que, al menos en el caso de superficies, la "complejidad" de las singularidades en característica positiva no excede a la de característica cero, y que esta relación puede ser explotada constructivamente mediante la teoría de esqueletos.