\(A _{\infty }\)-algebra of an elliptic curve and Eisenstein series (Q627495): Difference between revisions

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.