Орбифолд (KjQnskl;)

Орбифолд, или орбиобра́зие, — неформально говоря, это многообразие с особенностями, которые выглядят как фактор евклидова пространства по конечной группе.

Один из объектов исследования в алгебраической топологии, алгебраической и дифференциальной геометрии, теории особенностей.

Орбифолд и многообразие (сравнение определений)

Орбифолд определяется как хаусдорфово топологическое пространство $X$ (называемое подлежащим пространством орбиобразия) и выделенный набор открытых отображений $\varphi _{\alpha }\colon U_{\alpha }\subset \mathbb {R} ^{n}\to X$ (называемый атласом), такой, что образы $\varphi _{\alpha }(U_{\alpha })$ образуют покрытие пространства $X$ .

Атлас должен удовлетворять некоторому набору свойств, который мы описываем неформально.

В отличие от многообразия, карты не являются гомеоморфизмами, но для каждой карты $\varphi _{\alpha }$ имеется конечная группа $\Gamma _{\alpha }$ , действующая на $\mathbb {R} ^{n}$ и переводящая $U$ в себя. Также для орбифолдов между картами существуют гомеоморфизмы сличения, но, в отличие от многообразий, они не единственны и переводятся друг в друга под действием соответствующих групп.

Замечание

Риманово орбиобразие можно определить очень коротко, а именно как пространство локально изометрическое фактору риманова многообразия по конечной группе изометрий. На основе этого определения можно построить определение орбиобразия без метрики.^[1]

Примеры

Пара многообразие $M$ $M$ с действием дискретной группы диффеоморфизмов $\Gamma$ $\Gamma$ задаёт орбифолд с подлежащим пространством $M/\Gamma$ $M/\Gamma$ .
- Такие орбифолды называются хорошими, в случае если такого представления не существует, то орбифолд называется плохим.
Примеры орбифолдов с двумерной сферой $\mathbb {S} ^{2}={\hat {\mathbb {C} }}$ $\mathbb {S} ^{2}={\hat {\mathbb {C} }}$ как подлежащие пространство можно получить задав две карты $f,\;g\colon \mathbb {C} \to {\hat {\mathbb {C} }}$ $f,\;g\colon \mathbb {C} \to {\hat {\mathbb {C} }}$ , $f(z)=z^{m}$ $f(z)=z^{m}$ и $g(z)=1/z^{n}$ $g(z)=1/z^{n}$ для натуральных чисел $m$ $m$ и $n$ $n$ .
- Этот орбифолд является хорошим тогда и только тогда, когда $n=m$ .

История

Впервые орбифолды были рассмотрены Сатаке^[англ.], который назвал их V-многообразиями. Термин «орбифолд» (англ. orbifold) был введён позже Тёрстоном.

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

Примечания

↑ arXiv:1801.03472

Литература

Арнольд, В. И. Особенности каустик и волновых фронтов. — М.: ФАЗИС, 1996. — 334 с. — ISBN 978-5-7036-0021-4.
Каку, Мичио. Введение в теорию суперструн / пер. с англ. Г. Э. Арутюнова, А. Д. Попова, С. В. Чудова; под ред. И. Я. Арефьевой. — М.: Мир, 1999. — 624 с. — ISBN 5-03-002518-9.
Кетов, С. В. Введение в квантовую теорию струн и суперструн. — Новосибирск: Наука, 1990. — 368 с. — ISBN 5-02-029660-0.
Скотт П. Геометрия на трёхмерных многообразиях. — М.: Мир, 1986.
Dixon L., Harwey J. A., Vafa C., Witten E. Strings on orbifolds // Nucl. Phys., 1985, B261, 678; 1986, B274, 286.

[1] rXiv:1801.03472

[1]