2025-11-10T03:06:00.285816

Invariants for $\mathbb G_{(r)}$-modules

Friedlander
We revisit the constructions given by J. Pevtsova and the author of refined invariants for finite dimensional representations of infinitesimal group schemes $\mathbb G_{(r)}$ over a field $k$ of characteristic $p>0$. Our focus is on the universal $p$-nilpotent operator seen as an element in the group algebra of the group scheme $\mathbb G_{(r),X}$ over $X$, where $X$ is either the moduli space $V_r(\mathbb G)$ of height $r$ $1$-parameter subgroups of $\mathbb G$ or the moduli space $\mathcal C_r(\mathcal N_p(\mathfrak g))$ of $r$-tuples of $p$-nilpotent, pair-wise commuting elements of the Lie algebra of $\mathbb G$. We formalize Jordan type function using several variants of the continuous function $JT_{\mathbb G,r,M}(-): \mathbb P V_r(\mathbb G) \to \mathcal Y$ where $\mathcal Y$ is the poset of Young diagrams with $p$-columns. One of these variants is designed to be more conducive to computation. The vector bundle construction given by J. Pevtsova and the author is extended to all finite dimensional $\mathbb G_{(r)}$-modules, producing coherent sheaves on $X$ which are locally free on the strata of $X$ associated to $JT_{\mathbb G,r,M}(-)$.
academic

Invarianti per G(r)\mathbb G_{(r)}-moduli

Informazioni Fondamentali

  • ID Articolo: 2505.08094
  • Titolo: Invarianti per G(r)\mathbb G_{(r)}-moduli
  • Autore: Eric M. Friedlander
  • Classificazione: math.RT (Teoria della Rappresentazione)
  • Data di Pubblicazione: 16 ottobre 2025
  • Link Articolo: https://arxiv.org/abs/2505.08094

Riassunto

Questo articolo riesamina gli invarianti raffinati costruiti precedentemente da J. Pevtsova e dall'autore per le rappresentazioni finite-dimensionali dello schema di gruppo infinitesimale G(r)\mathbb G_{(r)} su un campo kk di caratteristica p>0p>0. L'attenzione principale è rivolta all'operatore pp-nilpotente universale considerato come elemento nell'algebra di gruppo dello schema di gruppo G(r),X\mathbb G_{(r),X} su XX, dove XX è lo spazio dei moduli dei sottogruppi a 1-parametro di altezza rr di G\mathbb G, denotato Vr(G)V_r(\mathbb G), oppure lo spazio dei moduli delle rr-uple di elementi pp-nilpotenti e mutuamente commutativi nell'algebra di Lie di G\mathbb G, denotato Cr(Np(g))\mathcal C_r(\mathcal N_p(\mathfrak g)).

Contesto di Ricerca e Motivazione

Sfondo del Problema

  1. Sviluppo della Teoria del Supporto: L'articolo utilizza metodi e risultati della teoria del supporto per studiare invarianti espliciti dei moduli finite-dimensionali di schemi di gruppo infinitesimali specifici, in contrasto con lavori precedenti che utilizzavano la teoria del supporto per stabilire proprietà categoriche delle rappresentazioni di schemi di gruppo finiti.
  2. Approfondimento della Funzione di Tipo Jordan: L'autore prosegue lo studio della "funzione di tipo Jordan" precedentemente introdotta con J. Pevtsova, che fornisce una mappa continua dallo schema dei punti dei sottogruppi a 1-parametro di altezza rr all'insieme parzialmente ordinato dei diagrammi di Young con pp colonne.
  3. Accessibilità Computazionale: Le funzioni di tipo Jordan esistenti sono computazionalmente complesse, richiedendo lo sviluppo di varianti più facilmente calcolabili.

Motivazione della Ricerca

  1. Invarianti più Raffinati: Rispetto alla teoria del supporto coomologico M↦PH∗(G(r),k)MM \mapsto P_{H^*(G_{(r)},k)}M, la funzione di tipo Jordan M↦JTG,r,M(−)M \mapsto JT_{G,r,M}(-) cattura più informazioni riguardanti il G(r)G_{(r)}-modulo MM.
  2. Trattamento Speciale dei Gruppi Esponenziali: Per i gruppi esponenziali, è possibile descrivere più esplicitamente i sottogruppi a 1-parametro attraverso elementi pp-nilpotenti nell'algebra di Lie, semplificando così i calcoli.

Contributi Principali

  1. Formalizzazione della Funzione di Tipo Jordan: Formalizzazione della funzione di tipo Jordan utilizzando varianti della funzione continua JTG,r,M(−):PVr(G)→YJT_{G,r,M}(-): \mathbb P V_r(\mathbb G) \to \mathcal Y, dove Y\mathcal Y è l'insieme parzialmente ordinato dei diagrammi di Young con pp colonne.
  2. Tipo Jordan Esponenziale Semplificato: Introduzione della funzione di tipo Jordan esponenziale più facilmente calcolabile JTg,r,Mexp⁡(−)JT^{\exp}_{g,r,M}(-), particolarmente adatta agli schemi di gruppo esponenziali.
  3. Estensione della Costruzione di Fibrati Vettoriali: Estensione della precedente costruzione di fibrati vettoriali di Pevtsova e dell'autore a tutti i G(r)G_{(r)}-moduli finite-dimensionali, producendo fasci coerenti localmente liberi sui strati di XX correlati a JTG,r,M(−)JT_{G,r,M}(-).
  4. Correzione dei Risultati di Stabilizzazione: Correzione di un piccolo errore nel lavoro precedente riguardante la stabilizzazione della funzione di tipo Jordan rispetto a rr.

Dettagli Metodologici

Concetti e Definizioni Fondamentali

Definizione del Tipo Jordan

Per un k[t]/tpk[t]/t^p-modulo MM, il suo tipo Jordan a=(a1,…,ap)∈N×pa = (a_1, \ldots, a_p) \in \mathbb{N}^{\times p} è determinato dal numero aia_i di blocchi di Jordan di dimensione ii nella forma normale di Jordan della matrice ρM(t)\rho_M(t).

Operatore pp-nilpotente Universale

Per uno schema di gruppo affine GG e un intero positivo rr, il sottogruppo a 1-parametro universale UG,r:Ga(r),k[Vr(G)]→G(r),k[Vr(G)]U_{G,r}: G_{a(r),k[V_r(G)]} \to G_{(r),k[V_r(G)]} induce l'operatore pp-nilpotente universale ΘG,r=(UG,r)∗(1⊗ur−1)∈k[Vr(G)]⊗kG(r)\Theta_{G,r} = (U_{G,r})_*(1 \otimes u_{r-1}) \in k[V_r(G)] \otimes kG_{(r)}

Schemi di Gruppo Esponenziali

Struttura Esponenziale

Uno schema di gruppo GG dotato di una struttura di esponenziale di altezza rr significa che esiste un morfismo E(r):Ga(r)×Np(g)→G(r)E^{(r)}: G_{a(r)} \times \mathcal{N}_p(g) \to G_{(r)} che soddisfa specifiche condizioni di commutatività e omogeneità.

Operatore Semplificato

Per i gruppi esponenziali, si definisce Θg,rexp⁡=∑s=0r−1Θg,r∣s∈k[Cr(Np(g))]⊗kG(r)\Theta^{\exp}_{g,r} = \sum_{s=0}^{r-1} \Theta_{g,r|s} \in k[C_r(\mathcal{N}_p(g))] \otimes kG_{(r)} che rappresenta una linearizzazione dell'operatore originale Θg,r=∏s=0r−1Θg,r∣s\Theta_{g,r} = \prod_{s=0}^{r-1} \Theta_{g,r|s}.

Continuità della Funzione di Tipo Jordan

Teorema: Per un G(r)G_{(r)}-modulo finite-dimensionale MM, la funzione JTG,r,M(−):SpecA→YJT_{G,r,M}(-): \text{Spec}A \to \mathcal{Y} è continua, dove AA è un'algebra commutativa di Noether su kk.

La dimostrazione si basa sul lemma di Nakayama e sulla semicontinuità inferiore del tipo Jordan.

Innovazioni Tecniche

1. Struttura Geometrica Stratificata

L'articolo stabilisce una struttura stratificata di PVr(G)\mathbb{P}V_r(G), dove ogni strato è determinato dall'insieme di livello della funzione di tipo Jordan: (PVr(G))M,=a={x:JTG,r,M(x)=a}(PV_r(G))_{M,=a} = \{x : JT_{G,r,M}(x) = a\} Questi strati sono insiemi localmente chiusi, formando una stratificazione ordinata secondo l'ordine parziale dei diagrammi di Young.

2. Razionalità della Semplificazione Esponenziale

Un risultato chiave mostra che per lo studio delle varietà di supporto, Θg,r\Theta_{g,r} e Θg,rexp⁡\Theta^{\exp}_{g,r} forniscono le stesse informazioni:

Proposizione: Sia MM un G(r)G_{(r)}-modulo finite-dimensionale e aa il tipo Jordan massimale di MM. Per ogni B∈Cr(Np(g))B \in C_r(\mathcal{N}_p(g)), JT(Θg,r,Bexp⁡,k(B)⊗M)=a  ⟺  JT(Θg,r,B,k(B)⊗M)=aJT(\Theta^{\exp}_{g,r,B}, k(B) \otimes M) = a \iff JT(\Theta_{g,r,B}, k(B) \otimes M) = a

3. Equivalenza Omotopica A1A^1 di Fibrati Vettoriali

Per moduli di tipo Jordan costante, i fibrati vettoriali costruiti utilizzando Θg,r\Theta_{g,r} e Θg,rexp⁡\Theta^{\exp}_{g,r} sono equivalenti in omotopia A1A^1.

Risultati Sperimentali ed Esempi

Esempio 1: Caso di SL2SL_2

Per G=SL2G = SL_2, si consideri il GG-modulo irriducibile M=S(λ0)⊗S(λ1)(1)M = S(\lambda_0) \otimes S(\lambda_1)^{(1)}, dove 0≤λ0,λ1<p0 \leq \lambda_0, \lambda_1 < p.

Calcolando JTsl2,2,Mexp⁡(B)JT^{\exp}_{sl_2,2,M}(B), dove B=(a0E,a1E)B = (a_0E, a_1E) e EE è la matrice nilpotente standard:

  • Se a0≠0,a1=0a_0 \neq 0, a_1 = 0: il tipo Jordan è m⋅[n]m \cdot [n]
  • Se a0=0,a1≠0a_0 = 0, a_1 \neq 0: il tipo Jordan è n⋅[m]n \cdot [m]
  • Se a0,a1a_0, a_1 sono entrambi non nulli: il tipo Jordan è [m]⊗[n][m] \otimes [n]

dove m=λ0+1m = \lambda_0 + 1 e n=λ1+1n = \lambda_1 + 1.

Esempio 2: Rappresentazioni Polinomiali di GLNGL_N

Per la ii-esima torsione di Frobenius V(i)V^{(i)} di una rappresentazione polinomiale di grado <p< p di GLNGL_N: JTglN,r,V(i)exp⁡(B)=JT(Bs,V)JT^{\exp}_{gl_N,r,V^{(i)}}(B) = JT(B_s, V) dove s=r−i−1s = r - i - 1 e B=(B0,…,Br−1)B = (B_0, \ldots, B_{r-1}).

Lavori Correlati

Sviluppo della Teoria del Supporto

  • Collaborazione di Suslin, Bendel e dell'autore che stabilisce la teoria del supporto sostituendo le varietà coomologiche con varietà di sottogruppi a 1-parametro
  • Lavori precedenti di Pevtsova e dell'autore che stabiliscono invarianti raffinati e costruzioni di fibrati vettoriali
  • Lavoro di Carlson sui sottogruppi di traslazione ciclica nell'identificazione delle varietà di supporto dei (Z/p)×r(Z/p)^{\times r}-moduli

Teoria del Tipo Jordan

  • Sviluppo della teoria dei moduli di tipo Jordan costante
  • Categoria esatta di Carlson-Friedlander per moduli di tipo Jordan costante
  • Teorema di realizzazione di Benson-Pevtsova per moduli di tipo Jordan costante e fibrati vettoriali

Conclusioni e Discussione

Conclusioni Principali

  1. Stabilimento di un quadro teorico completo per la funzione di tipo Jordan, includendo continuità, funtorialità e relazioni con le varietà di supporto
  2. Fornitura di una versione semplificata computazionalmente più accessibile per i gruppi esponenziali
  3. Estensione della costruzione di fibrati vettoriali a moduli finite-dimensionali arbitrari, producendo fasci coerenti localmente liberi sui strati stratificati

Limitazioni

  1. La semplificazione esponenziale si applica solo agli schemi di gruppo esponenziali
  2. Per r>1r > 1, la funzione di tipo Jordan raramente commuta con il prodotto tensoriale
  3. Alcuni calcoli rimangono impegnativi, in particolare quelli che coinvolgono il tipo Jordan della somma di più operatori nilpotenti commutativi

Direzioni Future

  1. Studio delle proprietà di stabilizzazione della funzione di tipo Jordan
  2. Sviluppo di metodi computazionali più efficienti
  3. Esplorazione delle connessioni con altri invarianti della geometria algebrica
  4. Studio delle ulteriori proprietà dei fasci coerenti stratificati

Valutazione Approfondita

Punti di Forza

  1. Completezza Teorica: Fornisce un quadro teorico completo per la funzione di tipo Jordan, includendo proprietà fondamentali come continuità e funtorialità
  2. Accessibilità Computazionale: La semplificazione esponenziale rende possibili i calcoli pratici
  3. Intuizioni Geometriche: Stabilisce connessioni profonde tra la teoria della rappresentazione e la geometria algebrica
  4. Innovazione Tecnica: L'estensione della costruzione di fibrati vettoriali e l'istituzione della struttura stratificata

Insufficienze

  1. Limitazione dell'Ambito di Applicabilità: Molti risultati si applicano solo ai gruppi esponenziali
  2. Complessità Computazionale: Nonostante le semplificazioni, alcuni calcoli rimangono difficili
  3. Esempi Relativamente Limitati: Potrebbero essere forniti più esempi di calcoli concreti

Impatto

Questo articolo fornisce strumenti geometrici importanti per la teoria della rappresentazione degli schemi di gruppo infinitesimali, con l'aspettativa di produrre impatti significativi nell'intersezione tra la teoria della rappresentazione dei gruppi algebrici, la geometria algebrica e l'algebra omologica.

Scenari Applicabili

  • Ricerca nella teoria della rappresentazione dei gruppi algebrici
  • Analisi geometrica delle categorie di moduli
  • Applicazioni della teoria del supporto
  • Problemi di classificazione di fibrati vettoriali

Bibliografia

L'articolo cita la letteratura fondamentale del campo, includendo:

  • Lavori di Suslin, Friedlander e Bendel su sottogruppi infinitesimali a 1-parametro e coomologia
  • Ricerca di Friedlander e Pevtsova su π-supporto e varietà di supporto generalizzate
  • Lavori classici di Carlson su varietà di moduli e anelli coomologici
  • Riferimenti standard della geometria algebrica su spazi proiettivi pesati e fasci coerenti