Mixed Hodge structures and representations of fundamental groups of algebraic varieties

From MaRDI portal
Publication:2417751



Abstract: Given a complex variety X, a linear algebraic group G and a representation ho of the fundamental group pi1(X,x) into G, we develop a framework for constructing a functorial mixed Hodge structure on the formal local ring of the representation variety of pi1(X,x) into G at ho using mixed Hodgediagrams and methods of Linfty algebras. We apply it in two geometric situations: either when X is compact K{"a}hler and ho is the monodromy of a variation of Hodge structure, or when X is smooth quasi-projective and ho has finite image.


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)\).











This page was built for publication: Mixed Hodge structures and representations of fundamental groups of algebraic varieties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2417751)