[论文解读] Crepant Property of Fujiki-Oka Resolutions for Gorenstein Abelian Quotient Singularities

Kohei Sato, Yusuke Sato|arXiv (Cornell University)|Apr 7, 2020

Algebraic Geometry and Number Theory参考文献 17被引用 4

一句话总结

该论文利用Ashikaga的多维连分数，建立了任意维数下Gorenstein交错群商奇点的Fujiki-Oka型解析的必要且充分条件，证明了所有三维Gorenstein交错群商奇点均存在一个非奇异的Fujiki-Oka解析，提供了一种简单且可计算的替代方法，相较于以往的逐案证明方法。

ABSTRACT

We show a sufficient condition for Fujiki-Oka resolutions of Gorenstein abelian quotient singularities to be crepant in all dimensions by using Ashikaga's continuous fractions. Moreover, we prove that all three dimensional Gorenstein abelian quotient singularities possess a crepant resolution as a corollary. This alternative proof of existence needs only simple computations comparing with the results ever known.

研究动机与目标

• 确定Gorenstein交错群商奇点的Fujiki-Oka解析在任意维数下为非奇异的必要且充分条件。
• 通过迭代Fujiki-Oka解析，将非奇异解析条件从循环群推广至交错群。
• 提供一种统一且计算简便的证明方法，以证明三维情形下非奇异解析的存在性，与以往的逐案分析方法形成对比。
• 探讨三维情形下Fujiki-Oka解析与$G$-Hilbert纲之间的关系。
• 研究终端三维商奇点中经济解析与Fujiki-Oka解析之间的联系。

提出的方法

• 利用Ashikaga的多维连分数，将其分解为余项多项式与向下取整多项式，以分析每一步解析过程。
• 应用Fujiki-Oka解析过程，该过程始终光滑，并通过验证每一步的典范除子保持不变来检查非奇异性质。
• 为交错群引入迭代Fujiki-Oka解析，递归地解析子商群，以处理高维交错群作用。
• 将余项多项式中系数的“年龄”定义为关键不变量，以判断非奇异性：当且仅当所有此类年龄均为1时，解析为非奇异。
• 利用 тор几何与格点构造（如$N'$、向量${\bm{v}}_i$）来建模解析，并与$G$-Hilbert纲进行比较。
• 通过模空间构造与同构判定准则，比较Fujiki-Oka解析与$A$-Hilbert纲及经济解析。

实验结果

研究问题

• RQ1 在任意维数下，Gorenstein交错群商奇点的Fujiki-Oka解析为非奇异的必要且充分条件是什么？
• RQ2 能否通过一种统一且简便的方法证明三维情形下非奇异解析的存在性，而非依赖于逐案分析？
• RQ3 在何种条件下，Fujiki-Oka解析与三维情形下的$A$-Hilbert纲重合？
• RQ4 在终端三维商奇点中，Fujiki-Oka解析与经济解析之间有何关系？
• RQ5 当连分数扇形$\mathrm{CFF}_{{\bm{e}}_1}(\sigma)$、$\mathrm{CFF}_{{\bm{e}}_2}(\sigma)$与$\mathrm{CFF}_{{\bm{e}}_3}(\sigma)$重合时，是否意味着同构于$A$-Hilb$(\mathbb{C}^3)$？

主要发现

• 对循环商奇点$\frac{1}{r}(1,a_2,\dots,a_n)$，其Fujiki-Oka解析为非奇异当且仅当对应余项多项式$\mathcal{R}_*\left(\frac{(1,a_2,\dots,a_n)}{r}\right)$中所有系数的年龄恰好为1。
• 对于交错群商奇点，迭代Fujiki-Oka解析为非奇异当且仅当每一步解析中余项多项式中所有系数的年龄均为1。
• 所有三维Gorenstein交错群商奇点均存在一个非奇异的Fujiki-Oka解析，提供了非奇异解析存在性的统一且计算简便的证明。
• 当$G = \langle \frac{1}{r}(1,1,r-2) \rangle \subset SL(3,\mathbb{C})$时，Fujiki-Oka解析与$A$-Hilb$(\mathbb{C}^3)$同构，证实其与$G$-Hilbert纲一致。
• 对于终端三维商奇点$\mathbb{C}^3/G$，其中$G = \langle \frac{1}{r}(1,a,r-a) \rangle$，Fujiki-Oka解析与经济解析重合，因此同构于$\theta$-稳定$G$-构型的模空间。
• 支持一个猜想：若Fujiki-Oka解析$X(N', \mathrm{CFF}_{{\bm{e}}_1}(\sigma))$同构于$A$-Hilb$(\mathbb{C}^3)$，则其投影 тор 非奇异解析在同构意义下唯一。