[论文解读] Weighted projective lines and Riemann surfaces

Helmut Lenzing|arXiv (Cornell University)|Dec 9, 2016

Algebraic structures and combinatorial models参考文献 3被引用 6

一句话总结

本文通过有限群作用，在加权射影直线上的凝聚层与紧黎曼曲面上的等变凝聚层之间建立了范畴等价，借助交换代数几何与表示理论的视角，证明了几何群论中的经典结果——芬彻尔猜想。关键成果是对于加权光滑射影曲线 $\mathbb{X}$ 与带有有限群作用的紧黎曼曲面 $M$，有范畴等价 $\mathrm{coh}\,\mathbb{X} \simeq \mathrm{coh}_G M$，但 $\mathbb{P}^1\langle p,q\rangle$ 且 $p \ne q$ 的情形除外。该结果通过范畴理论统一了轨道丛、黎曼曲面与表示理论的视角。

ABSTRACT

For the base field of complex numbers we discuss the relationship between categories of coherent sheaves on compact Riemann surfaces and categories of coherent sheaves on weighted smooth projective curves. This is done by bringing back to life an old theorem of Bundgaard-Nielsen-Fox proving Fenchel's conjecture for fuchsian groups.

研究动机与目标

• 在加权射影直线上的凝聚层与紧黎曼曲面上的等变凝聚层之间建立范畴等价。
• 以代数几何与范畴论的语言重新诠释并重新证明经典的芬彻尔猜想（福克斯定理）。
• 证明加权射影曲线可作为轨道丛、福克斯群与表示理论等不同数学领域之间的统一框架。
• 为14种多面体型加权类型（多尔斯恰晓夫数）提供加权射影直线作为紧黎曼曲面 $M$ 与有限群 $G$ 商的显式实现。

提出的方法

• 利用紧黎曼曲面与加权光滑射影曲线上的凝聚层理论，建立范畴等价。
• 应用 Bundgaard-Nielsen 与 Fox 关于福克斯群存在有限指数无扭正规子群的经典结果，并以范畴论语言重新诠释。
• 采用斜群范畴 $(\mathrm{coh}\,M)[G]$ 来建模 $M$ 上的 $G$-等变凝聚层，证明其与加权曲线 $\mathbb{X}$ 的 $\mathrm{coh}\,\mathbb{X}$ 等价。
• 将函数域 $K = \mathbb{C}(M)$ 作为关键不变量，利用 $\mathrm{coh}\,M / \mathrm{coh}_0 M \cong \mathrm{mod}(K)$ 关系，连接几何与代数结构。
• 应用倾斜理论与轨道丛结构，将加权射影直线与具有塞尔对偶性的遗传诺特范畴联系起来。
• 为14种特殊加权类型（多尔斯恰晓夫数）构造显式的群商 $M/G$，使用费马曲线、克莱因四次曲线及 Yau 型曲线 $\mathbb{Y}[a^{[n]}]$。

实验结果

研究问题

• RQ1 如何将加权射影直线上的凝聚层范畴实现为紧黎曼曲面上的等变层范畴？
• RQ2 加权光滑射影曲线与紧黎曼曲面之间，通过群作用与范畴等价，存在何种精确关系？
• RQ3 对于哪些加权射影直线 $\mathbb{P}^1\langle p,q\rangle$，等价关系 $\mathrm{coh}\,\mathbb{X} \simeq \mathrm{coh}_G M$ 失效？原因是什么？
• RQ4 由超曲面奇点导出的14种特殊加权类型（多尔斯恰晓夫数）能否实现为紧黎曼曲面关于有限群作用的商 $M/G$？
• RQ5 加权曲线的不变量（如欧拉示性数与亏格）与底层黎曼曲面及群作用的不变量之间有何关系？

主要发现

• 对于有限群 $G \subset \mathrm{Aut}(M)$，加权光滑射影曲线 $\mathbb{X}$ 上的凝聚层范畴 $\mathrm{coh}\,\mathbb{X}$ 与紧黎曼曲面 $M$ 上的 $G$-等变凝聚层范畴 $\mathrm{coh}_G M$ 等价，但当 $\mathbb{X} = \mathbb{P}^1\langle p,q\rangle$ 且 $p \ne q$ 时例外。
• 对于阿诺德奇异对偶列表中的全部14种加权类型（如 $\langle 2,3,7\rangle$、$\langle 3,4,5\rangle$），加权射影直线 $\mathbb{P}^1\langle a,b,c\rangle$ 均可实现为紧黎曼曲面 $M$ 关于有限群 $G$ 的商 $M/G$，且提供了显式构造。
• 黎曼曲面 $M$ 的亏格 $g_M$ 与加权曲线的欧拉示性数 $\chi_{\mathbb{X}}$ 满足关系 $-\chi_{\mathbb{X}} = \frac{1}{|G|} \cdot (-\chi_M)$，其中 $-\chi_M$ 是 $|G|^{-1}$ 的整数倍。
• 对于 $\langle 2,3,7\rangle$，$M$ 为克莱因四次曲线 $\mathcal{K}_4$，亏格为3，$G = \mathrm{PSL}_2(7)$，阶为168，且 $-\chi_{\mathbb{X}} = \frac{1}{42}$。
• 对于 $\langle 3,4,5\rangle$，$M$ 的亏格为 $13 \cdot 2^{28} + 1$，$G = \frac{\mu_2^{30}}{\mu_2} \rtimes A_5$，阶为 $2^{29} \cdot 60$，且 $-\chi_{\mathbb{X}} = \frac{13}{60}$，表明多面体实现具有高亏格。
• 本文提出了一般化，允许在例外点上使用非均匀权重，引入广义多面体类型的概念，如 $\langle 2,4,6\rangle$ 情形中权重为 $3,6,6$ 的情况。