[论文解读] Branching rules for Hecke Algebras of Type $D_{n}$

Jun Hu|ArXiv.org|Dec 9, 2005

Algebraic structures and combinatorial models参考文献 11被引用 4

一句话总结

本文为型 $D_n$ 的 Hecke 代数建立了明确的分支规则，通过利用型 $B_n$ Hecke 代数的已知结果，证明了任一不可约表示在限制到型 $D_{n-1}$ 子代数时均为无重数分解。其主要贡献在于使用组合分支模式，完全描述了此类限制的 socle 分解。

ABSTRACT

In this paper we study the branching problems for Hecke algebra $\H(D_n)$ of type $D_n$. We explicitly describe the decompositions of the socle of the restriction of each irreducible $\H(D_n)$-representation to $\H(D_{n-1})$ into irreducible modules by using the corresponding results for type $B$ Hecke algebras. In particular, we show that any such restrictions are always multiplicity free.

研究动机与目标

• 确定 Hecke 代数 $\mathcal{H}(D_n)$ 的不可约表示在限制到 $\mathcal{H}(D_{n-1})$ 时的分解方式。
• 建立这些限制始终为无重数分解，推广已知的型 $B_n$ Hecke 代数结果。
• 通过 $\mathcal{H}(B_n)$ 的结构，提供受限表示 socle 的显式组合描述。
• 通过自同构和格理论的应用，扩展对型 $D_n$ Weyl 群及 Hecke 代数表示理论的理解。

提出的方法

• 本文利用 $\mathcal{H}(D_n)$ 嵌入为 $\mathcal{H}(B_n)$ 的子代数，其生成元为 $T_u = T_0T_1T_0$ 与 $T_1, \dots, T_{n-1}$。
• 应用已知的 $\mathcal{H}(B_n)$ 分支规则，特别是 Specht 模及其关于根形式的商模的分解。
• 使用 $\mathcal{H}(B_n)$ 上的对合 $\sigma$，其固定 $\mathcal{H}(D_n)$，从而将 $\mathcal{H}(D_n)$ 的表示与 $\mathcal{H}(B_n)$ 的表示关联起来。
• 通过双分量分量上的优势序，分析 $\widetilde{S}^\lambda$ 及其商模 $\widetilde{D}^\lambda$ 的结构，研究受限表示 socle 的分解。
• 在离散赋值环上使用格论技术，证明 $\widetilde{D}_{\mathcal{O}}^\lambda$ 是纯 $\mathcal{O}$-子模，从而确保模 $\mathfrak{p}$ 约化的一致性。
• 证明依赖于格向量空间中分解映射的比较，并利用 $\sigma$-不变格在约化下保持合成因子的事实。

实验结果

研究问题

• RQ1 Hecke 代数 $\mathcal{H}(D_n)$ 的不可约表示在限制到 $\mathcal{H}(D_{n-1})$ 时如何分解？
• RQ2 Hecke 代数 $\mathcal{H}(D_n)$ 的不可约模限制到 $\mathcal{H}(D_{n-1})$ 是否总是无重数分解？
• RQ3 能否从已知的 $\mathcal{H}(B_n)$ 分支规则推导出 $\mathcal{H}(D_n)$ 的分支规则？
• RQ4 自同构 $\sigma$ 在 $\mathcal{H}(D_n)$-模约化过程中起什么作用以保持结构？
• RQ5 $\widetilde{D}^\lambda$ 的合成因子在模素理想约化下如何表现？这对分支规则有何含义？

主要发现

• 通过与 $\mathcal{H}(B_n)$ 分支规则的比较，已确立任一不可约 $\mathcal{H}(D_n)$-模限制到 $\mathcal{H}(D_{n-1})$ 均为无重数分解。
• 不可约 $\mathcal{H}(D_n)$-模限制的 socle 分解为不可约 $\mathcal{H}(D_{n-1})$-模的直和，且无重复因子。
• 分解模式完全由 $\mathcal{H}(B_n)$ 中的对应分支决定，利用嵌入关系 $\mathcal{H}(D_n) \subset \mathcal{H}(B_n)$。
• $\mathcal{H}(B_n)$ 上的对合 $\sigma$ 保持 $\mathcal{H}(D_n)$ 不变，其作用确保 $\sigma$-不变格在约化过程中的一致性。
• $\mathcal{O}$-格 $\widetilde{D}_{\mathcal{O}}^\lambda$ 是 $\widetilde{S}_{\mathcal{O}}^\lambda$ 的纯 $\mathcal{O}$-子模，这意味着它是直和项，从而保证模 $\mathfrak{p}$ 约化行为良好。
• $\widetilde{D}_F^{\operatorname{H}_F(\lambda)}$ 的合成因子与 $\widetilde{D}_{\mathcal{O}}^{\operatorname{H}_{\mathbb{C}}(\lambda)} \otimes_{\mathcal{O}} F$ 的合成因子一致，确认了 $\operatorname{H}_F(\lambda) = \operatorname{H}_{\mathbb{C}}(\lambda)$。