[論文レビュー] Base change for the relative canonical sheaf in families of normal varieties

Zsolt Patakfalvi|arXiv (Cornell University)|May 28, 2010

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

ひとこと要約

この論文は、正規代数多様体の族において、相対 canonical sheaf に対する基本変換の整合性が、一般ファイバーが Cohen-Macaulay で特殊ファイバーに S_{n-1}-特異点を含む場合に失敗することを示している。主な結果は、関手的相対 canonical sheaf を持つモジュライ空間では、このような退化が不可能であることを示しており、次に、次元 n の S_{n-1}, G_2 環の canonical sheaf が S_3 でないことを示している。

ABSTRACT

We show that the compatibility of the relative canonical sheaf with base change fails generally in families of normal varieties. Furthermore, it always fails if the general fiber of a family of pure dimension n is Cohen-Macaulay and the special fiber contains a strictly S_{n-1} point. In particular, in moduli spaces with functorial relative canonical sheaves Cohen-Macaulay schemes can not degenerate to S_{n-1} schemes. Another, less immediate consequence is that the canonical sheaf of an S_{n-1}, G_2 scheme of pure dimension n is not S_3.

研究の動機と目的

• 正規代数多様体の族における基本変換の下での相対 canonical sheaf の挙動を調査すること。
• ファイバーが低深さの特異点、特に S_{n-1} 点を有する場合に、基本変換の整合性が成り立つかどうかを特定すること。
• 関手的相対 canonical sheaf を持つモジュライ空間に与える影響を明確化すること。
• 純次元 n の S_{n-1}, G_2 環上の canonical sheaf の深さ特性を検討すること。

提案手法

• 深さ条件と特異点クラスを用いて、正規代数多様体の族における特異ファイバーの局所構造を分析する。
• S_k 特異点と G_2 環の理論を適用し、基本変換の失敗を特徴付ける。
• 双対性とコホモロジー的技法を用いて、基本変換の下での相対 canonical sheaf の挙動を研究する。
• 純次元 n の S_{n-1}, G_2 環の canonical sheaf が S_3 でないことを確立する。
• 一般ファイバーが Cohen-Macaulay で特殊ファイバーに S_{n-1} 点を含む場合、基本変換が成り立たないことを示す還元論的証明を用いる。
• 既知の canonical sheaf と深さに関する結果を活用し、特異な場合における正則性の欠如を導出する。

実験結果

リサーチクエスチョン

• RQ1 正規代数多様体の族において、S_{n-1} 特異点を有する場合、相対 canonical sheaf は基本変換と可換か？
• RQ2 Cohen-Macaulay な族が、S_{n-1} 点を有するファイバーに退化する場合、基本変換の整合性を保ち得るか？
• RQ3 純次元 n の S_{n-1}, G_2 環上の canonical sheaf の深さは何か？
• RQ4 ファイバーが S_{n-1} 特異点を有し、一般ファイバーが Cohen-Macaulay である場合、相対 canonical sheaf は S_3 か？
• RQ5 この失敗が、関手的相対 canonical sheaf を持つモジュライ空間に与える影響は何か？

主な発見

• 一般に、正規代数多様体の族における相対 canonical sheaf に対する基本変換の整合性は失敗する。
• 一般ファイバーが Cohen-Macaulay で、特殊ファイバーに厳密に S_{n-1} 点を含む場合、失敗は保証される。
• 関手的相対 canonical sheaf を持つモジュライ空間では、Cohen-Macaulay 環は S_{n-1} 環に退化できない。
• 純次元 n の S_{n-1}, G_2 環の canonical sheaf は S_3 でない。
• 基本変換の失敗は、特異点のタイプに起因するものであり、特定の構成の結果ではない。
• これらの結果は、canonical sheaf を含むモジュライ理論における退化に対する強い障害を確立する。