[論文レビュー] Deformation invariance of rational pairs

Lindsay Crowl Erickson|arXiv (Cornell University)|Jul 1, 2014

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

ひとこと要約

本稿は、1978年のElkikの結果を一般化して、有理的対の変形不変性を確立する。平坦な族$(X,D)$が滑らかな点$s \in S$において有理的であるようなファイバーを持つならば、$(X,D)$はそのファイバーの近傍で有理的であることを示す。これには、節約的解体と対数的双対性を用いて、有理的特異点の理論をカーティエ除集合を伴う対へ拡張する。

ABSTRACT

Rational pairs, recently introduced by Kollár and Kovács, generalize rational singularities to pairs $(X,D)$. Here $X$ is a normal variety and $D$ is a reduced divisor on $X$. Integral to the definition of a rational pair is the notion of a thrifty resolution, also defined by Kollár and Kovács, and in order to work with rational pairs it is often necessary to know whether a given resolution is thrifty. In this paper we present several foundational results that are helpful for identifying thrifty resolutions and analyzing their behavior. We also show that general hyperplane sections of rational pairs are again rational. In 1978, Elkik proved that rational singularities are deformation invariant. Our main result is an analogue of this theorem for rational pairs: given a flat family $X o S$ and a Cartier divisor $D$ on $X$, if the fibers over a smooth point $s\in S$ form a rational pair, then $(X,D)$ is also rational near the fiber $X_s$.

研究の動機と目的

• 有理的特異点の変形不変性を、$D$が非特異ウェイリ除集合である有理的対$(X,D)$の設定に拡張すること。
• 有理的特異点から対への一般化に不可欠な、節約的解体を特定するための基礎的道具を開発すること。
• 有理的対に対するベルティーニ型定理を確立し、有理的対の一般な超平面切断が有理的であることを示すこと。
• 平坦族における変形のもとで有理的性が保存されることを証明し、Elkikの定理を対へ一般化すること。

提案手法

• 2つの条件を満たす解体（節約的解体）を用いる：$(X,D)$のsnc部分集合の各層の一般点において同型であり、解体における層の一般点においても同型であること。これにより、双対性や消失定理との整合性が保証される。
• グローテンディーク双対性を適用し、 canonical sheaves $\omega_Y(B)$ と $\omega_X(D)$ を関連づける。対数的トレース写像により、それらの間の単射準同型が得られる。
• 双対化層の押し出しを含む可換図式を構成し、スネイク補題を用いて写像$f_*\omega_Y(B) \to \omega_X(D)$の余核を解析する。
• ファイバー$X_s$の点で局所化し、Nakayamaの補題を適用して、余核が近傍で消えることを示し、双対化層の同型を証明する。
• すべての対数的解体（$Y$における$B + \operatorname{Ex}(f)$がsncをなす弱対数的解体）は、節約的性の条件2を自動的に満たすため、このような解体を変形議論に用いることができる。
• ベルティーニ型定理（定理4.4）を活用し、有理的対の一般な超平面切断が有理的であることを示す。これは、$S$が曲線である正則の場合の変形結果を支援する。

実験結果

リサーチクエスチョン

• RQ1 対$(X,D)$の解体がどのような条件下で節約的であるか。また、その性質をどのように検証できるか。
• RQ2 有理的対の性質が超平面切断のもとで安定するか。
• RQ3 平坦変形のもとで、対$(X,D)$の有理的性は保たれるか。特に、滑らかな点$s$におけるファイバーが有理的である場合にそのような性質が成り立つか。
• RQ4 有理的特異点の変形不変性は、カーティエ除集合$D$を伴う対$(X,D)$へ一般化可能か。

主な発見

• 本稿は、有理的対が変形不変であることを証明した：平坦族$X \to S$が滑らかな点$s \in S$において有理的であるファイバーを持つならば、$(X,D)$は$X_s$の近傍で有理的である。
• すべての対数的解体で、$Y$における$B + \operatorname{Ex}(f)$がsncをなす場合、自動的に節約的であることが示された。これにより、節約的性の検証が簡略化される。
• ベルティーニ型定理が証明された：射影的有理的対の一般な超平面切断は再び有理的である。
• 正則な場合、$S$が曲線であるとき、変形不変性により$X_s$の近傍のすべてのファイバーが有理的対であることが示される。
• $f_*\omega_Y(B) \to \omega_X(D)$の自然な写像の余核が$X_s$の近傍で消えることが示され、$\omega_X(D) \simeq f_*\omega_Y(B)$が成り立つ。これにより有理的性が確認される。
• 対数的トレース写像とグローテンディーク双対性の使用により、有理的対の文脈における双対化層の解析に強固な枠組みが提供される。