[論文レビュー] Cycles of Bott-Samelson type for taut representations

Cláudio Gorodski, Gudlaugur Thorbergsson|ArXiv.org|Jan 25, 2001

Homotopy and Cohomology in Algebraic Topology参考文献 8被引用数 4

ひとこと要約

この論文は、コンパクトなリー群の典型的な表現へのボット＝サマエルソンのホモロジー・サイクル構成を拡張し、特に SO(2)×Spin(9)、U(2)×Sp(n)、SU(2)×Sp(n) の標準的・スピン的・ハイパークaternion的テンソル積表現に適用する。焦点点の重複度が定数でない場合を扱うために、'カットアンドペースト'手順を用いてサイクル構成を適応させることで、これらの軌道が明示的なサイクルをもち、Z₂-ホモロジー基底をなすことを証明し、それらの典型的性の別証明を提供する。

ABSTRACT

Bott and Samuelson constructed explicit cycles representing a basis of the Z_2-homology of the orbits of variationally complete representations of compact Lie groups. As a consequence, all those orbits are taut. We were able to show that an irreducible representation of a compact Lie group, all of whose orbits are taut, is either variationally complete or it is one of the following orthogonal representations (n bigger than or equal to 2): the (standard) x_R (spin) representation of SO(2)xSpin(9); or the (standard) x_C (standard) representation of U(2)xSp(n); or the (standard)^3 x_ H (standard) representation of SU(2)xSp(n). In this paper we will show how to adapt the construction of the cycles of Bott and Samelson to the orbits of these three representations. As a result, they also admit explicit cycles representing a basis of their Z_2-homology and, in particular, this provides another proof of their tautness.

研究の動機と目的

• 対称空間でない場合を除き、コンパクトなリー群の典型的な既約表現へのボット＝サマエルソンサイクル構成を拡張すること。
• 非対称な典型的な表現における焦点点の重複度の崩壊という技術的課題に対処すること。
• 3つの例外的典型表現（SO(2)×Spin(9)、U(2)×Sp(n)、SU(2)×Sp(n)）が明示的なサイクルをもち、Z₂-ホモロジー基底をなすことを示すこと。
• モース理論に依存するのではなく、幾何的サイクル構成を用いて、これらの表現の典型性を再証明すること。

提案手法

• ボット＝サマエルソン法によるサイクル構成（法測地線に沿った曲率球面の反復バンドル）を、典型的な表現の軌道に適応する。
• 軌道の幾何と焦点点構造を用いて、ホモロジー類を表す反復バンドルを定義する。
• 非定数の重複度をもつ焦点点の崩壊を解消するため、有限個の点で 'カットアンドペースト' 手順を導入する。
• サイクル空間をモデル化するため、パラボリック部分群とボロ部分群の商として多様体 $\mathcal{M}_{w_u}$ を構成する。
• サイクル写像の像が $G/P_\Theta$ 内のブルア・セルの閉包に一致することを示し、したがって基本的ホモロジー類を表していることを確認する。
• サイクル写像が $\mathbf{Z}_2$-ホモロジー上で同型を誘導することを活用し、典型性を確認する。

実験結果

リサーチクエスチョン

• RQ1 ボット＝サマエルソンサイクル構成は、対称空間の回転表現でない典型的な表現へ一般化可能か？
• RQ2 サイクル構成において、非定数の重複度をもつ焦点点の退化をどのように扱えるか？
• RQ3 SO(2)×Spin(9)、U(2)×Sp(n)、SU(2)×Sp(n) の3つの例外的典型表現は、$\mathbf{Z}_2$-ホモロジー基底をなす明示的サイクルをもつか？
• RQ4 モース理論に依存するのではなく、幾何的サイクル構成を用いて、これらの表現の典型性が再証明可能か？

主な発見

• SO(2)×Spin(9) 表現の軌道は、適応されたボット＝サマエルソン構成により、明示的なサイクルをもち、$\mathbf{Z}_2$-ホモロジー基底をなす。
• U(2)×Sp(n) 表現の軌道は、このようなサイクルの存在により典型的であることが示され、それらの典型性に対する新たな証明が得られた。
• SU(2)×Sp(n) 表現の軌道も $\mathbf{Z}_2$-ホモロジーにおけるサイクル基底をもち、幾何的手段による典型性の確認がなされた。
• 非定数の焦点点の重複度の問題に対処するため、有限回の 'カットアンドペースト' 変更を施すことで、退化のないバンドルのファイバーを保証した。
• サイクル写像の像は $G/P_\Theta$ 内のブルア・セルの閉包に一致し、サイクルが基本的ホモロジー類を表していることが確認された。
• サイクル構成は $\mathbf{Z}_2$-ホモロジー上で同型を誘導し、モース不等式が等号となることを示し、したがって典型性が立証された。