English

Euler Characteristics and Duality in Riemann Functions and the Graph Riemann-Roch Rank

Combinatorics 2022-07-18 v1 Algebraic Geometry

Abstract

By a {\em Riemann function} we mean a function f ⁣:ZnZf\colon{\mathbb Z}^n\to{\mathbb Z} such that f(d)=f(d1,,dn)f({\bf d})=f(d_1,\ldots,d_n) is equals 00 for deg(d)=d1++dn{\rm deg}({\bf d})=d_1+\cdots+d_n sufficiently small, and equals d1++dn+Cd_1+\cdots+d_n+C for a constant, CC -- the {\em offset of ff} -- for deg(d){\rm deg}({\bf d}) sufficiently large. By adding 11 to the Baker-Norine rank function of a graph, one gets an equivalent Riemann function, and similarly for related rank functions. For such an ff, for any KZn{\bf K}\in{\mathbb Z}^n there is a unique Riemann function fKf^\wedge_{\bf K} such that for all dZn{\bf d}\in{\mathbb Z}^n we have f(d)fK(Kd)=deg(d)+C f({\bf d}) - f^\wedge_{\bf K}({\bf K}-{\bf d}) = {\rm deg}({\bf d})+C which we call a {\em generalized Riemann-Roch formula}. We show that any such equation can be viewed as an Euler charactersitic equation of sheaves of a particular simple type that we call {\em diagrams}. This article does not assume any prior knowledge of sheaf theory. To certain Riemann functions f ⁣:Z2Zf\colon{\mathbb Z}^2\to{\mathbb Z} there is a simple family of diagrams {MW,d}dZ2\{{\mathcal{M}}_{W,{\bf d}}\}_{{\bf d}\in{\mathbb Z}^2} such that f(d)=b0(MW,d)f({\bf d})=b^0({\mathcal{M}}_{W,{\bf d}}) and fK(Kd)=b1(MW,d)f^\wedge_{{\bf K}}({\bf K}-{\bf d})=b^1({\mathcal{M}}_{W,{\bf d}}). Furthermore we give a canonical isomorphism H1(MW,d)H0(MW,Kd) H^1({\mathcal{M}}_{W,{\bf d}})^* \to H^0({\mathcal{M}}_{W',{\bf K}-{\bf d}}) where WW' is the weight of fKf^\wedge_{\bf K}. General Riemann functions f ⁣:Z2Zf\colon{\mathbb Z}^2\to{\mathbb Z} are similarly modeled with formal differences of diagrams. Riemann functions ZnZ{\mathbb Z}^n\to{\mathbb Z} are modeled using their restrictions to two of their variables. These constructions involve some ad hoc choices, although the equivalence class of virtual diagram obtained is independent of the ad hoc choices.

Keywords

Cite

@article{arxiv.2207.07220,
  title  = {Euler Characteristics and Duality in Riemann Functions and the Graph Riemann-Roch Rank},
  author = {Nicolas Folinsbee and Joel Friedman},
  journal= {arXiv preprint arXiv:2207.07220},
  year   = {2022}
}