[論文レビュー] Dualit\\'e de Koszul formelle et th\\'eorie des repr\\'esentations des groupes alg\\'ebriques r\\'eductifs en caract\\'eristique positive

Pramod N. Achar, Simon Riche|arXiv (Cornell University)|Jul 23, 2018

Advanced Algebra and Geometry被引用数 6

ひとこと要約

この論文は、正標数における再帰的代数群の傾き表現の特性式を証明する包括的枠組みとして、形式的コシュール双対性の概念を導入する。古典的コシュール双対性とリングエル双対性に類似した構造を公理化することで、（コシュール環が存在しない状況でも）代数的双対性を確立し、導来圏間の同値性を支配する。これにより、パリティ層と特異的 t-構造を用いた、長年の特性式に関する予想が証明される。

ABSTRACT

In this survey paper, we present the broad outlines of the proof of a character formula for tilting representations of reductive algebraic groups in positive characteristic, obtained partly in collaboration with several other authors. A unifying theme for a number of steps of this proof is the notion of "formal Koszul duality." We explain this notion and discuss some applications. ----- Dans cet article nous pr\\'esentons les grandes lignes de la preuve d'une formule de caract\\`eres pour les repr\\'esentations basculantes des groupes alg\\'ebriques r\\'eductifs sur un corps de caract\\'eristique positive, obtenue partiellement en collaboration avec plusieurs auteurs. Nous unissons les diff\\'erentes \\'etapes de cette preuve dans la notion de "dualit\\'e de Koszul formelle", et en pr\\'esentons quelques applications.

研究の動機と目的

• モジュラー表現理論における散在するカテゴリカル同値性を、一つの概念的枠組みで統一すること。
• 正標数における再帰的群の傾きモジュールの特性式に関する予想を解消すること。
• コシュール環が存在しない状況でも、古典的コシュール双対性を一般化するため、形式的コシュール双対性を導入すること。
• クasi-ヘレディタリーな設定におけるリングエル双対性とコシュール双対性の相互作用を捉える形式的双対性を確立すること。
• 正標数におけるパリティ層、特異的 t-構造、および傾きモジュールの整合性を構造的に説明すること。

提案手法

• コシュール環が存在しない状況でも、古典的コシュール双対性とリングエル双対性の性質を模倣するカテゴリカル同値性として、形式的コシュール双対性の概念を導入すること。
• 階数付きクasi-ヘレディタリー代数とその傾きモジュールを用いて、双対性を定義および分析すること。
• アフィングラスマンニアン上の G-不変な perverse 層のカテゴリに、特異的 t-構造を用いて形式的双対性を適用すること。
• パリティ層とその性質を用いて、正標数における双対性の構築と検証を行うこと。
• 形式的双対性がクasi-ヘレディタリーな設定においてリングエル双対性と可換であり、導来圏において自己双対構造を導くこと。
• ビリノフ–ジンブルグ–ゾルゲルおよびゾルゲルの複素数的設定におけるコシュール双対性の結果を、正標数の状況に応用すること。

実験結果

リサーチクエスチョン

• RQ1 古典的コシュール双対性は、コシュール環が存在しない状況においてどのように一般化できるか？
• RQ2 正標数における傾きモジュール、パリティ層、特異的 t-構造の整合性を裏付けるカテゴリカル構造は何か？
• RQ3 形式的コシュール双対性は、再帰的群のモジュラー表現理論における既知の同値性を統一できるか？
• RQ4 傾きモジュールの文脈における形式的コシュール双対性において、リングエル双対性の役割は何か？
• RQ5 形式的双対性は、正標数における傾き表現の特性式をどのように説明するか？

主な発見

• この論文は、コシュール環が存在しない状況でも適用可能な、古典的コシュール双対性およびリングエル双対性を一般化する形式的双対性を確立する。
• 形式的双対性は、パリティ層と特異的 t-構造に由来する導来同値性を統一する概念的枠組みを提供する。
• 再帰的代数群の傾きモジュールの特性式が、正標数において証明され、ウィリアムソンとリシュの予想が裏付けられる。
• クasi-ヘレディタリーな設定において、形式的双対性はリングエル双対性と可換であり、導来圏において自己双対構造を生じる。
• 幾何的表現論を用いて、$p$-正規基底の性質と傾き表現の特性との関係を説明する。
• 結果はアフィングラスマンニアンに適用され、ミルコビッチ–ヴィロネンの予想（パリティ層と傾きモジュールに関する）を支持する。