Quotients of the square of a curve by a mixed action, further quotients and Albanese morphisms (Q2206772)

This paper continues the study of product--quotient surfaces, i.e., surfaces that are the quotient of a product of two algebraic curves by a finite group of automorphisms (cf. [\textit{I. Bauer} and \textit{R. Pignatelli}, Groups Geom. Dyn. 10, No. 1, 319--363 (2016; Zbl 1348.14021); \textit{D. Frapporti} and \textit{R. Pignatelli}, Glasg. Math. J. 57, No. 1, 143--165 (2015; Zbl 1330.14069); \textit{I. Bauer} et al., Am. J. Math. 134, No. 4, 993--1049 (2012; Zbl 1258.14043)]. Here the case of mixed surfaces is looked at. A mixed surface is the minimal resolution S of the singularities of a quotient \((C \times C)/G\) of the square of a curve by a finite group of automorphisms that contains elements not preserving the factors. The main result is a very precise description of the Albanese morphism of \(S\), when \(S\) is irregular (i.e. when \(q(S)>0\)). It is shown that \(S\) has always maximal Albanese dimension when possible (i.e. when \(q(S)\geq 2\)). Then the result is applied to all the semi-isogenous mixed surfaces with \(p_g=q=2\) constructed by \textit{N. Cancian} and \textit{D. Frapporti} [Math. Nachr. 291, No. 2--3, 264--283 (2018; Zbl 1408.14122)]. The main tool used here is studying further quotients \((C \times C)/G' \) where \(G '\) is a group of automorphisms of \(C\times C\) containing \(G\), and relating the Albanese morphism of \(S\) with the Jacobian \(J(C)\).