14. Перерождение понятия пространства, или смелость и вера

Понятие схемы представляет собой значительное расширение понятия алгебраического многообразия, и за счет этого полностью обновляет алгебраическую геометрию, завещанную моими предшественниками. Понятие топоса — расширение или, лучше сказать, метаморфоза понятия пространства. Тем самым оно обещает произвести сходное обновление топологии и, за ее пределами, геометрии. Уже сейчас, впрочем, оно успело сыграть решающую роль для расцвета новой геометрии (главным образом через посредство вышедших из него тем l-адических и кристальных когомологии, позволивших доказать гипотезы Вейля). Идея топоса, как и ее старшая сестра (почти близнец), имеет две дополняющие друг друга черты, существенные для полного и плодотворного обновления; вот они.

Во-первых, новое понятие не чересчур широко, в том смысле, что на новые «пространства» (лучше называть их топосами, чтобы не задеть чуткого уха)[52] самые важные интуитивные представления и геометрические конструкции[53], знакомые по старым добрым пространствам прежних времен, переносятся более или менее очевидным образом. Иначе говоря, для новых объектов имеется в распоряжении вся богатая гамма мысленных образов и ассоциаций, понятий и определенных технических средств, какие прежде не выходили за границы области объектов старинного толка.

Во-вторых, новое понятие в то же время достаточно широко, чтобы охватить все множество ситуаций, в которых, как раньше считалось, не место интуитивным представлениям «тополого-геометрической» природы — именно, тем, какие тогда связывались только с обыкновенными топологическими пространствами (и не без основания…).

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

Впервые в моей жизни как математика я пользуюсь досугом, чтобы вызвать в памяти и (хотя бы только для себя самого) перенести на эти страницы совокупность главных тем и больших идей, направлявших мой труд. Это помогает мне лучше оценить место и значение каждой из этих тем, и «точек зрения», ими олицетворяемых, в большом геометрическом видении, которое их объединяет и из которого они вытекают. Именно благодаря этой работе явились во всем блеске две новаторские идеи, два двигательных нерва первого и бурного расцвета новой геометрии: идея схем и топосов.

Глубочайшей из двух мне сейчас представляется идея топосов, то есть вторая. Если бы случилось так, что в конце пятидесятых годов я бы не засучил рукава, чтобы затем упорно, день за днем, на протяжении двенадцати долгих лет развивать «теоретико-схемный инструмент», по изяществу и мощности совершенный — мне и тогда представляется почти немыслимым, чтобы за десять или двадцать последующих лет другие сумели бы удержаться и не взяться (хоть бы и против воли) за введение в окончательной форме понятия, которое очевидно напрашивалось, не соорудить как-нибудь пускай самых ветхих бараков из «сборных элементов», если не просторные и удобные жилища, как те, какие я собрал по камешкам и воздвиг своими руками. Но ни единого исполнителя не встретил я на математической сцене за три истекших десятилетия, который мог бы обладать такой наивностью, или невинностью, чтобы сделать (вместо меня) этот иной шаг, среди всех решающий, введя столь детски простую идею топосов (или хотя бы «ситусов»). И даже если предположить, что она со скрытым в ней робким обещанием уже кем-то любезно предоставлена — я не видел, будь то среди прежних моих друзей или учеников, никого, кто обладал бы достаточной смелостью, и прежде всего верой, чтобы довести до конца эту скромную идею[54] (до того с виду смехотворную, в то время как цель казалась удаленной бесконечно…): с первых ее неловких шагов до полной зрелости «искусства этальных когомологии», каковым она стала в моих руках, в течение последующих лет.