Return to Question

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 also 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)?

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 also 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)?

Edit. Will Sawin's answer shows that the invariant subspace of $\bar{\rho}$ always contains the invariant subspace of $\bar{\rho}_G$.

Can one provide some conditions ensuring that also the reverse inclusion holds?

Note that, since I am assuming non-trivial ramification of the $G$-cover $X \to \Sigma_b \times \Sigma_b$, then $\psi_1(\gamma) \in G$ is non-trivial. If this can help, in my specific situation $G$ is an extra-special group of order $32$ and $\psi_1(\gamma)$ is the generator of the center $Z(G) \simeq \mathbb{Z}_2$.

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 also 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)?

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 also 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)?

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 also 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)?

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 also 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)?