[論文レビュー] The image of the Specht module under the inverse Schur functor in arbitrary characteristic

Eoghan McDowell|arXiv (Cornell University)|Jan 14, 2021

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

ひとこと要約

本稿は、任意の特徴的値において、逆シュール関手によるスペクトモジュールの像を完全に特徴づけ、特徴的値 2 を除くすべての特徴的値で双対ウェイルモジュールと同型であることを証明している。主な貢献は、特徴的値 2 でない場合の同型の新しい初等的証明と、特徴的値 2 における同型の不成立に関する詳細な分析であり、核の上限と像モジュールの明示的記述を含む。

ABSTRACT

This paper gives a necessary and sufficient condition for the image of the Specht module under the inverse Schur functor to be isomorphic to the dual Weyl module in characteristic 2, and gives an elementary proof that this isomorphism holds in all cases in all other characteristics. These results are new in characteristics 2 and 3. We deduce some new examples of indecomposable Specht modules in characteristic 2. When the isomorphism does not hold, the dual Weyl module is still a quotient of the image of the Specht module, and we prove some additional results: we demonstrate that the image need not have a filtration by dual Weyl modules, we bound the dimension of the kernel of the quotient map, and we give some explicit descriptions for particular cases. Our method is to view the Specht and dual Weyl modules as quotients of suitable exterior powers by the Garnir relations.

研究の動機と目的

• 任意の特徴的値において、逆シュール関手によるスペクトモジュールの像が双対ウェイルモジュールと同型となる条件を特定すること。
• 特徴的値 2 を除くすべての特徴的値において、同型の新しい初等的証明を提供すること。
• 同型が不成立となる場合、特に特徴的値 2 における像モジュールの構造を分析すること。
• 特徴的値 2 における非分解的スパクトモジュールの新しい例を特定すること。
• 低ランクの場合の像モジュールの合成因子およびフィルトレーション性質を記述すること。

提案手法

• 修正されたガーニア関係による歪対称冪の商としてスパクトモジュールの像をモデル化すること。
• 歪列タブロイドと歪ガーニア関係を用いて、逆シュール関手像の具体的な実現を構成すること。
• ポリタブロイドと行／列タブロイドに基づく組合せ的アプローチを用いてモジュール構造を分析すること。
• 次元数え上げと基底構成を用いて、小規模な場合の像モジュールの構造を特定すること。
• GLd(K) の像モジュールへの作用を用いて、特定のケースにおける等変性と同型を検証すること。
• 特徴的値 2 における、明示的関係と偶奇性の議論を用いて、双対ウェイルモジュールへの全射の核を分析すること。

実験結果

リサーチクエスチョン

• RQ1 特徴的値 2 において、逆シュール関手によるスパクトモジュールの像が双対ウェイルモジュールと同型となる条件は何か？
• RQ2 特徴的値 2 において同型が不成立となる場合、像モジュールの構造はどのようになるか？
• RQ3 固定された n に対して、特徴的値 2 における双対ウェイルモジュールへの全射の核の次元は、d が変化するにつれてどのように増加するか？
• RQ4 特徴的値 2 において、n ≤ 5 の分割に対する像モジュールの合成因子は何か？
• RQ5 どのスパクトモジュールが特徴的値 2 で非分解的であり、新たな族を特定できるか？

主な発見

• 任意の特徴的値において、逆シュール関手によるスパクトモジュールの像は、特徴的値 2 を除くすべての特徴的値で双対ウェイルモジュールと同型である。
• 特徴的値 2 においては、同型が成り立つための必要十分条件は、分割が 2-正則であること、または λ₁ = λ₂ ≥ λ₃ + 2 かつ最初の部分を除いた分割が 2-正則であることである。
• 特徴的値 2 において同型が不成立となる場合、双対ウェイルモジュールは依然として像の商として得られ、核の次元は固定された n に対して d を変化させると O(dⁿ⁻¹) で有界である。
• 例 6.3 における反例により、像モジュールが双対ウェイルモジュールによるフィルトレーションを必ずしも持たないことが示された。
• d = 1 の場合、双対ウェイルモジュールとは異なり、任意の長さの分割に対して像が非ゼロとなることがある。
• 特徴的値 2 において、すべての n ≤ 5 の分割について、核の合成因子を明示的に計算し、表 3 に特定の重複度を記録した。