Sheaves with connection on abelian varieties (Q1815363): Difference between revisions

Let \(X\) and \(Y\) be mutually dual abelian varieties over an algebraically closed field \(k\), and denote by \(\text{Mod} ({\mathcal O}_Y)_{c\times n}\) the category of quasi-coherent \({\mathcal O}_Y\)-modules equipped with a connection (which need not be integrable). Now, let \(\mathfrak g=H^1(X,{\mathcal O})\) and consider the extension \(0\to\mathfrak g^*\otimes{\mathcal O}\to{\mathcal E}\to{\mathcal O}\to0\), determined by \(1\in\text{End}(\mathfrak g^*)=\text{Ext}^1({\mathcal O},\mathfrak g^*\otimes{\mathcal O})\). The author proves that the Fourier-Mukai transform induces an equivalence between the (bounded) derived categories \(D^b \text{Mod}({\mathcal O}_Y)_{c\times n}\) and \(D^b \text{Mod}({\mathcal O}_X)_{sp}\), where \(\text{Mod}({\mathcal O}_X)_{sp}\) is the category of couples \(({\mathcal F},\psi)\), where \(\mathcal F\) is a quasi-coherent \({\mathcal O}_X\)-module and \(\psi:{\mathcal F}\to{\mathcal E}\otimes{\mathcal F}\) is a splitting of the sequence \(0\to\mathfrak g^*\otimes{\mathcal F}\to{\mathcal E}\otimes{\mathcal F}\to{\mathcal F}\to0 \), induced by tensor product from the above extension. Moreover, the curvature of the connection is determined in terms of the section \(\psi\), and this allows one to characterize the Fourier-Mukai transform of modules with an integrable connection. More precisely, denoting by \(X^\natural\to X\) the \(\mathfrak g^*\)-principal bundle associated to \(\mathcal E\) [for a general discussion about \(X^\natural\), cf. \textit{B. Mazur}, and \textit{W. Messing}, ``Universal extensions and one-dimensional crystalline cohomology'', Lect. Notes Math. 370 (1974; Zbl 0301.14016)], the Fourier-Mukai transform induces an equivalence of categories between \(D^b \text{Mod}({\mathcal O}_{X^\natural})\) and \(D^b \text{Mod}({\mathcal D}_Y)\). As is noted by the author, this result appeared in an unpublished IHES preprint of 1985 by Gerard Laumon [rewritten as: \textit{G. Laumon}, ``Transformation de Fourier généralisée'' (alg-geom 9603004)]. Finally, in the last three sections the author explains how one may obtain in this setting the Krichever construction and its generalization by Nakayashiki [cf. \textit{I. M. Krichever}, Funct. Anal. Appl. 11, 12-26 (1977); translation from Funkts. Anal. Prilozh. 11, No. 1, 15-31 (1977; Zbl 0346.35028) and \textit{A. Nakayashiki}, Am. J. Math. 116, No. 1, 65-100 (1994; Zbl 0809.14016)].