[论文解读] Reductions for branching coefficients

Nicolas Ressayre|arXiv (Cornell University)|Feb 1, 2011

Advanced Algebra and Geometry参考文献 10被引用 14

一句话总结

本论文通过证明当最高权位于 Littelmann-Ramanathan (LR) 锥的正则面时，诱导模中不可约表示的重数可通过 Levi 子群计算，建立了表示理论中分支系数的约化规则。关键结果通过几何不变量理论和 Schubert 代数簇的正规性，推广了 Brion、Derksen-Weyman 和 Roth 的先前工作。

ABSTRACT

Let $G$ be a connected reductive subgroup of a complex connected reductive group $\\hat{G}$. We are interested in the branching problem. Fix maximal tori and Borel subgroups of $G$ and $\\hat G$. Consider the cone $lr(G,\\hat G)$ generated by the pairs $(\ u,\\hat nu)$ of dominant characters such that $V_\ u^*$ is a submodule of $V_{\\hat nu}$. It is known that $lr(G,\\hat G)$ is a closed convex polyhedral cone. In this work, we show that every regular face of $lr(G,\\hat G)$ gives rise to a {\\it reduction rule} for multiplicities. More precisely, we prove that for $(\ u,\\hat nu)$ on such a face, the multiplicity of $V_\ u^*$ in $V_{\\hat nu}$ equal to a similar multiplicity for representations of Levi subgroups of $G$ and $\\hat G$. This generalizes, by different methods, results obtained by Brion, Derksen-Weyman, Roth...

研究动机与目标

• 通过几何与组合方法，推广表示理论中分支系数的现有约化规则。
• 建立 LR 锥的正则面与重数约化规则之间的对应关系。
• 统一并扩展 Brion、Derksen-Weyman 和 Roth 在张量积与分支重数方面的结果。
• 通过旗簇上的不动点理论，提供重数约化的几何证明。
• 证明正则面上的重数包含关系对应于中心化子作用下 Levi 子群中的重数。

提出的方法

• 将 LR 锥 ${\mathcal{L}R}(G,\hat{G})$ 的正则面识别为对应于对 $(S, \hat{w})$ 的配对，其中 $S$ 是 $T$ 的子环面，$\hat{w} \in \hat{W}$，且满足 $\hat{G}^S \cap \hat{w}\hat{B}\hat{w}^{-1} = \hat{B}^S$。
• 利用条件 $\nu|_S + \hat{w}\hat{\nu}|_S = 0$ 在 $X(S) \otimes \mathbb{Q}$ 中刻画正则面的张成空间。
• 在旗簇 $X = G/P \times \hat{G}/\hat{P}$ 上应用几何不变量理论，其中一参数子群 $\lambda$ 作用于 $X$。
• 定义 $X^\lambda$ 的不动点分量 $C$ 与吸引集 $C^+$，其中 $C^+$ 是 $P(\lambda)$-不变且局部闭的。
• 对在 $C$ 上具有平凡 $\lambda$-作用的 $G$-线丛 $\mathcal{L}$，定义限制同构 $H^0(X, \mathcal{L})^G \to H^0(C, \mathcal{L}|_C)^{G^\lambda}$。
• 利用 Schubert 代数簇的正规性，确保整体截面的同构性以及约化过程中的重数保持不变。

实验结果

研究问题

• RQ1 如何将分支系数 $c_{\nu\hat{\nu}}(G,\hat{G})$ 约化为 Levi 子群中的更简重数？
• RQ2 LR 锥上的何种几何或组合条件可确保此类约化有效？
• RQ3 当权位于正则面时，$G$-模在 $\hat{G}$-表示中的重数是否可通过更小的群计算？
• RQ4 Weyl 群作用与环面中心化子在定义约化规则中起何作用？
• RQ5 在不动点分量上 $\lambda$-作用的平凡性如何与重数保持相关？

主要发现

• 对于任意位于 ${\mathcal{L}R}(G,\hat{G})$ 正则面上的配对 $(\nu, \hat{\nu})$，重数 $c_{\nu\hat{\nu}}(G,\hat{G})$ 等于 $c_{\nu,\hat{w}\hat{\nu}}(G^S, \hat{G}^S)$，其中 $S$ 为对应子环面，$\hat{w} \in \hat{W}$。
• 约化规则通过同构 $H^0(X, \mathcal{L})^G \cong H^0(C, \mathcal{L}|_C)^{G^\lambda}$ 证明，其中 $G$-线丛 $\mathcal{L}$ 在不动点分量 $C$ 上具有平凡 $\lambda$-作用。
• 该结果推广了已知情形：当 $G = T \subset \hat{G} = \mathrm{GL}_n$ 时，恢复 [KTT07, 定理 5.8]；当 $\hat{G} = G \times G$ 时，恢复 [DW11] 和 [Rot11] 的张量积重数结果。
• 该证明依赖于 Schubert 代数簇的正规性，从而与 Roth 或 Derksen-Weyman 的方法相区别，后者无需此假设。
• 该方法适用于 Kronecker 系数：当 $\mu^\mathcal{L}(x,\lambda) = 0$ 时，重数 $k_{\alpha\beta\gamma}$ 等于 Littlewood-Richardson 系数 $c_{\bar{\alpha}\bar{\beta}}^{\bar{\gamma}}$。
• 该约化适用于所有约化群，并可推广至 $\hat{G} = G^s$ 的情形，为通过 Levi 子群计算重数提供了统一框架。