Bielliptic curves of genus 3 in the hyperelliptic moduli (Q386413): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(7 intermediate revisions by 5 users not shown) | |||
Property / author | |||
Property / author: Q191948 / rank | |||
Property / author | |||
Property / author: Tanush Shaska / rank | |||
Normal rank | |||
Property / review text | |||
The authors study the moduli space of hyperelliptic genus \(3\) curves which are \(2\)-covers of an elliptic curve. Their purpose is to give equations for this space and models for the curves in terms of dihedral invariants [\textit{J. Gutierrez} and \textit{T. Shaska}, LMS J. Comput. Math. 8, 102--115 (2005; Zbl 1110.14025)] and also Shioda invariants [\textit{T. Shioda}, Am. J. Math. 89, 1022--1046 (1967; Zbl 0188.53304)]. This space is actually the moduli space of hyperelliptic genus \(3\) curves with automorphism group isomorphic to \((\mathbb{Z}/2\mathbb{Z})^2\) and has then been studied in previous articles by the first author. Hence a large part of the article is a recollection of results which have already appeared in a similar form. Reviewer's remarks: Unfortunately, the article is stained with mathematical mistakes and misleading references to the literature. Although it is not the purpose of a review to do this job, we want to list some of the most important ones below. p.~389: In [\textit{T. Shaska}, Commun. Algebra 42, No. 9, 4110--4130 (2014; Zbl 1427.14056)], the first author computes the invariants for binary octavics and their relations. Let us point out (see the footnote p.~603 of [\textit{R. Lercier} and \textit{C. Ritzenthaler}, J. Algebra 372, 595--636 (2012; Zbl 1276.14088)]) that Shioda's wonderful work actually only contains two minor typos. p.~390: In this article, the authors deal with the descent of a hyperelliptic genus \(3\) curve with automorphism group isomorphic to \((\mathbb{Z}/2\mathbb{Z})^2\) over a (at most) quadratic extension of its field of moduli. This result was already obtained in the article [\textit{R.~Lercier, C.~Ritzenthaler} and \textit{J.~Sijsling}, ``Fast computation of isomorphisms of hyperelliptic curves and explicit Galois descent'', in: \textit{E. W. Howe} and \textit{K. S. Kedlaya} (eds.), ANTS X. Proceedings of the tenth algorithmic number theory symposium. Berkeley, CA: Mathematical Sciences Publishers (MSP). 463--486 (2013)]. Theorem 3: The equation \(F_1\) is not defined in [\textit{T. Shaska}, Commun. Algebra 42, No. 9, 4110--4130 (2014; Zbl 1427.14056)] and the others do not correspond to the equations of the locus studied in the article (they are simply the expressions of Shioda invariants \(J_i\) in terms of coefficients of a general form). p.~402: The conjecture made by the first author in 2003 about the field of moduli being a field of definition for hyperelliptic curves with automorphism group of order greater than \(2\) has been proved wrong by \textit{B. Huggins} [Math. Res. Lett. 14, No. 2, 249--262 (2007; Zbl 1126.14036)] even for hyperelliptic curves of genus \(3\) with automorphism group isomorphic to \((\mathbb{Z}/2\mathbb{Z})^2\). Still, the authors pretend to show that the field of moduli is a field of definition in the present case (but finally no proof is given). Lemma 6: The authors claim that the given model of the curve is defined over its field of moduli. Such a claim was already made in Lemma~10~iv) of [\textit{J. Gutierrez} et al., Lecture Notes Series on Computing 13, 109--123 (2005; Zbl 1121.14021)]. With an explicit counterexample, it was shown in Remark 4.17 of [\textit{R. Lercier} and \textit{C. Ritzenthaler}, J. Algebra 372, 595--636 (2012; Zbl 1276.14088)] that this claim is wrong. Although the equation is a bit different in the present article, one can check that the counterexample still works. | |||
Property / review text: The authors study the moduli space of hyperelliptic genus \(3\) curves which are \(2\)-covers of an elliptic curve. Their purpose is to give equations for this space and models for the curves in terms of dihedral invariants [\textit{J. Gutierrez} and \textit{T. Shaska}, LMS J. Comput. Math. 8, 102--115 (2005; Zbl 1110.14025)] and also Shioda invariants [\textit{T. Shioda}, Am. J. Math. 89, 1022--1046 (1967; Zbl 0188.53304)]. This space is actually the moduli space of hyperelliptic genus \(3\) curves with automorphism group isomorphic to \((\mathbb{Z}/2\mathbb{Z})^2\) and has then been studied in previous articles by the first author. Hence a large part of the article is a recollection of results which have already appeared in a similar form. Reviewer's remarks: Unfortunately, the article is stained with mathematical mistakes and misleading references to the literature. Although it is not the purpose of a review to do this job, we want to list some of the most important ones below. p.~389: In [\textit{T. Shaska}, Commun. Algebra 42, No. 9, 4110--4130 (2014; Zbl 1427.14056)], the first author computes the invariants for binary octavics and their relations. Let us point out (see the footnote p.~603 of [\textit{R. Lercier} and \textit{C. Ritzenthaler}, J. Algebra 372, 595--636 (2012; Zbl 1276.14088)]) that Shioda's wonderful work actually only contains two minor typos. p.~390: In this article, the authors deal with the descent of a hyperelliptic genus \(3\) curve with automorphism group isomorphic to \((\mathbb{Z}/2\mathbb{Z})^2\) over a (at most) quadratic extension of its field of moduli. This result was already obtained in the article [\textit{R.~Lercier, C.~Ritzenthaler} and \textit{J.~Sijsling}, ``Fast computation of isomorphisms of hyperelliptic curves and explicit Galois descent'', in: \textit{E. W. Howe} and \textit{K. S. Kedlaya} (eds.), ANTS X. Proceedings of the tenth algorithmic number theory symposium. Berkeley, CA: Mathematical Sciences Publishers (MSP). 463--486 (2013)]. Theorem 3: The equation \(F_1\) is not defined in [\textit{T. Shaska}, Commun. Algebra 42, No. 9, 4110--4130 (2014; Zbl 1427.14056)] and the others do not correspond to the equations of the locus studied in the article (they are simply the expressions of Shioda invariants \(J_i\) in terms of coefficients of a general form). p.~402: The conjecture made by the first author in 2003 about the field of moduli being a field of definition for hyperelliptic curves with automorphism group of order greater than \(2\) has been proved wrong by \textit{B. Huggins} [Math. Res. Lett. 14, No. 2, 249--262 (2007; Zbl 1126.14036)] even for hyperelliptic curves of genus \(3\) with automorphism group isomorphic to \((\mathbb{Z}/2\mathbb{Z})^2\). Still, the authors pretend to show that the field of moduli is a field of definition in the present case (but finally no proof is given). Lemma 6: The authors claim that the given model of the curve is defined over its field of moduli. Such a claim was already made in Lemma~10~iv) of [\textit{J. Gutierrez} et al., Lecture Notes Series on Computing 13, 109--123 (2005; Zbl 1121.14021)]. With an explicit counterexample, it was shown in Remark 4.17 of [\textit{R. Lercier} and \textit{C. Ritzenthaler}, J. Algebra 372, 595--636 (2012; Zbl 1276.14088)] that this claim is wrong. Although the equation is a bit different in the present article, one can check that the counterexample still works. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Christophe Ritzenthaler / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14H10 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14H37 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14Q05 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6236732 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
genus 3 hyperelliptic curves | |||
Property / zbMATH Keywords: genus 3 hyperelliptic curves / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
dihedral invariants | |||
Property / zbMATH Keywords: dihedral invariants / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
absolute invariants | |||
Property / zbMATH Keywords: absolute invariants / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1963736266 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1305.4501 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On cyclic covers of the projective line / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Bielliptic curves of genus three: canonical models and moduli space. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Singular locus on the space of genus 2 curves with decomposable Jacobians / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On superelliptic curves of level $n$ and their quotients, I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4502840 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the locus of curves with automorphisms / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Geometry of Algebraic Curves / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Classical Algebraic Geometry / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Determining equations of families of cyclic curves / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Fields of moduli and definition of hyperelliptic covers / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4474273 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4052265 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hyperelliptic curves of genus 3 with prescribed automorphism group / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hyperelliptic Curves with Extra Involutions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Fields of moduli of hyperelliptic curves / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hyperelliptic curves and their invariants: geometric, arithmetic and algorithmic aspects / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Fast computation of isomorphisms of hyperelliptic curves and explicit Galois descent / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Modular equations of order $p$ and Theta functions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3621166 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5434832 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Automorphism groups of cyclic curves defined over finite fields of any characteristics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Bielliptic curves of genus 3 in the hyperelliptic moduli / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The case for superelliptic curves / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Degree even coverings of elliptic curves by genus 2 curves / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Degree 4 coverings of elliptic curves by genus 2 curves / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Subvarieties of the hyperelliptic moduli determined by group actions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4445023 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4660674 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5434835 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4737486 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Genus two curves covering elliptic curves: a computational approach / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Some Remarks on the Hyperelliptic Moduli of Genus 3 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Curves of genus 2 with \((N,N)\) decomposable Jacobians / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3012181 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3369822 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the Graded Ring of Invariants of Binary Octavics / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 04:09, 7 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Bielliptic curves of genus 3 in the hyperelliptic moduli |
scientific article |
Statements
Bielliptic curves of genus 3 in the hyperelliptic moduli (English)
0 references
9 December 2013
0 references
The authors study the moduli space of hyperelliptic genus \(3\) curves which are \(2\)-covers of an elliptic curve. Their purpose is to give equations for this space and models for the curves in terms of dihedral invariants [\textit{J. Gutierrez} and \textit{T. Shaska}, LMS J. Comput. Math. 8, 102--115 (2005; Zbl 1110.14025)] and also Shioda invariants [\textit{T. Shioda}, Am. J. Math. 89, 1022--1046 (1967; Zbl 0188.53304)]. This space is actually the moduli space of hyperelliptic genus \(3\) curves with automorphism group isomorphic to \((\mathbb{Z}/2\mathbb{Z})^2\) and has then been studied in previous articles by the first author. Hence a large part of the article is a recollection of results which have already appeared in a similar form. Reviewer's remarks: Unfortunately, the article is stained with mathematical mistakes and misleading references to the literature. Although it is not the purpose of a review to do this job, we want to list some of the most important ones below. p.~389: In [\textit{T. Shaska}, Commun. Algebra 42, No. 9, 4110--4130 (2014; Zbl 1427.14056)], the first author computes the invariants for binary octavics and their relations. Let us point out (see the footnote p.~603 of [\textit{R. Lercier} and \textit{C. Ritzenthaler}, J. Algebra 372, 595--636 (2012; Zbl 1276.14088)]) that Shioda's wonderful work actually only contains two minor typos. p.~390: In this article, the authors deal with the descent of a hyperelliptic genus \(3\) curve with automorphism group isomorphic to \((\mathbb{Z}/2\mathbb{Z})^2\) over a (at most) quadratic extension of its field of moduli. This result was already obtained in the article [\textit{R.~Lercier, C.~Ritzenthaler} and \textit{J.~Sijsling}, ``Fast computation of isomorphisms of hyperelliptic curves and explicit Galois descent'', in: \textit{E. W. Howe} and \textit{K. S. Kedlaya} (eds.), ANTS X. Proceedings of the tenth algorithmic number theory symposium. Berkeley, CA: Mathematical Sciences Publishers (MSP). 463--486 (2013)]. Theorem 3: The equation \(F_1\) is not defined in [\textit{T. Shaska}, Commun. Algebra 42, No. 9, 4110--4130 (2014; Zbl 1427.14056)] and the others do not correspond to the equations of the locus studied in the article (they are simply the expressions of Shioda invariants \(J_i\) in terms of coefficients of a general form). p.~402: The conjecture made by the first author in 2003 about the field of moduli being a field of definition for hyperelliptic curves with automorphism group of order greater than \(2\) has been proved wrong by \textit{B. Huggins} [Math. Res. Lett. 14, No. 2, 249--262 (2007; Zbl 1126.14036)] even for hyperelliptic curves of genus \(3\) with automorphism group isomorphic to \((\mathbb{Z}/2\mathbb{Z})^2\). Still, the authors pretend to show that the field of moduli is a field of definition in the present case (but finally no proof is given). Lemma 6: The authors claim that the given model of the curve is defined over its field of moduli. Such a claim was already made in Lemma~10~iv) of [\textit{J. Gutierrez} et al., Lecture Notes Series on Computing 13, 109--123 (2005; Zbl 1121.14021)]. With an explicit counterexample, it was shown in Remark 4.17 of [\textit{R. Lercier} and \textit{C. Ritzenthaler}, J. Algebra 372, 595--636 (2012; Zbl 1276.14088)] that this claim is wrong. Although the equation is a bit different in the present article, one can check that the counterexample still works.
0 references
genus 3 hyperelliptic curves
0 references
dihedral invariants
0 references
absolute invariants
0 references
0 references