Эдуард Сероусов – Они —абстракции (страница 1)
Эдуард Сероусов
Они —абстракции
Часть 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 использовал ленивую индексацию.