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.
Let be a smooth, proper, connected -curve and let be the valuation ring of . If is any semistable -model for , there is an associated subset of called the skeleton of . Topologically, is homeomorphic to the (geometric realization of the) dual graph G of the special fiber of . (The vertices of G correspond to irreducible components of the special fiber of and edges of G correspond to intersections between these components.) There is also a canonical metric on : if an edge e of G corresponds to the singular point z of the special fiber of , then the length of e is the valuation of , where is a local analytic equation for z on the surface . We may thus think of as a metric graph (a finite graph G in which each edge is viewed as a Euclidean line segment of some definite length). Berkovich proved that is both a subset and a deformation retract of . More generally, is actually homeomorphic to the inverse limit of over all semistable models . If the genus of is positive then there is a canonical minimal skeleton of .
For example, if is an elliptic curve with good reduction then the canonical minimal skeleton of is a point, and if has multiplicative reduction then the minimal skeleton of is a circle of length equal to the negative valuation of the j-invariant of . In the second case, the Berkovich analytic space looks heuristically like this (but with infinitely more complex branching behavior):
In general, the genus (i.e. first Betti number) of the metric graph is less than or equal to the genus of , with equality if and only if is a so-called “Mumford curve” (also called a totally degenerate curve). And has genus zero (i.e. is a metric tree) if and only if has good reduction.
Abelian varieties also have skeleta, which are most conveniently described in terms of the Bosch-Lutkebohmert-Mumford-Raynaud non-Archimedean uniformization theory. If is an abelian variety, the analytification can be described by a so-called “Raynaud uniformization cross”
where is a simply connected analytic group (which topologically is just the universal cover of ), is the analytification of an algebraic torus , is the analytification of an abelian variety with good reduction, and is a discrete subgroup of isomorphic to . The horizontal and vertical parts of the uniformization cross are the nonzero parts of short exact sequences of -analytic groups. The key fact for our purposes is that there is a canonical “abstract tropicalization map” where with the character lattice of . It turns out that is a full-rank lattice in , and thus the quotient is a real torus of dimension equal to the dimension of the “toric part” of , which coincides with the dimension of . There is a unique map making the following diagram commute:
Berkovich proved that there is a canonical section to , and the composition is a deformation retraction. It is therefore natural to call the skeleton of . The so-called analytic monodromy pairing provides the real torus with the additional structure of a principal polarization, making into a principally polarized tropical Abelian variety (PPTAV).
For example, if is an elliptic curve with multiplicative reduction, then the skeleton of is a circle (i.e., a one-dimensional real torus) and the principal polarization encodes the intersection pairing on given by , where is the generator for corresponding to the loop in the above picture.
Going back now to the case of curves, the Jacobian of is an abelian variety of dimension equal to (the genus of ) and in particular its analytification has a canonical skeleton, which is a PPTAV. But there is also another (a priori different!) PPTAV which we can associate to this situation. If is any skeleton of , then as discussed above we may (and should) think of as a metric graph of some genus at most . Another name for a metric graph is an (abstract) tropical curve, and tropical curves, like their algebraic counterparts, have Jacobians. Whereas the Jacobian of algebraic curve is a principally polarized Abelian variety (and in particular a complex torus of dimension ), the Jacobian of a tropical curve comes canonically equipped with the structure of a PPTAV (and in particular is a real torus of dimension ). Indeed, the tropical Jacobian can be defined as , where is embedded in via the canonical “intersection product” on , and the canonical principal polarization on comes from the restriction of the intersection product to . It is easy to show that the PPTAV depends only on and not on the choice of skeleton. One of the main results of our new paper is the following:
Theorem 1: The skeleton of and the Jacobian of the skeleton of are canonically isomorphic as principally polarized tropical abelian varieties.
One can view this result as a “continuous version” of an important result of Raynaud which, in the analogous setting where R is a discrete valuation ring, describes the component group of the Neron model of in terms of the intersection matrix for the irreducible components of the special fiber of a proper regular model for . (In the language of Jacobians of graphs, Raynaud’s result translates into the statement that the component group of is the Jacobian of the dual graph of ; see Appendix A in this paper of mine for a more detailed discussion.) Raynaud’s theorem plays a key technical role in many important papers in arithmetic geometry, including Mazur’s paper classifying the possible rational torsion subgroups on elliptic curves and Ribet’s proof that Shimura-Taniyama implies Fermat’s Last Theorem. In our setting, where the valuation ring is not Noetherian, one does not have regular models for curves or Neron models for abelian varieties, so our proof is necessarily quite different from Raynaud’s.
In addition to its fundamental nature, our interest in Theorem 1 stems from the fact that one can use it to completely characterize those functions on which are of the form restricted to for some nonzero meromorphic function on . The metric on has the property that if is a nonzero meromorphic function on then the restriction of to is a tropical meromorphic function, in the sense that it is piecewise affine with integer slopes. It is also -rational (recall that denotes the value group of ) in the precise technical sense that it preserves the set of -rational points of and is differentiable outside of a finite set of -rational points. Our other main theorem is the following lifting result which gives a converse to these observations:
Theorem 2: If is any -rational tropical meromorphic function on , there is a nonzero meromorphic function on such that is the restriction of to .
The proof of Theorem 2 utilizes an alternative description of the tropical Jacobian as , where is the group of degree-zero divisors on and is the subgroup of principal divisors, those divisors of the form for a tropical meromorphic function on . (By definition, the divisor of is the formal sum , where is the sum of the slopes of in all tangent directions emanating from .) The isomorphism between , as defined above, and is the tropical version of the classical Abel-Jacobi theorem, and the isomorphism is defined in an analogous way. It is a fundamental fact (and is the essential content of the “non-Archimedean Poincare-Lelong formula” due to Thuillier) that if is the restriction to of val(f), then the divisor is the retraction to of the divisor of on . A simple diagram chase shows that Theorem 2 is equivalent to the following:
Theorem 2′: Every -rational principal divisor on is the retraction of a principal divisor on .
Theorem 2′ is a consequence of the Snake Lemma applied to the following diagram, whose commutativity rests in an essential way on Theorem 1:
Concluding observations:
1. In Section 8 of our paper, we give an application of Theorem 2 to “faithful tropicalizations” in the sense of [BPR]. We show that for any algebraic curve and any skeleton of , there is a morphism from a Zariski-dense open subset of to a 3-dimensional algebraic torus whose tropicalization maps homeomorphically an isometrically onto its image in . The main point is that Theorem 2 allows us to reduce this to a purely combinatorial question about metric graphs. We conjecture that one can always find such a map which extends to a closed immersion of into a 3-dimensional projective toric variety.
2. Theorem 1 is equivalent to the statement that the classical and tropical Torelli maps fit into a natural commutative diagram as follows:
This was recently proved in the discretely valued case in this paper by F. Viviani, which the reader can consult for definitions of the moduli spaces and of tropical curves and PPTAV’s, respectively.
3. Theorem 1 is closely related to Proposition 7.6 in this paper by David Helm and Eric Katz. Their proof, which uses weight and monodromy filtrations and the Rapaport-Zink spectral sequence, is completely different from ours (and is restricted to the discretely valued case).
4. The canonical “abstract tropicalization map” described above, and more generally the “tropical” point of view on Abelian varieties over non-Archimedean fields, play a central role in this recent paper of Kazuhiko Yamaki (and several earlier papers of Walter Gubler referenced therein) establishing many cases of the Bogomolov conjecture for subvarieties of Abelian varieties over function fields.
5. We also prove in our paper that the tropicalization of a classical Abel-Jacobi map (embedding into via for some base point ) is a tropical Abel-Jacobi map. Here is a picture, taken from this paper, of a tropical curve of genus 2 embedded in its Jacobian via a tropical Abel-Jacobi map: