[논문 리뷰] A proof of the Andre-Oort conjecture for A_g

Jacob Tsimerman|arXiv (Cornell University)|2015. 06. 04.

Point processes and geometric inequalities참고 문헌 7인용 수 15

한 줄 요약

이 논문은 주어진 모듈리 공간 $Γ_g$ 에서의 앤드레-오르트 추측을 증명한다. 이를 위해, 콜레즈 추측의 평균화된 형태와 매사어-푀스톨츠 이소지니 정리를 사용하여, CM 점의 갈루아 궤도에 대한 다항식 하한을 확립한다. 핵심 결과는 CM 다양체의 모듈리 필드의 차수는 그 CM 필드의 절대 판별식의 양의 거듭제곱만큼 최소한 증가한다는 것이다.

ABSTRACT

We give a proof of the André-Oort conjecture for $\mathcal{A}_g$ - the moduli space of principally polarized abelian varieties. In particular, we show that a recently proven `averaged' version of the Colmez conjecture yields lower bounds for Galois orbits of CM points. The André-Oort conjecture then follows from previous work of Pila and the author.

연구 동기 및 목표

• 주어진 모듈리 공간 $Γ_g$ 의 주로 극화된 아벨 다양체에서 CM 점의 갈루아 궤도에 대한 다항식 하한을 확립한다.
• CM 아벨 다양체의 모듈리 필드가 그 CM 필드의 절대 판별식에 대해 최소한 다항식적으로 증가함을 보인다.
• 이러한 하한을 Pila의 o-미니멀성 전략과 이전의 연구 결과와 결합하여 $Γ_g$ 에서의 앤드레-오르트 추측을 완전히 증명한다.
• 콜레즈 추측의 평균화된 형태를 활용하여, CM 아벨 다양체의 팔링스 높이를 제어한다.
• CM 점의 갈루아 궤도 크기가 충분히 크다는 것을 보여, 임의의 $Γ_g$ 의 대수적 부분다양체에서 최대 특수 부분다양체의 유한성을 이끌어낸다.

제안 방법

• 안드레타-고렌-호와드-마다푸시 페라 및 윤-장이 최근 발표한 평균화된 콜레즈 추측을 사용하여, CM 아벨 다양체의 팔링스 높이에 대한 하한을 유도한다.
• 매사어-푀스톨츠 이소지니 정리를 적용하여, 동형인 아벨 다양체들 사이의 이소지니의 차수를 그 팔링스 높이와 모듈리 필드의 차수로 bound한다.
• 팔링스 높이에 대한 상한과 매사어-푀스톨츠 이소지니 정리의 bound를 결합하여, 차수의 상한이 다항식적으로 유한한 이소지니의 수를 유도한다.
• CM 아벨 다양체 $A$ 의 모듈리 필드의 차수 $[\mathbb{Q}(A) : \mathbb{Q}]$ 에 대한 하한을 유도하여, 어떤 $\delta_g > 0$ 에 대해 $|\mathrm{Disc}(E)|^{\delta_g}$ 의 형태로 최소한 증가함을 보인다.
• 구조 $\mathbb{R}_{\text{an,exp}}$ 의 o-미니멀성과 피라-윌키 정리를 적용하여, $V$ 의 균일화 사상에 대한 역상 내에 반대칭 대수적 집합을 추출한다.
• 초구형-아크스-린다만 정리를 적용하여, 이러한 반대칭 대수적 집합의 존재가 $V$ 내에 특수 부분다양체의 존재를 암시함을 유도함으로써 증명을 완료한다.

실험 결과

연구 질문

• RQ1 일반화된 리만 가설을 가정하지 않고도 $\mathcal{A}_g$ 의 CM 점 갈루아 궤도에 대한 다항식 하한을 확립할 수 있는가?
• RQ2 콜레즈 추측의 평균화된 형태가 CM 아벨 다양체의 팔링스 높이를 제어하는 데 충분한가? 이는 산술적 응용에 유용한가?
• RQ3 매사어-푀스톨츠 이소지니 정리와 높이 bound의 조합이 CM 아벨 다양체의 모듈리 필드 차수에 대한 효과적인 하한을 도출할 수 있는가?
• RQ4 o-미니멀성과 피라-윌키 정리는 앤드레-오르트 추측의 맥락에서 특수 부분다양체를 탐지하는 데 얼마나 효과적으로 사용될 수 있는가?
• RQ5 해석적 및 모델이론적 도구만을 사용하여 $\mathcal{A}_g$ 에서의 앤드레-오르트 추측을 증명할 수 있는가? 이 경우 해석적 수론의 가정에 의존하지 않고도 가능한가?

주요 결과

• 모든 CM 필드 $E$ 가 차수 $g$ 를 가지는 경우, $\mathcal{O}_E$ 를 전부 포함하는 CM 아벨 다양체의 모듈리 필드의 차수는 어떤 $\delta_g > 0$ 에 대해 $|\mathrm{Disc}(E)|^{\delta_g}$ 의 형태로 최소한 증가함을 보였다. 이는 CM 유형에 관계없이 성립한다.
• 평균화된 콜레즈 추측은 CM 아벨 다양체의 팔링스 높이가 $|\mathrm{Disc}(E)|$ 에 대해 다항식 이하로 증가함을 암시하며, 이는 주요 추론에 충분하다.
• 매사어-푀스톨츠 이소지니 정리를 사용하여, CM 아벨 다양체들 사이의 차수의 상한이 다항식적으로 유한한 이소지니의 수를 유도함으로써, 갈루아 궤도가 다항식적으로 증가함을 강제한다.
• 균일화 사상에 대한 $V \subset \mathcal{A}_g$ 의 역상 내에 반대칭 대수적 집합이 존재하면, 초구형-아크스-린다만 정리를 통해 $V$ 내에 특수 부분다양체의 존재를 유추할 수 있다.
• 위의 하한을 Pila의 전략과 결합함으로써, 일반화된 리만 가설을 가정하지 않고도 $\mathcal{A}_g$ 에서의 앤드레-오르트 추측이 무조건적으로 증명됨을 보였다.
• 동일한 조건 하에, 순수 부분이 $\mathcal{A}_g$ 의 셰이머 부분다양체인 혼합 셰이머 다양체로도 결과가 확장된다.