Pablo Cubides Kovacsics (TU Dresden): Definable subsets of Berkovich curves
Donnerstag, 24.01.2019 11:00 im Raum SR 1D
Let K be an algebraically closed complete rank 1 non-trivially valued field. Let X be an algebraic curve over K and let X^an be its
analytification in the sense of Berkovich. We functorially associate to X^an a definable set X^S in a natural language. As a corollary, we obtain an alternative proof of a result of Hrushovski-Loeser about the iso-definability of curves. Our association being explicit allows us to provide a concrete description of the definable subsets of X^S. This is a joint work with Jérôme Poineau.