[論文レビュー] A path model for geodesics in Euclidean buildings and its applications to representation theory

Michael Kapovich, John J. Millson|ArXiv.org|Nov 8, 2004

Computational Geometry and Mesh Generation参考文献 5被引用数 8

ひとこと要約

本稿は、非アーチメデス的体上の代数群 $G=\underline{G}(\mathbb{K})$ に関連するユークリッド型ビルディング $X$ の測地線を射影した、ウェイル・チャネル内における折れ線的パス（ヘッケパス）を導入し、複素再帰的リー群におけるテンソル積の重複度の幾何的モデルを提供する。重複度がスケーリングされたレベル $N$ で非ゼロであるならば、根系から導かれる飽和係数 $k_R$ を用いて $k_R^2$ レベルでも非ゼロであることを示す飽和定理を証明しており、これは $A_l$ 型に限らないKnutson-Taoの飽和定理を一般化する。

ABSTRACT

In this paper we give a combinatorial characterization of projections of geodesics in Euclidean buildings to Weyl chambers. We apply these results to the representation theory of complex semisimple Lie groups and to spherical Hecke rings associated with nonarchimedean reductive Lie groups. Our main application is a generalization of the saturation theorem of Knutson and Tao for SL(n) to other complex semisimple Lie groups.

研究の動機と目的

• 複素再帰的リー群におけるテンソル積重複度の幾何的特徴付けを、ユークリッド型ビルディング内のパスを用いて確立すること。
• Knutson-Taoの飽和定理を $SL_n$ に限らず、すべての複素単純リー群へ一般化すること。
• ブルア・ティツのビルディングにおける測地線の射影として得られるヘッケパスを定義・研究し、幾何学と表現論を結びつけること。
• 非ゼロ性がレベル $N$ で成立するならば、$k_R^2$ レベルでも非ゼロであるような、最小の飽和定数 $k_R^2$ を特定すること。

提案手法

• 非アーチメデス的体上の代数群 $G=\underline{G}(\mathbb{K})$ に関連するユークリッド型ビルディング $X$ の測地線セグメントの射影として得られる、ウェイル・チャネル $\Delta$ 内の折れ線的パスとしてヘッケパスを定義する。
• パス $p$ がヘッケパスであることと、$X$ 内の測地線の射影であることとは同値であることを証明し、直接的な幾何的実現を得る。
• 根系における最高根の分解 $\theta = \sum m_i \alpha_i$ の係数 $m_i$ の最小公倍数として飽和係数 $k_R$ を定義する。
• ビルディングにおける折りたたみ三角形の幾何学を用いてテンソル積の非ゼロ性をモデル化し、そのような三角形が測地線三角形に展開可能であることと、パスがヘッケパスであることとは同値であることを示す。
• 球面ヘッケ代数および $G^\vee = \underline{G}^\vee(\mathbb{C})$ の表現環に理論を適用し、代数的重複度を一般化された三角不等式で定義される凸錐によって関連付ける。
• 一般化された三角不等式によって定義される凸同次錐 $D_3 \subset \Delta^3$ を用いて、飽和条件を再定式化し、テンソル積重複度の台を捉える。

実験結果

リサーチクエスチョン

• RQ1 $SL_n$ におけるKnutson-Taoの飽和定理を、幾何的手法を用いてすべての複素単純リー群へ一般化できるか。
• RQ2 $ (V_{N\alpha} \otimes V_{N\beta} \otimes V_{N\gamma})^{G^\vee} \neq 0 $ が成り立つならば、レベル $k$ でも非ゼロであるような最小のスケーリング係数 $k$ は何か。
• RQ3 ユークリッド型ビルディング内の測地線はウェイル・チャネル内のどのようなパスに射影され、そのような射影の特徴は何か。
• RQ4 表現環の構造定数は、ビルディング内のパスの数え上げによって幾何的に構成可能か。
• RQ5 飽和定数 $k_R$ は根系から純粋に計算可能であり、またウェイル群にのみ依存するか。

主な発見

• 本稿は、$ (V_{N\alpha} \otimes V_{N\beta} \otimes V_{N\gamma})^{G^\vee} \neq 0 $ ならば $ (V_{k_R^2\alpha} \otimes V_{k_R^2\beta} \otimes V_{k_R^2\gamma})^{G^\vee} \neq 0 $ であることを示す飽和定理を証明しており、$k_R$ は根系の飽和係数である。
• ヘッケパスはユークリッド型ビルディング $X$ 内の測地線の射影として定義され、LittelmannのLSパスを、ある公理を緩和することで一般化する。
• すべてのLSパスはヘッケパスであるが、逆は成り立たない。$A_2$ 型における反例により、非整数の折り目点を持つヘッケパスはLSパスでないことが示された。
• 飽和係数 $k_R$ は、最高根 $\theta = \sum m_i \alpha_i$ の分解における係数 $m_i$ の最小公倍数として計算され、これが飽和に必要なスケーリングを決定する。
• $ (V_\alpha \otimes V_\beta \otimes V_\gamma)^{G^\vee} \neq 0 $ となる三重組 $(\alpha,\beta,\gamma)$ の集合は、一般化された三角不等式によって定義される凸錐 $D_3 \subset \Delta^3$ 内に存在する。
• 本稿は、$SL_n$ におけるKnutson-Taoの飽和定理（$k_R = 1$）の新しい証明を提供し、$k_R^2$ スケーリングを用いて、すべての複素単純群へその結果が拡張されることを示している。