[论文解读] Higher adeles and non-abelian Riemann-Roch

Ted Chinburg, G. Pappas+1 more|arXiv (Cornell University)|Apr 20, 2012

Algebraic Geometry and Number Theory参考文献 49被引用 8

一句话总结

本文利用贝利松-帕尔辛的高阶阿代尔和阿代尔等变楚群，为算术曲面上的群环丛建立了一个非交换的黎曼-罗赫定理。它通过引入阿廷符号的陈类理论，推广了经典的弗罗利希理论，并证明了一个公式，将稳定欧拉示性数与陈类及对偶化层联系起来，将阿代尔黎曼-罗赫定理推广至算术曲面上非交换伽罗瓦作用的情形。

ABSTRACT

We show a Riemann-Roch theorem for group ring bundles over an arithmetic surface; this is expressed using the higher adeles of Beilinson-Parshin and the tame symbol via a theory of adelic equivariant Chow groups and Chern classes. The theorem is obtained by combining a group ring coefficient version of the local Riemann-Roch formula as in Kapranov-Vasserot with results on K-groups of group rings and an explicit description of group ring bundles over P^1. Our set-up provides an extension of several aspects of the classical Fr"ohlich theory of the Galois module structure of rings of integers of number fields to arithmetic surfaces.

研究动机与目标

• 将弗罗利希在数域中关于伽罗瓦模结构的经典理论，推广至具有有限群作用的算术曲面。
• 利用高阶阿代尔和阿廷符号，在算术曲面上发展等变K-理论与欧拉示性数的阿代尔框架。
• 为群环丛建立一个黎曼-罗赫公式，以陈类和对偶化层计算等变欧拉示性数。
• 通过引入阿代尔过渡矩阵和行列式函子，将阿代尔黎曼-罗赫定理推广至非交换群作用。
• 通过稳定欧拉示性数和高阶阿代尔，为群环的类群提供一个计算工具。

提出的方法

• 作者利用贝利松-帕尔辛在光滑算术曲面 Y 上的高阶阿代尔，定义了等变阿代尔楚群。
• 他们为具有 G-作用的局部自由层构建了行列式函子和行列式类的理论，并将其与阿廷符号联系起来。
• 通过下推映射和互惠律，在基概形的阿代尔楚群中定义了一阶和二阶陈类。
• 该方法依赖于在 P¹_Z 上对过渡矩阵和初等结构的显式计算，从而将一般情形约化至该设定。
• 关键的技术工具是：在秩-1情形下使用德拉姆-黎曼-罗赫定理，并通过分裂序列和对偶性进行延拓。
• 通过使用有限平坦态射和基变换，将一般黎曼-罗赫公式的证明约化为 P¹_Z 的情形。

实验结果

研究问题

• RQ1 弗罗利希在数域中的类群理论如何能推广至具有非交换伽罗瓦作用的算术曲面？
• RQ2 群环丛在算术曲面上的黎曼-罗赫定理的正确阿代尔表述是什么？
• RQ3 高阶阿代尔和阿廷符号如何编码 K₀(Z[G]) 中的等变欧拉示性数？
• RQ4 能否在与下推和对偶性相容的阿代尔框架中定义二阶陈类和行列式理论？
• RQ5 在非交换情形下，稳定欧拉示性数与陈类之间的精确关系是什么？

主要发现

• 本文证明了一个非交换黎曼-罗赫公式：2(χ̄(E) − nχ̄(O_Y)) = f_*(det(E) ∩ det(E) − 2c₂(E) + det(E) ∩ ω⁻¹_Y/S) 在 Pic(R) ≅ CH¹_A(S) 中成立。
• 该公式在秩-1情形下退化为经典的德拉姆-黎曼-罗赫定理，验证了与已知结果的一致性。
• 二阶陈类 c₂(E) 通过阿代尔过渡矩阵定义，且在有限平坦态射下与下推相容。
• 稳定欧拉示性数 χ̄(E) 被证明与覆盖和完美解析的选取无关，确保了其定义的良态性。
• 通过有限平坦态射将情形约化至 P¹_Z，从而可利用在射影直线上的已知阿代尔黎曼-罗赫定理。
• 该理论为非交换情形下的类群 Cl(Z[G]) 提供了一个计算框架，将弗罗利希理论推广至算术曲面。