[论文解读] 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

一句话总结

本文在任意特征下完整刻画了 Specht 模在逆 Schur 函子下的像，证明其在除特征 2 外的所有特征下同构于对偶 Weyl 模；在特征 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.

研究动机与目标

• 确定 Specht 模在逆 Schur 函子下的像在任意特征下何时同构于对偶 Weyl 模。
• 为除特征 2 外的所有特征提供同构关系的全新初等证明。
• 分析同构失败时像模的结构，特别是特征 2 的情形。
• 在特征 2 下识别出新的不可约 Specht 模例子。
• 描述低秩情形下像模的合成因子与滤子性质。

提出的方法

• 将 Specht 模的像建模为对称幂的斜对称幂的商，其中关系经修改为 Garnir 关系。
• 利用斜列表和斜 Garnir 关系，构造逆 Schur 函子像的显式实现。
• 基于多表和行/列表的组合方法，分析模的结构。
• 通过维数计数和基构造，确定小规模情形下像模的结构。
• 通过 GLd(K) 在像模上的作用，验证特定情形下的等变性与同构性。
• 通过显式关系与奇偶性论证，在特征 2 下分析到对偶 Weyl 模的满射的核。

实验结果

研究问题

• RQ1 在特征 2 下，Specht 模在逆 Schur 函子下的像何时同构于对偶 Weyl 模？
• RQ2 当特征 2 下同构失败时，像模的结构如何？
• RQ3 在特征 2 下，对固定的 n，随着 d 变化，到对偶 Weyl 模的满射的核的维数如何增长？
• RQ4 在特征 2 下，对 n ≤ 5 的分拆，像模的合成因子是什么？
• RQ5 哪些 Specht 模在特征 2 下是不可约的，能否识别出新的族？

主要发现

• 在除特征 2 外的所有特征下，Specht 模在逆 Schur 函子下的像同构于对偶 Weyl 模。
• 在特征 2 下，同构成立当且仅当分拆是 2-正则，或满足 λ₁ = λ₂ ≥ λ₃ + 2 且去掉第一部分后的分拆是 2-正则。
• 当特征 2 下同构失败时，对偶 Weyl 模仍是像的商模，且核的维数在 d 变化时对固定的 n 有 O(dⁿ⁻¹) 的界。
• 像模不一定要有由对偶 Weyl 模构成的滤子，如例 6.3 中的反例所示。
• 当 d = 1 时，像模对任意长度的分拆都可能非零，而对偶 Weyl 模则不然。
• 在特征 2 下，对所有 n ≤ 5 的分拆，核的合成因子被显式计算，具体重数记录于表 3。