[論文レビュー] Polyhedral Divisors and Algebraic Torus Actions

Klaus Altmann, Juergen Hausen|ArXiv.org|Jun 19, 2003

Algebraic Geometry and Number Theory参考文献 13被引用数 5

ひとこと要約

本稿は、半射的多様体上の「適切な多面体的除数」を用いて、有効な代数的トーラス作用をもつ正規アフィン多様体の完全な組合せ的分類を導入する。これは古典的なトーリック理論や一般化されたコーン構成を一般化し、このような多様体がこれらの除数から構成されるグレーデッド代数のスペクトルとして得られることを示し、適切な多面体的除数と正規アフィン $T$-多様体の間のカテゴリの同値性を確立する。

ABSTRACT

We provide a complete description of normal affine varieties with effective algebraic torus action in terms of what we call proper polyhedral divisors on semiprojective varieties. Our theory extends classical cone constructions of Dolgachev, Demazure and Pinkham to the multigraded case, and it comprises the theory of affine toric varieties.

研究の動機と目的

• 有効な代数的トーラス作用をもつ正規アフィン多様体の完全な分類を提供すること。
• トーリック幾何学の古典的構成と $\mathbb{C}^*$-作用の一般化されたアフィンコーンを統一・一般化すること。
• 適切な多面体的除数と正規アフィン $T$-多様体の間の函子的対応を確立すること。
• 与えられた $T$-多様体の定義多面体的除数を計算する標準的な方法を提示すること。
• 多面体的除数の組合せ的データを用いて軌道構造と $T$-等長同型を特徴付けること。

提案手法

• 半射的多様体 $Y$ 上の適切な多面体的除数 $\mathfrak{D}$ を、$\Delta_i \subset N_\mathbb{Q}$ が共通の鋭い尾錐 $\sigma$ をもつ多面体の形式的和 $\sum \Delta_i \otimes D_i$ として定義する。
• $u \in \sigma^\vee \cap M$ に対して、評価写像 $u \mapsto \mathfrak{D}(u) = \sum \min_{v \in \Delta_i} \langle u, v \rangle D_i$ を構成する。
• $u$ が $\sigma^\vee$ の相対的内部にあるとき、$\mathfrak{D}(u)$ が半アメーブルかつビッグであることを要請することで、適切性を保証する。
• グレーデッド代数 $A = \bigoplus_{u \in \sigma^\vee \cap M} \Gamma(Y, \mathcal{O}(\mathfrak{D}(u)))$ を構成し、これは正規的かつ有限生成である。
• $T = \operatorname{Spec}(\mathbb{C}[M])$-作用を $M$-グレーディングによって備えた多様体 $X = \operatorname{Spec}(A)$ を定義する。
• GIT商のチャンバ構造と被約変形を用いて、任意の $T$-多様体に対して最小の多面体的除数を構成する。

実験結果

リサーチクエスチョン

• RQ1 有効なトーラス作用をもつ正規アフィン多様体は、どのように組合せ的データを用いて完全に分類できるか？
• RQ2 適切な多面体的除数は、どのようにして古典的なトーリック理論および一般化されたコーン構成を一般化するか？
• RQ3 多面体的除数が正規的かつ有限生成な代数を定義し、したがって正規アフィン多様体を定義するための条件は何か？
• RQ4 多面体的除数から $T$-多様体の軌道構造と局所的幾何をどのように回復できるか？
• RQ5 どのような条件下で二つの多面体的除数が $T$-等長同型な $T$-多様体を定義するか？

主な発見

• 写像 $\mathfrak{D} \mapsto X = \operatorname{Spec}(A)$ は、半射的多様体上の適切な多面体的除数から正規アフィン $T$-多様体への、本質的に全射的かつ忠実な共変関手を定める。
• 基底多様体の被約変形による局所化を施すと、この関手はカテゴリの同値性にまで高まり、完全な分類が可能になる。
• グレーデッド代数 $A = \bigoplus_{u \in \sigma^\vee \cap M} \Gamma(Y, \mathcal{O}(\mathfrak{D}(u)))$ は正規的かつ有限生成であり、$X$ が正規アフィン多様体であることを保証する。
• $(\mathbb{C}^*)^2$-作用をもつアフィン3次元多様体 $X = V(z_1^3 + z_2^4 + z_3 z_4)$ に対して、$\mathbb{P}^1$ 上の定義多面体的除数の係数は、$\Delta_0 = (1/3, 0) + \sigma$, $\Delta_1 = (-1/4, 0) + \sigma$, $\Delta_\infty = (\{0\} \times [0,1]) + \sigma$ である。ここで $\sigma$ は $(1,0)$ と $(1,12)$ で生成される錐である。
• $T$-多様体 $X$ の最小の多面体的除数は、$X \cap (\mathbb{K}^*)^n$ の像を商トーリック多様体に正規化したものの上への引き戻しにより、トーリック環境多様体から構成できる。
• $X$ の軌道構造は多面体的除数の組合せ的性質に符号化されており、尾錐と係数多面体から局所的軌道データを回復できる。