arXiv++ Combinatorics

In [1] M. Baker and S. Norine developed a theory of divisors and linear systems on graphs, and proved a Riemann-Roch Theorem for these objects (conceived as integer-valued functions on the vertices). In [2] and [3] the authors generalized these concepts to real-valued functions, and proved a corresponding Riemann-Roch Theorem in that setting, showing that it implied the Baker-Norine result. In this article we prove a Riemann-Roch Theorem in a more general combinatorial setting that is not necessarily driven by the existence of a graph.

Let R be any subring of the reals. We present a generalization of linear systems on graphs where divisors are R-valued functions on the set of vertices and graph edges are permitted to have nonegative weights in R. Using this generalization, we provide an independent proof of a Riemann-Roch formula, which implies the Riemann-Roch formula of Baker and Norine.

We prove a Riemann-Roch theorem for real divisors on edge-weighted graphs over the reals, extending the result of Baker and Norine for integral divisors on graphs with multiple edges.