A note on polylogarithms on curves and abelian schemes (Q1022325)

Cohomology classes defined by polylogarithms have played a decisive role in the investigations on special values of \(L\)-functions, most notably in the study of the Tamagawa number conjecture. These extension classes were defined for relative curves by Beilinson and Deligne (unpublished) and for abelian schemes by [\textit{J. Wildeshaus}, Realizations of polylogarithms. Lecture Notes in Mathematics. 1650. Berlin: Springer (1997; Zbl 0877.11001)]. The polylog extension on curves has the advantage of being a one-extension of lisse sheaves, thus it can be itself represented by a lisse sheaf. Whereas the polylog extension on an abelian scheme of relative dimension \(d\) is a \((2d-1)\) extension. However, it is shown in this note that the two notions are closely related: roughly speaking, the polylog extension on an abelian scheme is the push-forward of the polylog on a sub-curve. In the situation of a curve embedded in its Jacobian, the polylog on the Jacobian is the cup product of the polylog on the curve with the fundamental class of the curve (to simplify the exposition, only the étale realization is treated).