[論文レビュー] Boundedness of minimal partial du Val resolutions of canonical surface foliations

Yenan Chen|arXiv (Cornell University)|Dec 6, 2019

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

ひとこと要約

本稿では、一般型の正則表面foliationの最小部分du Val解体の有界性を確立し、固定されたHilbert関数をもつこのようなfoliated表面が有界な族をなすことを証明する。主な結果は、canonicalモデルとその解体が有界であることを示しており、特異点のないcusp特異点を除く領域で多重canonical線形系統が有効に生成され、dihedralおよびcusp特異点に対して一様な境界が得られることを示している。

ABSTRACT

In this paper, we prove the boundedness of foliated surfaces $(X,\mathscr{F})$ which are minimal partial du Val resolutions of canonical models $(X_c,\mathscr{F}_c)$ of general type. For applications, we show the boundedness of non-cusp singularities on canonical models of foliated surfaces of general type and the effective generation on the complement of the cusp singularities.

研究の動機と目的

• 一般型の正則表面foliationの最小部分du Val解体の有界性を確立すること。
• 先行研究の双有理的有界性に関する結果を改善し、canonicalモデルとその解体の両方の有界性を示すこと。
• foliated表面のcanonicalモデルにおけるdihedral特異点の指数および埋め込み次元に対する有効な境界を提供すること。
• [HL21, 猜測1]を確認するため、cusp特異点を除く領域で多重canonical線形系統が有効に生成されることを示すこと。
• 一般型のfoliated表面の文脈において、cusp特異点の構造に対する一様な境界を確立すること。

提案手法

• Mumfordの正則完全表面における交点論を用いて、Weil除集合の交点数を定義および計算する。
• foliationと接接層の階数1の飽和部分層の双対性を応用し、特異点を持つ表面におけるfoliationの定義を行う。
• cuspおよびdihedral特異点の最小解体を活用して、例外除集合およびその交点行列を分析する。
• Zariski分解および擬効果的性の議論を用いて、解体上の除集合の大きさおよび正則性を研究する。
• 特異点における埋め込み次元および群作用の有界性を活用し、指数および位数の均一な境界を導出する。
• [HL21]、[Fuj12]、[Lan01]の結果を応用し、例外的locusを除く領域で捩れたcanonicalバンドルの非常に正則性を確立する。

実験結果

リサーチクエスチョン

• RQ1 固定されたHilbert関数 P(m) = χ(X_c, mK_F_c) に対して、一般型の正則表面foliationの最小部分du Val解体は有界か？
• RQ2 foliated表面のcanonicalモデルにおけるdihedral特異点の指数および埋め込み次元に対して有効な境界を確立できるか？
• RQ3 十分に大きなmがmK_Fの線形系統 |mK_F| がcusp特異点を除く領域で双有理的写像を定め、その写像が同型であるか？
• RQ4 一般型のfoliated表面の文脈において、cusp特異点の構造に一様な境界が存在するか？
• RQ5 解体およびcanonicalモデルの有界性を用いて、一般型のfoliated表面のモジュライ理論を前進させられるか？

主な発見

• 任意の固定されたHilbert関数 P(m) = χ(X_c, mK_F_c) に対して、canonicalモデル (X_c, F_c) とその最小部分du Val解体 (X, F) の集合は有界な族をなす。
• 各dihedral特異点の指数および埋め込み次元が、それぞれC_1およびC_2で一様に有界であるような、一様な定数C_1, C_2が存在する。
• κ(K_F_c) = 2 かつ固定されたHilbert関数 P(m) をもつ任意のcanonicalモデル (X_c, F_c) に対して、ある整数m_Pが存在し、mがm_Pで割り切れるとき、|mK_F| はcusp特異点を除く領域で双有理的写像を定め、その写像は同型である。
• cusp特異点の最小解体における交点行列および成分数は、族全体で一様に有界である。
• 各cusp特異点におけるfoliationの指数は有界であり、例外除集合上の群作用の位数も有界である。
• 最小解体 g: Y → X の例外的locusを除く領域において、K_Y + βK_G は非常に正則であるため、cuspを除く領域で多重canonical線形系統が有効に生成される。