Jump to content

Сноп (математика)

(Перенаправлено с сайта Sheaf )

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

Область математики, изучающая пучки, называется теорией пучков .

Пучки концептуально понимаются как общие и абстрактные объекты . Их правильное определение скорее техническое. Они конкретно определяются, например, как пучки множеств или как пучки колец , в зависимости от типа данных, присвоенных открытым наборам.

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

Благодаря своей общей природе и универсальности пучки имеют несколько приложений в топологии, особенно в алгебраической и дифференциальной геометрии . Во-первых, геометрические структуры, такие как дифференцируемое многообразие или схема, могут быть выражены через пучок колец в пространстве. В таких контекстах некоторые геометрические конструкции, такие как векторные расслоения или делители, естественным образом задаются в терминах пучков. Во-вторых, пучки обеспечивают основу для очень общей теории когомологий , которая включает в себя также «обычные» теории топологических когомологий, такие как сингулярные когомологии . Особенно в алгебраической геометрии и теории комплексных многообразий когомологии пучков обеспечивают мощную связь между топологическими и геометрическими свойствами пространств. Пучки также составляют основу теории D -модулей , которая обеспечивает приложения к теории дифференциальных уравнений . Кроме того, обобщения пучков на более общие параметры, чем топологические пространства, такие как топология Гротендика. , предоставили приложения к математической логике и теории чисел .

Определения и примеры

[ редактировать ]

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

Предварительные шкивы

[ редактировать ]

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

  • За каждый открытый набор из , существует набор . Это множество также обозначается . этого множества называются секциями Элементы над . Разделы над называются разделами глобальными .
  • Для каждого включения открытых множеств , функция . Учитывая множество приведенных ниже примеров, морфизмы называются морфизмами ограничения . Если , то его ограничение часто обозначается по аналогии с ограничением функций.

Морфизмы ограничения должны удовлетворять двум дополнительным ( функториальным ) свойствам:

  • Для каждого открытого набора из , морфизм ограничения является тождественным морфизмом на .
  • Если у нас есть три открытых набора , то составной

Неформально вторая аксиома гласит, что не имеет значения, ограничимся ли мы до за один шаг или ограничимся сначала до V , а затем до W. W Краткая функториальная переформулировка этого определения приведена ниже.

Многие примеры предпучков происходят из разных классов функций: к любому , можно назначить набор непрерывных действительных функций на . Тогда карты ограничений просто задаются путем ограничения непрерывной функции на к меньшему открытому подмножеству , что опять-таки является непрерывной функцией. Две аксиомы предпучка проверяются сразу, тем самым давая пример предпучка. Это можно расширить до пучка голоморфных функций и пучок гладких функций .

Другой распространенный класс примеров — присвоение множество постоянных действительных функций на . Этот предпучок называется постоянным предпучком, связанным с и обозначается .

Учитывая предпучок, возникает естественный вопрос: в какой степени его сечения на открытом множестве? определяются их ограничениями на открытие подмножеств . Пучок — это предпучок, секции которого в техническом смысле однозначно определяются своими ограничениями.

Аксиоматически пучок — это предпучок, который удовлетворяет обеим следующим аксиомам:

  1. ( локальность ) Предположим представляет собой открытый набор, представляет собой открытую крышку с для всех , и являются разделами. Если для всех , затем .
  2. ( Склеивание ) Предположим представляет собой открытый набор, представляет собой открытую крышку с для всех , и представляет собой семейство разделов. Если все пары разделов договорились о перекрытии своих доменов, т. е. если для всех , то существует участок такой, что для всех . [1]

В обеих этих аксиомах гипотеза об открытой крышке эквивалентна предположению, что .

Раздел существование которого гарантируется аксиомой 2, называется склейкой , конкатенацией или сопоставлением секций s i . По аксиоме 1 оно единственно. Разделы и удовлетворяющие предварительному условию согласия аксиомы 2, часто называют совместимыми ; таким образом, аксиомы 1 и 2 вместе утверждают, что любой набор попарно совместимых секций может быть однозначно склеен . , Отделенный предпучок или монопредпучок , — это предпучок, удовлетворяющий аксиоме 1. [2]

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

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

Можно показать, что для задания пучка достаточно указать его ограничение на открытые множества базиса топологии лежащего в его основе пространства. Более того, можно также показать, что достаточно проверить приведенные выше аксиомы пучков относительно открытых множеств покрытия. Это наблюдение используется для построения другого примера, имеющего решающее значение в алгебраической геометрии, а именно квазикогерентных пучков . Здесь рассматриваемое топологическое пространство представляет собой спектр коммутативного кольца , точки которого являются простыми идеалами в . Открытые наборы составляют основу топологии Зарисского на этом пространстве. Учитывая -модуль , существует пучок, обозначаемый по спецификации , что удовлетворяет

локализация в .

Существует еще одна характеристика пучков, эквивалентная рассмотренной ранее.Предварительный пучок является пучком тогда и только тогда, когда для любого открытого и любая открытая крышка из , это волокнистый продукт . Эта характеристика полезна при построении пучков, например, если являются абелевыми пучками, то ядро ​​морфизма пучков является пучком, поскольку проективные пределы коммутируют с проективными пределами. С другой стороны, коядро не всегда является пучком, поскольку индуктивный предел не обязательно коммутирует с проективными пределами. Один из способов исправить это — рассмотреть нётеровы топологические пространства; все открытые множества компактны, так что коядро представляет собой пучок, поскольку конечные проективные пределы коммутируют с индуктивными пределами.

Дальнейшие примеры

[ редактировать ]

Пучок участков непрерывной карты

[ редактировать ]

Любая непрерывная карта топологических пространств определяет пучок на установив

Любой такой называют частью обычно , и этот пример является причиной того, что элементы в обычно называются разделами. Эта конструкция особенно важна, когда — это проекция расслоения на его базовое пространство. Например, пучки гладких функций — это пучки сечений тривиального расслоения . Другой пример: пучок секций

это пучок, который присваивает любому множество ветвей комплексного логарифма на .

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

Шкивы на коллекторах

[ редактировать ]

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

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

Предварительные шкивы, которые не являются шкивами

[ редактировать ]

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

  • Позволять быть двухточечным топологическим пространством с дискретной топологией. Определить предпучок следующее: Карта ограничений это проекция на свою первую координату и карту ограничений это проекция на свою вторую координату. представляет собой предпучок, который не разделен: глобальный раздел определяется тремя числами, но значения этого раздела превышают и определить только два из этих чисел. Итак, хотя мы можем склеить любые две секции и , мы не можем склеить их однозначно.
  • Позволять быть настоящей линией , и пусть — множество ограниченных непрерывных функций на . Это не связка, потому что не всегда можно склеить. Например, пусть быть набором всех такой, что . Функция идентификации ограничено на каждом . В результате мы получаем отрезок на . Однако эти секции не склеиваются, поскольку функция не ограничено на действительной прямой. Следовательно является предпучком, но не пучком. Фактически, отделен, поскольку он является подпучком пучка непрерывных функций.

Мотивирующие пучки из комплексных аналитических пространств и алгебраической геометрии

[ редактировать ]

Одна из исторических причин создания пучков возникла из изучения сложных многообразий . [4] сложная аналитическая геометрия , [5] и теория схем из алгебраической геометрии . Это связано с тем, что во всех предыдущих случаях мы рассматриваем топологическое пространство вместе со связкой структуры придавая ему структуру комплексного многообразия, комплексного аналитического пространства или схемы. Эта перспектива оснащения топологического пространства пучком важна для теории локально окольцованных пространств (см. ниже).

Технические проблемы со сложными коллекторами

[ редактировать ]

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

являются постоянными функциями. [6] [7] Это означает, что существуют два компактных комплексных многообразия. которые не изоморфны, но, тем не менее, их кольца глобальных голоморфных функций, обозначаемые , изоморфны. Сравните это с гладкими многообразиями , где каждое многообразие может быть встроен в некоторые , следовательно, его кольцо гладких функций происходит из-за ограничения гладких функций из . Еще одна сложность при рассмотрении кольца голоморфных функций на комплексном многообразии. дано достаточно маленькое открытое множество , голоморфные функции будут изоморфны . Пучки являются прямым инструментом для решения этой сложности, поскольку они позволяют отслеживать голоморфную структуру в базовом топологическом пространстве. на произвольных открытых подмножествах . Это значит, как становится более сложным топологически, кольцо можно выразить, приклеив . Заметим, что иногда этот пучок обозначают или просто или даже когда мы хотим подчеркнуть пространство, с которым связан пучок структур.

Отслеживание подмногообразий с помощью пучков

[ редактировать ]

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

Операции со связками

[ редактировать ]

Морфизмы

[ редактировать ]

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

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

Например, взятие производной дает морфизм пучков на : Действительно, учитывая ( -раз непрерывно дифференцируемая) функция в открыт), ограничение (на меньшее открытое подмножество ) ее производной равна производной .

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

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

Стебли снопа

[ редактировать ]

Стебель из снопа фиксирует свойства пучка «вокруг» точки , обобщающие ростки функций .Здесь «вокруг» означает, что, концептуально, мы рассматриваем все меньшие и меньшие окрестности точки. Конечно, ни один отдельный район не будет достаточно маленьким, что требует учета какого-то ограничения. Точнее, стебель определяется как

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

Естественный морфизм занимает раздел в к своему зародышу в . Это обобщает обычное определение ростка .

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

постоянна по теореме Лиувилля . [6]

Превращение предварительного снопа в сноп

[ редактировать ]

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

Сноп можно построить, используя пространство этальное , а именно как пучок участков карты

Еще одна конструкция снопа происходит с помощью функтора от предшкивов к предпучкам, что постепенно улучшает свойства предпучка: для любого предпучка , является отделенным предпучком, и для любого отделенного предпучка , представляет собой сноп. Соответствующий пучок дается . [8]

Идея о том, что сноп является наилучшим приближением к пучком уточняется с помощью следующего универсального свойства : существует естественный морфизм предпучков. так что для любого связки и любой морфизм предпучков , существует единственный морфизм пучков такой, что . Фактически является левым сопряженным функтором к функтору включения (или функтору забывчивости ) из категории пучков в категорию предпучков, и является единицей присоединения. Таким образом, категория пучков превращается в Жиро подкатегорию предпучков . Эта категоричная ситуация является причиной того, что функтор расслоения появляется при построении коядер пучковых морфизмов или тензорных произведений пучков, но не для ядер, скажем.

Подшкивы, частные шкивы

[ редактировать ]

Если является подпучком пучка абелевых групп, то факторпучок пучок связан с предпучком ; другими словами, факторпучок укладывается в точную последовательность пучков абелевых групп;

(это также называется расширением пучка .)

Позволять — пучки абелевых групп. Набор морфизмов пучков из к образует абелеву группу (по абелевой групповой структуре ). Сноп хом и , обозначается,

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

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

Базовая функториальность

[ редактировать ]

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

Прямое изображение

[ редактировать ]

Выдвижение вперед (также известное как прямое изображение ) связки на это пучок, определяемый

Здесь является открытым подмножеством , так что его прообраз открыт в благодаря непрерывности . Эта конструкция оживляет связку небоскреба упоминалось выше:

где является включение, и рассматривается как пучок на синглтоне (по .

Для отображения локально компактных пространств прямой образ с компактным носителем является подпучком прямого образа. [9] По определению, состоит из тех чья поддержка - правильная карта над . Если является собственным, то , но в целом они не согласны.

Обратное изображение

[ редактировать ]

Обратный образ или обратный образ идет другим путем: он создает пучок на , обозначенный из снопа на . Если является включением открытого подмножества, то прообраз является просто ограничением, т. е. он задается формулой для открытого в . Сноп (на каком-то пространстве ) называется локально постоянным, если некоторыми открытыми подмножествами такое, что ограничение для всех этих открытых подмножеств является постоянным. В широком диапазоне топологических пространств , такие эквивалентны представлениям пучки фундаментальной группы .

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

В более общем плане стебли удовлетворяют .

Расширение на ноль

[ редактировать ]

Для включения открытого подмножества расширение нулем (произносится как «J нижний визг F») снопа абелевых групп на - это расслоение предпучка, определяемое формулой

если и в противном случае.

Для снопа на , эта конструкция в некотором смысле дополняет , где является включение дополнения :

для в , а в противном случае стебель равен нулю, а
для в , и равно в противном случае.

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

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

Дополняет

[ редактировать ]

Шкивы в более общих категориях

[ редактировать ]

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

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

Если целевая категория допускает все пределы , -значный предпучок является пучком, если следующая диаграмма является эквалайзером для каждого открытого покрытия любого открытого множества :

Здесь первая карта является произведением карт ограничений

а пара стрелок — произведения двух наборов ограничений

и

Если является абелевой категорией , это условие также можно перефразировать, потребовав существования точной последовательности

Частный случай этого состояния пучка имеет место для будучи пустым набором и набором индексов также быть пустым. В этом случае условие связки требует быть конечным объектом в .

Окольцованные пространства и пучки модулей

[ редактировать ]

В некоторых геометрических дисциплинах, включая алгебраическую геометрию и дифференциальную геометрию , пространства сопровождаются естественным пучком колец, часто называемым структурным пучком и обозначаемым . Такая пара называется кольцевым пространством . Многие типы пространств можно определить как определенные типы кольцевых пространств. Обычно все стебли структурного пучка являются локальными кольцами , и в этом случае пара называется локально окольцованным пространством .

Например, -мерный многообразие — локально окольцованное пространство, структурный пучок которого состоит из -функции на открытых подмножествах . Свойство быть локально окольцованным пространством приводит к тому, что такая функция, не равная нулю в точке , также отличен от нуля на достаточно малой открытой окрестности . Некоторые авторы фактически определяют вещественные (или комплексные) многообразия как локально окольцованные пространства, локально изоморфные паре, состоящей из открытого подмножества (соответственно ) вместе с пучком (соответственно голоморфные) функции. [10] Точно так же схемы , основное понятие пространств в алгебраической геометрии, представляют собой локально окольцованные пространства, локально изоморфные спектру кольца .

Учитывая окольцованное пространство, пучок модулей является пучком такой, что на каждом открытом множестве из , это -модуля и для каждого включения открытых множеств , карта ограничений совместим с картой ограничений : ограничение fs — это ограничение раз больше, чем для любого в и в .

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

Для пучков модулей над пучками колец существует другой функтор обратного образа. Этот функтор обычно обозначается и это отличается от . См. функтор обратного изображения .

Условия конечности пучков модулей.

[ редактировать ]

Условия конечности модуля над коммутативными кольцами порождают аналогичные условия конечности для пучков модулей: называется конечно порожденным (соответственно конечно представленным ), если для каждой точки из , существует открытая окрестность из , натуральное число (возможно, в зависимости от ) и сюръективный морфизм пучков (соответственно, кроме натурального числа и точная последовательность .) Параллельно с понятием связного модуля , называется когерентным пучком , если он имеет конечный тип и если для любого открытого множества и каждый морфизм пучков (не обязательно сюръективное), ядро имеет конечный тип. когерентен , если он когерентен как модуль над собой. Как и в случае с модулями, связность, как правило, является более строгим условием, чем конечное представление. Теорема Оки о когерентности утверждает, что пучок голоморфных функций на комплексном многообразии когерентен.

Этальное пространство связки

[ редактировать ]

В приведенных выше примерах было отмечено, что некоторые пучки естественным образом возникают как пучки сечений. Фактически, все пучки множеств можно представить как пучки секций топологического пространства, называемого étalé space , от французского слова étalé [etale] , что примерно означает «распространённый». Если сноп закончился , то этальное пространство (иногда называемое этальным пространством ) это топологическое пространство вместе с локальным гомеоморфизмом такой, что пучок сечений из является . Пространство обычно очень странно, и даже если связка возникает из естественной топологической ситуации, может не иметь четкой топологической интерпретации. Например, если — пучок сечений непрерывной функции , затем тогда и только тогда, когда является локальным гомеоморфизмом .

Раскинувшееся пространство построен из стеблей над . Как совокупность, это их непересекающееся объединение и это очевидная карта, которая принимает значение на стебле над . Топология определяется следующим образом. Для каждого элемента и каждый , мы получаем зародыш в , обозначенный или . Эти микробы определяют точки . Для любого и , объединение этих точек (для всех ) объявлен открытым в . Обратите внимание, что каждый стебель имеет дискретную топологию как топологию подпространства. Два морфизма между пучками определяют непрерывное отображение соответствующих этальных пространств, совместимое с отображениями проекций (в том смысле, что каждый росток отображается в росток над той же точкой). Это превращает конструкцию в функтор.

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

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

отправка объекта к . Например, если есть включение открытого подмножества, то

и для включения точки , затем

это стебель в . Существует естественный изоморфизм

,

что показывает, что (для этального пространства) представляет функтор .

строится так, что отображение проекции является покрывающей картой. В алгебраической геометрии естественный аналог накрывающего отображения называется этальным морфизмом . Несмотря на сходство с «étalé», слово étale [etal] во французском языке имеет другое значение. Можно повернуть в схему и в морфизм схем таким образом, что сохраняет то же универсальное свойство, но является вообще не этальным морфизмом, поскольку он не квазиконечен. Однако формально оно является этальным .

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

Когомологии пучков

[ редактировать ]

В контекстах, где открытое множество фиксирован, а пучок рассматривается как переменная, множество также часто обозначается

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

открытых подмножеств, таких, что ограничение находятся в образе . Однако, само по себе не обязательно должно быть по образу . Конкретным примером этого явления является экспоненциальная карта

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

Когомологии пучков фиксируют это явление. Точнее, для точной последовательности пучков абелевых групп

(т.е. эпиморфизм чьё ядро ), существует длинная точная последовательность С помощью этой последовательности первая группа когомологий является мерой несюръективности отображения между участками и .

Существует несколько различных способов построения пучковых когомологий. Гротендик (1957) ввел их, определив пучковые когомологии как производный функтор . Этот метод теоретически удовлетворительен, но, поскольку он основан на инъективном разрешении , малопригоден для конкретных вычислений. Резолюции Годемента — еще один общий, но практически недоступный подход.

Вычисление пучковых когомологий

[ редактировать ]

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

Другой подход – когомологии Чеха . Когомологии Чеха были первой теорией когомологий, разработанной для пучков, и она хорошо подходит для конкретных вычислений, таких как вычисление когерентных когомологий пучков комплексного проективного пространства. . [11] Он связывает разделы об открытых подмножествах пространства с классами когомологий в пространстве. В большинстве случаев когомологии Чеха вычисляют те же группы когомологий, что и производные когомологии функторов. Однако для некоторых патологических пространств когомологии Чеха дадут правильные значения. но неправильные группы высших когомологий. Чтобы обойти эту проблему, Жан-Луи Вердье разработал гиперпокрытия . Гипернакрытия не только дают правильные группы высших когомологий, но и позволяют заменить упомянутые выше открытые подмножества некоторыми морфизмами из другого пространства. Эта гибкость необходима в некоторых приложениях, таких как построение Пьера Делиня смешанных структур Ходжа .

Многие другие группы когомологий когерентного пучка находятся с помощью вложения пространства в пространство с известными когомологиями, такими как , или некоторое взвешенное проективное пространство . Таким образом, известные группы пучковых когомологий в этих объемлющих пространствах могут быть связаны с пучками , давая . Например, когерентные когомологии пучков проективных плоских кривых легко найти . Одной из больших теорем в этом пространстве является разложение Ходжа, найденное с использованием спектральной последовательности, связанной с пучковыми группами когомологий , доказанное Делинем. [12] [13] По сути, -страница с условиями

пучковые когомологии гладкого проективного многообразия , вырождается, смысл . Это дает каноническую структуру Ходжа на группах когомологий . Позже было обнаружено, что эти группы когомологий можно легко вычислить явно, используя вычеты Гриффитса . См. якобианский идеал . Теоремы такого рода приводят к одной из самых глубоких теорем о когомологиях алгебраических многообразий, теореме о разложении , прокладывающей путь для смешанных модулей Ходжа .

Другим чистым подходом к вычислению некоторых групп когомологий является теорема Бореля-Ботта-Вейля , которая идентифицирует группы когомологий некоторых линейных расслоений на многообразиях флагов с неприводимыми представлениями групп Ли . Эту теорему можно использовать, например, для легкого вычисления групп когомологий всех линейных расслоений на проективном пространстве и грассмановых многообразиях .

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

Производные категории пучков

[ редактировать ]

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

Примыкание между , который является левым сопряженным (уже на уровне пучков абелевых групп) порождает присоединение

(для ),

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

Нравиться , прямой образ с компактной поддержкой также можно вывести. В силу следующего изоморфизма параметризует компактным слоев носителем когомологии с :

[14]

Этот изоморфизм является примером теоремы о замене базы . Есть еще одно дополнение

В отличие от всех рассмотренных выше функторов, скрученный (или исключительный) функтор обратного образа вообще говоря, определяется только на уровне производных категорий , т. е. функтор не получается как производный функтор некоторого функтора между абелевыми категориями. Если и X — гладкое ориентируемое многообразие размерности n , то

[15]

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

Извращенные связки — это определенные объекты в , т. е. комплексы пучков (но не собственно пучки). Они являются важным инструментом для изучения геометрии особенностей . [16]

Производные категории когерентных пучков и группа Гротендика.

[ редактировать ]

Другое важное применение производных категорий пучков — это производная категория когерентных пучков на схеме. обозначенный . Это использовал Гротендик при разработке теории пересечений. [17] используя производные категории и K-теорию , продукт пересечения подсхем представляется в K-теории как

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

Сайты и топои

[ редактировать ]

Андре Вейля утверждали Гипотезы Вейля , что существует теория когомологий для алгебраических многообразий над конечными полями , которая дает аналог гипотезы Римана . Когомологии комплексного многообразия можно определить как пучковые когомологии локально постоянного пучка в евклидовой топологии, которая предлагает определить теорию когомологий Вейля в положительной характеристике как пучковые когомологии постоянного пучка. Но единственной классической топологией такого многообразия является топология Зарисского , а в топологии Зарисского очень мало открытых множеств, настолько мало, что когомологии любого постоянного Зарисского пучка на неприводимом многообразии обращаются в нуль (кроме нулевой степени). Александр Гротендик решил эту проблему, введя топологии Гротендика , которые аксиоматизируют понятие покрытия . Идея Гротендика заключалась в том, что определение пучка зависит только от открытых множеств топологического пространства, а не от отдельных точек. Как только он аксиоматизировал понятие покрытия, открытые множества можно было заменить другими объектами. Предварительный пучок переносит каждый из этих объектов в данные, как и раньше, и пучок — это предпучок, который удовлетворяет аксиоме склейки в отношении нашего нового понятия покрытия. Это позволило Гротендику определить этальные когомологии и ℓ-адические когомологии , которые в конечном итоге были использованы для доказательства гипотез Вейля.

Категория с топологией Гротендика называется сайтом . Категория пучков на участке называется топосом или топосом Гротендика . Понятие топоса позже было абстрагировано Уильямом Ловером и Майлзом Тирни для определения элементарного топоса , который имеет связи с математической логикой .

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

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

См. также

[ редактировать ]

Примечания

[ редактировать ]
  1. ^ Эйзенбуд, Дэвид; Харрис, Джо (6 апреля 2006 г.), Геометрия схем , GTM , Нью-Йорк, Нью-Йорк: Springer, стр. 11–18, ISBN.  978-0-387-22639-2
  2. ^ Теннисон, Б.Р. (1975), Теория пучков , Издательство Кембриджского университета , MR   0404390
  3. ^ Bredon (1997 , Chapter V, §1)
  4. ^ Демайи, Жан-Пьер. «Сложная аналитическая и дифференциальная геометрия» (PDF) . Архивировано (PDF) из оригинала 28 августа 2020 года.
  5. ^ Картан, Анри. «Комплексные аналитические многообразия и когомологии» (PDF) . Архивировано (PDF) из оригинала 8 октября 2020 г.
  6. Перейти обратно: Перейти обратно: а б «Дифференциальная геометрия. Голоморфные функции на комплексном компактном многообразии являются только константами» . Математический обмен стеками . Проверено 7 октября 2020 г.
  7. ^ Хоули, Ньютон С. (1950). «Теорема о компактных комплексных многообразиях». Анналы математики . 52 (3): 637–641. дои : 10.2307/1969438 . JSTOR   1969438 .
  8. ^ СГА 4 II 3.0.5
  9. ^ Иверсен (1986 , Глава VII)
  10. ^ Мысли (2005)
  11. ^ Хартсхорн (1977), Теорема III.5.1.
  12. ^ Делинь, Пьер (1971). «Теория Ходжа: II» . Публикации IHÉS по математике . 40 :5–57. дои : 10.1007/BF02684692 . S2CID   118967613 .
  13. ^ Делинь, Пьер (1974). «Теория Ходжа: III» . Публикации IHÉS по математике . 44 :5–77. дои : 10.1007/BF02685881 . S2CID   189777706 .
  14. ^ Иверсен (1986 , глава VII, теорема 1.4)
  15. ^ Кашивара и Шапира (1994 , глава III, §3.1)
  16. ^ де Катальдо и Мильорини (2010)
  17. ^ Гротендик. «Формализм пересечений на собственных алгебраических схемах» .
  18. ^ Стинрод, штат Нью-Йорк (1943). «Гомология с локальными коэффициентами». Анналы математики . 44 (4): 610–627. дои : 10.2307/1969099 . JSTOR   1969099 .
  19. ^ Дьедонне, Жан (1989). История алгебраической и дифференциальной топологии 1900–1960 гг . Биркхойзер. стр. 123–141. ISBN  978-0-8176-3388-2 .
  20. ^ Картан, Анри; Серр, Жан-Пьер (1953). «Теорема конечности о компактных аналитических многообразиях» . Еженедельные отчеты сессий Парижской академии наук . 237 : 128–130. Збл   0050.17701 .
  21. ^ Серр, Жан-Пьер (1955), «Когерентные алгебраические пучки» (PDF) , Анналы математики , вторая серия, 61 (2): 197–278, doi : 10.2307/1969915 , ISSN   0003-486X , JSTOR   1969915 , MR   0068874
  22. ^ Зариски, Оскар (1956), «Научный отчет о втором летнем институте, несколько комплексных переменных. Часть III. Теория алгебраических пучков», Бюллетень Американского математического общества , 62 (2): 117–141, doi : 10.1090/S0002- 9904-1956-10018-9 , ISSN   0002-9904
  23. ^ Гротендик, Александр (1957), «Sur quelques point d'algèbre homologique», The Tohoku Mathematical Journal , Second Series, 9 (2): 119–221, doi : 10.2748/tmj/1178244839 , ISSN   0040-8735 , MR   0102537
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 4946bcba994fd445b482d5ae26c10039__1721757360
URL1:https://arc.ask3.ru/arc/aa/49/39/4946bcba994fd445b482d5ae26c10039.html
Заголовок, (Title) документа по адресу, URL1:
Sheaf (mathematics) - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)