УРОЖАИ И ПОСЕВЫ - Гротендик Александр (читать книги полностью без сокращений бесплатно TXT) 📗
«геометрического» (или «непрерывного») . В этом смысле вариант гипотез, предложенный мной, представляется мне более «верным» философии Вейля, чем его собственный вариант - философии, никогда не записанной на бумаге и редко проступавшей в речи, и ставшей, быть может, главной (невысказанной) мотивацией к необычайному расцвету новой геометрии в течение четырех истекших десятилетий . Моя переформулировка состоит, по сути, в извлечении «квинтэссенции» того, что остается применимым в рамках алгебраических многообразий, называемых «абстрактными», классической теории Ходжа, имеющей дело с «обыкновенными» алгебраическими многообразиями . Я назвал «стандартными гипотезами» (для алгебраических циклов) эту новую, совершенно геометрическую, версию знаменитых гипотез.
По моему ощущению, это был новый шаг, после развития когомологического /-адического инструмента, по направлению к этим гипотезам. Но в то же время и прежде всего, это был один из возможных принципов подхода к тому, что мне также представляется глубочайшей из тем, введенных мной в математику : к теме мотивов (порожденной «когомологической /-адической темой»). Эта тема - как сердце, или душа, самая затаенная, лучше всего скрытая от взгляда часть теории схем, которая сама по себе - ядро нового видения. И сколько ни есть ключевых явлений в стандартных гипотезах , они могут рас-
Прогулка по творческому пути, или дитя и Мать
сматриваться как составляющие нечто вроде последней квинтэссенции темы мотивов, как вдохновение, жизненно важное для самой хрупкой и изощренной из всех тем, «ядра в ядре» новой геометрии.
Вот, в общих чертах, суть вопроса. Мы уже видели, как важно (в особенности с точки зрения гипотез Вейля) для простого числа р уметь построить «когомологические теории» для «многообразий (алгебраических) в характеристике р». Знаменитый «когомологический /-адический инструмент» предоставляет именно такую теорию, и даже бесконечное множество различных когомологических теорий, каждая из которых соответствует какому-нибудь простому числу /, отличному от характеристики р. Очевидно, здесь есть «недостающая теория», соответствующая случаю равенства между / и р. Чтобы с этим справиться, я нарочно выдумал другую когомологическую теорию (которая уже недавно упоминалась), называемую «теорией кристальных когомологии». Впрочем, для важного случая бесконечного р имеются в распоряжении еще три когомологические теории - и никакой гарантии, что не придется рано или поздно ввести новые когомологические теории с совершенно аналогичными формальными свойствами. В противовес тому, что творится в обычной топологии, здесь мы поставлены перед фактом ошеломляющего изобилия различных когомологических теорий. Обрисовывается вполне отчетливое ощущение (сначала оно было довольно туманным), что все теории стремятся «свестись к одной», что они «дают одни и те же результаты» . Именно затем, чтобы выразить это ин-
В свое время будет приведена формулировка этих гипотез. Для более подробных комментариев см. «Обзор построек» (PC IV, примечание п° 178, стр. 1215-1216) и сноска на стр. 769 в разделе «Убеждение и знание» (PC III, примечание п° 162).
туитивное ощущение «родства» между различными когомологическими теориями, я вывел на свет понятие мотива, отвечающего алгебраическому многообразию. Этим термином я хотел навести на мысль, что речь идет об «общем мотиве» (или «общей причине»), скрытом в глубине огромного множества различных априори возможных когомологических инвариантов. Эти различные когомологические теории стали бы, как тематические разработки, каждая в «темпе», «ключе» и «ладу» («мажорном» или «минорном»), какие ей подобают - одного и того же «основного мотива» (называемого «мотивной когомологической теорией»), который в то же время является наиболее фундаментальным, или самым «утонченным» из всех этих различных «воплощений» темы (то есть из всех возможных когомологических теорий). Так, мотив, соответствующий алгебраическому многообразию, образовывал бы «окончательный», «в полном смысле этого слова», когомологический инвариант, из которого все прочие (соответствующие всевозможным когомологическим теориям) выводились бы, как «воплощения» музыкальной темы, ее различные «реализации». Все важнейшие свойства когомологии многообразия проявлялись бы (или «слышались бы») уже в соответствующем мотиве, как если бы знакомые свойства и структуры на отдельных когомологических инвариантах (/-адических или кристальных, например), стали бы попросту точными отражениями свойств и структур, заключенных в мотиве .
гладкая проективная поверхность при г = 2. В действительности, насколько мне известно, никто после моего ухода не соизволил поинтересоваться этим важнейшим вопросом, типичным из тех, что вытекают из стандартных гипотез. Согласно велению моды, единственный эндоморфизм, достойный внимания - это эндоморфизм Фробениуса (с которым, отчасти, сумел разделаться Делинь, подручными средствами …).
Прогулка по творческому пути, или дитя и Мать
Вот, выраженная языком не математической техники, но музыкальной метафоры, квинтэссенция еще одной идеи младенческой простоты, тонкой и смелой одновременно. Я развивал эту идею в рамках основных задач, которые считал наиболее неотложными, под заголовком «теория мотивов», или «философия (йога) мотивов», во все время с 1963 по 1969 гг. Эта теория, с ее завораживающим структурным богатством, во многом остается еще на стадии предположений .
Я несколько раз говорю на страницах «РС» о «йоге мотивов» - о том, что представляется мне особенно важным. Здесь излишне рассуждать о том, о чем уже сказано в другом месте. Достаточно указать, что сами «стандартные гипотезы» берут начало в мире йоги мотивов, вытекая из нее естественным образом. В то же время они предоставляют принцип подхода к одной из возможных конструкций понятия мотива.
Эти гипотезы мне казались, кажутся и сейчас, одним из двух наиболее основополагающих вопросов алгебраической геометрии. Ни они,
Это дает представление о том, до какой степени «мотивные когомологии» суть более тонкий инвариант, окруженный «арифметической формой» (если возможно отважиться на такое выражение) многообразия X куда плотнее, чем традиционные инварианты, чисто топологические. В моем восприятии мотивов они представляются, как что-то вроде «пуповины», незаметной, скрытой от взгляда, который связывает алгебро-геометрические свойства алгебраического многообразия со свойствами «арифметической» природы, воплощенными в его мотиве. Последний может рассматриваться, как объект, по духу «геометрический», но в котором «арифметические» свойства, определяемые геометрией, оказываются, так сказать, «обнаженными» и выставленными напоказ.
Итак, мотив представляется как глубочайший «инвариант формы» из тех, что вплоть до настоящего момента удавалось связать с алгебраическим многообразием, помимо его «мотивной фундаментальной группы». И тот и другой инварианты предстают передо мной, как «тени», проявления «мотивного гомотопического типа», которые остается описать (и о которых я скажу несколько слов в примечании «Обзор построек, или инструменты и видение» (PC IV, п° 178, см. постройка 5 (Мотивы), и в особенности стр. 1214)). Именно этот последний объект, мне кажется, должен стать наиболее совершенным воплощением ускользающего интуитивного представления об «арифметической (или мотивной) форме» произвольного алгебраического многообразия.
ни другая, также важнейшая, проблема (так называемая «проблема разрешения особенностей») не разрешены до сих пор. Но в то время как вторая из них высится, сегодня, как и сто лет назад, громадой великолепной и грозной, те, что я имел честь поставить, неоспоримым приговором моды отнесены (в годы, последовавшие за моим уходом с математической сцены, и в точности как собственно тема мотивов ) к разряду прелестной гротендической чепухи. Но я снова забегаю вперед…
