Invariantes para módulos $\mathbb G_{(r)}$

Información Básica

• ID del Artículo: 2505.08094
• Título: Invariantes para módulos $\mathbb G_{(r)}$
• Autor: Eric M. Friedlander
• Clasificación: math.RT (Teoría de Representaciones)
• Fecha de Publicación: 16 de octubre de 2025
• Enlace del Artículo: https://arxiv.org/abs/2505.08094

Resumen

Este artículo revisa los invariantes refinados construidos previamente por J. Pevtsova y el autor para representaciones de dimensión finita del esquema de grupo infinitesimal $\mathbb G_{(r)}$ sobre un cuerpo $k$ de característica $p>0$. El enfoque principal es considerar el operador $p$-nilpotente universal como un elemento en el álgebra de grupo del esquema de grupo $\mathbb G_{(r),X}$ sobre $X$, donde $X$ es el espacio de móduli $V_r(\mathbb G)$ de subgrupos de 1-parámetro de altura $r$ de $\mathbb G$, o el espacio de móduli $\mathcal C_r(\mathcal N_p(\mathfrak g))$ de $r$-tuplas de elementos $p$-nilpotentes conmutativos por pares en el álgebra de Lie de $\mathbb G$.

Contexto de Investigación y Motivación

Antecedentes del Problema

1. Desarrollo de la Teoría de Soportes: El artículo utiliza métodos y resultados de la teoría de soportes para estudiar invariantes explícitos de módulos de dimensión finita de esquemas de grupos infinitesimales específicos, en contraste con trabajos anteriores que utilizaban la teoría de soportes para establecer propiedades categóricas de representaciones de esquemas de grupos finitos.
2. Investigación Profunda de la Función de Tipo Jordan: El autor continúa investigando la "función de tipo Jordan" introducida previamente con J. Pevtsova, que proporciona una aplicación continua desde puntos de esquema de subgrupos de 1-parámetro de altura $r$ hasta el conjunto parcialmente ordenado de diagramas de Young con $p$ columnas.
3. Accesibilidad Computacional: Las funciones de tipo Jordan existentes son computacionalmente complejas, lo que requiere desarrollar variantes más fáciles de calcular.

Motivación de la Investigación

1. Invariantes más Refinados: En comparación con la teoría de soportes cohomológicos $M \mapsto P_{H^*(G_{(r)},k)}M$, la función de tipo Jordan $M \mapsto JT_{G,r,M}(-)$ captura más información sobre el módulo $G_{(r)}$-módulo $M$.
2. Tratamiento Especial de Grupos Exponenciales: Para grupos exponenciales, los subgrupos de 1-parámetro pueden describirse más explícitamente mediante elementos $p$-nilpotentes en el álgebra de Lie, simplificando así los cálculos.

Contribuciones Principales

1. Formalización de la Función de Tipo Jordan: Se formalizan múltiples variantes de la función de tipo Jordan utilizando funciones continuas $JT_{G,r,M}(-): \mathbb P V_r(\mathbb G) \to \mathcal Y$, donde $\mathcal Y$ es el conjunto parcialmente ordenado de diagramas de Young con $p$ columnas.
2. Tipo Jordan Exponencial Simplificado: Se introduce la función de tipo Jordan exponencial $JT^{\exp}_{g,r,M}(-)$ más fácil de calcular, particularmente adecuada para esquemas de grupos exponenciales.
3. Extensión de la Construcción de Haces Vectoriales: Se extiende la construcción de haces vectoriales previa de Pevtsova y el autor a todos los módulos $G_{(r)}$ de dimensión finita, produciendo haces coherentes localmente libres sobre las capas de $X$ relacionadas con $JT_{G,r,M}(-)$.
4. Corrección de Resultados de Estabilización: Se corrige un pequeño error en trabajos anteriores respecto a la estabilización de la función de tipo Jordan relativa a $r$.

Detalle de Métodos

Conceptos y Definiciones Básicos

Definición del Tipo Jordan

Para un módulo $k[t]/t^p$, su tipo Jordan $a = (a_1, \ldots, a_p) \in \mathbb{N}^{\times p}$ se determina por el número $a_i$ de bloques de Jordan de tamaño $i$ en la forma normal de Jordan de la matriz $\rho_M(t)$.

Operador $p$-nilpotente Universal

Para un esquema de grupo afín $G$ y un entero positivo $r$, el subgrupo de 1-parámetro universal $U_{G,r}: G_{a(r),k[V_r(G)]} \to G_{(r),k[V_r(G)]}$ induce el operador $p$-nilpotente universal $\Theta_{G,r} = (U_{G,r})_*(1 \otimes u_{r-1}) \in k[V_r(G)] \otimes kG_{(r)}$

Esquemas de Grupos Exponenciales

Estructura Exponencial

Un esquema de grupo $G$ equipado con una estructura exponencial de altura $r$ significa que existe un morfismo $E^{(r)}: G_{a(r)} \times \mathcal{N}_p(g) \to G_{(r)}$ que satisface condiciones específicas de conmutatividad y homogeneidad.

Operador Simplificado

Para grupos exponenciales, se define $\Theta^{\exp}_{g,r} = \sum_{s=0}^{r-1} \Theta_{g,r|s} \in k[C_r(\mathcal{N}_p(g))] \otimes kG_{(r)}$ que es una linealización del operador original $\Theta_{g,r} = \prod_{s=0}^{r-1} \Theta_{g,r|s}$.

Continuidad de la Función de Tipo Jordan

Teorema: Para un módulo $G_{(r)}$ de dimensión finita $M$, la función $JT_{G,r,M}(-): \text{Spec}A \to \mathcal{Y}$ es continua, donde $A$ es un álgebra $k$-conmutativa Noetheriana.

La demostración se basa en el lema de Nakayama y la semicontinuidad inferior del tipo Jordan.

Puntos de Innovación Técnica

1. Estructura Geométrica Estratificada

El artículo establece una estructura estratificada de $\mathbb{P}V_r(G)$, donde cada estrato se determina por los conjuntos de nivel de la función de tipo Jordan: $(PV_r(G))_{M,=a} = \{x : JT_{G,r,M}(x) = a\}$ Estos estratos son conjuntos localmente cerrados que forman una estratificación ordenada por el orden parcial de diagramas de Young.

2. Justificación de la Simplificación Exponencial

Un resultado clave muestra que para el estudio de variedades de soporte, $\Theta_{g,r}$ y $\Theta^{\exp}_{g,r}$ proporcionan la misma información:

Proposición: Sea $M$ un módulo $G_{(r)}$ de dimensión finita y $a$ el tipo Jordan máximo de $M$. Para cualquier $B \in C_r(\mathcal{N}_p(g))$, $JT(\Theta^{\exp}_{g,r,B}, k(B) \otimes M) = a \iff JT(\Theta_{g,r,B}, k(B) \otimes M) = a$

3. Equivalencia $A^1$-Homotópica de Haces Vectoriales

Para módulos de tipo Jordan constante, los haces vectoriales construidos usando $\Theta_{g,r}$ y $\Theta^{\exp}_{g,r}$ son equivalentes en $A^1$-homotopía.

Resultados Experimentales y Ejemplos

Ejemplo 1: El Caso de $SL_2$

Para $G = SL_2$, considérese el módulo $G$ irreducible $M = S(\lambda_0) \otimes S(\lambda_1)^{(1)}$, donde $0 \leq \lambda_0, \lambda_1 < p$.

Al calcular $JT^{\exp}_{sl_2,2,M}(B)$, donde $B = (a_0E, a_1E)$ y $E$ es la matriz nilpotente estándar:

• Si $a_0 \neq 0, a_1 = 0$: el tipo Jordan es $m \cdot [n]$
• Si $a_0 = 0, a_1 \neq 0$: el tipo Jordan es $n \cdot [m]$
• Si $a_0, a_1$ son ambos distintos de cero: el tipo Jordan es $[m] \otimes [n]$

donde $m = \lambda_0 + 1$, $n = \lambda_1 + 1$.

Ejemplo 2: Representaciones Polinomiales de $GL_N$

Para la $i$-ésima torsión de Frobenius $V^{(i)}$ de una representación polinomial de grado $< p$ de $GL_N$: $JT^{\exp}_{gl_N,r,V^{(i)}}(B) = JT(B_s, V)$ donde $s = r - i - 1$, $B = (B_0, \ldots, B_{r-1})$.

Trabajo Relacionado

Desarrollo de la Teoría de Soportes

• Colaboración de Suslin, Bendel y el autor que establece la teoría de soportes reemplazando variedades cohomológicas por variedades de subgrupos de 1-parámetro
• Trabajo previo de Pevtsova y el autor que establece invariantes refinados y construcciones de haces vectoriales
• Trabajo de Carlson sobre desplazamientos cíclicos de subgrupos en la identificación de variedades de soporte de módulos $(Z/p)^{\times r}$

Teoría del Tipo Jordan

• Desarrollo de la teoría de módulos de tipo Jordan constante
• Categorías exactas de módulos de tipo Jordan constante de Carlson-Friedlander
• Teorema de realización de módulos de tipo Jordan constante y haces vectoriales de Benson-Pevtsova

Conclusiones y Discusión

Conclusiones Principales

1. Se establece un marco teórico completo para la función de tipo Jordan, incluyendo continuidad, funcionalidad y relación con variedades de soporte
2. Se proporciona una versión simplificada computacionalmente más manejable para grupos exponenciales
3. Se extiende la construcción de haces vectoriales a módulos arbitrarios de dimensión finita, produciendo haces coherentes localmente libres sobre estratos

Limitaciones

1. La simplificación exponencial solo se aplica a esquemas de grupos exponenciales
2. Para $r > 1$, la función de tipo Jordan rara vez conmuta con el producto tensorial
3. Ciertos cálculos siguen siendo desafiantes, particularmente aquellos que involucran sumas de múltiples operadores nilpotentes conmutativos

Direcciones Futuras

1. Investigar propiedades de estabilización de la función de tipo Jordan
2. Desarrollar métodos computacionales más efectivos
3. Explorar conexiones con otros invariantes en geometría algebraica
4. Investigar propiedades adicionales de haces coherentes estratificados

Evaluación Profunda

Fortalezas

1. Completitud Teórica: Proporciona un marco teórico completo para la función de tipo Jordan, incluyendo propiedades fundamentales como continuidad y funcionalidad
2. Accesibilidad Computacional: La simplificación exponencial hace posible el cálculo práctico
3. Perspectiva Geométrica: Establece conexiones profundas entre teoría de representaciones y geometría algebraica
4. Innovación Técnica: La extensión de la construcción de haces vectoriales y el establecimiento de la estructura estratificada

Deficiencias

1. Limitaciones de Aplicabilidad: Muchos resultados solo se aplican a grupos exponenciales
2. Complejidad Computacional: A pesar de las simplificaciones, ciertos cálculos siguen siendo difíciles
3. Ejemplos Relativamente Escasos: Podrían proporcionarse más ejemplos de cálculos concretos

Impacto

Este artículo proporciona herramientas geométricas importantes para la teoría de representaciones de esquemas de grupos infinitesimales, con la expectativa de producir un impacto significativo en la intersección de teoría de representaciones de grupos algebraicos, geometría algebraica y álgebra homológica.

Escenarios de Aplicación

• Investigación en teoría de representaciones de grupos algebraicos
• Análisis geométrico de categorías de módulos
• Aplicaciones de la teoría de variedades de soporte
• Problemas de clasificación de haces vectoriales

Referencias

El artículo cita literatura fundamental del campo, incluyendo:

• Trabajo de Suslin, Friedlander y Bendel sobre subgrupos de 1-parámetro infinitesimales y cohomología
• Investigación de Friedlander y Pevtsova sobre π-soportes y variedades de soporte generalizadas
• Trabajo clásico de Carlson sobre variedades de módulos y anillos cohomológicos
• Referencias estándar en geometría algebraica sobre espacios proyectivos ponderados y haces coherentes