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