Derived log Albanese sheaves

We define higher pro-Albanese functors for every effective log motive over a field k of characteristic zero, and we compute them for every smooth log smooth scheme X = (X, ∂X). The result involves an inverse system of the coherent cohomology of the underlying scheme as well as a pro-group scheme Alblog(X) that extends Serre’s semi-abelian Albanese variety of X − |∂X|. This generalizes the higher Albanese sheaves of Ayoub, Barbieri-Viale and Kahn and is related to an old question of Grothendieck.