Hyperfields, truncated DVRs, and valued fields (Q2307443): Difference between revisions

The main object of this article is a valued hyperfield. A hyperfield is a field-like algebraic structure whose addition is multivalued, and a valued hyperfield is a hyperfield equipped with a valuation. A typical example of a valued field by a multiplicative subgroup of the form \(1+m^{n}\) for the maximal ideal \(m\) of the valuation ring, which is called the \(n\)-th valued hyperfield of a valued field. This article considers the lifting problem of homomorphisms of the \(n\)-th valued hyperfields to homomorphisms of valued fields. It also studies relationships between certain categories of valued hyperfields, truncated discrete valuation rings, and discrete valued fields of mixed characteristic. At last, the author proves a relative completeness theorem of AKE-style in terms of valued hyperfields. In Section 2, basic notations and facts are recalled. In Section 3, the author show that for two discrete valued fields \( K_{1} \) and \( K_{2} \) of mixed characteristic \( (0,p) \), if the \(n\)-th valued hyperfields of \( K_{1} \) and \( K_{2} \) for every \( n\geq 1 \) are isomorphic then \( K_{1} \) and \( K_{2} \) are isomorphic. Moreover, there exists \( N > 0\) such that if the \(N\)-th valued hyperfiels of \(K_{1}\) and \(K_{2}\) are isomorphic, \(K_1\) and \(K_2\) are isomorphic. This \(N\) is computed explicitly. In Section 4, the author suggests a suitable category \(\widehat{H}^{n}_{p,e}\) of valued hyperfields whose morphisms are isometric homomorphisms, and shows that there is a lifting functor \(\widehat{L}^{H} : \widehat{H}^{n}_{p,e} \rightarrow C_{p,e} \) satisfying proper conditions for large enough \(n\). He shows that there is a full functor from the category \(\widehat{H}^{n}_{p,e}\) to the category \(R^{n}_{p,e}\) for large enough \(n\). He also shows in this section that a subcategory \(H^{n}_{p,e}\) of \( \widehat{H}^{n}_{p,e} \) whose morphisms are over \(p\) is equivalent to \( C_{p,e}\) for every \(n > e\) if \(p\) does not divide \(e\). In Section 5, using the lifting result of homomorphisms of \(n\)-th valued hyperfields shown in Section 3, the author shows that in the case of perfect residue fields, it is enough to check whether \(N\)-th valued hyperfields are elementary equivalent for large enough \(N\) to show that \(K_1\) and \(K_2\) are elementary equivalent. Specially, if \(K_1\) and \(K_2\) are tamely ramified and the first valued hyperfields are elementary equivalent, then \(K_1\) and \(K_2\) are elementary equivalent.