Hodge theory of the Goldman bracket (Q2211890)

Let \(\overline{X}\) be a compact Riemann surface, \(D\) a finite subset of \(\overline{X}\) and \(X=\overline{X} \setminus D\). Suppose that \(p_0\), \(p_1 \in D\), not necessarily distinct, and that \(v_j\) is a nonzero tangent vector in \(T_{p_j} \overline{X}\). The \(I\)-adic completion \(\mathbb{Q} \pi(X;v_0,v_1)^{\wedge}\) of the path torsor \(\pi(X;v_0,v_1)\) of paths in \(X\) from \(v_0\) to \(v_1\) has a limit mixed Hodge structure. There is also a continuous map, called the KK action, \[ \kappa :\mathbb{Q}\lambda (X) ^{\wedge}\otimes \mathbb{Q} \pi(X;x_0,x_1)^{\wedge} \to \mathbb{Q} \pi(X;x_0,x_1)^{\wedge} \] where \(\mathbb{Q}\lambda (X) ^{\wedge}\) is the \(I\)-adic completion of the free \(\mathbb{Q}\)-module generated by free homotopy classes of maps \(S^1 \to X\). One of the main results of this work is: Theorem. The KK-action \[ \kappa :\mathbb{Q}\lambda (X) ^{\wedge}\otimes \mathbb{Q} \pi(X;v_0,v_1)^{\wedge} \to \mathbb{Q} \pi(X;v_0,v_1)^{\wedge} \otimes \mathbb{Q}(1) \] is a morphism of pro-MHSs. As a consequence, the Lie algebra homomorphism \(\hat{\kappa} :\mathbb{Q}\lambda (X) ^{\wedge}\otimes \mathbb{Q}(-1) \to \text{Der}\mathbb{Q} \pi_1(X;v)^{\wedge}\) is a morphism of mixed Hodge structures. Furthermore, the lie algebra \(\mathfrak{g}_{\overline{X},V}\) associated to the completion of the mapping class group \(\Gamma_{\overline{X},V}\) acting on \(\mathbb{Q}\pi_1(X;v_a)^{\wedge}\) has a mixed Hodge structure. Here \(V\) is a finite collection of nonzero tangent vectors indexed by a finite subset \(A\) of \(\overline{X}\) and \(X=\overline{X}\setminus A\). Then it is also proved that \[ \mathfrak{g}_{\overline{X},V} \to \mathbb{Q}\lambda (X) ^{\wedge}\otimes \mathbb{Q}(-1) \] is a morphism of pro-MHSs. In order to prove these results, the author shows that the (continuous dual of the) KK-action can be factorized as a composition of Poincaré duality or iterated integrals. This involves the de Rham theory of path spaces, which provide the neccesary description to apply Hodge theory. The general setup of the theorem can also be applied to the Goldman bracket of two oriented loops. As it is continuous in the \(I\)-adic topolgy, can be extended to a bracket on the completion \(\mathbb{Q}\lambda (X) ^{\wedge}\). There is a mixed Hode structure on \(\mathbb{Q}\lambda (X) ^{\wedge}\) and the Goldman bracket \[ \{ ,\}:\mathbb{Q}\lambda (X)^{\wedge} \otimes \mathbb{Q}\lambda (X)^{\wedge} \to \mathbb{Q}\lambda (X)^{\wedge} \otimes \mathbb{Q}(1) \] is a morphism of pro-mixed Hodge structures as shown in this work.