Models of Abelian varieties over valued fields, using model theory

Abstract: Given an elliptic curve

E

over a perfect defectless henselian valued field

(F, m a t h r m v a l)

with perfect residue field, there exists an integral separated smooth group scheme

m a t h c a l E

over

m a t h c a l O_{F}

with

m a t h c a l E i m e s_{e x t S p e c m a t h c a l O_{F}} e x t S p e c F c o n g E

. The definable group

m a t h c a l E (m a t h c a l O)

is the maximal generically stable subgroup of

E

. We also give some partial results on general Abelian varieties over

F

. The construction of

m a t h c a l E

is by means of generating a birational group law over

m a t h c a l O_{F}

by the aid of a generically stable generic type of a definable subgroup of

E

.

This page was built for publication: Models of Abelian varieties over valued fields, using model theory