[論文レビュー] Twisted jets, motivic measure and orbifold cohomology

Takehiko Yasuda|arXiv (Cornell University)|Oct 20, 2001

Algebraic Geometry and Number Theory参考文献 28被引用数 6

ひとこと要約

この論文は、商特異点をもつ軌道多様体へモチーフ的積分を拡張するために、Deligne-Mumford スタック上のねじれた $\infty$-ジェットを導入する。ねじれた $\infty$-ジェットの空間にモチーフ的測度を定義することで、Gorenstein 商特異点をもつ2つの双有理的最小モデルが、ホッジ構造を備えた同一の軌道多様体コホロジーを持つことを証明する。これは、スタック論的技法を用いて、Kontsevich のモチーフ的積分を特異空間へ一般化したものである。

ABSTRACT

We introduce the notion of twisted jet on a Deligne-Mumford stack. and study the motivic measure on the space of the twisted $\infty$-jets on a smooth Deligne-Mumford stack. As an application, we prove that two birational minimal models with Gorenstein quotient singularities have the same orbifold cohomology with Hodge structure.

研究の動機と目的

• 特異点としての商特異点をもつ多様体へスタック論的技法を用いてモチーフ的積分を拡張すること。
• 滑らかな Deligne-Mumford スタックに対するねじれた $\infty$-ジェット空間に新たなモチーフ的測度を定義すること。
• Gorenstein 商特異点の存在下で、モチーフ的測度と軌道多様体コホロジーの間の対応を確立すること。
• Gorenstein 商特異点をもつ双有理的最小モデルが、ホッジ構造を備えた同一の軌道多様体コホロジーを持つことを証明すること。

提案手法

• $\mathscr{D}$ が $\mathrm{Spec}\,\mathbb{C}[[t]]$ を粗分類空間として持ち、$\mathrm{Spec}\,\mathbb{C}((t))$ を開部分スタックとして含む滑らかな Deligne-Mumford スタックであるとき、$\pi: \mathscr{D} \to \mathscr{X}$ を代表的準同型としてねじれた $\infty$-ジェットを導入する。
• 粗分類空間 $\overline{\mathscr{L}_{\infty}\mathscr{X}}$ 上に、Hodge 構造のグローテンディーク環値をとるモチーフ的測度 $\mu_{\mathscr{X}}$ を構成する。
• モチーフ的測度の変換則を用いて、解体における相対標準的因子と $\mathscr{X}$ 上の測度を関連付ける。
• Gorenstein 商特異点に対して、特異多様体 $X$ がその粗分類空間であるように、自明な一般安定化をもつ滑らかな Deligne-Mumford スタック $\mathscr{X}$ を構成し、これにより軌道多様体コホロジーを定義可能にする。
• $\mathscr{X}$ 上のモチーフ的測度が、相対標準的因子を保つ双有理変換に関して不変であることを、ねじれたバリュエーション基準のバージョンを用いて証明する。
• $\mathscr{X}$ が滑らかであれば、インertia スタック $I(\mathscr{X})$ と $\mathscr{Y} \times_{\mathscr{X}} I(\mathscr{X})$ の間のカテゴリの同値性を確立し、$\mathscr{X}$ が滑らかであれば $I(\mathscr{X})$ も滑らかであることを示す。

実験結果

リサーチクエスチョン

• RQ1 スタック論的技法を用いて、商特異点をもつ特異多様体へモチーフ的積分を拡張できるか？
• RQ2 Gorenstein 商特異点の存在下で、ねじれたジェット上のモチーフ的測度はどのように軌道多様体コホロジーと関係するか？
• RQ3 Gorenstein 商特異点をもつ双有理的最小モデルは、ホッジ構造を備えた同型な軌道多様体コホロジーを持つのか？
• RQ4 通常のジェット空間が厳密バリュエーション基準を満たさないために失敗する状況で、ねじれたジェットはどのようにモチーフ的測度を回復するか？
• RQ5 インertia スタック $I(\mathscr{X})$ は、$\mathscr{X}$ の軌道多様体コホロジーをどのように符号化するか？

主な発見

• 滑らかな Deligne-Mumford スタック $\mathscr{X}$ 上のねじれた $\infty$-ジェット空間に定義されたモチーフ的測度 $\mu_{\mathscr{X}}$ は、Hodge 構造のグローテンディーク環値をとる。
• 粗分類空間が $X$ である滑らかな Deligne-Mumford スタック $\mathscr{X}$ に対して、ねじれた $\infty$-ジェット空間 $\overline{\mathscr{L}_{\infty}\mathscr{X}}$ は、well-defined な代数的空間であり、モチーフ的測度が定義される。
• $\mathscr{X}$ 上のモチーフ的測度は、相対標準的因子を保つ双有理変換に関して不変であり、Kontsevich の定理を軌道多様体設定へ一般化する。
• Gorenstein 商特異点をもつ2つの双有理的最小モデルは、モチーフ的測度の不変性により、ホッジ構造を備えた同一の軌道多様体コホロジーを持つ。
• $\mathscr{X}$ が滑らかであれば、インertia スタック $I(\mathscr{X})$ も滑らかであり、$I(\mathscr{X})$ と $\mathscr{Y} \times_{\mathscr{X}} I(\mathscr{X})$ の間には標準的な同値性が存在し、これにより軌道多様体コホロジー構成の整合性が保証される。
• 商特異点をもつ多様体 $X$ の軌道多様体コホロジーは、$X$ が粗分類空間である滑らかな Deligne-Mumford スタック $\mathscr{X}$ のインertia スタック $I(\mathscr{X})$ のコホロジーと同型である。