[論文レビュー] Rational singularities

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

Polynomial and algebraic computation被引用数 59

ひとこと要約

本稿は、特異点の解消を必要としない有理特異点の定義を導入し、特徴標数 0 における古典的定義との同値性を証明するとともに、有理特異点に対するKempf型の基準を確立した。これは、その設定ですでに新しい結果である。さらに、擬有理特異点が有理特異点であること、および任意の特徴標数においてコhen-Macaulay dlt 特異点が有理特異点であること（Elkik型の結果の拡張）を示した。

ABSTRACT

A resolution-free definition of rational singularities is introduced, and it is proved that for a variety admitting a resolution of singularities, so in particular in characteristic zero, this is equivalent to the usual definition. It is also demonstrated that pseudo-rational singularities are rational. The main theorem, a Kempf-type criterion for rational singularities, is new even in characteristic zero contrasting an earlier result of Cutkosky that a similar result with slightly different assumptions could not hold. Several applications are included. In particular, an Elkik-type theorem, proving that Cohen-Macaulay dlt singularities are rational in arbitrary characteristic.

研究の動機と目的

• 特異点の解消を必要としない有理特異点の定義を提供すること。
• 解消が存在する多様体、特に特徴標数 0 において、この新しい定義が古典的定義と同値であることを証明すること。
• 擬有理特異点が有理特異点であることの証明。
• 特徴標数 0 においても有効である有理特異点に対するKempf型基準を確立すること。
• コhen-Macaulay dlt 特異点が任意の特徴標数において有理特異点であることの証明により、Elkik型定理を拡張すること。

提案手法

• コホロロジー的消失条件に基づく、解消を要しない有理特異点の新しい定義を構築する。
• 導来カテゴリおよびグロテンディーク双対性を用いて、明示的な解消を必要とせずに特異点を分析する。
• 正則線分束と高次直接像を含むKempf型基準を適用し、有理特異点を特徴付ける。
• 双対性理論および局所コホモロジーの技術を用いて、正標数および零標数における特異点を比較する。
• dlt 特異点の文脈において、乗数イデアルおよびテストイデアルの理論を活用し、有理特異点の証明を行う。
• Du Bois 特異点の概念およびそれらと有理特異点との関係を用いて、任意の特徴標数における包含関係を確立する。

実験結果

リサーチクエスチョン

• RQ1 有理特異点は、特異点の解消を必要とせずに定義可能だろうか？
• RQ2 特徴標数 0 において、この新しい解消を要しない定義は古典的定義と同値だろうか？
• RQ3 擬有理特異点は必然的に有理特異点だろうか？
• RQ4 特徴標数 0 において、有理特異点に対するKempf型基準は成立するだろうか？もしそうなら、どのような条件下で成立するか？
• RQ5 任意の特徴標数において、コhen-Macaulay dlt 特異点は有理特異点だろうか？

主な発見

• 解消を要しない有理特異点の定義が導入され、特徴標数 0 における古典的定義と同値であることが証明された。
• この新しい定義により、特徴標数 0 においても有効なKempf型基準が得られ、類似の仮定のもとで、これまでは達成されていなかった結果となった。
• 擬有理特異点が有理特異点であることが示され、長年の予想が裏付けられた。
• 本稿では、任意の特徴標数においてコhen-Macaulay dlt 特異点が有理特異点であることを証明し、Elkik型定理を拡張した。
• 導来カテゴリおよびグロテンディーク双対性が、特異点解析における解消の要請を回避するために効果的に用いられた。
• これらの結果により、特にdltおよび擬有理特異点に対して、有理特異点理論の適用範囲が正標数の設定へと拡張された。