代数闭赋值域的剩余域是否可提升？

嘿，这个问题问得非常到位！答案是肯定的——当$K$是代数闭域，且剩余域$k$与$K$特征相同时，必然存在剩余映射$\pi: \mathcal{O}_v \to k$的截面$s: k \to \mathcal{O}_v$，也就是你说的剩余域到赋值环的提升。

我给你拆解一下背后的逻辑：

• 首先确认前提：当$K$是代数闭域时，它的剩余域$k$也一定是代数闭的。原因很简单：任何$k$上的首一多项式都可以提升为$\mathcal{O}_v$上的首一多项式，而$K$是代数闭的，这个提升后的多项式在$K$中有根，把根模掉赋值理想就得到原多项式在$k$中的根，所以$k$必然代数闭。
• 核心关键点：此时的赋值环$\mathcal{O}_v$是亨泽尔环。不管特征是0还是素数$p>0$，只要$K$是代数闭域，它的赋值环都满足亨泽尔引理的条件——简单来说，任何$\mathcal{O}_v$上的首一多项式，如果在剩余域$k$里有一个单根，就能在$\mathcal{O}_v$里找到对应的提升根。而因为$K$代数闭，我们总能找到这样的提升根。
• 对于相等特征的情况（$\text{Char}(k)=\text{Char}(K)$），亨泽尔环的性质直接保证了剩余域的提升存在：
  • 如果特征是0，就是你已经知道的结论；
  • 如果特征是素数$p>0$，我们可以利用Teichmüller提升来构造这个截面：对于$k$中的每个元素$\overline{a}$，因为$k$是代数闭的，我们可以通过亨泽尔引理对多项式（比如$x^p - x = \overline{a}^p - \overline{a}$这类式子）找到对应的提升，最终得到一个环同态$s: k \to \mathcal{O}_v$，满足$\pi(s(\overline{a}))=\overline{a}$，而且这个提升还能保持乘法结构。

简单总结一下：代数闭域+相等特征的条件，直接让赋值环成为亨泽尔环，而亨泽尔环在相等特征下必然允许剩余域的提升，所以你的问题答案是肯定的。

备注：内容来源于stack exchange，提问作者ugur efem