Mixed Hodge structures and representations of fundamental groups of algebraic varieties (Q2417751)

This long paper emanates from the author's PhD dissertation [Théorie de Hodge mixte et variétés des représentations des groupes fondamentaux des variétés algébriques complexes. Grenoble (2018)], where, given a complex variety \(X\), a linear algebraic group \(G\) and a representation \(\rho\) of the fundamental group \(\pi_1(X,x)\) into \(G\), he gives a framework for constructing a functorial mixed Hodge structure on the formal local ring of the representation variety of \(\pi_1(X,x)\) into \(G\), at \(\rho\) using mixed Hodge diagrams and methods of \(L_\infty\) algebras. A considerable portion of the paper is devoted to the background and the existing results. If \(\mathbf{k}\) is a subfield of either the reals or the complex number field, denote by \(\hat{\mathcal O}_\rho\) the formal local ring at \(\rho\). One of the main results is as follows: There is a mixed Hodge structure on \(\hat{\mathcal O}_\rho\) in the following situations: 1. Either \(X\) is compact Kähler and \(\rho\) is the monodromy of a polarized variation of Hodge structure. 2. Either \(X\) is smooth quasi-projective and \(\rho\) has finite image. This mixed Hodge structure is defined over the field \(\mathbf{k}\) if \(G\) and \(\rho\) are defined over \(\mathbf{k}\) (this includes the case \(\mathbf{k}=\mathbb{C}\), where one works with complex mixed Hodge structures). It is functorial in \(X, x, \rho\). The weight zero part is the formal local ring defining the orbit by conjugation of \(\rho\) inside \(\Hom(\pi_1(X,x),G)\).