e56ea06f10eacd80.tex
1: \begin{abstract}
2:   We introduce a class of theories called {\em metastable}, including
3:   the theory of algebraically closed valued fields ($\ACVF$) as a
4:   motivating example. The key local notion is that of definable types
5:   dominated by their stable part. A theory is metastable (over a sort
6:   $\Gamma$) if every type over a sufficiently rich base structure can
7:   be viewed as part of a $\Gamma$-parametrized family of stably
8:   dominated types. We initiate a study of definable groups in
9:   metastable theories of finite rank. Groups with a stably dominated
10:   generic type are shown to have a canonical stable quotient. Abelian
11:   groups are shown to be decomposable into a part coming from
12:   $\Gamma$, and a definable direct limit system of groups with stably
13:   dominated generic.  In the case of ACVF, among definable subgroups
14:   of affine algebraic groups, we characterize the groups with stably
15:   dominated generics in terms of group schemes over the valuation
16:   ring. Finally, we classify all fields definable in \(\ACVF\).
17: \end{abstract}
18: