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

Abstract: By a {em Riemann function} we mean a function

f c o l o n {m a t h b b Z}^{n} o m a t h b b Z

such that

is equals

0

for

sufficiently small, and equals

d_{1} + c d o t s + d_{n} + C

for a constant,

C

-- the {em offset of

f

} -- for

sufficiently large. By adding

1

to the Baker-Norine rank function of a graph, one gets an equivalent Riemann function, and similarly for related rank functions. For such an

f

, for any

there is a unique Riemann function

such that for all

we have

f({�f d}) - f^wedge_{�f K}({�f K}-{�f d}) = { m deg}({�f 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 c o l o n {m a t h b b Z}^{2} o m a t h b b Z

there is a simple family of diagrams

such that

and

. Furthermore we give a canonical isomorphism

H^1({mathcal{M}}_{W,{�f d}})^* o H^0({mathcal{M}}_{W',{�f K}-{�f d}})

where

W^{'}

is the weight of

. General Riemann functions

f c o l o n {m a t h b b Z}^{2} o m a t h b b Z

are similarly modeled with formal differences of diagrams. Riemann functions

{m a t h b b Z}^{n} o m a t h b b 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.

This page was built for publication: Euler Characteristics and Duality in Riemann Functions and the Graph Riemann-Roch Rank

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6405036)