[論文レビュー] Reductions for branching coefficients

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

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

ひとこと要約

この論文は、最高重みがリトルマン＝ラマナサン（LR）錐の正則な面にある場合、誘導加群における既約表現の重複度がレヴィ部分群を介して計算可能であることを示すことにより、表現理論における分岐係数の還元規則を確立する。主な結果は、幾何的不変量理論とシューベルト多様体の正規性を用いて、ブリオン、デルセンク＝ワイマン、ロスの先行研究を一般化するものである。

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錐の正則な面と重複度の還元規則との間の対応を確立すること。
• ブリオン、デルセンク＝ワイマン、ロスによるテンソル積および分岐重複度に関する結果を統合・拡張すること。
• フラッグ多様体上の固定点理論を用いた重複度還元の幾何的証明を提供すること。
• 正則な面上での重複度の包含関係が、中心化作用を通じてレヴィ部分群における重複度に対応することを示すこと。

提案手法

• 正則な面は、トーラス $T$ の部分トーラス $S$ と $\hat{W}$ 内の $\hat{w}$ の対 $(S, \hat{w})$ に一致し、$\hat{G}^S \cap \hat{w}\hat{B}\hat{w}^{-1} = \hat{B}^S$ を満たすことを特定する。
• 体 $X(S) \otimes \mathbb{Q}$ 内で $\nu|_S + \hat{w}\hat{\nu}|_S = 0$ である条件を用いて、正則な面の張る空間を特徴付ける。
• フラッグ多様体 $X = G/P \times \hat{G}/\hat{P}$ に一意パラメータ群 $\lambda$ が作用するように、幾何的不変量理論を適用する。
• 固定点成分 $C$ と吸引集合 $C^+$ を定義する。$C^+$ は $P(\lambda)$-安定で局所的・閉じた部分集合である。
• $G$-線形化されたラインバンドル $\mathcal{L}$ に対して、固定点成分 $C$ 上で $\lambda$-作用が自明であるとき、制限同型 $H^0(X, \mathcal{L})^G \to H^0(C, \mathcal{L}|_C)^{G^\lambda}$ を用いる。
• シューベルト多様体の正規性を活用することで、全体切断の同型と重複度の保存が保証され、還元に適応する。

実験結果

リサーチクエスチョン

• RQ1 LR錐の正則な面上にある任意のペア $(\nu, \hat{\nu})$ に対して、分岐係数 $c_{\nu\hat{\nu}}(G,\hat{G})$ はどのようにしてより単純なレヴィ部分群における重複度に還元できるか？
• RQ2 LR錐におけるこのような還元が有効であるための幾何的または組合的条件は何か？
• RQ3 重みが正則な面上にある場合、$G$-加群の $\hat{G}$-表現における重複度は、より小さい群を介して計算可能か？
• RQ4 ワイル群作用とトーラス中心化作用が還元規則を定義する上で果たす役割は何か？
• RQ5 固定点成分上で $\lambda$-作用が自明であることは、重複度の保存とどのように関係するか？

主な発見

• 任意の正則な面上のペア $(\nu, \hat{\nu})$ に対して、重複度 $c_{\nu\hat{\nu}}(G,\hat{G})$ は、対応する部分トーラス $S$ と $\hat{W}$ 内の $\hat{w}$ を用いて $c_{\nu,\hat{w}\hat{\nu}}(G^S, \hat{G}^S)$ に等しい。
• 還元規則は、固定点成分 $C$ 上で $\lambda$-作用が自明である $G$-線形化されたラインバンドル $\mathcal{L}$ に対して、同型 $H^0(X, \mathcal{L})^G \cong H^0(C, \mathcal{L}|_C)^{G^\lambda}$ を用いて証明される。
• この結果は既知のケースを一般化する：$G = T \subset \hat{G} = \mathrm{GL}_n$ の場合、[KTT07, Theorem 5.8] を回復する。$\hat{G} = G \times G$ の場合、[DW11] および [Rot11] のテンソル積重複度の結果を回復する。
• 証明はシューベルト多様体の正規性に依存しており、ロスやデルセンク＝ワイマンのアプローチとは異なり、この仮定を必要としない。
• この方法はクロネッカー係数にも適用可能である：$\mu^\mathcal{L}(x,\lambda) = 0$ のとき、重複度 $k_{\alpha\beta\gamma}$ はリトルウッド＝リチャードソン係数 $c_{\bar{\alpha}\bar{\beta}}^{\bar{\gamma}}$ に等しい。
• この還元はすべての再帰的群に適用可能であり、$\hat{G} = G^s$ の場合にも拡張可能であり、レヴィ部分群による重複度計算の統一的枠組みを提供する。