Let us consider a smooth projective curve $\Sigma_b$ of genus $b$, and assume that there is a surjective group homomorphism $$\varphi \colon \pi_1 (\Sigma_b \times \Sigma_b - \Delta) \to G,$$ where $\Delta \subset \Sigma_b \times \Sigma_b $ is the diagonal and $G$ is a finite group. Assume moreover that the homomorphisms $$\psi_i \colon \pi_1(\Sigma_b-\{p \}) \to G, \qquad i=1,\, 2,$$ induced by the inclusion of the two factors, are surjective. 

Then, by Grauert-Remmert Extension Theorem, there exist a holomorphic $G$-cover $X \to \Sigma_b \times \Sigma_b$, branched over the diagonal, that, after composing with the first (or the second) projection, yields a *Kodaira fibration*, namely, a non-isotrivial holomorphic fibration $f \colon X \to \Sigma_b$ with smooth and connected fibres. In fact, everything turns out to be  algebraic.

Calling $g$ the fibre genus of $f$, the fundamental group $\pi_1(X)$ sits into a split exact sequence $$1 \to \pi_1(\Sigma_g) \to \pi_1(X) \to \pi_1(\Sigma_b) \to 1,$$ 
that gives, by conjugation, monodromy representations $$\rho \colon \pi_1(\Sigma_b) \to \operatorname{Out} \, \pi_1(\Sigma_g), \quad \bar{\rho} \colon \pi_1(\Sigma_b) \to \operatorname{Aut} \, H_1(\Sigma_g, \, \mathbb{Q}).$$

On the other hand, the homomorphism $\psi_1$ (or $\psi_2$) realizes the fibre $\Sigma_g$ of $f$ as a $G$-cover $\Sigma_g \to \Sigma_b$, branched over exactly one point, and so there is a short exact sequence $$1 \to \pi_1(\Sigma_g) \to \pi_1(\Sigma_b-\{p\})^{\operatorname{orb}} \to G \to 1.$$ Here the group in the middle is the quotient of $\pi_1(\Sigma_b-\{p\})$ by the normal closure of the subgroup $\langle \gamma^s \rangle$, where $\gamma$ is a generator that loops around $p$ and $s$ is the order of $\psi_1(\gamma) \in G$. This sequence gives, by conjugation, two monodromy representations  $$\rho_G \colon G \to \operatorname{Out} \, \pi_1(\Sigma_g), \quad \bar{\rho}_G \colon G \to \operatorname{Aut} \, H_1(\Sigma_g, \, \mathbb{Q}).$$

> **Question.** How are $\bar{\rho}$ and $\bar{\rho}_G$ related? In particular, is it true that their invariant subspaces in
> $H_1(\Sigma_g, \, \mathbb{Q})$ are equal (or, at least, that they have the same
> dimension)?