[论文解读] Modular unit and cuspidal divisor class groups of X_1(N)

Yifan Yang|ArXiv.org|Dec 5, 2007

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

一句话总结

本文为在 $X_1(N)$ 上、其除子支撐於 $∞$-尖點的模單位群構造了一個顯式基，從而實現了雅可比乘積 $J_1(N)$ 的有理扭結子群 $\mathscr{C}_1^\infty(N)$ 的計算。本文針對正則素數 $p$，提出了 $\mathscr{C}_1^\infty(p^n)$ 的 $p$-主結構的猜想，並基於 $N \leq 100$ 時的廣泛數值計算結果提供了支持。

ABSTRACT

In this article, we consider the group $F_1^\infty(N)$ of modular units on $X_1(N)$ that have divisors supported on the cusps lying over $\infty$ of $X_0(N)$, called the $\infty$-cusps. For each positive integer $N$, we will give an explicit basis for the group $F_1^\infty(N)$. This enables us to compute the group structure of the rational torsion subgroup $C_1^\infty(N)$ of the Jacobian $J_1(N)$ of $X_1(N)$ generated by the differences of the $\infty$-cusps. In addition, based on our numerical computation, we make a conjecture on the structure of the $p$-primary part of $C_1^\infty(p^n)$ for a regular prime $p$.

研究动机与目标

• 為 $X_1(N)$ 上除子支撐於 $∞$-尖點的模單位群 $\mathscr{F}_1^\infty(N)$ 構造顯式基。
• 根據 $∞$-尖點之間差值生成的子群，計算雅可比乘積 $J_1(N)$ 的有理扭結子群 $\mathscr{C}_1^\infty(N)$ 的群結構。
• 基於數值證據，提出 $\mathscr{C}_1^\infty(p^n)$ 對正則素數 $p$ 的 $p$-主結構的猜想。
• 透過顯式基構造，為除子類群 $h_1^\infty(N)$ 提供系統性的計算框架。
• 建立具有 $∞$-尖點支撐的模單位與雅可比乘積 $J_1(N)$ 算術之間的聯繫。

提出的方法

• 利用在 $X_0(N)$ 上投影至 $∞$ 的尖點上具有支撐除子的模單位，構造 $\mathscr{F}_1^\infty(N)$ 的顯式基。
• 利用模 $\mathbb{C}^\times$ 的除子映射的單射性，將 $\mathscr{F}_1^\infty(N)$ 模單位數的最大小波數界為 $\phi(N)/2 - 1$。
• 應用希爾伯特函數與戴德金Eta乘積理論，在 $X_1(N)$ 上生成具有受控除子支撐的模單位。
• 使用數值演算法，計算 $∞$-尖點支撐的零度除子的除子類群，從而計算 $\mathscr{C}_1^\infty(N)$ 的群結構。
• 利用計算出的群結構分析 $\mathscr{C}_1^\infty(N)$ 對於素數冪 $p^n$ 的 $p$-主分量，並識別其中的模式。
• 基於在 $p$-主子群中觀察到的模式，提出 $\mathscr{C}_1^\infty(p^n)$ 對正則素數 $p$ 的 $p$-主結構的猜想。

实验结果

研究问题

• RQ1 在 $X_1(N)$ 上，除子支撐於 $∞$-尖點的模單位群 $\mathscr{F}_1^\infty(N)$ 的顯式基是什麼？
• RQ2 如何從 $\mathscr{F}_1^\infty(N)$ 的結構，顯式計算雅可比乘積 $J_1(N)$ 的有理扭結子群 $\mathscr{C}_1^\infty(N)$？
• RQ3 基於數值證據，$\mathscr{C}_1^\infty(p^n)$ 對正則素數 $p$ 的 $p$-主結構是什麼？
• RQ4 當 $m$ 與 $p$ 互素時，$\mathscr{C}_1^\infty(mp^n)$ 的 $p$-主分量如何表現？會出現何種模式？
• RQ5 群結構 $\mathscr{C}_1^\infty(N)$ 與 $X_1(N)$ 的除子類數 $h_1^\infty(N)$ 之間的關係為何？

主要发现

• 本文為 $X_1(N)$ 上除子支撐於 $∞$-尖點的模單位群 $\mathscr{F}_1^\infty(N)$ 構造了顯式基，從而實現了雅可比乘積 $J_1(N)$ 的有理扭結子群 $\mathscr{C}_1^\infty(N)$ 的完整計算。
• 對於 $N \leq 100$，本文計算了 $\mathscr{C}_1^\infty(N)$ 的完整群結構，結果列於表 1，顯示了有限交換群的不變因子。
• 對於正則素數 $p$，$\mathscr{C}_1^\infty(p^n)$ 的 $p$-主分量被猜想遵循基於類數的 $p$-進賦值的遞迴模式，如表 2 和表 3 所示。
• 對於 $p=2$，$\mathscr{C}_1^\infty(2^n)$ 的 $2$-主結構表現出複雜模式，其初等因子中 $2$ 的冪次隨 $n$ 增加，例如當 $k \geq 4$ 時，形式為 $(2)(2^2)^{2^{k-2}-1}$。
• 對於 $p=3$，$\mathscr{C}_1^\infty(3^n)$ 的 $3$-主結構顯示出 $3^k$ 的指數遞迴增長，且在分解中 $3^k$ 的重複次數遵循倍增模式。
• 當 $m$ 與 $p$ 互素時，$\mathscr{C}_1^\infty(mp^n)$ 的 $p$-主結構被觀察到依賴於 $m$ 的 $p$-進賦值與 $\mathscr{C}_1^\infty(p^n)$ 的結構，如表 3 中 $m=2,3,4,6$ 的情形所示。這些模式表明 $p$-主分量具有乘法行為。