I’d like to continue this discussion of break divisors on graphs & tropical curves by describing an interesting connection to algebraic geometry. In this post, I’ll explain a beautiful connection to the theory of compactified Jacobians discovered by Tif Shen, a recent Ph.D. student of Sam Payne at Yale. Continue reading
My new Georgia Tech colleague Joe Rabinoff and I recently posted this paper to the arXiv, entitled The skeleton of the Jacobian, the Jacobian of the skeleton, and lifting meromorphic functions from tropical to algebraic curves. In this post I will attempt to give some context and background for that paper.
Suppose is an algebraic variety over a complete non-Archimedean field . For simplicity of exposition, I will assume throughout that is algebraically closed and that the value group is nontrivial. The set of points possesses a natural (Hausdorff) analytic topology, but is totally disconnected and not even locally compact in this topology. This is bad for all sorts of reasons. Over the years there have been many attempts at “fixing” this problem, beginning with the Tate-Grothendieck theory of rigid analytic spaces. One of the most successful and elegant solutions to the problem is Berkovich’s theory of non-Archimedean analytic spaces. One can associate to , in a natural and functorial way, an analytic space which contains as a dense subspace but has much nicer topological properties. For example, is a locally compact Hausdorff space which is locally contractible, and is arcwise connected if is connected. As in the theory of complex analytic spaces, is compact if and only if is proper. For much more information about Berkovich analytic spaces, see for example these course notes of mine.
One of the nice features of Berkovich’s theory (established in full generality only very recently, by Hrushovski and Loeser) is that the space always admits a deformation retraction onto a finite polyhedral complex . In general, there is no canonical choice for . However, in certain special cases there is, e.g. when is a curve of positive genus or is an abelian variety. (More generally, the existence of canonical skeleta is closely tied in with the Minimal Model Program in birational algebraic geometry, see for example this recent paper of Mustata and Nicaise.) For the rest of this post, I will focus on the special cases of curves and abelian varieties. Continue reading