[論文レビュー] Note on orbifold Chow ring of semi-projective toric Deligne-Mumford stacks

Yunfeng Jiang, Hsian‐Hua Tseng|ArXiv.org|Jun 13, 2006

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

ひとこと要約

本稿は、射影的トーリックDeligne-Mumfordスタックにおけるオルビフォールド・チャウ環の公式を、半射影的（semi-projective）の場合に一般化する。半射影的トーリックDMスタックのオルビフォールド・チャウ環は、格子の部分群上の変形群環であり、スタックィー・ファンからの関係式で割ったものに同型であることを証明する。さらに、ラウレンス・トーリックDMスタックのオルビフォールド・チャウ環は、その関連するハイパートーリックDMスタックのそれと同型であり、[HS]の結果をオルビフォールド設定に拡張する。

ABSTRACT

We prove a formula for the orbifold Chow ring of semi-projective toric DM stacks, generalizing the orbifold Chow ring formula of projective toric DM stacks by Borisov-Chen-Smith. We also consider a special kind of semi-projective toric DM stacks, the Lawrence toric DM stacks. We prove that the orbifold Chow ring of a Lawrence toric DM stack is isomorphic to the orbifold Chow ring of its associated hypertoric DM stack studied in \cite{JT}.

研究の動機と目的

• ボリスコフ・チエン・スミスの射影的トーリックDMスタックにおけるオルビフォールド・チャウ環の公式を、半射影的トーリックDMスタックへ拡張すること。
• 半射影的トーリックDMスタックにおけるねじれセクターの構造を調べ、オルビフォールドコhomologyにおけるその役割を解明すること。
• ラウレンス・トーリックDMスタックのオルビフォールド・チャウ環とその関連するハイパートーリックDMスタックのそれとの間の環同型を確立すること。
• 半射影的トーリック多様体のチャウ環のスタニーリー・ライスナー環の記述を、オルビフォールド設定へ一般化すること。

提案手法

• 格子 $ N_{\text{\Sigma}} = |\Sigma| \oplus N_{\text{tor}} $ 上の変形群環の構成を用いる。ここで $ |\Sigma| $ はファン $ \Sigma $ の格子点の集合、$ N_{\text{tor}} $ は $ N $ の torsion 部分群である。
• ファン内の錐に対する支持条件を用いて、オルビフォールドカップ積を定義する：$ y^{c_1} \cdot y^{c_2} = y^{c_1 + c_2} $ であり、$ \overline{c}_1, \overline{c}_2 $ が共通の錐に含まれる場合に限る。そうでなければ 0 である。
• 半射影的トーリックDMスタックの各ねじれセクターが、自身もまた半射影的トーリックDMスタックであることを証明する。これにより、帰納的構造解析が可能になる。
• 拡張されたスタックィー・ファン形式を用いて、オルビフォールド・チャウ環を $ \mathbb{Q}[N_{\Sigma}] $ の商として記述する。ここで、$ \sum_{i=1}^n e(b_i) y^{b_i} $ で生成されるイデアルによる商である。$ e \in N^* $ に対してすべての $ e $ が対象となる。
• ラウレンスのリフト構成を用いて、ラウレンス・トーリックDMスタックのねじれセクターとハイパートーリックDMスタックのそれとの関係を確立する。
• ボックス要素とその双対の間の次数を保存する写像と、オルビフォールドカップ積の整合性を用いて、環同型を確立する。

実験結果

リサーチクエスチョン

• RQ1 射影的トーリックDMスタックにおけるオルビフォールド・チャウ環の公式を、半射影的ケースにどのように一般化できるか？
• RQ2 半射影的トーリックDMスタックにおけるねじれセクターの構造は何か？また、それらは半射影性を引き継ぐか？
• RQ3 ラウレンス・トーリックDMスタックのオルビフォールド・チャウ環は、その関連するハイパートーリックDMスタックのそれと同型か？
• RQ4 ラウレンス構成における一般な要素 $ \theta $ の選択に依存して、オルビフォールド・チャウ環の記述が変化するか？

主な発見

• 半射影的トーリックDMスタック $ \mathcal{X}(\mathbf{\Sigma}) $ のオルビフォールド・チャウ環は、$ \mathbb{Q}[N_{\Sigma}] / \left\langle \sum_{i=1}^n e(b_i) y^{b_i} \mid e \in N^* \right\rangle $ に同型であり、ここで $ N_{\Sigma} = |\Sigma| \oplus N_{\text{tor}} $ である。
• 半射影的トーリックDMスタックの各ねじれセクターは、自身もまた半射影的トーリックDMスタックである。この性質により、環同型に必要な構造的性質が保たれる。
• ラウレンス・トーリックDMスタックのオルビフォールド・チャウ環は、その関連するハイパートーリックDMスタックのそれと同型であり、ハウスエル＝シュトゥルムフェルズの結果をオルビフォールド設定へ拡張する。
• ボックス要素とその双対のリフト写像 $ \phi $ を通じて、同型は保たれ、オルビフォールドカップ積の構造が一貫している。
• オルビフォールド・チャウ環の記述は、スタックィー・ファン $ \beta: \mathbb{Z}^m \to N $ のマトロイド複体にのみ依存し、一般な $ \theta $ の選択とは無関係である。ただし、ファン $ \Sigma_\theta $ は $ \theta $ に依存して変化する。
• ラウレンスの場合のオルビフォールドカップ積は、障害 bundle のデータと変形群環における係数の一致を用いて、ハイパートーリックの場合の積と一致する。