Singularities in any Characteristic

Resumen Técnico: Singularidades de Hipersuperficies en Cualquier Característica
En memoria de Wolfgang Ebeling
Autor: Gert-Martin Greuel

1. Planteamiento del Problema

La teoría de singularidades de espacios analíticos complejos y gérmenes está bien establecida en la literatura. Sin embargo, el estudio de singularidades de variedades algebraicas y series de potencias formales definidas sobre un cuerpo de característica arbitraria (especialmente característica positiva) ha permanecido menos explorado y presenta diferencias fundamentales con el caso complejo.

El problema central abordado en este trabajo es la generalización de las definiciones fundamentales, invariantes y resultados de clasificación de singularidades de hipersuperficies desde el caso clásico (series convergentes sobre $\mathbb{C}$) a un marco más amplio: series de potencias convergentes sobre un cuerpo valorado real $K$ de cualquier característica ($p \ge 0$). Un desafío específico es que muchos resultados clásicos, como la invariancia del número de Milnor bajo equivalencia de contacto o los límites de determinación finita, fallan o requieren pruebas radicalmente diferentes en característica positiva.

2. Metodología

El autor emplea un enfoque unificado que combina el análisis complejo clásico con la teoría de series formales, utilizando herramientas de geometría algebraica y análisis no estándar. Los pilares metodológicos son:

• Cuerpos Valorados Reales: Se trabaja sobre un cuerpo $K$ con una valoración real $|\cdot|$. Esto permite tratar simultáneamente series convergentes ($K\{x\}$) y series formales ($K[[x]]$), abarcando casos como $\mathbb{R}$, $\mathbb{C}$, cuerpos $p$-ádicos ($\mathbb{Q}_p$) y campos de series de Laurent.
• Teorema de Aproximación de Grauert: Se utiliza este teorema fundamental para demostrar la existencia de deformaciones semiuniversales para singularidades aisladas en $K\{x\}$. Esto es crucial para evitar la distinción entre el caso formal y el convergente, permitiendo extender resultados de $K[[x]]$ a $K\{x\}$.
• Principio de Lefschetz: Se aplica para transferir resultados conocidos sobre $\mathbb{C}$ a cuerpos de característica cero que son valorados reales, demostrando que ciertas propiedades (como la invariancia del número de Milnor bajo contacto) se mantienen.
• Lema de Descomposición (Splitting Lemma): Se proporciona una prueba completa y simplificada del lema de descomposición para cualquier característica, el cual separa una serie en una parte cuadrática y una parte residual.
• Álgebras de Tjurina y Milnor de Orden Superior: Para superar las fallas del teorema de Mather-Yau en característica positiva, se introducen y utilizan álgebras de orden superior ($T_k(f)$ y $M_k(f)$) para caracterizar la equivalencia.

3. Contribuciones Clave y Resultados Principales

A. Invariantes y Determinación Finita (Sección 1)

• Generalización de Invariantes: Se definen el número de Milnor ($\mu$) y el número de Tjurina ($\tau$) para series en $K\{x\}$.
• Invariancia en Característica Cero: Se demuestra que en característica cero, $\mu(f)$ es invariante bajo equivalencia de contacto (no solo bajo equivalencia derecha), extendiendo un resultado clásico de $\mathbb{C}$.
• Fallo en Característica Positiva: Se muestra explícitamente que en característica $p > 0$, $\mu(f)$ no es invariante bajo equivalencia de contacto, y que $\mu(f) < \infty$ no implica necesariamente $\tau(f) < \infty$ (y viceversa).
• Límites de Determinación Finita: Se establecen nuevos límites superiores para la determinación finita (derecha y de contacto) en característica arbitraria. Se prueba que si $m^{k+2} \subseteq m^2 \cdot j(f)$, entonces $f$ es $(2k - \text{ord}(f) + 2)$-determinado. Estos límites son más estrictos y dependen de la característica.
• Teorema de Mather-Yau Generalizado: Se prueba que para $f, g \in K\{x\}$, la equivalencia de contacto (o derecha) se caracteriza por la isomorfía de las álgebras de Tjurina (o Milnor) de orden suficientemente alto ($k \ge 2\tau(f)$ o $k \ge 2\mu(f)$), corrigiendo el fallo del teorema clásico en característica positiva.

B. Deformaciones y Lema de Descomposición (Sección 2)

• Existencia de Deformación Semiuniversal: Se prueba la existencia de una deformación semiuniversal para singularidades aisladas en $K\{x\}$ utilizando el teorema de aproximación de Grauert.
• Lema de Descomposición (Splitting Lemma): Se demuestra que cualquier serie $f \in m^2$ se puede descomponer (salvo cambio de coordenadas) como la suma de una parte cuadrática (dependiendo de un subconjunto de variables) y una parte residual (de orden $\ge 3$) que depende de las variables restantes. La unicidad de la parte residual se establece rigurosamente tanto para característica $\neq 2$ como para característica $2$.

C. Clasificación de Singularidades Simples (Secciones 3 y 4)

La clasificación de singularidades "simples" (sin módulos) es el núcleo de la aplicación de la teoría.

• Equivalencia de Contacto (Sección 3):

  • En característica 0, las singularidades simples son las clásicas series ADE ($A_k, D_k, E_6, E_7, E_8$).
  • En característica positiva, la lista se expande. Además de las formas ADE clásicas, aparecen nuevas formas normales (denotadas con superíndices como $E^1_6, E^2_8$, etc.) que dependen de la característica $p$. Por ejemplo, en característica 3 o 5, aparecen formas adicionales para $E_6, E_7, E_8$.
  • Se caracterizan las singularidades no aisladas $A_\infty$ y $D_\infty$ como límites naturales de las familias $A_k$ y $D_k$.

• Equivalencia Derecha (Sección 4):

  • Diferencia Fundamental: A diferencia del caso complejo donde las clasificaciones de contacto y derecha coinciden para singulares simples, en característica positiva son radicalmente diferentes.
  • Finitud: Para un $p > 0$ fijo, solo existen finitas clases de singularidades simples bajo equivalencia derecha.
  • Casos Específicos:
    • Si $p=2$ y $n$ es par, la única singularidad simple es $A_1$ (forma $x_1x_2 + \dots + x_{n-1}x_n$). Si $n$ es impar, no existen singularidades simples.
    • Si $p > 2$, las formas simples son subconjuntos restringidos de las formas ADE, donde los índices están acotados por $p$ (ej. $A_k$ solo para $k \le p-2$).
  • Conjetura: El autor propone que si una secuencia de singularidades aisladas tiene números de Milnor que tienden a infinito, su "modalidad derecha" (número de parámetros en la familia de órbitas) también tiende a infinito, lo que contrasta con el caso de característica cero donde existen infinitas singularidades simples.

4. Significado e Impacto

Este trabajo es significativo por varias razones:

1. Unificación Teórica: Proporciona un marco coherente que abarca desde el análisis complejo clásico hasta la geometría algebraica en característica positiva y campos no arquimedianos, eliminando la necesidad de tratar estos casos por separado.
2. Corrección de Suposiciones: Demuestra que resultados intuitivos del caso complejo (como la invariancia de $\mu$ bajo contacto o la coincidencia de clasificaciones derecha/contacto) no se generalizan automáticamente, requiriendo nuevas herramientas y límites.
3. Nuevos Resultados de Clasificación: Ofrece la primera clasificación completa y detallada de singularidades simples bajo equivalencia derecha en característica positiva, revelando una estructura mucho más rígida (finitud de clases) que en el caso complejo.
4. Herramientas Computacionales: El uso de procedimientos como highcorner en el sistema Singular para calcular límites de determinación conecta la teoría abstracta con la computación práctica en álgebra conmutativa.
5. Homenaje: El trabajo sirve como un tributo a Wolfgang Ebeling, integrando años de discusiones matemáticas y colaboraciones previas del autor con él.

En resumen, el artículo establece las bases fundamentales para el estudio moderno de singularidades en cualquier característica, resolviendo problemas abiertos sobre la determinación finita y la clasificación, y abriendo nuevas direcciones de investigación sobre la relación entre el número de Milnor y la modality en característica positiva.