p进闭域的伽罗华刻画——现代视角
The Galois characterisation of $p$-adically closed fields -- A modern perspective
AI总结：
本文通过新方法重新证明了p进闭域的伽罗华刻画，核心在于henselian性，并未依赖伽罗华上同调，同时联系了完美域和模型论转移技术。
摘要：
1927年，Artin和Schreier证明了一个域是实闭的当且仅当其绝对伽罗华群阶数为二。受此启发，Neukirch的早期工作促使Pop提出p进闭域的p进类比：一个域是p进闭的当且仅当其绝对伽罗华群同构于Q_p的伽罗华群。1995年，Efrat对p≠2的情况和Koenigsmann对一般情况分别独立解决了该猜想。本文利用过去25年发展出的valued域理论新方法，给出一个新的、基础的、自包含的证明，证明的核心在于伽罗华刻画的henselian性，且不依赖伽罗华上同调。此外，本文还突出了与Jahnke-Kartas关于完美域的最新工作以及模型论转移技术的联系，并系统地阐述了所有方法以促进进一步研究。
英文摘要：
In 1927, Artin and Schreier showed that a field is real closed if and only if its absolute Galois group has order two. Inspired by this characterisation and drawing on earlier work of Neukirch, Pop conjectured the following $p$-adic analogue: a field is $p$-adically closed if and only if its absolute Galois group is isomorphic to that of $\mathbb{Q}_p$. In 1995, the conjecture was independently solved by Efrat for $p \ne 2$ and by Koenigsmann in full generality. Using novel techniques in the theory of valued fields developed over the last 25 years, we give a new, elementary, and self-contained proof of this theorem, with a Galois characterisation of henselianity at the heart of the proof and without relying on Galois cohomology. We further highlight connections to the recent work of Jahnke-Kartas on perfectoid fields and model-theoretic transfer techniques. We provide a systematic account of all of our methods to encourage further investigations.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
