Let X be a tropical curve (or metric graph), and fix a base point p on X. We define the Jacobian group J(G) of a finite weighted graph G, and show that the Jacobian J(X) is canonically isomorphic to the direct limit of J(G) over all weighted graph models G for X. This result is useful for reducing certain questions about the Abel-Jacobi map Phi_p : X -> J(X), defined by Mikhalkin and Zharkov, to purely combinatorial questions about weighted graphs. We prove that J(G) is finite if and only if the edges in each 2-connected component of G are commensurable over the rationals. As an application of our direct limit theorem, we derive some local comparison formulas between g and its pullback Phi_p^*(g) for three different natural "metrics" g on J(X). One of these formulas implies that Phi_p is a tropical isometry when X is 2-edge-connected. Another shows that the canonical measure on a metric graph X, defined by S. Zhang, measures lengths on the image Phi_p(X) with respect to the "sup-norm" on J(X).
We introduce and study polystable divisors on a tropical curve, which are the tropical analogue of polystable torsion-free rank-1 sheaves on a nodal curve. We construct a universal tropical Jacobian over the moduli space of tropical curves of genus $g$. This space parametrizes equivalence classes of tropical curves of genus $g$ together with a $μ$-polystable divisor, and can be seen as a tropical counterpart of Caporaso universal Picard scheme. We describe polyhedral decompositions of the Jacobian of a tropical curve via polystable divisors, relating them with other known polyhedral decomposit…
Each metric graph has canonically associated to it a polarized real torus called its tropical Jacobian. A fundamental real-valued invariant associated to each polarized real torus is its tropical moment. We give an explicit and efficiently computable formula for the tropical moment of a tropical Jacobian in terms of potential theory on the underlying metric graph. We show that there exists a universal linear relation between the tropical moment, the tau invariant, and the total length of a metric graph. We argue that this linear relation is a non-archimedean analogue of a recent remarkable ide…
We consider the variation of tropical Hodge structure (TVHS) associated to families of tropical varieties. The family of the tropical intermediate Jacobians of the associated tropical Hodge structure defines a bundle of tropical Jacobians, whose sections we call the tropical normal functions. We define formal sequential derivatives of these functions on the base with respect to the natural Gauss-Manin connection as the Hodge theoretic invariants detecting tropical cycles in the fibers. The associated invariants which are defined inductively are the higher Abel-Jacobi invariants in the tropical…
Given a curve defined over an algebraically closed field which is complete with respect to a nontrivial valuation, we study its tropical Jacobian. This is done by first tropicalizing the curve, and then computing the Jacobian of the resulting weighted metric graph. In general, it is not known how to find the abstract tropicalization of a curve defined by polynomial equations, since an embedded tropicalization may not be faithful, and there is no known algorithm for carrying out semistable reduction in practice. We solve this problem in the case of hyperelliptic curves by studying admissible co…
For each universal genus-$g$ polarization $μ$ of degree $d$, we construct a universal tropical Jacobian $J_{μ,g}^{trop}$ as a generalized cone complex over the moduli space of stable pointed genus-$g$ tropical curves. We show several properties of the space $J_{μ,g}^{trop}$. In particular, we prove that the natural compactification of $J_{μ,g}^{trop}$ is the tropicalization of the Esteves' compactified universal Jacobian over the moduli space of stable pointed genus-$g$ curves.
We prove for a tropical rational map that if for any point the convex hull of Jacobian matrices at smooth points in a neighborhood of the point does not contain singular matrices then the map is an isomorphism. We also show that a tropical polynomial map on the plane is an isomorphism if all the Jacobians have the same sign (positive or negative). In addition, for a tropical rational map we prove that if the Jacobians have the same sign and if its preimage is a singleton at least at one regular point then the map is an isomorphism.
We consider Abel maps for regular smoothing of nodal curves with values in the Esteves compactified Jacobian. In general, these maps are just rational, and an interesting question is to find an explicit resolution. We translate this problem into an explicit combinatorial problem by means of tropical and toric geometry. We show that the solution of the combinatorial problem gives rise to an explicit resolution of the Abel map. We are able to use this technique to construct and study all the Abel maps of degree one.
We construct the logarithmic and tropical Picard groups of a family of logarithmic curves and realize the latter as the quotient of the former by the algebraic Jacobian. We show that the logarithmic Jacobian is a proper family of logarithmic abelian varieties over the moduli space of Deligne-Mumford stable curves, but does not possess an underlying algebraic stack. However, the logarithmic Picard group does have logarithmic modifications that are representable by logarithmic schemes, all of which are obtained by pullback from subdivisions of the tropical Picard group.
Let $g$ and $n$ be nonnegative integers and $\mathcal A=(a_0,\dots,a_n)$ a sequence of $n+1$ integers summing up to $d$. Let $\overline{\mathcal M}_{g,n+1}$ be the moduli space of $(n+1)$-pointed stable curves of genus $g$ and $\overline{\mathcal J}_{μ,g}\rightarrow \overline{\mathcal M}_{g,1}$ be the Esteves' universal Jacobian, where $μ$ is a universal genus-$g$ polarization of degree $d$. We give an explicit resolution of the universal Abel map $α_{\mathcal A,μ}\colon \overline{\mathcal M}_{g,n+1}\dashrightarrow \overline{\mathcal J}_{μ,g}$, taking a pointed curve $(X,p_0,\dots,p_n)$ to $\m…
We construct the Abel-Jacobi map for Mumford curves over any complete non-archimedean field, using multiplicative integrals and in the setting of Berkovich analytic geometry. Along the way, we proof some results concerning graphs and mesures related to tropical geometry.
We prove and generalize an observation of Green and Griffiths on the infinitesimal form of the Abel-Jacobi map. As an application, we prove that the infinitesimal form of a conjecture by Griffiths and Harris is true.
We study in this article the cohomological properties of Lagrangian families on projective hyper-Kähler manifolds. First, we give a criterion for the vanishing of Abel-Jacobi maps of Lagrangian families. Using this criterion, we show that under a natural condition, if the variation of Hodge structures on the degree $1$ cohomomology of the fibers of the Lagrangian family is maximal, its Abel-Jacobi map is trivial. We also construct Lagrangian families on generalized Kummer varieties whose Abel-Jacobi map is not trivial, showing that our criterion is optimal.
For a complex projective manifold, Walker has defined a regular homomorphism lifting Griffiths' Abel-Jacobi map on algebraically trivial cycle classes to a complex abelian variety, which admits a finite homomorphism to the Griffiths intermediate Jacobian. Recently Suzuki gave an alternate, Hodge-theoretic, construction of this Walker Abel-Jacobi map. We provide a third construction based on a general lifting property for surjective regular homomorphisms, and prove that the Walker Abel-Jacobi map descends canonically to any field of definition of the complex projective manifold. In addition, we…
We prove that the pullbacks of the virtual fundamental classes of the Brill-Noether loci under any Abel-Jacobi section lie in the tautological ring of the moduli space of stable curves. This resolves a conjecture of Pagani, Ricolfi and van Zelm, and is part of a broader program to understand the logarithmic intersection theory of $\Mgn$.
We realize the infinitesimal Abel-Jacobi map as a morphism of formal deformation theories, realized as a morphism in the homotopy category of differential graded Lie algebras. The whole construction is carried out in a general setting, of which the classical Abel-Jacobi map is a special example.
In this article, we study the infinitemisal invariant of the relative higher Abel Jacobi map of a smooth open morphism. We give a generalization of a theorem of Voisin to open varieties and higher Chow groups and as a corollary a non vanishing criterion for the higher Abel Jacobi map of a general open smooth hypersurface section of high degree of a smooth projective variety Y. On the other side, using Nori connectness theorem, the image of the primitive part of the higher Abel Jacobi map of a general open smooth hypersurface section of high degree of a smooth projective variety Y is generated …
We give a geometric Langlands type proof of the geometrization conjecture of the local Langlands correspondence introduced by the author for GL_1. For this we study an Abel-Jacobi morphism. We prove that this morphism is a pro-étale locally trivial fibration in simply connected diamonds in high degree. Those diamonds are absolute punctured Banach-Colmez spaces that we study in details.
