[論文レビュー] Stein extensions of Riemann symmetric spaces and some generalization

Toshihiko Matsuki|ArXiv.org|Aug 23, 2002

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

ひとこと要約

この論文は、実半単純リー群の任意の対称部分群へ、Akhiezer-Gindikin領域とIwasawa領域を一般化し、複素解析に依存せずに、実解析的幾何学と根系構造を用いて、一般化されたAkhiezer-Gindikin領域がIwasawa領域に含まれることを証明する。主な結果は、関連する対称部分群の対称性により、一般化された領域がすべてのサイクル空間に含まれることを示している。

ABSTRACT

It was proved by Huckleberry that the Akhiezer-Gindikin domain is included in the ``Iwasawa domain'' using complex analysis. But we can see that we need no complex analysis to prove it. In this paper, we generalize the notions of the Akhiezer-Gindikin domain and the Iwasawa domain for two associated symmetric subgroups in real Lie groups and prove the inclusion. Moreover, by the symmetry of two associated symmetric subgroups, we also give a direct proof of the known fact that the Akhiezer-Gindikin domain is included in all cycle spaces.

研究の動機と目的

• 実半単純リー群における任意の対称部分群へ、古典的設定を超えたAkhiezer-Gindikin領域とIwasawa領域の概念を拡張すること。
• 複素解析を用いないで、一般化されたAkhiezer-Gindikin領域がIwasawa領域に含まれることを証明すること。
• 関連する対称部分群の対称性を用いて、既知のAkhiezer-Gindikin領域がすべてのサイクル空間に含まれることを直接証明すること。
• 臨界点が単位元以外に存在しない実解析的関数 ρ を一般化された領域に定義し、領域構造の幾何学的解析を可能にすること。

提案手法

• 対称部分群 H′ と H のリー代数の交わりに含まれる最大アーベル部分空間 t⁺ を用いて、D = H′T⁺H として一般化されたAkhiezer-Gindikin領域を定義する。
• パラボリック部分群 P について H′P が閉じているとき、x ∈ G で x⁻¹H′P ⊂ HP を満たす元の集合としてIwasawa領域 Ω を構成する。
• t⁺ 上で W-不変で、t⁺ の境界で +∞ に発散する実解析的関数 ρ₀ を導入し、原点以外に臨界点を持たせることを保証する。
• D = H′exp(t⁺)H の分解を用い、左 H′-不変および右 H-不変性により、ρ₀ を D 上の実解析的関数 ρ に拡張する。
• Killing形式を用いて、ρ の等高線が厳密に凸であり、微分 dρ が特定のリー部分代数に直交する部分空間でのみ消えることを示す。
• D ⊄ PH と仮定し、部分集合のコンパクト性と勾配が p および θp に直交することを用いて矛盾を導き、Killing形式の非退化性と矛盾させる。

実験結果

リサーチクエスチョン

• RQ1 正則関数や擬凸関数などの複素解析的道具を用いずに、Akhiezer-Gindikin領域がIwasawa領域に含まれることを示せるか？
• RQ2 実半単純リー群 G の任意の対称部分群 H′ と H に対して、Akhiezer-Gindikin領域とIwasawa領域の概念をどのように一般化できるか？
• RQ3 Weyl群の対称性と根空間分解が、一般化された領域上で臨界点が制御された実解析的関数を構成する上で果たす役割は何か？
• RQ4 関連する対称部分群 H と H′ 間の対称性は、Akhiezer-Gindikin領域がすべてのサイクル空間に含まれることを示唆するか？
• RQ5 双対コセット PxH 上での関数 ρ の最小値が (K ∩ H)T⁺ で達成されるか？これにより、臨界点構造の存在が保証されるか？

主な発見

• 一般化されたAkhiezer-Gindikin領域 D = H′T⁺H は、t⁺ の開性と群構造により、G において開集合であることが示された。
• Iwasawa領域 Ω は、Kℂ-B 二重コセットの閉包という可算個の複素超曲面の合併の補集合であるため、Stein多様体である。
• D 上に定義された関数 ρ は実解析的であり、ρ₀ の境界発散性と W-不変性により、単位元以外に臨界点を持たない。
• D ⊂ Ω の包含関係は、Killing形式と勾配が p および θp に直交することを用いた背理法により証明された。
• 関連する対称部分群 H と H′ 間の対称性により、Akhiezer-Gindikin領域がすべてのサイクル空間に含まれることが、一般化された包含関係の直接的帰結である。
• D 内の任意の H′P-軌道上での ρ の最小値は (K ∩ H)T⁺ で達成され、部分集合のコンパクト性が保証され、証明における背理法の根拠が得られる。