[論文レビュー] Topology of Kempf-Ness sets for algebraic torus actions

Taras Panov|ArXiv.org|Mar 23, 2006

Advanced Combinatorial Mathematics参考文献 14被引用数 3

ひとこと要約

本稿は、トーリック多様体の幾何的不変量理論（Batyrev–Cox）の構成から生じる、準アフィン多様体上の代数的トーラス作用に対して、Kempf–Ness集合の新概念を導入する。モーメント・アングル複体とトーリックトポロジーを用いて、特徴的な非特異的射影的トーリック多様体に対して、これらのKempf–Ness集合が複素空間内での実二次曲面の完全交差であることを確立し、そのコホモロジー環を明示的に計算することで、非自明なマッセイ積と非形式的トポロジー構造を明らかにする。

ABSTRACT

In the theory of algebraic group actions on affine varieties, the concept of a Kempf-Ness set is used to replace the categorical quotient by the quotient with respect to a maximal compact subgroup. By making use of the recent achievements of "toric topology" we show that an appropriate notion of a Kempf-Ness set exists for a class of algebraic torus actions on quasiaffine varieties (coordinate subspace arrangement complements) arising in the Batyrev-Cox "geometric invariant theory" approach to toric varieties. We proceed by studying the cohomology of these "toric" Kempf-Ness sets. In the case of projective non-singular toric varieties the Kempf-Ness sets can be described as complete intersections of real quadrics in a complex space.

研究の動機と目的

• 再帰的群作用がアフィン多様体に作用する場合に最初に定義されたKempf–Ness集合の概念を、トーリック幾何の文脈において、準アフィン多様体上の代数的トーラス作用へと拡張すること。
• これらの新しいKempf–Ness集合が、変形リトラクトであることと、その商がカテゴリー的商と同相であることといった、重要な性質を保持することの確立。
• 射影的非特異的トーリック多様体に対して、モーメント写像と実二次曲面の交差の観点から、これらの集合の位相的記述を提供すること。
• モーメント・アングル複体の技法を用いて、Kempf–Ness集合のコホモロジー環を明示的に計算し、マッセイ積のような非自明な位相的不変量を同定すること。

提案手法

• Batyrev–Coxの幾何的不変量理論（GIT）枠組みを用いて、座標部分空間配置の補集合に対するトーラス作用による商として、トーリック多様体を実現する。
• モーメント写像の構成を用いて、$K$-不変部分集合としてKempf–Ness集合を構成し、アフィンの場合と類似したが、準アフィン設定に適合させたものとする。
• トーリック多様体が射影的かつ非特異的である場合、これらのKempf–Ness集合が複素空間内での実二次超曲面の完全交差に一致することを同定する。
• モーメント・アングル複体理論を適用して、Kempf–Ness集合の位相をモデル化し、$\Lambda[u_1,\dots,u_m] \otimes \mathbb{Z}[\mathcal{K}_\Sigma]$ 上の微分付き代数的構造を用いる。
• Poincaré双対性と、単体的複体 $\mathcal{K}_\Sigma$ の部分複体を用いたコホモロジー計算により、ベッチ数とコホモロジー類を決定する。
• 3次コサイクルの三重積を用いてコホモロジー環内のマッセイ積を分析し、多様体の非形式的性を示す。

実験結果

リサーチクエスチョン

• RQ1 再帰的群作用がアフィン多様体に作用する場合に定義されたKempf–Ness集合の構成を、トーリック幾何の文脈において、準アフィン多様体上のトーラス作用へ一般化することは可能か？
• RQ2 射影的非特異的トーリック多様体のKempf–Ness集合の位相的構造は何か？また、モーメント写像と実二次曲面とどのように関係しているか？
• RQ3 モーメント・アングル複体の技法を用いて、Kempf–Ness集合のコホモロジー環を明示的に計算する方法は何か？
• RQ4 これらのKempf–Ness集合のコホモロジーには非自明なマッセイ積があるか？また、これはそれらの位相的形式的性に何を意味するか？

主な発見

• 射影的非特異的トーリック多様体のKempf–Ness集合は、モーメント写像の等位集合に対応する、複素空間内での実二次超曲面の完全交差である。
• 3次元の単体的多面体 $P$ に対応するKempf–Ness集合 $\mathcal{Z}_P$ のコホモロジー環のベッチベクトルは $(1,0,0,10,16,5,5,16,10,0,0,1)$ であり、非自明な位相的構造を示している。
• $H^3(\mathcal{Z}_P) \cong \mathbb{Z}^{10}$ は、$u_i$ と $v_j$ の積を含む10個の特定の3次コサイクルによって生成される。
• $H^4(\mathcal{Z}_P) \cong \mathbb{Z}^{16}$ は、主に「辺と点」型の部分複体から生じる16個の異なる4次コサイクルによって生じる。
• $H^5(\mathcal{Z}_P) \cong \mathbb{Z}^5$ は、5個のコサイクルによって生成され、そのうちの1つは非単項式であるため、複雑な構造を示している。
• 非自明な三重マッセイ積 $\langle\alpha,\beta,\gamma\rangle$ が非ゼロのコホモロジー類を含むことから、多様体 $\mathcal{Z}_P$ は非形式的であることが示された。