核心概念
本文計算並確定了 $\mathrm{GLn}$ 的某些 Weyl 模組之間的二階擴展群 $\mathrm{Ext^2}$,發現這些群是循環群。
摘要
論文概述
本論文研究了 $\mathrm{GLn}(\mathbb{Z})$ 的某些 Weyl 模組之間的二階擴展群 $\mathrm{Ext^2}$。作者利用投射分解和矩陣表示法,明確計算了這些擴展群,並證明了它們是循環群。
主要結果
對於分區 λ = (a, 1b) 和 µ = (a + 1, b −1),其中 a + 1 > b −1,本文證明了以下結果:
- 當 b = 3 或 b ≥ 6 時,$\mathrm{Ext^2_A(KλF, KµF)}$ 同構於 $\mathbb{Z}_{d_1}$,其中 $d_1$ 是 2 和 a + b 的最大公因數。
- 當 b = 4 時,$\mathrm{Ext^2_A(KλF, KµF)}$ 同構於 $\mathbb{Z}_{d_2}$,其中 $d_2$ 是 6, 2(a+1), 3(a+2) 和 (a+1)(a+2) 的最大公因數。
- 當 b = 5 時,$\mathrm{Ext^2_A(KλF, KµF)}$ 同構於 $\mathbb{Z}_{d_3}$,其中 $d_3$ 是 6, 2(a+2), 3(a+1) 和 (a+1)(a+2) 的最大公因數。
研究方法
本文採用了以下方法來計算擴展群:
- 利用 [9] 中的結果,構造了 Weyl 模組 $KλF$ 的投射分解。
- 將反變函子 $\mathrm{Hom_A(−, KµF)}$ 應用於上述投射分解,得到一個復形。
- 證明了 $\mathrm{Ext^2_A(KλF, KµF)}$ 同構於上述復形中某個映射的上核的扭子模。
- 通過計算矩陣的不變因子,確定了上述扭子模的結構。
結論
本文的主要貢獻是明確計算了 $\mathrm{GLn}(\mathbb{Z})$ 的某些 Weyl 模組之間的二階擴展群。這些結果有助於更深入地理解 $\mathrm{GLn}(\mathbb{Z})$ 的表示理論。
統計資料
λ = (a, 1b)
µ = (a + 1, b −1)
a + 1 > b −1
b ≥ 3