[논문 리뷰] Reduction of CM elliptic curves and modular function congruences

Noam D. Elkies, Ken Ono외 1명|ArXiv.org|2005. 12. 15.

Algebraic Geometry and Number Theory인용 수 11

한 줄 요약

이 논문은 소수 p에 대해 힐버트 클래스다항식의 j-불변량에서의 U(p) 연산자와 모듈라 형식에 대한 합동을 조사한다. 반정수 승수 모듈라 형식에 대한 깊이 있는 결과와 Deuring의 환원 사상에 기반하여, 특정 조건 하에서 이러한 합동이 성립함을 보이며, 특히 작은 클래스 수에서의 합동 행동의 균일성과 제어된 p-진 값매김을 보여준다.

ABSTRACT

We study congruences of the form F(j(z)) | U(p) = G(j(z)) mod p, where U(p) is the p-th Hecke operator, j is the basic modular invariant 1/q+744+196884q+... for SL2(Z), and F,G are polynomials with integer coefficients. Using the interplay between singular (a.k.a. CM) j-invariants in characteristic zero and supersingular ones in characteristic p, we obtain such congruences in which F is the minimal polynomial of a CM j-invariant, and give a sufficient condition for G to be a constant polynomial in these congruences.

연구 동기 및 목표

• H_D(j(z))|U(p) ≡ G_p(j(z)) mod p 를 만족하는 어떤 G_p(x) ∈ ℤ[x] 가 존재할 조건을 규명하는 것.
• 특히 h(−D) < p 일 때 이러한 합동이 상수 환원을 갖는 조건을 조사하는 것.
• 초특이 j-불변량과 그 중복도가 이러한 합동의 타당성을 결정하는 데 미치는 역할을 분석하는 것.
• 𝔽_p[x]에서 F(x)가 S̃_p(x)^2 로 나누어 떨어질 때 이러한 합동에 대한 일반 기준을 수립하는 것.
• 특히 p/6 < h(−D) < p 일 때 합동 H_D(j(z))|U(p) ≡ c_D(0) mod p 가 성립하는 판정의 비율을 탐색하는 것.

제안 방법

• 정리 2.3에서 제시된 일반 기준을 활용하여, H_D(j(z))|U(p) ≡ G_p(j(z)) mod p 형식의 합동이 𝔽_p[x]에서 F(x)가 S̃_p(x)^2 로 나누어지는 것과 연결됨을 밝힘.
• Deuring의 정리에 따라, p가 ℚ(√−D)에서 분해되지 않을 경우 특이 모듈러스가 초특이 j-불변량으로 환원된다는 점을 활용하여 힐버트 클래스다항식 H_D(x)에 적용.
• Gross의 승수 3/2인 테타 함수와 그 푸리에 계수를 이용하여 특이 모듈러스에서 초특이 j-불변량으로의 환원 사상의 전성에 대해 재해석.
• Duke와 Iwaniec의 반정수 승수 촉성형식 계수에 대한 경계를 적용하여, 주어진 초특이 j-불변량으로 환원되는 특이 모듈러스의 수가 D에 따라 증가함을 보임.
• Siegel의 에이젠스타인 급수 성분에 대한 공식을 활용하고 촉성형식 오차항과 결합하여 초특이 j-불변량의 중복도에 하한을 도출.
• 모든 소수 p와 t ≥ 1에 대해, 모든 기본 판정자 −D < N_p(t) 이고 (−D/p) ≠ 1 인 경우, H_D(x) mod p에서 각 초특이 j-불변량의 중복도는 최소 t 이상임을 증명.

실험 결과

연구 질문

• RQ1 어떤 소수 p와 기본 판정자 −D 에 대해 H_D(j(z))|U(p) ≡ c_D(0) mod p 가 성립하는가?
• RQ2 Ω_p = {−D 기본 | p/6 < h(−D) < p 이고 (−D/p) ≠ 1} 인 판정자 −D 에 대해 H_D(j(z))|U(p) ≡ c_D(0) mod p 가 성립하는 비율은 얼마인가?
• RQ3 특히 h(−D) < p 일 때, H_D(j(z))에 U(p) 연산자를 적용한 결과가 상수 모듈로 p가 되는 조건은 무엇인가?
• RQ4 H_D(x) mod p에서 초특이 j-불변량의 중복도는 클래스 수 h(−D)와 ℚ(√−D)에서 p의 분해 행동과 어떻게 관련되는가?
• RQ5 h(−D) ≥ p 일 때, 비상수 G_p(x)에 대해 합동 H_D(j(z))|U(p) ≡ G_p(j(z)) mod p 를 보장할 수 있는가?

주요 결과

• 모든 기본 판정자 −D < 0 과 소수 p ≤ 11 에 대해 h(−D) < p 이면 합동 H_D(j(z))|U(p) ≡ c_D(0) mod p 가 성립한다.
• 모든 소수 p에 대해, 음이거나 0인 정수 N_p 가 존재하여, −D < N_p 이고 (−D/p) ≠ 1 이면 H_D(j(z))|U(p) ≡ G_p(j(z)) mod p 를 만족하는 어떤 G_p(x) ∈ ℤ[x] 가 존재하며, 그 차수는 최대 h(−D)/p 이다.
• 모든 n > 0 에 대해 c_D(−pn) ≡ 0 mod p 이면 합동 H_D(j(z))|U(p) ≡ c_D(0) mod p 가 성립하며, 이는 h(−D) < p 일 때 보장된다.
• 모든 충분히 작은 −D 에 대해, 특히 −D < N_p(t) 이면 (−D/p) ≠ 1 조건 하에서 H_D(x) mod p에서 각 초특이 j-불변량의 중복도는 최소 t 이상이다.
• 초특이 j-불변량의 중복도에 대한 하한은 테타 함수의 에이젠스타인 급수 성분의 점점 증가하는 성장에 기인하며, 이는 촉성형식 오차항을 압도한다.
• 수치적 증거에 따르면, p/6 < h(−D) < p 이고 (−D/p) ≠ 1 를 만족하는 많은 판정자에 대해 S̃_p(x)^2 가 H_D(x) mod p 로 나누어 떨어지지만, 반례도 존재한다 (예: D = 239, p = 79), 이 경우 비록 p가 분해되지 않더라도 중복도는 오직 1이다.