Elliptic KZB connections via universal vector extensions

arXiv2301.12560MaRDI QIDQ6424733FDOQ6424733

Authors: Tiago J. Fonseca, Nils Matthes 

Publication date: 29 January 2023

Abstract: Let $S$ be a scheme of characteristic zero, $EoS$ be an elliptic curve, $f:E^{atural}oS$ be its universal vector extension, and $pi:E^{atural}oE$ be the natural projection. Given a finite subset of torsion sections $ZsubsetE(S)$, we study the dg-algebra over $mathcal{O}_S$ of relative logarithmic differentials $$. In particular, we prove that the residue exact sequence in degree one splits canonically, and we derive the formality of $mathcalA$. When $S$ is smooth over a field $k$ of characteristic zero, we prove that sections of $mathcal{A}^1$ admit canonical lifts to absolute logarithmic differentials in $f_{\ast }Omeg{a}_{E^{atural}/k}^1(logp{i}^{-1}Z)$. This extends a well known property for regular differentials given by the 'crystalline nature' of universal vector extensions. Using the formalism of bar complexes and their relative versions, we apply the above results to give a new, purely algebraic, construction of the so-called universal elliptic KZB connection in arbitrary level. We compute explicit analytic formulae, and we compare our results with previous approaches to elliptic KZB equations and multiple elliptic polylogarithms in the literature.

This page was built for publication: Elliptic KZB connections via universal vector extensions

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