{"id":"arxiv/2610.30762","url":"https://arxiv.org/abs/2610.30762","tags":["math.LO","math.AG"],"score":0,"title":"Analytification and tropicalization via hyperfields and definable types","domain":"math.LO","source":"arxiv","authors":["Pablo Cubides Kovacsics","Mariana Vicaría","Jinhe Ye"],"reviews":0,"subject":"math.LO","summary":"We study the analytification and tropicalization of algebraic varieties over valued fields via Jun's spaces of hyperfield points. Our main new objects are a family of power-tropical hyperfields $H_n$ and their inverse limit $H$, recording at each level the class of a leading term modulo $n$-th powers of the residue field. They yield an enhanced tropicalization of the associated space $X(H)$, strictly finer than the Berkovich one exactly when the multiplicative group of the residue field is non-divisible: it specialises to the Berkovich analytification when the residue field is algebraically…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-22","reactions":{}}