[논문 리뷰] Modular unit and cuspidal divisor class groups of X_1(N)

Yifan Yang|ArXiv.org|2007. 12. 05.

Algebraic Geometry and Number Theory참고 문헌 24인용 수 4

한 줄 요약

이 논문은 $X_1(N)$의 모듈라 유닛 그룹에 대해 $∞$-cusps에 지지되는 인자(divisor)를 가진 것의 명시적 기저를 구성하여, 제타 함수 $J_1(N)$의 유리수 토크션 부분군 $\mathscr{C}_1^\infty(N)$의 계산을 가능하게 한다. 정규 소수 $p$에 대해 $\mathscr{C}_1^\infty(p^n)$의 $p$-primary 구조에 대한 추측을 제시하며, $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$.

연구 동기 및 목표

• 모듈라 유닛 그룹 $\mathscr{F}_1^\infty(N)$에 대해 $∞$-cusps에 지지되는 인자를 가진 것의 명시적 기저를 개발한다.
• 차수 0 인자에 대해 $∞$-cusps에 지지되는 인자를 가진 $J_1(N)$의 유리수 토크션 부분군 $\mathscr{C}_1^\infty(N)$의 군 구조를 계산한다.
• 수치적 증거에 기반하여 정규 소수 $p$에 대해 $\mathscr{C}_1^\infty(p^n)$의 $p$-primary 구조에 대한 추측을 제안한다.
• 명시적 기저 구성에 의해 $h_1^\infty(N)$의 인자류 군에 대한 체계적인 계산 프레임워크를 제공한다.
• 모듈라 유닛의 $∞$-cusp 지지와 제타 함수 $J_1(N)$의 산술 간의 연결 고리를 확립한다.

제안 방법

• 모듈라 유닛을 사용하여 $∞$-cusps에 지지되는 인자를 가진 $\mathscr{F}_1^\infty(N)$의 명시적 기저를 구성한다. 이는 $X_0(N)$에서 $∞$로 투영되는 쿠스프를 의미한다.
• 복소수 곱으로 모odulo된 인자 사상의 단사성을 이용하여, 스칼라로 모odulo된 $\mathscr{F}_1^\infty(N)$의 최대 질량을 $\phi(N)/2 - 1$로 경계한다.
• 시겔 함수 이론과 디디킨드 에타乘의 이론을 적용하여, $X_1(N)$에서 제어된 인자 지지 구조를 가진 모듈라 유닛을 생성한다.
• 수치 알고리즘을 사용하여, $∞$-cusps에 지지되는 차수 0 인자에 대한 인자류 군으로서의 $\mathscr{C}_1^\infty(N)$의 군 구조를 계산한다.
• 계산된 군 구조를 바탕으로 소수 거듭제곱 $p^n$에 대해 $\mathscr{C}_1^\infty(N)$의 $p$-primary 성분을 분석하고 패턴을 식별한다.
• 관찰된 $p$-primary 부분군 내의 패턴에 기반하여, 정규 소수 $p$에 대해 $\mathscr{C}_1^\infty(p^n)$의 $p$-primary 구조에 대한 추측을 수립한다.

실험 결과

연구 질문

• RQ1 모듈라 유닛 그룹 $\mathscr{F}_1^\infty(N)$에 대해 $∞$-cusps에 지지되는 인자를 가진 것의 명시적 기저는 무엇인가?
• RQ2 모듈라 유닛 구조 $\mathscr{F}_1^\infty(N)$로부터 $J_1(N)$의 유리수 토크션 부분군 $\mathscr{C}_1^\infty(N)$을 어떻게 명시적으로 계산할 수 있는가?
• RQ3 정규 소수 $p$에 대해 $\mathscr{C}_1^\infty(p^n)$의 $p$-primary 구조는 수치적 증거에 기반하여 어떻게 되는가?
• RQ4 만일 $m$이 $p$와 서로소일 경우, $\mathscr{C}_1^\infty(mp^n)$의 $p$-primary 성분은 어떻게 행동하며, 어떤 패턴이 나타나는가?
• RQ5 $\mathscr{C}_1^\infty(N)$의 군 구조와 $X_1(N)$의 인자류 수 $h_1^\infty(N)$ 사이의 관계는 무엇인가?

주요 결과

• 논문은 $X_1(N)$에서 $∞$-cusps에 지지되는 인자를 가진 모듈라 유닛 그룹 $\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$-primary 부분은 $p$-adic 판별식의 클래스 수에 기반한 재귀적 패턴을 따르는 것으로 추측되며, 표 2와 3에서 이를 확인할 수 있다.
• $p=2$의 경우, $\mathscr{C}_1^\infty(2^n)$의 $2$-primary 구조는 점차 증가하는 $2$의 거듭제곱을 가지는 복잡한 패턴을 보이며, $k \geq 4$일 때 $(2)(2^2)^{2^{k-2}-1}$ 형태의 기본 요소를 가진다.
• $p=3$의 경우, $\mathscr{C}_1^\infty(3^n)$의 $3$-primary 구조는 $3^k$의 지수에 대해 재귀적 성장을 보이며, 분해에서 $3^k$의 복제 수는 두 배로 증가하는 패턴을 따른다.
• $m$이 $p$와 서로소일 경우, $\mathscr{C}_1^\infty(mp^n)$의 $p$-primary 구조는 $m$의 $p$-adic 판별식과 $\mathscr{C}_1^\infty(p^n)$의 구조에 따라 달라지며, 표 3에서 $m=2,3,4,6$의 경우에 이를 확인할 수 있다. 이러한 패턴은 $p$-primary 성분에서 곱셈적 행동을 시사한다.