[论文解读] Reduction of covers and Hurwitz spaces

Irene I. Bouw, Stefan Wewers|ArXiv.org|May 11, 2000

Holomorphic and Operator Theory被引用 7

一句话总结

本文在 n=2 的 Sylow 结构条件下，将 Raynaud 对 Galois 覆盖良好约化性的判别准则从三个分支点推广至四个分支点。通过分析 Hurwitz 空间算术紧化并利用其与模曲线的联系，作者计算了模 p 下具有良好约化性的覆盖数量，并描述了 Hurwitz 空间的约化类型，为具有四个分支点的 PSL₂(ℓ) 覆盖提供了显式公式与分量结构。

ABSTRACT

In this paper we study the reduction of Galois covers of curves, from characteristic 0 to characteristic p. The starting point is a is a recent result of Raynaud which gives a criterion for good reduction for covers of the projective line branch at 3 points. Under some condition on the Galois group, we extend this criterion to the case of 4 branch points. Moreover, we describe the reduction of the Hurwitz space of such covers and compute the number of covers with good reduction.

研究动机与目标

• 将 Raynaud 对覆盖在正特征下良好约化性的判别准则，从三个分支点推广至四个分支点。
• 研究在 p 整除群阶但不整除分支指数时，对射影直线的四分支点 Galois 覆盖的约化行为。
• 描述 Hurwitz 空间模 p 的算术紧化的结构，识别具有良好与不良约化性的分量。
• 计算在四点情形下参数 λ 的一般值与特殊值时具有良好约化性的覆盖数量。
• 建立 Hurwitz 空间约化性与模曲线之间的联系，尤其针对 PSL₂(ℓ) 覆盖。

提出的方法

• 使用 Raynaud 的半稳定约化技术分析在四个点处分支的 G-覆盖的约化性。
• 将 Hurwitz 空间 H 用作 G-Galois 覆盖的模空间，并研究其在 Z 上的算术紧化 H̄。
• 将 H̄^good 与 H̄^bad 分别定义为模 p 的紧化 Hurwitz 空间中具有良好与不良约化性的分量。
• 利用有限映射 H̄^good → P¹_λ 计算度 d^good，该度数计数了在一般 λ 情况下具有良好约化性的覆盖数量。
• 借助关于模曲线 X₁(p) 约化性的已知结果，将 H̄^bad 识别为参数化非分离同态的分量。
• 应用计算方法，确定 PSL₂(ℓ) 在 ℓ = 5, 7, 11, 19, 23, 29, 31 情况下紧化 Hurwitz 空间的不可约分量结构。

实验结果

研究问题

• RQ1 在何种条件下，射影直线上的 G-Galois 覆盖在四个分支点处具有正特征下的良好约化？
• RQ2 此类覆盖的约化类型如何依赖于分支点的位置，特别是参数 λ 的取值？
• RQ3 Hurwitz 空间模 p 的算术紧化结构是怎样的？其如何用于分类具有良好与不良约化性的分量？
• RQ4 如何计算在 λ 的一般值与超奇异值下具有良好约化性的覆盖数量？
• RQ5 Hurwitz 空间约化性与模曲线之间存在何种联系，尤其针对 PSL₂(ℓ) 覆盖？

主要发现

• 对于四分支点类型为 (ℓA,ℓA,ℓB,ℓB) 或 (ℓA,ℓA,ℓA,ℓA) 的 PSL₂(ℓ) 覆盖，具有良好约化性的覆盖数量由良好分量在 λ-直线上的度数 gdeg 给出。
• 表格提供了具体数据：当 ℓ=5 且类型为 (AABB) 时，若 λ 为一般值，则有 2 个具有良好约化性的覆盖。
• 当 ℓ=11 且类型为 (AABB)，分支指数为 2²6² 时，一般 λ 情况下具有良好约化性的覆盖数量为 4，但当 λ 为超奇异值时降至 21。
• 在 0,1,∞ 处分支指数为 2³1⁵6²5² 的分量在 p=3 和 p=5 处具有不良约化，一般 λ 情况下有 21 个具有良好约化性的覆盖。
• 在 0,1,∞ 处分支指数为 1¹¹4⁶11⁵12⁴ 的分量在 p=3 和 p=11 处具有不良约化，一般 λ 情况下有 90 个具有良好约化性的覆盖。
• 当 ℓ=31 时，分支指数为 3⁵2⁸15⁴5⁶4⁸8⁸ 的分量在 p=3 和 p=5 处具有不良约化，一般 λ 情况下产生 142 个具有良好约化性的覆盖。