Комплексний многовид — гаусдорфів топологічний простір, для якого існує покриття відкритими множинами, кожна з яких є гомеоморфною області в -вимірному комплексному векторному просторі . При цьому в перетині двох відкритих множин перетворення локальних координат є комплексно-аналітичним, тобто функції є голоморфними, і визначник Якобі:
не рівний нулю в жодній точці. Набір таких відкритих множин називається голоморфним атласом многовида.
Властивості Редагувати
Оскільки умова голоморфності є значно сильнішою, ніж нескінченної диференційовності, теорія комплексних многовидів значно відрізняється від теорії гладких многовидів. Зокрема для комплексних многовидів не виконується аналог теореми Вітні про вкладення. Наприклад згідно теореми Ліувіля на компактних зв'язаних комплексних многовидах єдиними голоморфними функціями є константи. Натомість при гіпотетичному вкладенні такого многовида в простір обмеження координатних функцій в були б не сталими голоморфними функціями. Тому для компактних зв'язаних комплексних многовидів, що не є однією точкою таке вкладення є неможливим. Комплексні многовиди, що можуть бути вкладені в називаються многовидами Штейна.
Тоді коли топологічні многовиди, розмірність яких не рівна 4 можуть мати лише скінченну кількість не дифеоморфних гладких структур, комплексні многовиди різних розмірностей можуть мати незліченну кількість не біголоморфних комплексних структур.
Приклади Редагувати
- Довільна орієнтована двовимірна (дійсна розмірність) поверхня може бути перетвореною на комплексний одновимірний многовид. Комплексні одновимірні многовиди називаються поверхнями Рімана.
- Комплексний -вимірний векторний простір відкрита куля і відкритий полікруг є прикладами нееквівалентних комплексних многовидів. Натомість дані три множини є дифеоморфними як гладкі дійсні многовиди розмірності 2n.
- Комплексний проективний простір .
- Комплексна еліптична крива, що є дифеоморфною двовимірному тору
- Комплексні Грассманіани.
- Комплексні групи Лі, зокрема GL(n, C) і Sp(n, C).
Ермітова метрика Редагувати
Ермітова метрика на комплексному многовиді — аналог ріманової метрики для дійсного многовида, додатноозначена ермітова форма виду:
де — комплексні функції.
Многовиди з ермітовою метрикою називаються ермітовими і є аналогами ріманових многовидів. Важливими прикладами ермітових многовидів є келерові многовиди, для яких кососиметрична складова ермітової метрики є замкнутою диференціальною формою. Важливим прикладом келерових многовидів є зокрема многовиди Калабі — Яу, що мають важливі застосування у теоретичній фізиці, зокрема теорії струн.
Див. також Редагувати
Література Редагувати
- Чжэнь Шэн-шэнь. Комплексные многообразия. — Москва : ИЛ, 1961. — 239 с.
- Klaus Fritzsche, Hans Grauert. From Holomorphic Functions to Complex Manifolds (= Graduate Texts in Mathematics 213). Springer, New York NY u. a. 2002, ISBN 0-387-95395-7.
- Morrow, James; Kodaira, Kunihiko (2006) [1971]. Complex manifolds. AMS Chelsea Publishing, Providence, RI. ISBN 978-0-8218-4055-9. MR 0302937.
- Raghavan Narasimhan (1973). Analysis on Real and Complex Manifolds (вид. 2nd). North-Holland Elsevier. ISBN 0-7204-2501-8.
- Wells, R.O., Differential Analysis on Complex Manifolds, Springer-Verlag, New York (1980). ISBN 0-387-90419-0.