[论文解读] Pro-' birational anabelian geometry over algebraically closed elds I

Florian Pop|arXiv (Cornell University)|Jul 5, 2003

Algebraic Geometry and Number Theory参考文献 28被引用 6

一句话总结

本文通过其pro-l伽罗瓦群，建立了对代数闭有限域上超越次数至少为2的函数域的函子性重构。通过分析绝对伽罗瓦群的结构，并利用有理映射的anabelian定理的pro-l版本，作者证明了函数域可完全由其pro-l伽罗瓦理论恢复，将anabelian几何推广至代数闭基上的高维函数域。

ABSTRACT

We consider function fields of transcendence degree at least 2 over algebraic closures of finite fields, and describe a functorial way to recover such function fields form their pro-l Galois theory.

研究动机与目标

• 将有理映射anabelian几何推广至代数闭域上超越次数≥2的函数域。
• 研究此类域的pro-l伽罗瓦群是否能函子性地确定域结构。
• 为代数闭基上的高维函数域建立pro-l有理映射anabelian定理。
• 在pro-l设定下，提供函数域从其绝对伽罗瓦群出发的函子性重构。

提出的方法

• 将函数域的pro-l伽罗瓦群作为重构的主要不变量。
• 在代数闭域上高维代数簇的背景下，应用pro-l基本群理论。
• 利用pro-l版本的有理映射anabelian定理，从伽罗瓦群恢复域结构。
• 依赖于绝对伽罗瓦群的结构，以函子性方式重构函数域。
• 分析伽罗瓦群对étale基本群的作用，以提取域论信息。
• 利用当超越次数至少为2时，函数域由其pro-l伽罗瓦群唯一确定的事实。

实验结果

研究问题

• RQ1 能否从代数闭有限域上超越次数≥2的代数簇的函数域的pro-l伽罗瓦群中重构该函数域？
• RQ2 是否仅通过其pro-l伽罗瓦理论，就能实现此类域的函子性重构？
• RQ3 pro-l版本的有理映射anabelian几何是否对代数闭基上的高维函数域成立？
• RQ4 pro-l伽罗瓦群的结构如何编码函数域的域论信息？
• RQ5 伽罗瓦群的哪些不变量能确定函数域的同构类？

主要发现

• 函数域可完全且函子性地从其pro-l伽罗瓦群中重构。
• 该重构适用于代数闭有限域上超越次数至少为2的函数域。
• pro-l伽罗瓦群在同构意义下唯一确定了域结构。
• 该方法依赖于pro-l有理映射anabelian定理，将已知结果推广至高维情形。
• 该结果在pro-l设定下为高维函数域建立了强形式的anabelian性。
• 重构的函子性确保了域同构与相容的伽罗瓦群同构一一对应。