49

49(Предназначено для математика.) По правде говоря, здесь речь идет о пучках множеств, а не о пучках абелевых групп, введенных Лерэ как самые общие коэффициенты «теории когомологии». Думаю, что я первым начал систематически работать с пучками множеств (начиная с 1955 г., в моей статье «Общая теория расслоенных пространств со структурным пучком», изданной в Канзасском Университете).

50

50(Предназначено для математика.) Строго говоря, это справедливо лишь для пространств, называемых «трезвыми». Они, однако же, составляют почти все типы пространств, с какими обыкновенно сталкиваешься - в частности, таковы все «отделимые» пространства, излюбленные аналитиками.

51

51«Зеркало», о котором речь, таково, что если поместить перед ним пространство, оно даст (как в «Алисе в стране чудес») в качестве «отражения» соответствующую

52

52 (Предназначено для математика.) Здесь речь идет прежде всего о свойствах, которые я ввел в теорию категорий под названием «свойства точности» (одновременно с современным категорным понятием общих индуктивных и проективных «пределов»). См. русский перевод «О некоторых вопросах гомологической алгебры», Библиотека сборника «Математика«, Москва, 1961.

53

53Так, можно построить топос весьма «объемный», в котором будет только одна «точка» - или вовсе ни одной!

54

54 Название «топос» было выбрано (в связи с понятием «топология» или «топологический»), чтобы наводить на мысль о том, что речь идет об объекте, в полном смысле слова относящемся к области топологической интуиции. По обилию мысленных образов, которые слово «топос» вызывает, его можно рассматривать как более или менее эквивалент термину «пространство» (топологическое), просто сильнее подчеркивая «топологическую» специфику понятия. (Так, есть «векторные пространства», но не «векторные топосы», вплоть до нового распоряжения!) Необходимо сохранить оба выражения, каждое со своей спецификой.

55

55Среди них есть, в частности, конструкции известных «топологических инвариантов», переведенные на новый язык инвариантами когомологическими. Для этих последних я сделал все, что требовалось, - в статье, уже упоминавшейся («О некоторых вопросах гомологической алгебры», 1961) - чтобы придать им смысл для любого топоса.

56

56(Предназначается для читателя-математика.) Когда я говорю «довести до конца эту скромную идею», то имею в виду идею этальных когомологии, как подход к гипотезам Вейля. Именно под этим лозунгом произошло открытие мною понятия ситуса в 1958 г. и дальнейшее развитие его (или очень близкого к нему понятия топоса) и формализма этальных когомологии под моим руководством (с помощью нескольких сотрудников, о которых я скажу в свое время) между 1962 и 1966 годами.

57

57(Предназначено для математика.) Гипотезы Вейля находятся в зависимости от предположений арифметической природы: именно, рассматриваемые в них многообразия должны быть определены над конечным полем. С точки зрения когомологического формализма это приводит к тому, что особое место получает эндоморфизм Фробениуса, соответствующий данной ситуации. При моем подходе ключевые свойства (типа «обобщенной теоремы об индексе») связаны с произвольными алгебраическими соответствиями и не требуют никаких ограничений арифметической природы над основным полем, предварительно заданным.

58

58При этом после моего ухода в 1970 г. весьма четко наметилось движение реакции, которое вылилось в ситуацию относительного застоя, о которой я не раз упомяну при случае на страницах «РС».

59

59«Обыкновенные» значит здесь: «определенные над полем комплексных чисел». Теория Ходжа (называемая также гармоническими интегралами) была мощнейшей из известных когомологических теорий в контексте комплексных алгебраических многообразий.

60

60Эта тема - наиболее глубокая по крайней мере за весь «открытый» период моей математической деятельности, между 1950 и 1969 годами, то есть вплоть до того момента, как я оставил математическую сцену. Я считаю тему анабелевой алгебраической геометрии и теорию Галуа-Тейхмюллера, получившие развитие, начиная с 1977 г., сравнимыми с ней по значению.

61

61 (Предназначается для читателя, занимающегося алгебраической геометрией.)

62

62 (Предназначается для читателя-математика.) Эти теории соответствуют, по порядку, когомологиям Бетти (определенным с трансцендентной точки зрения, с помощью вложения основного поля в поле комплексных чисел), когомологиям Ходжа (определенным Серром) и когомологиям де Рама (определенным мной); две последние относятся еще к пятидесятым годам (а теория Бетти - к предыдущему столетию).

63

63(Предназначается для читателя-математика.) Например, если / - эндоморфизм алгебраического многообразия X, индуцирующий эндоморфизм пространства когомологии Нг(Х), «характеристический многочлен» последнего должен быть многочленом с целыми коэффициентами, не зависящими от выбора конкретной когомологической теории (например, /-адической для различных /). То же верно для общих алгебраических соответствий, если X собственное и гладкое. Печальная истина (дающая представление о плачевном состоянии заброшенности когомологической теории алгебраических многообразий в характеристике р › О, считая с моего ухода) состоит в том, что это не доказано по сей день даже для частного случая, когда X есть

64

64(Предназначается для читателя-математика.) Другой способ представить себе категорию мотивов над полем к - рассмотреть ее как что-то вроде «обертывающей абелевой категории» для категории отделимых схем конечного типа над к. Мотив, соответствующий такой схеме X (или «мотивные когомологии X», которые я обозначаю Н^о1.(Х)) оказывается, таким образом, некоей абелианизированной «аватарой» X. Самое важное здесь, что совершенно так же, как алгебраическое многообразие X поддается «непрерывной деформации» (его класс изоморфизма зависит от непрерывных «параметров», или «модулей»), мотив, соответствующий X, или, более общо, «переменный» мотив, также поддается непрерывной деформации. Этот аспект мо-тивных когомологии находится в разительном контрасте с тем, что происходит со всеми классическими когомологическими инвариантами, в том числе /-адическими, за единственным исключением когомологии Ходжа комплексных алгебраических многообразий.