[論文レビュー] Categorical diagonalization of full twists

Ben Elias, Matthew Hogancamp|arXiv (Cornell University)|Dec 30, 2017

Algebraic structures and combinatorial models参考文献 6被引用数 16

ひとこと要約

本稿は、有限コクセター群のソルゲル双代数における完全ねじれブレードの圏的対角化を提案し、証明する。これは、圏的対角化の理論を用いて、型Aにおけるヤング射影のカテゴライゼーションを確立する。主な結果は、ホモトピー圏におけるソルゲル双代数の固有対象を用いた、古典的ヤング対称化子の完全なカテゴライゼーションである。

ABSTRACT

We conjecture that the complex of Soergel bimodules associated with the full twist braid is categorically diagonalizable, for any finite Coxeter group. This utilizes the theory of categorical diagonalization introduced earlier by the authors. We prove our conjecture in type $A$, and as a result we obtain a categorification of the Young idempotents.

研究の動機と目的

• 有限コクセター群のソルゲル双代数のホモトピー圏における完全ねじれブレードの圏的対角化を実行する。
• 対称群 $ S_n $ の群代数における古典的ヤング射影のカテゴライゼーションを提供する。
• 圏的対角化の理論を、完全ねじれとその固有対象の文脈である型Aに拡張する。
• 対称群の表現論とソルゲル双代数におけるルーアイェル複体の構造との間の関係を確立する。
• 完全ねじれ複体が、標準ヤング表に対応する固有対象を持つ同時に対角化可能な作用素として作用することを示す。

提案手法

• 文献[EH17]で開発された圏的対角化の理論を用い、ソルゲル双代数のホモトピー圏における完全ねじれルーイェル複体を分析する。
• 相対セル理論と固有写像の構成を適用し、型Aにおける標準ヤング表に対応する固有対象を同定する。
• 漸近的ヘッケ代数と完全ねじれの固有値を用いて、対角化に必要なスペクトルデータを特定する。
• 完全ねじれ複体からその固有対象への固有写像を構成し、圏的対角化に必要な性質を満たすことを示す。
• 分岐則とYJM要素を用いて、固有値を標準ヤング表の内容番号に関連付ける。
• 固有対象が、ヤング射影の完全なカテゴライゼーションに必要な直交性および冪等性条件を満たすことを検証する。

実験結果

リサーチクエスチョン

• RQ1 任意の有限コクセター群に対して、ソルゲル双代数における完全ねじれブレードは圏的に対角化可能か？
• RQ2 型Aにおける完全ねじれ複体は、標準ヤング表によってインデックス付けられた固有対象への分解を有するか？
• RQ3 群代数 $ \mathbb{Q}[S_n] $ における古典的ヤング射影は、完全ねじれ複体の固有対象への射影としてカテゴライズ可能か？
• RQ4 ソルゲル双代数のホモトピー圏における完全ねじれのスペクトルデータ（固有値と固有写像）は何か？
• RQ5 完全ねじれの固有対象は、対称群の表現論および分岐則とどのように関係するか？

主な発見

• 型Aにおける完全ねじれ複体は、標準ヤング表によってインデックス付けられた固有対象を持つ圏的対角化が可能である。
• 固有対象上の完全ねじれの固有値は、関連する標準ヤング表の箱の内容番号に対応する。
• 相対セル理論とルーイェル複体の構造を用いて、完全ねじれ複体から固有対象への固有写像を明示的に構成した。
• ヤング射影のカテゴライゼーションは、固有対象への射影として達成され、それらがホモトピー圏における直和成分として実現される。
• 完全ねじれ複体は、固有対象上で相異なる固有値を持つ同時に対角化可能な作用素として作用し、完全な分解が保証される。
• 構成により、$ \mathbf{K}_T \otimes B_{P,Q} \simeq 0 $（$ P \ntrianglerighteq T $ のとき）および $ B_{P,Q} \otimes \mathbf{K}_T \simeq 0 $（$ Q \ntrianglerighteq T $ のとき）が成り立つことが確認され、固有対象の直交性が検証された。