[論文レビュー] Reciprocity Algebras and Branching for Classical Symmetric Pairs

Roger Howe, Eng-Chye Tan+1 more|ArXiv.org|Jul 27, 2004

Algebraic structures and combinatorial models参考文献 57被引用数 22

ひとこと要約

本稿では、古典的対称対 (G,H) 及びその双対対 (H′,G′) の両方の分岐法則を同時に記述する分岐代数としての「双対性代数」を、不変理論および古典的代数幾何学を用いて導入する。主な貢献は、安定範囲において、これらの代数が GLₙ のテンソル積代数と深く関連していることの特定であり、特にリトルウッド＝リチャードソン係数を用いて明示的に記述可能であることを示している。

ABSTRACT

We study branching laws for a classical group $G$ and a symmetric subgroup $H$. Our approach is through the {\it branching algebra}, the algebra of covariants for $H$ in the regular functions on the natural torus bundle over the flag manifold for $G$. We give concrete descriptions of (natural subalgebras of) the branching algebra using classical invariant theory. In this context, it turns out that the ten classes of classical symmetric pairs $(G,H)$ are associated in pairs, $(G,H)$ and $(H',G')$, and that the (partial) branching algebra for $(G,H)$ also describes a branching law from $H'$ to $G'$. (However, the second branching law may involve certain infinite-dimensional highest weight modules for $H'$.) To highlight the fact that these algebras describe two branching laws simultaneously, we call them {\it reciprocity algebras}. Our description of the reciprocity algebras reveals that they all are related to the tensor product algebra for $GL_n$. This relation is especially strong in the {\it stable range}. We give quite explicit descriptions of reciprocity algebras in the stable range in terms of the tensor product algebra for $GL_n$. This is the structure lying behind formulas for branching multiplicities in terms of Littlewood-Richardson coefficients.

研究の動機と目的

• 古典的対称対 (G,H) の分岐法則を不変理論を用いて統一的な代数的枠組みで研究するための枠組みを構築すること。
• 分岐法則を (G,H) とその双対対 (H′,G′) の両方の観点から記述する双対性代数を特定・特徴づけること。
• 双対性代数と既知の GLₙ のテンソル積代数との明確な関係を確立すること。
• 古典的不変理論およびリトルウッド＝リチャードソン係数を用いて、安定範囲におけるこれらの代数の明示的記述を提供すること。
• 古典的群の分岐重複度の公式が、これらの双対性代数の構造から生じることを示すこと。

提案手法

• G のフラッグ多様体上のトーラスバンドル上の H-不変正則関数の代数として、分岐代数 B(G,H) を構成する。
• 幾何学的不変理論および G×H の行列空間への作用を用いて、分岐代数の構造を分析する。
• Q: Mₙ,ₘ → S²(ℂᵐ) を Q(T) = TᵗT で定義する。この写像は Oₙ×GLₘ-不変であり、等次元的であり、ファイバー次元解析が可能である。
• コドメインの次元の議論とファイバー次元の計算を用いて、ノルムコーンの定義イデアルをなす多項式 rᵢⱼ が正則列をなすことを証明する。
• ウィットの定理を用いて、Q のファイバーが既約であり、大域的 Oₙ-軌道を含むことを示し、rᵢⱼ のゼロ集合が既約かつ期待されるコドメインを持つことを保証する。
• Oₙ-不変関数の環が rᵢⱼ によって自由に生成されることを活用し、これらが正則列をなすことを示し、分岐代数の代数的構造を確認する。

実験結果

リサーチクエスチョン

• RQ1 古典的対称対 (G,H) の分岐法則を、代数的構造を用いて一貫して記述する方法は何か？
• RQ2 分岐代数 B(G,H) とその双対対称対 (H′,G′) の関係は何か？
• RQ3 安定範囲において、双対性代数は GLₙ のテンソル積代数とどのように関係しているか？
• RQ4 リトルウッド＝リチャードソン係数を含む分岐重複度の公式は、これらの代数の構造から導出可能か？
• RQ5 写像 Q: Mₙ,ₘ → S²(ℂᵐ) の等次元性が、{rᵢⱼ} の正則列の性質を確立するために果たす役割は何か？

主な発見

• 古典的対称対 (G,H) の分岐代数 B(G,H) は、双対対称対 (H′,G′) における分岐法則をも記述することができ、双対性代数の概念を確立する。
• 安定範囲において、双対性代数は GLₙ のテンソル積代数の部分代数と同型であり、分岐重複度の公式の構造的解釈を提供する。
• Mₙ,ₘ 上の定義多項式 rᵢⱼ はノルムコーンのイデアルにおいて正則列をなす。これは、写像 Q の等次元性とファイバー次元解析から導かれる。
• 写像 Q: Mₙ,ₘ → S²(ℂᵐ) の各ファイバーは、次元 nm − m(m+1)/2 に等しく、ファイバーに依存しない。これは、正則列の議論に必要な等次元性が満たされていることを確認する。
• 各ファイバー内の開で大域的な Oₙ-軌道は、フルランク行列に対応し、ウィットの定理により、GLₘ の作用に関して一意的である。これにより、ファイバーの既約性が裏付けられる。
• rᵢⱼ の多項式の d 個のゼロ集合のコドメインが正確に d に等しいことから、これらが正則列をなすことが証明され、分岐代数の代数的構造に不可欠な要因となる。