[論文レビュー] A survey of hypertoric geometry and topology

Nicholas Proudfoot|ArXiv.org|May 29, 2007

Advanced Combinatorial Mathematics参考文献 33被引用数 39

ひとこと要約

本調査は、トーリック多様体のクaternion的類似物であるハイパートーリック多様体について、包括的な概説を提供する。主な焦点は、代数的シンプレクティック商を用いた構成法およびマトロイド理論や超平面配置との深い関係に向けられている。主な貢献は、ハイパーカイラー幾何におけるコホモロジーを計算する強力な道具を提供する、ハイパートーリック多様体のコホモロジーと根系クラスの annihilator を含むアーベル商の不変量との間の同型性に関する予想である。

ABSTRACT

Hypertoric varieties are quaternionic analogues of toric varieties, important for their interaction with the combinatorics of matroids as well as for their prominent place in the rapidly expanding field of algebraic symplectic and hyperkahler geometry. The aim of this survey is to give clear definitions and statements of known results, serving both as a reference and as a point of entry to this beautiful subject.

研究の動機と目的

• 代数幾何、表現論、組合せ論の研究者にとって、ハイパートーリック幾何とトポロジーへの参照およびアクセス可能な入門として機能すること。
• ハイパートーリック多様体の定義と既知の結果を明確にし、マトロイドおよび超平面配置との関係に特に注目すること。
• アーベル化とワイル群不変量を用いた、ハイパートーリック多様体のコホモロジーを計算するための予想的枠組みを提示すること。
• ハイパートーリック幾何がマトロイド不変量（たとえば g-定理や Tutte 多項式）に幾何的解釈を与えることにより、幾何的および組合せ論的視点を統合すること。
• 現代の表現論および数理物理学に関連する、ハイパーカイラーおよび代数的シンプレクティック多様体の明示的例としてのハイパートーリック多様体の役割を強調すること。

提案手法

• コタンジェントバンドルのモーメント写像と GIT 商を用いて、ハイパートーリック多様体を代数的シンプレクティック商として構成する。
• ${\mathbb{C}}^\times$-等変キルワン写像を用いて、非アーベル商とアーベル商のコホモロジーを関係付ける。
• ワイル群作用と根系クラスを用いて、コホモロジールーピングにおける annihilator 理想を定義する。
• コタンジェントバンドルの等変コホモロジーに属するクラス $e = \prod_{\beta \in \Delta} \beta(x - \beta)$ を導入し、$H^*_{\mathbb{C}^\times}(\mathfrak{M}_{\alpha,0}(G))$ と $H^*_{\mathbb{C}^\times}(\mathfrak{M}_{\alpha,0}(T))$ の不変量との関係を明示する。
• 非等変コホモロジー $\mathfrak{M}_{\alpha,0}(G)$ が、アーベル商コホモロジーのワイル不変部分環を $e_0 = \prod_{\beta \in \Delta} \beta$ の annihilator で割ったものと同型であると予想する。
• 滑らかさと一般性を仮定して、同じ商構成を用いて $\mathfrak{M}_{0,0}(G)$ の交差コホモロジーに環構造を提案する。

実験結果

リサーチクエスチョン

• RQ1 ハイパートーリック多様体のコホモロジーは、アーベル化とワイル群不変量を用いてどのように計算できるか？
• RQ2 ハイパートーリック設定において、非アーベルとアーベルのシンプレクティック商のコホモロジーの正確な関係は何か？
• RQ3 ハイパートーリック多様体の幾何的構成は、マトロイドに関する組合せ論的結果の新しい証明を提供できるか？
• RQ4 ハイパートーリック多様体は、表現論におけるより一般的なハイパーカイラーおよび代数的シンプレクティック多様体のモデルとしてどのように機能するか？
• RQ5 ${\mathbb{C}}^\times$-作用は、この文脈で等変コホモロジーと非等変コホモロジーをどのように関係付けるか？

主な発見

• ハイパートーリック多様体 $\mathfrak{M}_{\alpha,0}(G)$ の等変コホモロジーは、クラス $e$ の annihilator を含むアーベル商コホモロジーのワイル不変部分環と同型であると予想されている。
• この予想は、$\mathfrak{M}_{\alpha,0}(G)$ のコホモロジーが、超平面配置と $G$ の根系の組合せ論から計算可能であることを示唆している。
• アーベルキルワン写像 $\Phi(T)$ は、既知の結果として、$H^*_{{\mathbb{C}}^\times}(\mathfrak{M}_{\alpha,0}(T))$ の明確な記述を提供している。
• この予想は交差コホモロジーへ拡張され、滑らかさが保証される場合、$I\!H^*(\mathfrak{M}_{0,0}(G))$ に自然な環構造が存在すると示唆している。
• この枠組みにより、Tutte 多項式やマトロイドの Gale 対称性といった組合せ論的不変量に幾何的解釈が与えられる。
• この手法により、Kook-Reiner-Stanton の畳み込み公式や g-定理の特殊ケースといった既知の結果が、幾何的手段によって回復されている。