Oxford

Non-trivial henselian valuations are often so closely related to the arithmetic of the underlying field that they are encoded in it, i.e., that their valuation ring is first-order definable in the language of rings. In this talk, we will give a complete classification of all henselian valued fields of residue characteristic 0 that allow a (0-)definable henselian valuation. This requires new tools from the model theory of ordered abelian groups (joint work with Franziska Jahnke).

We prove that quasi-trees of spaces satisfying the axiomatisation given by Bestvina, Bromberg and Fujiwara are quasi-isometric to tree-graded spaces in the sense of Dru\c{t}u and Sapir. We then present a technique for obtaining `good' embeddings of such spaces into $\ell^p$ spaces, and show how results of Bestvina-Bromberg-Fujiwara and Mackay-Sisto allow us to better understand the metric geometry of such groups.