[論文レビュー] Integral Chow rings of toric stacks

Isamu Iwanari|ArXiv.org|May 24, 2007

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

ひとこと要約

この論文は、関連するスタック的ファンのスターリング＝ライスナー環に自然に同型である、トーリックスタックの積分チャウ環が成立することを確立している。これは、古典的なトーリック多様体の結果をスタック的設定に拡張したものである。等化的チャウコホモロジーと生成子と関係式による提示を用いて、トーラス不変部分スタックの交差積が、非単体的または非滑らかでも、スターリング＝ライスナー環の関係に正確に対応することを証明している。

ABSTRACT

The purpose of this paper is to prove that integral Chow rings of toric stacks are naturally isomorphic to Stanley-Reisner rings.

研究の動機と目的

• トーリックスタックの積分チャウ環を計算すること。これは、スタック的構造を持つトーリック多様体の一般化である。
• トーリック多様体のチャウ環とそのスターリング＝ライスナー環の古典的同型を、トーリックスタックの設定に拡張すること。
• スタック的構造（スタック的ファンを介して）が、積分設定におけるチャウ環と交差理論に与える影響を理解すること。
• 次元を超える次数におけるチャウ群の振る舞いを明確にすること。これはスキーム設定では説明できない現象である。
• トーリックスタックからその粗いモジュライ空間への押し出し写像が、乗数係数を除いて標準的なチャウ環の関係を回復することを示すこと。

提案手法

• トーリックスタックとスタック的ファンの間のカテゴリ同値性を用いて、組合せ論的データによってチャウ環を定義する。
• 商スタックの等化的チャウコホモロジーの枠組みを適用し、除法類の多項式環の商としてチャウ環を提示する。
• 標準的提示 $ A^*({\mathscr{X}}_{(\Delta,\Delta^0)}) \cong \mathbb{Z}[D_\rho]/(I_{(\Delta,\Delta^0)} + J_\Delta) $ を用い、関係は線形同値性とスタック的データに由来する。
• 粗いモジュライ写像 $ \pi: {\mathscr{X}}_{(\Delta,\Delta^{\text{can}})} \to X_\Delta $ を用いて、スタック的チャウ環と古典的トーリック多様体のチャウ環を有理数係数で関係付ける。
• エディジン＝グレアムおよびトタロの、滑らかなスタックの積分チャウ環に関する結果を適用し、$\mathbb{Z}$ 上で環構造が適切に定義されることを保証する。
• 大きな $N$ に対して $ A_i({\mathscr{X}}_{(\Delta,\Delta^0)}) \cong A_{i+N}([(W\times U)/G]) $ であるという事実を活用し、問題を商スタックの等化的チャウ群に還元する。

実験結果

リサーチクエスチョン

• RQ1 トーリックスタックの積分チャウ環とそのスタック的ファンのスターリング＝ライスナー環の間に自然な同型が存在するか？
• RQ2 スタック的構造（$\Delta^0$ を通じて）は、積分チャウ環におけるトーリック多様体の交差理論をどのように変更するか？
• RQ3 単体的トーリック多様体の古典的関係 $[V(\sigma)] \cdot [V(\tau)] = [V(\gamma)]$ が、乗数補正を伴うスタック的バージョンから導けるか？
• RQ4 スタックの次元を超える次数におけるチャウ環は、特にスターリング＝ライスナー環がその次数で非ゼロである場合、どのように振る舞うか？
• RQ5 トーリックスタックからその粗いモジュライ空間への押し出し写像は、チャウ環の構造と関係にどのように影響を与えるか？

主な発見

• トーリックスタックの積分チャウ環 $ A^*({\mathscr{X}}_{(\Delta,\Delta^0)}) $ は、$\Delta$ が滑らかでない場合でも、そのスタック的ファン $ (\Delta, \Delta^0) $ のスターリング＝ライスナー環に自然に同型である。
• ラヤ $ \rho_1 = \mathbb{R}_{\geq 0}(2e_1 - e_2) $, $ \rho_2 = \mathbb{R}_{\geq 0}(-e_1 + 2e_2) $, $ \rho_3 = \mathbb{R}_{\geq 0}(-e_1 - e_2) $ の例では、チャウ環は $ \mathbb{Z}[D_1,D_2,D_3]/(2D_1 - D_2 - D_3, -D_1 + 2D_2 - D_3, D_1D_2D_3) $ であり、$ A^1 \cong \mathbb{Z} \oplus \mathbb{Z}/3\mathbb{Z} $, $ A^2 \cong \mathbb{Z} \oplus (\mathbb{Z}/3\mathbb{Z})^2 $, および $ k \geq 3 $ に対して $ A^k \cong (\mathbb{Z}/3\mathbb{Z})^3 $ である。
• 重み付き射影直線 $ \mathcal{P}(a,b) $ では、チャウ環は $ \mathbb{Z}[t]/(ab \cdot t^2) $ であり、$ \gcd(a,b) = 1 $ のとき、次数 2 に torsion が存在することが示される。
• 押し出し写像 $ \pi_*: A^*({\mathscr{X}}_{(\Delta,\Delta^{\text{can}})}) \otimes \mathbb{Q} \to A^*(X_\Delta) \otimes \mathbb{Q} $ は環の同型であり、$ [{\mathscr{V}}(\sigma)] $ を $ \frac{1}{\text{mult}(\sigma)}[V(\sigma)] $ に写す。
• スターリング＝ライスナー環は、スタックの次元を超える次数でも非ゼロになり得る。これはスキームや代数的空間では不可能な現象である。
• $ \sigma $ と $ \tau $ が $ \gamma $ を生成するとき、$ A^*({\mathscr{X}}_{(\Delta,\Delta^0)}) $ 内で $ [{\mathscr{V}}(\sigma)] \cdot [{\mathscr{V}}(\tau)] = [{\mathscr{V}}(\gamma)] $ の関係が成り立ち、これは古典的交差ルールをスタック的設定に一般化している。