Рациональная точка

Рациональная точка — это точка на координатной плоскости или в многомерном пространстве, все координаты которой являются рациональными числами, то есть представимы в виде дроби \( \frac{p}{q} \), где \( p \) и \( q \) — целые числа, а \( q \neq 0 \). В более широком смысле, в алгебраической геометрии и теории чисел, рациональная точка — это решение уравнения или системы уравнений с рациональными коэффициентами, координаты которого принадлежат полю рациональных чисел \( \mathbb{Q} \). Понятие является фундаментальным в диофантовой геометрии, изучающей целые и рациональные решения алгебраических уравнений.

Определение и формализация

В математике рациональная точка определяется относительно поля определения. Если задано алгебраическое многообразие \( V \), определённое над полем \( K \), то \( K \)-рациональной точкой называется точка, координаты которой принадлежат \( K \). В контексте рациональных чисел \( \mathbb{Q} \) говорят о \( \mathbb{Q} \)-рациональных точках. Для аффинного пространства \( \mathbb{A}^n(\mathbb{Q}) \) рациональная точка — это упорядоченный набор \( (x_1, x_2, \dots, x_n) \), где каждый \( x_i \in \mathbb{Q} \). Для проективного пространства \( \mathbb{P}^n(\mathbb{Q}) \) рациональная точка задаётся однородными координатами \( [x_0 : x_1 : \dots : x_n] \), где все \( x_i \in \mathbb{Q} \), и они не все равны нулю, причём точки, отличающиеся умножением на ненулевое рациональное число, считаются эквивалентными.

Примеры

• На прямой \( \mathbb{A}^1(\mathbb{Q}) \) рациональными точками являются все рациональные числа: \( \frac{1}{2}, -\frac{3}{4}, 0, 5 \). Иррациональные числа, такие как \( \sqrt{2} \) или \( \pi \), не являются рациональными точками.
• На окружности \( x^2 + y^2 = 1 \) рациональными точками являются, например, \( (0, 1) \), \( (1, 0) \), \( \left( \frac{3}{5}, \frac{4}{5} \right) \), \( \left( -\frac{5}{13}, \frac{12}{13} \right) \). Все они могут быть получены с помощью параметризации через рациональные функции.
• На параболе \( y = x^2 \) рациональными точками являются \( (t, t^2) \) для любого рационального \( t \).

История изучения

Исследование рациональных точек восходит к античности. Диофант Александрийский (III век н. э.) в трактате «Арифметика» систематически изучал решения уравнений в рациональных числах. Его методы, в частности подстановки для нахождения рациональных точек на кониках, стали основой диофантова анализа.

В XVII веке Пьер Ферма сформулировал Великую теорему Ферма, утверждающую, что уравнение \( x^n + y^n = z^n \) не имеет ненулевых целых решений при \( n > 2 \), что эквивалентно отсутствию рациональных точек на кривой Ферма \( x^n + y^n = 1 \) (кроме тривиальных). Доказательство было завершено Эндрю Уайлсом в 1994 году.

В XIX—XX веках развитие алгебраической геометрии и теории чисел привело к созданию арифметической геометрии. Ключевые результаты включают теорему Морделла (1922) о конечности числа рациональных точек на эллиптических кривых над \( \mathbb{Q} \), доказанную впоследствии Фальтингсом (1983) для кривых рода больше 1. В 2001 году Войта, а затем и другие математики, обобщили эти результаты на многомерные многообразия.

Классификация по типам многообразий

Рациональные точки существенно различаются в зависимости от типа алгебраического многообразия:

Кривые

• Род 0 (коники, прямые): если кривая имеет хотя бы одну рациональную точку, то она имеет бесконечно много рациональных точек, параметризуемых рациональными функциями. Например, окружность \( x^2 + y^2 = 1 \) имеет бесконечное множество рациональных точек.
• Род 1 (эллиптические кривые): множество рациональных точек образует конечную абелеву группу (теорема Морделла). Количество точек может быть конечным или бесконечным, но всегда конечно порождено. Например, кривая \( y^2 = x^3 - x \) имеет бесконечно много рациональных точек.
• Род ≥ 2 (кривые общего типа): по теореме Фальтингса (гипотеза Морделла) такие кривые имеют лишь конечное число рациональных точек. Например, кривая \( x^4 + y^4 = 1 \) имеет только четыре рациональные точки: \( (\pm 1, 0) \) и \( (0, \pm 1) \).

Многообразия высших размерностей

• Абелевы многообразия: обобщение эллиптических кривых. Множество рациональных точек конечно порождено (теорема Морделла — Вейля).
• Рациональные многообразия: существуют рациональные параметризации, поэтому рациональные точки плотны (если есть хотя бы одна).
• Многообразия общего типа: по гипотезе Бомбьери — Ленга ожидается, что рациональные точки не плотны, а содержатся в конечном числе подмногообразий меньшей размерности.

Методы поиска рациональных точек

Метод секущих и касательных

Для кривых рода 1 и 0 используется классический метод: если известны две рациональные точки, то прямая, проходящая через них, пересекает кривую в третьей рациональной точке (для кубических кривых). Для эллиптических кривых это даёт групповую операцию.

Метод спуска

Используется для доказательства конечности числа рациональных точек на кривых рода ≥ 2. Идея заключается в сведении задачи к поиску точек на кривых меньшего рода или к решению уравнений в целых числах.

Теория высот

Высота рациональной точки — мера её «сложности», например, максимум абсолютных значений числителей и знаменателей координат в несократимой записи. Теорема Норте — Лефшеца и принцип Малера — Ленга позволяют оценивать количество точек с ограниченной высотой.

Компьютерные методы

Современные алгоритмы, такие как алгоритм Эллиса — Стоуна — Уайлса, позволяют находить рациональные точки на эллиптических кривых с помощью вычисления ранга и кручения. Для кривых рода ≥ 2 используются методы, основанные на теории Чоулы и модулярных формах.

Применение

• Криптография: эллиптические кривые над конечными полями, рациональные точки которых используются в криптосистемах с открытым ключом (ECC). Однако рациональные точки над \( \mathbb{Q} \) не применяются напрямую, но их свойства важны для понимания структуры кривых.
• Теория кодирования: рациональные точки на алгебраических кривых используются для построения кодов, исправляющих ошибки (коды Гоппы).
• Физика: в теории струн и калибровочных теориях рациональные точки на многообразиях Калаби — Яу связаны с зеркальной симметрией и квантовыми когомологиями.
• Численные методы: рациональные аппроксимации иррациональных чисел (например, подходящие дроби цепных дробей) являются частным случаем поиска рациональных точек на прямой.

Интересные факты

• Проблема существования рациональной точки на алгебраическом многообразии является одной из центральных в арифметической геометрии. Для некоторых многообразий (например, кубических поверхностей) ответ неизвестен.
• Теорема Фальтингса, за которую он получил Филдсовскую медаль, доказала, что кривые рода > 1 имеют лишь конечное число рациональных точек, но не даёт алгоритма их нахождения.
• Существует гипотеза Берча — Свиннертон-Дайера, связывающая ранг эллиптической кривой (количество независимых рациональных точек) с поведением её L-функции. Она входит в список семи «задач тысячелетия» Института Клэя.
• Рациональные точки на единичной окружности соответствуют пифагоровым тройкам — целым числам \( a, b, c \), таким что \( a^2 + b^2 = c^2 \). Параметризация \( \left( \frac{1-t^2}{1+t^2}, \frac{2t}{1+t^2} \right) \) даёт все такие тройки при рациональном \( t \).
• В 2023 году группа математиков под руководством М. Бхатта и П. Шольце разработала новые методы в \( p \)-адической геометрии, позволяющие эффективнее искать рациональные точки на многообразиях.