Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 1309

Preprint Number 1309

Previous Next Preprint server

1309. Ehud Hrushovski and Silvain Rideau
Valued fields, Metastable groups

Submission date: 26 September 2017


We introduce a class of theories called metastable, including the theory of algebraically closed valued fields (ACVF) as a motivating example. The key local notion is that of definable types dominated by their stable part. A theory is metastable (over a sort Γ) if every type over a sufficiently rich base structure can be viewed as part of a Γ-parametrized family of stably dominated types. We initiate a study of definable groups in metastable theories of finite rank. Groups with a stably dominated generic type are shown to have a canonical stable quotient. Abelian groups are shown to be decomposable into a part coming from Γ, and a definable direct limit system of groups with stably dominated generic. In the case of ACVF, among definable subgroups of affine algebraic groups, we characterize the groups with stably dominated generics in terms of group schemes over the valuation ring. Finally, we classify all fields definable in (ACVF).

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 1709.08801: pdf, ps.

Last updated: March 23 2021 10:20 Please send your corrections to: