[論文レビュー] Equigeodesics on flag manifolds

Nir Cohen, Lino Grama+1 more|ArXiv.org|Apr 23, 2009

Geometric Analysis and Curvature Flows参考文献 1被引用数 3

ひとこと要約

本稿は、任意の不変計量に関して測地線であるという性質を持つ旗多様体上の同次的等測地線（homogeneous equigeodesics）を、すべての不変計量 $Λ$ に対して条件 $[X, \Lambda X]_{\mathfrak{m}} = 0$ を満たす等測地線ベクトルとして同定することによって特徴づける。さらに、関連する反エルミート行列の固有値が可換である（有理数倍どうしだけ）場合に限り、そのような測地線が閉じることを示し、$A_l$-型旗多様体に対して完全な代数的特徴づけを提供する。

ABSTRACT

This paper provides a characterization of homogeneous curves on a geometric flag manifold which are geodesic with respect to any invariant metric. We call such curves homogeneous equigeodesics. We also characterize homogeneous equigeodesics whose associated Killing field is closed, hence, the corresponding geodesics is closed.

研究の動機と目的

• 旗多様体上の同次的曲線が任意の不変計量に関して測地線である、すなわち同次的等測地線であることを特徴づけること。
• そのような等測地線を生成する接ベクトルが満たすべき代数的条件を同定すること。
• 関連するキリング場（およびそれに対応する測地線）が閉じる条件を、固有値の可換性を用いて特定すること。
• 対称空間やノーマル計量にとどまらず、旗多様体における測地線軌道と閉じた測地線の理解を拡張すること。
• 古典的および例外型を含む他のリー群の旗多様体における等測地線の研究の基盤を提供すること。

提案手法

• 接ベクトル $X$ を、フラッグ分割に対応するブロック構造を持つ $n \times n$ の反エルミート行列 $A$ として、古典的随伴表現を用いて表現する。
• 不変計量 $g$ を、各ブロック内で定数の値をとる対称行列 $\Lambda$ を用いて表現し、内積を $g(X,Y) = (\Lambda X, Y)$ としてハダマード積を用いる。
• すべての $\Lambda$ に対して $[X, \Lambda X]_{\mathfrak{m}} = 0$ が成り立つという代数的条件を、$X$ が等測地線であるための基準として導出する。
• すべての異なる $i,j,m$ に対して $a_{ij}a_{jm} = 0$ が成り立つことと、$X$ が等測地線であることの必要十分条件であることを確立する。ここで $a_{ij}$ は行列 $A$ のブロックを表す。
• 行列 $A$ の標準形を適用して固有値を解析し、その可換性とキリング場の閉じることの関係を明らかにする。
• 最近得られた結果（Flores ら）を活用し、キリング場が閉じる（すなわち、その1パラメータ部分群が $S^1$ に微分同相である）のは、固有値が可換である場合に限ることを示す。

実験結果

リサーチクエスチョン

• RQ1 旗多様体上の同次的曲線が、すべての不変計量に関して測地線であるための代数的条件は何か？
• RQ2 $A_l$-型旗多様体において、どの接ベクトルが等測地線を生成し、その代数的特徴づけはどのように行えるか？
• RQ3 等測地線に関連するキリング場が閉じる（したがって測地線も閉じる）ための条件は何か？
• RQ4 反エルミート行列表現の固有値の可換性は、測地線の閉じることとどのように関係するか？
• RQ5 旗多様体における等測地線は、特に全フラッグ多様体の場合に、等調和写像と結びつけることができるか？

主な発見

• 旗多様体 $\mathbb{F}(n;n_1,\dots,n_k)$ 上の接ベクトル $X$ が等測地線であるための必要十分条件は、$a_{ij}a_{jm} = 0$ がすべての異なるインデックス $i,j,m$ に対して成り立つことである。ここで $a_{ij}$ は関連する反エルミート行列 $A$ のブロックを表す。
• ベクトル $X$ が生成する測地線が閉じるための必要十分条件は、行列 $A$ の固有値が可換であること、すなわち互いに有理数倍であるということである。
• 全フラッグ多様体 $\mathbb{F}(n)$ において、ベクトル $X$ が等測地線であるための必要十分条件は、その行列 $A$ が対角行列に置換同型であるということである。
• $\mathfrak{u}_\alpha$ に属するベクトル $X$（正ルート $\alpha$ に対応）に対して、測地線は閉じており、$\mathbb{F}(n)$ 内に完全測地的2次元球面 $S^2 \subset \mathbb{F}(n)$ に含まれるため、測地線は閉曲線 $S^1$ である。
• $X \in \mathfrak{u}_\alpha$ に対応する等測地線は、$S^2$ から $\mathbb{F}(n)$ への等調和写像に一意に拡張され、この結果は調和写像理論と結びつく。
• 本稿では、すべての同次的測地線が等測地線であるとは限らないことを確立し、$A_l$-型旗多様体に対して完全な特徴づけを提供し、他のリー群への一般化の出発点を築いた。