Smoothness of stabilisers in generic characteristic

Resumo Técnico: Suavidade dos Estabilizadores em Característica Genérica

Enunciado do Problema
O artigo aborda a suavidade dos estabilizadores (centralizadores e normalizadores) para ações de grupos algébricos em característica positiva. Embora seja bem estabelecido que, para grupos redutivos split atuando sobre si mesmos ou suas álgebras de Lie, os centralizadores de elementos são suaves para primos "muito bons", esses resultados frequentemente dependem de classificações específicas ou hipóteses restritivas. Os autores visam generalizar essas descobertas para esquemas de grupos afins arbitrariamente finitamente apresentados $G$ atuando sobre esquemas separados $X$ de tipo finito sobre um anel comutativo unitário $R$. Especificamente, buscam provar que existe um primo limite $p_0$ tal que, para qualquer corpo algebricamente fechado $k$ de característica $p \ge p_0$, o centralizador de qualquer subesquema fechado $Y \subseteq X_k$ é suave. Eles também investigam o normalizador de $Y$, observando que o limite para o normalizador pode depender de $Y$, enquanto o limite para o centralizador depende apenas da complexidade da ação.

Metodologia
Os autores empregam uma combinação inovadora de teoria de modelos de primeira ordem e geometria algébrica computacional, especificamente:

1. O Princípio de Lefschetz: Eles utilizam uma versão do Princípio de Lefschetz da teoria de modelos, que afirma que uma sentença de primeira ordem verdadeira em corpos algebricamente fechados de característica 0 também é verdadeira em corpos algebricamente fechados de característica positiva suficientemente grande.
2. Técnicas de Base de Gröbner: Para aplicar o Princípio de Lefschetz, os autores devem expressar propriedades geométricas (como suavidade e pertinência a ideais) como sentenças de primeira ordem na linguagem dos anéis ($L_{ring}$). Eles alcançam isso quantificando sobre bases de Gröbner de grau limitado.
3. Medidas de Complexidade: Os autores introduzem noções precisas de "complexidade" para esquemas, morfismos e ações de grupos. Isso envolve limitar os graus dos polinômios que definem ideais, os graus dos mapas nos comorfismos e os graus dos mapas estruturais nas álgebras de Hopf (comultiplicação, antípoda, counidade).
   • Eles definem bases de Gröbner $d$-limitadas e mostram que propriedades como ser uma base de Gröbner, a dimensão de um esquema e a pertinência a ideais podem ser codificadas por fórmulas de primeira ordem com um número de variáveis livres dependendo apenas do limite $d$.
   • Eles introduzem complexidade-$G$ e complexidade-$(G, \Delta)$ para limitar a interação entre a ação do grupo e os subesquemas.

Principais Contribuições e Resultados
O artigo estabelece os seguintes teoremas principais:

• Teorema 1.1 (Centralizadores Suaves): Seja $G$ um grupo $R$-algébrico e $X$ um esquema $G$-separado de tipo finito sobre $R$. Existe um primo $p_0$ tal que, para qualquer corpo $R$-k de característica $p \ge p_0$, o centralizador $C_{G_k}(Y)$ é suave para todo subesquema fechado $Y \subseteq X_k$. Crucialmente, $p_0$ depende apenas da complexidade de $G$ e $X$, não do subesquema específico $Y$.
• Teorema 1.2 (Normalizadores Suaves): Sejam $G$ e $X$ como acima, e seja $Y$ um subesquema fechado específico de $X$. Existe um primo $p_1$ (dependendo de $Y$) tal que, para $p \ge p_1$, o normalizador $N_{G_k}(Y_k)$ é suave. Os autores observam que a dependência de $p_1$ em relação a $Y$ é necessária e não pode ser removida no caso geral.
• Corolário 1.3 (Módulos): Para um módulo $G$-projetivo finitamente gerado $V$, existe um primo $p_V$ tal que, para $p \ge p_V$, os centralizadores e normalizadores de qualquer subespaço $k$-subespaço $W \subseteq V_k$ são suaves.
• Teorema 5.2 (Kostant-Kirillov-Souriau Modular): Os autores aplicam seus resultados principais à geometria simplética. Eles provam que, para um grupo algébrico $G$ sobre um corpo algebricamente fechado de característica suficientemente grande $p$, o teorema de Kostant-Kirillov-Souriau (KKS) vale: o dual da álgebra de Lie $\mathfrak{g}^*$ decompõe-se em uma união disjunta de variedades simpléticas, onde cada variedade é uma órbita coadjunta. Isso depende do fato de que, para $p$ grande, os estabilizadores de pontos em $\mathfrak{g}^*$ são suaves, garantindo a separabilidade do mapa de órbita.

Significado e Escopo
O artigo afirma ser o primeiro a realizar com sucesso o programa sugerido por Schoutens (2000) de usar o Princípio de Lefschetz combinado com bases de Gröbner para resolver problemas específicos em geometria algébrica relativos à suavidade genérica.

• Generalidade: Os resultados se estendem além do caso afim para variedades quasi-projetivas e outros esquemas de tipo finito. Eles se aplicam a grupos algébricos arbitrários sobre anéis, não apenas a grupos redutivos split sobre corpos.
• Uniformidade: Uma descoberta significativa é que o limite para a suavidade dos centralizadores é uniforme em todos os subesquemas fechados de uma dada complexidade, enquanto os normalizadores exigem um limite dependente do subesquema específico.
• Limitações: Os autores observam explicitamente que os resultados falham sem limites de complexidade. Eles fornecem contraexemplos onde a ação não é de complexidade limitada (por exemplo, envolvendo torções de Frobenius ou uniões disjuntas infinitas de módulos) onde os estabilizadores permanecem não suaves independentemente da característica.
• Aplicação: A principal aplicação demonstrada é a extensão do teorema KKS para grandes características positivas, fornecendo uma decomposição estrutural da variedade de Poisson $\mathfrak{g}^*$ em órbitas coadjuntas simpléticas, um resultado que geralmente falha em pequenas características devido a mapas de órbita não separáveis.

O artigo não propõe novas aplicações experimentais ou direções de pesquisa futuras além das implicações matemáticas imediatas desses teoremas estruturais. Sua contribuição reside em estabelecer uma estrutura robusta para transferir propriedades de suavidade da característica 0 para grandes características positivas por meio de métodos algébricos model-teóricos e algorítmicos.