[論文レビュー] Toroidal embeddings and polyhedral divisors

Robert Vollmert|ArXiv.org|Jul 6, 2007

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

ひとこと要約

本稿は、$T$-多様体 $X$ に有効な $(n-1)$-トーラス作用が存在する場合、Mumfordのトロイダル埋め込みのファンと、AltmannとHausenの枠組みによる多面体係数の記述の間の正確な組合せ的対応を確立する。この対応により、トロイダルファンが、共通の面 $(0,\sigma)$ に沿って多面体係数の同次化を貼り合わせることで構成されることを示し、アフィン多様体上のトーラス作用の二つの主要な組合せ的記述を統合する。

ABSTRACT

Given an effective action of an (n-1)-dimensional torus on an n-dimensional normal affine variety, Mumford constructs a toroidal embedding, while Altmann and Hausen give a description in terms of a polyhedral divisor on a curve. We compare the fan of the toroidal embedding with this polyhedral divisor.

研究の動機と目的

• ムーマードのトロイダル埋め込みのファンと、アルトマンとハウゼンの $T$-多様体の多面体係数記述との間の正確な組合せ的ブリッジを確立すること。
• 正規化された有理的商写像のグラフのファン構造と、曲線上の多面体係数との関係を解明すること。
• トロイダル多様体 $X$ のトロイダルファンが、開部分集合 $U$ の補集合上での多面体係数の同次化によって完全に決定されることを示すこと。
• トロイダル埋め込みと多面体係数の二つの異なる組合せ的枠組みを、$(n-1)$-次元トーラス作用を持つ正規アフィン $T$-多様体の記述に統合すること。

提案手法

• 完全かつ非特異な曲線 $C$ を用いて、有理的商写像 $p: X \dashrightarrow C$ のグラフの正規化により、トロイダル埋め込み $(U \times T, X^{\prime\prime})$ を構成する。
• 各 $P \in C \setminus U$ に対して、$δ_P$ というコーンを $ℤ \times N$ に定義し、共通の面 $(0,\sigma)$ に沿って貼り合わせることで、トロイダルファン $\Delta(X,U)$ を定義する。
• 曲線 $Y \subset C$ 上のアルトマンとハウゼンの多面体係数 $\mathcal{D} = \sum_P \Delta_P \otimes P$ を用いて、$T$-多様体 $\widetilde{X}$ を記述する。この多様体は $X^{\prime\prime}$ と同型であることが示される。
• 各多面体 $\Delta_P \subset N_{\mathbb{Q}}$ をテールコーン $\sigma$ で同次化し、$ℤ \times N_{\mathbb{Q}}$ 内のコーン $\delta_P = \operatorname{pos}\{(0,\sigma), (1,\Delta_P)\}$ を形成する。
• 座標環の $\pi^{-1}(U^\prime)$ 上の単項式の半群が、$k \geq -\min\langle u, \Delta_P \rangle$ を満たすペア $(k,u)$ に一致することを示し、$\delta_P$ が $\Delta_P$ の同次化であることを証明する。
• 双正則かつ固有かつアフィンな写像を介して $\widetilde{X} \cong X^{\prime\prime}$ を確立し、二つの組合せ的構造を直接比較可能にする。

実験結果

リサーチクエスチョン

• RQ1 ムーマードの構成から得られるトロイダルファン $\Delta(X,U)$ と、アルトマンとハウゼンの枠組みにおける多面体係数 $\mathcal{D}$ の関係は何か？
• RQ2 トロイダルファン内のコーン $\delta_P$ と多面体係数 $\Delta_P$ の間の正確な組合せ的関係は何か？
• RQ3 補集合 $Y \setminus U$ 上での多面体係数の同次化から、トロイダルファンを一意に再構成できるか？
• RQ4 商写像のグラフの正規化 $X^{\prime\prime}$ は、多面体係数によって定義される $T$-多様体 $\widetilde{X}$ と一致するか？
• RQ5 トロイダル埋め込みのファン構造は、共通の面 $(0,\sigma)$ に沿って同次化された多面体係数の貼り合わせと等価か？

主な発見

• トロイダルファン $\Delta(X,U)$ は、$Y \setminus U$ 上の各多面体係数 $\Delta_P$ の同次化を共通の面 $(0,\sigma)$ に沿って貼り合わせることで得られるファンに正確に一致する。これにより定理1が証明される。
• 多面体係数を用いて構成された $T$-多様体 $\widetilde{X}$ は、$X^{\prime\prime}$ である、有理的商写像のグラフの正規化と自然同型である。
• 座標環の $\pi^{-1}(U^\prime)$ 上の単項式の半群は、$k \geq -\min\langle u, \Delta_P \rangle$ を満たすペア $(k,u) \in \mathbb{Z} \times M$ に一致し、これにより同次化コーン $\delta_P$ が特徴づけられる。
• 双対コーン $\delta_P^\vee$ は、$u \in \sigma^\vee$ かつ $r \geq -\min\langle u, \Delta_P \rangle$ を満たすペア $(r,u) \in \mathbb{Q} \times M_{\mathbb{Q}}$ からなる。これにより同次化構成が裏付けられる。
• $C \setminus Y$ の点は、トロイダルファン $\Delta(X,U)$ に寄与しない。ファン構造に影響するのは $Y \setminus U$ 上の係数のみである。
• $\operatorname{SL}(2,\mathbb{C})$ が $\mathbb{A}^4$ に埋め込まれる例は、結果を確認する。$\operatorname{conv}\{0,e_i\}$ の同次化は、それぞれ $(1,0)$ と $(1,e_i)$ で生成されるコーン $\delta_0$ および $\delta_1$ を与える。