Комплексное аналитическое разнообразие

(Перенаправлено из аналитического варианта )

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

Определение [ править ]

Обозначим постоянный пучок в топологическом пространстве со значением к . А -space локально окольцованное пространство , структурный пучок которого является алгеброй над .

Выберите открытое подмножество некоторого сложного аффинного пространства и зафиксируем конечное число голоморфных функций в . Позволять — общее место схода в нуль этих голоморфных функций, т. е. . Определить связку колец на позволяя быть ограничением на из , где – пучок голоморфных функций на . Затем местные окольцовали -космос — это локальное модельное пространство .

Комплексное аналитическое многообразие — это локально кольцевое -космос локально изоморфно локальному модельному пространству.

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

Соответствующее комплексное аналитическое пространство (разновидность) такое, что; [1]

Пусть X — схемы конечного типа над и покроем X открытым аффинным подмножеством ( ) ( Спектр кольца ). Затем каждый является алгеброй конечного типа над , и . Где полиномиальны по , которую можно рассматривать как голоморфную функцию на . Поэтому их общим нулем множества является комплексное аналитическое подпространство . Здесь схема X получена склейкой данных множества , а затем те же данные можно использовать для склейки комплексного аналитического пространства в сложное аналитическое пространство , поэтому мы называем ассоциированное комплексное аналитическое пространство с X. Комплексное аналитическое пространство X редуцируется тогда и только тогда, когда ассоциированное комплексное аналитическое пространство уменьшенный. [2]

См. также [ править ]

Примечание [ править ]

Аннотация [ править ]

  1. ^ Иногда требуется, чтобы сложное аналитическое многообразие (или просто многообразие) было неприводимым. и (или) уменьшенный

Ссылки [ править ]

Будущее чтение [ править ]

Внешние ссылки [ править ]