[논문 리뷰] Singular Units and Isogenies Between CM Elliptic Curves

Yingkun Li|arXiv (Cornell University)|2018. 10. 31.

Algebraic Geometry and Number Theory참고 문헌 12인용 수 8

한 줄 요약

이 논문은 고급 모듈라 형식과 아라켈로프 이론을 사용하여, CM 타원곡선의 핵심 불변량인 특이 모듈러스의 차이가 언제나 대수적 단위가 아님을 증명한다. 고차 그린 함수와 모듈라 다항식 노름에 고르스-자지와 고르스-코헨-자지 정리를 적용함으로써, 이러한 차이의 로그 노름에 비자명한 하한을 확립함으로써, 특이 모듈러스의 비단위성에 대한 오랫동안 남아 있던 질문을 해결하고, CM 곡선 간 이소지 관계로까지 이를 확장한다.

ABSTRACT

In this note, we will apply the results of Gross-Zagier, Gross-Kohnen-Zagier and their generalizations to give a short proof that the differences of singular moduli are not units. As a consequence, we obtain a result on isogenies between reductions of CM elliptic curves.

연구 동기 및 목표

• 특이 모듈러스의 비단위성에 관한 추측을 해결하고, 이전 결과에서 큰 판별식만 제외한 바를 확장한다.
• 해석적 수론을 사용하여 특이 모듈러스 차이의 로그 노름에 대한 정량적 하한을 확립한다.
• 모든 쌍의 CM 점과 모든 이소지 차수 m ≥ 1로 비단위성 결과를 일반화한다.
• 고차 그린 함수와 모듈라 다항식 인수분해를 적용하여 CM 타원곡선의 맥락에서 효과적인 하한을 도출한다.
• 일부 소수에 대해 CM 타원곡선의 환원이 항상 m-이소지적임을 보여주며, 산술기하학과 모듈라 형식을 연결한다.

제안 방법

• 고르스-자지 공식을 적용하여, 모듈라 다항식의 로그 노름을 헤크 대응과 관련된 음이 아닌 항들의 합으로 표현한다.
• 고르스-코헨-자지 정리를 사용하여 동일한 합을 고차 그린 함수의 값으로 재해석하며, 이는 알려진 바로 음이 아닌 것으로 알려져 있다.
• 고차 그린 함수의 푸리에 급수 구성법을 활용하여 양성과 음이 아닌 성질을 보장함으로써, 합의 모든 항이 0이 아님을 암시한다.
• 특수 함수인 제2종 레지오드 함수 Q_{k-1}(cosh(√2ε))를 통해 하한을 유도하며, 이는 CM 점 간 거리와 m번째 헤크 대응에 의존한다.
• 갈루아 수반이 (Z(W))와 ε-근접성의 헤크 그래프 (T_{m,ε})의 교차를 통해 하한이 양수임을 보장한다.
• 약한 헬로모르픽 모듈라 형식과 비일관 에이젠스타인 급수 이론을 적용하여 푸리에 계수를 계산하고, 이를 모듈라 다항식의 노름과 연결한다.

실험 결과

연구 질문

• RQ1 특이 모듈러스의 차이가 둘 다 변하는 CM 판별식을 가질 때에도 언제나 대수적 단위가 될 수 있는가?
• RQ2 모듈라 다항식의 값이 CM 점에서 로그 노름에 대해 효과적인 하한을 설정할 수 있는가?
• RQ3 CM 타원곡선 맥락에서 갈루아 수반의 교차가 헤크 대응에 미치는 산술적 의미는 무엇인가?
• RQ4 고차 그린 함수의 음이 아닌 성질이 특이 모듈러스 차이의 구조에 어떤 제약을 끼치는가?
• RQ5 CM 타원곡선의 환원이 유한체에서 언제 이소지적일 수 있는가?

주요 결과

• 모듈라 다항식 φₘ(j(z₁),j(z₂))의 노름은 어떤 CM 점 z₁, z₂와 어떤 m ≥ 1에 대해서도 단위가 아니며, 마스서의 추측을 해결한다.
• 비자명한 하한이 확립된다: log|Nm(φₘ(j(z₁),j(z₂)))| ≥ |Z(W) ∩ T_{m,ε}| · Q₂(cosh(√2ε)) for any ε > 0.
• 이 하한은 효과적이며, m번째 헤크 대응의 ε-근접성과 교차하는 갈루아 수반의 수 (Z(W))에 의존한다.
• 이 결과는 임의의 CM 타원곡선 E₁, E₂에 대해 복합 린클래스 체의 소수 p가 존재하여, E₁과 E₂가 모듈로 p에서 m-이소지적임을 암시한다.
• 이 증명 기법은 모든 m ≥ 1과 두 판별식이 모두 변할 수 있는 경우로 확장되며, 이전 연구에서 요구된 사례별 컴퓨터 점검을 피한다.
• 고차 그린 함수의 음이 아닌 성질은 고르스-자지 공식의 합이 양수임을 보장하며, 이는 하한을 도출하는 데 핵심적이다.