Elliptic KZB connections via universal vector extensions

Using the formalism of bar complexes and their relative versions, we 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. Our approach is based on a number of results concerning logarithmic differential forms on universal vector extensions of elliptic curves. Let S be a scheme of characteristic 0, E → S be an elliptic curve, f: E^♮ → S be its universal vector extension, and π: E^♮ → E be the natural projection. Given a finite subset of torsion sections Z ⊂ E(S), we study the dg-algebra over O_S of relative logarithmic differentials A = f_∗Ω^•_{E♮ /S}(logπ⁻¹ Z). In particular, we prove that the residue exact sequence in degree 1 splits canonically, and we derive the formality of A. When S is smooth over a field k of characteristic 0, we also prove that sections of A¹ admit canonical lifts to absolute logarithmic differentials in f_∗Ω¹_{E♮ /k}(logπ⁻¹ Z), which extends a well-known property for regular differentials given by the “crystalline nature” of universal vector extensions.