Correction to ``Sheaves with connection on abelian varieties'' (Q1355297)

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. 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}\to 0\), determined by \(1\in\text{ End}(\mathfrak g^*)=\text{ Ext}^1({\mathcal O},\mathfrak g^*\otimes{\mathcal O})\). In theorem 2.2 of his previous paper cited in the title [cf. \textit{M. Rothstein}, Duke Math. J. 84, 565-598 (1996; Zbl 0877.14032)], the author proved 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}\to 0, \] induced by tensor product from the extension above. The proof of this result relies on a wrong lemma about isomorphism of functors between derived categories (cf. lemma 2.3 of the cited paper) and the author corrects his previous error by giving a new proof of theorem 2.2. This new proof is obtained by adapting the arguments of Mukai's original proof [cf. \textit{S. Mukai}, Nagoya Math. J. 81, 153-175 (1981; Zbl 0417.14036)] and it allows the author to remove the restriction to bounded derived categories in the above equivalence (cf. theorem 3.2 of the present paper).