Explicit calculation of the mod 4 Galois representation associated with the Fermat quartic

DOI10.1142/S1793042120500451MaRDI QIDQ5111944zbMATH OpenOpenAlexWikidataFDO

Authors Yasuhiro Ishitsuka, Tetsushi Ito, Tatsuya Ohshita

Publication date 27 May 2020

Published in International Journal of Number Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1804.07109

zbMATH Keywords

Jacobian varietiesGalois representationrational pointsFermat quartic

Mathematics Subject Classification ID

Galois representations (11F80) Abelian varieties of dimension (> 1) (11G10) Varieties over finite and local fields (11G25) Plane and space curves (14H50) Higher degree equations; Fermat's equation (11D41) Arithmetic ground fields for abelian varieties (14K15) Picard schemes, higher Jacobians (14K30)

Abstract: We use explicit methods to study the 4-torsion points on the Jacobian variety of the Fermat quartic. With the aid of computer algebra systems, we explicitly give a basis of the group of 4-torsion points. We calculate the Galois action, and show that the image of the mod 4 Galois representation is isomorphic to the dihedral group of order 8. As applications, we calculate the Mordell-Weil group of the Jacobian variety of the Fermat quartic over each subfield of the 8-th cyclotomic field. We determine all of the points on the Fermat quartic defined over quadratic extensions of the 8-th cyclotomic field. Thus we complete Faddeev's work in 1960.

Recommendations

• Quartic points on the Fermat quintic
• The Fermat curve of fourth degree
• scientific article; zbMATH DE number 1004287
• scientific article; zbMATH DE number 1207037
• Galois module structure and Jacobians of Fermat curves

Cites work

• scientific article; zbMATH DE number 3162978 (Why is no real title available?)
• scientific article; zbMATH DE number 3353452 (Why is no real title available?)
• Arithmetic and geometry of the curve y³+1=x⁴
• Defining equations of \(X_{0}(2^{2n})\)
• Defining equations of modular curves \(X_ 0(N)\)
• Dihedral group, 4-torsion on an elliptic curve, and a peculiar eigenform modulo 4
• Néron Models
• On algorithms to obtain linear determinantal representations of smooth plane curves of higher degree
• On the Manin-Mumford conjecture for abelian varieties with a prime of supersingular reduction
• On the possibility of \(x^4+y^4=z^4\) in quadratic fields
• Points at infinity on the Fermat curves
• Rational 2ⁿ -Torsion Points on Elliptic Curves Defined over Quadratic Fields
• Rational points on varieties
• The Diophantine equation $x^4 + y^4 = 1$ in algebraic number fields
• The Weil pairing and the Hilbert symbol
• The group of automorphisms of the Fermat curve

Cited in

(3)

• ON THE TORSION OF ELLIPTIC CURVES OVER QUARTIC NUMBER FIELDS
• Points on x4 + y4 + z4 = 0 over algebraic extensions of ℚ(i)
• An extension of Aigner’s theorem

Describes a project that uses

Uses Software

• divisors.lib
• SINGULAR
• SageMath
• Maxima

This page was built for publication: Explicit calculation of the mod 4 Galois representation associated with the Fermat quartic

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