On the structure of certain valued fields II
Abstract
We study the structure of finitely ramified henselian valued fields of mixed characteristic with arbitrary residue fields via their residue rings of higher length, where a residue ring of length n is the quotient ring of the valuation ring by the n-th power of its maximal ideal. We prove an approximate lifting theorem for homomorphisms between residue rings of higher length and explicitly determine the optimal bound of error of lifting. As applications, we obtain several Ax-Kochen-Ershov principles for relative completeness, relative existential completeness, and existential closedness using the pure ring structures on the residue rings. And we show that any formula on a residue ring of length k is equivalent to a normal form of sentences in pure ordered group structure and special formulas at level n, uniformly for all finitely ramified henselian valued fields of mixed characteristic (0,p) and the same initial ramification index e. Here, for n≥ k, a special formula at level n represents a definable set on a residue ring of length k given by a projection image of a definable set in pure ring structure on a residue ring of length n. Also, such n is optimally computed from the precise estimation of error of lifting and depends only on k, residue characteristic p, and initial ramification index e.
Related
- Bohr-type inequalities for certain integral transforms of operator-valued analytic functions on shifted disc
- Ideal class groups of certain real quadratic number fields and factorizations of values of certain quadratic polynomials
- On the class number of certain cyclotomic fields
- A note on isomorphism types of complete discretely valued fields of mixed characteristic
- On the index of generalized trinomials over Valued fields
BibTeX
@misc{lee2026structure,
title = {{On the structure of certain valued fields II}},
author = {Junguk Lee and Wan Lee},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.08395},
eprint = {2610.08395},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.08395},
}
RIS
TY - UNPB
TI - On the structure of certain valued fields II
AU - Junguk Lee
AU - Wan Lee
PY - 2026
DA - 2026/10/26
PB - arXiv
DO - 10.48550/arxiv.2610.08395
UR - https://arxiv.org/abs/2610.08395
AB - We study the structure of finitely ramified henselian valued fields of mixed characteristic with arbitrary residue fields via their residue rings of higher length, where a residue ring of length n is the quotient ring of the valuation ring by the n-th power of its maximal ideal. We prove an approximate lifting theorem for homomorphisms between residue rings of higher length and explicitly determine the optimal bound of error of lifting. As applications, we obtain several Ax-Kochen-Ershov principles for relative completeness, relative existential completeness, and existential closedness using the pure ring structures on the residue rings. And we show that any formula on a residue ring of length k is equivalent to a normal form of sentences in pure ordered group structure and special formulas at level n, uniformly for all finitely ramified henselian valued fields of mixed characteristic (0,p) and the same initial ramification index e. Here, for n≥ k, a special formula at level n represents a definable set on a residue ring of length k given by a projection image of a definable set in pure ring structure on a residue ring of length n. Also, such n is optimally computed from the precise estimation of error of lifting and depends only on k, residue characteristic p, and initial ramification index e.
ER -