Let be a Riemann function whose weight is a perfect matching. Then there is a family of sheaves of -vector spaces on a five-point topological that models in that and that for any . Hence a Riemann-Roch formula for is equivalent to an Euler characteristic computation of . If and are -periodic, then the sheaves become -modules of finite type for a natural sheaf of rings . We show that in this case there is a canonical ${O}$-module'' $ω=ω_W$ and a pairing for $i=0,1$, $$ H^i(M_{W,{\bf 0}}\otimes F) \times {\rm Ext}^{1-i}(F,M_{W^\wedge_{\bf L},{\bf K}})\to H^1(ω)\cong k $$ that is perfect when ${\bf L}={\bf K}+{\bf 1}$ and ${F}$ is a certain type of line bundle or a certain type of skyscraper sheaf. In particular when ${F}$ is a line bundle, we realize the above formula for $b^1({M}_{W,{\bf d}})$ as a duality theorem akin to Serre duality. We show that canonical ${O}$-module $ω_W$ is a rather exceptional element in a family of tensor products of two modules ${M}\otimes_{O}{M}'$, where ${M}$ and ${M}'$ vary over ${O}_r$-modules of the form ${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.

生成讲解博客的中文版本

生成AI智能校验的中文版本