[論文レビュー] Convex functions on symmetric spaces, side lengths of polygons and stability inequalities for weighted configurations at infinity

Misha Kapovich, Bernhard Leeb+1 more|ArXiv.org|Nov 26, 2003

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

ひとこと要約

本稿は、非コン pact型の対称空間 X=G/K 及びその関連無限小対称空間における向き付けられた多角形のベクトル値辺長の可能な組合せを特徴付ける、一般化された三角不等式または安定性不等式と呼ばれる同次線形不等式系を確立する。この特徴付けは、実グラスマン多様体上の mod 2 シューベルトコホロジーから導かれるもので、Δ辺長多面体と呼ばれる有限側面を持つ多面体錐として知られる。

ABSTRACT

In a symmetric space of noncompact type X = G/K oriented geodesic segments correspond to points in the Euclidean Weyl chamber. We can hence assign vector-valued side-lengths to segments. Our main result is a system of homogeneous linear inequalities describing the restrictions on the side -lengths of closed polygons. The inequalities are based on the mod 2 Schubert calculus in the real Grassmannians G/P for maximal parabolic subgroups P.

研究の動機と目的

• 非コンパクト型の対称空間 X=G/K における向き付けられた n 角形のすべての可能な Δ 辺長の集合を特定すること。
• 幾何学的および表現論的技法を用いて、ウェイの固有値問題および行列積の特異値問題を高次の多角形へと拡張すること。
• 対称空間における多角形の辺長を、無限遠における球的ティーツビルディング上の重み付き配置に関連付けること。
• 対称空間およびその無限小類似物の両方における Δ 辺長多面体を記述する、明示的かつ有限の線形不等式系を提供すること。
• 最大パラボリック部分群 P に対する G/P 上の mod 2 シューベルトコホロジーを通じて、これらの幾何的制約を代数的幾何における Mumford の安定性に結びつけること。

提案手法

• 対称空間 X 内の向き付けられた多角形を、理想境界 ∂TitsX 上の重み付き配置に関連付けるために、ガウス写像の構成を用いる。
• ベクトル値辺長（Δ 長さ）を、群要素の特異値から導かれるユークリッド・ウェイル・チャネル Δeuc の要素としてモデル化する。
• 非正曲率空間上の凸関数の理論を適用して、漸近的勾配および重み付きブースマン関数を定義する。
• 特に構造定数とポincare双対性を用いて、実グラスマン多様体 G/P のコホロロジー環の構造から、安定性不等式を導出する。
• すべての関連する最大パラボリック部分群から得られる不等式を組み合わせることで、Δ 辺長多面体を有限側面を持つ多面体錐として構成する。
• 特にランク 2 の根系に対して、Porta などの計算ツールを用いて不等式系の冗長性と完全性を検証する。

実験結果

リサーチクエスチョン

• RQ1 非コンパクト型の対称空間における向き付けられた n 角形のベクトル値辺長に必要な十分な条件は何か？
• RQ2 実グラスマン多様体 G/P 上のシューベルトコホロジーから生じる一般化された三角不等式は、対称空間における多角形の幾何とどのように関係するか？
• RQ3 A2、B2、G2 のようなランク 2 の根系における Δ 辺長多面体の正確な構造は何か？
• RQ4 無限遠における重み付き配置のための安定性不等式は、固有値問題および特異値問題におけるスペクトル制約とどのように対応するか？
• RQ5 導出された不等式は、SL(3,C) に対して [BeSj] で得られた既知の結果をどのように回復または一般化するか？

主な発見

• Δ 辺長多面体 Pn(X) および Pn(p) は、明示的に同次線形不等式系によって記述される有限側面を持つ多面体錐である。
• ランク 2 の根系に対して、多面体は 6 次元空間 a^3 内の 24 個の特定のベクトルによって生成され、計算的検証により算出された。
• G/P1 および G/P2（基本コウェイトに対するグラスマン多様体）の不等式は、それぞれ係数 (2,1) と (3,2) を持つ別個の系をもたらし、異なるシューベルト構造を反映している。
• S3 の軌道の重複を除去した後、不等式系は冗長でない。非弱い不等式は、正確に冗長な三角不等式に対応する。
• コホロロジー環 H*(G/P) の構造定数が、安定性不等式における係数を決定し、代数的トポロジーと幾何的制約を結びつける。
• 結果は、ウェイの固有値問題および行列積の特異値問題を n 角形へ一般化したものであり、三角形の場合（n=3）は正規化を除き既知の結果を回復する。