[論文レビュー] Toric manifolds with degenerate dual variety and defect polytopes

Sandra Di Rocco|ArXiv.org|May 9, 2003

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

ひとこと要約

この論文は、期待値より次元が低い双対多様体を持つ退化する双対多様体を持つトーリック多様体を分類し、それがちょうど組合せ的不変量 $ c(P) $ が消えるデルザント多面体に一致することを示している。主な結果は、このような多様体が射影空間または低次元のデルザント多面体の射影結合であることを示しており、トーリック幾何と組合せ論を用いて「欠損多面体」を完全に特徴づけている。

ABSTRACT

We classify projective toric manifolds whose dual variety is not a hypersurface in the dual projective space. Under the standard dictionary between toric geometry and convex geometry, they correspond to certain convex Delzant integer polytopes, P, which we call defect polytopes. Using the geometrical classification we give a detailed description of defect polytopes and prove that they are characterized by the vanishing of a combinatorial invariant, denoted by c(P). We further prove that a related invariant, c*(P), is nonnegative, for any simple convex integral polytope.

研究の動機と目的

• 予想される次元より低い双対多様体を持つ射影的トーリック多様体を分類すること。
• 組合せ的不変量 $ c(P) $ が消える整数凸多面体（「欠損多面体」として知られる）を特徴づけること。
• トーリック多様体における双対欠損の幾何的条件と、$ c(P) $ の組合せ的消滅の間の同値性を確立すること。
• $ c(P) $ が単純多面体に対して常に非負であり、かつそれがちょうど射影的デルザント多面体の結合である場合にのみ消えることを証明すること。

提案手法

• トーリック多様体と凸多面体の間の標準的辞書を用いて、幾何的問題を組合せ的問題に翻訳すること。
• 不変量 $ c(P) = \sum_{F \in F(P)} (-1)^{\mathrm{codim}(F)} (\dim(F)+1)! \mathrm{Vol}(F) $ の定義、ここで $ \mathrm{Vol}(F) $ は面 $ F $ の整数体積を表す。
• 文献 [BeFaSo] の結果とトーリック作用の性質を応用して、トーリック多様体の双対多様体を分析すること。
• $ c(P) = 0 $ が成り立つのは、$ P $ が標準単体または低次元のデルザント多面体の射影結合である場合に限ることの証明。
• $ P \times [0,m] $ の積に対する帰納法と極限的議論を用いて、$ t \geq 1 $ に対して関連不変量 $ c_t(P) $ の非負性を示すこと。
• 多項式 $ f(P,n) = \sum_{k=0}^r (-n)^{r-k} (k+1)! \sum_{F \in P(k)} |\mathbb{Z}^F \cap nF| $ が非負整数係数を持つ多項式であると予想すること。

実験結果

リサーチクエスチョン

• RQ1 どの射影的トーリック多様体が、期待値より低い次元の双対多様体を持つのか？
• RQ2 どの整数凸多面体に対して不変量 $ c(P) $ が消えるのか？
• RQ3 $ c(P) = 0 $ を満たす多面体の組合せ的構造は何か？ そしてトーリック幾何とどのように関係するか？
• RQ4 $ c(P) $ は整数多面体に対して常に非負であるのか？ その幾何的意味は何か？
• RQ5 面体積とオイラー特性を符号付き和で記述する多項式 $ f(P,n) $ が非負係数を持つことを示せるか？

主な発見

• 双対欠損が正であるトーリック多様体は、$ \mathbb{P}^r $ または低次元のトーリック多様体 $ Y(\Delta') $ 上の射影バンドル $ \mathbb{P}(\mathcal{L}_0 \oplus \cdots \oplus \mathcal{L}_{(r+d)/2}) $ である。
• 双対欠損 $ d(X(\Delta)) > 0 $ が成り立つのは、関連多面体 $ P $ に対して $ c(P) = 0 $ が成り立つ場合に限る。
• デルザント多面体に対しては、$ c(P) = 0 $ が成り立つのは、$ P $ が標準単体または次元 $ \frac{r-d}{2} $ の低次元のデルザント多面体の射影結合である場合に限る。
• $ c_1(P) = c(P) $ はすべての単純多面体に対して非負であり、かつそれがちょうど欠損多面体である場合にのみ消える。
• 面体積と符号付き和で定義される多項式 $ f(P,n) $ は、$ c(P) = d_r(P) $ がその最高次係数であると予想されている。
• $ c(\Delta(3,6)) = 352 $ は、オイラー数と面体積を用いて計算され、一般の多面体に対しても $ c(P) $ の非負性を支持する。