[논문 리뷰] Relations among modular points on elliptic curves

Alexandru Buium, Bjorn Poonen|arXiv (Cornell University)|2007. 06. 05.

Algebraic Geometry and Number Theory참고 문헌 43인용 수 6

한 줄 요약

이 논문은 모듈러-타원적 대응을 통해 타원곡선 위의 CM(복소 곱승) 점들 사이의 선형 관계를 조사하며, 임의의 유한계수 부분군과 CM 점들의 교차가 유한함을 증명한다. 캐논리컬 리프트(Canonical Lift, CL) 점에 대한 상호법칙 정리와 함께 국소적 동치를 효과적인 경계를 갖추어 확립하며, 이는 이소지니 클래스와 숭마 곡선으로까지 확장된다.

ABSTRACT

Given a correspondence between a modular curve and an elliptic curve A we study the group of relations among the CM points of A. In particular we prove that the intersection of any finite rank subgroup of A with the set of CM points of A is finite. We also prove a local version of this global result with an effective bound valid also for certain infinite rank subgroups. We deduce the local result from a ``reciprocity'' theorem for CL (canonical lift) points on A. Furthermore we prove similar global and local results for intersections between subgroups of A and isogeny classes in A. Finally we prove Shimura curve analogues and, in some cases, higher-dimensional versions of these results.

연구 동기 및 목표

• 모듈러-타원적 대응 하에서 타원곡선 위의 CM 점들 사이의 정수 계수 선형 관계의 구조를 이해하기 위해.
• 타원곡선의 임의의 유한계수 부분군과 그 CM 점들의 교차가 유한함을 증명하기 위해.
• 캐논리컬 리프트(CL) 점에 대한 상호법칙 정리를 도입하여, 국소적 유한성 결과를 효과적인 경계와 함께 확립하기 위해.
• 부분군과 이소지니 클래스 사이의 교차로의 결과를 확장하고, 숭마 곡선 및 고차원 아벨 다양체에 대해 유사 결과를 증명하기 위해.
• CL 점들 사이의 토크션 관계를 특성화하는 $p$-진 상호법칙 함수를 개발하기 위해.

제안 방법

• 모듈러-타원적 대응 $S \to X \to A$ 를 사용하며, 여기서 $S = X_1(N)$, $A$ 는 타원곡선이며, $S$ 상의 CM 점들이 $A$ 로 사상됨.
• 그룹 $\nabla^\bot$ 을 도입하여, $\nabla$ 를 통과한 이미지가 $A(\overline{\mathbf{Q}})$ 의 토크션 부분군에 속하는 CM 딜로르의 집합으로 정의함.
• $p$-진 상호법칙 정리를 적용하여, $\nabla(P_i)$ 가 토크션일 때 정확히 $\nabla^\flat(P_i) = 0$ 이 되는 형식 함수 $\nabla^\flat$ 를 정의함.
• 체비쇼프 밀도 정리와 갈루아 표현을 활용하여 특정 분할 및 관성 조건을 만족하는 무한한 소수 집합을 구성함.
• 완비화된 최대 무분할 확장 $\mathbf{Z}_p$ 의 $R$ 에서 작업함으로써 전역 문제를 국소 문제로 환원하여 효과적인 경계를 확보함.
• 모듈로 $p$ 환원을 적용하여 모듈로 $p$ 상호법칙 조건을 도출하며, $p$-진 토크션과 환원된 상호법칙 함수의 소멸을 연결함.

실험 결과

연구 질문

• RQ1 타원곡선의 유한계수 부분군과 그 CM 점들의 교차는 유한한가?
• RQ2 특정 $p$-진 설정 하에서 이러한 교차에 대해 효과적인 경계를 확립할 수 있는가?
• RQ3 CL 점들 사이의 토크션 관계를 특성화하는 $p$-진 상호법칙 함수가 존재하는가?
• RQ4 결과는 부분군과 이소지니 클래스 사이의 교차로 어떻게 확장되는가?
• RQ5 숭마 곡선과 고차원 아벨 다양체에 대해 유사한 결과를 증명할 수 있는가?

주요 결과

• 타원곡선 $A$ 의 임의의 유한계수 부분군과 그 CM 점들의 집합의 교차는 유한하다.
• 완비화된 최대 무분할 확장 $\mathbf{Z}_p$ 의 $R$ 에서의 국소적 유한성 결과가 성립하며, 일부 무한계수 부분군에 대해서도 효과적인 경계가 유지된다.
• 특정 $p$-진 상호법칙 함수 $\Phi^\dagger$ 가 존재하여, $\sum m_i \Phi(P_i) \in A(R)_{\text{tors}}$ 이다. $\Longleftrightarrow$ $\sum m_i \Phi^\dagger(P_i) = 0$ 이다. (CL 점들에 대해).
• 모듈로 $p$ 상호법칙 조건이 성립한다: $\sum m_i \Phi(P_i) \in A(R)_{\text{tors}} + pA(R)$ 이다. $\Longleftrightarrow$ $\sum m_i \overline{\Phi^\dagger}(\overline{P}_i) = 0$ 이다.
• 결과는 부분군과 이소지니 클래스 사이의 교차로, 그리고 일부 경우에 숭마 곡선과 고차원 아벨 다양체로까지 확장된다.
• CM 타원곡선에 대해서는 $Q \in \text{CL}$ 이고, 상호법칙 정리의 국소 조건을 만족하는 소수 $p$ 가 무한히 많다.