Пучки и когомологии

Пучок записывает данные, которые определены локально и склеены согласованно, а когомологии пучков измеряют препятствие для перехода от локальных решений к глобальному.

Definition

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

Scope

Эта тема вводит предпучки и пучки на топологическом пространстве или схеме, ростки, пучкофикацию и морфизмы пучков, с центральными примерами структурного пучка, пучков идеалов, а также когерентных и квазикогерентных пучков. Она развивает когомологии пучков через производные функторы функтора глобальных сечений и вычислительный инструмент когомологий Чеха, когомологий когерентных пучков на проективном пространстве, а также фундаментальные результаты, такие как теоремы Серра о конечности и обращении в нуль и двойственность Серра.

Core questions

• Как аксиомы склейки делают пучок подходящим инструментом для локально-глобальных данных?
• Что когерентные и квазикогерентные пучки отражают в геометрии над схемой?
• Почему когомологии пучков определяются как производный функтор, и как когомологии Чеха вычисляют их?
• Что теоремы Серра о конечности, обращении в нуль и двойственности говорят нам о когерентных когомологиях?

Key concepts

• Предпучки, пучки, ростки и пучкофикация
• Когерентные и квазикогерентные пучки
• Когомологии пучков как производный функтор
• Когомологии Чеха и их совпадение с производными когомологиями
• Теоремы Серра о конечности, обращении в нуль и двойственность Серра

Clinical relevance

Когомологии пучков являются центральным вычислительным аппаратом алгебраической геометрии, контролирующим сечения линейных расслоений, деформации и теорию препятствий; тот же аппарат лежит в основе этальных когомологий, используемых для доказательства гипотез Вейля, и широко применяется в топологии и комплексной геометрии.

History

Лере ввел пучки и их когомологии в 1940-х годах; работа Серра FAC (1955) привнесла когомологии когерентных пучков в алгебраическую геометрию, а Гротендик переформулировал когомологии как производные функторы в своей статье Tôhoku (1957), что стало основой для современных подходов.

Key figures

• Jean Leray
• Jean-Pierre Serre
• Alexander Grothendieck

Seminal works

• hartshorne1977
• maclane1971

Frequently asked questions

В чем разница между предпучком и пучком?

Предпучок сопоставляет данные открытым множествам с отображениями ограничения; пучок дополнительно требует, чтобы локальные сечения, совпадающие на пересечениях, склеивались в единственное глобальное сечение, что является именно той локальностью, которая необходима для геометрии.

Почему когомологии пучков важны геометрически?

Их размерности подсчитывают глобальные сечения, препятствия и инварианты, такие как род; обращение в нуль высших когомологий позволяет собирать локальные геометрические данные — например, сечения линейного расслоения — глобально.