[論文レビュー] On the Ext groups between Weyl modules for GL_n

Upendra Kulkarni|ArXiv.org|May 18, 2005

Advanced Algebra and Geometry参考文献 26被引用数 5

ひとこと要約

本稿は、GL_n におけるWeyl加群のExt群を整数環上ですべて完全に決定する。特に、それらの最高重量が1つの根の差を持つ場合に焦点を当てる。Ext¹は⟨λ+ρ, α∨⟩+1の位数の巡回群であり、すべての高階Ext群は消える。さらに、普遍係数定理と移動原理を用いて、これらの結果をモジュラーおよびp進設定に拡張する。

ABSTRACT

This paper studies extension groups between certain Weyl modules for the algebraic group GL_n over the integers. Main results include: (1) A complete determination of Ext groups between Weyl modules whose highest weights differ by a single root and (2) Determination of Ext^1 between an exterior power of the defining representation and any Weyl module. The significance of these results for modular representation theory of GL_n is discussed in several Remarks. Notably the first result leads to a calculation of Ext groups between neighboring Weyl modules for GL_n and also recovers the GL_n case of a recent result of Andersen. Some generalities about Ext groups between Weyl modules and a brief overview of known results about these groups are also included.

研究の動機と目的

• GL_n における整数環上でのWeyl加群間のExt群を決定すること。特に、それらの最高重量が1つの正根の差を持つ場合に注目する。
• 標準表現の外冪と任意のWeyl加群間のExt¹を計算し、その位数を明示的な公式で与えること。
• 普遍係数定理を用いて、整数表現論とモジュラー表現論の間の関係を確立すること。
• 最近のアンドersenによる隣接するWeyl加群に関する結果を、整数的ホモロジー代数を用いて再解釈し、再確認すること。
• 表に直線化操作と極化技術を用いた、Ext群を計算する組合せ的枠組みを提供すること。

提案手法

• 普遍係数定理を用いて、整数Ext群とモジュラーExt群を関連付けること。
• 移動原理を適用して、モジュラー設定における隣接するWeyl加群から得られた結果を拡張すること。
• 表に直線化操作を用いて、標準性の違反を解消し、符号と係数を計算すること。
• 表の断片の極化を用いてExt¹を計算し、符号の変化と乗法的係数を追跡すること。
• 対変換双対性と共役対称性を用いて、結果を対称冪と双対Weyl加群へ拡張すること。
• 分割のブロック数に関する帰納的議論を用いて、全係数 D_ν の式を単純化すること。

実験結果

リサーチクエスチョン

• RQ1 最高重量が1つの正根の差を持つGL_nのWeyl加群間のExt群の構造は何か？
• RQ2 標準表現の外冪 ⋀^k(V) と任意のWeyl加群間のExt¹は、どのように明示的に計算できるか？
• RQ3 ここで計算された整数Ext群は、モジュラー表現論における既知の結果をどの程度回復または再解釈できるか？
• RQ4 表の断片の直線化法を、整数設定におけるExt群計算に体系的かつ系統的に用いることができるか？
• RQ5 モジュラー設定における隣接するWeyl加群間のExt¹の正確な位数は何か？また、整数計算とどのように関係するか？

主な発見

• 最高重量が μ−λ=α（正根）であるWeyl加群 K_λ と K_μ 間のExt¹は、⟨λ+ρ, α∨⟩+1の位数の巡回群であり、すべての高階Ext群は消える。
• この結果は、アンドersenによる隣接するWeyl加群に関する最近の結果のGL_nの場合を回復し、独立的な整数的証明を提供する。
• 外冪 ⋀^k(V) と任意のWeyl加群 K_λ 間のExt¹は巡回群であり、その位数はλに依存する明示的な整数の最大公約数に等しい。
• 双対性と共役対称性により、同じ手法を用いて対称冪 S^k(V) と双対Weyl加群間のExt¹も得られる。
• 写像 f′′(ι(d′_ν(C_ν))) の最終式における係数 D_ν は、ℓ₁⋯ℓ_k に単純化される。ここで ℓ_i は分割 ν に基づいて定義される。
• D_ν = ℓ₁⋯ℓ_k の帰納的証明は、インデックス集合の和を分解し、全係数がブロック長の積と一致することを確認することで成り立つ。