[論文レビュー] Quivers for SL(2) tilting modules

Daniel Tubbenhauer, Paul Wedrich|arXiv (Cornell University)|Jul 26, 2019

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

ひとこと要約

この論文は、特徴が正の素数 p である SL(2) の傾きモジュールの圏を提示する、素体 𝔽ₚ 上の矢印と関係を持つクーヴィアを構成する。図式的手法とテンパレー–リーブ計算を用いて、このクーヴィアのパス代数と傾きモジュールの圏との間に代数的同型を確立し、Weyl因子構造と射の空間を p-ジョーンズ–ウェンツル射影子を介して捉える、モノイダル的かつ生成子と関係式による記述を提供する。

ABSTRACT

Using diagrammatic methods, we define a quiver algebra depending on a prime p and show that it is the algebra underlying the category of tilting modules for SL(2) in characteristic p. Along the way we obtain a presentation for morphisms between p-Jones-Wenzl projectors.

研究の動機と目的

• 代数的に閉じた正の特徴 p を持つ体上での SL(2) の傾きモジュールの圏に対する生成子と関係式の提示を提供すること。
• そのパス代数が有限生成射影モジュールの圏として傾きモジュールの圏を実現する、𝔽ₚ 上の矢印と関係を持つクーヴィアを定義すること。
• 図式的手法とテンパレー–リーブ圏を用いて、特に p-ジョーンズ–ウェンツル射影子を介して、傾きモジュール間の射をモデル化すること。
• 明示的な代数的提示を通じて、傾きモジュールの圏にモノイダル構造を確立すること。

提案手法

• 頂点集合は ℕ₀ であり、頂点は最高重み v−1 でラベル付けされ、矢印は v の p-進展開における桁の符号反転に対応する。
• 矢印は 𝒟ᵢ と 𝒰ᵢ として定義され、それぞれ p-進桁構造における下がりとあがりの動きに対応し、関係式は零冪性、遠隔可換性、局所可換性を符号化する。
• クーヴィアのパス代数は、Weyl因子の構造と傾きモジュールにおける射の合成の構造を反映する関係式で商をとる。
• 射は 𝔽ₚ 上の p-ジョーンズ–ウェンツル射影子を用いてモデル化され、標準表現のテンソル冪における Weyl 因子への射影を実現する。
• テンパレー–リーブ計算を用いて標準的および p-射を定義し、ループが自己準同型空間の基底を形成する。
• 代数 Z が、頂点を非分解的傾きモジュールに、パスを射に送る関手 F を通じて、傾きモジュールの圏と同型であることが示される。

実験結果

リサーチクエスチョン

• RQ1 特徴が正の素数 p である SL(2) の傾きモジュールの圏を、クーヴィアを用いた生成子と関係式によってどのように提示できるか？
• RQ2 非分解的傾きモジュール間の射の図式的構造は何か？ そして、それを代数的にどのように捉えることができるか？
• RQ3 最高重みの p-進桁が、Weyl 因子分解とクーヴィア構造にどのように影響を与えるか？
• RQ4 p-ジョーンズ–ウェンツル射影子は、クーヴィア代数における射の実現において果たす役割は何か？
• RQ5 傾きモジュールの圏は、無限大かつフラクタル的な性質を持つクーヴィアのパス代数上の有限生成射影モジュールの圏として実現可能か？

主な発見

• 関手 F が頂点 v−1 における定数パスを T(v−1) のイデムポテンであるものに送ることで、代数 Z が傾きモジュールの圏と同型であることが示され、全射的かつ忠実な実現が達成される。
• クーヴィアは、v の p-進展開における各非ゼロ桁 aᵢ ≠ 0 (i < j) に対して、v−1 から w−1 へ r 本の矢印を持つ。これはその桁の符号反転に対応する。
• T(v−1) に含まれる Weyl 因子の数は 2ʳ であり、r は v の p-進展開における非ゼロ桁の数である。
• 半無限大のリンゲル双対性を通じて、傾きモジュールの圏は Z 上の有限生成射影モジュールの圏と同値である。
• 傾きモジュールの圏における濃度のテンソル的アイデアルは、素数のべきでインデックス付けされ、下降鎖 I_{p⁰} ⊃ I_{p¹} ⊃ I_{p²} ⊃ … を形成する。
• p-ジョーンズ–ウェンツル射影子は、モノイダル構造と p-進桁構造に整合する、傾きモジュール間の射の提示を提供する。