[論文レビュー] Symplectic toric orbifolds

Eugene Lerman, Susan Tolman|ArXiv.org|Dec 23, 1994

Geometric and Algebraic Topology参考文献 6被引用数 9

ひとこと要約

本稿では、シンプレクティックトーリックオルビフォールドと、各ファセットに正の整数が割り当てられた凸有理単純多面体の間の一対一対応を確立する。著者たちは、デルツァントの定理をオルビフォールドに一般化することで、このようなシンプレクティック多様体の分類が、特異的空間における等長性を有する組合せ的データに還元されることを示し、トーリック幾何学を特異的空間へと拡張する。

ABSTRACT

A symplectic toric orbifold is a compact connected orbifold $M$, a symplectic form $ω$ on $M$, and an effective Hamiltonian action of a torus $T$ on $M$, where the dimension of $T$ is half the dimension of $M$. We prove that there is a one-to-one correspondence between symplectic toric orbifolds and convex rational simple polytopes with positive integers attached to each facet.

研究の動機と目的

• 特異的空間における等長性を有するオルビフォールドのケースに、シンプレクティックトーリック多様体の分類を拡張すること。
• シンプレクティックトーリックオルビフォールドを分類するのに必要な十分な組合せ的データを特定すること。
• 等長性データを組み込むことで、滑らかな多様体からオルビフォールドへのデルツァントの定理の一般化を達成すること。
• 幾何的構造と各ファセットに整数重みが割り当てられた凸有理単純多面体との正確な対応関係を確立すること。
• ハミルトニアントーラス作用のオルビフォールドにおける理解のための枠組みを提供すること。

提案手法

• 次元が半分であるハミルトニアンで効果的かつトーラス作用を持つ、コンパクトで連結なオルビフォールドとしてシンプレクティックトーリックオルビフォールドを定義する。
• オルビフォールドをトーラスのリー代数の双対空間内の凸有理単純多面体へ写像するモーメント写像を導入する。
• 各ファセットに正の整数を割り当て、そのファセットの逆像における同相群の位数を表す。
• 多面体の組合せ的構造とファセットの重みを用いて、オルビフォールド構造とシンプレクティック形式を再構成する。
• 重みのファセットへの割り当てが、トーラス作用を保存するシンプレクティズム写像のもとで不変であることを証明する。
• 各ファセットに正の整数が割り当てられた任意の多面体が、同相写像を除いて一意に一つのシンプレクティックトーリックオルビフォールドから生じることを示す。

実験結果

リサーチクエスチョン

• RQ1 同相写像を保存する同相写像のもとで、シンプレクティックトーリックオルビフォールドを分類する組合せ的データは何か？
• RQ2 オルビフォールド特異的構造の存在が、モーメント写像像の構造とその性質にどのように影響するか？
• RQ3 シンプレクティックトーリック多様体のデルツァントの分類定理をオルビフォールドへと拡張できるか？
• RQ4 多面体のファセットに割り当てられた整数重みが、オルビフォールドの同相性データをどのように符号化するか？
• RQ5 シンプレクティックトーリックオルビフォールドと重み付き有理多面体の間の対応は、双対的かつ関手的か？

主な発見

• 同型類のシンプレクティックトーリックオルビフォールドと、各ファセットに正の整数が割り当てられた凸有理単純多面体との間には、一対一対応が存在する。
• シンプレクティックトーリックオルビフォールドのモーメント写像像は凸有理単純多面体であり、同相性データはファセットの重みに符号化されている。
• 各ファセットに割り当てられた整数は、対応する特徴的サブオルビフォールドの同相群の位数に対応する。
• 分類は同相写像を保存する同相写像に関して不変であり、組合せ的データからオルビフォールド構造の一意性が保証される。
• 構成は、滑らかな多様体からオルビフォールドへのデルツァントの定理の一般化を提供し、特異的空間における完全な分類を実現する。
• シンプレクティック形式とトーラス作用は、同相写像を除いて、多面体とそのファセットの重みによって完全に決定される。