[논문 리뷰] Special points on the product of two modular curves

Bas Edixhoven|ArXiv.org|1996. 10. 11.

Analytic Number Theory Research참고 문헌 4인용 수 4

한 줄 요약

이 논문은 허수 정수환에 대한 일반화된 리만 가설을 가정할 때, 두 모듈라 곡선의 곱에 속한 기약 곡선 중 복소 곱승(CM) 점을 무한히 포함하는 곡선은 히크 쌍대사상 또는 사영 사상의 섬유일 수밖에 없다고 증명한다. 이는 심푸라 다양체에서 CM 점의 자리지 클로처가 하위-심푸라 다양체임을 주장하는 오르트의 추측에 강력한 근거를 제공한다.

ABSTRACT

We prove, assuming the Generalized Riemann Hypothesis for imaginary quadratic fields, that irreducible curves in the product of two modular curves that contain infinitely many complex multiplication points are either a Hecke correspondence or a fibre for one of the two projections. This gives evidence for a conjecture of Oort that says that irreducible components of the Zariski closure of a set of CM points in a Shimura variety are sub Shimura varieties.

연구 동기 및 목표

• 두 모듈라 곡선의 곱에 속한 기약 곡선 중 복소 곱승(CM) 점을 무한히 포함하는 곡선의 구조를 조사하는 것.
• 심푸라 다양체에서 CM 점의 자리지 클로처가 스스로 하위-심푸라 다양체임을 주장하는 오르트의 추측을 검증하고 그에 대한 증거를 제공하는 것.
• 수론적 가정 하에 이러한 곡선의 정확한 기하학적 성격을 규명하는 것.
• CM 점 분포에 기반하여 두 모듈라 곡선의 곱에서 특수 부분다양체를 분류하는 것.

제안 방법

• 허수 정수환에 대한 일반화된 리만 가설(GRH)을 활용하여, 곡선 위의 CM 점의 분포와 조밀도를 제어한다.
• 특히 히크 쌍대사상 이론과 모듈라 곡선의 기하학을 활용한 산술기하 기법을 사용한다.
• 복소 곱승 이론과 모듈라 곡선 위에서 히크 연산자의 작용에 관한 결과를 적용한다.
• 모순에 기반한 증명을 통해, 곡선이 무한히 많은 CM 점을 포함하지만 히크 쌍대사상이나 사영 사상의 섬유가 아니라고 가정하고, GRH를 이용해 모순을 이끌어낸다.
• Zariski 클로처와 그 두 인자로의 사영에 대한 행동을 바탕으로 분류를 수행한다.
• 모듈라성과 갈루아 표현 기법을 사용하여 곡선 위의 점의 산술적 성격을 분석한다.

실험 결과

연구 질문

• RQ1 두 모듈라 곡선의 곱에 속한 어떤 기하학적 유형의 곡선이 무한히 많은 CM 점을 포함할 수 있는가?
• RQ2 무한히 많은 CM 점을 포함하는 이러한 곡선이 히크 쌍대사상이나 사영 사상의 섬유가 되지 않는 조건은 무엇인가?
• RQ3 일반화된 리만 가설은 모듈라 곡선 곱에 속한 곡선 위의 CM 점 분포를 어떻게 제약하는가?
• RQ4 이러한 곱에서 CM 점의 자리지 클로처가 오르트의 추측이 예측한 하위-심푸라 구조를 어느 정도 반영하는가?
• RQ5 모듈라 곡선의 곱에서 특수 부분다양체의 분류는 히크 쌍대사상과 섬유로 환원될 수 있는가?

주요 결과

• 허수 정수환에 대한 일반화된 리만 가설을 가정할 경우, 두 모듈라 곡선의 곱에 속한 임의의 기약 곡선이 무한히 많은 CM 점을 포함한다면, 반드시 히크 쌍대사상이거나 두 사영 사상 중 하나의 섬유여야 한다.
• 이 결과는 심푸라 다양체에서 CM 점의 자리지 클로처가 하위-심푸라 다양체임을 주장하는 오르트의 추측에 강력한 조건부 근거를 제공한다.
• GRH 가정 하에 분류가 완전히 이루어지며, 이는 다른 유형의 곡선이 무한히 많은 CM 점을 포함할 수 없다는 것을 보여준다.
• 증명은 날카로운 이분법을 확립한다: 이 설정에서 유한한 CM 점 집합을 지닌 곡선은 히크 쌍대사상과 섬유뿐이다.
• 결과는 GRH에 조건을 두고 있지만, 심푸라 다양체에서 특수 점의 산술기하학을 이해하는 데 있어 중요한 단계를 이룬다.
• 이 작업는 GRH가 고차원 모듈리 공간에서 CM 점과 그 자리지 클로처의 분포를 제어하는 데 얼마나 강력한 도구가 될 수 있는지 보여준다.