A family of Prym-Tyurin varieties of exponent 3 (Q2386078)

Let \(h:C\to\mathbb{P}^1\) be a hyperelliptic covering with \(g=\text{genus}(C)\geq 3\) and branch locus \(B_h=\{a_1,\dots,a_{2g+2}\}\). Let \(\pi_1(\mathbb{P}^1\setminus B_h, z_0)\) be the fundamental group with fixed point \(z_0\). Moreover let \(f: \widetilde C\to C\) be an étale degree 3 covering, for which the image \(G\) of the classifying homomorphism \(\nu: \pi_1(\mathbb{P}^1\setminus B_h,z_0)\to S_6\) for \(f\circ h\) is isomorphic to \(S_3\times S_3\). By the action of the corresponding subgroups of \(S_3 \times S_3\) on the Galois extension \(Y\to\mathbb{P}^1\) of \(f\circ h\) one obtains the following diagram of smooth curves and morphisms: \[ \begin{tikzcd} {}& & & Y \ar[d]\\ {}& X \ar[dl] \ar[dr] & & \widetilde{X} \ar[ll] \ar[d]\\ X_1 \ar[dr] & & X_2 \ar[dl] & \widetilde{C} \ar[d, "f"]\\ {}& \mathbb{P}^1 & & C \ar[ll] \end{tikzcd} \] where \(\widetilde x=Y/M\), \(x=Y/H\), \(X_1=Y/H_1\), \(X_2Y/H_2\), \(\widetilde C=Y/L\) and \(C=Y/K\) with: \[ M=\bigl\langle (35)(4,6)\bigr \rangle, \;H=\bigl \langle(12)(34)(56),(35)(46) \bigr \rangle, \] \[ H_1=\bigl\langle (12)(34)(56),(35) (46),(135)(246)\bigr \rangle, \] \[ H_2=\bigl\langle(12)(34)(56), (135)(264)\bigr \rangle, \] \[ L=\bigl\langle(246),(35)(46)\bigr\rangle\text{ and } \] \[ K=\bigl\langle (246),(135),(15)(24)\bigr\rangle. \] Suppose that \(B_h=\alpha\cup \beta\), \(\alpha \cap\beta=\varphi\), \(|\alpha|,|\beta|\geq 4\). Then the authors prove that there is a canonical bijective correspondence between the sets of: \begin{itemize} \item[(1)] unramified coverings \(f:\widetilde C\to C\) of degree 3 and type \((\alpha,\beta)\) and \item[(2)] pairs of trigonal curves \(f_i:X_i\to \mathbb{P}^1\), \(i=1,2\), simply ramified exactly over points of \(\alpha\) and \(\beta\). \end{itemize} The authors construct an effective symmetric fixed point free correspondence \(D\) of \(X\) s.t. the induced endomorphism \(\gamma_D\) of the Jacobian \(JX\) satisfies the equation \(\gamma^2_D+\gamma_D-2=0\). They also prove that for this correspondence \(P=\text{Im} (\gamma_D-1_{JX})\) is a Prym-Tyurin variety of exponent 3, i.e., the restriction of the canonical polarization of \(JX\) to \(P\) is a 3-fold of a principal polarization on \(P\). Finally the authors show that for \(g\geq 6\), the Abel-Prym map be obtained by comparision. The composition of the Abel map \(X\to JX\) and the Prym-Tyurin map \(\gamma_D-1_{JX}:JX\to P\) is an embedding.