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