Orbifold

Orbifold , nebo orbifold , - neformálně řečeno, toto je varieta se singularitami , které vypadají jako faktor euklidovského prostoru konečnou grupou.

Jeden z předmětů studia algebraické topologie , algebraické a diferenciální geometrie, teorie singularity .

Orbifold a manifold (porovnání definic)

Orbifold je definován jako Hausdorffův topologický prostor (nazývaný základní prostor orbifoldu) a význačný soubor otevřených mapování (tzv . atlas ) tak, že obrazy tvoří pokrytí prostoru .

Atlas musí splňovat určitý soubor vlastností, které neformálně popisujeme.

Na rozdíl od variet nejsou mapy homeomorfismy, ale pro každou mapu existuje konečná skupina , která působí a mapuje sama sebe. Také pro orbifoldy mezi grafy existují srovnávací homeomorfismy, ale na rozdíl od odrůd nejsou jedinečné a jsou do sebe překládány působením odpovídajících skupin.

Poznámka

Příklady

Historie

Orbifoldy byly poprvé zvažovány Satakem který nazval V - manifoldy Termín „orbifold“ ( anglicky  orbifold ) zavedl později Thurston .

Oba definovali orbifold jako různý akční faktor skupiny (v moderní terminologii definovali „dobré orbifoldy“). Později André Hafliger dal obecnější definici v podmínkách grupoidů , což je standardní moderní definice.

Poznámky

  1. arXiv : 1801.03472

Literatura