[论文解读] Counting functions for branched covers of elliptic curves and quasi-modular forms

Hiroyuki Ochiai|ArXiv.org|Sep 19, 1999

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

一句话总结

本文证明了椭圆曲线的m-简单分支覆盖的计数函数是Eisenstein级数E₂、E₄和E₆的多项式。通过代数几何与模形式理论，作者证明这些计数函数是拟模形式，推广了Dijkgraaf对m=2的结果，并为更高m的情况提供了系统的代数结构。

ABSTRACT

We prove that each counting function of the m-simple branched covers with a fixed genus of an elliptic curve is expressed as a polynomial of the Eisenstein series E_2, E_4 and E_6 . The special case m=2 is considered by Dijkgraaf.

研究动机与目标

• 确定椭圆曲线的m-简单分支覆盖计数函数的代数结构。
• 研究这些计数函数是否表现出模形式或拟模形式的性质。
• 将Dijkgraaf对m=2的结果推广至任意m ≥ 2。
• 将计数函数表示为经典Eisenstein级数的多项式。
• 建立覆盖的枚举几何与模形式之间的精确联系。

提出的方法

• 使用代数几何技术分析具有固定亏格和m-简单分支的椭圆曲线分支覆盖。
• 应用格多面体的Ehrhart理论来计数可接受的分支覆盖配置。
• 利用生成函数和轨道空间欧拉示性数推导计数函数。
• 依赖于拟模形式理论以及由E₂、E₄、E₆生成的模形式环的结构。
• 证明计数函数在模群作用下表现为拟模形式。
• 利用此类覆盖的生成函数是权为2g−2+2m的拟模形式这一事实。

实验结果

研究问题

• RQ1 椭圆曲线的m-简单分支覆盖的计数函数能否表示为Eisenstein级数的多项式？
• RQ2 在模群作用下，这些计数函数是否表现出拟模形式性质？
• RQ3 随着m的增加，计数函数的结构如何变化？
• RQ4 是否存在一个统一的代数表达式适用于所有m ≥ 2，从而推广m=2的情形？
• RQ5 此类覆盖的生成函数的精确模形式结构是什么？

主要发现

• 每个椭圆曲线的m-简单分支覆盖的计数函数都是Eisenstein级数E₂、E₄和E₆的多项式。
• 计数函数是权为2g−2+2m的拟模形式，其中g为覆盖曲面的亏格。
• 该结果推广了Dijkgraaf早期对m=2的发现，确认了生成函数为拟模形式。
• 计数函数的结构与特定椭圆曲线无关，仅依赖于m和g。
• 由E₂、E₄、E₆生成的拟模形式环为这类枚举不变量提供了通用框架。
• 证明依赖于轨道空间欧拉示性数和相关多面体的Ehrhart理论，以推导出多项式结构。