[論文レビュー] Arc spaces, motivic integration and stringy invariants

Willem Veys|Lirias (KU Leuven)|Jan 27, 2004

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

ひとこと要約

この論文は、特異代数幾何におけるストリングィ不変量を研究するための道具として、モチーフ的積分と弧空間を導入する。Batyrerのストリングィ不変量を対数終票特異点を超えて一般化するため、モチーフ的積分と最小モデルプログラムを用いることで、p進積分、特異点論、被約幾何学を統合する枠組みを提供する。これにより、被約同値のもとで不変である新しい不変量が得られ、カバヤ予想やオルビフォールドに応用可能である。

ABSTRACT

We provide a gentle introduction to arc spaces, motivic integration and stringy invariants. We explain the basic concepts and first results, including the p-adic number theoretic pre-history, and we provide concrete examples. The text is a slightly adapted version of the 'extended abstract' of the author's talks at the 12th MSJ-IRI "Singularity Theory and Its Applications" (2003) in Sapporo. At the end we included a list of various recent results.

研究の動機と目的

• 代数幾何学および特異点論の研究者を対象に、モチーフ的積分と弧空間について、やさしくアクセスしやすい導入を提供すること。
• Moriの最小モデルプログラムの仮定の下で、Batyrerのストリングィ不変量を一般特異点へと拡張すること。
• p進ゼータ関数とモチーフ的積分を結びつけ、体の幾何的不変量と算術的不変量がグロテンディーク多様体環を通じてどのように統一されるかを示すこと。
• 具体的な例と最近の結果を提示し、特異点および退化の不変量を計算する際のモチーフ的積分の力を示すこと。
• 数論的p進積分と幾何的モチーフ的測度の間の類似性を強調し、共通の基礎的構造を明らかにすること。

提案手法

• 複素数体上の代数多様体の形式的弧をモデル化するため、射影極限としてのジャットスキームの系列としての弧空間を利用する。
• 実数値積分に代わる、多様体のグロテンディーク環に値をとる測度としてのモチーフ的積分を定義する。
• Igusaのp進積分法に類似した変数変換公式をモチーフ的積分に適用する。
• ジャットスキームのモチーフ的測度の生成関数としてのモチーフ的ゼータ関数を構成し、Igusaの局所ゼータ関数を一般化する。
• 特異点の埋め込み解消を適用してモチーフ的積分を計算し、有理型性の結果を得る。
• モチーフ的積分と最小モデルプログラムを用いて、任意の特異点に対するストリングィ不変量を一般化する。

実験結果

リサーチクエスチョン

• RQ1 どのようにしてモチーフ的積分を用いて、任意の特異点をもつ多様体のストリングィ不変量を定義・計算できるか？
• RQ2 特異点不変量の文脈において、p進ゼータ関数とモチーフ的ゼータ関数の関係は何か？
• RQ3 モチーフ的積分は、被約幾何学における算術的不変量と幾何的不変量をどのように統一するか？
• RQ4 弧空間とジャットスキームは、代数的多様体の特異点に関するどのような情報をエンコードしているか？
• RQ5 モチーフ的積分は、カバヤ多様体におけるホッジ数の被約不変性を示すための枠組みを提供できるか？

主な発見

• $cusp$ 特異点 $f_3 = y^2 - x^3$ のモチーフ的ゼータ関数は有理的であり、$J_p(f_3; T) = p \frac{1 + (p-1)T + (p^6 - p^5)T^5 - p^7 T^6}{(1 - p^7 T^6)(1 - pT)}$ として明示的に計算され、Igusaの有理型予想を裏付けた。
• モチーフ的積分により、最小モデルプログラムの下で一般特異点に対しても、整合的に定義されたストリングィ $E$-関数とオイラー標跡が得られ、Batyrerの元来の枠組みが拡張された。
• 理論は、Igusaの局所ゼータ関数のモチーフ的類似を提供し、すべての $f \in \mathbb{Z}[x_1, \dots, x_m]$ に対して有理型生成関数が得られることを、Igusaによって証明された。
• 論文は、モチーフ的測度が被約変換に関して不変であることを確立し、Kontsevichの元来の目的である、被約同値なカバヤ多様体のホッジ数が等しいことを裏付ける。
• 最近の結果では、モチーフ的ゼータ関数が実解析的局所の吹き上げ同値に関して不変であり、アレクサンダー多項式や特異点のスペクトルと関係していることが示された。
• ねじれ弧とDeligne-Mumfordスタック上のモチーフ的積分により、一般オルビフォールドのMcKay対応が得られ、ストリングィ $E$-関数とオルビフォールドコホホロジーが統一された。