[論文レビュー] Stability and periodicity in the modular representation theory of symmetric groups

Nate Harman|arXiv (Cornell University)|Sep 21, 2015

Advanced Algebra and Geometry参考文献 5被引用数 12

ひとこと要約

本稿は、異なる $n$ と $m$ に対する対称群 $S_n$ と $S_m$ のモジュラー表現のアーベル的部分圏の間で、カテゴリー的同値性を確立し、正標数における周期性と安定化現象を明らかにする。主な貢献は、$FI$-加群における構造的結果と結びついたフレームワークの構築であり、$p$-進補間とテンソル圏構成を用いて、正標数におけるデリーニの pre-Tannakian 圏に関する予想を証明することにある。

ABSTRACT

We study asymptotic properties of the modular representation theory of symmetric groups and investigate modular analogs of stabilization phenomena in characteristic zero. The main results are equivalences of categories between certain abelian subcategories of representations of $S_n$ and $S_m$ for different $n$ and $m$. We apply these results to obtain a structural result for $FI$-modules, and to prove a result conjectured by Deligne in a recent letter to Ostrik.

研究の動機と目的

• 対称群のモジュラー表現理論における安定化と周期性のタイプ1理論を、$\underline{\text{Rep}}(S_t)$ におけるデリーニの特徴零補間と類似する形で構築すること。
• 特徴零とは対照的に、正標数では記述的カテゴリー的構造が乏しいという点を是正すること。
• デリーニが提示した、$\mathbb{F}_p$ 上の $S_n$ の表現から構成される pre-Tannakian 圏の同値類における一意性に関する予想を証明すること。
• 正標数におけるカテゴリー的同値性を活用して、$FI$-加群に関する構造的結果を確立すること。
• $GL(n)$、$O(n)$、$Sp(2n)$ などの他の群族に対しても、正標数における補間と安定化技法を拡張する基盤を提供すること。

提案手法

• $p$-進整数の環 $\mathcal{R}$ を用いて、$x$ を $p$-進整数とする $p$-進補間圏 $\text{Rep}_{\mathcal{R}}(S_x)$ を構成する。
• 正標数の体 $k$ に対して、$\text{ev}_t: \mathcal{R} \to k$ という還元写像を定義し、還元圏のカルーブィアン包をとることで、圏 $\underline{\text{Rep}}_k(S_t)$ を得る。
• 安定タブロイドと安定ホモロジー写像を用いて、$\underline{\text{Rep}}_k(S_t)$ にテンソル圏構造を定義し、置換加群理論に基づいた合成則とテンソル則を適応する。
• 十分に大きな $n$ に対して $n \equiv t \pmod{p^\ell}$ を満たすとき、$\underline{\text{Rep}}_k(S_t)^{\leq r}$ の部分圏と $S_n$ の表現の圏との間の同値性を確立し、周期性を保証する。
• $FI$-加群への応用として、$H^i(S_n, V_n)$ のコホモロジー群が $n$ に関して $p$ のべきを周期として周期的になることを示し、ナガパルの結果を一般化する。
• デリーニの超フィルター構成を用いて、補間圏をアーベル的テンソル圏に埋め込み、正標数における pre-Tannakian 構造の研究を可能にする。

実験結果

リサーチクエスチョン

• RQ1 対称群のモジュラー表現理論における安定化と周期性現象は、特徴零のデリーニの補間と類似する形で、正標数におけるカテゴリー的同値性によって形式化可能だろうか？
• RQ2 補間により得られる $\underline{\text{Rep}}_k(S_t)$ は、デリーニの $\underline{\text{Rep}}(S_t)$ と同様の構造的性質（特に普遍性とテンソル構造）を示すだろうか？
• RQ3 正標数において、$\mathbb{F}_p$ 上の $S_n$ の表現から構成される pre-Tannakian 圏は、各 $p$-進整数 $t$ に対して同値を除いて一意的だろうか、というデリーニの予想は正しいだろうか？
• RQ4 これらの周期的カテゴリー的同値性を用いて、$FI$-加群理論を精緻化し、正標数におけるより強い構造定理を導けるだろうか？
• RQ5 ノプの次数に基づく補間の枠組みを正標数に適応可能だろうか？ その場合、$\underline{\text{Rep}}_k(S_t)^{\leq r}$ を回復できるだろうか？

主な発見

• 本稿は、$\ell$ を $r$ の $p$-桁数とするとき、$n \equiv t \pmod{p^\ell}$ を満たす十分に大きなすべての $n$ に対して、$\underline{\text{Rep}}_k(S_t)^{\leq r}$ と $S_n$ の表現の圏との間でカテゴリー的同値性を確立し、$n$ における周期性（$p$ のべきを周期とする）を証明する。
• 有限生成な $FI$-加群 $V_n$ に対するコホモロジー群 $H^i(S_n, V_n)$ が $n$ に関して $p$ のべきを周期として周期的になることが証明され、ナガパルの予想が裏付けられる。
• $\text{Rep}_{\mathcal{R}}(S_x)$ の還元とカルーブィアン包の操作により構成される $\underline{\text{Rep}}_k(S_t)$ は、正標数において well-defined な pre-Tannakian 圏をなしており、デリーニの予想（同値を除いて一意的）を支持する。
• $\underline{\text{Rep}}_k(S_t)^{\leq r}$ が、$n \equiv t \pmod{p^\ell}$ を満たす十分に大きな $n$ に対する $S_n$ の表現の圏と同値であることが示され、対称群全体にわたる安定的周期的構造が実証される。
• 本理論は、$GL(n)$、$O(n)$、$Sp(2n)$ などの他の古典的群族に対しても、類似の構成を用いて補間と安定化を正標数に拡張するための枠組みを提供する。
• 本稿は、ノプの次数に基づく補間を正標数に適合可能にする道筋を特定し、修正された次数写像が $\underline{\text{Rep}}_k(S_t)^{\leq r}$ を回復できる可能性を示唆する。