Fermat curve

Fermat curve
Name	Fermat curve

Fermat curve

The Fermat curve is an algebraic plane curve defined by the homogeneous equation x^n + y^n = z^n over a field, studied in the context of Pierre de Fermat, Émile Picard, and subsequent developments in algebraic geometry and number theory. It connects classical problems such as Fermat's Last Theorem, the theory of cyclotomic fields, and the study of modular curves and Shimura varieties. The curve has rich links to the work of Galois, Noether, Grothendieck, Serre, and Faltings, and features in modern research on arithmetic geometry, Diophantine equations, and Galois representations.

Definition and basic properties

The Fermat curve of exponent n is defined by x^n + y^n = z^n in the projective plane P^2 over a base field; its affine model x^n + y^n = 1 arises by setting z = 1. Historically connected to Pierre de Fermat and later studied by Adrien-Marie Legendre, Ernst Kummer, and Leopold Kronecker, the curve is a smooth projective curve for n ≥ 3 with genus g = (n−1)(n−2)/2, linking to results of Riemann and Abel. Over complex numbers the Fermat curve is a compact Riemann surface uniformized by triangle groups studied by Poincaré and Schwarz. Automorphism groups include actions by the cyclic group of nth roots of unity and the symmetric group arising from coordinate permutation, connecting to Évariste Galois-style permutation representations and results of Hurwitz on automorphism bounds.

Algebraic and geometric structure

Algebraically the coordinate ring is a quotient of a polynomial ring by the Fermat polynomial, with function field tied to cyclotomic extensions studied by Kummer and Leopold Kronecker. Geometrically the curve admits a model as a cover of the projective line P^1 with branch points related to 0, 1, and ∞, linking to the Belyi theorem and the theory of Dessins d'enfants championed by Grothendieck. The Jacobian variety of the Fermat curve decomposes up to isogeny into factors related to Jacobi sums and Hecke characters, bringing in the work of Weil and Shimura. Complex multiplication phenomena connect to Hilbert class field constructions and to the study of CM fields by Hecke and Hasse.

Rational points and Diophantine results

Rational points on Fermat curves are central to Diophantine questions exemplified by Fermat's Last Theorem, proved by Andrew Wiles and refined by Richard Taylor, where nontrivial rational points for n ≥ 3 are constrained. Results of Faltings (formerly Mordell conjecture) imply finiteness of rational points on curves of genus ≥ 2, applied to Fermat curves via methods of Baker, Masser, and Vojta. Explicit descent and Chabauty methods developed by Coleman and McCallum have been used to compute rational points on specific Fermat curves, while Iwasawa theory and Euler systems inform p-adic approaches initiated by Kolyvagin and Rubin. Work by Mazur and Merel on torsion in Jacobians connects to rational torsion phenomena, and explicit modularity methods of Ribet relate to level-lowering and congruences with modular forms.

Galois action and coverings

The absolute Galois group Gal(Q̄/Q) acts on the geometric fundamental group of Fermat curves and on their étale covers, a perspective advanced by Grothendieck and pursued by Deligne and Ihara. The study of cyclotomic covers and Galois representations arising from the ℓ-adic Tate module of the Jacobian links to Serre's conjectures and to the work of Fontaine and Mazur on deformation theory. The profinite completion of the triangle group and the theory of Drinfeld modules and André-Oort conjecture contexts provide settings where Galois actions on special points or CM factors can be analyzed, with connections to Langlands program compatibilities demonstrated in work by Harris and Taylor.

Moduli and applications in arithmetic geometry

Fermat curves appear in moduli problems for curves with level structure, relating to Teichmüller theory and moduli stacks such as Mg[n] studied by Mumford, Deligne-Mumford, and Knudsen. Their Jacobians furnish examples in the theory of abelian varieties and Néron models developed by Raynaud and Grothendieck, and their reduction properties over primes involve the study of bad reduction and the Tate conjecture framework examined by Milne and Tate. Connections to modular curves like X0(N) and to congruences of newforms make Fermat curves useful test cases in the Langlands correspondence and in explicit class field theory investigations by Shimura and Taniyama.

Examples and explicit models

For n = 3 the Fermat cubic is an elliptic curve isomorphic to classic curves studied by Weierstrass and Tate with complex multiplication by Eisenstein integers; the case n = 4 reduces to genus 3 curves related to Jacobian varieties analyzed by Clebsch and Bolza. Explicit parametrizations and uniformizations use theta functions from Riemann and Abel, while integral and rational solutions have been computed in examples using algorithms by Cremona and computational systems influenced by SageMath and PARI/GP. Higher-n models involve cyclotomic field arithmetic as in work by Kummer and explicit descent techniques of Stewart and Yu for Diophantine bounds.

Category:Algebraic curves