[論文レビュー] Q-Gorenstein deformations of non-normal surfaces

Nikolaos Tziolas|ArXiv.org|Apr 11, 2005

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

ひとこと要約

本稿は、非正規な表面 $ H $ が半対数 canonical (slc) 特異点を有し、その特異点が適切な曲線 $ \Delta $ 沿いに分布する場合の $ \mathbb{Q} $-Gorenstein変形の層 $ T^{1}_{qG}(H) $ を特徴づけ、その分岐的台がちょうど $ \Delta $ であることを示している。各既約成分 $ C \subset \Delta $ に対して、$ T^{1}_{qG}(H) \otimes \mathcal{O}_C $ の局所自由部がラインバンドルであることを証明し、$ \tilde{C}^2 $ と特異点の不変量を含む次数の公式を導出する。本研究は、$ \Delta \subset H $ が $ \mathbb{Q} $-Gorenstein終極的平滑化を許容するための基準を提供する。

ABSTRACT

Revised Version. An example of a locally smoothable stable surface that does not have a global smoothing has been added.

研究の動機と目的

• 非正規な表面の局所的 $ \mathbb{Q} $-Gorenstein変形理論を理解すること。
• このような表面の局所的 $ \mathbb{Q} $-Gorenstein平滑化がグローバルに拡張可能となる条件を特定すること。
• 層 $ T^{1}_{qG}(H) $ の $ \mathbb{Q} $-Gorenstein変形を特徴づけ、その台と $ \Delta $ の各成分における構造を特定すること。
• 各既約成分 $ C \subset \Delta $ に対して、$ T^{1}_{qG}(H) \otimes \mathcal{O}_C $ のラインバンドル成分の次数の公式を導出すること。
• $ \Delta \subset H $ が $ \mathbb{Q} $-Gorenstein終極的平滑化を許容するための基準を確立すること。

提案手法

• グローバルおよび局所の $ \mathbb{Q} $-Gorenstein変形函手 $ \mathrm{Def}^{qG}(H) $ と $ \mathrm{Def}^{qG}_{\text{loc}}(H) $ を定義し、それらの間の自然変換を研究する。
• $ \mathrm{Def}^{qG}_{\text{loc}}(H) $ の接空間を $ H^0(T^{1}_{qG}(H)) $ として特徴づけ、ここで $ T^{1}_{qG}(H) \subset T^1(H) $ は局所的 $ \mathbb{Q} $-Gorenstein変形の層である。
• $ T^{1}_{qG}(H) $ の台の分岐的部が、ちょうど $ H $ が非正規となる曲線 $ \Delta $ であることを示す。
• 各既約成分 $ C \subset \Delta $ に対して、$ T^{1}_{qG}(H) \otimes \mathcal{O}_C $ が局所自由部としてラインバンドルを有することを証明する。
• $ \tilde{C}^2 $、正規化 $ \pi: \tilde{H} \to H $ における厳密変換の自己自己交叉、および特異点の解析的不変量を用いて、このラインバンドルの次数の公式を導出する。
• 最小解消を用いて $ \hat{F}_P^2 $、$ \hat{F}_{1,Q}^2 $、$ \hat{F}_{2,Q}^2 $、および交点数を計算し、次数の公式の正当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 非正規な表面の局所的 $ \mathbb{Q} $-Gorenstein変形の層 $ T^{1}_{qG}(H) $ の構造は何か？
• RQ2 このような表面の局所的 $ \mathbb{Q} $-Gorenstein平滑化がグローバルに拡張可能となる条件は何か？
• RQ3 各既約成分 $ C \subset \Delta $ に対して、$ T^{1}_{qG}(H) \otimes \mathcal{O}_C $ の局所自由部として現れるラインバンドルの次数は何か？
• RQ4 どのようなクラス qG の特異点（例：退化したカスプ、$ \mathbb{Z}_n $-商）が $ \mathbb{Q} $-Gorenstein終極的平滑化を許容するか？
• RQ5 $ \tilde{C}^2 $、$ \beta_3(P) $、$ \beta_4(Q) $、および $ \delta_3(P) $、$ \delta_4(Q) $ の不変量が、$ C $ 上のラインバンドルの次数の公式においてどのように関係しているか？

主な発見

• 層 $ T^{1}_{qG}(H) $ の台の分岐的部は、ちょうど $ H $ が非正規となる曲線 $ \Delta $ である。
• 各既約成分 $ C \subset \Delta $ に対して、層 $ T^{1}_{qG}(H) \otimes \mathcal{O}_C $ は局所自由部としてラインバンドルを有する。
• このラインバンドルの次数は、$ \tilde{C}^2 $ と特異点の不変量を含む公式によって与えられ、具体的には $ \sum_P \beta_3(P) + \sum_Q \beta_4(Q) + \sum_R \beta_4'(R) $ である。ここで、和はタイプ $ T^3_{p,q} $、$ T^4_{p,q,r} $、および $ T^4_{2,q,r} $ の退化カスプの上を取る。
• タイプ $ T^3_{p,q} $ の退化カスプ $ P \in U_3 $ に対して、寄与は $ \beta_3(P) = -1 + \frac{1}{p} + \frac{1}{q} $ であり、補正項は $ \delta_3(P) = \frac{(p+q)^2}{pq(p+q+pq)} $ である。
• タイプ $ T^4_{p,q,r} $ の退化カスプ $ Q \in W_4 $ に対して、寄与は $ \beta_4(Q) = -1 + \frac{1}{p-2} + \frac{1}{q-2} $ であり、$ \delta_4(Q) = \frac{1}{p-2} + \frac{1}{q-2} - \frac{r(p+q)-4}{rpq - p - q} $ である。
• 次数の公式から、$ d = \tilde{C}^2 + p + 2c_1 + 2c_2 + \sum_{P \in U_3} \alpha_3(P) + \sum_{Q \in U_4} \alpha_4(Q) $ が得られる。ここで $ \alpha_3(P) = 1 + \frac{p+q}{pq + p + q} $ および $ \alpha_4(Q) = \frac{r(p+q)-4}{rpq - p - q} $ であり、無限大での極限を取ることで無限大パラメータに対しても定義される。