[论文解读] Homotopy sections and rational points on algebraic varieties

Ambrus Pál|arXiv (Cornell University)|Feb 8, 2010

Algebraic Geometry and Number Theory参考文献 2被引用 5

一句话总结

本文引入了一种相对的étale同伦型，以定义p进域和全球域上代数簇上有理点的同伦等价。在p进域上，有理点同伦等价当且仅当étale-Brauer等价；在实数域上，当且仅当位于同一连通分支时同伦等价；在数域上，对于广义Châtelet曲面，同伦等价关系严格优于其他已知的等价关系。

ABSTRACT

It is possible to talk about the etale homotopy equivalence of rational points on algebraic varieties by using a relative version of the etale homotopy type. We show that over $p$-adic fields rational points are homotopy equivalent in this sense if and only if they are etale-Brauer equivalent. We also show that over the real field rational points on projective varieties are etale homotopy equivalent if and only if they are in the same connected component. We also study this equivalence relation over number fields and prove that in this case it is finer than the other two equivalence relations for certain generalised Châtelet surfaces.

研究动机与目标

• 定义一种相对的étale同伦型，以研究代数簇上之有理点的同伦等价性。
• 研究p进域上代数簇的有理点在该同伦等价下的关系。
• 确定实数域上之有理点的同伦等价性与其拓扑连通分支之间的关系。
• 将同伦等价关系与数域上的现有等价关系（尤其是étale-Brauer等价）进行比较。
• 分析广义Châtelet曲面在数域上同伦等价关系的强度。

提出的方法

• 本文构造了一种相对的étale同伦型，通过其同伦理论性质来比较有理点。
• 应用étale同伦型理论研究p进域上代数簇的有理点。
• 利用étale基本群的结构与上同调不变量分析实数域上的连通分支。
• 通过上同调障碍与Brauer-Manin障碍，将同伦等价关系与étale-Brauer等价关系进行比较。
• 研究数域上的广义Châtelet曲面，以证明同伦等价关系严格优于其他已知关系。

实验结果

研究问题

• RQ1 在p进域上，代数簇的有理点在相对étale同伦型意义下何时同伦等价？
• RQ2 实数域上，有理点的同伦等价性如何与它们的拓扑连通分支相关联？
• RQ3 在数域上，同伦等价关系对某些曲面是否严格优于étale-Brauer等价？
• RQ4 上同调不变量与Brauer群在同伦等价下区分有理点时起什么作用？
• RQ5 广义Châtelet曲面在数域上在新的同伦等价关系下表现如何？

主要发现

• 在p进域上，有理点同伦等价当且仅当它们是étale-Brauer等价的。
• 在实数域上，射影代数簇的有理点在étale同伦等价下当且仅当位于同一连通分支。
• 在数域上，对于某些广义Châtelet曲面，同伦等价关系严格优于étale-Brauer等价关系。
• 相对的étale同伦型提供了一种新的、更强的不变量，可优于以往已知的等价关系来区分有理点。
• 结果表明，同伦理论方法可检测到比单纯上同调或Brauer理论方法更精细的算术差异。