No Arabic abstract
We prove equidistribution of Weierstrass points on Berkovich curves. Let $X$ be a smooth proper curve of positive genus over a complete algebraically closed non-Archimedean field $K$ of equal characteristic zero with a non-trivial valuation. Let $L$ be a line bundle of positive degree on $X$. The Weierstrass points of powers of $L$ are equidistributed according to the Zhang-Arakelov measure on the analytification $X^{an}$. This provides a non-Archimedean analogue of a theorem of Mumford and Neeman. Along the way we provide a description of the reduction of Weierstrass points, answering a question of Eisenbud and Harris.
Let $C$ be a hyperelliptic curve of genus $g$ over the fraction field $K$ of a discrete valuation ring $R$. Assume that the residue field $k$ of $R$ is perfect and that $mathop{textrm{char}} k eq 2$. Assume that the Weierstrass points of $C$ are $K$-rational. Let $S = mathop{textrm{Spec}} R$. Let $mathcal{X}$ be the minimal proper regular model of $C$ over $S$. Let $mathop{textrm{Art}} (mathcal{X}/S)$ denote the Artin conductor of the $S$-scheme $mathcal{X}$ and let $ u (Delta)$ denote the minimal discriminant of $C$. We prove that $-mathop{textrm{Art}} (mathcal{X}/S) leq u (Delta)$. As a corollary, we obtain that the number of components of the special fiber of $mathcal{X}$ is bounded above by $ u(Delta)+1$.
This paper provides an overview of recent progress on the interplay between tropical geometry and non-archimedean analytic geometry in the sense of Berkovich. After briefly discussing results by Baker, Payne and Rabinoff in the case of curves, we explain a result by Cueto, Habich and the author comparing the tropical Grassmannian of planes to the analytic Grassmannian. We also give an overview of the general higher-dimensional theory developed by Gubler, Rabinoff and the author. In particular, we explain the construction of generalized skeleta in which are polyhedral substructures of Berkovich spaces lending themselves to comparison with tropicalizations. We discuss the slope formula for the valuation of rational functions and explain two results on the comparison between polyhedral substructures of Berkovich spaces and tropicalizations.
Let $K$ be an algebraically closed field of characteristic 0 that is complete with respect to a non-archimedean absolute value. We establish a locally uniform approximation formula of the Lyapunov exponent of a rational map $f$ of $mathbb{P}^1$ of degree $d>1$ over $K$, in terms of the multipliers of $n$-periodic points of $f$, with an explicit control in terms of $n$, $f$ and $K$. As an immediate consequence, we obtain an estimate for the blow-up of the Lyapunov exponent near a pole in one-dimensional families of rational maps over $K$. Combined with our former archimedean version, this non-archimedean quantitative approximation allows us to show: - a quantified version of Silvermans and Ingrams recent comparison between the critical height and any ample height on the moduli space $mathcal{M}_d(bar{mathbb{Q}})$, - two improvements of McMullens finiteness of the multiplier maps: reduction to multipliers of cycles of exact given period and an effective bound from below on the period, - a characterization of non-affine isotrivial rational maps defined over the function field $mathbb{C}(X)$ of a normal projective variety $X$ in terms of the growth of the degree of the multipliers.
We confirm a conjecture of Jens Marklof regarding the equidistribution of certain sparse collections of points on expanding horospheres. These collections are obtained by intersecting the expanded horosphere with a certain manifold of complementary dimension and turns out to be of arithmetic nature. This equidistribution result is then used along the lines suggested by Marklof to give an analogue of a result of W. Schmidt regarding the distribution of shapes of lattices orthogonal to integer vectors.
We provide in this paper an upper bound for the number of rational points on a curve defined over a one variable function field over a finite field. The bound only depends on the curve and the field, but not on the Jacobian variety of the curve.