[論文レビュー] Connected components of real double Bruhat cells

Andrei Zelevinsky|ArXiv.org|Mar 31, 2000

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

ひとこと要約

この論文は、単純代数群の縮小された二重ブルガット胞の実部の連結成分に関する予想を証明し、それらが2元体上での移動変換によって生成される群の軌道と自然に一対一対応することを示している。この結果は、単純根系型に限らない一般の半単純群への一般化であり、ウェイル群の既約語から導かれる組合せ的不変量を用いた位相的分類を提供する。

ABSTRACT

Double Bruhat cells in a semisimple group are intersections of cells in two Bruhat decompositions corresponding to two opposite Borel subgroups. They form a geometric framework for the study of total positivity in semisimple groups; they are also closely related to symplectic leaves in the corresponding Poisson-Lie groups. The term "cells" might be misleading because their topology can be quite non-trivial. As a first step towards understanding this topology, we enumerate the connected components of real double Bruhat cells. This result extends (from the simply-laced case to the general one) and proves the conjecture made in a joint work with B.Shapiro-M.Shapiro-A.Vainshtein; it also extends earlier work by B.Shapiro-M.Shapiro-A.Vainshtein and K.Rietsch.

研究の動機と目的

• 単純根系型半単純群における縮小された二重ブルガット胞の実部の連結成分に関する[15]の予想を解決すること。
• 単純根系型に限らない任意の半単純群への連結成分の分類を拡張すること。
• L^{u,v}(\bbR) の連結成分と、GL_m(\bbF_2) の部分群 \Gamma_{\mathbf{i}}(\bbF_2) が移動変換によって生成される群の軌道との自然な一対一対応を確立すること。
• L^{u,v} 上のトロイカルチャートと正則関数を用いた幾何学的・代数的枠組みを構築し、複素トーラスへの以前の同型を精緻化すること。
• \bbC[G/N] における双対自己双対基底との関係を検討し、L^{u,v} 上の特定の正則関数が自己双対基底の構成要素である可能性を示唆すること。

提案手法

• ウェイル群における既約語 \mathbf{i} によって誘導される、複素トーラス \bbC_{\neq 0}^m と L^{u,v} のZariski開部分集合 U_{\mathbf{i}} 間の双正則同型を用いる。
• L^{u,v} \setminus U_{\mathbf{i}} が m 個の既約的除集合 \{M_{k,\mathbf{i}} = 0\} の和集合であることを示し、それぞれの M_{k,\mathbf{i}} がねじれ一般化小行列式であることを示す。
• \mathbf{i}-有界添え字と関連する新しい正則関数 M'_{n,\mathbf{i}} を導入し、それらによって新しいトロイカルチャート U_{n,\mathbf{i}} を定義し、これらのチャートが稠密な開部分集合を被覆することを示す。
• すべてのチャート U_{\mathbf{i}} \cup \bigcup_n U_{n,\mathbf{i}} の和集合の実部の連結成分が、\bbF_2^m における \Gamma_{\mathbf{i}}(\bbF_2)-軌道と一対一対応することを証明する。
• この和集合の補集合が L^{u,v} 内で codimension 2 以上であることを示し、実部の連結成分に影響しないことを示す。
• 各 M'_{n,\mathbf{i}} が小行列式のローラン単項式の和として表され、小行列式の概念を一般化し、\bbC[G] における自己双対基底と関連することを示す。

実験結果

リサーチクエスチョン

• RQ1 任意の半単純群に対して、実二重ブルガット胞 L^{u,v}(\bbR) の連結成分はどのように分類されるか？
• RQ2 ウェイル群における既約語が L^{u,v}(\bbR) の位相的性質をどのように決定するか？
• RQ3 単純根系型群に対して[15]で提示された予想を、非単純根系型群へ拡張できるか？
• RQ4 小行列式のローラン単項式の和として定義される正則関数 M'_{n,\mathbf{i}} は、L^{u,v} 及びその実点の構造とどのように関係するか？
• RQ5 \Gamma_{\mathbf{i}}(\bbF_2) と \bbC[G/N] の自己双対基底との間にどのような関係があるか？

主な発見

• L^{u,v}(\bbR) の連結成分は、\bbF_2 上で移動変換によって生成される群 \Gamma_{\mathbf{i}}(\bbF_2) の \bbF_2^m 内の軌道と自然に一対一対応する。
• \Gamma_{\mathbf{i}}(\bbF_2) の構成は単純根系型に限らず拡張され、群はもはや必ずしもシンプレクティックではないが、依然として移動変換によって生成される。
• U_{\mathbf{i}} \cup \bigcup_n U_{n,\mathbf{i}} の和集合の補集合は L^{u,v} 内で codimension 2 以上であるため、実部の連結成分に影響しない。
• 各 M'_{n,\mathbf{i}} は小行列式ではないが、L^{u,v} 上の正則関数であり、小行列式のローラン単項式の和として表され、新たな代数的不変量を提供する。
• 結果は、以前の全正則性およびシンプレクティック葉に関する結果を精緻化・一般化し、\bbC[G/N] における双対自己双対基底を理解するための枠組みを提供する。
• 型 B_2 に対して、双対自己双対基底がプレッケル座標と2つの新しい関数 Q_{\omega_j} = \Delta'_{(i,j,i)}、Q_{2\omega_i} = \Delta'_{(j,i,j)} によって生成されることを示し、それらの単項式は六角形における隣接性によって制約されている。