Contracting Endomorphisms of Valued Fields

arXiv2305.18963MaRDI QIDQ6438482FDOQ6438482

Authors: Yuval Dor, Yatir Halevi 

Publication date: 30 May 2023

Abstract: We prove that the class of separably algebraically closed valued fields equipped with a distinguished Frobenius endomorphism $xmapsto{x}^q$ is decidable, uniformly in $q$. The result is a simultaneous generalization of the work of Chatzidakis and Hrushovski (in the case of the trivial valuation) and the work of the first author and Hrushovski (in the case where the fields are algebraically closed). The logical setting for the proof is a model completeness result for valued fields equipped with an endomorphism $sigma$ which is locally infinitely contracting and fails to be onto. Namely we prove the existence of a model complete theory $widetildemathrmVFE$ amalgamating the theories $mathrmSCFE$ and $widetildemathrmVFA$ introduced in [4] and [9], respectively. In characteristic zero, we also prove that $widetildemathrmVFE$ is NTP${}_2$ and classify the stationary types: they are precisely those orthogonal to the fixed field and the valuation group.

This page was built for publication: Contracting Endomorphisms of Valued Fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6438482)