Smoothness of stabilisers in generic characteristic

Resumen Técnico: Suavidad de Estabilizadores en Característica Genérica

Enunciado del Problema
El artículo aborda la suavidad de los estabilizadores (centralizadores y normalizadores) para acciones de grupos algebraicos en característica positiva. Si bien está bien establecido que, para grupos reductivos divididos que actúan sobre sí mismos o sobre sus álgebras de Lie, los centralizadores de elementos son suaves para primos "muy buenos", estos resultados a menudo dependen de clasificaciones específicas o hipótesis restrictivas. Los autores buscan generalizar estos hallazgos a esquemas de grupos afines arbitrarios finitamente presentados $G$ que actúan sobre esquemas separados $X$ de tipo finito sobre un anillo conmutativo unitario $R$. Específicamente, buscan demostrar que existe un primo umbral $p_0$ tal que, para cualquier cuerpo algebraicamente cerrado $k$ de característica $p \ge p_0$, el centralizador de cualquier subesquema cerrado $Y \subseteq X_k$ es suave. También investigan el normalizador de $Y$, señalando que el límite para el normalizador puede depender de $Y$, mientras que el límite para el centralizador depende únicamente de la complejidad de la acción.

Metodología
Los autores emplean una combinación novedosa de teoría de modelos de primer orden y geometría algebraica computacional, específicamente:

1. El Principio de Lefschetz: Utilizan una versión del principio de Lefschetz de la teoría de modelos, que afirma que una sentencia de primer orden verdadera en cuerpos algebraicamente cerrados de característica 0 también es verdadera en cuerpos algebraicamente cerrados de característica positiva suficientemente grande.
2. Técnicas de Bases de Gröbner: Para aplicar el principio de Lefschetz, los autores deben expresar propiedades geométricas (como la suavidad y la pertenencia a ideales) como sentencias de primer orden en el lenguaje de los anillos ($L_{ring}$). Lo logran cuantificando sobre bases de Gröbner de grado acotado.
3. Medidas de Complejidad: Los autores introducen nociones precisas de "complejidad" para esquemas, morfismos y acciones de grupos. Esto implica acotar los grados de los polinomios que definen ideales, los grados de los mapas en comorfismos y los grados de los mapas de estructura en álgebras de Hopf (comultiplicación, antípoda, counidad).
   • Definen bases de Gröbner $d$-acotadas y muestran que propiedades como ser una base de Gröbner, la dimensión de un esquema y la pertenencia a un ideal pueden codificarse mediante fórmulas de primer orden con un número de variables libres que depende únicamente del límite $d$.
   • Introducen la $G$-complejidad y la $(G, \Delta)$-complejidad para acotar la interacción entre la acción del grupo y los subesquemas.

Contribuciones y Resultados Clave
El artículo establece los siguientes teoremas principales:

• Teorema 1.1 (Centralizadores Suaves): Sea $G$ un grupo $R$-algebraico y $X$ un esquema $G$-separado de tipo finito sobre $R$. Existe un primo $p_0$ tal que, para cualquier cuerpo $R$-cuerpo $k$ de característica $p \ge p_0$, el centralizador $C_{G_k}(Y)$ es suave para todo subesquema cerrado $Y \subseteq X_k$. Crucialmente, $p_0$ depende únicamente de la complejidad de $G$ y $X$, no del subesquema específico $Y$.
• Teorema 1.2 (Normalizadores Suaves): Sean $G$ y $X$ como arriba, y sea $Y$ un subesquema cerrado específico de $X$. Existe un primo $p_1$ (dependiente de $Y$) tal que, para $p \ge p_1$, el normalizador $N_{G_k}(Y_k)$ es suave. Los autores señalan que la dependencia de $p_1$ respecto a $Y$ es necesaria y no puede eliminarse en el caso general.
• Corolario 1.3 (Módulos): Para un módulo $G$ proyectivo finitamente generado $V$, existe un primo $p_V$ tal que, para $p \ge p_V$, los centralizadores y normalizadores de cualquier subespacio $k$-lineal $W \subseteq V_k$ son suaves.
• Teorema 5.2 (Kostant-Kirillov-Souriau Modular): Los autores aplican sus resultados principales a la geometría simpléctica. Demuestran que, para un grupo algebraico $G$ sobre un cuerpo algebraicamente cerrado de característica suficientemente grande $p$, vale el teorema de Kostant-Kirillov-Souriau (KKS): el dual del álgebra de Lie $\mathfrak{g}^*$ se descompone en una unión disjunta de variedades simplécticas, donde cada variedad es una órbita coadjunta. Esto se basa en el hecho de que, para $p$ grande, los estabilizadores de puntos en $\mathfrak{g}^*$ son suaves, garantizando la separabilidad del mapa de órbita.

Significado y Alcance
El artículo afirma ser el primero en llevar a cabo con éxito el programa sugerido por Schoutens (2000) de utilizar el principio de Lefschetz combinado con bases de Gröbner para resolver problemas específicos en geometría algebraica relacionados con la suavidad genérica.

• Generalidad: Los resultados se extienden más allá del caso afín a variedades cuasi-proyectivas y otros esquemas de tipo finito. Se aplican a grupos algebraicos arbitrarios sobre anillos, no solo a grupos reductivos divididos sobre cuerpos.
• Uniformidad: Un hallazgo significativo es que el límite para la suavidad de los centralizadores es uniforme en todos los subesquemas cerrados de una complejidad dada, mientras que los normalizadores requieren un límite dependiente del subesquema específico.
• Limitaciones: Los autores señalan explícitamente que los resultados fallan sin límites de complejidad. Proporcionan contraejemplos donde la acción no es de complejidad acotada (por ejemplo, involucrando torsiones de Frobenius o uniones disjuntas infinitas de módulos) donde los estabilizadores permanecen no suaves independientemente de la característica.
• Aplicación: La aplicación principal demostrada es la extensión del teorema KKS a características positivas grandes, proporcionando una descomposición estructural de la variedad de Poisson $\mathfrak{g}^*$ en órbitas coadjuntas simplécticas, un resultado que generalmente falla en características pequeñas debido a mapas de órbita no separables.

El artículo no propone nuevas aplicaciones experimentales ni direcciones de investigación futura más allá de las implicaciones matemáticas inmediatas de estos teoremas estructurales. Su contribución radica en establecer un marco robusto para transferir propiedades de suavidad desde la característica 0 hacia características positivas grandes mediante métodos algebraicos model-teóricos y algorítmicos.