[论文解读] Model theory of Shimura varieties and categoricity for modular curves

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

Algebraic Geometry and Number Theory被引用 1

一句话总结

本文为自守簇建立了一个模型论框架，表明模曲线和自守曲线的 $α_{\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.

研究动机与目标

• 为研究自守簇建立一个模型论框架。
• 在此背景下，探讨模型论范畴性与算术几何之间的联系。
• 证明模曲线和自守曲线的 $α_{\omega_1, \omega}$-句子在每个无限基数下具有唯一模型。
• 为任意自守簇上的特殊点提供一种新的刻画。

提出的方法

• 使用无穷逻辑，特别是 $α_{\omega_1, \omega}$-句子，形式化自守簇的模型论。
• 分析这些句子的范畴性与与霍奇一般点相关的伽罗华表示之间的关系。
• 应用算术几何的结果，证明模曲线和自守曲线的 $α_{\omega_1, \omega}$-句子在所有无限基数下是范畴的。
• 利用霍奇结构理论和伽罗华表示，推导出自守簇上特殊点的新刻画。

实验结果

研究问题

• RQ1 在自守簇的背景下，模型论如何与算术几何时相互作用？
• RQ2 在模曲线和自守曲线的设定中，$α_{\omega_1, \omega}$-句子在模型唯一性上的模型论意义是什么？
• RQ3 在基数 $\aleph_1$ 下，$α_{\omega_1, \omega}$-句子的范畴性对应于伽罗华表示的何种条件？
• RQ4 如何利用模型论与算术几何时工具刻画自守簇上的特殊点？

主要发现

• 一个模型论陈述：$α_{\omega_1, \omega}$-句子在基数 $\aleph_1$ 下具有唯一模型，等价于与霍奇一般点相关的伽罗华表示的一个条件。
• 对于模曲线和自守曲线，$α_{\omega_1, \omega}$-句子在每个无限基数下都有唯一模型。
• 通过模型论与算术几何的相互作用，为任意自守簇上的特殊点建立了新的刻画。
• 在 $\aleph_1$ 下的范畴性与伽罗华理论条件之间的等价性，为模型论不变量与算术几何时不变量之间架起了桥梁。