Sheaves with connection on abelian varieties (Q1815363): Difference between revisions
From MaRDI portal
Changed an Item |
Changed an Item |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 11:15, 18 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Sheaves with connection on abelian varieties |
scientific article |
Statements
Sheaves with connection on abelian varieties (English)
0 references
16 December 1996
0 references
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)].
0 references
sheaves with connection
0 references
dual abelian varieties
0 references
Fourier-Mukai transform
0 references