[论文解读] Wild quotient surface singularities whose dual graphs are not star-shaped

Hiroyuki Ito, Stefan Schroeer|arXiv (Cornell University)|Sep 17, 2012

Algebraic Geometry and Number Theory参考文献 22被引用 7

一句话总结

本文研究正特征下的野生商曲面奇点，证明其对偶解析图必包含至少一个节点——这与在驯顺情形下所见的星形图相反。通过运用Kato的对数结构理论，并分析赫尔米特曲线关于特殊p-群的对角商，作者构造出至少包含两个节点的显式例子，从而解决了Lorenzini关于此类图在野生情形下结构的开放问题。

ABSTRACT

We obtain some results that answer certain questions of Lorenzini on wild quotient singularities in dimension two. Using Kato's theory of log structures and log regularity, we prove that the dual graph of exceptional curves on the resolution of singularities contains at least one node. Furthermore, we show that diagonal quotients for Hermitian curves by analogues of Heisenberg groups lead to examples of wild quotient singularities where the dual graph contains at least two nodes.

研究动机与目标

• 解决Lorenzini关于正特征p > 0下野生商曲面奇点对偶解析图结构的开放问题。
• 确定此类奇点的对偶图是否可能不含节点，或包含多个节点。
• 构造具有非星形对偶图的野生商奇点的显式例子，特别是至少包含两个节点的情形。
• 分析商曲面的平展上同调与Picard群，以理解其几何与算术不变量。
• 计算商曲面最小解析图的陈数不变量与Picard数。

提出的方法

• 运用Kato的对数结构理论与对数正规性，分析具有链状例外除子的奇点的局部基本群。
• 利用赫尔茨布鲁赫–容格奇点的局部基本群为与特征指数互素的循环群这一事实，扩展Artin对有理双曲点的结果。
• 通过赫尔米特曲线自乘积关于其Sylow p-子群的对角商构造例子，这些p-群为类似于海森堡群的特殊p-群。
• 应用Dolgachev公式与Tate–Shioda公式，计算欧拉示性数、典范类与Picard数等拓扑不变量。
• 计算G-表示在H¹(C, ℤ_l)上的Swan导子，以确定奇异纤维结构与欧拉示性数。
• 通过五引理与正规概形Picard群的有限性结果，分析一般纤维的Picard群及其挠子群。

实验结果

研究问题

• RQ1 正特征p > 0下的野生商曲面奇点，其对偶解析图是否可能完全不含节点？
• RQ2 能否构造出对偶解析图至少包含两个节点的野生商奇点？
• RQ3 代数闭域上正特征的野生商奇点的对偶图，是否与混合特征情形下的图相同？
• RQ4 对于赫尔米特曲线C及其Sylow p-子群G，商曲面Y = G\(C × C)的Picard群与上同调结构如何？
• RQ5 G\(C × C)的最小解析图的陈数不变量是什么？

主要发现

• 任何二维野生商曲面奇点的对偶图至少包含一个节点，从而否定性回答了Lorenzini的第一个问题。
• 当G为赫尔米特曲线自同构群的Sylow p-子群时，G\(C × C)的最小解析图的对偶图至少包含两个节点。
• 最小解析图S的欧拉示性数为c₂ = e = q² + q + 6，其中q = p^m为素数幂。
• 典范类的平方为K_S² = -q² - q + 6，表明该曲面为有理曲面但非可展曲面。
• Picard数为ρ = q² + q + 4，该结果通过Dolgachev公式与Tate–Shioda公式双重计算得出。
• 一般纤维的Mordell–Weil秩为r = q - 1，奇异纤维的分支数为c = q² + 4。