Вялый пучок
Вя́лый пучо́к, пучок множеств над топологическим пространством такой, что для любого открытого в множества отображение ограничения сюръективно. Таковы, например, пучок ростков всех (необязательно непрерывных) сечений расслоенного пространства с базой , пучок ростков дивизоров и простой пучок над неприводимым алгебраическим многообразием . Вялость пучка является локальным свойством (т. е. вялый пучок индуцирует на любом открытом множестве снова вялый пучок). Факторпучок вялого пучка по вялому подпучку является вялым пучком. Прямой образ вялого пучка при непрерывном отображении есть вялый пучок. Если паракомпактно, то вялый пучок является мягким пучком (т. е. всякое сечение над замкнутым множеством продолжимо на всё пространство ). Пусть– точная последовательность вялых пучков абелевых групп. Тогда для любого семейства носителей соответствующая последовательность сечений (носители которых принадлежат )
является точной, т. е. – точный слева функтop.