### Current browse context:

math.LO

### Change to browse by:

### References & Citations

# Mathematics > Logic

# Title: Models of Abelian varieties over valued fields, using model theory

(Submitted on 28 Mar 2023)

Abstract: Given an elliptic curve $E$ over a perfect defectless henselian valued field $(F,\mathrm{val})$ with perfect residue field, there exists an integral separated smooth group scheme $\mathcal{E}$ over $\mathcal{O}_F$ with $\mathcal{E}\times_{\text{Spec } \mathcal{O}_F}\text{Spec } F\cong E$. The definable group $\mathcal{E}(\mathcal{O})$ is the maximal generically stable subgroup of $E$. We also give some partial results on general Abelian varieties over $F$.

The construction of $\mathcal{E}$ is by means of generating a birational group law over $\mathcal{O}_F$ by the aid of a generically stable generic type of a definable subgroup of $E$.

Link back to: arXiv, form interface, contact.