В последующие дни, ожидая прибытия Ли Цинь и старого Яна в Столицу, Ли Дун вовсе не сидел сложа руки.
Между статистическими свойствами парной корреляции нулей и локальной структурой автоморфных функций существует необходимое соответствие.
В прошлый раз он упомянул Римана в групповом чате, надеясь подробнее обсудить проблему структуры сцепления весов Ходжа-Тейта при индексе ветвления высокого уровня. Наконец Риман полностью его проигнорировал.
Но саму проблему Ли Дун всегда находил очень интересной.
«Парная взаимосвязь нулей... индекс ветвления... ГЛ(н)...»
Ли Дун сидел за столом в своей комнате в общежитии и бормотал себе под нос.
Его логический атрибут уровня 0.4 позволял ему легко выводить следующий шаг.
К тому же, он мог выстраивать в уме сразу несколько цепочек рассуждений, продвигая их шаг за шагом, словно в партии в шахматы.
Однако на этот раз он столкнулся с довольно интересной маленькой задачей.
Направление «эквивалентности», о котором упоминал Риман, было совсем очевидным.
Оно заключалось в том, чтобы использовать поведение сходимости функции парной корреляции F_π(α) нулей автоморфной L-функции в определенном интервале для обратного проектирования локальных свойств автоморфного представления.
Что делало эту идею увлекательной, так это то, что она полностью обходила традиционные, чисто алгебраические методы.
Не требовалось методом грубой силы пробивать эти доводящие до головной боли структуры сцепления Ходжа-Тейта. Пока удавалось проверить, что статистические свойства нулей удовлетворяют конкретным условиям, можно было напрямую определить, выполняется ли локально-глобальная совместимость.
От алгебры к анализу, от грубых расчетов к статистике — на методологическом уровне это была атака из высшего измерения.
Но проблема заключалась в следующем...
Что именно было это «конкретное условие»?
«Если индекс ветвления e_v не превышает n, то каким должен быть интервал сходимости для F_π(α)?»
Ли Дун набросал формулу на черновике, а затем зачеркнул ее.
«Неверно... Связь между длиной интервала и n не должна быть линейной. Тут пропорция обратная...»
Он написал другую строку и просмотрел на нее полминуты.
«|α|∈[0, 2/n]?»
Эта мысль внезапно всплыла у него в голове, но у него еще не было достаточных оснований для ее подтверждения.
«Так близко... еще совсем чуть-чуть...»
Ли Дун чувствовал, что держится за дверную ручку, но никак не может ее повернуть.
Ему не хватало опорной точки.
Особого, уже доказанного частного случая, который можно было бы использовать для сравнения и проверки.
Будь у него известный результат для n=2 и e_v≤2, он мог бы использовать его для обратного хода и вывода соответствия интервалов для общего случая.
Математическое выражение формулы: «n=2... e_v≤2...»
Ли Дун внезапно кое о чем вспомнил...
Разве это не статья Цзя Юйбая и Чжоу Шэньчжи в Дюкском математическом журнале озаглавленная «О локально-глобальной совместимости автоморфных представлений GL2 для индексов ветвления, не превышающих 2»?
Какими бы бессовестными ни были указанные авторы, сам вывод был верным.
При этой мысли Ли Дун немедленно зашел в университетскую базу этих журналов и нашел полный текст статьи из Дюка.
ПДФ-файл загрузился быстро.
Ли Дун пропустил информацию об авторах и начал читать со второй главы основного текста.
«Этот шаг...»
Он уставился на ключевое уравнение в нижней части семнадцатой страницы, перечитывая его трижды.
Это уравнение было жизненной силой всей работы.
Его назначение заключалось в том, чтобы...
...в случае e_v=2 спроецировать изначально неустранимое универсальное препятствие в конкретное подпространство с помощью тщательно построенного интегрального пути. Затем оно использовало структуру первого порядка разложения Ходжа-Тейта для прямого устранения этого препятствия.
Однако промежуточные этапы этого вывода были опущены в статье.
Там просто использовалась фраза «как известно из стандартной p-адической теории Ходжа», после чего автор сразу переходил к выводу.
«Как известно из стандартной p-адической теории Ходжа?»
Уголок рта Ли Дуна дернулся.
Эта фраза казалась ему все более знакомой.
Он часто поступал точно так же, когда писал собственные статьи, опуская шаги, которые считал «очевидными», потому что ему было лень их расписывать.
Но между ними была разница.
Ли Дун опускал шаги, потому что искренне верил, что они не стоят того, чтобы их записывать.
Что же касается авторов этой статьи, пропустивших этот шаг...
«Дело в том, что сам автор статьи не до конца во всем разобрался, верно?»
Таково было внутреннее чутье Ли Дуна.
Он покачал головой и принялся выводить все самостоятельно.
Все его атрибуты на уровне 0.4 включились одновременно.
Примерно через пятнадцать минут...
Ручка в руке Ли Дуна остановилась.
Он уставился на строчки выкладок на своем черновике.
— Черт побери...
Он наконец все понял.
Причина, по которой схема деформации p-адического интегрального пути работала при e_v=2, крылась вовсе не в построении самого пути. Главное заключалось в том, что во время деформации пути компонент первого порядка веса Ходжа-Тейта оказывался идеально ортогонален направлению проекции универсального препятствия.
Эта ортогональность не была совпадением; ее заложили намеренно.
Метод построения состоял в том, чтобы заранее встроить структуру фильтрации разложения Ходжа-Тейта в параметрические уравнения пути при выборе начальных параметров для интегрального пути.
Так, когда путь деформировался в p-адическом пространстве, универсальное препятствие автоматически вытеснялось на нулевой стратум фильтрации, где затем точно устранялось весом Ходжа-Тейта первого порядка.
— Старый Ян... он поистине невероятен.
Тихо сказал Ли Дун, переполненный восхищением.
Гениальность этого построения заключалась вовсе не в сложности математических операций.
На самом деле, как только логика становилась понятна, сами расчеты оказывались не такими уж сложными.
Его прелесть крылась в перспективе.
«Интуиция для подобного рода обратной инженерии... обычному человеку такое никогда не придет в голову».
Ли Дун мысленно прикинул в уме.
Базовые атрибуты старого Яна — по крайней мере его логика — должны были равняться 0.1 или выше.
Достигло ли это значение 0.2, он сказать не мог.
И что вообще означал уровень 0.1?
Это значило, что в мире, где концентрация, логика и память обычного человека равны нулю, наличие хотя бы одного из этих атрибутов на отметке 0.1 уже делало человека суперчеловеком в этом измерении.
Что еще важнее, старый Ян придумал эту схему, будучи всего лишь магистрантом.
Если бы Цзя Юйбай не лишил его больше десятка лет академической карьеры, к текущему моменту он как минимум был бы полноправным профессором Столичного университета. Возможно, он уже давным-давно закрепился на переднем крае Программы Ленглендса.
«Когда ты приедешь в Столицу, мы вместе доведем этот путь до конца».
Подумал Ли Дун.
Затем он вернул свое внимание к выкладкам.
Теперь, когда он понял глубинную логику деформации пути для e_v=2, он мог использовать обратный ход, чтобы вывести ключевую информацию.
А именно — почему эта схема давала сбой при e_v≥3.
Причина была проста.
Когда индекс ветвления возрастал до 3, веса Ходжа-Тейта второго порядка привносили дополнительные члены связи, разрушая изначальную точную ортогональность.
Универсальное препятствие больше не оставалось на нулевом стратуме фильтрации. Оно начинало дрейфовать.
И с этим дрейфом чисто алгебраические методы справиться не могли.
«Значит...»
Уголки губ Ли Дуна медленно поползли вверх.
«Значит, мне нужно обойти алгебру и подойти к этому с аналитической стороны».
«Если удастся доказать, что сходимость F_π(α) к предсказанному ансамблем эрмитовых матриц значению в интервале |α|∈[0, 2/n] эквивалентна тому, что π удовлетворяет локально-глобальной совместимости...»
«...тогда мне вообще не придется беспокоиться ни о каких структурах сцепления Ходжа-Тейта. Не понадобится грубой силой искать решение проблемы дрейфа».
«Статистические свойства нулей дадут мне ответ напрямую».
Он взял ручку и написал на черновике строчку текста.
[Теорема (Критерий нулей): π удовлетворяет локально-глобальной совместимости ⟺ F_π(α) сходится к предсказанному ансамблем эрмитовых матриц значению в |α|∈[0, 2/n]]
Записав это, Ли Дун долго смотрел на строку текста.
Полного доказательства у него еще не было. Даже каркас доказательства находился лишь в зачаточном состоянии.
Но интуиция подсказывала ему, что это верное направление.
А эту интуицию подарил ему Риман.

Комментарии

Загрузка...