ПТ Ферма. Ошибки исследовательской траектории

Ошибки исследовательской траектории

********
В.К. Петросян (Вадимир). Метатеорема Ферма и ее следствия. В 3-х томах. Том 1.  http://proza.ru/2026/10/02/665


Том I. История доказательства и границы математического переноса
*********
© В.К.
Петросян (Вадимир) © Lag.ru [Large Apeironic Gateway, Большой Апейронический
Портал (Шлюз), Суперпортал в Бесконечность].
При копировании данного материала и размещении его на другом сайте, ссылки
на соответствующие локации порталов Lag.ru и Proza.ru обязательны
Работа написана на основе концепции и разработок В.К. Петросяна при полноценном соавторстве (активном творческом и вычислительном участии) ChatGPT (OpenAI), GPT-5.6 Sol
*********



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

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

Именно эту инверсию будем называть доминированием аппарата над объектом.

Схема естественного исследования имеет направление:

объект ; вопрос ; инструмент.

Схема доминирования постепенно принимает иной вид:

инструмент ; доступное представление объекта ; вопросы, выразимые в языке инструмента.

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

Это ещё не математическая ошибка.

Но это уже потенциальная ошибка исследовательской траектории.

А в сочетании с межтеоретическим доказательством она способна стать и источником семантической подмены.

1. Инструмент и предмет
Любое математическое исследование требует различать предмет и инструмент.

Для Последней теоремы Ферма предметом является арифметическая система, выраженная степенным равенством в целых числах. Инструментами могут быть сравнения, факторизация, циклотомические поля, идеалы, p-адическая теория, эллиптические кривые, модулярные формы, представления Галуа, деформационные кольца, вычислительные методы и множество других конструкций.

Ни одна из этих теорий не является самой исходной задачей.

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

В нормальной ситуации сначала имеется вопрос P об объекте A. Затем подбирается теория T, способная сделать P доступным. Ценность T оценивается по тому, насколько хорошо она извлекает структуру A, релевантную P.

Но возможна и обратная траектория. Уже существует чрезвычайно развитый аппарат T. Он обладает сильными теоремами, языком, вычислительными техниками и большой областью применения. Тогда естественно попытаться представить новый объект A в форме, удобной для T. После такого представления наиболее естественными становятся уже те вопросы, которые аппарат умеет задавать.

Так возникает первая стадия доминирования:

не объект выбирает язык через структуру собственной задачи, а существующий язык выбирает ту проекцию объекта, которая ему доступна.

Сам по себе этот процесс чрезвычайно плодотворен. Именно так возникают неожиданные связи между областями.

Но он содержит скрытый риск: видимое через T начинает восприниматься как существенное вообще.

Пусть исходный объект обладает системой свойств S;, S;, …, S_r. Аппарат T хорошо распознаёт S;, S; и S;, но плохо или совсем не представляет S;, S; и S;. Пока мы говорим лишь «T хорошо работает с определённой частью структуры», проблем нет.

Проблема появляется при молчаливом переходе:

«T не использует S;»

к

«S; математически несущественно».

Это совершенно разные утверждения.

Первое относится к инструменту.

Второе — к предмету.

Из первого второе не следует.

Так возникает принцип неполноты инструментального зрения:

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

В случае ТФ модульная траектория чрезвычайно хорошо видит локальное поведение эллиптических кривых, дискриминант, проводник, рамфикацию, остаточные представления, уровень и модулярность. Но она практически не использует в качестве самостоятельных объектов такие величины, как X + Y ; Z, X; + Y; ; Z;, семейство X^m + Y^m ; Z^m при m < n, геометрию тройки X, Y, Z или цифровые хвостовые структуры. Исходный текст справедливо подчёркивал: это само по себе не недостаток модульного аппарата; это свидетельство того, что он выбирает определённую проекцию ферматовского объекта. ТФМ — Том1 — Часть 9 и ниже

После сильного ЗНП к этому необходимо добавить ещё одно положение.

Если некоторый аппарат используется не только для исследования, но и для доказательного замещения исходного объекта, его селективность уже перестаёт быть чисто методологическим вопросом. Она становится доказательным обязательством.

Иными словами:

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

Это принципиальная граница между методологией и ЗНП.

2. Расширение языка
Большая математическая проблема почти неизбежно расширяет язык своего исследования. Это один из главных источников математического прогресса.

ТФ начиналась в языке целых чисел, сложения, умножения и степеней. Затем появились сравнения, факторизация, алгебраические числа, циклотомические поля, идеалы, классовые группы. В XX веке — эллиптические кривые, модулярные формы, представления Галуа, деформационная теория и алгебры Гекке. Каждый новый язык делал видимыми свойства, которые в исходной записи либо почти не различались, либо вообще не имели естественного имени. ТФМ — Том1 — Часть 9 и ниже

Именно поэтому требование «решать ТФ только средствами элементарной арифметики» было бы методологически бессодержательным.

Расширение языка является источником силы.

Оно способно превратить сложную проблему в простое утверждение другого типа.

В одном языке определённое свойство выглядит как запутанное условие делимости; в другом — как рамфикация; в третьем — как уровень; в четвёртом — как условие на пространство деформаций.

Так математический язык не просто переименовывает свойства. Он реорганизует пространство видимого.

Но вместе с силой язык приобретает инерцию.

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

исходная проблема ; новый язык ; собственная программа нового языка.

На этом этапе задача перестаёт быть единственным центром исследования.

Она становится катализатором.

Так происходило с ТФ неоднократно. Проблема факторизации вывела к идеалам и классам идеалов; линия Фрея—Серра — к модульной арифметической геометрии; работа Уайлса — к мощному дальнейшему развитию modularity lifting.

Это блестящий механизм математического роста.

Но он создаёт методологическое расхождение:

прогресс теории не тождествен прогрессу в исследовании исходного объекта.

Иногда они совпадают.

Иногда развитие новой теории приносит именно тот ответ, который нужен исходной задаче.

Иногда же теория после первоначального контакта с задачей начинает двигаться преимущественно по собственной траектории.

Тогда появляются собственные критерии успеха: какие классы кривых модулярны, какие представления допускают подъём, какие деформационные кольца обладают требуемыми свойствами, какие общие автоморфные соответствия удаётся установить.

Все эти вопросы математически значительны.

Но они уже не совпадают с вопросом:

какова внутренняя структура невозможности ферматовского решения?

Именно поэтому каждый крупный языковой перенос должен сопровождаться двумя картами.

Первая — карта вперёд:

что новый язык позволяет увидеть такого, чего не видел старый?

Вторая — карта назад:

какую именно часть исходной задачи мы всё ещё исследуем после перехода?

Если первая карта становится всё подробнее, а вторая постепенно исчезает, начинается потеря ориентации.

Это и есть второй признак доминирования аппарата.

Можно сформулировать принцип двух карт:

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

Для обычного исследования это методологическая норма.

Для межтеоретического доказательства — уже требование ЗНП.

Особенно опасна ситуация, когда победа нового языка начинает ретроспективно определять само понятие «существенной структуры». Поскольку язык T позволил получить сильный результат, свойства, хорошо выражаемые в T, объявляются глубокими, а плохо выражаемые — второстепенными.

Но успех инструмента доказывает его силу.

Он не доказывает его полноту.

Иначе возникает круг:

аппарат выбирает свойства;

аппарат успешно работает с выбранными свойствами;

успех аппарата объявляется доказательством того, что выбранные свойства были единственно существенными.

Это эпистемический круг победившего языка.

ЗНП требует его разорвать.

3. Потеря исследовательской локальности
Для дальнейшего анализа полезно ввести понятие исследовательской локальности.

Исследование обладает высокой локальностью относительно объекта A, если его основные понятия, инварианты и вопросы непосредственно определены на A или на конструкциях, сохраняющих тесную связь с ним.

Для ТФ высокой локальностью обладают сами X, Y, Z, n, их делимости, остатки, разности, p-адические валюации, степенные суммы, низкостепенные проекции, геометрические отношения. Величина D_m = X^m + Y^m ; Z^m определена непосредственно из исходной ферматовской системы и потому является высоколокальным объектом.

Напротив, универсальное деформационное кольцо возникает только после длинной цепочки переходов. Оно обладает низкой исследовательской локальностью относительно исходного уравнения, хотя может обладать огромной доказательной силой внутри своей теории. Исходный текст подчёркивал независимость локальности и корректности: можно иметь локальный, но ошибочный аргумент и удалённый, но строгий. ТФМ — Том1 — Часть 9 и ниже

Это различие необходимо сохранить.

Но после ЗНП локальность получает вторую функцию.

Она остаётся не критерием истины, но становится индикатором объёма семантического долга.

Чем ближе объект исследования к исходному предмету, тем меньше специальных мостов требуется для объяснения того, почему вывод относится к нему.

Чем дальше рабочий объект от исходной системы, тем больше промежуточных представлений необходимо сертифицировать.

Поэтому локальность и доказательная нагрузка связаны не как «близко = правильно», а как:

чем дальше перенос, тем больше доказательных обязательств.

Это существенно отличается от прежней нейтральной формулы «расстояние ничего не значит».

Расстояние не доказывает дефект.

Но оно определяет объём проверки.

Можно назвать это принципом возрастающей семантической цены дистанции.

Если исследование движется:

X, Y, Z, n ; локальные остатки,

доказательная дистанция мала.

Если оно движется:

X, Y, Z, n ; кривая ; представление ; деформационная задача ; универсальное кольцо,

количество обязательных переходов возрастает.

Именно поэтому потеря локальности имеет две цены.

Первая — исследовательская. Некоторые вопросы перестают казаться естественными.

Вторая — доказательная. Возрастает число мостов, через которые должна пройти исходная референция.

Исходный текст приводил особенно важный пример. Если предположить X^n + Y^n = Z^n, естественно рассматривать всю последовательность D_1, D_2, …, D_{n;1}. Но после перехода к кривой Фрея эта последовательность не является естественным объектом теории эллиптической кривой. Поэтому вопрос о внутренней динамике D_m практически выпадает из модульной программы. ТФМ — Том1 — Часть 9 и ниже

Это и есть цена потери локальности.

Не потому, что D_m обязательно содержит решение ТФ.

Мы этого пока не знаем.

А потому, что победивший аппарат не стимулирует даже саму постановку подобного вопроса.

Так возникает слепая зона теории.

Каждый аппарат имеет такие зоны.

Проблема начинается, когда теория перестаёт признавать их существование.

4. Цена математической мощности
Чем мощнее математический аппарат, тем больше он способен доказать. Но мощность почти никогда не бесплатна.

Первый компонент цены — техническая сложность. Доказательство Уайлса опирается на большой корпус арифметической геометрии, теории модулярных форм, представлений Галуа, деформаций, алгебр Гекке, групп Сельмера и коммутативной алгебры. Исходный текст справедливо подчёркивал: это не дефект, но реальная стоимость доказательной технологии. ТФМ — Том1 — Часть 9 и ниже

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

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

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

Так возникает то, что исходный текст удачно называл теоретической гравитацией. ТФМ — Том1 — Часть 9 и ниже

Сильная теория втягивает задачи в собственный язык.

Это естественно.

Но периодически необходимо задавать вопрос:

мы выбрали этот язык потому, что именно структура объекта требует его, или потому, что это наиболее мощный язык, которым мы уже располагаем?

Эти причины могут совпадать.

Но не обязаны.

Пятый компонент цены — универсальность. Общая теорема часто требует существенно более мощного аппарата, чем частная задача. Но после успеха общей теории возникает соблазн считать её универсальность ещё и объяснительным преимуществом.

Это не всегда так.

Универсальная теорема может доказать гораздо больше и при этом сказать меньше о внутренней механике конкретного объекта.

Следовательно, универсальность и объяснительная локальность являются независимыми измерениями.

Шестой компонент — цена абстракции.

Абстракция намеренно сжимает информацию. Мы объединяем объекты в классы, заменяем их инвариантами, переходим к фактор-структурам. Взамен получаем управляемость.

Это фундаментальный обмен:

меньше индивидуальной информации — больше структурной мощности.

Если отброшенные различия действительно несущественны, обмен идеален.

Если в них скрывается другой механизм, он становится невидимым.

Именно поэтому математическая мощность никогда не должна интерпретироваться как автоматическая полнота.

Сильная теория способна быть одновременно:

доказательно выдающейся;

объяснительно селективной;

исследовательски монополизирующей;

семантически далёкой.

Эти характеристики не противоречат друг другу.

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

Цена не равна ошибке.

Но и успех не отменяет цены.

Сильный аппарат может полностью оправдать свою стоимость.

Однако обязанность осознавать эту стоимость остаётся.

5. Когда инструмент подменяет предмет исследования
Теперь можно сформулировать главный критерий главы.

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

Подмена начинается тогда, когда границы видимости инструмента принимаются за границы математического содержания объекта.

Именно это является принципиальной ошибкой.

Пусть T — успешная теория, а Visible_T(A) — та часть структуры объекта A, которая естественно представима в языке T.

Корректное утверждение:

Visible_T(A) является некоторой проекцией A.

Некорректный переход:

Visible_T(A) = A.

Именно этот скрытый знак равенства представляет собой методологическую подмену.

В случае ТФ можно сказать:

модульная траектория видит глубокую систему

степенная структура ; кривая ; локальная арифметика ; представление ; модулярность.

Но из этого не следует, что она исчерпывает:

низкостепенную динамику;

внутреннюю геометрию X, Y, Z;

хвостовые структуры;

цифровые типы;

внутренние реляционные инварианты;

или вообще все потенциальные механизмы невозможности.

Их может не оказаться полезных.

Но это должен решить анализ.

Не молчание доминирующего аппарата.

В этом смысле можно сформулировать один из центральных принципов Части X:

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

И ещё сильнее:

доказательство теоремы не предоставляет доказательному аппарату права определять полную онтологию объекта.

Исходная версия формулировала это как различие между proof ownership и object ownership: метод может владеть доказательством в том смысле, что именно он установил результат, но он не приобретает исключительного права определять всё математически существенное в объекте. ТФМ — Том1 — Часть 9 и ниже

Эту мысль необходимо сохранить и усилить.

Теорема может быть закрыта. Объект не закрывается вместе с ней.

Даже если принять стандартный статус доказательства Уайлса полностью, остаётся огромное пространство законных вопросов:

какова внутренняя арифметическая механика невозможности;

существует ли конечная система собственных ферматовских инвариантов;

какую роль играют низшие степени;

можно ли типизировать остаточные структуры;

существует ли механизм структурного схлопывания;

можно ли построить более локальную теорию той же невозможности.

Ни один из этих вопросов не отменяется модульностью.

И после сильного ЗНП появляется ещё более острое требование.

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

Иначе он остаётся одним из языков.

Пусть даже величайшим.

Но не единственным.

Здесь же необходимо направить критику и на собственную программу книги.

Если TailTypes окажутся успешными, они не становятся «истинной сущностью» числа.

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

Если TF-Sieve уничтожит огромные классы состояний, это не даст ему права считать невидимые им структуры несущественными.

Если Collapse Function окажется мощной, она также должна предъявить доказательство полноты своей типизации.

Нельзя критиковать модулярную программу за аппаратное доминирование и затем воспроизвести ту же ошибку под новыми названиями.

Поэтому заключительный принцип главы должен быть симметричным:

предмет исследования всегда потенциально богаче любого отдельного аппарата, включая аппарат настоящей книги.

Отсюда следует зрелая исследовательская стратегия.

Не уничтожать мощные теории.

Не возвращаться искусственно к примитивному языку.

Не противопоставлять «живую арифметику» и «мёртвую абстракцию».

А поддерживать множественность независимых представлений и заставлять их взаимно контролировать друг друга.

Пусть арифметическая картина видит одно.

Геометрическая — другое.

Хвостовая — третье.

p-адическая — четвёртое.

Модульная — пятое.

Их сила может возникнуть именно в пересечении, а не в монополии одного аппарата.

Тогда исследовательская схема меняется ещё раз.

Не:

объект ; один победивший язык.

И не:

объект ; бесконечное множество несвязанных описаний.

А:

объект ; система независимых представлений ; взаимный контроль ; структурное ядро, устойчивое относительно смены языка.

Именно такое ядро имеет шанс приблизиться к действительно релевантной семантике объекта.

В этом смысле ошибка исследовательской траектории начинается не с абстракции.

Она начинается с монополии.

Не с силы теории.

С уверенности, что сила одной теории исчерпывает объект.

Не с удаления от исходной формулы.

С забвения пути обратно.

И не с появления нового языка.

С момента, когда язык перестаёт быть инструментом описания и начинает диктовать объекту, чем ему разрешено быть.

*****

ТФ как генератор чужих математических теорий

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

Поэтому историческая схема здесь имеет иной вид:

задача ; кризис существующего метода ; расширение языка ; новая теория ; возвращение новой теории к задаче.

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

В разных эпохах ТФ играла разные роли.

Иногда трудность самой задачи действительно стимулировала появление нового математического объекта. Это наиболее близко к прямой генерации.

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

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

Наконец, после обнаружения такой связи направление влияния могло снова развернуться: сама ТФ начинала мотивировать доказательство гораздо более сильного результата в чужой предметной области. Именно так произошло в истории модулярности.

Эта сложная система прямых и обратных воздействий является одним из главных историко-методологических уроков всей книги.

1. Алгебраические числа
Первый великий выход Последней теоремы Ферма за пределы обычной арифметики был связан с факторизацией. Для простого показателя p выражение X^p + Y^p допускает значительно более богатое разложение после введения p-го корня из единицы. В кольце циклотомических целых возникают линейные множители, которых просто нет в обычном кольце целых чисел.

Это был чрезвычайно естественный ход.

Если исходное выражение недостаточно раскладывается в Z, почему бы не перейти в более богатую область, где скрытая структура станет видимой?

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

Здесь происходит принципиальная смена масштаба.

В классической арифметике основные объекты — целые и рациональные числа. Но после появления выражений, содержащих корни единицы, исследователь вынужден работать уже с алгебраическими числами внутри поля Q(;_p). Вместо одной числовой системы возникает целое семейство расширений K/Q, каждое из которых обладает собственной арифметикой.

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

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

И здесь необходимо особенно тщательно соблюдать историческую точность.

Нельзя писать историю в виде примитивной причинной цепочки:

ТФ ; Куммер ; алгебраические числа.

Арифметика алгебраических чисел имела несколько глубоких источников. Среди них — квадратичные формы, исследования взаимности, циклотомические уравнения, работы Гаусса, Якоби и другие направления XIX века. Куммер также преследовал задачи, далеко выходившие за пределы Ферма.

Следовательно, точнее сказать иначе.

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

Это различие важно и для общей темы настоящей книги.

Задача может не породить теорию исторически, но способна сделать её использование структурно неизбежным.

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

Так появляется первый внешний математический мир.

2. Идеалы
Наиболее яркий случай настоящего генеративного воздействия ТФ связан с кризисом уникальной факторизации.

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

После перехода в циклотомические кольца оказалось, что это свойство нельзя переносить автоматически.

Именно здесь историческая линия Ферма становится особенно поучительной для ЗНП.

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

Возник настоящий структурный кризис.

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

Куммер выбирает второй путь.

Это один из величайших моментов истории алгебраической теории чисел.

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

Происходит чрезвычайно глубокая смена вопроса.

Не:

как заставить элементы снова факторизоваться единственным образом?

А:

можно ли найти другой математический объект, для которого нужная доказательная функция факторизации восстановится?

Это принципиально новый тип математического ответа на дефект переноса.

Не отрицание проблемы.

Не замазывание ошибки.

Не объявление потерянного свойства несущественным.

А создание нового уровня, на котором функция действительно восстанавливается.

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

Но эта абстракция должна не скрывать дефект, а лечить его.

В этом смысле идеалы являются одним из лучших примеров настоящего разрешающего ремонта.

Однако дальнейшая история производит первый великий парадокс ТФ.

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

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

Получается удивительная последовательность:

локальная проблема доказательства ; новый объект ; универсальная теория.

При этом исходная ТФ продолжала оставаться нерешённой.

Таким образом возникает первый крупный исторический парадокс:

задача не решается, но попытка её решения производит математику, значительно превосходящую исходную задачу по области применения.

Именно здесь ТФ начинает демонстрировать свою особую генеративную функцию.

Она как будто проигрывает локально и выигрывает глобально.

Не получает доказательства — но заставляет математику перестроить собственный язык.

3. Эллиптические кривые
Во второй половине XX века характер взаимодействия меняется.

Теперь Последняя теорема Ферма уже не стимулирует создание неизвестного математического объекта. Эллиптические кривые к этому времени имеют огромную самостоятельную историю. Рациональные точки на кривых рода один, групповая структура рациональных точек, теорема Морделла, редукции, изогении, локальные инварианты и многие другие элементы теории развивались независимо от Ферма.

Поэтому утверждение «ТФ породила эллиптические кривые» исторически бессмысленно.

Происходит противоположное.

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

В этом состоит ход Фрея.

Предположим существование решения при простом показателе. Из него строится специальная эллиптическая кривая. Значительная часть нужной арифметической информации о предполагаемом контрпримере переносится в её дискриминант, проводник, редукционные свойства и далее в представления Галуа.

Историческая стрелка теперь принципиально отличается от XIX века.

У Куммера:

проблема ; потребность в новом аппарате.

У Фрея:

готовый аппарат ; неожиданный образ старой проблемы.

Это уже не генерация математического объекта.

Это поздняя интеграция.

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

Исходный вопрос:

существует ли целочисленная степенная тройка?

заменяется новым:

может ли существовать эллиптическая кривая с таким набором арифметических свойств?

Именно здесь ТФ становится своеобразной «фабрикой контрпримеров другого типа».

Гипотетический контрпример к Ферма должен породить объект, который оказывается чрезвычайно необычным с точки зрения теории эллиптических кривых.

Это методологически новый режим.

Исходная задача больше не расширяет собственный язык постепенно.

Она встраивается в уже существующую чужую онтологию.

И в этом смысле можно говорить о семантическом поглощении.

Не в отрицательном смысле.

Не как о доказанной подмене.

А как о точном описании смены исследовательской формы:

ферматовский объект перестаёт быть последним носителем вопроса;

его роль принимает специальная эллиптическая кривая.

Дальнейшее движение происходит уже внутри арифметической геометрии.

Этот момент чрезвычайно важен для общей структуры книги.

В XIX веке ТФ стимулировала появление новых арифметических объектов.

В XX веке она сама становится источником объектов для уже существующей развитой теории.

Это принципиально различные формы взаимодействия задачи и аппарата.

4. Модулярность
С модулярностью парадокс становится ещё глубже.

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

Первоначально существовали две почти независимые реки.

Первая — история Ферма.

Вторая — программа модулярности эллиптических кривых.

На протяжении долгого времени между ними не существовало известного доказательного маршрута.

Затем Фрей, Серр и Рибет создают мост.

И именно здесь происходит один из наиболее необычных поворотов всей математической истории ТФ.

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

Причинная стрелка разворачивается.

Модулярность исторически не возникала ради Ферма.

Но после связи Фрей—Серр—Рибет ТФ становится мощнейшим внешним мотиватором доказательства модулярности нужного класса кривых.

Получается своеобразная петля:

независимая теория ; неожиданная связь с ТФ ; ТФ мотивирует решение крупной проблемы независимой теории ; полученная теорема возвращается к ТФ.

Это уже не генерация в обычном смысле.

Точнее говорить об обратном стимулировании чужой программы.

И именно в этом режиме работает Уайлс.

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

Причём результат оказывается значительно фундаментальнее отдельной ферматовской задачи.

Для самой ТФ достаточно соответствующего полустабильного случая. Дальнейшее развитие modularity lifting и полная модулярность эллиптических кривых над Q уже выходят далеко за пределы нужд Ферма.

Возникает ещё одна историческая инверсия.

Сначала огромная общая теория используется как путь к одной конкретной задаче.

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

Именно здесь становится особенно ясным выражение «чужая теория».

Оно не означает «нерелевантная» или «незаконная».

Оно означает:

теория имеет самостоятельное происхождение, самостоятельные объекты, собственные вопросы и собственную внутреннюю ценность, не зависящую от ТФ.

И тем не менее именно она в конце истории становится носителем принятого доказательства ТФ.

Так первоначально внешняя теория сначала встречается с задачей, затем поглощает её как частное следствие.

5. Польза и парадокс
Теперь можно увидеть общую закономерность.

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

Это создавало огромную математическую пользу.

С ТФ исторически оказались тесно связаны циклотомические поля, идеальные числа, идеалы, группы классов, локальные критерии, эллиптические кривые, модулярность, представления Галуа и деформационные методы.

Но причинные связи между ними различны, и поэтому нельзя сводить историю к лозунгу «Ферма породил современную теорию чисел».

Полезно различать по крайней мере четыре режима.

Прямая генерация. Трудность исходной задачи непосредственно заставляет ввести новый объект или новый механизм. Наиболее ярким примером являются идеальные числа Куммера.

Каталитическое воздействие. Уже возникший аппарат получает благодаря ТФ мощный стимул для дальнейшего развития.

Поздняя интеграция. Готовая самостоятельная теория неожиданно оказывается связана с ТФ. Таковы эллиптические кривые и модулярность.

Обратное стимулирование. После обнаружения связи сама ТФ становится мотивом для доказательства большой теоремы другой области. Такова программа Уайлса.

Из этой четырёхчленной схемы вырастают несколько парадоксов.

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

Но вокруг неё возникали доказанные теоремы, новые объекты и новые методы.

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

Получается почти обратная зависимость:

неразрешимость локальной задачи может увеличивать её генеративную ценность.

В этом состоит одна из причин исторической исключительности ТФ.

Второй парадокс: побочный продукт становится важнее цели
Идеалы давно живут независимо от Ферма.

Алгебраическая теория чисел не является «теорией для ТФ».

Эллиптические кривые имеют огромную самостоятельную математику.

Модулярные формы и представления Галуа являются центральными объектами современной теории чисел и арифметической геометрии.

То, что когда-то входило в историю как средство, становится целью самостоятельной науки.

Инструмент переживает породившую его исследовательскую ситуацию.

Это чрезвычайно важный принцип развития математики:

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

Третий парадокс: конечное доказательство почти покидает исходную задачу
История начинается с X^n + Y^n = Z^n.

Но завершается теоремой о модулярности семистабильных эллиптических кривых и её применением через Фрея—Серра—Рибета.

То есть победа приходит не как окончательное совершенствование классического арифметического анализа исходного равенства, а как следствие гораздо более общей внешней теории.

Исторический процесс можно описать почти циклически:

задача стимулирует внешний аппарат ; внешний аппарат становится самостоятельной математикой ; самостоятельная математика возвращается и поглощает задачу как следствие.

Именно этот парадокс лежит в центре Частей IX и X.

С точки зрения стандартной математики это пример великой силы абстракции.

С точки зрения сильного ЗНП это одновременно предельный пример того, насколько тщательно необходимо проверять семантический мост между исходным объектом и теорией, которая его поглотила.

Четвёртый парадокс: решение задачи не возвращает её внутреннюю теорию
Даже если вопрос о существовании ферматовских решений считать полностью закрытым, из этого не следует, что исчерпана математика выражения X^n + Y^n ; Z^n.

Ответ на вопрос:

существуют ли решения?

не является ответом на все возможные вопросы:

как организованы низшие степени;

какие внутренние инварианты возникают;

как взаимодействуют арифметические и геометрические структуры;

какие конечные типы можно выделить;

как устроена хвостовая динамика степеней;

существует ли собственный механизм структурного схлопывания;

можно ли классифицировать невозможность без перехода в модулярную теорию.

Именно здесь появляется новая исследовательская развилка.

Историческая траектория A была направлена наружу:

целые числа ; алгебраические числа ; идеалы ; арифметическая геометрия ; модулярность.

Траектория B, предлагаемая настоящей программой, должна сознательно повернуть обратно:

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

Не ради отрицания исторической ценности внешнего пути.

А потому, что решение вопроса существования и построение внутренней теории объекта являются разными научными задачами.

6. Развитие математики и судьба исходной задачи
Здесь возникает наиболее общий вопрос главы: что происходит с исходной задачей, когда математический аппарат, возникший вокруг неё, становится намного крупнее её самой?

Возможны по меньшей мере три судьбы.

Первая — задача исчезает после решения. Она остаётся историческим памятником, а новые теории продолжают самостоятельную жизнь.

Вторая — задача сохраняется как удобный тестовый пример более общей теории.

Третья — после внешнего решения происходит возвращение к самому исходному объекту, но уже с новым исследовательским вопросом.

Для ТФ именно третий вариант представляет наибольший интерес настоящей книги.

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

С одной стороны, это закономерный успех.

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

Но с другой стороны, возникает своеобразный исторический остаток.

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

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

Не ошибка результата.

Не ошибка историков.

Не ошибка отдельных математиков.

А асимметрия развития.

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

В результате возник необычный дисбаланс:

мы знаем чрезвычайно много о тех объектах, посредством которых ТФ была доказана;

но значительно меньше — о возможной общей внутренней структуре гипотетического ферматовского контрпримера как собственного математического типа.

Именно поэтому завершение ТФ в одном смысле может означать её повторное открытие в другом.

Не как открытой проблемы истинности.

А как незавершённого объекта структурного исследования.

Здесь необходимо особенно ясно различить две позиции.

Первая:

«ТФ доказана, следовательно, исследовать её больше нечего».

Эта позиция слишком сильна.

Вторая:

«ТФ доказана одним из возможных способов; поэтому теперь можно исследовать, какие ещё структуры объясняют тот же результат».

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

Но после введения ЗНП появляется и ещё один уровень.

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

Если же сильный ЗНП не изменит признанного статуса доказательства Уайлса, внутренняя программа всё равно сохранит самостоятельную ценность как другая теория одной и той же невозможности.

То есть положительная программа книги не должна зависеть только от успеха критики Уайлса.

Это чрезвычайно важно.

Её ценность должна быть двойной.

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

В максимальном — предлагает иной доказательный стандарт и иной путь к самой теореме.

Но в обоих случаях центральной остаётся одна задача:

вернуть математическое внимание от бесконечно расширившегося внешнего аппарата к исходной структуре X, Y, Z, n.

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

Она должна снова стать генератором собственной внутренней теории.

История первой траектории показала, какую математику может породить попытка уйти от объекта наружу.

Следующая траектория должна проверить противоположное:

какую математику способен породить максимально глубокий возврат внутрь самого ферматовского объекта.

В этом и заключается переход от историко-критической части первого тома к его позитивной исследовательской программе.

*****

Неисследованный путь

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

Но именно здесь необходимо поставить другой вопрос.

Не:

в какой ещё внешней теории можно представить гипотетический ферматовский контрпример?

А:

насколько полно исследован сам объект до всякого внешнего переноса?

Пусть временно предполагается существование положительных целых X, Y, Z и показателя n > 2, удовлетворяющих ферматовскому равенству. Современная траектория сравнительно быстро превращает эту систему в объект другой природы. Настоящая программа предлагает сделать обратное: задержаться до первого крупного переноса и рассматривать саму четверку

(X, Y, Z, n)

как самостоятельный математический объект.

Название «Неисследованный путь» не следует понимать в наивном историческом смысле. Сравнения степеней изучались. Геометрические свойства числовых троек изучались. Конгруэнции и конечные поля изучались. p-адические методы изучались. Диофантова геометрия изучалась. Неисчерпанным остаётся более специфический проект:

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

Именно этот синтез, а не отдельный новый трюк, должен стать предметом дальнейшей положительной программы книги. ТФМ — Том1 — Часть 9 и ниже

1. Что осталось внутри X, Y, Z, n
Если предположить существование ферматовского решения, уже без всяких внешних конструкций возникает богатая система необходимых отношений.

Для определённости можно упорядочить положительные числа так, чтобы Z было наибольшим. Из исходного равенства немедленно следует, что Z превосходит каждое из двух остальных чисел. Это простое замечание уже показывает, что четверка не является произвольным набором целых параметров: между её компонентами с самого начала существует строгая иерархия.

Но значительно важнее другое.

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

D_m = X^m + Y^m ; Z^m.

Гипотетический контрпример требует, чтобы на верхнем уровне имело место D_n = 0. Но для всех меньших положительных степеней выполняется противоположный режим: D_m > 0.

Это следует непосредственно из нормировки на Z. Поскольку X/Z и Y/Z находятся между нулём и единицей, уменьшение показателя увеличивает каждую из степеней этих отношений. Если при степени n их сумма равна единице, то при любой меньшей степени она должна быть больше единицы. Следовательно,

D_1 > 0, D_2 > 0, …, D_{n;1} > 0, D_n = 0. ТФМ — Том1 — Часть 9 и ниже

Это чрезвычайно важная смена перспективы.

Ферматовский объект — не просто одна точка равенства на степени n.

Он должен реализовать целую степенную траекторию, в которой положительный дефект сохраняется на всех нижних уровнях и впервые схлопывается в ноль ровно на n.

Именно эта траектория может оказаться значительно более содержательным объектом, чем исходное равенство, рассматриваемое изолированно.

Тогда вопрос меняется.

Не:

существует ли одна тройка, удовлетворяющая одному равенству?

А:

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

Это уже иной объект исследования.

Особенно важны первые два дефекта:

K = X + Y ; Z,

Q = X; + Y; ; Z;.

Для гипотетического решения оба положительны.

Именно здесь впервые проявляется принцип:

высокостепенное равенство неизбежно оставляет низкостепенные следы.

Эти следы не являются приблизительными или эвристическими. Они непосредственно вытекают из самого ферматовского предположения.

Между K и Q существует также точное внутреннее тождество. Если раскрыть квадрат K и сопоставить его с Q, возникает выражение, связывающее разность K; ; Q с произведением расстояний Z ; X и Z ; Y. В исходнике этот факт рассматривается как одно из первых свидетельств того, что линейный и квадратичный дефекты уже кодируют взаимное положение трёх чисел. ТФМ — Том1 — Часть 9 и ниже

Отсюда возникает более общий принцип внутреннего исследования.

Ферматовская четверка должна одновременно удовлетворять:

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

Именно это пространство, а не отдельная запись X^n + Y^n = Z^n, может оказаться настоящим внутренним объектом будущей теории.

2. Геометрия самих чисел
Из положительности первого дефекта K следует X + Y > Z. Поскольку Z является наибольшим из трёх положительных чисел, остальные два неравенства треугольника выполняются автоматически. Поэтому X, Y, Z можно условно рассматривать как стороны невырожденного евклидова треугольника.

Назовём его ферматовским треугольником.

Это не утверждение о существовании ферматовской тройки. Это условная конструкция:

если существует гипотетический контрпример, то соответствующая тройка чисел задаёт треугольник.

Второй дефект Q даёт значительно более сильное следствие.

Поскольку n > 2, выполняется X; + Y; > Z;. Но Z — наибольшая сторона. Следовательно, угол, лежащий напротив Z, обязан быть острым. А раз это максимальный угол треугольника, то остры и остальные.

Таким образом:

гипотетический ферматовский треугольник обязан быть остроугольным. ТФМ — Том1 — Часть 9 и ниже

Это один из наиболее наглядных примеров внутреннего переноса.

Высокостепенная арифметика порождает квадратичное неравенство.

Квадратичное неравенство порождает евклидову геометрию.

Но, в отличие от кривой Фрея, эта геометрия не вводит новый внешний объект, параметры которого принадлежат другой теории. Она строится непосредственно из тех же чисел X, Y, Z.

Именно поэтому такой переход обладает высокой исследовательской локальностью.

Он не гарантирует доказательной силы.

Но сохраняет непосредственную референцию на исходный объект.

В исходном тексте рассматривается также опускание высоты к стороне Z и разбиение основания на два отрезка. Соответствующие проекции выражаются через X, Y, Z и Q. Тем самым геометрическая картина оказывается полностью вычислимой из исходной арифметической системы. ТФМ — Том1 — Часть 9 и ниже

Но здесь необходимо сохранить важную отрицательную оговорку.

Высота и отрезки проекций вообще не обязаны быть целыми.

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

Это был бы именно тот тип недопустимого переноса, против которого формулировался ЗНП.

Поэтому геометрия сама по себе ещё ничего не решает.

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

Это принципиальный критерий.

Геометрическая интерпретация ценна не потому, что она красива.

И не потому, что делает рисунок нагляднее.

Её ценность определяется её фильтрующей силой.

Если геометрия порождает условие G(X,Y,Z), которое обязательно для любого гипотетического контрпримера и независимо сокращает пространство кандидатов, она становится содержательной частью внутренней теории.

Если она только переписывает прежние тождества на языке углов и высот, её роль остаётся объяснительной.

Поэтому главная задача геометрического направления не в построении всё новых картинок.

Она в поиске таких геометрических инвариантов, которые создают дополнительные арифметические обязательства.

3. Низшие степени
Возможно, наиболее перспективным внутренним объектом является не одна низшая степень, а вся последовательность D_m.

Классические редукции по показателю действуют иначе. Они переводят произвольный показатель к простому или к специальному случаю n = 4.

Здесь предлагается другое движение.

Не уменьшать показатель задачи.

А наблюдать, какие следы одно и то же гипотетическое решение оставляет на последовательных уровнях:

n, n;1, …, 2, 1.

Такое движение можно назвать степенным спуском состояния.

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

Задача состоит в исследовании согласованности всего этого профиля.

На первом уровне возникает K.

На втором — Q.

На третьем — D_3.

И так далее.

Чем ниже степень, тем проще структура: становятся доступны разложения, рекурсии, геометрические интерпретации, остаточные классификации.

Отсюда естественный вопрос:

может ли необходимость D_n = 0 вступить в конфликт с обязательной структурой D_1, D_2, …, D_{n;1}?

Это уже возможный механизм внутренней невозможности.

Особенно важным является структурное сжатие пары X, Y через

S = X + Y,

P = XY.

Если обозначить A_m = X^m + Y^m, то вся последовательность A_m удовлетворяет линейной рекурсии второго порядка

A_m = S A_{m;1} ; P A_{m;2}.

Это следует из того, что X и Y являются корнями квадратного уравнения с суммой S и произведением P. ТФМ — Том1 — Часть 9 и ниже

Этот факт чрезвычайно важен для будущей программы.

Бесконечная последовательность степенных сумм X^m + Y^m определяется двумя параметрами S и P.

Тем самым вместо непосредственного исследования огромных степеней возникает низкоразмерная динамика.

Ферматовское условие принимает вид:

A_n(S,P) = Z^n,

а дефекты:

D_m = A_m(S,P) ; Z^m.

Получается динамическая система, управляемая тройкой параметров S, P, Z.

Это уже не просто другая запись исходного равенства.

Это потенциальный новый внутренний язык.

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

Именно здесь низкостепенная динамика начинает соприкасаться с будущей теорией типов.

Но здесь необходимо провести жёсткую границу между архитектурой и доказательством.

Сама рекурсия ТФ не доказывает.

Периодичность modulo M ТФ не доказывает.

Конечность пространства состояний при фиксированном M ТФ не доказывает.

Нужно найти универсальное свойство, которое делало бы состояние D_n = 0 несовместимым со всей обязательной предысторией.

Пока такого моста нет, перед нами не theorem, а research program.

Это различие должно сохраняться на каждой странице будущих томов.

4. Цифровые проекции
Особый класс внутренних представлений возникает при переходе к конечным хвостам чисел.

Если рассматривать число modulo 10^k, мы получаем его последние k десятичных цифр. На первый взгляд это может казаться слишком «цифровым» и зависимым от системы записи.

Но арифметическая основа у метода вполне строгая.

Поскольку 10^k раскладывается как произведение степеней двух и пяти, анализ modulo 10^k эквивалентен совместному анализу modulo 2^k и modulo 5^k через китайскую теорему об остатках. Поэтому десятичный хвост фактически кодирует конечную глубину одновременно 2-адической и 5-адической информации. ТФМ — Том1 — Часть 9 и ниже

Из ферматовского равенства обязательно следует соответствующее сравнение modulo 10^k для любого k.

Это чисто необходимое условие.

И здесь особенно важно не повторить старую ошибку.

Совместимость по одному модулю ничего не доказывает.

Даже совместимость по очень большому конечному числу модулей сама по себе ещё не превращается в универсальное утверждение.

Поэтому хвостовой подход не должен сводиться к поиску «магического модуля», который уничтожит все случаи.

Более содержательной является задача исследовать динамику хвостов одновременно по глубине k и по показателю n.

Отсюда возникает идея TailType.

Конкретные числа могут различаться, но вести себя одинаково относительно степенных отображений в выбранной конечной системе. Тогда их можно объединять в один тип поведения.

Но такое объединение становится законным только после доказательства инвариантности всех используемых свойств внутри типа.

Иначе TailType окажется просто удобной меткой, а не корректным фактор-объектом.

Аналогично показатель n можно рассматривать не как отдельное огромное целое число, а через его действие на конечную мультипликативную структуру. На фиксированной глубине многие показатели могут действовать одинаково. Тогда появляется ExponentType.

Это чрезвычайно важная смена масштаба.

Вместо бесконечного списка n = 3,4,5,… возникает конечное число режимов действия на фиксированном модуле.

Но именно здесь скрывается главная опасность.

Фиксированная конечная глубина никогда сама по себе не равна бесконечному утверждению.

Можно получить очень сильную фильтрацию.

Можно уничтожить почти все типы.

Можно наблюдать плотность, стремящуюся к нулю.

Но из «почти ничего не остаётся» ещё не следует «ничего не остаётся».

Поэтому хвостовая теория должна иметь механизм замыкания.

Не статистический.

Не эвристический.

Не вычислительно впечатляющий.

А доказательный.

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

Хвост должен быть одной из проекций.

Не всей теорией.

Его сила особенно возрастает в пересечении с другими внутренними инвариантами: K, Q, p-адическими валюациями, RelationTypes, геометрическими ограничениями.

Именно из такого пересечения возникает обобщённая хвостовая математика.

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

Он состоит в смене объекта перебора.

Классический вопрос:

какие конкретные X, Y, Z, n возможны?

может быть заменён вопросом:

какие типы поведения вообще возможны?

Это фундаментальный поворот.

Числа бесконечны.

Их величины неограниченны.

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

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

Два ферматовских кандидата могут иметь совершенно разные численные значения, но совпадать по:

хвостовым профилям;

типу показателя;

отношениям между K, Q и D_m;

геометрическому режиму;

p-адическим обязательствам.

Для конкретной системы фильтров такие объекты могут быть неразличимы.

Тогда естественно объединить их в один структурный тип.

В исходной архитектуре выделяются несколько семейств:

TailTypes — типы хвостового поведения;

ExponentTypes — типы действия показателя на конечных структурах;

RelationTypes — типы внутренних отношений между K, Q, D_m и другими величинами;

GeometricTypes — типы допустимых геометрических конфигураций;

Arithmetic или valuation types — типы локальных и p-адических профилей. ТФМ — Том1 — Часть 9 и ниже

Их объединение формирует MetaType.

Именно MetaType потенциально становится объектом TF-Sieve.

В этом состоит новая философия перебора.

Обычный перебор работает с числами.

Типологический подход работает с классами поведения.

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

Но именно здесь находится и наиболее опасное место всей положительной программы.

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

Нельзя получить прекрасную экспериментальную классификацию и назвать её полной.

Нельзя объявить типы конечными только потому, что вычисления стабилизировались.

Требуется теорема полноты типизации:

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

Без неё вся теория остаётся экспериментальной.

Второе обязательное условие — однородность внутри типа.

Если два объекта получили один и тот же MetaType, все фильтры, применяемые на уровне типа, должны давать одинаковый результат. Иначе тип не является корректным фактор-объектом.

Третье условие — покрытие фильтрами.

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

Только после этого можно утверждать, что все типы уничтожены.

И только затем — что уничтожены все возможные контрпримеры.

Именно здесь появляется Collapse Function.

Пусть C(p) обозначает число структурных типов, остающихся допустимыми после применения всех доказанных фильтров при показателе p.

Тогда настоящая цель состоит не в том, чтобы показать, что C(p) мало.

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

Плотность ноль не равна пустоте.

Если общее число типов растёт квадратично, а выживших линейно, доля стремится к нулю, но абсолютное число выживших растёт.

Поэтому истинная теорема схлопывания должна давать абсолютную границу.

Например, достаточно было бы установить целочисленное неравенство

0 ; C(p) < 1.

Тогда автоматически C(p) = 0.

Это уже был бы строгий механизм перехода от сильной фильтрации к пустоте.

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

Структурная типизация становится особенно интересной потому, что потенциально выходит далеко за пределы ТФ.

Пусть дана более общая диофантова система. Если для неё можно:

построить конечные проекции;

определить классы поведения;

доказать полноту типизации;

ввести фильтры;

определить целочисленную функцию выживания;

доказать её схлопывание,

то возникнет уже не специальный ферматовский метод, а общая теория структурного исследования бесконечных диофантовых систем. ТФМ — Том1 — Часть 9 и ниже

И именно такой исход соответствовал бы исторической традиции ТФ лучше всего.

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

Так было с идеалами.

Так произошло с арифметической геометрией.

Такой же тест должна пройти и будущая теория MetaTypes.

В итоге внутренняя программа складывается из пяти взаимосвязанных проекций:

исходная арифметика — само степенное равенство и его неизбежные следствия;

геометрия — конфигурация X, Y, Z как ферматовского треугольника;

низкостепенная траектория — последовательность D_m;

цифровые и локальные проекции — конечные остаточные и p-адические режимы;

структурная типизация — переход от индивидуальных чисел к MetaTypes.

Ни одна проекция не обязана быть достаточной сама по себе.

Более реалистична другая гипотеза:

противоречие может возникнуть только в пересечении нескольких независимых представлений одного и того же объекта.

Именно поэтому будущая теория должна быть не монолитной, а многопроекционной.

Минимально можно выделить три большие ипостаси:

арифметическую;

геометрическую;

хвостово-структурную.

Они рассматривают один и тот же объект по-разному.

Цель не в том, чтобы выбрать «правильный» язык.

Цель — построить систему взаимных ограничений, в которой каждый язык контролирует слепые зоны остальных.

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

Это будет не перенос контрпримера в чужую теорию.

Это будет схлопывание пространства его собственных возможных состояний.

Но на нынешнем этапе необходимо сохранить строгий статус.

TailTypes — программа.

ExponentTypes — программа.

MetaTypes — программа.

TF-Sieve — программа.

Collapse Function — программа.

Чтобы эта архитектура стала доказательством, необходимо установить как минимум четыре критических моста:

полноту типизации;

инвариантность фильтров внутри типов;

достаточность совместной системы фильтров;

переход от асимптотического сжатия к абсолютной пустоте. ТФМ — Том1 — Часть 9 и ниже

Именно в этих точках будущая теория будет проходить собственный ЗНП-аудит.

Так заканчивается действительно критическая часть пути.

Не выводом о том, что «всё уже найдено».

И не обещанием, что несколько красивых внутренних закономерностей автоматически дадут новое доказательство.

А значительно более строгой постановкой:

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

Внешняя историческая траектория спрашивала:

в какой более мощной теории можно сделать образ ферматовского контрпримера невозможным?

Внутренняя траектория спрашивает:

какими собственными арифметическими, геометрическими, низкостепенными, локальными и типологическими свойствами такой контрпример обязан обладать одновременно — и совместимы ли эти свойства вообще?

Именно этот вопрос открывает положительную математическую программу следующих томов.

**********