Александр Гротендик - Урожаи и посевы

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

Впервые это видение арифметической геометрии (как я предлагаю назвать новую геометрию) зародилось в форме гипотез Вейля. В процессе развития некоторых моих главных тем [39]гипотезы эти оставались основным источником вдохновения все время от 1958 до 1966 г. Еще до меня, впрочем, Оскар Зарисский с одной стороны, затем Жан-Пьер Серр с другой, для пространств-без-стыда-и-совести в «абстрактной» алгебраической геометрии развили определенные «топологические» методы, основанные на тех, что прежде были в ходу среди пространств-с-прочными-устоями во всем мире [40]. Их идеи, несомненно, сыграли важную роль в построении новой геометрии, начиная с первых моих шагов; правда, скорее в качестве отправных точек и инструментов (которые мне пришлось в той или иной степени переделать для нужд куда более широкого контекста), чем источника вдохновения, который продолжал бы питать мои мечты и проекты в течение месяцев и лет. Во всяком случае, было вполне ясно сразу, что, даже преобразованные, инструменты эти были весьма далеки от того, что требовалось уже для первых шагов в направлении фантастических гипотез Вейля.

Две идеи, схемы и топоса , оказались решающими для зарождения и развития новой геометрии. Возникнув почти одновременно и в тесном симбиозе друг с другом [41], они вместе стали, как двигательный нерв для небывалого роста новой геометрии, считая с самого года своего появления. Чтобы закончить обзор моего труда, нужно, по крайней мере, сказать несколько слов об этих двух идеях.

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

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