[論文レビュー] Irrational Toric Varieties

Ata Firat Pi̇r|arXiv (Cornell University)|Sep 13, 2018

Algebraic Geometry and Number Theory参考文献 6被引用数 3

ひとこと要約

この論文は、ℝⁿ における任意のファンに対して関連する無理的トーリック多様体の理論を構築し、それをファンの双対となる (ℝ>⁰)ⁿ-可換セル複体として構成する。主な貢献は、ファンが多面体の正規ファンである場合、その多様体が定義する多面体に位相的に同相であることを示したことであり、また、無理的トーリック多様体の平行移動のハウスドルフ極限の空間が、その指数集合の補助多面体に位相的に同相であることを証明したことである。

ABSTRACT

Classical toric varieties are among the simplest objects in algebraic geometry. They arise in an elementary fashion as varieties parametrized by monomials whose exponents are a finite subset $\mathcal{A}$ of $\mathbb{Z}^n$. They may also be constructed from a rational fan $Σ$ in $\mathbb{R}^n$. The combinatorics of the set $\mathcal{A}$ or fan $Σ$ control the geometry of the associated toric variety. These toric varieties have an action of an algebraic torus with a dense orbit. Applications of algebraic geometry in geometric modeling and algebraic statistics have long studied the nonnegative real part of a toric variety as the main object, where the set $\mathcal{A}$ may be an arbitrary set in $\mathbb{R}^n$. These are called irrational affine toric varieties. This theory has been limited by the lack of a construction of an irrational toric variety from an arbitrary fan in $\mathbb{R}^n$. We construct a theory of irrational toric varieties associated to arbitrary fans. These are $(\mathbb{R}_>)^n$-equivariant cell complexes dual to the fan. Such an irrational toric variety is projective (may be embedded in a simplex) if and only if its fan is the normal fan of a polytope, and in that case, the toric variety is homeomorphic to that polytope. We use irrational toric varieties to show that the space of Hausdorff limits of translates an irrational toric variety associated to a finite subset $\mathcal{A}$ of $\mathbb{R}^n$ is homeomorphic to the secondary polytope of $\mathcal{A}$.

研究の動機と目的

• 指数集合が ℤⁿ ではなく ℝⁿ に倣う非有理的設定における古典的トーリック幾何学の拡張を図ること。
• これまでの非有理的トーリック多様体のファンに基づく構成の欠如が、ハウスドルフ極限の研究を妨げていたのを是正すること。
• 無理的トーリック多様体の平行移動のハウスドルフ極限の空間とその指数配置の補助多面体との間に同相性を確立すること。
• トーリス作用を伴うセル複体としての無理的トーリック多様体の関手的・双対性に基づく構成法を構築すること。
• 非有理的配置のための位相的・組合せ論的枠組みを提供することで、幾何的モデリングおよび代数的統計への応用を可能にすること。

提案手法

• ファン Σ ⊂ ℝⁿ の各錐に対応するセルの双対性に基づき、(ℝ>⁰)ⁿ-可換セル複体として無理的トーリック多様体を構成する。
• セルの閉包の順序集合がファン Σ の面ラティスと反同型となるようにセル構造を定義する。
• ファン Σ を用いて、Σ が有理的でない場合でも古典的トーリック多様体を一般化する位相空間 XΣ を定義する。
• XΣ がコンパクトであることと Σ が完全ファンであることとは同値であることを証明し、古典的結果を非有理的設定へと拡張する。
• Σ が多面体 P の正規ファンである場合、XΣ が P に位相的に同相であることを示し、射影的ケースを一般化する。
• 指数集合 A の補助ファン Σ(A) を用いて、XΣ の平行移動のハウスドルフ極限の空間と、A の補助多面体との間に同相性を確立する。

実験結果

リサーチクエスチョン

• RQ1 任意のファン Σ ⊂ ℝⁿ から、ファンが有理的でない場合でも無理的トーリック多様体の理論を構築できるか？
• RQ2 無理的トーリック多様体の平行移動のハウスドルフ極限の空間とその指数集合の補助多面体との間に同相性が存在するか？
• RQ3 Σ が有理的である場合、無理的トーリック多様体 XΣ と古典的トーリック多様体 YΣ との関係は何か？
• RQ4 XΣ はその位相的および等変構造から復元可能であり、構成が関手的であることが保証されるか？
• RQ5 補助ファンは、無理的トーリック多様体の退化の分類において果たす役割は何か？

主な発見

• ファン Σ ⊂ ℝⁿ に付随する無理的トーリック多様体 XΣ は、Σ の面ラティスの双対となる (ℝ>⁰)ⁿ-可換セル複体である。
• Σ が有理的である場合、XΣ は古典的トーリック多様体 YΣ の非負実数部に位相的に同相である。
• XΣ がコンパクトであることと Σ が完全ファンであることとは同値であり、これは古典的結果を非有理的設定に拡張する。
• Σ が多面体 P の正規ファンである場合、XΣ は P に位相的に同相であり、多面体の位相的実現を確立する。
• XΣ の平行移動のハウスドルフ極限の空間は、指数集合 A の補助多面体に位相的に同相であり、これにより先行研究の欠落を是正する。
• 構成は関手的である：ファンの写像は無理的トーリック多様体の等変写像を誘導し、多様体からファンを再構成可能である。