[论文解读] Fundamental groups of symplectic singularities

Yoshinori Namikawa|arXiv (Cornell University)|Jan 6, 2013

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

一句话总结

本文证明了具有正 $\mathbf{C}^*$-作用和 klt 奇点的仿射辛流形的正规点集的代数基本群是有限的。通过轨道丛结构和射影 Fano 代数簇的几何性质，作者表明基本群不能有任意大的有限商群，从而通过涉及轨道丛上线丛可除性的反证法得出有限性结论。

ABSTRACT

Let (X, ω) be an affine symplectic variety. Assume that X has a C^*-action with positive weights and ωis homogeneous with respect to the C^*-action. We prove that the algebraic fundamental group of the smooth locus X_{reg} is finite. This is a collorary to a more general theorem: If an affine variety X has a C^*action with positive weights and the log pair (X, 0) has klt singularities, then the algebraic fundamental group of X_{reg} is finite.

研究动机与目标

• 解决关于仿射辛流形在 $\mathbf{C}^*$-作用和 klt 奇点下，基本群 $\pi_1(X_{\text{reg}})$ 是否有限的开放问题。
• 在 klt 奇点假设下，建立代数基本群 $\hat{\pi}_1(X_{\text{reg}})$ 的一般有限性结果。
• 提供一种替代徐氏结果的证明方法，利用轨道丛基本群和线丛可除性的几何约束。

提出的方法

• 利用 $\mathbf{C}^*$-作用将 $X_{\text{reg}}$ 的基本群与原点附近的小邻域的基本群联系起来。
• 通过 $X$ 的分次环上的 Proj 构造，构造一个射影轨道丛 $\mathbf{P}(X)^{\text{orb}}$，在 klt 假设下，它成为一个对数 Fano 代数簇。
• 应用包含 $\pi_1(\mathbf{C}^*) \to \pi_1(X^\sharp) \to \pi_1^{\text{orb}}(\mathbf{P}(X)^{\text{orb}}) \to 1$ 的同伦正合列，分析基本群结构。
• 利用 $\pi_1^{\text{orb}}(\mathbf{P}(X)^{\text{orb}})$ 是有限的（由徐氏结果）这一事实，将问题简化为分析 $\mathbf{C}^*$-纤维部分。
• 在 $X^\sharp \to \mathbf{P}(X)^{\text{orb}}$ 上引入轨道丛 $\mathbf{C}^*$-丛结构，并研究相关的轨道丛线丛 $\mathcal{L}$。
• 通过假设 $\pi_1(X^\sharp)$ 存在任意大的有限商群，导出矛盾：这将意味着 $\mathcal{L}$ 可被任意大的整数整除——这对一个充分线丛的轨道丛线丛而言是不可能的。

实验结果

研究问题

• RQ1 对于具有 $\mathbf{C}^*$-作用和 klt 奇点的仿射辛流形，代数基本群 $\hat{\pi}_1(X_{\text{reg}})$ 是否有限？
• RQ2 能否通过轨道丛几何与线丛可除性约束来确立 $\hat{\pi}_1(X_{\text{reg}})$ 的有限性？
• RQ3 若存在一个具有平凡轨道丛基本群的有限平坦覆盖，是否可由此推出 $\hat{\pi}_1(X_{\text{reg}})$ 的有限性？

主要发现

• 对于任意具有正分次环 $R$ 和 klt 奇点的仿射概形 $X = \mathrm{Spec}\, R$，其代数基本群 $\hat{\pi}_1(X_{\text{reg}})$ 是有限的。
• 在对数 Fano 轨道丛上的充分轨道丛线丛不可除性，导致了 $\hat{\pi}_1(X_{\text{reg}})$ 的有限性。
• 该论证表明，由于轨道丛线丛可除性的几何约束，$\pi_1(X_{\text{reg}})$ 的任何有限商群的阶都不能任意大。
• 证明通过约化到一个有限平坦覆盖 $Z \to X^\sharp$ 实现，其中 $\pi_1^{\text{orb}}(Y^{\text{orb}})$ 平凡，从而可分析 $\mathbf{C}^*$-纤维部分。
• 当假设存在一个满同态 $\pi_1(Z) \to \mathbf{Z}/l\mathbf{Z}$，其中 $l$ 任意大时，矛盾出现：这将要求相关轨道丛线丛可被 $l$ 整除，而这对一个充分轨道丛线丛而言是不可能的。
• 因此，$\hat{\pi}_1(X^\sharp)$ 是有限的，且由于 $\hat{\pi}_1(X^\sharp) \to \hat{\pi}_1(X_{\text{reg}})$ 是满射，故 $\hat{\pi}_1(X_{\text{reg}})$ 也是有限的。