Арифметика XIX XX веков

Арифметика XIX–XX веков

Развитие теории циклотомических полей
1. Идеалы
Кризис уникальной факторизации, обнаруженный в связи с попыткой Ламе, привёл математику к вопросу, значительно более общему, чем Последняя теорема Ферма: как должна быть устроена арифметика алгебраических чисел, если привычная уникальная факторизация элементов перестаёт работать? Куммеровские идеальные числа дали ответ в специальной циклотомической ситуации, однако следующий исторический шаг состоял в освобождении найденной структуры от её первоначального контекста. Эту работу в первую очередь выполнил Рихард Дедекинд, который в дополнениях к лекциям Дирихле по теории чисел сформулировал общий язык алгебраических числовых полей и ввёл идеал как самостоятельный математический объект. Тем самым идея Куммера была распространена с циклотомических полей на значительно более широкий класс арифметических систем.

Пусть K — алгебраическое числовое поле, а O_K — его кольцо целых алгебраических чисел. Идеал I в O_K представляет собой аддитивную подгруппу, замкнутую относительно умножения на элементы кольца: если x принадлежит I, а a принадлежит O_K, то ax также принадлежит I. По сравнению с куммеровским образом «идеального множителя» это определение выглядит гораздо более абстрактным, однако именно абстракция делает конструкцию универсальной. Больше не требуется воображать дополнительный множитель, которого формально нет среди элементов кольца: идеал существует внутри самого кольца как структурированное множество элементов с точно определёнными свойствами.

Любой элемент ; из O_K порождает главный идеал (;), состоящий из всех его кратных. Если каждый идеал кольца является главным, арифметика в существенном отношении близка к привычной арифметике целых чисел. Если существуют неглавные идеалы, появляется именно тот структурный дефект, который на уровне элементов обнаруживается как неединственность факторизации. Поэтому вопрос «есть ли уникальная факторизация элементов?» заменяется более тонким вопросом: насколько далеко совокупность всех идеалов отклоняется от совокупности главных идеалов?

Фундаментальное достижение идеальной теории состоит в том, что каждый ненулевой собственный идеал кольца целых алгебраического числового поля единственным образом разлагается в произведение степеней простых идеалов. На уровне элементов уникальная факторизация может разрушиться, но на уровне идеалов она восстанавливается. Это был не косметический ремонт старой арифметики, а изменение самого уровня, на котором рассматривается факторизация.

Концептуально произошло нечто чрезвычайно важное. В обычной арифметике исследуется разложение элемента на простые множители. В новой арифметике исследуется факторизация идеала, порождённого элементом, и тем самым внимание переносится с индивидуального объекта на систему отношений между объектами. Возникает общий принцип, который впоследствии будет многократно повторяться в математике: если уровень самих объектов не сохраняет необходимую структуру, можно подняться на уровень отношений, классов или инвариантов, где соответствующая структура восстанавливается.

С точки зрения будущего Закона недопустимого переноса этот эпизод особенно показателен. Ламе фактически ожидал, что уникальная факторизация в Z продолжит действовать в Z[;_p]. Такой перенос оказался неправомерным. Куммер и Дедекинд не объявили потерянное свойство всё-таки существующим; они построили новый уровень объектов, на котором было продемонстрировано другое, реально выполняющееся свойство — уникальная факторизация идеалов. Необходимая доказательная функция была не перенесена автоматически, а реконструирована.

2. Классы идеалов
Возникает естественный вопрос: если факторизация идеалов уникальна, почему этого недостаточно для немедленного доказательства ТФ при любом простом показателе p? Причина заключается в следующем уровне структуры. Циклотомический аргумент способен привести к ситуации, когда p-я степень некоторого идеала a является главным идеалом: a^p = (;). Для дальнейшего вывода хотелось бы заключить, что сам a главный. Но это уже не является следствием одной только уникальной факторизации идеалов.

Именно здесь появляется группа классов идеалов. Два ненулевых идеала считаются эквивалентными, если отличаются умножением на главный дробный идеал. Классы эквивалентности образуют абелеву группу Cl(K), а нейтральным элементом является класс главных идеалов. Порядок этой группы называется числом классов h_K.

Если h_K = 1, каждый идеал главный, и кольцо является кольцом главных идеалов; в такой ситуации восстанавливается и особенно хорошее поведение факторизации элементов. Если h_K > 1, существуют неглавные идеалы. Таким образом, число классов становится количественным инвариантом того дефекта, который первоначально проявился отрицательно — как невозможность привычной уникальной факторизации.

Это характерный механизм зрелой математики. Сначала обнаруживается, что некоторое желаемое свойство не выполняется. Затем вместо простого констатирования неудачи исследуется способ, которым оно нарушается. Нарушение превращается в структурный объект. В данном случае дефект главности кодируется группой Cl(K), а его общий масштаб — числом классов h_K.

Для ТФ особенно важно p-кручение группы классов. Если a^p = (;), то в группе классов [a]^p = 1. Если группа классов не содержит ненулевого элемента порядка p, отсюда следует [a] = 1, то есть a главный. Достаточным условием отсутствия такого p-кручения является p ; h_K. Именно поэтому для циклотомического поля Q(;_p) условие неделимости числа классов на p приобретает фундаментальное значение.

Так доказательная цепочка становится значительно длиннее. Исходное уравнение X^p + Y^p = Z^p ведёт к циклотомическому полю, затем к идеалам, далее к группе классов, числу классов и условию p ; h_p. Непосредственный объект всё меньше напоминает исходные числа X, Y, Z. Но исторически это как раз показывает, насколько мощным может быть структурное углубление задачи.

В прежней редакции книги из этого делался слишком поспешный вывод, будто большая семантическая дистанция сама по себе не создаёт серьёзной проблемы, если формальные стрелки построены. В дальнейшем мы уточним этот тезис. Здесь пока достаточно отметить установленный исторический факт: каждое удаление от исходного объекта приносило новые возможности, но одновременно увеличивало число самостоятельных доказательных обязательств.

3. Нерегулярные простые
Классовая группа приводит к знаменитому разделению простых показателей на регулярные и нерегулярные. Нечётное простое p называется регулярным, если p не делит соответствующее число классов циклотомического поля Q(;_p); если p делит число классов, простое называется нерегулярным. Куммер показал, что для регулярного простого p Последняя теорема Ферма выполняется.

Этот результат был принципиально сильнее последовательного доказательства ТФ для 3, 5, 7 и других отдельных показателей. Впервые большая бесконечная совокупность простых классифицировалась не по величине и не по внешним остаточным свойствам, а по структурному инварианту соответствующего алгебраического числового поля.

Куммер нашёл эффективную связь регулярности с числами Бернулли. Простое p регулярно тогда и только тогда, когда оно не делит числитель ни одного из соответствующих чётных чисел Бернулли B_2, B_4, …, B_(p;3). Тем самым возникла неожиданная цепочка: уравнение Ферма — циклотомическое поле — классовая группа — число классов — числа Бернулли. Объекты, которые по исходным определениям принадлежат различным математическим контекстам, оказываются связанными одной доказательной системой.

Первые нерегулярные простые сравнительно малы: 37, 59 и 67. Соответствующие делимости связаны с числами Бернулли B_32, B_44 и B_58. Это сразу показывает, что регулярность не совпадает с простотой вообще. Куммеровский общий механизм закрывает огромный класс, но оставляет остаточное ядро нерегулярных показателей.

Логически важно не перепутать два утверждения. Нерегулярность p не означает существования контрпримера к ТФ. Она означает только, что общий механизм регулярного случая не закрывает этот показатель автоматически. Это различие станет фундаментальным для нашей будущей теории фильтров: если объект прошёл некоторый фильтр, из этого не следует, что он существует; это означает лишь, что данный конкретный фильтр его не уничтожил.

Более того, нерегулярность сама допускает дальнейшую типизацию. Если p делит числители нескольких соответствующих чисел Бернулли, можно говорить о более тонком профиле нерегулярности. Так бинарное разделение regular / irregular начинает превращаться в структурную классификацию. Именно такого рода переход от «прошёл или не прошёл» к «какой профиль выжил» позднее будет развиваться в понятиях ExponentType, TailType и MetaType.

Куммер продолжил работу и с нерегулярными простыми. Для первых исключительных значений были построены дополнительные аргументы, позволившие закрыть ТФ и там. Таким образом, появляется схема, которая затем многократно повторится в истории задачи: общий фильтр устраняет большую часть пространства, после чего остаточное ядро становится самостоятельным предметом анализа и подвергается более тонкой фильтрации.

4. От ТФ к общей алгебраической теории чисел
Исследование ферматовского уравнения привело математику значительно дальше самой задачи. Из проблемы факторизации X^p + Y^p выросли теория идеальных чисел, теория идеалов, классовые группы, числа классов и общий язык алгебраических числовых полей. Частная задача ТФ стала одним из исторических источников общей алгебраической теории чисел.

Особенно важно, что проблема изменила сам тип вопроса. Первоначально спрашивали, можно ли доказать невозможность одного диофантова равенства. Постепенно пришлось спрашивать, как вообще устроена делимость в алгебраических расширениях рациональных чисел; при каких условиях существует уникальная факторизация; чем измеряется её нарушение; какие структурные объекты восстанавливают потерянную арифметику. По масштабу эти вопросы намного превосходят исходную Теорему Ферма.

В этом смысле история ТФ демонстрирует генеративную силу математической проблемы. Иногда задача оказывается великой не только потому, что трудно получить её окончательный ответ, но и потому, что попытки ответа вынуждают создавать математические языки общего назначения.

Однако одновременно окончательно проявляется тенденция, принципиальная для дальнейшего повествования. Исходная формула X^p + Y^p = Z^p остаётся элементарной, тогда как непосредственно исследуемыми объектами становятся идеалы, классовые группы, числа классов и числа Бернулли. Доказательный аппарат приобретает всё большую силу, но вместе с ним растёт количество промежуточных уровней между условием ТФ и конечным выводом. Именно это двойное движение — рост мощности и одновременное увеличение доказательной дистанции — подготовит почву для будущего анализа ЗНП.

Виферих, Вандивер и локальные критерии

1. Конгруэнции
После Куммера в истории Последней теоремы Ферма всё заметнее развиваются две линии. Одна продолжает углубление алгебраической теории чисел через циклотомические поля, идеалы и классовые группы. Другая внешне выглядит значительно элементарнее и возвращает исследование к сравнениям: какие конгруэнции modulo p;, p; и других специально выбранных модулей обязан удовлетворять любой гипотетический контрпример?

Глобальное равенство X^p + Y^p = Z^p немедленно порождает сравнения modulo m для любого m. Большинство модулей дают мало информации, однако удачно выбранные модули способны обнаруживать чрезвычайно жёсткие необходимые условия. Софи Жермен уже использовала этот принцип через вспомогательные простые. В XX веке линия была существенно усилена: исследователи стали извлекать всё более глубокие сравнения из самого предположения о существовании ферматовского решения.

Одним из важнейших результатов стало условие Вифериха. Если первый случай ТФ нарушается для простого показателя p, то должно выполняться чрезвычайно сильное сравнение 2^(p;1) ; 1 mod p;. Обычная малая теорема Ферма гарантирует только 2^(p;1) ; 1 mod p. Переход от модуля p к модулю p; означает, что гипотетический контрпример требует аномально глубокой делимости.

Простые, удовлетворяющие такому сравнению, получили название простых Вифериха. Они чрезвычайно редки. Уже этот факт показывает новую стратегию: вместо доказательства невозможности контрпримера непосредственно можно показать, что любой показатель контрпримера обязан принадлежать очень узкому арифметическому классу.

Позднее аналогичные необходимые условия были получены для других оснований. Возникают сравнения типа q^(p;1) ; 1 mod p; для специально выбранных q, а также критерии Мириманова и последующие усиления. Каждое новое условие сокращает класс потенциальных показателей.

2. Необходимые условия
Здесь особенно важно различать доказательство теоремы и необходимое условие возможного контрпримера. Условие Вифериха не говорит, что простое p, удовлетворяющее сравнению modulo p;, действительно даёт ферматовское решение. Оно утверждает противоположное направление: если решение определённого типа существует, p обязан удовлетворять сравнению.

Это логика фильтра. Контрпример должен пройти через него, но прохождение фильтра не является сертификатом существования контрпримера.

С течением времени число таких условий увеличивается. Критерии Вифериха, Мириманова, Вандивера и других исследователей создают систему всё более сильных арифметических обязательств. Потенциальный показатель уже не является произвольным нечётным простым: он должен одновременно удовлетворять целому набору редких сравнений и делимостей.

Важнейшее изменение состоит в том, что предметом исследования постепенно становится не само уравнение, а профиль, которому обязан соответствовать возможный контрпример. Возникает прототип того, что в дальнейшем мы будем называть структурной сигнатурой кандидата.

Особенно показателен второй случай ТФ. Если p делит одну из координат, возникают более глубокие требования к делимости связанных выражений, и локальные условия становятся существенно сильнее. Именно эта историческая асимметрия между первым и вторым случаями позднее будет важна для архитектуры TF-Sieve.

3. Рост вычислительной составляющей
По мере накопления критериев меняется роль вычисления. Пока условий мало, их можно проверять вручную для небольших наборов показателей. Но когда возникает целая библиотека сравнений, чисел Бернулли, классовых условий и вспомогательных простых, естественным становится систематический перебор.

Вычисление здесь уже не является случайной проверкой числовых примеров. Оно применяется к теоретически установленному необходимому условию. Сначала доказывается универсальная импликация: всякий гипотетический контрпример обязан удовлетворять критерию F. Затем для конкретных p вычислительно проверяется, выполняется ли F. Если нет, показатель исключается строго.

Эта схема принципиально отличается от наивного перебора X, Y и Z. Мы не проверяем все возможные тройки до некоторой границы. Мы проверяем конечное множество структурных условий для показателей, используя предварительно доказанные теоремы.

Именно поэтому в истории ТФ вычислительный компонент растёт вместе с теоретическим, а не вместо него. Чем более сильные необходимые условия обнаружены, тем больший диапазон показателей можно эффективно исключить.

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

4. ТФ как система фильтров
К началу вычислительной эпохи Последняя теорема Ферма всё меньше выглядит как одна задача, к которой применяется один решающий аргумент. Она превращается в систему фильтров.

Пусть S — множество гипотетически допустимых состояний. Каждый результат F_i задаёт необходимое условие и тем самым выделяет подмножество S_i. Возможный контрпример обязан находиться в пересечении всех этих подмножеств. Софи Жермен исключает определённые локальные профили, Куммер — регулярные показатели, Виферих и Мириманов накладывают глубокие конгруэнтные условия, Вандивер и последующая теория добавляют новые ограничения.

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

Но здесь обнаруживается и фундаментальная трудность. Как бы мало ни стало остаточное множество внутри каждого конечного диапазона, из этого ещё не следует, что оно пусто для всех p. Фильтрационная система нуждается в механизме замыкания.

Именно эту проблему унаследует наша теория схлопывания. Она будет стремиться не просто накопить чрезвычайно большое количество сильных фильтров, а установить структурный порог, после которого возникновение новых допустимых типов становится невозможным и остаточное пространство обязано исчезнуть.

В этом смысле классические работы Вифериха, Мириманова, Вандивера и их последователей являются прямой предысторией TF-Sieve.

Вычислительная эпоха

1. Проверка диапазонов показателей
К середине XX века вычислительная машина стала самостоятельным участником исследования ТФ. Речь шла уже не просто об ускорении арифметики. Компьютер позволял один и тот же доказанный критерий систематически применять к тысячам и миллионам показателей, что вручную было практически невозможно.

Так возникает новая форма результата: универсальная математическая теорема задаёт конечный проверяемый критерий, а машина удостоверяет его выполнение для большого диапазона значений. Если теоретически продемонстрировано, что всякий контрпример должен нарушать или удовлетворять определённому условию, вычислительная проверка этого условия становится частью строгой конечной аргументации для проверяемого диапазона.

Именно таким образом задолго до Уайлса Последняя теорема Ферма была подтверждена для чрезвычайно больших конечных диапазонов показателей. Значение этих вычислений нельзя недооценивать: они закрывали реальные математические случаи и одновременно тестировали теорию на масштабах, недоступных человеку.

Но числовой масштаб не должен заслонять логическую структуру результата. Проверка ТФ до некоторой границы N означает именно то, что она означает: отсутствие контрпримеров в конечном диапазоне. Каким бы огромным ни было N, после него остаётся бесконечный хвост.

2. Машинные сертификаты
По мере роста вычислительной составляющей возникает вопрос о статусе машинного результата. Если вычисление становится частью доказательства, необходимо понимать, что именно проверено, какой алгоритм использован, на какие предварительные теоремы он опирается и возможно ли независимо воспроизвести полученный результат.

В простейшем случае сертификатом является полный конечный набор данных, позволяющий повторить проверку. В более сложных ситуациях используются алгоритмы, чья корректность установлена математически, а затем фиксируется результат их применения.

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

Для нашего проекта этот принцип имеет непосредственное значение. TF-Sieve предполагает большие вычислительные пространства, но любое вычислительное утверждение должно быть отделено от универсального теоретического вывода и, по возможности, снабжено сертификатом воспроизводимости.

3. Конечное вычисление и бесконечное утверждение
Именно вычислительная эпоха предельно ясно показывает фундаментальную границу между конечным и бесконечным.

Пусть ТФ проверена для всех простых p ; P. Как бы велико ни было P, остаётся бесконечное множество простых p > P. Само по себе увеличение P не меняет логического типа результата. Один миллион проверенных показателей и один миллиард проверенных показателей отличаются масштабом, но оба результата остаются конечными.

Поэтому сколь угодно большое конечное вычисление не становится доказательством универсального утверждения только вследствие своей величины.

Это не обесценивает вычисления. Напротив, они могут уничтожить огромное число потенциальных случаев, выявить закономерности, обнаружить исключения, проверить гипотезы, подсказать новые инварианты и дать конечные сертификаты. Но переход от конечной проверки к утверждению «для всех p» требует дополнительного математического механизма.

Именно эта граница лежит в основании нашей будущей теории схлопывания. Её задача — не продолжать вычисление до всё более фантастических P, а найти доказуемую структурную причину, по которой после некоторого порога новые типы принципиально перестают возникать.

4. Ограничения прямого перебора
Наивный перебор троек X, Y, Z практически бесполезен как путь к универсальной ТФ: пространство слишком велико и бесконечно. Перебор показателей с применением сильных теоретических критериев гораздо эффективнее, но и он остаётся конечным.

Поэтому главный урок вычислительной эпохи состоит не в том, что компьютер способен заменить доказательство, и не в том, что вычисление не имеет доказательной ценности. Правильный вывод тоньше: вычисление приобретает максимальную математическую силу тогда, когда оно действует не на уровне отдельных объектов, а на уровне заранее теоретически выделенных структурных типов и проверяемых сертификатов.

Именно в этом направлении будет двигаться «Метатеорема Ферма». Вместо бесконечного расширения числового диапазона предполагается переход от чисел к TailTypes, ExponentTypes, RelationTypes и GeometricTypes. Если множество индивидуальных объектов можно заменить конечным пространством структурных состояний, а затем доказать механизм его дальнейшего схлопывания, вычисление перестаёт быть бесконечной гонкой и становится конечной частью универсального аргумента.

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