[論文レビュー] The Grothendieck and Picard groups of a complete toric DM stack

S. Paul Smith|arXiv (Cornell University)|Jun 2, 2008

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

ひとこと要約

この論文は、グレード付き多項式環と適切な無関係イデアルに基づく同次座標環の構成を用いて、完全なトーリックデリーニュ＝マーフォークスタックのグロテンディーク群およびピカード群を計算する。スタックを商スタック $[(V-Z)/G]$ としてモデル化することで、スタック上の準連接層の圏とグレード付き加群の商圏の間の同値関係を確立し、グレード付き加群論およびグレード付き環に対する中島の補題を用いて $K_0$ および $\operatorname{Pic}$ の明示的計算を可能にする。

ABSTRACT

We compute the Grothendieck and Picard groups of a complete smooth toric Deligne-Mumford stack by using a suitable category of graded modules over a polynomial ring.

研究の動機と目的

• スタック理論的な道具を避け、$K_0$ および $\operatorname{Pic}$ を計算するための初等的で加群論的なアプローチを提供すること。
• コクスの構成を任意の有限生成アーベル群のグレーディング群に一般化し、トーリックDMスタックへの同次座標環の概念を拡張すること。
• $\mathsf{Qcoh}([ (V-Z)/G ])\,$ と商圏 $\mathsf{Gr}(S,\Gamma)/\mathsf{T}$ の間のカテゴリカル同値関係を確立すること。ここで $S$ はグレード付き環で、$\mathsf{T}$ は $Z$ に台を持つ加群の部分圏である。
• スタック上の任意の連接層が、可逆層の直和による有限分解を持つことを証明し、$K_0$ の計算を簡略化すること。
• 完全なトーリックスタックに関する先行研究を、文字群に torsion を含むより一般のトーリックDMスタックへと拡張すること。

提案手法

• スタックの同次座標環をモデル化するため、三重組 $(S, \Gamma, \mathfrak{a})$ を用いる。ここで $S$ は $\Gamma$-グレード付き多項式環、$\Gamma$ は有限生成アーベル群、$\mathfrak{a}$ は無関係イデアルである。
• $\mathsf{T}$ が $Z$ に台を持つ加群の部分圏であるとき、同値関係 $\mathsf{Qcoh}([ (V-Z)/G ]) \simeq \mathsf{Gr}(S,\Gamma)/\mathsf{T}$ を活用し、幾何的問題を加群論的問題に翻訳する。
• 任意の有限生成アーベル群のグレーディング群に対するグレード付き加群のバージョンの中島の補題を適用し、有限生成グレード付き射影加群が自由加群のシフトの直和であることを示す。
• 環 $S$ の構造と文字群 $\Gamma$ の作用を用いて、可逆層 $\mathcal{O}_\mathcal{X}(\alpha)$ を定義し、それらをグレード付き $S$-加群に関連付ける。
• グレード付き加群の列を用いて、スカイクラッパー層および部分スタックの構造層の明示的分解を構成し、$K_0$ の類の計算を可能にする。
• スタック間の準同型を同次座標環への誘導写像として分析し、$K_0$ および $\operatorname{Pic}$ 上の引き戻しを代数的に実現する。

実験結果

リサーチクエスチョン

• RQ1 トーリックDMスタックのグロテンディーク群 $K_0$ は、どのようにグレード付き加群の圏を用いて計算できるか？
• RQ2 トーリックDMスタックのピカード群の構造は何か？また、グレーディング群 $\Gamma$ とどのように関係しているか？
• RQ3 同次座標環の構成は、非自由なグレーディング群に対しても一般化可能か？これにより、すべての完全なトーリックDMスタックを含められるか？
• RQ4 トーリックDMスタック間の準同型は、$K_0$ および $\operatorname{Pic}$ 上にどのように写像を誘導するか？その代数的実現は何か？
• RQ5 トーリックDMスタック上の連接層の圏は、グレード付き加群の商圏としてどの程度記述可能か？

主な発見

• 完全なトーリックDMスタック $\mathcal{X}$ のグロテンディーク群 $K_0(\mathcal{X})$ は、$\mathbb{P}[q,p]$ の場合、$\mathbb{Z}[u^{\pm 1}]/((1-u^p)(1-u^q))$ に同型であり、オービフォールド構造を反映している。
• $\mathcal{X} = \mathbb{P}[q,p]$ のとき、ピカード群 $\operatorname{Pic}(\mathcal{X})$ は $\mathbb{Z} \oplus \mathbb{Z}/(p,q)\mathbb{Z}$ に同型であり、torsion 部分はスタック構造に起因する。
• 北極におけるスカイクラッパー層 $\mathcal{O}_\mathfrak{n}$ の類は、$K_0$ 内で $[\mathcal{O}_\mathfrak{n}] = 1 - t$ である。ここで $t$ はグレード付き環の生成子である。
• スタックでない点 $\mathcal{O}_\lambda$ の類は $[\mathcal{O}_\lambda] = 1 - t^p = 1 - s^q$ を満たし、これは $i=0,\dots,p-1$ の各 $i$ に対して $[\mathcal{O}_\mathfrak{n}(-ie)]$ の $p$ 個のねじれたコピーの和に等しい。
• スタックでない点の構造層をラインバンドルでねじることで、$K_0$ 内の類は変化しない。なぜなら $1 - t^p = t(1 - t^p)$ であるからである。
• 写像 $\bar{\phi}: \mathbb{F}[p,q] \to \mathbb{P}^1$ は $K_0$ 上で全射を誘導し、その核は $t^p - 1$ によって生成される。これはオービフォールド商構造を反映している。