[论文解读] Irrational Toric Varieties

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

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

一句话总结

本文为 ℝⁿ 中任意扇状图构造了与之关联的非有理 тор环面概形，将其作为 (ℝ>⁰)ⁿ-等变胞复形，其对偶于该扇状图。关键贡献在于证明：当扇状图是某多面体的法线扇状图时，此类概形同胚于其所定义的多面体；并证明了非有理 тор环面概形的平移序列的 Hausdorff 极限空间同胚于其指数集的次级多面体。

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}$.

研究动机与目标

• 将经典 toric 几何推广至指数集位于 ℝⁿ 而非 ℤⁿ 的非有理情形。
• 解决此前缺乏基于扇状图的非有理 toric 概形构造问题，该问题曾阻碍对 Hausdorff 极限的研究。
• 建立非有理 toric 概形的平移序列的 Hausdorff 极限空间与其指数构型的次级多面体之间的同胚关系。
• 通过函子性与对偶性方法，将非有理 toric 概形构造为具有环面作用的胞复形。
• 通过提供非有理构型的拓扑与组合框架，使几何建模与代数统计领域得以应用。

提出的方法

• 将非有理 toric 概形构造为 (ℝ>⁰)ⁿ-等变胞复形，其胞胞结构对偶于 ℝⁿ 中扇状图 Σ 的锥。
• 定义胞结构，使得胞胞闭包的偏序集与扇状图 Σ 的面格反同构。
• 利用扇状图 Σ 构造一个拓扑空间 XΣ，即使 Σ 非有理，该空间也推广了经典 toric 概形。
• 证明 XΣ 紧当且仅当 Σ 是完全扇状图，将经典结果推广至非有理情形。
• 证明当 Σ 是某多面体 P 的法线扇状图时，XΣ 同胚于 P，推广了射影情形。
• 通过指数集 A 的次级扇状图 Σ(A)，建立 XΣ 的平移序列的 Hausdorff 极限空间与指数集 A 的次级多面体之间的同胚关系。

实验结果

研究问题

• RQ1 能否从 ℝⁿ 中的任意扇状图（即使非有理）构造非有理 toric 概形的理论？
• RQ2 非有理 toric 概形的平移序列的 Hausdorff 极限空间是否与该概形指数集的次级多面体同胚？
• RQ3 当 Σ 为有理时，非有理 toric 概形 XΣ 与经典 toric 概形 YΣ 有何关系？
• RQ4 能否通过其拓扑与等变结构恢复非有理 toric 概形 XΣ，以确保构造的函子性？
• RQ5 次级扇状图在分类非有理 toric 概形的退化情形中起何作用？

主要发现

• 与扇状图 Σ ⊂ ℝⁿ 关联的非有理 toric 概形 XΣ 是一个 (ℝ>⁰)ⁿ-等变胞复形，其胞胞结构对偶于 Σ 的面格。
• 当 Σ 为有理时，XΣ 同胚于经典 toric 概形 YΣ 的非负实部。
• XΣ 紧当且仅当 Σ 是完全扇状图，将经典结果推广至非有理情形。
• 若 Σ 是某多面体 P 的法线扇状图，则 XΣ 同胚于 P，实现了多面体的拓扑实现。
• XΣ 的平移序列的 Hausdorff 极限空间同胚于指数集 A 的次级多面体，解决了先前研究中的空白。
• 该构造是函子性的：扇状图之间的映射诱导出非有理 toric 概形之间的等变映射，且扇状图可从概形中重构。