椭圆曲线上双覆盖的模空间及其p秩分层

《Nagoya Mathematical Journal》：The p -rank stratification of the moduli space of double covers of a fixed elliptic curve

　　

研究人员构建了以固定椭圆曲线E为目标曲线的Z/2Z双覆盖的紧化模空间，记为M?E,g;n，其中g为源曲线亏格，n为无分支标记点个数。该空间由带标记的结点曲线C（含一个与E同构的分量，其余为射影直线P1）及 admissible Z/2Z-覆盖 D→C 构成，且满足稳定性条件。研究人员进一步引入约化模空间 M?redE,g;n作为分支点和为零的纤维，并构造了到 M?g,2g?2的态射。在特征 p>2 的代数闭域上，研究人员分析了该模空间的p秩分层，结合结点曲线的退化行为，刻画了双覆盖曲线的p秩分布规律。研究证明 M?E,g是不可约光滑真 Deligne–Mumford 栈，维数为 2g?2，其边界由两类捏合态射（clutching maps）的像构成，分别对应结点处无分歧与分歧的情形。该研究为双椭圆曲线（bielliptic curves）的几何与算术性质提供了新的模空间视角。

研究背景方面，双椭圆曲线作为一类特殊的代数曲线，其几何与算术性质长期受到关注，尤其在正特征域下的p秩分层问题，与曲线自同构群、Torelli定理及模空间紧化密切相关。现有研究对一般曲线的p秩分层已有较多结果，但以固定椭圆曲线为目标的双覆盖模空间结构仍待明确，尤其是其边界行为与p秩分布的精确刻画。研究人员针对这一问题，选择构建并分析以给定椭圆曲线E为目标的双覆盖紧化模空间 M?_E,g;n，旨在揭示其几何结构与p秩分层规律。该研究发表于《Nagoya Mathematical Journal》，为双椭圆曲线模空间的算术几何研究提供了重要工具。

关键技术方法上，研究人员首先定义带有序分支点与无分支点的提升模空间 M?_E,g;n，其为 M?_E,g;n的平展覆盖；其次引入约化模空间 M?^red_E,g;n作为分支点和为零的纤维，以消去椭圆曲线自同构的影响；接着构造两类结点捏合态射 κ^u_g?,g?与 κ^r_g?,g?，分别描述边界中结点处无分歧与分歧的退化情形；最后利用模空间维数计算与p秩的半连续性，分析边界分量的p秩取值范围。

研究结果部分，研究人员在“2.1 边界 M?_E,g?M_E,g”小节中证明，M?_E,g的边界由两类捏合态射的像构成：当结点处无分歧时，对应子栈 Ξ_g?,g??1；当结点处分歧时，对应子栈 Δ_g?,g?。所有边界分量均为余维1，且 M_E,g在 M?_E,g中稠密。在“2.2 约化模空间 M^red_E,g;n?M?^red_E,g;n”小节中，研究人员证明 M?^red_E,g;n是维数为 2g?3+n 的真 Deligne–Mumford 栈，并构造了到 M?_g,2g?2的拟有限态射，为p秩分析奠定基础。在“3. p秩分层”部分，研究人员将研究置于特征 p>2 的代数闭域上，定义 B_E,g为 E 上光滑双覆盖的曲线模空间，证明其闭包 B?_E,g是不可约的，维数为 2g?3。通过分析边界分量的退化类型，研究人员区分了普通椭圆曲线与超奇异椭圆曲线情形下p秩分布的差异，指出超奇异情形需要特殊处理。

讨论与结论部分，研究人员总结了 M?_E,g的不可约性、维数与边界结构，强调约化模空间在消去自同构冗余中的作用。研究结论表明，B_E,g不包含任何正维完全子簇，其p秩分层与边界分量的退化类型紧密相关。该工作不仅完善了双椭圆曲线模空间的几何描述，也为正特征下曲线p秩的研究提供了新的技术路径，尤其在处理固定目标曲线的双覆盖问题时具有独特优势。研究人员指出，未来可进一步结合 Galois 覆盖的模空间理论，推广至更一般的群作用情形。