58. Профинитный скелет и ортогональное пространство: где живёт ответ¶
← 57. Канон вполне-фундированности · Оглавление
Lean:
Engine/GenealogyForest.lean(PeelStep,IsRoot,root_iff_twin,descent_reaches_twin,peelStep_lt),Engine/Residuals.lean(CleanZ,carrier_nonempty_above,sink_is_twin),Engine/Step00GenealogicalOrnament.lean(ActiveSieveSafe,safeHole_implies_twin,no_perpetualEngine,NoSafeHoleAbove,OrnamentEngineBridge),Engine/Step00FlatCycleEngine.lean(no_flatCostFreeCycle),Engine/ParityBarrier.lean(parityBlind_cannot_certify_twin,sound_cert_requires_cofinal_information,exists_clean_nonTwin_block),Engine/RiemannLiouville.lean(liouville_eq_neg_one_pow_rank). Эта глава — обзорная: она не доказывает новых теорем, а помещает уже доказанный каркас на его геометрический носитель и честно называет, где ответа нет и где он живёт.
Вся редукция (01–32) построена на ℕ: двигатель, лес спуска, four-corner, узел
чётности. Эта глава делает один шаг назад и называет геометрический объект, на котором всё это лежит,
— профинитный CRT-фрактал, — а затем честно указывает направление, в котором ответа на ℕ нет и в
каком пространстве он обязан находиться. Новых теорем здесь нет: это точная карта нашего зелёного
ℕ-каркаса в адельно-автоморфную рамку, с sorry, помеченным как вход в ортогональное направление.
1. Числовая прямая как обход профинитного фрактала¶
Начнём с носителя.
Определение 58.1 (профинитное пополнение). \(\widehat{\mathbb{Z}} = \varprojlim_n \mathbb{Z}/n\mathbb{Z}\) — обратный предел колец вычетов. По китайской теореме об остатках он распадается в произведение \(p\)-адических целых:
\[ \widehat{\mathbb{Z}} \;\cong\; \prod_p \mathbb{Z}_p. \tag{58.1} \]Топологически это компактное, вполне несвязное, совершенное кольцо — канторова пыль. Натуральный ряд вложен в него плотно, \(\mathbb{N} \hookrightarrow \widehat{\mathbb{Z}}\).
Наши колёса \(W_k = \prod_{p\le p_k} p\) (22) — это конечные приближения \(\mathbb{Z}/W_k\), а фрактал — их предел. Обход \(0,1,2,\dots\) (порядковый тип \(\omega\)) есть линейный проход по плотной нити внутри канторова фрактала \(\widehat{\mathbb{Z}}\). Наблюдение о самоподобии допустимого скелета из 13 — это ровно самоподобие \(\widehat{\mathbb{Z}}\) по ярусам \(\mathbb{Z}/W_k\).
2. Словарь: наш зелёный каркас — это скелет фрактала¶
Каждый объект нашей ℕ-редукции — это часть дерева вычетов фрактала. Дерево ветвится на каждом простом \(p\) (по остаткам сторон \(6m\pm1\)); делимость обрезает ветвь.
| объект на ℕ | во фрактале | зелёный Lean |
|---|---|---|
| композитный свидетель (простое \(\mid 6m\pm1\)) | убитая ветвь; ранг \(r_\pm(m)\) = глубина обрезки | PeelStep, IsRoot ([Genealogy]) |
| old-peel спуск | ход вверх по обрезанному дереву | peelStep_lt, descent_reaches_twin |
| безопасный лист = близнец | центр, выживший все clock-простые до \(\sqrt{6m+1}\) | ActiveSieveSafe, safeHole_implies_twin |
| листья непусты выше любой высоты | фронт фрактала косфинален | carrier_nonempty_above |
| зазор между близнецами | маршрут по фронту между листьями | анти-твин-слова (51) |
Два факта этого словаря доказаны и несут вес.
Теорема 58.2 (
root_iff_twin). Стоки спуска — это в точности близнецы: центр не имеет исходящего old-peel шага тогда и только тогда, когда обе его стороны просты. Как следствие (descent_reaches_twin), каждый центр за конечное число шагов достигает близнеца \(\le\) себя. 🟢Теорема 58.3 (
carrier_nonempty_above). Для любых \(A, N\) существует чистый центр \(m > N\) (без делителя \(q\le A\) на обеих сторонах) — фронт допустимых листьев косфинален, без плотности и безsorry. 🟢
Итог раздела. Спуск ходит вверх по обрезанному дереву; его корни — близнецы; допустимый фронт есть выше любой высоты. Это доказанный скелет картины.
3. Скелет ренормализуется, занятость — нет¶
Теперь стена чётности (12–16, 32) — на языке фрактала.
Множество допустимых листьев тонкое: каждое clock-простое \(p\ge 5\) запрещает 2 вычета центра (по одному на сторону \(6m\pm1\)), поэтому доля выживших центров на ярусе \(W_k\) есть
то есть допустимые листья — это подмножество меры нуль в \(\widehat{\mathbb{Z}}\) (канторова пыль внутри канторовой пыли), а близнецы — ещё более тонкое его подмножество. Скелет (какие вычеты выживают) периодичен по \(W_k\) и потому ренормализуется самоподобно — но он слеп к чётности числа простых факторов. Занята ли данная допустимая ветвь близнецом — это уже не свойство скелета.
Теорема 58.4 (
parityBlind_cannot_certify_twin). Корректный сертификат близнеца, зависящий лишь от конечного среза фрактала (взгляда яруса \(A\)), существовать не может: чистый-близнец и \(A\)-эквивалентный чистый-не-близнец для такого сертификата неразличимы. Не-вакуумность —exists_clean_nonTwin_block(свидетель \(m=4\), сторона \(25=5^2\)). 🟢Примечание (стена в геометрической форме). Вот стена чётности на этом языке: дерево ренормализуется; занятость — ортогональна дереву. Всё, что мы доказали на ℕ, — это контроль скелета (
carrier_nonempty_above,ActiveSieveSafe, лес спуска); чего не хватает — распределение занятости листьев близнецами, аsound_cert_requires_cofinal_informationговорит, что оно требует кофинальной, не-локальной информации, которой у конечного среза нет.
4. Ортогональное направление и пространство выше размерности¶
Куда смотреть за занятостью? Знак чётности \(\lambda(n) = (-1)^{\Omega(n)}\) имеет ряд Дирихле
то есть \(\lambda\) управляется нулями \(\zeta\) — она живёт не на арифметической стороне, а на
спектральной. Тождество «\(\lambda\) = чётность ранга» у нас зелёное (liouville_eq_neg_one_pow_rank,
32.3); но контроль \(\sum\lambda\) — это LiouvilleBound, открытый вход
31. Пространство, которое работает в этой ортогональности, поднимается по ярусам.
- Адели. \(\widehat{\mathbb{Z}}\) содержит лишь конечные места, у него нет «размера». Простота — это условие конечной глубины \(\sqrt n\), привязанное к реальной величине. Недостаёт архимедова места \(\mathbb{R}\); полный объект — адели \(\mathbb{A}_{\mathbb{Q}} = \mathbb{R}\times\prod_p' \mathbb{Q}_p\), где «размер» и «сравнения» сосуществуют, и их сцепка \(\sqrt n \leftrightarrow\) остатки и есть простота.
- Автоморфный спектр. Пространство, видящее \(\lambda\), — это \(L^2\!\bigl(\mathrm{GL}_n(\mathbb{Q})\backslash\mathrm{GL}_n(\mathbb{A}_{\mathbb{Q}})\bigr)\), чьи собственные значения (нули \(L\)-функций) и есть ортогональный бит. Это «другая сторона» зеркала 30–32: функциональное уравнение \(\zeta(s)\leftrightarrow\zeta(1-s)\) — отражение относительно \(\mathrm{Re}\,s=1/2\), а RH/GRH — утверждение об этом спектре.
- Многообразия над \(\mathbb{F}_p\). Инструменты, реально пробившие чётность, живут именно здесь: этальные когомологии (Вейль/Делинь) дают квадратный корень сокращения в суммах Клоостермана (это RH для кривой), а это питает Кузнецова→Дезуйе–Иванца. Так пробили \(a^2+b^4\) (Фридлендер–Иванец, через \(\mathbb{Z}[i]\)) и \(a^3+2b^3\) (Хит-Браун, через кубическую норму) — каждый раз подъёмом в пространство выше размерности, где мультипликативная информация становится геометрией.
5. Честный итог¶
Утверждение 58.5 (локализация ответа, не доказательство). Пространство, в котором живёт ответ, — спектрально-автоморфное (адели → \(L^2(\mathrm{GL}_n)\) → многообразия над \(\mathbb{F}_p\)), и это то же направление, ортогональное фрактальному скелету, в котором сидит занятость близнецами. Но для конкретной корреляции \(n, n+2\) ни нормальной формы, ни мотива, ни автоморфной формы, чья \(L\)-функция контролировала бы \(\sum_{n}\Lambda(n)\Lambda(n+2)\), не известно; построить такой объект по трудности равносильно самой гипотезе. 🔴
twin_prime_conjecture — это ровно вход в это ортогональное направление. Всё зелёное в репозитории —
проекция на слепой к чётности фрактальный скелет (\(\widehat{\mathbb{Z}}\), ActiveSieveSafe,
carrier_nonempty_above, лес спуска); недостающий бит — занятость, и она лежит ортогонально. Эта глава
локализует ответ, но не достаёт его.
6. Два двигателя Евклида и их сговор¶
Соберём всю дугу в один концепт: у задачи два двигателя.
Обычный двигатель Евклида \(E\) — вполне-фундированный спуск по рангу (no_perpetualEngine,
no_flatCostFreeCycle, 01): бесконечного строго убывающего пути в \(\mathbb{N}\) нет, поэтому спуск
терминируется, а его стоки — близнецы (Теорема 58.2). \(E\) форсирует монотонностью и детерминирует
скелет; он зелёный и слеп к чётности.
Определение 58.6 (ортогональный двигатель Евклида). \(E^{\perp}\) — оператор на области \(R\), парный к \(E\) тремя свойствами. (О1) Он чувствителен к знаку \(\lambda=(-1)^{\Omega}\), ортогональному всем ранговым/сравнительным данным (
sound_cert_requires_cofinal_information). (О2) Он форсирует не монотонностью, а сокращением: запрещает \(\lambda\)-сговор (парити-феномен Сельберга) оценкой корень-из-сокращения. (О3) Вместе с \(E\) он даёт и структуру, и население: \(E\) — лес спуска и его стоки, \(E^{\perp}\) — их косфинальность (близнецов бесконечно).
| \(E\) — обычный | \(E^{\perp}\) — ортогональный | |
|---|---|---|
| форсирует | монотонностью (well-founded \(\mathbb{N}\)) | сокращением (спектр, корень-из) |
| крутит невозможность | вечного двигателя | \(\lambda\)-сговора |
| видит | скелет (ранг, сравнения) | занятость (чётность \(\lambda\)) |
| над \(\mathbb{Z}\) | 🟢 есть (no_perpetualEngine), недостаточен |
🔴 отсутствует (\(=\) sorry) |
| над \(\mathbb{F}_q[t]\) | есть (степень — тот же тип) | есть (производная/Фробениус) \(\to\) близнецы |
Сговор — это мост скелет\(\to\)занятость. В двигательной форме он есть ровно OrnamentEngineBridge:
из отсутствия занятости выше \(M_0\) (NoSafeHoleAbove) строится вечный двигатель, а тот невозможен,
откуда близнец выше \(M_0\):
Если бы мост (58.4) держался, близнецы были бы теоремой. Соблазн — что сговаривает их сам \(E\) (нет занятости \(\Rightarrow\) вечный двигатель \(\Rightarrow \bot\)). Но это неверно, и на то две причины.
Утверждение 58.7 (сговор — работа \(E^{\perp}\), а не \(E\)). Премиса «сговорить реальности может только вечный двигатель» ложна, и опровергает её функциональное поле: над \(\mathbb{F}_q[t]\) две реальности сговорены — но не вечным двигателем, а \(E^{\perp}\) = производной \(d/dt\) и Фробениусом (тождество \(f=r+s^p\), \((s^p)'=0\) делает \(\mu\) квадратичным характером; RH Делиня даёт сокращение \(q^{i/2}\)). Это теорема Сойина–Шустермана (Annals of Mathematics, 2022): точная асимптотика Харди–Литтлвуда для близнецов над \(\mathbb{F}_q[t]\). Над \(\mathbb{Z}\) этого \(E^{\perp}\) нет.
Над \(\mathbb{Z}\) же сам \(E\) дыре ортогонален: объект, который он форсировал бы, — осцилляция знака
\(\lambda\) (сумма \(L(x)\) пересекает \(0\), Хазелгроув), а no_flatCostFreeCycle запрещает лишь
монотонный цикл, не осцилляцию. Поэтому единственная теорема сговора над \(\mathbb{Z}\) — обратная
ожидаемой.
Теорема 58.8 (no-go: скелет сам себя не сговорит). Корректный сертификат близнеца, зависящий лишь от конечного среза (ранг / колесо / спуск), не существует (
parityBlind_cannot_certify_twin, Теорема 58.4). То есть \(E\) доказуемо ортогонален занятости, и мост (58.4) скелетом недоказуем: доказать его — значит доказать близнецов. 🟢
Итог раздела. Над \(\mathbb{F}_q[t]\) сговор состоялся — его совершил \(E^{\perp}\) (Вейль/Делинь +
Сойин–Шустерман), и это настоящая теорема того мира. Над \(\mathbb{Z}\) \(E\) ортогонален дыре, \(E^{\perp}\)
отсутствует (нет производной), и доказана лишь no-go: скелет сам себя не сговорит. Positive-мост
(58.4) над \(\mathbb{Z}\) — это twin_prime_conjecture \(=\) sorry, стоящий ровно на месте
отсутствующего \(E^{\perp}\).
Эпилог¶
Дуга замыкается геометрически. Мы начали (01–11) с двигателя Евклида и его
законов; свели близнецов к блочному ядру и узлу чётности (12–32);
подтвердили стену в числах (51); и здесь назвали носитель всей картины —
профинитный фрактал \(\widehat{\mathbb{Z}}\) — и пространство, ортогональное ему, где ответ обязан жить.
Честный итог тот же, что вёл весь путь: скелет ренормализуется, занятость — ортогональна; каркас
на ℕ доказан, а sorry стоит ровно на границе входа в спектральное пространство. Не выведено и не
выдано за выведенное.