Привилегированный компакт
Привилегиро́ванный компа́кт, понятие, часто используемое в теории комплексных пространств, в особенности в теории модулей комплексных структур. Пусть – компакт в , – ограничение на пучка ростков голоморфных функций в . Компакт называется привилегированным относительно когерентного аналитического пучка , заданного на , если существует точная последовательность отображений -пучков
в которой с некоторыми , , такая, что порождённая ею последовательность непрерывных операторов
точна и расщепляема. Здесь
а есть банахово пространство непрерывных на функций, голоморфных внутри , наделённое равномерной нормой. Расщепляемость последовательности (2) означает, что ядро и образ дифференциала в каждом члене имеет прямое замкнутое дополнение. Это условие расщепляемости эквивалентно следующему: существует линейный непрерывный оператор в (2), переводящий в , такой, что (оператор гомотопии). Свойство точности и расщепляемости последовательности (2) не зависит от выбора последовательности (1).
Пусть точка принадлежит внутренности компакта . Тогда существует морфизм комплекса (2) в слой комплекса (1) над точкой , переводящий элемент , т. е. функцию на со значениями в в её росток в точке . Отсюда вытекает, что последовательность
полуточна. Компакт называется -привилегированной окрестностью точки , если он -привилегирован и последовательность (3) точна. Это свойство также не зависит от выбора последовательности (1).
Для всякого когерентного аналитического пучка всякая точка его области определения обладает фундаментальной системой -привилегированных окрестностей. В качестве таких окрестностей выбираются поликруги с определёнными соотношениями типа неравенств для радиусов. Известно достаточное условие -привилегированности полицилиндра, связывающее пучок с устройством границы (Douady. 1966).
Рассматриваются также привилегированные компакты по отношению к пучку, заданному на произвольном комплексном пространстве , при этом имеют в виду компакты, привилегированные относительно пучков , где – карта на .