Genus 3 curves whose Jacobians have endomorphisms by \(\mathbb{Q}(\zeta_7 + \bar{\zeta}_7)\). II (Q2328037): Difference between revisions
From MaRDI portal
Changed an Item |
Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1411.2152 / rank | |||
Normal rank |
Latest revision as of 05:17, 19 April 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Genus 3 curves whose Jacobians have endomorphisms by \(\mathbb{Q}(\zeta_7 + \bar{\zeta}_7)\). II |
scientific article |
Statements
Genus 3 curves whose Jacobians have endomorphisms by \(\mathbb{Q}(\zeta_7 + \bar{\zeta}_7)\). II (English)
0 references
9 October 2019
0 references
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)].
0 references
curves of genus three
0 references
real multiplications
0 references
abelian variety
0 references