A _ -algebra of an elliptic curve and Eisenstein series

From MaRDI portal
Publication:627495



Abstract: We compute explicitly the A-infinity structure on the Ext-algebra of the collection (mathcalOC,L), where L is a line bundle of degree 1 on an elliptic curve C. The answer involves higher derivatives of Eisenstein series.


Given an algebraic variety \(X\), a generator of its bounded derived category of coherent sheaves \({\text D}^{\text b}(X)\) is an object \(G\) with the property that the smallest full triangulated category containing \(G\) and closed under direct summands is equal to \({\text D}^{\text b}(X)\). If a generator is given, one considers the graded algebra \(E_G=\text{Ext}^*(G,G)\) and one can recover the category from the \(A_\infty\)-structure the algebra \(E_G\) admits. The purpose of the article under review is to explicitly compute the \(A_\infty\)-structure on the algebra \(\text{Ext}^*(\mathcal{O}_C\oplus L, \mathcal{O}_C\oplus L)\), where \(L\) is a line bundle of degree \(1\) on an elliptic curve \(C\). To be more precise, the author computes the \(A_\infty\)-structure arising from harmonic representatives (with respect to natural metrics) in the Dolbeault complex computing \(\text{Ext}^*(G,G)\), where \(G=\mathcal{O}_C\oplus L\). The resulting formulas involve higher derivatives of Eisenstein series.











This page was built for publication: \(A _{\infty }\)-algebra of an elliptic curve and Eisenstein series

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q627495)