Related papers: Radiality of definable sets

In this article, we functorially associate definable sets to $k$-analytic curves, and definable maps to analytic morphisms between them, for a large class of $k$-analytic curves. Given a $k$-analytic curve $X$, our association allows us to…

Let $k$ be a complete, nontrivially valued non-archimedean field. Given a finite morphism of quasi-smooth $k$-analytic curves that admit finite triangulations, we provide upper bounds for the number of connected components of the…

This article is the second installment in a series on the Berkovich ramification locus for nonconstant rational functions f: P^1 -> P^1. Here we show the ramification locus of f is contained in a strong tubular neighborhood of finite radius…

We investigate affine Berkovich spaces over maximally complete fields and prove that they may be approximated by simpler spaces when the only functions we need to evaluate are polynomials of bounded degree. We derive applications to…

Let K be an algebraically closed, complete non-Archimedean field. The purpose of this paper is to carefully study the extent to which finite morphisms of algebraic K-curves are controlled by certain combinatorial objects, called skeleta. A…

We apply the theory of the radius of convergence of a p-adic connection to the special case of the direct image of the constant connection via a finite morphism of compact p-adic curves, smooth in the sense of rigid geometry. In the case of…

Given a generically \'etale morphism $f\colon Y\to X$ of quasi-smooth Berkovich curves, we define a different function $\delta_f\colon Y\to[0,1]$ that measures the wildness of the topological ramification locus of $f$. This provides a new…

We prove that, for certain extensions of valued fields which admit a sensible theory of ramification groups, there exist canonical towers that correspond to the break-points of their Herbrand function. In particular, each of the…

This text is devoted to the systematic study of relative properties in the context of Berkovich analytic spaces. We first develop a theory of flatness in this setting. After having shown through a counter-example that naive flatness cannot…

This paper deals with connections on $p$-adic analytic curves, in the sense of Berkovich. The curves must be compact but the connections are allowed to have a finite number of meromorphic singularities on them. For any choice of a…

We prove a simultaneous generalization of the classical Riemann-Hurwitz and Plucker formulas, addressing the total inflection of a morphism from a (smooth, projective) curve to an arbitrary (smooth, projective) higher-dimensional variety.…

We consider a finite \'etale morphism $f:Y \to X$ of quasi-smooth Berkovich curves over a complete nonarchimedean non-trivially valued field $k$, assumed algebraically closed and of characteristic 0, and a skeleton…

There are different definitions of ends in non-locally-finite graphs which are all equivalent in the locally finite case. We prove the compactness of the end-topology that is based on the principle of removing finite sets of vertices and…

We show that the metric structure of morphisms $f\colon Y\to X$ between quasi-smooth compact Berkovich curves over an algebraically closed field admits a finite combinatorial description. In particular, for a large enough skeleton…

In this paper we prove tight bounds on the combinatorial and topological complexity of sets defined in terms of $n$ definable sets belonging to some fixed definable family of sets in an o-minimal structure. This generalizes the…

Let $\mathbbm{P}^{1,an}$ be the Berkovich projective line over a complete, algebraically closed, non-Archimedean field. Let $\phi$ be a degree $\geq 2$ rational map with potential good reduction, acting on $\mathbbm{P}^{1,an}$. In this…

A finitely presented group is semistable at infinity if all proper rays in the Cayley 2-complex are properly homotopic. A long standing open question asks whether all finitely presented groups are semistable at infinity. This article…

We study directed sets definable in o-minimal structures, showing that in expansions of ordered fields these admit cofinal definable curves, as well as a suitable analogue in expansions of ordered groups, and furthermore that no analogue…

Formal orbifolds are defined in higher dimension. Their \'etale fundamental groups are also defined. It is shown that the fundamental groups of formal orbifolds have certain finiteness property and it is also shown that they can be used to…

The paper deals with Henselian valued field with analytic structure. Actually, we are focused on separated analytic structures, but the results remain valid for strictly convergent analytic ones as well. A classical example of the latter is…