mathematics Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...

, the Fermat curve is the

algebraic curve In mathematics, an affine algebraic plane curve is the zero set of a polynomial in two variables. A projective algebraic plane curve is the zero set in a projective plane of a homogeneous polynomial in three variables. An affine algebraic plane ...

in the

complex projective plane In mathematics, the complex projective plane, usually denoted P2(C), is the two-dimensional complex projective space. It is a complex manifold of complex dimension 2, described by three complex coordinates :(Z_1,Z_2,Z_3) \in \mathbf^3,\qquad (Z_1, ...

defined in

homogeneous coordinates In mathematics, homogeneous coordinates or projective coordinates, introduced by August Ferdinand Möbius in his 1827 work , are a system of coordinates used in projective geometry, just as Cartesian coordinates are used in Euclidean geometr ...

(''X'':''Y'':''Z'') by the Fermat equation :

X^n + Y^n = Z^n.\

Therefore, in terms of the affine plane its equation is :

x^n + y^n = 1.\

An integer solution to the Fermat equation would correspond to a nonzero

rational number In mathematics, a rational number is a number that can be expressed as the quotient or fraction of two integers, a numerator and a non-zero denominator . For example, is a rational number, as is every integer (e.g. ). The set of all ra ...

solution to the affine equation, and vice versa. But by

Fermat's Last Theorem In number theory, Fermat's Last Theorem (sometimes called Fermat's conjecture, especially in older texts) states that no three positive integers , , and satisfy the equation for any integer value of greater than 2. The cases and have been ...

it is now known that (for ''n'' > 2) there are no nontrivial integer solutions to the Fermat equation; therefore, the Fermat curve has no nontrivial rational points. The Fermat curve is non-singular and has

genus Genus ( plural genera ) is a taxonomic rank used in the biological classification of living and fossil organisms as well as viruses. In the hierarchy of biological classification, genus comes above species and below family. In binomial nom ...

(n - 1)(n - 2)/2.\

This means genus 0 for the case ''n'' = 2 (a

conic In mathematics, a conic section, quadratic curve or conic is a curve obtained as the intersection of the surface of a cone with a plane. The three types of conic section are the hyperbola, the parabola, and the ellipse; the circle is a specia ...

) and genus 1 only for ''n'' = 3 (an

elliptic curve In mathematics, an elliptic curve is a smooth, projective, algebraic curve of genus one, on which there is a specified point . An elliptic curve is defined over a field and describes points in , the Cartesian product of with itself. I ...

). The

Jacobian variety In mathematics, the Jacobian variety ''J''(''C'') of a non-singular algebraic curve ''C'' of genus ''g'' is the moduli space of degree 0 line bundles. It is the connected component of the identity in the Picard group of ''C'', hence an abelian var ...

of the Fermat curve has been studied in depth. It is isogenous to a product of simple abelian varieties with

complex multiplication In mathematics, complex multiplication (CM) is the theory of elliptic curves ''E'' that have an endomorphism ring larger than the integers. Put another way, it contains the theory of elliptic functions with extra symmetries, such as are visible wh ...

. The Fermat curve also has

gonality In mathematics, the gonality of an algebraic curve ''C'' is defined as the lowest degree of a nonconstant rational map from ''C'' to the projective line. In more algebraic terms, if ''C'' is defined over the field ''K'' and ''K''(''C'') denotes the ...

n-1.\

Fermat varieties

Fermat-style equations in more variables define as

projective varieties In algebraic geometry, a projective variety over an algebraically closed field ''k'' is a subset of some projective ''n''-space \mathbb^n over ''k'' that is the zero-locus of some finite family of homogeneous polynomials of ''n'' + 1 variables wi ...

the Fermat varieties.

Related studies

* * * * {{Algebraic curves navbox Algebraic curves Diophantine geometry