[論文レビュー] Deligne categories as limits in rank and characteristic

Nate Harman|arXiv (Cornell University)|Jan 13, 2016

Advanced Algebra and Geometry参考文献 8被引用数 18

ひとこと要約

本稿は、特徴量が0の状態におけるデリーニの圏 $\underline{Rep}(GL_t)^{ab}$ と $\underline{Rep}(S_t)^{ab}$ と、大きなランクおよび大きな特徴量における対称群および一般線形群のモジュラー表現理論との間で、新たな接続を確立する。非主な超フィルターを用いた超積を通じて、これらのデリーニの圏が $\overline{\mathbb{F}}_p$ 上の表現の系列の極限として現れることを示し、複素ランクと正の特徴量の設定の間で結果の移行を可能にする。

ABSTRACT

We give new interpretations of the Deligne categories $\underline{Rep}(GL_t)$ and $\underline{Rep}(S_t)$ (and their abelian envelopes) over $\mathbb{C}$ in terms of modular representations of general linear and symmetric groups of large rank in large characteristic. In particular we make sense of the sentence "$\underline{Rep}(S_n)$ is the limit of $Rep(S_{p+n})$ over $\bar{\mathbb{F}}_p$ as $p$ goes to infinity". We then give examples of how to pass results between these different settings.

研究の動機と目的

• 特徴量が0の状態におけるデリーニのアーベルテンソル圏 $\underline{Rep}(GL_t)^{ab}$ と $\underline{Rep}(S_t)^{ab}$ を、$\overline{\mathbb{F}}_p$ 上のモジュラー表現圏の極限として再解釈すること。
• ランクおよび特徴量が増大する際の表現圏の漸近的挙動を捉えるために、超積と超フィルターを用いた厳密な枠組みを確立すること。
• 大きな特徴量におけるモジュラー表現理論の結果を、複素ランクにおけるデリーニの圏に移行可能にする。
• 正の特徴量における類似物を通じて、デリーニ圏における単純代数および標準モジュールの構造について新たな視点を提供すること。

提案手法

• 非主な超フィルターを用いて、$G_n = GL_n$ または $S_n$ に対する表現圏 $\mathrm{Rep}(G_n, \overline{\mathbb{F}}_p)$ の系列の超積を構成する。
• 超積圏 $\widehat{\mathcal{C}}_\mathcal{U}$ を、超フィルター下での系列のジェルムとしての対象と射としての極限圏として定義する。
• 正則表現によって生成される取り扱いやすい部分圏 $\mathcal{C}_\mathcal{U}$ に制限することで、デリーニの圏と同値であることを保証する。
• 超積構成を用いて、$\underline{Rep}(S_t)^{ab}$ が $p \to \infty$ のとき $\mathrm{Rep}(S_{p+n}, \overline{\mathbb{F}}_p)$ の極限であることを示す。
• デリーニ圏における標準モジュールと非可約モジュールの重複度の同値性を応用し、正の特徴量とスーパー群表現理論との関係を結ぶ。
• 安定化されたカックモジュールの重複度を介して、$\mathfrak{gl}(n+m|m)$ における許容可能な重みと $\mathrm{Rep}(GL_{n+p}, \overline{\mathbb{F}}_p)$ における最高重みの間の対応を確立する。

実験結果

リサーチクエスチョン

• RQ1 複素ランクにおけるデリーニの圏を、大きな特徴量におけるモジュラー表現圏の極限としてどのように解釈できるか？
• RQ2 超フィルターが、ランクと特徴量が増大する際の表現圏の漸近的挙動を捉えるカテゴリカル極限を構築する際に果たす正確な役割は何か？
• RQ3 大きなランクおよび特徴量におけるモジュラー表現理論の結果を、複素ランクにおけるデリーニの圏に移行可能か？
• RQ4 $\mathrm{Rep}(GL_{n+p}, \overline{\mathbb{F}}_p)$ における標準モジュールと非可約モジュールの構造は、スーパー群表現 $\mathrm{Rep}(GL(n+m|m))$ におけるそれらとどのように関係するか？
• RQ5 安定化されたカックモジュールの重複度が、デリーニのアーベル包の文脈で果たす意義は何か？

主な発見

• 超越的 $t$ に対するアーベル包 $\underline{Rep}(S_t)^{ab}$ は、$p \to \infty$ のとき $\mathrm{Rep}(S_{p+n}, \overline{\mathbb{F}}_p)$ の超積極限と同型であり、デリーニの圏の新たな実現を与える。
• 固定された二重分割 $\lambda, \mu$ に対して、$\mathrm{Rep}(GL(n+m|m))$ における重複度 $[K(\lambda), L(\mu)]$ は $m \to \infty$ で安定化し、十分に大きな $p$ に対して $\mathrm{Rep}(GL_{n+p}, \overline{\mathbb{F}}_p)$ における重複度 $[\Delta(\lambda), L(\mu)]$ と一致する。
• 超積構成により、$\underline{Rep}(GL_n)^{ab}$ と同値な圏が得られ、このデリーニ圏が大きな特徴量におけるモジュラー表現の極限として現れることを示す。
• この理論により、$\underline{Rep}(S_t)^{ab}$ における単純な可換代数の特徴付けが可能となり、エティンコフの $\mathbb{C}$ 上の分類を代数的閉体を用いた大きな特徴量へ拡張する。
• 安定化されたカックモジュールの重複度を介して、モジュラー表現とスーパー群表現の間の対応が形式化され、正の特徴量とスーパー群表現理論が結びつけられる。
• 本稿は、デリーニ圏とモジュラー表現理論の間での結果移行のための枠組みを提供し、対称群の非可約モジュラー表現に対する明示的な公式を例示する。