[论文解读] 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^{Γ\mathrm{Gor}}(\mathcal{L}(X)_0)$ 在商环 $\widehat{\mathcal{M}}_{/}$ 中映射为 $\sum_{[\gamma] \in \mathrm{Conj}(G)} \mathbf{L}^{-w(\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$ 定义了一个 $G$-等变弧空间 $\mathcal{L}(X)^g_{0,\gamma}$，即 $\mathcal{L}(X)_0$ 中满足提升为具有变换性质 $\tilde{\varphi}(\xi t^{1/d}) = \gamma \tilde{\varphi}(t^{1/d})$ 的分式弧的集合。
• 他们将经典动机积分框架推广至非双有理映射，使用 $k[t]$-同态之间弧空间的广义变量替换公式。
• 动机测度 $\mu^{\mathrm{Gor}}$ 通过 canonical 线丛定义，并应用于集合 $\mathcal{L}(X)^g_{0,\gamma}$ 以计算其体积。
• 关键技术工具是将变量替换公式扩展至 $k[t]$-半代数几何，从而允许对依赖于 $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)}$ 的一致，从而在不变量层面上确认了 McKay 对应关系。
• 变量替换公式已扩展至弧空间之间的 $k[t]$-同态，即使映射非双有理，从而实现了对非双有理 $G$-等变覆盖的积分。
• $k[t]$-半代数几何的使用使得弧空间能够以局部、群论方式分解，避免了全局去奇异化的需要。
• 该结果意味着 $X$ 的动机 zeta 函数编码了 $G$ 的特征表，为 McKay 对应关系提供了动机实现。