[論文レビュー] On the wonderful compactification

Sam Evens, Benjamin F. Jones|ArXiv.org|Jan 3, 2008

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

ひとこと要約

この論文は、複素単純代数群のアドジョイント型のための素晴らしいコンパクト化について、正規最高重量表現を用いた射影埋め込みによって構成する、自己完備な解説を提供する。主な結果は、コンパクト化が滑らかであり、$G \times G$-軌道閉包が滑らかな超曲面の交わりに対応し、各軌道閉包が部分旗多様体に沿ってファイバーが対称空間コンパクト化を持つことである。

ABSTRACT

These lecture notes explain the construction and basic properties of the wonderful compactification of a complex semisimple group of adjoint type. An appendix discusses the more general case of a semisimple symmetric space.

研究の動機と目的

• 代数群の分野に広範な経験のない研究者を対象に、複素単純代数群のアドジョイント型の素晴らしいコンパクト化について、アクセス可能で自己完備な紹介を提供すること。
• 特に $G \times G$-軌道分解と滑らかさに関する、コンパクト化の幾何学的・群論的構造を明確にすること。
• 付録として一般の対称空間に関する考察を通じて、コンパクト化と対称空間コンパクト化との関係を確立すること。
• トーリック幾何学的手法と $T \times T$-固定点を用いて、コンパクト化のコホモロジーを計算すること。
• コンパクト化が滑らかであり、すべての $G$-軌道閉包が滑らかで、かつ $D_I$ の形の超曲面の交わりに対応することを示すこと。

提案手法

• 群 $G$ の正規最高重量表現 $V(\lambda)$ を用いた射影埋め込みによって、コンパクト化を構成する。
• 最高重量ベクトル $v_0$ の係数が非ゼロである点の集合として、開アフィン部分 $\mathbb{P}_0(V)$ を定義する。
• $U^{-}$ の作用を用いて $\mathbb{P}_0(V)$ を $\mathbb{C}^n$ に同定し、これがユニポテンツルートの部分群に同型であることを示す。
• 群 $G$-可換な準同型 $\nu$ と $N^{-}$-可換なリトラクション $\beta$ を用いて、同型 $\chi: N^{-} \times \mathbb{C}^r \to X_0$ を構成する。
• 命題 5.2 を用いて値の基準とヒルベルト＝ムーディー基準を適用し、$G$-軌道閉包 $V$ が射影的であることを示し、したがって $X$ に等しいことを示す。
• トーリック幾何学を用いて、$T$-軌道の閉包が完全であることを示し、Weylの部屋分解と小Weyl群 $W_A$ を利用する。

実験結果

リサーチクエスチョン

• RQ1 アドジョイント型の複素単純代数群の素晴らしいコンパクト化は、専門的経験のない研究者にとっても理解可能な方法でどのように構成できるか？
• RQ2 コンパクト化における $G \times G$-軌道およびその閉包の構造は何か？
• RQ3 なぜ素晴らしいコンパクト化は滑らかであり、その滑らかさは軌道構造とトーリック幾何学からどのように導かれるか？
• RQ4 コンパクト化のコホモロジーは、$T \times T$-固定点とWeyl群とどのように関係しているか？
• RQ5 群のコンパクト化とより一般的な対称空間コンパクト化との関係は何か？

主な発見

• 複素単純代数群 $G$ のアドジョイント型の素晴らしいコンパクト化 $X$ は、同型 $\chi: N^{-} \times \mathbb{C}^r \to X_0$ を構成し、トーリック多様体の完全性を用いることで滑らかであることが示された。
• 開 $G \times G$-軌道 $X_0$ は $N^{-} \times \mathbb{C}^r$ に同型であり、$X_0$ は $X$ において稠密で、$X$ は $X_0$ の $G$-軌道の閉包に等しく、射影的である。
• $X$ 内のすべての $G$-軌道閉包は滑らかであり、$D_i$ が $X_0$ 内の $G$-軌道の閉包である滑らかな超曲面 $D_i$ の交わり $D_I = \bigcap_{i \in I} D_i$ に対応する。
• $T$-軌道の閉包は完全である。なぜなら、完全なファンを持つ $A/D$-安定なトーリック多様体を含み、標準的なトーリック幾何学の結果により射影的であるからである。
• 各 $G$-軌道閉包 $D_I$ は部分旗多様体 $G/Q_I$ に沿ってファイバーが $Q_I$ のレヴィ因子に対応する対称空間の素晴らしいコンパクト化に同型である。
• コンパクト化のコホモロジーは $T \times T$-固定点を用いて計算され、$T \times T$-固定点の構造はWeyl群とWeylの部屋分解に関連している。