Geometric construction of modular polynomials with level structures

기술 요약: 레벨 구조를 가진 모듈러 다항식의 기하학적 구성

문제 정의
고전적인 모듈러 다항식 $\Phi_m(X, Y)$는 순환 이소제니(cyclic isogeny) 차수가 $m$인 두 타원 곡선을 연결하는 $j$-불변량 사이의 대수적 관계를 기술한다. 이러한 다항식을 계산하기 위한 알고리즘들(예: 푸리에 전개, 초특이 이소제니, 또는 변형 이론을 통한 방법)이 존재하지만, 본 논문은 "높은 레벨(higher level)"의 구조를 가진 특정 모델(예: $\Gamma_0(4)$ 및 $\Gamma(3)$에 대응하는 몽고메리 및 헤센 곡선)과 관련된 불변량을 위한 프레임워크로 이를 확장할 필요가 있음을 다룬다. 본 연구 이전에는 이러한 특정 형태들에 대한 모듈러 다항식의 존재가 문헌에서 엄밀하게 증명되지 않았으며, 모듈러 형식(modular forms) 이론에 의존하지 않는 순수 대수적 구성 방법 또한 확립되지 않았다.

방법론
저자들은 높은 레벨의 불변량에 대한 모듈러 다항식을 구성하기 위해 순수 대수적 접근 방식을 제안한다. 이 방법론은 다음의 핵심 개념들에 기초한다:

1. 불변량 및 양질의 모델(Good Models): 저자들은 "레벨 $\Gamma$의 불변량"을 강화된 타원 곡선(enhanced elliptic curves)의 동형 클래스 집합으로부터 $\mathbb{C}$로의 단사 함수이자, 해당 불변량과 $j$-불변량을 연결하는 유리 함수를 동반하는 것으로 정의한다. 결정적으로, 저자들은 "양질의 모델"이라는 개념을 도입하며, 이는 다음 사항들에 대한 명시적인 공식의 존재를 요구한다:

   • 스칼라 곱 ($[m]P$).
   • 나눗셈 다항식 (차수가 $m$인 점 식별).
   • 이소제니 공식 (소스 곡선과 커널 생성자를 통해 타겟 곡의 불변량을 계산).
     이러한 공식들은 정수성을 보장하기 위해 특정 환(예: $\mathbb{Z}[X]$ 또는 $\mathbb{Z}[1/m][X]$)의 계수를 가져야 한다.

2. 변형 이론을 통한 존재성 증명: 불변량 $\alpha$에 대한 모듈러 다항식 $\Phi^\alpha_m(X, Y)$의 존재를 증명하기 위해, 저자들은 변형 이론(구체적으로는 Kunzweiler–Robert 프레임워크)을 활용한다. 저자들은 유리 함수체 위에서 나눗셈 다항식의 최소 분해체를 고려한다. 나눗셈 다항식의 근(순환 부분군에 대응함)에 작용하는 갈루아 군의 작용을 분석함으로써, 저자들은 이소제니로 연결된 타겟 곡들의 불변량을 근으로 갖는 다항식을 구성한다.

3. 알고리즘적 구성: 본 논문은 고전적인 모듈러 다항식을 계산하기 위한 Kunzweiler–Robert 알고리즘을 응용한다. 이 알고리즘은 유한체 $\mathbb{F}_{p^2}$ 위에서 작동하며, 중국인 나머지 정리(CRT)를 사용하여 결과를 $\mathbb{Z}[X, Y]$로 리프팅(lift)한다.

   • 효율적인 이소제니 계산을 허용하는 복소 곱(complex multiplication) 성질을 가진 소수 $p$를 선택한다.
   • 아르틴 환(Artinian ring) $R = \mathbb{F}_{p^2}[\epsilon]/(\epsilon^{\ell+2})$ 위에서 곡선과 불변량을 변형한다.
   • 이소제니를 계산하고 뉴턴 반복법(Hensel lifting)을 사용하여 타겟 불변량 $\alpha(E', P')$를 리프팅하며, 이때 리프팅된 불변량이 모델의 정의된 유리 함수를 만족하도록 보장한다.

주요 기여

• 존재성 및 성질: 저자들은 "양질의 모델"(특정 정수성 및 공식 조건을 만족하는)을 가진 모든 불변량 $\alpha$에 대해 모듈러 다항식 $\Phi^\alpha_m(X, Y)$가 존재하며, 정수 계수를 가지고 $Y$에 대해 차수가 $\psi(m)$인 단항식(monic)임을 증명한다.
• 대칭성 및 기약성:
  • $m > 1$이고 레벨이 $\Gamma_0(N)$이거나 $m \equiv \pm 1 \pmod N$인 경우, 다항식이 대칭적($\Phi^\alpha_m(X, Y) = \Phi^\alpha_m(Y, X)$)임을 보인다.
  • 만약 불변량이 "계산 가능"(특정 곡과 독립적으로 $j$-불변량 및 레벨 구조 좌표의 유리 함수로 표현 가능)하다면, 이 다항식은 $\mathbb{C}(X)$ 위에서 기약이다.
• 구체적 사례: 저자들은 몽고메리 곡선(레벨 $\Gamma_0(4)$)의 계수 $A$와 헤센 곡선(레벨 $\Gamma(3)$)의 계수 $d$가 양질의 모델 조건을 만족함을 입증한다. 결과적으로, 이 계수들에 대한 모듈러 다항식은 존재하며 상기된 성질들을 갖는다.
• 합동 성질: 본 논문은 이 다항식 계수들에 대한 합동 조건을 확립한다. 몽고메리 곡선의 경우, $X^i Y^j$의 계수는 $i+j \equiv 0 \pmod 2$가 아니면 0이다. 헤센 곡선의 경우, $m \pmod 3$에 기반하여 유사한 모듈러 제약이 적용된다.
• 알고리즘 구현: 고전적인 모듈러 다항식의 효율성과 일치하는 $\tilde{O}(\ell^3 \log^3 \ell \log \log \ell)$ 비트 연산 복잡도를 갖는 알고리즘을 제공한다.

결과

• 저자들은 SageMath에서 알고리즘을 구현하였으며, 모든 소수 $\ell < 150$에 대해 몽고메리 및 헤센 곡선의 모듈러 다항식을 계산하였다.
• 실험 결과, 계산된 다항식들이 유한체 위에서 이소제니 조건을 만족함을 확인하였다.
• 실험을 통해 계산된 다항식의 대칭성 및 계수의 특정 합동 성질을 검증하였다.
• 계산된 다항식의 로그 높이(logarithmic height)는 일반적으로 고전적인 경우와 관련된 추측된 경계치를 따랐으나, 헤센 곡선의 작은 소수들에 대해서는 미세한 예외가 있었다.
• 불변량의 이미지 외부의 점들에서의 평가와 관련된 치환 $\sigma$에 대한 연구 결과, 몽고메리 곡선의 경우 $\sigma$는 항등 함수인 반면, 헤센 곡선의 경우 비자명한 치환임을 보여주었다.

의의 및 주장
저자들은 자신들의 주요 기여가 모듈러 형식 이론에 의존하지 않고, 순수하게 대수적인 방식으로 높은 레벨의 모듈러 다할식들을 구성하는 또 다른 접근법을 제공하는 것임을 명시적으로 밝힌다. 저자들은 예시로 든 모델(몽고메리/헤센 계수)이 모듈러 함수가 아니라고 주장하는 것이 아니라, 자신들의 대수적 방법론이 모듈러 형식 이론을 적용하기 어렵거나 스칼라 곱 및 이소제니에 대한 명시적 공식은 알려져 있으나 모듈러 성질이 즉각적으로 명확하지 않은 다른 형태의 타원 곡선들을 위해 모듈러 다항식을 구성하는 데 있어 구별되고 잠재적으로 유용한 경로를 제공한다고 주장한다.

본 논문은 이러한 특정 곡선 형태들에 대해 모듈러 다항식의 존재성이 기존 문헌에서 증명되지 않았음을 강조한다. "양질의 모델" 기준을 확립함으로써, 저자들은 더 넓은 범위의 타원 곡선 모델에 대해 모듈러 다항식의 존재성과 정수성을 검증할 수 있는 일반적인 프레임워크를 제공한다.