[论文解读] Vari'et'es presque rationnelles, leurs points rationnels et leurs d'eg'en'erescences

J-L. Colliot-Thélène|ArXiv.org|Sep 8, 2008

Algebraic Geometry and Number Theory被引用 7

一句话总结

本文利用上同调与形变理论方法，研究了在不同域（有限域、p进域、函数域）上几乎有理代数簇的有理点。研究结果表明，某些类的代数簇，特别是那些在离散赋值环上有良好模型的簇，在较温和条件下自动具有有理点，通过研究正则射影模型及其特殊纤维，统一了不同算术设定下的结果。

ABSTRACT

This survey, which contains very few proofs, addresses the general question: Over a given type of field, is there a natural class of varieties which automatically have a rational point? Fields under consideration here include: finite fields, p-adic fields, function fields in one or two variables over an algebraically closed field. Classical answers are given by the Chevalley-Warning theorem and by Tsen's theorem. More general answers were provided by a theorem of Graber, Harris and Starr and by a theorem of Esnault. The latter results apply to rationally connected varieties. We discuss these varieties from various angles : weak approximation, R-equivalence, Chow group of zero-cycles. Ongoing work on `rationally simply connected' varieties over function fields in two variables is also mentioned. A common thread in this report is the study of the special fibre of a scheme over a discrete valuation ring: if the generic fibre has a simple geometry, what does it imply for the special fibre?

研究动机与目标

• 识别在不同域上自动具有有理点的自然代数簇类。
• 统一有限域、p进域以及曲线与曲面函数域上关于有理点的结果。
• 探讨在离散赋值环上正则模型及其特殊纤维在控制有理点中的作用。
• 研究有理连通性、Brauer群与有理点存在性之间的相互作用。
• 提供一个概念性框架，将几何性质（例如有理连通性）与算术性质（例如有理点的存在性）在不同算术设定下联系起来。

提出的方法

• 在有限域和p进域上使用平展上同调获得结果。
• 在复数域上的函数域上使用凝聚上同调与消去定理（例如Kodaira型定理）。
• 应用形变理论与极小模型程序，研究曲线上代数簇族。
• 分析在离散赋值环上正则射影模型及其特殊纤维，以研究退化现象。
• 通过伽罗瓦上同调与Brauer群，利用有理点的初等障碍。
• 应用R-等价性与弱逼近结果，以理解有理点在特殊化下的行为。

实验结果

研究问题

• RQ1 在p进域、有限域以及曲线/曲面函数域上，哪些代数簇类自动具有有理点？
• RQ2 在离散赋值环上，有理连通簇的退化行为如何？其特殊纤维对有理点揭示了什么信息？
• RQ3 诸如Brauer群与初等障碍等上同调不变量在多大程度上控制了有理点的存在性？
• RQ4 在预测有理点时，平展上同调（用于有限域）与凝聚上同调（用于函数域）的技术有何比较？
• RQ5 在理解局部与整体域上代数簇的算术性质时，正则模型及其特殊纤维起什么作用？

主要发现

• 在有限域以及复数域上的一元函数域上，有理连通簇具有有理点，且通过上同调方法建立了强有力的结果。
• 对于p进域，每个单连通半单群上的主齐性空间都具有有理点，此结果由Kneser与Bruhat-Tits证明。
• 若代数簇具有有理点，则初等障碍消失；其非消失性则阻碍有理点的存在。
• 在复数域上的二元函数域上，有理点的存在性仍是活跃的研究领域，与极小模型程序有深刻联系。
• 在离散赋值环上的正则模型理论为在不同算术设定下统一研究退化现象与有理点提供了框架。
• 在函数域上，低次型曲面满足弱逼近，此结果由Hassett与Tschinkel证明，支持了有理连通性蕴含存在有理点的广泛猜想。