1: \begin{abstract}

2: Given a complex variety $X$, a linear algebraic group $G$ and a representation

3: $\rho$ of the fundamental group $\pi_1(X,x)$ into $G$, we develop a framework for

4: constructing a functorial mixed Hodge structure on the formal local ring of the

5: representation variety of $\pi_1(X,x)$ into $G$ at $\rho$ using mixed Hodge

6: diagrams and methods of $L_\infty$ algebras. We apply it in two geometric

7: situations: either when $X$ is compact Kähler and $\rho$ is the monodromy of a

8: variation of Hodge structure, or when $X$ is smooth quasi-projective and $\rho$

9: has finite image.

10: \end{abstract}

11: