[論文レビュー] Toric Hyperkahler Varieties

Tamás Hausel, Bernd Sturmfels|ArXiv.org|Mar 11, 2002

Algebraic structures and combinatorial models参考文献 16被引用数 76

ひとこと要約

本稿では、ラウレンストーリック多様体内の完全交差として、トーリックハイパーカähler多様体の組み合わせ的・幾何学的理論を構築し、それらのコホモロジー環がマトロイドのスターリング＝ライスナー環に線形パラメータ系を加えた商として同型であることを確立する。主な貢献は、古典的なトーリック幾何の結果（たとえば、ハード・レフシェッツ定理や体積多項式）をハイパーカähler設定へと拡張する統一的なコホモロジー的記述を提供することであり、クーヴァー多様体やALE空間への応用を含む。

ABSTRACT

Extending work of Bielawski-Dancer and Konno, we develop a theory of toric hyperkahler varieties, which involves toric geometry, matroid theory and convex polyhedra. The framework is a detailed study of semi-projective toric varieties, meaning GIT quotients of affine spaces by torus actions, and specifically, of Lawrence toric varieties, meaning GIT quotients of even-dimensional affine spaces by symplectic torus actions. A toric hyperkahler variety is a complete intersection in a Lawrence toric variety. Both varieties are non-compact, and they share the same cohomology ring, namely, the Stanley-Reisner ring of a matroid modulo a linear system of parameters. Familiar applications of toric geometry to combinatorics, including the Hard Lefschetz Theorem and the volume polynomials of Khovanskii-Pukhlikov, are extended to the hyperkahler setting. When the matroid is graphic, our construction gives the toric quiver varieties, in the sense of Nakajima.

研究の動機と目的

• トーリック幾何、マトロイド理論、凸多面体を用いて、トーリックハイパーカähler多様体の包括的理論を構築すること。
• トーリックハイパーカähler多様体のコホモロジー環を特徴付け、それがコアおよびラウレンストーリック多様体のそれと一致することを示すこと。
• 古典的なトーリック幾何の結果（たとえば、ハード・レフシェッツ定理やカホヴァンスキー＝プフリコフの体積多項式）をハイパーカähler設定へと拡張すること。
• トーリックハイパーカähler多様体が自らがトーリック多様体であるための条件を明確にし、クーヴァー多様体やALE空間と関連付けること。

提案手法

• フレームワークは、アーベル群作用による複素ベクトル空間のGIT商として定義される半射影的トーリック多様体に基づく。
• ラウレンストーリック多様体は、シンプレクティックトーラス作用の下での偶数次元アフィン空間のGIT商として導入され、ハイパーカähler多様体の環境空間として機能する。
• トーリックハイパーカähler多様体は、ハイパーカähler商構成から導かれる双線形方程式を用いて、ラウレンストーリック多様体内の完全交差として定義される。
• コホモロジー環は、マトロイドのスターリング＝ライスナー環を、マトロイドイデアルと線形パラメータ系の商として計算する。
• コ生成子を用いた双対的表現が開発され、それが非有界多面体の有界な面の体積多項式と一致することを特定する。
• 理論は、ハード・レフシェッツ写像の単射性の証明や、トーリックハイパーカähler多様体がラウレンストーリック多様体のトーリック部分多様体であるための条件の特徴付け（バイノミアルイデアルを用いて）に応用される。

実験結果

リサーチクエスチョン

• RQ1 どのような条件下でトーリックハイパーカähler多様体自体がトーリック多様体となるか？
• RQ2 トーリックハイパーカähler多様体、ラウレンストーリック多様体、およびそれらのコアのコホモロジー環どうしがどのように関係するか？
• RQ3 古典的なトーリック幾何の結果（たとえば、ハード・レフシェッツ定理）をハイパーカähler設定へと拡張できるか？
• RQ4 マトロイド理論および超平面配置が、これらの多様体の位相的性質を支配する役割を果たすか？
• RQ5 どのような条件下でトーリックハイパーカähler多様体がクーヴァー多様体として現れ、その幾何的構造は何か？

主な発見

• トーリックハイパーカähler多様体のコホモロジー環は、マトロイドのスターリング＝ライスナー環にマトロイドイデアルと線形パラメータ系を加えた商と同型である。
• トーリックハイパーカähler多様体、その環境となるラウレンストーリック多様体、およびコアのコホモロジー環はすべて同型である。
• 行列 $ A $ がユニモジュラーであるとき、コホモロジー環は $ \mathbb{Z}[x_1,\dots,x_n]/(M^*(\mathcal{A}) + \mathrm{Circ}(\mathcal{A})) $ と同型であり、多様体は滑らかである。
• コア $ C(A^\pm,\theta) $ は射影的であり、一般には非連結であるが、その既約成分は射影的トーリックオルビフォールドである。
• トーリックハイパーカähler多様体がその環境ラウレンストーリック多様体のトーリック部分多様体であるための必要十分条件は、ギャールドゥアル配置が原点を通る $ n-d $ 個の線形独立な直線上にあることである。
• 行列 $ A: \mathbb{Z}^3 \to \mathbb{Z}, (u_1,u_2,u_3) \mapsto u_1+u_2+u_3 $ かつ $ \theta \neq 0 $ の場合、多様体 $ Y(A,\theta) $ は $ \mathbb{P}^2 $ の余接 bundle と同型である。