English

Duality and a Canonical Sheaf in Periodic Riemann Functions

Combinatorics 2026-06-30 v1

Abstract

Let f ⁣:Z2Zf\colon{\mathbb Z}^2\to{\mathbb Z} be a Riemann function whose weight WW is a perfect matching. Then there is a family of sheaves of kk-vector spaces {MW,d}dZ2\{{{M}}_{W,{\bf d}}\}_{{\bf d}\in{\mathbb Z}^2} on a five-point topological that models ff in that f(d)=b0(MW,d)f({\bf d})=b^0({{M}}_{W,{\bf d}}) and that b1(MW,d)=fK(dK) b^1({{M}}_{W,{\bf d}})= f^\wedge_{\bf K}({\bf d}-{\bf K}) for any KZ2{\bf K}\in{\mathbb Z}^2. Hence a Riemann-Roch formula for ff is equivalent to an Euler characteristic computation of MW,d{{M}}_{W,{\bf d}}. If ff and WW are rr-periodic, then the sheaves MW,d{{M}}_{W,{\bf d}} become Or{{O}}_r-modules of finite type for a natural sheaf of rings O=Or{{O}}={{O}}_r. We show that in this case there is a ``canonical O{{O}}-module'' ω=ωW\omega=\omega_W and a pairing for i=0,1i=0,1, Hi(MW,0F)×Ext1i(F,MWL,K)H1(ω)k H^i(M_{W,{\bf 0}}\otimes F) \times {\rm Ext}^{1-i}(F,M_{W^\wedge_{\bf L},{\bf K}})\to H^1(\omega)\cong k that is perfect when L=K+1{\bf L}={\bf K}+{\bf 1} and F{{F}} is a certain type of line bundle or a certain type of skyscraper sheaf. In particular when F{{F}} is a line bundle, we realize the above formula for b1(MW,d)b^1({{M}}_{W,{\bf d}}) as a duality theorem akin to Serre duality. We show that canonical O{{O}}-module ωW\omega_W is a rather exceptional element in a family of tensor products of two modules MOM{{M}}\otimes_{{O}}{{M}}', where M{{M}} and M{{M}}' vary over Or{{O}}_r-modules of the form MW,d{{M}}_{W',{\bf d}}. This article doesn't assume any background in sheaf theory; rather we describe all our sheaves as a ``diagrams of vector spaces,'' where each diagram is essentially a sheaf of vector spaces on a fixed topological space of five points.

Keywords

Cite

@article{arxiv.2607.00238,
  title  = {Duality and a Canonical Sheaf in Periodic Riemann Functions},
  author = {Nicolas Folinsbee and Joel Friedman},
  journal= {arXiv preprint arXiv:2607.00238},
  year   = {2026}
}