[논문 리뷰] Towards the André-Oort conjecture for mixed Shimura varieties: the Ax-Lindemann theorem and lower bounds for Galois orbits of special points

Ziyang Gao|arXiv (Cornell University)|2013. 10. 04.

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

한 줄 요약

이 논문은 모든 혼합 시무라 다양체에 대해 Ax-Lindemann-Weierstrauss 정리를 확립하고 특수점의 갈루아 궤도에 대한 하한을 증명하여, 순수 부분이 $\mathcal{A}_6^n$의 부분다양체인 혼합 시무라 다양체에 대해 일반화된 앤드류-오어트 추측을 조건 없이 증명하며, 아벨 유형의 모든 혼합 시무라 다양체에 대해 GRH 하에 이를 증명한다.

ABSTRACT

We prove in this paper the Ax-Lindemann-Weierstrass theorem for all mixed Shimura varieties and discuss the lower bounds for Galois orbits of special points of mixed Shimura varieties. In particular we reprove a result of Silverberg in a different approach. Then combining these results we prove the André-Oort conjecture for any mixed Shimura variety whose pure part is a subvariety of A_6^n.

연구 동기 및 목표

• 모든 혼합 시무라 다양체로 순수 시무라 다양체에서의 결과를 일반화하여 Ax-Lindemann-Weierstrauss 정리를 확장하는 것.
• 혼합 시무라 다양체 내 특수점의 갈루아 궤도에 대한 효과적인 하한을 확립하여 앤드류-오어트 추측을 증명하는 데 핵심적인 역할을 하는 것.
• 호지 이론과 군 작용을 기반으로 한 새로운 방법을 사용하여 실버버그의 CM 점 갈루아 궤도 결과를 재증명하는 것.
• 순수 부분이 $\mathcal{A}_6^n$의 부분다양체인 혼합 시무라 다양체에 대해 일반화된 앤드류-오어트 추측을 조건 없이 증명하는 것.
• 대수적 및 산술기하학 기법을 통해 혼합 시무라 다양체 내 특수 부분다양체와 특수점의 연구를 통합하는 것.

제안 방법

• 혼합 $\mathbb{Z}$-호지 구조의 변화 이론을 사용하여 혼합 시무라 다양체의 기하학을 분석한다.
• 균일화 공간과 약하게 특수 부분다양체의 맥락에서 Ax-Lindemann-Weierstrauss 정리를 적용한다.
• Pila-Wilkie 수세기 정리와 o-미니멀리티를 사용하여 준대수적 집합 내 유리점의 수를 제어한다.
• 복소 균일화 공간 내에서 안정자군 $\operatorname{Stab}_V(\widetilde{Z})$와 $\operatorname{Stab}_U(\widetilde{Z})$를 분석하여 $\widetilde{Z}$가 복소부분공간의 이동임을 증명한다.
• 대수적 곡선 위에서 미분형식 $\omega|_T$의 적분을 사용하여 $\Gamma_U$ 내의 군 원소 $\gamma_U$의 수에 대한 하한을 유도한다.
• Borel–Harish-Chandra 정리와 산술군의 구조를 적용하여 $H(\gamma)$의 성장과 기본도메인 내 $\gamma$-이동의 수를 제어한다.

실험 결과

연구 질문

• RQ1 순수 시무라 다양체 외에 모든 혼합 시무라 다양체에 대해 Ax-Lindemann-Weierstrauss 정리가 성립하는가?
• RQ2 혼합 시무라 다양체 내 특수점의 갈루아 궤도 크기에 대한 효과적인 하한은 무엇인가?
• RQ3 순수 부분이 $\mathcal{A}_6^n$에 속하는 혼합 시무라 다양체에 대해 일반화된 앤드류-오어트 추측을 조건 없이 증명할 수 있는가?
• RQ4 어떤 조건에서 혼합 시무라 다양체의 아벨 유형에 대해 앤드류-오어트 추측을 확립할 수 있는가?
• RQ5 $\operatorname{Stab}_V(\widetilde{Z})$와 $\operatorname{Stab}_U(\widetilde{Z})$의 안정자군이 약하게 특수 부분다양체의 구조를 어떻게 제어하는가?

주요 결과

• 모든 혼합 시무라 다양체에 대해 Ax-Lindemann-Weierstrauss 정리가 증명되었으며, 이는 균일화 공간 내에 조밀한 특수점의 집합을 포함하는 임의의 대수적 부분다양체는 약하게 특수해야 한다는 것을 의미한다.
• 특수점의 집합이 조밀한 균일화 공간 내의 부분다양체 $\widetilde{Z}$에 대해, $H(\gamma_U) \leq M$이면서 $\gamma_U \widetilde{Z} \cap \mathcal{F}_U \neq \emptyset$인 군 원소 $\gamma_U$의 수에 대해 하한 $\#\Theta(\widetilde{Z}, M) \gg M$을 확립하였으며, 이는 갈루아 궤도 추정에 핵심적이다.
• 순수 부분이 $\mathcal{A}_6^n$의 부분다양체인 혼합 시무라 다양체에 대해 일반화된 앤드류-오어트 추측이 조건 없이 증명되었으며, 이는 이전 결과를 고차원 사례로 확장한다.
• 일반화된 리만 가설(GRH) 하에, Ax-Lindemann 결과와 갈루아 궤도 하한을 활용하여 모든 아벨 유형의 혼합 시무라 다양체에 대해 앤드류-오어트 추측이 확립된다.
• CM 점의 갈루아 궤도에 대한 실버버그의 결과가 호지 이론과 군 이론적 안정자 기반의 새로운 프레임워크에서 재증명된다.
• 만약 $\widetilde{Z}$가 특수점의 조밀한 집합을 포함하는 균일화 공간 내 최대 대수적 부분다양체이면, $\widetilde{Z}$는 복소부분공간 $\operatorname{Stab}_V(\widetilde{Z})(\mathbb{R})$의 이동이므로 약하게 특수하다.