[论文解读] 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 群进行了完整计算，特别关注其最高权相差一个单根的情形。证明了 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 群。
• 计算标准表示的外幂与任意 Weyl 模之间的 Ext¹，给出其阶的显式公式。
• 通过通用系数定理建立积分表示理论与模表示理论之间的联系。
• 利用积分同调代数方法重新推导并诠释 Andersen 最近关于 GL_n 中相邻 Weyl 模的结果。
• 构建一个组合框架，通过表上的正规化操作与极化技术计算 Ext 群。

提出的方法

• 利用通用系数定理将积分 Ext 群与模 Ext 群联系起来。
• 应用平移原理，将模情形下相邻 Weyl 模的结果推广至更一般情形。
• 在表上应用正规化操作，以处理标准性破坏，并计算符号与系数。
• 通过表片段的极化计算 Ext¹，同时追踪符号变化与乘法因子。
• 利用反变对偶性与共轭对称性，将结果推广至对称幂与对偶 Weyl 模。
• 对分拆中块数的归纳论证，以简化总系数 D_ν 的表达式。

实验结果

研究问题

• RQ1 当 Weyl 模 K_λ 与 K_μ 的最高权相差一个正单根时，它们之间的 Ext 群结构如何？
• RQ2 如何显式计算标准表示外幂与任意 Weyl 模之间的 Ext¹？
• RQ3 本文计算的积分 Ext 群在多大程度上恢复或重新诠释了模表示理论中的已知结果？
• RQ4 表片段的正规化方法能否系统性地用于积分情形下的 Ext 群计算？
• RQ5 模情形下相邻 Weyl 模之间的 Ext¹ 的精确阶是什么？它与积分计算结果有何关联？

主要发现

• 当 μ−λ=α（一个正单根）时，Weyl 模 K_λ 与 K_μ 之间的 Ext¹ 同构于阶为 ⟨λ+ρ, α∨⟩+1 的循环群，且所有高阶 Ext 群均为零。
• 该结果恢复了 Andersen 关于相邻 Weyl 模在 GL_n 情形下的近期结果，并提供了独立的积分证明。
• 外幂 ⋀^k(V) 与任意 Weyl 模 K_λ 之间的 Ext¹ 是循环群，其阶等于依赖于 λ 的显式描述的整数的最大公因数。
• 通过自对偶性与共轭对称性，相同方法可导出对称幂 S^k(V) 与对偶 Weyl 模之间的 Ext¹。
• 在映射 f′′(ι(d′_ν(C_ν))) 的最终表达式中，系数 D_ν 简化为 ℓ₁⋯ℓ_k，其中 ℓ_i 由分拆 ν 定义。
• D_ν = ℓ₁⋯ℓ_k 的归纳证明依赖于对指标集的求和分解，并验证总系数与各块长度乘积一致。