Впервые это видение арифметической геометрии (как я предлагаю назвать новую геометрию) зародилось в форме гипотез Вейля. В процессе развития некоторых моих главных тем>{39} гипотезы эти оставались основным источником вдохновения все время от 1958 до 1966 г. Еще до меня, впрочем, Оскар Зарисский с одной стороны, затем Жан-Пьер Серр с другой, для пространств-без-стыда-и-совести в «абстрактной» алгебраической геометрии развили определенные «топологические» методы, основанные на тех, что прежде были в ходу среди пространств-с-прочными-устоями во всем мире>{40}. Их идеи, несомненно, сыграли важную роль в построении новой геометрии, начиная с первых моих шагов; правда, скорее в качестве отправных точек и инструментов (которые мне пришлось в той или иной степени переделать для нужд куда более широкого контекста), чем источника вдохновения, который продолжал бы питать мои мечты и проекты в течение месяцев и лет. Во всяком случае, было вполне ясно сразу, что, даже преобразованные, инструменты эти были весьма далеки от того, что требовалось уже для первых шагов в направлении фантастических гипотез Вейля.
В свете этой «поименной переклички»: если бы мне предложили назвать ближайших «прародителей» нового геометрического видения, то имена Оскара Зарисского, Андрэ Вейля, Жана Лерэ и Жан-Пьера Серра я бы произнес, не задумываясь. Среди них Серру принадлежит особая роль, так как главным образом через его посредство я ознакомился не только с его собственными идеями, но также с идеями Зарисского, Вейля и Лерэ, немало значившими для зарождения и развития новой геометрии.
11. Магический веер, или невинность творит чудеса
11. Две идеи, схемы и топоса, оказались решающими для зарождения и развития новой геометрии. Возникнув почти одновременно и в тесном симбиозе друг с другом>{41}, они вместе стали, как двигательный нерв для небывалого роста новой геометрии, считая с самого года своего появления. Чтобы закончить обзор моего труда, нужно, по крайней мере, сказать несколько слов об этих двух идеях.
Понятие схемы приходит на ум как самое естественное, самое «очевидное», когда речь идет о том, чтобы собрать в одно бесконечный ряд понятий «многообразия» (алгебраического), с каким приходилось иметь дело раньше (отдельное такое понятие для каждого простого числа>{42}…). И потом, та же самая схема (или «многообразие» нового вида) одна порождает, для каждого простого числа р, однозначно определенное «многообразие (алгебраическое) в характеристике р». Набор этих различных многообразий в различной характеристике можно тогда себе представить чем-то вроде «(бесконечного) веера многообразий» (свое для каждой характеристики). «Схема» и есть этот магический веер, соединяющий между собой, как различные «ветви», эти «аватары», или «воплощения», всевозможных характеристик. Она же тем самым обеспечивает эффективный «принцип перехода», чтобы устанавливать связь между «многообразиями»-выходцами из геометрий, ранее представлявшихся в той или иной мере изолированными, отрезанными друг от друга. Теперь они оказались объединенными в одну общую «геометрию» и внутри ее между собой связанными. Ее можно было бы назвать теоретико-схемной геометрией, предварительным наброском «арифметической геометрии», ее бутоном, расцветшим в ходе последующих лет.