Divisibility of the coefficients of modular polynomials

기술 요약: 모듈러 다항식 계수의 가해성(Divisibility)

문제 정의
본 논문은 순환 이소제니(cyclic isogeny) 차수 $N$에 의해 연결된 타원 곡선의 $j$-불변량 쌍에서 소멸하는 고전적 모듈러 다항식 $\Phi_N(X, Y) \in \mathbb{Z}[X, Y]$의 산술적 성질을 조사한다. $\Phi_N(X, Y)$의 계수들은 매우 큰 것으로 알려져 있으나, 이들은 작은 소수들에 대해 상당한 가해성을 보인다. 본 연구에서 다루는 핵심 문제는, 특히 다항식이 특이 모듈러스(singular moduli, 복소 곱셈(CM)을 갖는 타원 곡선에 대응하는 대수적 수)에 의해 이동되었을 때, 이 계수들의 $p$-진 가치(p-adic valuation)에 대한 정밀한 하한을 설정하는 것이다. 구체적으로, 저자는 $J$가 유리 특이 모듈러스일 때의 $\Phi_N(X+J, Y+J)$의 계수를 연구하며, 특히 $J=0$인 경우와 기저 타원 곡선이 소수 $p$에서 초특이 감소(supersingular reduction)를 보이는 경우에 집중한다.

방법론
저자는 변형 이론(deformation theory), 명시적 이소제니 공식, 그리고 다항식 보간법을 결합하여 사용한다:

1. 변형 이론 및 초특이 감소: 핵심 전략은 균등화원(uniformizer) $\pi$의 높은 거듭제곱에 대해 고정된 곡선 $E$로 감소하는 완전 가치 체(complete valued field) $K$ 위의 타원 곡선 가족 $E_k$를 구성하는 것이다. 제안된 정리 3.6에 따라, 세르-테이트 리프팅 정리(Serre-Tate lifting theorem)를 활용하여, 저자는 $\pi^{M+1}$에 대해서는 서로 비동형이지만 $\pi^M$에 대해서는 동형인 무수히 많은 곡선 $E_k$를 구성한다. 이를 통해 $j$-불변량 차이의 가치 $v(j(E_k) - j(E_l))$를 제어할 수 있다.
2. 이소제니의 가치 분석: 저자는 순환 $N$-이소제니의 감소를 분석한다. 감소된 곡선이 초특이(supersingular)일 때, 엔도모피즘 링(endomorphism ring)은 사원수 대수의 극대 순서(maximal order)가 된다. 엔도모피즘으로 감소하는 순환 이소제니의 개수 $C_J(N, \pi)$는 관련 사원수 순서의 세타 급수(theta series)를 사용하여 명시적으로 계산된다(제안된 정리 2.3).
3. 다항식 보간: 특정 값들에 대한 다항식의 평가로부터 계수로 가치를 전달하기 위해, 저자는 일반화된 보간 보조정리(보조정리 3.3)를 활용한다. 제어된 가치를 갖는 점들 $y_k = j(E_k) - J_2$에서 $\Phi_N(X+J_1, Y+J_2)$를 평가하고, 근의 대칭성을 적용함으로써 계수 $a_{i,j}$에 대한 가치 하한을 도출한다(제안된 정리 3.4).
4. 명시적 공식 (Vélu의 공식): 잔여 표수(residue characteristic) $p$가 2 또는 3인 특정 경우를 위해, 저자는 $j(E') - j(E)$의 가치를 직접 계산하기 위해 Vélu의 명시적 공식을 사용한다. 이를 통해 $N \pmod 4$ (for $p=2$) 또는 $N \pmod 6$ (for $p=3$)에 의존하는 상수 $n_v$를 정의한다(정리 3.2).

주요 기여 및 결과

• 정리 1.1 (Case $J=0$): 본 논문은 $N$이 $p$로 나누어지지 않을 때, $\Phi_N(X, Y)$ 계수의 $p$-진 가치 $v_p(a_{i,j})$에 대한 하한을 설정한다.

  • $p=2$인 경우 ($2 \nmid N$): $v_2(a_{i,j}) \ge 15(\psi(N) - i - j)$.
  • $p=3$인 경우 ($3 \nmid N$): $v_3(a_{i,j}) \ge 3(\psi(N) - i - j)$이며, $N \equiv 1 \pmod 3$이면 $\lceil \frac{9}{2}(\psi(N) - i - j) \rceil$이라는 더 강한 하한을 갖는다.
  • $p=5$인 경우 ($5 \nmid N$): $v_5(a_{i,j}) \ge 3(\psi(N) - i - j)$.
  • $p \ge 11$이고 $p \equiv 2 \pmod 3$인 경우: $v_p(a_{i,j}) \ge 3(C_0(N, p) - i - j)$이며, 여기서 $C_0(N, p)$는 $\Phi_N(X, 0) \pmod p$의 소멸 차수이다.
  • 이러한 결과는 Wang [26]의 추측을 확인하고 일반화한다.

• 정리 1.2 (일반적인 특이 모듈러스): 결과는 $J$가 유리 특이 모듈러스(class number 1인 order에 의한 CM을 갖는 타원 곡선에 대응)일 때 $\Phi_N(X+J, Y+J)$로 확장된다.

  • 하한은 $v_p(a_{i,j}) \ge n_p(C_J(N, p) - i - j)$의 형태를 취한다.
  • 상수 $n_p$는 소수 $p$와 $p$가 $J$ 또는 $J-1728$을 나누는지 여부에 따라 달라진다. 예를 들어, $p|J$이고 $p=2$이면 $n_p=15$, $p|J$이고 $p=3$이면 $n_p=6$이다.
  • 본 논문은 특정 판별식(예: $D=-12, -27$)에 대해 일반적인 $n_p$ 공식이 $N \pmod 3$ 또는 $N \pmod 6$에 따라 조정을 필요로 하는 "예외적 가치(exceptional valuations)" 표를 제공한다.

• 최적성: 저자는 계산 결과가 $D=-12$ 및 $D=-27$의 특정 경우를 제외하고는 도출된 $n_p$의 하한이 최적임을 시사한다고 언급한다. 해당 경우들에서는 특정 합동류(congruence classes)의 $N$에 대해 실제 값이 약간 더 높을 것으로 추측된다.

의의 및 응용
본 논문은 다음 분야에서 의의를 갖는다:

1. 계산 정수론: 본 결과는 모듈러 다항식의 개별 계수의 크기에 대한 더 정밀한 하한을 제공한다. 이는 $\Phi_N(X, Y)$를 계산하기 위한 중국인 나머지 정리(CRT) 기반 알고리즘에 직접 적용 가능하며, 재구성에 필요한 소수의 수를 줄일 수 있다.
2. 데이터 저장: 이러한 가해성 정리에 의해 예측되지 않는 계수의 인자들만을 저장함으로써 상당한 공간 절약을 달est할 수 있다. 저자는 $N=5$에서 십진 자릿수의 43% 감소, $N=101$에서 12% 감소를 인용하였다.
3. 검증: 가해성 조건은 큰 $N$에 대한 모듈러 다항식 계산의 "빠른 건전성 검사(quick sanity check)" 역할을 한다.
4. 이론적 맥락: 본 연구는 Gross와 Zagier가 개척한 특이 모듈러스 차이(differences of singular moduli)라는 주제의 변형으로 프레임화되며, 초특기 감소가 모듈러 다항식의 산술에 어떻게 영향을 미치는지에 대한 이해를 확장한다.

저자는 본 결과가 타원 곡선의 감소 유형 연구로부터 도출된 것이며, 언급된 즉각적인 계산적, 이론적 응용 외에 새로운 실험적 알고리즘이나 미래의 함의를 제안하는 것은 아니라고 명시적으로 밝히고 있다.