Часть I: Аксиомы

Глава 1. Шаг 347

Ошибка нашлась в три часа ночи.

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

Кабинет на четвёртом этаже математического факультета Карнеги-Меллон был погружён в ту особенную тишину, которая наступает только после полуночи, когда уходят даже самые упорные аспиранты. Флуоресцентные лампы в коридоре гудели – этот низкий, почти инфразвуковой тон, который днём тонул в разговорах и шагах, а ночью становился единственным голосом здания. Три монитора перед Линой отбрасывали голубоватый свет на доску за её спиной, покрытую символами, которые для непосвящённого выглядели как попытка вывести универсальную формулу безумия. Лина знала каждый из них. Большинство она написала сама. Некоторые – нет.

Она вернулась к экрану.

Доказательство состояло из четырёхсот двенадцати шагов – каждый выверенный, каждый необходимый, каждый вытекающий из предыдущего с той неизбежностью, которая отличает настоящую математику от кустарной подгонки. Лина работала с когомологическими инвариантами в контексте гомотопической теории типов – область, в которой даже специалисты по алгебраической топологии чувствовали себя неуверенно. Она конструировала новый спектральный функтор, связывающий когомологии Хохшильда с определёнными гомотопическими типами, и если доказательство было верным – а оно было верным, она проверяла трижды, – то результат открывал неожиданную связь между алгебраической K-теорией и стабильной гомотопией, связь, которую никто не предполагал.

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

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

Шаг 347 не был её.

Лина прокрутила текст обратно, потом вперёд. Номера шагов в доказательстве не были фиксированными – она вставляла и удаляла промежуточные леммы по мере работы, и нумерация обновлялась автоматически. Номер «347» мог означать что угодно. Но содержание шага не означало ничего, кроме одного: она этого не писала.

Шаг 347 вводил вспомогательную конструкцию – определённый тип расслоения над классифицирующим пространством, – которая позволяла свести переход между шагами 346 и 348 к элегантному приложению теоремы Атьи-Зингера. Без шага 347 переход работал, но был громоздким: Лина планировала использовать прямое вычисление через спектральную последовательность Серра, что заняло бы около двадцати промежуточных лемм. Шаг 347 делал это в один ход. Как если бы кто-то увидел, как она идёт в обход горы, и пробил туннель.

Она прочитала его ещё раз. Медленно, строку за строкой, проверяя каждое утверждение. Безупречно. Логически – ни единого зазора. Более того: красиво. Тем типом математической красоты, который невозможно подделать и трудно объяснить не-математику – красотой неожиданной неизбежности, когда конструкция, которая секунду назад казалась произвольной, вдруг оказывается единственно возможной.

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

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

Она проверила историю файла.

Это было первое, что должен сделать любой человек, обнаруживший в своём документе текст, который не писал. Программа фиксировала каждое изменение – каждое нажатие клавиши, каждую вставку, каждое удаление, – с точностью до миллисекунды, с привязкой к пользовательской учётной записи. Лина открыла историю и нашла запись, соответствующую шагу 347.

Автор: lko@cmu.edu. Время: вторник, 22:47:03. Устройство: рабочая станция, кабинет 4.17.

Это была она. Или, точнее, – это была её учётная запись, её машина, её кабинет. Вторник, около одиннадцати вечера. Лина восстановила в памяти тот вечер. Она работала. Она точно работала – перед ней был открыт файл доказательства, она заполняла шаги в третьей части, в районе шагов 340-360, добивая переход от локальных когомологий к глобальным. Она помнила шаг 346, помнила удовлетворение от того, как лемма из первой статьи встала на место. Помнила, как потянулась за чаем, помнила, что чай остыл.

Она не помнила, как писала шаг 347.

Это ничего не значило. Лина часто писала в состоянии, которое она называла «туннелем» – полной погружённости, когда руки набирали символы быстрее, чем сознание их обрабатывало. Математики, в отличие от литераторов, не помнят каждую написанную строку. Процесс создания доказательства больше похож на рисование по памяти: ты знаешь, что нарисовал лицо, но не помнишь, каким движением провёл линию скулы. Шаг 347 мог быть таким – интуитивным скачком, который сознание зафиксировало, но не запомнило.

Мог быть.

Лина выпрямилась, свела лопатки, почувствовала, как хрустнул позвонок между плечами. Она вернулась к шагу 347 и начала читать его по-другому – не как математику, а как текст. Не что написано, а как.

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

Лина относилась к первому типу. Она строила снизу вверх, тщательно, кирпич за кирпичом. Её коллега Тимоти Чжан однажды сказал, что читать доказательства Лины – «как подниматься по лестнице в темноте: каждая ступенька ровная, но ты никогда не знаешь, сколько их осталось».

Шаг 347 был написан иначе.

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

Дэвид Рен строил доказательства сверху вниз.

Пальцы Лины замерли над клавиатурой. Она поймала себя на том, что задержала дыхание, и медленно выдохнула. Нет. Это было глупо. Рен пропал шесть лет назад – исчез во время конференции в Женеве, не оставив записки, не попрощавшись, не ответив ни на одно из шестнадцати писем, которые Лина отправила на его университетский адрес в течение следующих трёх месяцев. Тело не нашли. Полиция закрыла дело через год. Лина закрыла свою дверь и продолжила работать, потому что это было единственное, что она умела делать, когда мир переставал быть понятным.

Рен не мог написать шаг 347. Рен не мог написать ничего. Рен был мёртв, или пропал, или где-то жил под чужим именем – последняя версия, которую Лина перестала рассматривать на третий год, потому что человек, неспособный не опубликовать результат, неспособен прятаться.

Она перечитала шаг ещё раз. Обозначения. Рен использовал специфическую нотацию для функторов – курсивную готику вместо стандартной прямой, привычка, которую он привёз из Кембриджа и которая раздражала всех его соавторов. Шаг 347 использовал стандартную прямую. Это не Рен. Порядок лемм. Рен ставил техническую лемму перед основной конструкцией; шаг 347 встраивал техническую лемму внутрь основного аргумента, как отступление в скобках. Это не Рен. Индексация. Рен был «ленив» с индексами – использовал i, j, k даже там, где стандартная практика требовала более специфических обозначений, потому что «математика – не бухгалтерия, и если ты не понимаешь, какой индекс что обозначает, ты не понимаешь доказательство». Шаг 347 использовал ленивую индексацию.

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

Она встала, подошла к окну. Парковка внизу блестела в свете фонарей. Морось превратилась в дождь – мелкий, упорный, безнадёжный. На парковке стояла единственная машина – её Subaru, купленная подержанной в первый год преподавания и с тех пор не мытая ни разу (Лина предпочитала считать, что грязь защищает лакокрасочное покрытие – это было неверно, но удобно). Она прижалась лбом к стеклу. Стекло было холодным и слегка вибрировало от дождя.

Шесть лет.

Последний раз она видела Рена в Женеве, за день до его исчезновения. Конференция по алгебраической K-теории, гостиница при университете, длинный коридор с ковром цвета засохшей крови. Рен стоял у окна в холле, с бумажным стаканчиком кофе – чёрного, без сахара, без молока, потому что «молоко – это компромисс, а компромиссы отвлекают». Рен был высоким и слегка сутулым – не так, как сутулилась Лина, от многолетнего сидения за монитором, а по-другому, будто его тело было слишком длинным для мира и ему приходилось складываться, чтобы поместиться.

– Я тут подумал, – сказал он вместо приветствия. Он всегда начинал так – без «здравствуй», без «как дела», сразу с мысли, которая не давала ему покоя. – У нас проблема с гипотезой Блоха-Като.

– У нас нет проблемы с гипотезой Блоха-Като, – ответила Лина. – Она доказана.

– Она доказана, но мы не понимаем почему. Это хуже, чем если бы она не была доказана.

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

– Послушай, – сказал он, понизив голос, хотя в коридоре никого не было. – Я хочу тебе кое-что рассказать, но ты решишь, что я спятил.

– Я уже так решила. На первом курсе, когда ты пришёл на лекцию в одном ботинке.

– Это был осознанный выбор. Второй натирал.

– Дэвид.

Он посмотрел на неё – тем странным взглядом, который она потом вспоминала много раз, пытаясь понять, что он означал. Не тревога, не возбуждение – что-то среднее, как у человека, который стоит на краю и знает, что внизу не пропасть, но не может объяснить, откуда эта уверенность.

– Доказательства существуют до того, как их находят, – сказал он. – Ты ведь это понимаешь? Не в метафорическом смысле. Буквально. Теорема Пифагора существовала до Пифагора. Число пи не было изобретено – оно было обнаружено. Мы, математики, – археологи. Мы раскапываем то, что уже есть.

– Это математический платонизм, Дэвид. Ему двадцать четыре века. Я знакома с концепцией.

– Ты знакома с концепцией. – Он улыбнулся – широко, с той почти мальчишеской радостью, которая делала его лицо на двадцать лет моложе. – Но ты не думала о следствиях. Если математические структуры существуют независимо от нас, то достаточно сложная структура…

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

– Достаточно сложная структура – что? – спросила Лина.

– Продолжай, – сказал он. – Даже если неправильно – продолжай.

Это была его любимая фраза. Он говорил её после каждого семинара, после каждого обсуждения, после каждого провала. «Продолжай. Даже если неправильно – продолжай.» Лина ненавидела эту фразу, потому что она была бессмысленно оптимистичной, и любила, потому что Рен произносил её с абсолютной серьёзностью, как будто это была аксиома, а не пожелание.

На следующий день он исчез.

Лина отлепилась от окна. На стекле осталось матовое пятно от её дыхания – оно продержалось секунду, потом растаяло. Она вернулась к компьютеру.

Шаг 347 светился на экране, безупречный и чужой.

Она попробовала подойти к проблеме систематически. Вариант первый: она написала этот шаг сама, в состоянии «туннеля», и не помнит. Вероятность – высокая. Она не спала нормально уже три недели. Мозг в состоянии хронического недосыпа способен на многое: автоматическое письмо, гипнагогические галлюцинации, ложные воспоминания. Нейробиология была неумолима: лишение сна ослабляет функцию префронтальной коры, отвечающей за контроль и мониторинг собственных действий, одновременно повышая активность в областях, связанных с распознаванием паттернов. Она могла написать шаг 347 и тут же забыть – не потому что шаг был чужим, а потому что мозг не зафиксировал переход от мысли к тексту.

Вариант второй: программный сбой. Автозаполнение, некорректная синхронизация с облачным хранилищем, – маловероятно, но Лина видела достаточно странных глюков в университетских системах, чтобы не исключать ничего. Она проверила логи сервера. Никаких аномалий: единственная сессия, единственное устройство, непрерывная запись. Шаг 347 появился между шагами 346 и 348, записанный в рамках одного непрерывного потока правок, без пауз, без переключений.

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

Оставался вариант четвёртый, который Лина не стала формулировать даже мысленно, потому что он был абсурдным. Мёртвые люди не пишут доказательств. Пропавшие люди не имеют доступа к серверам Карнеги-Меллон. Призраков не существует – ни в физическом мире, ни в мире математики.

Она закрыла историю файла и вернулась к самому шагу.

Дело было вот в чём: шаг 347 не просто работал. Он работал лучше, чем всё, что написала Лина. Её собственный план – двадцать промежуточных лемм через спектральную последовательность Серра – был корректным, надёжным и скучным. Шаг 347 достигал того же результата с красотой, от которой перехватывало дыхание. Вспомогательное расслоение, введённое в шаге, создавало геометрическую картину, превращавшую сухое вычисление в ландшафт – и в этом ландшафте ответ был виден, как вершина горы видна с перевала.

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

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

Она выделила шаг 347. Курсор мигал. Одно нажатие – и шаг исчезнет, заменённый её собственными двадцатью леммами, надёжными и посредственными. Доказательство останется верным. Оно будет опубликовано, рецензировано, принято. Её имя встанет на обложку, и никто никогда не узнает, что в какой-то момент посередине стоял шаг, который не был её.

Палец завис над клавишей Delete.

Она не нажала.

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

В математике нет сентиментальности. Есть верно и неверно, есть красиво и уродливо, есть необходимо и избыточно. Шаг 347 был верным, красивым и необходимым. Удалить его ради того, чтобы не думать о том, откуда он взялся, – это было бы не научной осторожностью, а трусостью. Лина не любила трусость – ни в себе, ни в других.