Математическая энциклопедия - диофантова геометрия

диофантов анализ,область математики, посвященная изучению целочисленных и рациональных решений систем алгебраич. уравнений, или, иначе, изучению диофантовых уравнений, методами алгебраич. геометрии. Появление во 2-й пол. 19 в. теории алгебраич. чисел сделало естественным изучение диофантовых уравнений с коэффициентами из произвольного поля алгебраич. чисел, причем решения ищутся или в этом поле, или же в его кольце целых элементов. Параллельно с теорией алгебраич. чисел развивалась и теория алгебраических функций. Глубокая аналогия между ними, подчеркивавшаяся Д. Гильбертом (D. Hilbert) п особенно Л. Кронекером (L. Kronecker), привела к единообразному построению различных арифметич. теорий для этих двух типов полей (см. [3]), называемых обычно глобальными полями. Особенно отчетливо эта аналогия проступает в том случае, когда в качестве алгебраич. функций рассматриваются функции одного переменного и с конечным полем констант. Хорошей иллюстрацией тому служат такие понятия как дивизоры, ветвление и такие результаты как теория полей классов. Проникновение этой точки зрения в теорию диофантовых уравнений произошло позднее, и систематич. рассмотрение диофантовых уравнений не только с числовыми, но и с функциональными коэффициентами началось только в 50-х гг. 20 в. Решающее влияние оказало на это развитие алгебраич. геометрии. Одновременное рассмотрение числовых и функциональных полей, выступающих как две равноправные стороны одного и того же предмета, не только приводит к красоте и законченности результатов, но и взаимно обогащает оба аспекта (см. [3]).

В алгебраич. геометрии неинвариантное понятие системы уравнений заменяется понятием алгебраического многообразия над заданным полем К, а место решений занимают рациональные точки со значениями в поле Кили его конечном расширении. Поэтому можно сказать, что основная задача диофантовой геометрии состоит в изучении множества Х(К). рациональных точек алгебраич. многообразия X, определенного над полем Куказанного выше вида. Целочисленные решения диофантовых уравнений также имеют геометрич. смысл.

При изучении рациональных (или целых) точек на алгебраич. многообразиях прежде всего возникает вопрос о существовании хотя бы одной такой точки. Десятая проблема Гильберта сформулирована как задача нахождения общего метода, позволяющего решать этот вопрос для любого алгебраич. многообразия. После появления точного понятия алгоритма и доказательства алгоритмич. неразрешимости целого ряда задач стало ясно, что проблема Гильберта может иметь и отрицательное решение (см. Диофантовых уравнений проблема разрешимости), и наиболее интересным является вопрос о том, для каких классов диофантовых уравнений такой алгоритм существует. Известно несколько общих подходов к этой задаче. Наиболее естественным с алгебраич. точки зрения является так наз. принцип Хассе. Он состоит в рассмотрении наряду с исходным полем Кего пополнений Kv. по всевозможным нормированиям. Поскольку X(K)МX(KV), то необходимым условием существования К- рациональной точки является непустота множеств X(Kv )для всех v. Значение принципа Хассе состоит в том, что он сводит вопрос о существовании точки к аналогичному вопросу над локальным полем. Последняя задача существенно проще для нее известен алгоритм, а в частном важном случае, когда многообразие Xпроективно и неособо, Гензеля лемма и ее обобщения позволяют произвести дальнейшую редукцию и свести все к изучению рациональных точек над конечным полем, где задача решается или последовательным перебором, или более совершенными средствами (см. Алгебраических многообразий арифметика;см. также [2],. [12]). Последнее существенное обстоятельство, связанное с принципом Хассе, состоит в том, что для всех v, кроме конечного числа, множества X(KV )непусты, так что число условий всегда конечно, и они могут быть эффективно проверены (см. [2]). Но уже для кривых 3-й степени принцип Хассе неприменим. Так, кривая 3x³+4у³=5 имеет точки во всех полях р-адических чисел и в поле действительных чисел, но не имеет рациональной точки (см. [2], [7]). Этот пример послужил отправным пунктом для создания теории, описывающей "отклонение" от принципа Хассе в классе главных однородных пространств абелевых многообразий (см. [7], [10]). Это отклонение описывается в терминах специальной группы Ш, сопоставляемой каждому абелеву многообразию (группа Тейта Шафаревича). Основную трудность теории составляет отсутствие способов вычисления группы Ш, к-рая (к 1978) не вычислена ни для одного многообразия. Эта теория распространена и на другие классы алгебраич. многообразий (см. [11]).

Другое эвристическое соображение, используемое при изучении диофантовых уравнений, состоит в том, что если число переменных, входящих в систему уравнений, велико по сравнению со степенью, то система, как правило, имеет решение. Однако доказать это в тех или иных случаях бывает очень трудно. Единственный общий подход к задачам такого типа принадлежит аналитич. теории чисел и основан на применении оценок тригонометрич. сумм (см. Тригонометрических сумм метод, Виноградова метод;см. также [4]). Первоначально этот метод применялся к уравнениям довольно частного вида (напр., к Варинга проблеме). Но в дальнейшем с его помощью было доказано, что если Fформа нечетной степени dот и переменных и с рациональными коэффициентами, то при п, достаточно большом по сравнению с d, проективная гиперповерхность F=0 имеет рациональную точку (см. [2]). Имеется гипотеза Артина, утверждающая, что этот результат справедлив уже при п>d² (см. [2], [10]). Она доказана (к 1978) только для квадратичных форм. Аналогичные вопросы можно ставить и для других полей. В частности, о результатах, полученных для локальных полей, см. Алгебраических многообразий арифметика;см. также [5]. Центральной лроблемой Д. г. является изучение структуры множества рациональных или целых точек и прежде всего выяснение вопроса о том, конечно оно или нет. В этой последней задаче основное эвристическое предположение состоит в том, что если степень системы намного больше числа переменных, то система имеет, как правило, конечное число решений (см. [10]). В отличие от рассмотренной выше задачи о разрешимости, никаких общих результатов (к 1978) в этом направлении нет. Наибольшее число исследований посвящено случаю алгебраич. кривых. Оказалось, что строение множества рациональных точек Х(К)кривой X, определенной над полем К, сильно зависит от ее рода g. Если g=0, то либо множество Х(К)пусто, либо кривая Xбирационально эквивалентна над полем Кпроективной прямой. Последнее означает, что множество Х(К)бесконечно, и существует параметризация его рациональными функциями нек-рой переменной со значениями из поля К(см. [7], [13], [1]). Кривые рода g=1 с непустым множеством X(К)рассматривались в 1901 А. Пуанкаре (Н. Роincare), к-рый показал, что они бирационально эквивалентны плоским кубич. кривым, и ввел на множестве Х(К)структуру абелевой группы (см. Эллиптическая кривая;см. также [1], [7]). Гипотеза Пуанкаре о том, что при K=Q группа имеет конечное число образующих, доказана К. Морделлом (К. Mordell, 1922) (см. [15]). Это было обобщено А. Вейлем (A. Weil, 1928) на произвольные поля алгебраических чисел и А. Нероном (A. Neron, 1952) на любые глобальные поля (см. [81).

Группу X(К)можно представить в виде прямой суммы свободной группы ранга г и конечной группы порядка п. Вопрос о том, ограничены ли эти числа на множестве всех эллиптич. кривых над данным полем К, привлекал внимание начиная с 30-х гг. (см. [7]). Ограниченность кручения пдоказана в 1971. В функциональном случае существуют кривые сколь угодно большого ранга (см. [12]). В числовом случае ответ (к 1978) неизвестен.

Наконец, в случае кривой рода g>l имеется гипотеза Морделла о конечности числа рациональных точек (высказанная для K=Q;точную формулировку см. в [9]). В функциональном случае эта гипотеза доказана Ю. И. Маниным в 1963 (см. [12]). Если же основное поле числовое, то гипотеза доказана для модулярных кривых. Все имеющиеся результаты дают конечность числа точек в не слишком больших расширениях основного поля (см. [12]).

Гораздо большие успехи достигнуты в изучении целых точек. Здесь имеется весьма общий метод диофантовых приближений, предложенный в 1909 А. Туэ (A. Thue) (см. [6], [8], [9], [13]). Он основан на следующем. Пусть форма с рациональными коэффициентами и пусть имеется целочисленное решение ( х 0, у 0 )уравнения F(x, y)= с, с неравно 0. Тогда для нек-рого i

Если а алгебраич. число степени то неравенство |a-p/q| <1/q^e имеет конечное число решений в целых ри qпри Отсюда следует конечность числа целых точек на кривых вида F(x, y) = c. С тех пор каждое продвижение в проблеме диофантовых приближений алгебраич. чисел давало соответствующие результаты для целых точек. Так была доказана в 1929 К. Зигелем (С. Siegel) теорема о конечности числа целых точек на любой кривой рода g>0. О дальнейших обобщениях этой теоремы на случай целых точек в произвольных глобальных полях см. также [9].