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

DOI10.1142/S1793042120500451zbMATH Open1491.11065arXiv1804.07109OpenAlexW2981450557WikidataQ126983856 ScholiaQ126983856MaRDI QIDQ5111944FDOQ5111944

Tetsushi Ito, Yasuhiro Ishitsuka, Tatsuya Ohshita

Publication date: 27 May 2020

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

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.

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)

Cites Work

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

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

Uses Software

• Maxima
• SageMath
• SINGULAR
• divisors.lib

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)