[論文レビュー] Deformations of log canonical and F-pure singularities

Janós Kollár, Sándor J. Kovács|arXiv (Cornell University)|Jul 17, 2018

Homotopy and Cohomology in Algebraic Topology被引用数 3

ひとこと要約

本稿では特異点における「持ち上げ可能な局所コホモロジー」の概念を導入し、対数正則またはF純なファイバーをもつ平坦族に対して、相対双対化複体のコホモロジ一層が平坦であり、基底変換と可換であることを証明する。主な貢献は、この条件下でコhen-Macaulay性、半対数正則、Du Bois、F純特異点がすべて変形不変であることを統一的な枠組みで示したことにある。

ABSTRACT

We introduce a lifting property for local cohomology, which leads to a unified treatment of the dualizing complex for flat morphisms with semi-log-canonical, Du Bois or F-pure fibers. As a consequence we obtain that, in all 3 cases, the cohomology sheaves of the relative dualizing complex are flat and commute with base change. We also derive several consequences for deformations of semi-log-canonical, Du Bois and F-pure singularities.

研究の動機と目的

• 対数正則、Du Bois、F純特異点の変形理論を、共通のコホモロジー的性質によって統一すること。
• コhen-Macaulay性が、これらの特異点に対して変形不変であることを確立すること。
• 相対双対化複体のコホモロジ一層の平坦性および基底変換の可換性に関する一般基準を提供すること。
• 新しい持ち上げ性質を用いて、既知の特異点の変形に関する結果を、より広い特異点のクラスへと拡張すること。
• F反-nilpotentおよびDu Bois特異点が持ち上げ可能な局所コホモロジーを持つことを証明し、主要定理の根拠を提供すること。

提案手法

• 底環A上で「持ち上げ可能な局所コホモロジー」の概念を導入し、環Rからその商T = R/Iへの局所コホモロジー写像が全射であることを要請する。
• Du Bois特異点およびF反-nilpotent特異点（F純特異点を含む）が、この持ち上げ性質を満たすことを証明する。
• Artin環を基底とする複体に対して、一般の平坦性および基底変換の基準を確立し、主な技術的結果に至る。
• 持ち上げ性質を用いて、平坦族において相対双対化複体のコホモロジ一層が基底上で平坦であり、基底変換と可換であることを示す。
• 主定理を応用し、Snおよびコhen-Macaulay条件の変形不変性を証明する。
• 基準を用いて、アーベル多様体の錐や正標数・0標数における他の特異点に関する帰結を導出する。

実験結果

リサーチクエスチョン

• RQ1 平坦族において、相対双対化複体のコホモロジ一層がいつ基底変換と可換になるか。
• RQ2 対数正則、F純、Du Bois特異点のうち、どの特異点が局所コホモロジーの持ち上げ性質を持ち、双対化複体の層の平坦性を保証するか。
• RQ3 対数正則およびF純特異点に対して、コhen-Macaulay性は小さな変形のもとでも保たれるか。
• RQ4 F純とF注入の間のクラスであるF反-nilpotent特異点に対しても、持ち上げ可能な局所コホモロジーが成り立つか。
• RQ5 持ち上げ可能な局所コホモロジーを持つ特異点に対して、Sn条件の変形開性を確立できるか。

主な発見

• Theorem 6.1で示されたように、Du Bois特異点はその底体上で持ち上げ可能な局所コホモロジーを持つ。
• Proposition 7.2およびCorollary 7.3で示されたように、F反-nilpotent特異点（F純特異点を含む）はその底体上で持ち上げ可能な局所コホモロジーを持つ。
• Theorem 5.14で示されたように、持ち上げ可能な局所コホモロジーを持つファイバーをもつ平坦族において、相対双対化複体のコホモロジ一層は基底上で平坦であり、基底変換と可換である。
• Corollary 1.5およびTheorem 8.5で示されたように、対数正則およびF純特異点に対してコhen-Macaulay性は変形不変である。
• Corollary 8.7で示されたように、標識0の体上、もしくは正標数における通常のアーベル多様体の上に、次元≥2のアーベル多様体の錐は滑らかにできない。
• Theorem 8.3およびCorollary 8.2で示されたように、持ち上げ可能な局所コホモロジーを持つ特異点に対して、Sn条件は変形開である。