On separable pairs of fields and beautiful pairs of separably closed valued fields
Abstract
We continue the study of beautiful pairs of henselian valued fields, initiated in joint work of the second author with Cubides Kovacsics and Ye. As our main result, we show that separably closed non-trivially valued fields of arbitrary imperfection degree admit beautiful pairs which are elementary pairs satisfying certain natural axioms. They satisfy beauty transfer, i.e., saturated models of their theory are again beautiful. The same holds for beautiful pairs associated to natural subclasses of all definable types, most notably for all definable types orthogonal to the value group and for all bounded definable types. This yields strict pro-definability of the space of the definable types from any of these classes, in the theory SCVF of separably closed non-trivially valued fields. We also show a separable analog of a classical result of Keisler's, namely that the first order theory of an infinite separable extension L/K of fields - considered in the pairs language and where the large field L is separably closed, is determined by the theory of the small field K together with the imperfection degree of L over K.
Related
- A note on isomorphism types of complete discretely valued fields of mixed characteristic
- Quantale-Valued Tolerance Convergence Function Spaces: Topological and Cartesian-Closed Categorical Perspectives
- On the index of generalized trinomials over Valued fields
- Abeloid varieties over higher rank valued fields: Raynaud uniformization and Néron models
- AKE principles in roughly deeply ramified henselian valued fields
BibTeX
@misc{he2026separable,
title = {{On separable pairs of fields and beautiful pairs of separably closed valued fields}},
author = {Zhengqing He and Martin Hils},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.18753},
eprint = {2610.18753},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.18753},
}
RIS
TY - UNPB
TI - On separable pairs of fields and beautiful pairs of separably closed valued fields
AU - Zhengqing He
AU - Martin Hils
PY - 2026
DA - 2026/10/13
PB - arXiv
DO - 10.48550/arxiv.2610.18753
UR - https://arxiv.org/abs/2610.18753
AB - We continue the study of beautiful pairs of henselian valued fields, initiated in joint work of the second author with Cubides Kovacsics and Ye. As our main result, we show that separably closed non-trivially valued fields of arbitrary imperfection degree admit beautiful pairs which are elementary pairs satisfying certain natural axioms. They satisfy beauty transfer, i.e., saturated models of their theory are again beautiful. The same holds for beautiful pairs associated to natural subclasses of all definable types, most notably for all definable types orthogonal to the value group and for all bounded definable types. This yields strict pro-definability of the space of the definable types from any of these classes, in the theory SCVF of separably closed non-trivially valued fields. We also show a separable analog of a classical result of Keisler's, namely that the first order theory of an infinite separable extension L/K of fields - considered in the pairs language and where the large field L is separably closed, is determined by the theory of the small field K together with the imperfection degree of L over K.
ER -