. В этом смысле вариант гипотез, предложенный мной, представляется мне более «верным» философии Вейля, чем его собственный вариант — философии, никогда не записанной на бумаге и редко проступавшей в речи, и ставшей, быть может, главной (невысказанной) мотивацией к необычайному расцвету новой геометрии в течение четырех истекших десятилетий
>{53}. Моя переформулировка состоит, по сути, в извлечении «квинтэссенции» того, что остается применимым в рамках алгебраических многообразий, называемых «абстрактными», классической теории Ходжа, имеющей дело с «обыкновенными» алгебраическими многообразиями
>{54}. Я назвал «стандартными гипотезами» (для алгебраических циклов) эту новую, совершенно геометрическую, версию знаменитых гипотез.
По моему ощущению, это был новый шаг, после развития когомологического /-адического инструмента, по направлению к этим гипотезам. Но в то же время и прежде всего, это был один из возможных принципов подхода к тому, что мне также представляется глубочайшей из тем, введенных мной в математику[3]>{55}: к теме мотивов (порожденной «когомологической /-адической темой»). Эта тема — как сердце, или душа, самая затаенная, лучше всего скрытая от взгляда часть теории схем, которая сама по себе — ядро нового видения. И сколько ни есть ключевых явлений в стандартных гипотезах>{56}, они могут рассматриваться как составляющие нечто вроде последней квинтэссенции темы мотивов, как вдохновение, жизненно важное для самой хрупкой и изощренной из всех тем, «ядра в ядре» новой геометрии.
Вот, в общих чертах, суть вопроса. Мы уже видели, как важно (в особенности с точки зрения гипотез Вейля) для простого числа р уметь построить «когомологические теории» для «многообразий (алгебраических) в характеристике р». Знаменитый «когомологический /-адический инструмент» предоставляет именно такую теорию, и даже бесконечное множество различных когомологических теорий, каждая из которых соответствует какому-нибудь простому числу /, отличному от характеристики р. Очевидно, здесь есть «недостающая теория», соответствующая случаю равенства между / и р. Чтобы с этим справиться, я нарочно выдумал другую когомологическую теорию (которая уже недавно упоминалась), называемую «теорией кристальных когомологии». Впрочем, для важного случая бесконечного р имеются в распоряжении еще три когомологические теории>{57} — и никакой гарантии, что не придется рано или поздно ввести новые когомологические теории с совершенно аналогичными формальными свойствами. В противовес тому, что творится в обычной топологии, здесь мы поставлены перед фактом ошеломляющего изобилия различных когомологических теорий. Обрисовывается вполне отчетливое ощущение (сначала оно было довольно туманным), что все теории стремятся «свестись к одной», что они «дают одни и те же результаты»