Genus 3 curves whose Jacobians have endomorphisms by Q(_7 + _7). II

MaRDI QIDQ2328037zbMATH OpenFDO

Authors Dun Liang, Zhibin Liang, Ryotaro Okazaki, Yukiko Sakai, Jerome William Hoffman, Haohao Wang

Publication date 9 October 2019

Published in Tokyo Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1411.2152, https://projecteuclid.org/euclid.tjm/1563436918

zbMATH Keywords

abelian varietycurves of genus threereal multiplications

Mathematics Subject Classification ID

Elliptic curves over global fields (11G05) Complex multiplication and moduli of abelian varieties (11G15) Families, moduli of curves (algebraic) (14H10) Jacobians, Prym varieties (14H40) Special algebraic curves and curves of low genus (14H45) Computational aspects of algebraic curves (14Q05)

Abstract: In this work we consider constructions of genus three curves $X$ such that $mathrmEnd(mathrmJac(X))otimesQ$ contains the totally real cubic number field $$. We construct explicit three-dimensional families whose generic member is a nonhyperelliptic genus 3 curve with this property. The case when $X$ is hyperelliptic was studied in a previous work by Hoffman and Wang and some nonhyperelliptic curves were constructed in a previous paper by Hoffman, Z. Liang. Sakai and Wang.

Review text

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)].

Recommendations

• Genus 3 curves whose Jacobians have endomorphisms by \(\mathbb{Q}(\zeta_7 + \overline{\zeta}_7)\)
• 7-gons and genus three hyperelliptic curves
• scientific article; zbMATH DE number 5182615
• Real multiplication through explicit correspondences
• Plane quartics over \(\mathbb {Q}\) with complex multiplication
• Automorphisms of order 3 and 7 over a genus 3 curve
• About the Fricke-Macbeath curve
• scientific article; zbMATH DE number 1441934
• Algorithmic Number Theory
• scientific article; zbMATH DE number 4154618

Cited in

(4)

• 7-gons and genus three hyperelliptic curves
• scientific article; zbMATH DE number 695928 (Why is no real title available?)
• scientific article; zbMATH DE number 5182615 (Why is no real title available?)
• Genus 3 curves whose Jacobians have endomorphisms by \(\mathbb{Q}(\zeta_7 + \overline{\zeta}_7)\)

This page was built for publication: Genus 3 curves whose Jacobians have endomorphisms by \(\mathbb{Q}(\zeta_7 + \bar{\zeta}_7)\). II

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2328037)