[論文レビュー] Super-rational singularities

Sándor J. Kovács|arXiv (Cornell University)|Mar 7, 2017

Algebraic Geometry and Number Theory参考文献 17被引用数 1

ひとこと要約

本稿では、解像を必要としない有理特異点の定義を導入し、解像を許す多様体に対しては古典的定義と同値であることを証明するとともに、有理特異点と擬有理特異点が一致することを示している。また、構造層および双対化層の高次の直接像に関する未解決問題を解決し、任意の特徴値においてコhen-Macaulay klt 特異点が有理特異点であることを示している。

ABSTRACT

A resolution-free definition of rational singularities is introduced, and it is proved that for a variety admitting a resolution of singularities, this is equivalent to the usual definition. It is also demonstrated that rational singularities are equivalent to pseudo-rational singularities. As applications, several open questions about the higher direct images of structure sheaves and dualizing sheaves are answered and it is proved that Cohen-Macaulay klt singularities are rational in arbitrary characteristic.

研究の動機と目的

• 解像を必要としない有理特異点の定義を提供すること。
• 有理特異点と擬有理特異点の同値性を確立すること。
• 構造層および双対化層の高次の直接像に関する未解決問題を解消すること。
• 任意の特徴値においてコhen-Macaulay klt 特異点が有理特異点であることを証明すること。

提案手法

• コホモロジーの消滅条件に基づく、解像を必要としない有理特異点の新しい基準を導入する。
• 双対性理論およびグロテンディークの局所双対性を用いて、新しい定義を古典的有理特異点と関連付ける。
• 双対複体の理論を用いて、有理特異点と擬有理特異点を比較する。
• 基底変換定理およびコホモロジー的降下を用いて、構造層および双対化層の高次の直接像を分析する。
• 正の特徴値における最小モデルプログラムの結果を応用して、klt 特異点を研究する。
• 有理特異点と擬有理特異点の同値性を用いて、異なる特異点クラス間で性質を移転する。

実験結果

リサーチクエスチョン

• RQ1 有理特異点は、解像を必要とせずに定義可能か？
• RQ2 一般に、有理特異点は擬有理特異点と同値か？
• RQ3 解像写像の下で、構造層および双対化層の高次の直接像はどのように振る舞うか？
• RQ4 任意の特徴値において、コhen-Macaulay klt 特異点は有理特異点か？

主な発見

• 解像を必要としない有理特異点の定義が、解像を許す多様体に限らず、すべての多様体に対して有効であることが確立された。
• 解像を許す多様体に対しては、新しい定義が古典的定義と同値であることが証明された。
• すべての次元において、有理特異点と擬有理特異点が同値であることが示された。
• 本稿は、構造層および双対化層の高次の直接像に関するいくつかの未解決問題を解決した。
• 任意の特徴値においてコhen-Macaulay klt 特異点が有理特異点であることが証明され、これまでの結果（特徴値0に限られていた）が拡張された。