Malcev Completions, Hodge Theory, and Motives

TL;DR

This paper establishes stability properties of local systems of geometric origin under extension, proves a motivic strengthening of Hain's theorem on Malcev completions, and introduces an abstract criterion for Malcev completeness using Tannakian methods.

Contribution

It introduces an abstract criterion for Malcev completeness and applies it to prove stability of local systems of geometric origin, strengthening existing theorems in Hodge theory and motives.

Findings

Local systems of geometric origin are stable under extension.

A motivic strengthening of Hain's theorem on Malcev completions is proved.

An alternative proof of D'Addezio--Esnault's theorem is provided.

Abstract

We prove that, on a smooth, connected variety in characteristic zero admitting a rational point, local systems of geometric origin are stable under extension in the category of all local systems. As a consequence of this, we obtain a (Nori) motivic strengthening of Hain's theorem on Malcev completions of monodromy representations. Our methods are Tannakian, and rely on an abstract criterion for ``Malcev completeness'', which is proved in the first part of the paper. A couple of secondary applications of this criterion are given: an alternative proof of D'Addezio--Esnault's theorem, which says that local systems of Hodge origin are stable under extension in the category of all local systems; a generalisation of the theorem of Hain, mentioned above, which also affirms a conjecture of Arapura; and an alternative proof of a theorem of Lazda, which under suitable assumptions gives an isomorphism between the relative unipotent de Rham fundamental group and the unipotent de Rham fundamental group of the special fibre.