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

$\mathbb G_{(r)}$ -加群の不変量

基本情報

論文ID: 2505.08094
タイトル: Invariants for $\mathbb G_{(r)}$ -modules
著者: Eric M. Friedlander
分類: math.RT（表現論）
発表日時: 2025年10月16日
論文リンク: https://arxiv.org/abs/2505.08094

要約

本論文は、J. Pevtsovaと著者が以前構成した、特性 $p>0$ の体 $k$ 上の無限小群スキーム $\mathbb G_{(r)}$ の有限次元表現に対する精密不変量を再検討する。研究の焦点は、通用 $p$ -冪零作用素を群スキーム $\mathbb G_{(r),X}$ の群代数における元素として扱うことであり、ここで $X$ は $\mathbb G$ の高さ $r$ の1-パラメータ部分群のモジュライ空間 $V_r(\mathbb G)$ 、または $\mathbb G$ のリー代数における $p$ -冪零で相互可換な元素の $r$ -組のモジュライ空間 $\mathcal C_r(\mathcal N_p(\mathfrak g))$ である。

研究背景と動機

問題背景

支持理論の発展：本論文は支持理論の方法と結果を利用して、特定のカテゴリーの無限小群スキームの有限次元加群の明示的不変量を研究する。これは、支持理論を用いて有限群スキーム表現のカテゴリーの性質を確立する以前の研究と対比される。
Jordan型関数の深化研究：著者はJ. Pevtsovaと共に以前導入した「Jordan型関数」をさらに研究する。この関数は、高さ $r$ の1-パラメータ部分群を表現するスキーム点から、 $p$ 列を持つYoung図の偏順序集合への連続写像を提供する。
計算可能性：既存のJordan型関数は計算上複雑であり、より計算しやすい変種の開発が必要である。

研究動機

より精密な不変量：上同調支持理論 $M \mapsto P_{H^*(G_{(r)},k)}M$ と比較して、Jordan型関数 $M \mapsto JT_{G,r,M}(-)$ は $G_{(r)}$ -加群 $M$ に関するより多くの情報を捉えることができる。
指数型群の特別な扱い：指数型群の場合、リー代数における $p$ -冪零元素を通じて1-パラメータ部分群をより明示的に記述できるため、計算が簡略化される。

核心的貢献

Jordan型関数の形式化：連続関数 $JT_{G,r,M}(-): \mathbb P V_r(\mathbb G) \to \mathcal Y$ の複数の変種を用いてJordan型関数を形式化する。ここで $\mathcal Y$ は $p$ 列を持つYoung図の偏順序集合である。
簡略化された指数Jordan型：より計算しやすい指数Jordan型関数 $JT^{\exp}_{g,r,M}(-)$ を導入する。これは特に指数型群スキームに適用可能である。
ベクトル束構成の拡張：Pevtsovaと著者による以前のベクトル束構成をすべての有限次元 $G_{(r)}$ -加群に拡張し、 $JT_{G,r,M}(-)$ に関連する $X$ 層上で局所自由な連接層を生成する。
安定化結果の修正：Jordan型関数の $r$ に関する安定化についての以前の研究における小さな誤りを修正する。

方法の詳細

基本概念と定義

Jordan型の定義

$k[t]/t^p$ -加群 $M$ に対して、そのJordan型 $a = (a_1, \ldots, a_p) \in \mathbb{N}^{\times p}$ は、行列 $\rho_M(t)$ のJordan標準形における大きさ $i$ のJordanブロック数 $a_i$ によって決定される。

通用 $p$ -冪零作用素

アフィン群スキーム $G$ と正整数 $r$ に対して、通用1-パラメータ部分群 $U_{G,r}: G_{a(r),k[V_r(G)]} \to G_{(r),k[V_r(G)]}$ は通用 $p$ -冪零作用素を誘導する： $\Theta_{G,r} = (U_{G,r})_*(1 \otimes u_{r-1}) \in k[V_r(G)] \otimes kG_{(r)}$

指数型群スキーム

指数構造

群スキーム $G$ が高さ $r$ の指数化構造を備えるとは、以下の射が存在することを意味する： $E^{(r)}: G_{a(r)} \times \mathcal{N}_p(g) \to G_{(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)}$ これは元の作用素 $\Theta_{g,r} = \prod_{s=0}^{r-1} \Theta_{g,r|s}$ の線形化である。

Jordan型関数の連続性

定理：有限次元 $G_{(r)}$ -加群 $M$ に対して、関数 $JT_{G,r,M}(-): \text{Spec}A \to \mathcal{Y}$ は連続である。ここで $A$ はNoether可換 $k$ -代数である。

証明はNakayamaの補題とJordan型の下半連続性に基づく。

技術的革新点

1. 層状幾何構造

論文は $\mathbb{P}V_r(G)$ の層状構造を確立する。各層はJordan型関数の水準集合によって決定される： $(PV_r(G))_{M,=a} = \{x : JT_{G,r,M}(x) = a\}$ これらの層は局所閉集合であり、Young図の偏順序に従って層状化される。

2. 指数簡略化の正当性

支持多様体の研究に対して、 $\Theta_{g,r}$ と $\Theta^{\exp}_{g,r}$ が同じ情報を与えることを示す重要な結果：

命題： $M$ を有限次元 $G_{(r)}$ -加群、 $a$ を $M$ の最大Jordan型とする。任意の $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$