Authors : Ducros, Antoine (Author of the conference)
CIRM (Publisher )
Abstract :
Skeletons are subsets of non-archimedean spaces (in the sense of Berkovich) that inherit from the ambiant space a natural PL (piecewise-linear) structure, and if $S$ is such a skeleton, for every invertible holomorphic function $f$ defined in a neighborhood of $S$, the restriction of $\log |f|$ to $S$ is $\mathrm{PL}$.In this talk, I will present a joint work with E. Hrushovski, F. Loeser and J. Ye in which we consider an irreducible algebraic variety $X$ over an algebraically closed, non-trivially valued and complete non-archimedean field $k$, and a skeleton $S$ of the analytification of $X$ defined using only algebraic functions, and consisting of Zariski-generic points. If $f$ is a non-zero rational function on $X$ then $\log |f|$ indices a $\mathrm{PL}$ function on $S$, and if we denote by $E$ the group of all $\mathrm{PL}$ functions on $S$ that are of this form, we prove the following finiteness result on the group $E$ : it is stable under min and max, and there exist finitely many non-zero rational functions $f_1, \ldots, f_m$ on $X$ such that $E$ is generated, as a group equipped with min and max operators, by the $\log \left|f_i\right|$ and the constants $|a|$ for a in $k^*$. Our proof makes a crucial use of Hrushovski-Loesers theory of stable completions, which are model-theoretic avatars of Berkovich spaces.
Keywords : Berkovich spaces; skeletons; tropical functions
MSC Codes :
03C98
- Applications of model theory
14G22
- Rigid analytic geometry
14T20
Film maker : Hennenfent, Guillaume
Language : English
Available date : 23/06/2023
Conference Date : 29/05/2023
Subseries : Research talks
arXiv category : Algebraic Geometry ; Logic
Mathematical Area(s) : Algebraic & Complex Geometry ; Logic and Foundations
Format : MP4 (.mp4) - HD
Video Time : 00:57:48
Targeted Audience : Researchers ; Graduate Students ; Doctoral Students, Post-Doctoral Students
Download : https://videos.cirm-math.fr/2023-05-29_Ducros_1.mp4
|
Event Title : Model theory of valued fields / Théorie des modèles des corps valués Event Organizers : Chatzidakis, Zoé ; Jahnke, Franziska ; Rideau-Kikuchi, Silvain Dates : 29/05/2023 - 02/06/2023
Event Year : 2023
Event URL : https://conferences.cirm-math.fr/2761.html
DOI : 10.24350/CIRM.V.20051403
Cite this video as:
Ducros, Antoine (2023). Tropical functions on skeletons. CIRM. Audiovisual resource. doi:10.24350/CIRM.V.20051403
URI : http://dx.doi.org/10.24350/CIRM.V.20051403
|
See Also
-
[Multi angle]
Beautiful pairs revisited
/ Author of the conference Ye, Jinhe.
-
[Multi angle]
An Imaginary Ax-Kochen/Ershov principle: the equicharacteristic zero case
/ Author of the conference Vicaria, Mariana.
-
[Multi angle]
Existential closedness of $\mathbb{Q}^{alg}$ as a globally valued field
/ Author of the conference Szachniewicz, Michal.
-
[Multi angle]
Interpretable, definably semisimple groups in various valued fields
/ Author of the conference Peterzil, Ya'acov.
-
[Multi angle]
The existential closedness problem for analytic solutions of difference equations
/ Author of the conference Padgett, Adele.
-
[Multi angle]
Multi topological fields and NTP2
/ Author of the conference Montenegro Guzman, Samaria.
-
[Multi angle]
A Hasse principle over Berkovich analytic curves
/ Author of the conference Mehmeti, Vlerë.
-
[Multi angle]
Definable convex and henselian valuations on ordered fields
/ Author of the conference Krapp, Lothar Sebastian.
-
[Multi angle]
Beyond the Fontaine-Wintenberger theorem
/ Author of the conference Kartas, Konstantinos.
-
[Multi angle]
Around NIP Noetherian domains
/ Author of the conference Johnson, Will.
-
[Multi angle]
An invitation to globally valued fields
/ Author of the conference Hrushovski, Ehud.
-
[Multi angle]
Lang-Weil type bounds in finite difference fields
/ Author of the conference Hils, Martin.
-
[Multi angle]
Residue field domination
/ Author of the conference Haskell, Deirdre.
-
[Multi angle]
Motivic integration with pseudo-finite residue field and fundamental lemma
/ Author of the conference Forey, Arthur.
-
[Multi angle]
Contracting endomorphisms of valued fields
/ Author of the conference Dor, Yuval.
-
[Multi angle]
Ax-Kochen-Ershov principles for finitely ramified henselian fields
/ Author of the conference Dittmann, Philip.
-
[Multi angle]
Group construction in $C$-minimal structures
/ Author of the conference Delon, Françoise.
-
[Multi angle]
Homology groups in algebraically closed valued fields
/ Author of the conference Cubides Kovacsics, Pablo.
-
[Multi angle]
Existential uniform p-adic integration and descent for integrability and largest poles
/ Author of the conference Cluckers, Raf.
-
[Multi angle]
Polynomials that vanish on many sets of codimension 2
/ Author of the conference Ben Yaacov, Itaï.
-
[Multi angle]
The model theory of Hardy fields and linear differential equations
/ Author of the conference Aschenbrenner, Matthias.
-
[Multi angle]
Transfer of decidability for existential theories of (valued) fields
/ Author of the conference Anscombe, Sylvy.
Bibliography