[論文レビュー] On a comparison of minimal log discrepancies in terms of motivic integration

Masayuki Kawakita|ArXiv.org|Aug 21, 2006

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

ひとこと要約

この論文は、動機的積分を用いて、正則なQ-ゴレンシュタイン部分多様体Xとその滑らかな周囲多様体Aとの間で、最小対数特異値（mld）の比較を確立する。Xが局所的完全交差（l.c.i.）でないときのずれを測る弱l.c.i.欠陥Q-イデアル層D_Xを導入することで、著者らはmld_Z(X, D_X) = mld_Z(A, I_X^c)を証明し、正確な付随の反転を明確にし、従来の弧空間技法による証明を簡略化する。

ABSTRACT

We formulate a comparison of minimal log discrepancies of a variety and its ambient space with appropriate boundaries in terms of motivic integration. It was obtained also by Ein and Mustaţǎ independently.

研究の動機と目的

• 任意の正則Q-ゴレンシュタイン多様体、特に局所的完全交差でないものに対しても、動機的積分技法を拡張して特異点を研究すること。
• 標準的なヤコビアンイデアル手法が失敗する、Xが局所的完全交差でない場合の最小対数特異値の計算の課題に対処すること。
• Xがl.c.i.からどれほど離れているかを定量化する、弱l.c.i.欠陥Q-イデアル層D_Xを導入し、その構成を行うこと。
• Xに境界D_Xを施したときのmldと、周囲空間AにイデアルI_X^cを施したときのmldとの間の比較公式を確立すること。
• 以前の研究で用いられた可逆なジャンクティルの詳細な解析を避けることで、mldの正確な付随の反転の証明を簡略化すること。

提案手法

• 有理数指数を許容するQ-イデアル層の概念を導入し、標準的なイデアル層を非整数指数へと拡張する。
• Xを同じ次元の一般のl.c.i.スキームYに埋め込むことにより、D_XをO_X(−rC^Y|_X)の和として構成する。
• 動機的積分を用いて、弧空間J_∞XとJ_∞Yとの関係を示し、J_∞X → J_∞Yの埋め込みが測度0の集合を除き局所同型であることを示す。
• Ein, Mustaţǎ, Yasudaによる弧空間によるmldの特徴付けを用い、ヤコビアンイデアルに沿ったジャンクティルの位数を用いる。
• 主要な技術的道具：命題4.4。これはl.c.i.スキームにおけるジャンクティル空間のファイバー次元を計算し、次元(m−n)d + eのアフィン空間に同型であることを示す。
• 構成的集合T_n^oとS_m^oの次元推定を用いて、零化の位数を比較し、mldの不等式を導出する。

実験結果

リサーチクエスチョン

• RQ1 Xが局所的完全交差でないとき、Xとその滑らかな周囲空間Aとの間で最小対数特異値をどのように比較できるか？
• RQ2 局所的完全交差の欠陥が、正則除数の付随およびmld計算において果たす正確な役割は何か？
• RQ3 動機的積分技法を局所的完全交差を超えて拡張し、mld比較の統一的枠組みを提供できるか？
• RQ4 I_XとI_X^cの間のA上のに、Xの特異点を付随によって反映する自然な境界は存在するか？
• RQ5 可逆なジャンクティルの詳細な解析を避けることで、正確な付随の反転の証明を簡略化できるか？

主な発見

• 主な結果は、mld_Z(X, D_X) = mld_Z(A, I_X^c)という等式であり、最小対数特異値に対する正確な付随の反転を確立する。
• 弱l.c.i.欠陥Q-イデアル層D_Xは、Xを含むさまざまなl.c.i.スキームYに対し、O_X(−rC^Y|_X)の和として明示的に構成される。
• D_Xのr乗の整閉包が(J'_X)^rの整閉包と一致することを保証しており、Xがl.c.i.でないことに起因する失敗を捉えている。
• 以前の研究で用いられた可逆なジャンクティルの技術的解析を避けるために、Xの弧空間と一般のl.c.i.スキームYの弧空間の間の局所同型を用いる。
• T_n^oの次元推定から、不等式dim T_n^o − (n+1)d + e > −aが得られ、これと定理3.2を組み合わせることでmld比較が導かれる。
• この結果は[10, 猜測4.4]を確認し、mldの正確な付随の反転に対する、新たな簡略化された証明を提供する。