# The Circuit-Cocircuit Reversal System and Torsor Structures on Spanning Trees

The Jacobian of a finite graph $G$ is a finite abelian group whose cardinality is equal to the number of spanning trees of $G$.  In this earlier post, I discussed a family of combinatorial bijections between elements of ${\rm Jac}(G)$ and the set ${\mathcal T}(G)$ of spanning trees of $G$.  I also discussed the fact that for plane graphs, these Bernardi bijections come from a natural simply transitive action of ${\rm Jac}(G)$ on ${\mathcal T}(G)$ (or, more precisely, a natural isomorphism class of such actions).

In the present post, I’d like to discuss a different family of simply transitive actions of ${\rm Jac}(G)$ on ${\mathcal T}(G)$ discovered by myself, Spencer Backman (a former student of mine), and Chi Ho Yuen (a current student of mine).  One virtue of our construction is that it generalizes in a natural way from graphs to regular matroids.  (We will mostly stick to the graphical case in this post, but will insert some comments about extensions to regular and/or oriented matroids.  A regular matroid can be thought of, rather imprecisely, as the smallest natural class of objects which contain graphs and admit a duality theory generalizing duality for planar graphs. Regular matroids are special cases of the more general concept of oriented matroids.)

One of the main new ideas in [BBY] (as we will henceforth refer to our paper) is to use the torsor ${\rm Pic}^{g-1}(G)$ as an intermediate object rather than ${\rm Pic}^{g}(G)$.  The latter is canonically isomorphic (as a ${\rm Jac}(G)$-torsor) to the set of break divisors on $G$; the former is isomorphic to the circuit-cocircuit reversal system, which we now introduce.

# Effective Chabauty

One of the deepest and most important results in number theory is the Mordell Conjecture, proved by Faltings (and independently by Vojta shortly thereafter). It asserts that if $X / {\mathbf Q}$ is an algebraic curve of genus at least 2, then the set $X({\mathbf Q})$ of rational points on $X$ is finite. At present, we do not know any effective algorithm (in theory or in practice) to compute the finite set $X({\mathbf Q})$. The techniques of Faltings and Vojta lead in principle to an upper bound for the number of rational points on $X$, but the bound obtained is far from sharp and is difficult to write down explicitly. In his influential paper Effective Chabauty, Robert Coleman combined his theory of p-adic integration with an old idea of Chabauty and showed that it led to a simple explicit upper bound for the size of $X({\mathbf Q})$ provided that the Mordell-Weil rank of the Jacobian of $X$ is not too large.  (For a memorial tribute to Coleman, who passed away on March 24, 2014, see this blog post.)

# Riemann-Roch for Graphs and Applications

I plan to write several posts related to the Riemann-Roch Theorem for Graphs, which was published several years ago in this paper written jointly with Serguei Norine.  In this post I want to explain the statement of the theorem, give some anecdotal background, and mention a few applications which have been discovered in recent years.

The Riemann-Roch Theorem

The (classical) Riemann-Roch Theorem is a very useful result about analytic functions on compact one-dimensional complex manifolds (also known as Riemann surfaces).  Given a set of constraints on the orders of zeros and poles, the Riemann-Roch Theorem computes the dimension of the space of analytic functions satisfying those constraints.  More precisely, if $D$ denotes the set of constraints and $r(D)$ is the dimension of the space of analytic functions satisfying those constraints, then the Riemann-Roch theorem asserts that

$r(D) - r(K-D) = {\rm deg}(D) + 1 - g$

where $g$ is the genus (“number of holes”) of the Riemann surface $X$, ${\rm deg}(D)$ is the total number of constraints, and $K$ is the “canonical divisor” on $X$.  See the Wikipedia page for much more information.

# The Jacobian of the skeleton and the skeleton of the Jacobian

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 $X$ is an algebraic variety over a complete non-Archimedean field $K$.  For simplicity of exposition, I will assume throughout that $K$ is algebraically closed and that the value group $\Lambda = {\rm val} (K^\times)$ is nontrivial.  The set of points $X(K)$ possesses a natural (Hausdorff) analytic topology, but $X(K)$ 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 $X$, in a natural and functorial way, an analytic space $X^{\rm an}$ which contains $X(K)$ as a dense subspace but has much nicer topological properties.  For example, $X^{\rm an}$ is a locally compact Hausdorff space which is locally contractible, and is arcwise connected if $X$ is connected.  As in the theory of complex analytic spaces, $X^{\rm an}$ is compact if and only if $X^{\rm an}$ 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 $X^{\rm an}$ always admits a deformation retraction onto a finite polyhedral complex $\Sigma$.  In general, there is no canonical choice for $\Sigma$.  However, in certain special cases there is, e.g. when $X$ is a curve of positive genus or $X$ 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