Genus 3 curves whose Jacobians have endomorphisms by \(\mathbb{Q}(\zeta_7 + \bar{\zeta}_7)\). II (Q2328037)

The main purpose of the present paper is to construct explicit three-dimensional families whose general member is a nonhyperelliptic curve of genus 3 such that the endomorphism algebra of its Jacobian contains the totally real cubic number field \(\mathbb{Q}(\zeta_7+\overline{\zeta}_7)\). The group-theoretical part of their method of construction is based on the result in [\textit{J. S. Ellenberg}, Adv. Math. 162, No. 2, 243--271 (2001; Zbl 1065.14507)], which enables one to construct Riemann surfaces with special endomorphisms in the Jacobians. Each such curve is a quotient of a genus 8 curve \(X\) by an involution in the dihedral group \(D_7\) with quotient \(X/D_7=\mathbb{P}^1\). The quotient \(C=X/\langle\sigma\rangle\) by a 7-cycle \(\sigma\in D_7\) has genus 2, and the quotient map \(X\rightarrow C\) is an unramified cyclic cover of degree 7. Through these observations the authors reduce the problem to that of constructing such unramified coverings, and reduce further the latter problem to that of finding solutions to the Diophantine equation \(a^2-sb^2=c^7\) in polynomials \(a,b,c,s\) of respective degrees 7,4,2,6. They give quite a detailed explanation of their process of solving the equation, and obtain the explicit defining equations for their curves. For part I, see [\textit{J. W. Hoffman} et al., J. Symb. Comput. 74, 561--577 (2016; Zbl 1402.11086)].