[논문 리뷰] Model theory of Shimura varieties and categoricity for modular curves

Christopher Daw, Adam Harris|arXiv (Cornell University)|2013. 04. 17.

Algebraic Geometry and Number Theory인용 수 1

한 줄 요약

이 논문은 모듈러 곡선과 시무라 곡선에서 $\alpha_{\omega_1, \omega}$-문장의 모든 무한 기수에서의 분류성과 허지-일반적인 점에 부착된 갈루아 표현에 대한 조건이 동치임을 보여주는 모형론적 프레임워크를 수립한다. 또한 시무라 다양체 위의 특수점에 대한 새로운 특성화를 제시한다.

ABSTRACT

We describe a model-theoretic setting for the study of Shimura varieties, and study the interaction between model theory and arithmetic geometry in this setting. In particular, we show that the model-theoretic statement of a certain $\mathcal{L}_{\omega_1, \omega}$-sentence having a unique model of cardinality $\aleph_1$ is equivalent to a condition regarding certain Galois representations associated with Hodge-generic points. We then show that for modular and Shimura curves this $\mathcal{L}_{\omega_1, \omega}$-sentence has a unique model in every infinite cardinality. In the process, we prove a new characterisation of the special points on any Shimura variety.

연구 동기 및 목표

• 시무라 다양체를 연구하기 위한 모형론적 프레임워크를 개발하기 위해.
• 이 맥락에서 모형론적 분류성과 수론기하학 사이의 연결 고리를 탐구하기 위해.
• 모듈러 곡선과 시무라 곡선에서 $\alpha_{\omega_1, \omega}$-문장이 모든 무한 기수에서 고유한 모델을 가짐을 입증하기 위해.
• 모든 시무라 다양체 위의 특수점에 대한 새로운 특성화를 제공하기 위해.

제안 방법

• 무한논리, 특히 $\alpha_{\omega_1, \omega}$-문장을 사용하여 시무라 다양체의 모형론을 형식화하기 위해.
• 이 문장들의 분류성과 허지-일반적인 점에 부착된 갈루아 표현 사이의 관계를 분석하기 위해.
• 모듈러 곡선과 시무라 곡선에서 $\alpha_{\omega_1, \omega}$-문장이 모든 무한 기수에서 분류됨을 보이기 위해 수론기하학의 결과를 적용하기 위해.
• 허지 구조 이론과 갈루아 표현을 사용하여 시무라 다양체 위의 특수점에 대한 새로운 특성화를 도출하기 위해.

실험 결과

연구 질문

• RQ1 모형론은 시무라 다양체의 맥락에서 수론기하학과 어떻게 상호작용하는가?
• RQ2 모듈러 곡선과 시무라 곡선의 맥락에서 $\alpha_{\omega_1, \omega}$-문장의 고유한 모델 존재성은 어떤 모형론적 의의를 갖는가?
• RQ3 $\aleph_1$ 기수에서 $\alpha_{\omega_1, \omega}$-문장의 분류성과 관련된 갈루아 표현에 대한 조건은 무엇인가?
• RQ4 어떤 시무라 다양체 위의 특수점은 모형론적 및 수론기하학적 도구를 통해 어떻게 특성화될 수 있는가?

주요 결과

• 기수 $\aleph_1$에서 $\alpha_{\omega_1, \omega}$-문장이 고유한 모델을 가진다는 모형론적 진술은 허지-일반적인 점에 부착된 갈루아 표현에 대한 조건과 동치이다.
• 모듈러 곡선과 시무라 곡선의 경우, $\alpha_{\omega_1, \omega}$-문장은 모든 무한 기수에서 고유한 모델을 가진다.
• 모형론과 수론기하학의 상호작용을 통해 어떤 시무라 다양체 위의 특수점에 대한 새로운 특성화가 확립되었다.
• 분류성과 갈루아 이론적 조건 사이의 동치성은 모형론적 및 수론기하학적 불변량 사이의 다리를 놓는다.