Curve-excluding fields

  • Will Johnson

    Fudan University, Shanghai, P. R. China
  • Jinhe Ye

    University of Oxford, Oxford, UK
Curve-excluding fields cover
Download PDF

A subscription is required to access this article.

Abstract

If is a curve over with genus at least and is empty, then the class of fields  of characteristic 0 such that has a model companion, which we call . The theory  is not complete, but we characterize the completions. Using , we produce examples of fields with interesting combinations of properties. For example, we produce (1) a model-complete field with unbounded Galois group, (2) an infinite field with a decidable first-order theory that is not “large” in the sense of Pop, (3) a field that is algebraically bounded but not “very slim” in the sense of Junker and Koenigsmann, and (4) a pure field that is strictly NSOP, i.e., NSOP but not NSOP. Lastly, we give a new construction of fields that are virtually large but not large.

Cite this article

Will Johnson, Jinhe Ye, Curve-excluding fields. J. Eur. Math. Soc. (2025), published online first

DOI 10.4171/JEMS/1630