Говоря о «смелости» и «вере», я веду речь о качествах «нетехнической» природы, мне здесь представляющихся весьма существенными. Могу добавить к их перечню, из другой области, то, что я бы назвал «когомологическим чутьем», то есть интуицией особого рода, выработавшейся во мне при построении когомологических теорий. Я думал передать ее своим ученикам, занимающимся когомологиями. В перспективе шестнадцати лет, считая от моего ухода с математической сцены, констатирую, что ни в одном из них она не сохранилась.
16. Мотивы, или ядро в ядре
16. Идея топоса произошла от идеи схем, и в самый год появления схем, но по значимости далеко превзошла родительницу. Именно тема топоса, и никакая другая, стала «брачным ложем» геометрии и алгебре, топологии и арифметике, математической логике и теории категорий, миру непрерывного и государству структур «разрывных», или «дискретных» (полноводная река — она же…). Если теория схем — сердце новой геометрии, тема топоса — ее телесная оболочка, или жилище. Это то, что я задумал как самое обширное, чтобы уловить с изысканной точностью и передать языком, богатым геометрическими созвучиями, общую «суть» самых несхожих друг с другом ситуаций, из тех, что то и дело складываются в различных областях просторной математической вселенной.
Тема топоса, однако, слишком далека от того, чтобы познать успех, выпавший на долю схем. Я несколько раз при случае поговорю об этом на страницах «РС»; здесь же не место задерживаться на нелепых превратностях судьбы, поразивших это понятие. Две главные темы новой геометрии вышли все же из темы топоса, две дополняющие друг друга «когомологические теории», задуманные с целью обеспечить подход к гипотезам Вейля: тема эталъная (или l-адическая) и тема кристаллов. Первая из них оформилась в моих руках в /-адический когомологический инструмент; похоже, что сейчас это один из мощнейших математических инструментов столетия. Что же до темы кристаллов, чье существование свелось после моего ухода почти к оккультному, она под конец была эксгумирована под светом рампы и под видом заимствования, при обстоятельствах еще более странных, чем те, что сложились вокруг топоса.
/-адический когомологический инструмент стал, как я и предвидел, основным инструментом доказательства гипотез Вейля. Я сам доказал немалую их часть, и последний шаг был довершен мастерски, три года спустя после моего ухода, Пьером Делинем, самым блестящим из моих учеников-«когомологистов».
Я, впрочем, сформулировал к 1968 г. более сильную и, главное, более геометрическую версию гипотез Вейля. Они оставались «подпорченными» (если можно так выразиться!) необоримым арифметическим привкусом, хотя, конечно, самый дух этих гипотез в том, чтобы выразить и уловить «арифметическое» (или «дискретное») через посредство «геометрического» (или «непрерывного»)