arXivDaily arXiv每日学术速递 周一至周五更新
arXiv math/0305226math.AGmath.NT
收藏

关于Anabel几何中的“截面猜想”

On the "Section Conjecture" in anabelian geometry

Jochen Koenigsmann

摘要:

设X是域K上亏格>1的光滑射影曲线,域K是在有理数上生成的。格罗滕迪克的阿那贝尔几何中的截面猜想说,从X的算术基本群到K的绝对伽罗瓦群的正则投影的截面(直到共轭)与X的K-有理点一一对应。双有理变体在函数域K(X)的绝对伽罗瓦群代替基本群的情况下,得到类似的对应。本文证明了当K被p-adic数域所取代时,对所有X的双有理截口猜想。它否定了实或p-adic代数数域的两个命题。并给出了几乎任意域上X的K-有理点在双有理背景下诱导的截面的一个纯群论刻画。作为一个biproduct,我们得到伽罗瓦理论的标准,在一个以上的变量的多项式方程的根可解性,并为一个领域是PAC,是大的,或希尔伯特。

英文摘要:

Let X be a smooth projective curve of genus >1 over a field K which is finitely generated over the rationals. The section conjecture in Grothendieck's anabelian geometry says that the sections of the canonical projection from the arithmetic fundamental group of X onto the absolute Galois group of K are (up to conjugation) in one-to-one correspondence with K-rational points of X. The birational variant conjectures a similar correspondence where the fundamental group is replaced by the absolute Galois group of the function field K(X). The present paper proves the birational section conjecture for all X when K is replaced e.g. by the field of p-adic numbers. It disproves both conjectures for the field of real or p-adic algebraic numbers. And it gives a purely group theoretic characterization of the sections induced by K-rational points of X in the birational setting over almost arbitrary fields. As a biproduct we obtain Galois theoretic criteria for radical solvability of polynomial equations in more than one variable, and for a field to be PAC, to be large, or to be Hilbertian.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑