[논문 리뷰] Frobenius distribution for pairs of elliptic curves and exceptional isogenies

François Charles|arXiv (Cornell University)|2014. 11. 11.

Algebraic Geometry and Number Theory참고 문헌 26인용 수 4

한 줄 요약

이 논문은 수체 위의 임의의 두 타원곡선에 대해, 그 감마환원이 기하학적으로 이소지어진 무한한 소수들이 존재함을 증명한다. 이는 모듈라 곡선 위의 헤크 대응의 역학적 성질과 아라켈로프 기하학을 활용한 것으로, 산술적 버전의 호지 이론적 노이터-레프슈츠 조밀성 정리에 해당하며, 초월적 소수 및 복소 곱승 소수에 응용된다.

ABSTRACT

Let E and E' be two elliptic curves over a number field. We prove that the reductions of E and E' at a finite place p are geometrically isogenous for infinitely many p, and draw consequences for the existence of supersingular primes. This result is an analogue for distributions of Frobenius traces of known results on the density of Noether-Lefschetz loci in Hodge theory. The proof relies on dynamical properties of the Hecke correspondences on the modular curve.

연구 동기 및 목표

• 무게 2의 갈루아 표현에 대해 호지 이론적 노이터-레프슈츠 조밀성 정리의 산술적 동반을 확립하기 위해.
• 타원곡선 쌍의 프로베누스 추적의 분포와 그 소수 모듈로에서의 이소지어짐 행동을 조사하기 위해.
• 두 타원곡선의 환원이 복소 곱승이나 환원 유형에 관계없이 기하학적으로 이소지어진 무한한 소수가 존재함을 증명하기 위해.
• 타원곡선의 수체 위 환원에서 초월적 소수 및 복소 곱승 소수 존재에 대한 결과를 도출하기 위해.

제안 방법

• 모듈라 곡선 X(1) 위의 헤크 대응의 역학적 성질을 활용하여 타원곡선의 j-불변량 분포를 분석하기 위해.
• 아라켈로프 기하학을 적용하여 타원곡선의 모듈리 공간을 연구하고, 복소 곱승 점들 간의 거리를 제어하기 위해.
• 쌍곡 기하학과 모듈라 매개화를 통한 복소 곱승 j-불변량의 분리도 추정을 활용하기 위해.
• Sato-Tate 추측을 힌트로 사용하지만, 증명은 이에 의존하지 않는다.
• 세르의 체의 밀도 정리와 팔링스의 이소지어짐 정리를 전역 설정에서 활용하여 프로베누스 공轭류와 이소지어짐 클래스를 연결하기 위해.
• 헤크 궤도와 복소 곱승 점들 간의 근접도에 대한 정량적 추정을 활용하여, 특정 소수 집합의 밀도가 0임을 보여주기 위해.

실험 결과

연구 질문

• RQ1 수체에서 두 타원곡선의 환원이 기하학적으로 이소지어진 유한한 자리가 무한히 존재하는가?
• RQ2 무게 2 갈루아 표현의 맥락에서 호지 이론적 노이터-레프슈츠 위치의 조밀성에 대한 산술적 동반은 무엇인가?
• RQ3 비이소지어진 두 타원곡선의 프로베누스 추적 분포가 소수 모듈로에서 이소지어짐을 암시하는 일치를 무한히 유도할 수 있는가?
• RQ4 이 분포는 타원곡선 환원에서 초월적 소수 및 복소 곱승 소수 존재에 대해 어떤 함의를 갖는가?
• RQ5 모듈라 곡선 위의 헤크 대응의 역학은 어떤 방식으로 이소지어짐 가능 소수의 조밀성을 제어하는가?

주요 결과

• 논문은 수체 k 위의 임의의 두 타원곡선 E와 E'에 대해, 기하학적으로 이소지어진 환원 E_𝔭와 E'_𝔭를 갖는 무한한 유한한 자리 𝔭가 존재함을 증명한다.
• 이 결과는 복소 곱승이나 곱형 환원이 존재하는지의 여부에 대한 가정 없이도 성립한다.
• 이 증명은 헤크 대응의 역학성과 아라켈로프 기하학, 특히 복소 곱승 점들과 그들의 분리도의 행동에 기반한다.
• 고정된 점으로부터 N^(-D) 이내에 헤크 궤도의 원소가 존재하는 정수 N의 집합은 D ≥ 4일 때 밀도가 0임을 보였다.
• 이 결과는 임의의 수체 위의 타원곡선에 대해 다음 중 적어도 하나가 성립함을 시사한다: 초월적 소수가 무한히 많거나, 고정된 허수 정수 이차체에 대해 복소 곱승을 갖는 환원을 갖는 소수가 무한히 많다.
• 핵심 기술적 진전은 복소 곱승 j-불변량이 유한한 차수의 이소지어짐을 갖는 경우, 그것들이 서로 이sovolumetric하지 않다면 너무 가까이 있을 수 없음을 보여주는 정량적 추정으로, 하한은 (M₁M₂)^(-1/2)(√M₁ + √M₂)^(-1) 비례한다.