Кривая Ферма

Поделись знанием:
Перейти к: навигация, поиск

Кривая Ферма — алгебраическая кривая на комплексной проективной плоскости (англ.), определяемая в однородных координатах (X:Y:Z) уравнением Ферма

<math>X^n + Y^n = Z^n.\ </math>

Применительно к евклидовой плоскости уравнение имеет вид

<math>x^n + y^n = 1.\ </math>

Целочисленное решение уравнения Ферма соответствует ненулевому рациональному решению евклидова уравнения и наоборот. Согласно теореме Ферма при n ≥ 3 не существует нетривиальных целочисленных решений уравнения Ферма, поэтому кривая ферма не имеет ненулевых рациональных точек.

Кривая Ферма несингулярна (англ.) и имеет род (англ.)

<math>(n - 1)(n - 2)/2.\ </math>

Таким образом, кривая Ферма имеет род 0 для n = 2 (и является коническим сечением) и род 1 для n = 3 (и является эллиптической кривой). Якобиево многообразие (англ.) кривой Ферма глубоко изучено. Оно изоморфно произведению простых абелевых многообразий с комплексным умножением (англ.).

Существует обобщение кривой Ферма на большее число измерений; в этом случае уравнения, аналогичные уравнению кривой Ферма, определяют проективное многообразие, называемое многообразием Ферма.

Напишите отзыв о статье "Кривая Ферма"



Ссылки

  • Gross, Benedict H. & Rohrlich, David E. (1978), "[www.kryakin.com/files/Invent_mat_%282_8%29/44/44_01.pdf Some Results on the Mordell-Weil Group of the Jacobian of the Fermat Curve]", Inventiones Mathematicae Т. 44 (3): 201–224, doi:[dx.doi.org/10.1007%2FBF01403161 10.1007/BF01403161], <www.kryakin.com/files/Invent_mat_%282_8%29/44/44_01.pdf> .