[论文解读] Inversion of adjunction for quotient singularities

Yusuke Nakamura, Kohsuke Shibata|arXiv (Cornell University)|Nov 14, 2020

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

一句话总结

该论文为商奇点与klt Cartier除子建立了精确的邻接反演公式，并证明了klt超商奇点的最小对数分歧（mld）的下半连续性。通过利用Denef和Loeser关于商簇的弧空间理论，并借鉴Ein-Mustață-Yasuda的技术，作者将问题约化到局部解析情形，证明了mld在étale映射下保持不变，从而将LSC猜想推广至此类奇点。

ABSTRACT

We prove the precise inversion of adjunction formula for quotient singularities and klt Cartier divisors. As an application, we prove the semi-continuity of minimal log discrepancies for klt hyperquotient singularities.

研究动机与目标

• 证明商奇点与klt Cartier除子的精确邻接反演公式。
• 建立klt超商奇点的最小对数分歧（mld）的下半连续性。
• 将LSC猜想推广至有限线性群作用下完全交的商簇。
• 将已知的mld半连续性结果从光滑与完全交情形推广至商奇点。

提出的方法

• 利用Denef和Loeser关于商簇的弧空间理论，将商簇的弧空间表示为与群元素相关的$k[t]$-概形的并集。
• 应用商簇上弧的提升性质，通过等变坐标与对角群作用分析弧空间的几何结构。
• 利用喷射概形与弧空间，通过弧空间中柱体的余维数计算最小对数分歧。
• 通过étale映射与稳定子群将mld计算约化到局部解析模型，以线性化闭点处的群作用。
• 应用精确邻接反演公式，将子簇$Y$上的mld与$Y$中klt Cartier除子$D$上的mld关联起来，前提是满足klt条件。
• 利用mld在étale态射下保持不变的性质，将整体问题约化为原点处的局部问题。

实验结果

研究问题

• RQ1 当底空间簇具有klt奇点且除子为klt Cartier除子时，商奇点上的精确邻接反演是否成立？
• RQ2 最小对数分歧函数在klt超商奇点上是否下半连续？
• RQ3 LSC猜想能否推广至有限线性群作用下完全交的商簇？
• RQ4 商奇点的弧空间如何与相关$k[t]$-概形的弧空间关联？
• RQ5 稳定子群在将mld计算约化为原点处的局部模型中起什么作用？

主要发现

• 精确邻接反演公式对商奇点成立：当$D$是商奇点中klt子簇$Y$上的klt Cartier除子时，有$\operatorname{mld}_x(Y, \mathfrak{a}\mathcal{O}_Y(-D)) = \operatorname{mld}_x(D, \mathfrak{a}\mathcal{O}_D)$。
• 在商簇$X = \mathbb{A}^N_k / G$中，任何余维数为$c$的子簇$Y$，只要$Y$仅有klt奇点且局部由$c$个方程截得，则其最小对数分歧是下半连续的。
• LSC猜想对klt超商奇点成立，推广了光滑、完全交与商奇点情形的先前结果。
• 商簇的弧空间通过$k[t]$-概形$\overline{Y}^{(\gamma)}$构造，其编码了群作用，使得可通过柱体的余维数计算mld。
• 原点处局部模型的最小对数分歧在étale映射下保持不变，从而可将问题约化至具有线性化群作用的原点。
• 该结果可推广至$\mathbb{R}$-理想层，确认了对合适的局部完全交模型有$\operatorname{mld}_x(A, (f_1 \cdots f_c)\mathfrak{a}) = \operatorname{mld}_x(B, \mathfrak{a}\mathcal{O}_B)$。