[論文レビュー] Motivic integration, quotient singularities and the McKay correspondence

Jan Denef, François Loeser|ArXiv.org|Mar 31, 1999

Advanced Topics in Algebra参考文献 8被引用数 26

ひとこと要約

本稿は、$X = \mathbb{A}^n_k / G$ という商特異点上にモチーフ的積分枠組みを確立する。ここで $G \subset \mathrm{SL}_n(k)$ はアフィン空間に作用する有限群である。本稿は、原点における弧空間のモチーフ的体積 $\mu^{ackslash{}mathrmackslash{}Gor}(ackslash{}mathcalackslash{}L(X)_0)$ が商環 $\widehatackslash{}mathcalackslash{}M_{/}$ 内で $\sum_{[ackslash{}gamma] \in ackslash{}mathrmackslash{}Conj(G)} \mathbf{L}^{-w(ackslash{}gamma)}$ にマッピングされることを証明する。ここで $w(\gamma)$ は $\gamma$ の固有値の重みの和である。この結果により、表現論的データと幾何的不変量の間の関係を示すことで、モチーフ的積分を用いた McKay 対応の新たな証明が得られる。

ABSTRACT

The present work is devoted to the study of motivic integration on quotient singularities. We give a new proof of a form of the McKay correspondence previously proved by Batyrev. The paper contains also some general results on motivic integration on arbitrary singular spaces.

研究の動機と目的

• 商特異点 $X = \mathbb{A}^n_k / G$ に対して、$G \subset \mathrm{SL}_n(k)$ を満たす場合の McKay 対応を、モチーフ的積分に基づく新たな証明を与えること。
• 特異点を持つ多様体 $X$ そのものに直接作用する局所的アプローチを用いて、モチーフ的積分を展開すること。
• $k[t]$-半代数的集合へモチーフ的積分技法を拡張し、群に可換な弧の解析を可能にすること。
• 原点における弧空間のモチーフ的体積と、群 $G$ の共役類の重み $w(\gamma)$ の間の明確な関係を確立すること。
• モチーフ的体積のホッジ多項式およびオイラー特性が、$\sum_{[\gamma]} \mathbf{L}^{-w(\gamma)}$ のそれらと一致することを示し、Reid の予想を確認すること。

提案手法

• 著者たちは、各 $\gamma \in G$ に対して、変換性 $\tilde{\varphi}(\xi t^{1/d}) = \gamma \tilde{\varphi}(t^{1/d})$ を満たす分数弧を持つ、$\mathcal{L}(X)_0$ 内の弧からなる $G$-可換な弧空間 $\mathcal{L}(X)^g_{0,\gamma}$ を定義する。
• 古典的なモチーフ的積分枠組みを非双正則写像へ拡張するため、$k[t]$-準同型写像による弧空間間の一般化された変数変換公式を用いる。
• canonical 特性クラスを用いてモチーフ的測度 $\mu^{\mathrm{Gor}}$ を定義し、集合 $\mathcal{L}(X)^g_{0,\gamma}$ に適用して体積を計算する。
• 主な技術的道具は、$t$-依存の式で定義される集合への積分を可能にする、$k[t]$-半代数的幾何への変数変換公式の拡張である。
• 線形群 $G$-作用を伴うベクトル空間 $V$ に対する商 $V/G$ の類が $V$ の類に等しくなるように制限を課すことにより、商環 $\widehat{\mathcal{M}}_{/}$ を定義する。これにより、モチーフ的不変量との整合性が保証される。
• 主な結果は、$\mu^{\mathrm{Gor}}(\mathcal{L}(X)^g_{0,\gamma})$ が $\widehat{\mathcal{M}}_{/}$ 内で $\mathbf{L}^{-w(\gamma)}$ にマッピングされることを示し、共役類の和を取ることで得られる。

実験結果

リサーチクエスチョン

• RQ1 モチーフ的積分を用いて、商特異点 $X = \mathbb{A}^n_k / G$ における原点における弧空間のモチーフ的体積をどのように計算できるか？
• RQ2 モチーフ的体積 $\mu^{\mathrm{Gor}}(\mathcal{L}(X)_0)$ と群の元 $\gamma \in G$ の表現論的重み $w(\gamma)$ の間の明確な関係は何か？
• RQ3 特異点を解消せずに、モチーフ的積分を用いて McKay 対応を回復できるか？
• RQ4 変数変換公式は、双正則でない場合に、弧空間間の $k[t]$-準同型写像へどのように拡張できるか？
• RQ5 商環 $\widehat{\mathcal{M}}_{/}$ は、ホッジ多項式やオイラー特性といったモチーフ的不変量を保存するために果たす役割は何か？

主な発見

• モチーフ的体積 $\mu^{\mathrm{Gor}}(\mathcal{L}(X)_0)$ は、商環 $\widehat{\mathcal{M}}_{/}$ 内で $\sum_{[\gamma] \in \mathrm{Conj}(G)} \mathbf{L}^{-w(\gamma)}$ にマッピングされる。ここで $w(\gamma) = \sum_{i=1}^n e_{\gamma,i}/d$ であり、$\xi^{e_{\gamma,i}}$ は $\gamma$ の固有値である。
• $\mu^{\mathrm{Gor}}(\mathcal{L}(X)^g_{0,\gamma})$ の $\widehat{\mathcal{M}}_{/}$ 内での像は、正確に $\mathbf{L}^{-w(\gamma)}$ である。これにより、局所的弧の挙動と群の表現論的データの間の直接的な関係が確立される。
• $\mu^{\mathrm{Gor}}(\mathcal{L}(X)_0)$ のホッジ多項式およびオイラー特性は、$\sum_{[\gamma]} \mathbf{L}^{-w(\gamma)}$ のそれらと一致し、Reid の予想が確認される。
• 変数変換公式は、双正則でない場合でも、弧空間間の $k[t]$-準同型写像へ拡張可能であり、非双正則な $G$-可換被覆上での積分を可能にする。
• $k[t]$-半代数的幾何の使用により、グローバルな特異点解消を必要とせず、局所的かつ群論的分解が可能となる。
• この結果は、$X$ のモチーフ的 zeta 関数が $G$ のキャラクターテーブルを符号化していることを示唆し、McKay 対応のモチーフ的実現が得られる。