[论文解读] $D$-Elliptic Sheaves and Uniformisation

Lenny Taelman|ArXiv.org|Dec 8, 2005

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

一句话总结

本文通过将函数域上 $\mathcal{D}$-椭圆层模空间实现为对称空间 $\Omega^d(\mathbf{C})$ 关于算术群的商，建立了其解析统一化，将德林菲尔德对模曲线的统一化推广至正特征下更广泛的希姆拉类型簇类。

ABSTRACT

An analytic uniformisation of the varieties of Laumon, Rapoport and Stuhler at the infinite place is presented. This can be seen as the function field analog to the uniformisation of Shimura varieties classifying Abelian varieties with large endomorphism rings.

研究动机与目标

• 提供 $\mathcal{D}$-椭圆层模空间的基于统一化的解析描述，以补充其已知的代数模空间解释。
• 将经典模曲线的统一化（通过上半平面）推广至由函数域上的单代数中心代数导出的高维模空间。
• 通过在无穷远处构造统一化，弥合代数模空间（Laumon–Rapoport–Stuhler）与解析结构之间的鸿沟。
• 将德林菲尔德对模簇的统一化推广至除法代数和任意水平结构的情形。
• 建立模空间的解析化与对称空间关于算术群的商之间的刚性解析同构。

提出的方法

• 通过范畴等价性，证明 $\mathcal{D}$-椭圆层对应于一类特殊的安德森 $A$-动机。
• 证明这些安德森 $A$-动机是可统一化的，即同构于复向量空间 $\mathbf{C}^d$ 关于格的商。
• 识别出由统一化产生的格类，即对应于 $\Omega^d(\mathbf{C})$ 的格，这是 $\mathrm{GL}_d(F_\infty)$ 的对称空间。
• 利用 $A$-动机的统一化，构造从 $\mathcal{D}$-椭圆层模空间到双陪集空间 $D^* \backslash [\Omega^d(\mathbf{C}) \times D^*(\mathbb{A}_A)/U]$ 的映射。
• 通过 $\mathbf{C}$-点上的双射及约化性论证，建立模空间的解析化与商空间之间刚性解析空间的自然同构。
• 通过由理想 $I$ 定义的水平结构，将结果推广至对应于自由 $\mathcal{D}$-椭圆层的开与闭子空间。

实验结果

研究问题

• RQ1 能否为 $\mathcal{D}$-椭圆层模空间提供一种类似于经典模曲线解析统一化的解析统一化？
• RQ2 由 $\mathcal{D}$-椭圆层导出的安德森 $A$-动机的统一化如何与 $\mathbf{C}$ 上对称空间的几何相关联？
• RQ3 在无穷远处，$\mathcal{D}$-椭圆层模空间的精确解析结构是什么？其与代数模空间相比有何异同？
• RQ4 统一化如何推广至具有水平结构的情形？算术子群在此过程中起什么作用？
• RQ5 在四元数代数的情形下，统一化如何恢复关于牟尔福曲线和亏格计算的已知结果？

主要发现

• 模空间 $\mathcal{E}\ell\ell_{X,\mathcal{D},A}(\mathbf{C})$ 的解析化同构于刚性解析空间 $D^* \backslash [\Omega^d(\mathbf{C}) \times D^*(\mathbb{A}_A)/U]$。
• 对于自由 $\mathcal{D}$-椭圆层，$\mathcal{E}\ell\ell^0_{X,\mathcal{D},I}(\mathbf{C})$ 的解析化同构于 $G(I)\backslash\Omega^d(\mathbf{C})$，其中 $G(I)$ 是 $O_D^*$ 中模 $I$ 同余于 1 的子群。
• 当 $D = \mathrm{M}(d,F)$ 时，结果恢复了文献 [3] 中建立的德林菲尔德模簇的统一化，确认了与已知情形的一致性。
• 在四元数代数在 $\infty$ 处非分歧的情形下，模空间是 $\mathbf{C}$ 上光滑且完备的曲线，其作为 $\Omega^2 \subset \mathbb{P}^1(\mathbf{C})$ 关于 $\mathrm{GL}_2(\mathbf{C})$ 的离散子群的商被统一化。
• 此类曲线的亏格等于其统一化群的阿贝尔化群的秩，当已知一个具有亏格零商的更大群时，可通过分歧数据计算亏格。
• 统一化与代数模空间结构相容，因为其在 $\mathbf{C}$-点上诱导的映射是双射，且两个空间均为约化，故为刚性解析空间的同构。