The local information of equivariant sheaves and elliptic difference equations (Q2240596)

Let \(G\) be a group that has \(\mathbb{Z}\) as a finite index subgroup, acting on a reduced, quasiprojective curve \(C\) over a field \(k\) with a closed point \(p\). The first goal of the paper under review is to study the category of \(G\)-equivariant sheaves on \(C\) whose stalks at every generic point are finitely generated, denoted by \(G-\mathbf{Mod}^{\text{gfg}}(C)\). More concretely, extending his own work at [``The local information of difference equations'', Preprint, \url{arXiv:1803.08611}], the author provides a notion of local data for the aforementioned sheaves. Let \(U_p\) be the formal neighborhood of \(p\) and let \(C^*\) and \(U_p^*\) be, respectively, \(C\setminus G\cdot p\) and \(U_p\setminus G\cdot p\). Then, it is shown in the form of a cartesian square of categories that to give an object \(M\) of \(G-\mathbf{Mod}^{\text{gfg}}(C)\) is equivalent to give a triple \((M_{U_p},M_{C^*},\alpha)\). There, \(M_{U_p}\) and \(M_{C^*}\) are, in some way, the restrictions of \(M\) to their respective subindexes and \(\alpha\) is an isomorphism between the restrictions of both \(M_{U_p}\) and \(M_{C^*}\) to \(U_p^*\). Let now \(E\subset \mathbb{P}^1\times\mathbb{P}^1\) be a degree \((2,2)\) symmetric curve and let \(\pi_i:E\rightarrow\mathbb{P}^1\) be the restrictions of the canonical projections. An (\(E\)-) symmetric elliptic difference module is a quasicoherent sheaf \(\mathcal{M}\) on \(\mathbb{P}^1\) such that \(\pi_1^*\mathcal{M}\cong\pi_2^*\mathcal{M}\), subject to further conditions in terms of the symmetry between the two factors of \(E\). When \(E\) is composed by the graphs of two automorphisms of \(\mathbb{P}^1\), these objects can be seen as an algebraic counterpart of (\(q\))-difference equations, and in certain particular conditions, they are related as well to \(\mathcal{D}\)-modules on \(\mathbb{P}^1\). Motivated by such fact, the author shows in the second half of the paper that symmetric elliptic difference modules form a full subcategory of \(G-\mathbf{Mod}(C)\), what allows him to obtain a local-global result for such subcategory as with \(G-\mathbf{Mod}^{\text{gfg}}(C)\).