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

关于几何 $C_1$ 域

On geometrically $C_1$ fields

Konstantinos Kartas

AI总结:

本文定义了几何 $C_1$ 域,并证明在等特征为 0 且值群可除的 Henselian 赋值域中,该性质可从剩余域提升至赋值域,同时证明具有可除值群与有限剩余域的代数极大赋值域及局部域的极大全分歧扩张均为几何 $C_1$ 域。

摘要:

若每个光滑射影可分有理连通 $k$-簇都有 $k$-有理点,则域 $k$ 称为几何 $C_1$ 的。给定等特征为 0 且值群可除的 Henselian 赋值域,我们证明几何 $C_1$ 性质可从剩余域提升至赋值域。我们还证明具有可除值群和有限剩余域的代数极大赋值域是几何 $C_1$ 的。特别地,局部域的任何极大全分歧扩张都是几何 $C_1$ 的。

英文摘要:

A field $k$ is called geometrically $C_1$ if every smooth projective separably rationally connected $k$-variety has a $k$-rational point. Given a henselian valued field of equal characteristic $0$ with divisible value group, we show that the property of being geometrically $C_1$ lifts from the residue field to the valued field. We also prove that algebraically maximal valued fields with divisible value group and finite residue field are geometrically $C_1$. In particular, any maximal totally ramified extension of a local field is geometrically $C_1$.

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

↑