軌形

拓撲學與幾何學中，軌形（orbifold，“有軌的流形”）是對流形的推廣。粗略地說，軌形是局部為歐氏空間的有限群商的拓撲空間。
軌形的定義已出現過好幾次：1950年代佐武一郎在研究自守形式時將其命名為“V-流形”；19561970年代，威廉·瑟斯頓在研究3-流形的幾何時loc=Chapter 13，經過與學生的投票將其命名為“軌形”；1980年代，André Haefliger在研究米哈伊爾·格羅莫夫的CAT(k)空間綱領時將其命名為“軌邊形”（orbihedron）。1990
歷史上，早在正式定義出現前，軌形首先是作為具有奇點的曲面出現的。1985最早的經典例子之一出現在模形式理論中，1970模群對上半平面的作用：對商添加2個軌形尖點、實現緊化後，可得到黎曼–羅赫定理的一種表述。3-流形理論中，赫伯特·塞弗特提出的塞弗特纖維空間理論可用2維軌形表述。1983幾何群論中，後格羅莫夫時期的離散群是根據“軌邊形”（orbihedron）及其覆疊空間的局部曲率特性來研究的。1999
弦論中，“軌形”的含義略有不同。1997下詳。二維共形場論中，“軌形”指頂點代數在自同構的有限群作用下附著於定點的子代數。
底空間的主要例子是流形在具有迷向有限子群的微分同胚（可能無限）群的純不連續作用下的商空間。1972這尤其適於有限群的任何作用，於是有界流形帶有自然的軌形結構，因為它是自身的雙倍對作用的商。
拓撲空間可攜帶不同的軌形結構。例如，考慮與沿旋轉的圓的商空間相關聯的軌形O，其與圓同胚，但自然軌形結構不同。可將流形的大部分特徵直接推廣到軌形，而它們通常不同於底空間的相應特徵。上述例子中，O的軌形基本群是，其軌形歐拉示性數為1。

**正式定義**

**使用軌形圖集**
與流形類似，軌形也由局部條件指定；不過軌形不是以的開子集為局部模型，而用的開子集對有限群作用的商。軌形的結構不僅包括底商空間的結構（不必是流形），還包括迷向子群。
n維軌形包含豪斯多夫拓撲空間X，稱作底空間（underlying space）；以及一個覆疊，包含對有限交封閉的開集。都有- 開子集，在有限群的忠實線性作用下不變；- 連續映射（在下不變），稱作軌形座標圖（chart），定義了與間的同胚。
若滿足下列屬性，則軌形座標圖的集合形成軌形圖集（atlas）：- 對每個包含，都有單射群同態- 對每個包含，都有-等變同胚的開子集，稱作膠合映射（gluing map）- 膠合映射與座標圖相容，即- 膠合映射在群元素組成的意義上是唯一的，即對中唯一的g，的任意其他可能的膠合映射都有形式。
對流形上的圖集，若X的兩個軌形圖集能連續地組合成更大的軌形圖集，則稱它們等價。於是，軌形結構是軌形圖集的等價類。
注意軌形結構在同構意義上決定了軌形上任意點的迷向子群：可作為任意軌形座標圖上點的穩定子來計算。若，則在中有唯一的過渡元素，使得

這些過渡元素滿足

以及上循環關係（不失結合性）
 
更廣義地說，在軌形座標圖對軌形的開覆疊上，附著著叫做“復群”的組合數據。（下詳）
與流形的情形完全一樣，可對膠合映射施加可微條件，得到微分軌形。若軌形座標圖上還存在不變的黎曼度量，且膠合映射等距，則稱為黎曼軌形。

**用李廣群定義**
廣群包含對象集合、箭頭集與結構映射（包括源映射和目標映射及允許箭頭組合、取逆的其他映射）。若都是光滑流形；所有結構映射都光滑；源映射和目標映射都是浸沒，則稱其為李廣群。源纖維與目標纖維在給定點的交，即集合，是在x點的迷向群，是個李群。若映射是緊合映射，則稱李廣群也緊合（proper）；若源映射和目標映射都是局部微分同胚，則稱平展。
軌形廣群由以下等價定義給出：- 緊合平展李廣群；- 緊合李廣群，其迷向為離散空間。
由於緊合廣群的迷向群自動地緊，離散條件意味著迷向群必須是有限群。
在上述定義中，軌形廣群與軌形圖集起類似作用。事實上，在豪斯多夫拓撲空間X上的軌形結構被定義為軌形廣群的森田等價類，以及同胚，其中是李廣群G的軌道空間（即當時，若有，M對等價關係的商）。這定義表明，軌形是一種特殊的微分疊。

**兩種定義間的關係**
給定空間X上的軌形圖集，可構造偽群，由X的開集間所有保留了過渡函數的微分同胚組成。反過來，其元素的芽空間是軌形廣群。此外，據軌形圖集的定義，有限群都忠實地作用於，所以廣群自動地有效，即映射都是單射。當且僅當與之相關聯的軌形廣群森田等價時，兩個不同的軌形圖集會產生相同的軌形結構。於是，第一個定義的軌形結構（也稱為經典軌形）在第二個定義下是特殊的。
反過來說，給定軌形廣群，在其軌道空間上有規範軌形圖集，其相關的有效軌形廣群與G 森田等價。由於森田等價廣群的軌道空間是同胚的，在有效情況下，第二個定義的軌形結構還原了經典軌形。
因此，雖然軌形圖集的概念更簡單，在文獻中也更常見，但軌形廣群在討論非有效軌形與軌形間的映射時特別有用。例如，軌形間的映射可用廣群間的同胚描述，比底拓撲空間之間的底連續映射攜帶更多信息。

**例子**
 無界流形都是軌形，其中每個群都是平凡群。等價地，其對應單位廣群的森田等價類。- 若N是緊有界流形，則其加倍（double）M可由N與其鏡像沿共同邊界粘合而成。在固定共同邊界的流形M上存在的自然反射作用，商空間可被認同為N，於是N具有自然軌形結構。- 若M是黎曼n維流形，且具有離散群Γ的餘緊等距真作用（cocompact proper isometric），則軌道空間具有自然軌形結構：，取代表性的與其開鄰域，在穩定子下不變，與在m處的指數映射下的子集等價確定；有限多鄰域覆蓋X，而它們的有限交（若非空）都被相應群與Γ-平移（Γ-translate）的交覆蓋。這樣產生的軌形稱作可發展或性質良好。- 亨利·龐加萊的一個經典定理將福斯群構造為雙曲反射群，由雙曲面中測地三角形邊的反射生成，符合龐加萊度量。若三角形有角（為正整數），則其是基本域，自然是2維軌形，對應的群是雙曲三角群的例子。龐加萊還給出了這一結果對克萊因群的3維版本：這時，克萊因群Γ由雙曲反射生成，軌形是。- 若M是閉2維流形，則可從M中取出有限多不交閉圓盤，再分別粘回圓盤（D是閉單位圓盤，是旋轉的有限循環群），這樣便在Mi上定義了新的軌形結構。

**軌形基本群**
有幾種方法定義軌形基本群。更精緻的方法是用軌形覆疊空間或分類空間（廣群的空間）。最簡單的方法（Haefliger採用，瑟斯頓也使用）推廣了基本群標準定義中的環圈。
軌形路徑在底空間中，具有明確的將路徑分段提升到軌形座標圖的方法，及明確的識別重疊座標圖中路徑的群元素；若底路徑是環圈，則稱之為軌形環圈。兩軌形路徑若通過與軌形座標圖中的群元素相乘而產生關聯，則它們就被確認了。軌形基本群是由軌形環圈的同倫類形成的群。
若軌形來自單連通流形M對離散群Γ的緊合剛性作用（proper rigid action）的商，則軌形基本群可被認同為Γ。總的來說，它是Γ對的群擴張。
若軌形來自對群作用的商，則稱其可發展或性質良好；否則稱不良。類比拓撲空間的萬有覆疊空間，可為軌形構造萬有覆疊軌形，即“軌形上的點，與連接點和基點的軌形路徑的同倫類”的對子組成的空間。這空間自然是軌形。
注意，若可收縮開子集上的軌形座標圖對應群Γ，則Γ到軌形基本群，有自然的局部同胚。
以下條件等價：- 軌形是良好的。- 萬有覆疊軌形上的軌形結構平凡。- 對可收縮開集的覆疊，局部同胚都是單射。

**作為廣義微分幾何**
軌形可定義在廣義微分幾何的一般框架中，2013可以證明其等價於4=2010佐武一郎的原始定義：1956
定義. 軌形是在每個點上都與某個（n是整數，G是有限線性群，後者不是定的）局部微分同胚的微分空間（diffeological space）。
這個定義需要一些說明：- 這個定義模仿了廣義微分幾何中流形的定義，即每個點上都與存在局部微分同胚的微分空間。- 軌形首先是微分空間，具備廣義微分幾何的集合。然後，廣義微分幾何在檢驗中，於每點都局部微分同胚於商，其中G是有限線性群。- 這定義等同於loc=Theorem 46Haefliger軌形。1984- {軌形}是{廣義微分幾何}的子範疇，其對象是微分空間，態射是光滑映射。軌形間的光滑映射，是對其廣義微分幾何而言光滑的映射。這就解決了佐武一郎在定義中所說：loc=Footnote p.469“如此定義的-映射有點不方便：在不同的定義族中定義的兩個-映射之複合並不總是-映射。”事實上，有些軌形間的光滑映射並不作為等變映射局部提升（lift）。loc=Example 25
注意，作為微分空間的軌形的基本群不同於上面定義的基本群，後者與結構廣群3=2017及其迷向群有關。

**軌空間**
在幾何群論的應用中，用Haefliger提出的略微廣義的軌形概念往往更方便。軌空間（orbispace）之於拓撲空間，如同軌形之於流形，是軌形概念在拓撲學的推廣。其定義用具有有限群的剛性作用的局部緊空間代替了軌形座標圖模型，即具有平凡迷向的點是稠密的（忠實線性作用自動滿足這條件，因為任何非平凡群元素固定的點都會形成緊合線性子空間）考慮軌空間上的度量空間結構也是有用的，它們由軌空間上的不變度量給出，其中膠合映射保留距離。這時，通常要求軌空間座標圖是長度空間，具有連接任意兩點的唯一測地線。
令X為賦以度量空間結構的軌空間，其座標圖是測地線長度空間。前面關於軌形的定義和結果可推廣到軌空間基本群和萬有覆疊軌空間，及類似的可發展性標準。軌空間座標圖上的距離函數可用於定義萬有覆疊軌空間中軌空間路徑的長度，若每個座標圖中的距離函數曲率非正，則伯克霍夫曲線縮短論證就可證明，任何定端點軌空間路徑都與唯一的測地線同倫。將這應用於軌空間座標圖中的常路徑，可知每個局部同態都是單射，於是：- 曲率非正的軌空間都是良好的。

**復群**
每個軌形都與由復群給出的附加組合結構有聯繫。

**定義**
抽象單純復形Y上的復群由以下條件給出- 對Y的每個單純形σ，有限群- 單射同態- 對每個包含，都有群元素使得（其中Ad表示共軛的伴隨作用）
此外，群作用還要滿足上循環條件

對每個單形鏈（若Y的維度小於等於2，這條件就是空的）
任意元素的選擇都會產生等價的復群，定義如下
只要無處不在，就稱復群是單的。- 一個簡單的歸納論證表明，單純形上的復群都等價於各處的復群。
用Y的重心重分通常更方便，概念上也更吸引人。這細分的頂點對應Y的單形，因此頂點附帶一個群。重心重分的邊自然有向（對應單形的包含），有向邊給出了群的包含。三角形都附有過渡元素，屬於恰有1頂點的群；（若有）四面體給出了過渡元素的上循環關係。於是，復群只涉及重心重分的3-骨架；若是單的，則只涉及2-骨架。

**例子**
若X是軌形或軌空間，從軌形座標圖中擇一由開子集構成的覆疊。令Y為由覆疊的神經給出的抽象單純復形：其定點是覆疊集，n單形對應非空交對每個這樣的單純形，都有相關聯的群，同態成為同態。每個三元鏈對應交
 
有座標圖，以及膠合映射
有唯一的過渡元素，使軌形的過渡元素滿足的關係意味著復群所需的關係，這樣，復群就可通過軌形（或軌空間）座標圖，規範地與開覆疊的神經相關聯。用非交換層理論和束的語言來說，這時的復群是作為與覆疊相關聯的群層產生的；數據是非交換層上同調中的一個2-上循環，數據給出了2-上邊界擾動。

**邊徑群**
復群的邊徑群（edge-path group）可定義為單純復形邊徑群的自然推廣。在Y的重心重分中，取對應於i到j的邊（）的生成子，則有單射令Γ為由生成的群，具有關係

其中，且

若
對於定頂點，邊徑群定義為由Γ的所有積生成的子群：

其中是一條邊徑，位於中，

**可發展復形**
在具有有限商的單純復形X上，離散群的單純緊合作用若滿足以下條件之一，則稱該作用正則（regular）：1972- X以有限子復形為基本域；- 商具有自然單純結構；- 商單純結構在定點的軌道表示上一致；- 若和是單形，則對部分
這時，基本域和商可自然地確定為單純復形，由基本域中單形的穩定子給出。這樣得到的復群Y稱作可發展（developable）。- 復群可發展，當且僅當到邊徑群的同態是單射。- 復群可發展，當且僅當對每個單形σ，有單射同態，其中後者是定離散群，使得。這時，單純復形X得到了規範的定義：其有k單形，其中σ是Y的k單形，x在上運行。利用復群對單形的限制等價於具有平凡上循環這一事實，可以檢驗一致性。
Γ在X的重點重分X上的作用總滿足以下條件，弱於正則性：- 只要σ和是某單形τ的子單形，則它們就相等：
事實上，X '中的單形對應X中的單形鏈，因此單形子鏈給出的子單形由子鏈中單形的大小唯一確定。作用滿足這條件時，g必然固定了σ的所有頂點。有直接的歸納證明表明，這樣的作用在重心重分上是正則的；特別是- 在第二重心重分X"上的作用正則；- Γ自然地與X"中基本域的重心子分用邊徑和定點穩定子定義的邊徑群同構
事實上沒必要進行第三次重心重分：如Haefliger利用範疇論的語言指出的，這時X基本域的3-骨架已經承載了所有必要數據，包括三角形的過渡元素，可定義與Γ同構的邊徑群。
2維中，這尤其容易描述。X的基本域具有與群Y的複合的重心重分Y相同的結構，即- 有限2維單純復形Z；- 所有邊的方向；- 若是邊，則 也是邊，且是三角形；- 有限群附著於定點，包含於邊；過渡元素描述了相容性，接到三角形。
這樣就可以定義邊徑群。重心子分Z也繼承了類似結構，其邊徑群同構於Z的邊徑群。

**軌邊形**
若可數離散群在單純復形上有正則單純緊合作用，則商不僅可被賦予復群的結構，還可被賦予軌空間結構。這就引出了“軌邊形”（orbihedron）概念，其是軌形的簡單類似物。

**定義**
令X是有限單純復形，有重心重分X。軌邊形結構包含：- 對每個定點，都有由有限群的剛性單純作用的單純復形。- 到X中i的鄰域的單純映射使得商與一致。
在上的這作用延伸到上單純錐的單純作用（i和的單純鏈接），並固定了錐心i，映射延伸為單純映射（i的星），將重心帶到i上，因此可與等同，在i處給出一個軌邊形座標圖。- 對X的有向邊，單射同態- 對每條有向邊，等變單純膠合映射- 膠合映射與座標圖相容，即- 膠合映射在與群元素的複合的意義上唯一，即對唯一的的任何其他可能的膠合映射都具有形式。
若，則有唯一的過渡元素使得

這些過渡元素滿足

及上循環關係


**主要性質**
 軌邊形的群論數據給出了X上的復群，因為重點重分X的頂點i對應X中的單形。- X上的每個復群都與X上本質上唯一的軌邊形結構相關聯。注意到與X的單形σ相對的X的頂點i的星與鏈具有自然分解，就可得到這一關鍵事實：星與σ同σ的重心重分σ'的聯合給出的抽象單純復形同構，鏈與X中的σ鏈與σ'中σ的重心鏈的聯合同構。將復群限制在X中σ的鏈上，則所有群都有到的單射同態。由於X中的i鏈被由作用的單純復形規範覆疊，這就在X上定義了軌邊形結構。- 軌邊形基本群只是相關復群的邊徑群。- 每個軌邊形自然也是軌空間：在單純復形的幾何實現中，軌空間可用星的內部來定義。- 軌邊形基本群可自然地等同於相關軌空間的基本群。將單純近似定理應用於軌空間座標圖中的軌空間路徑段，便知：多面體的基本群可與邊徑群吻合，這是經典證明的直接變體。- 與軌邊形相關的軌空間具有規範度量結構（canonical metric structure），局部上來自歐氏空間標準幾何實現中的長度度量，頂點映射到正交基上。也用其他度量結構，如雙曲空間中實現單形而得到的長度度量，其中單形沿著共同邊界等距地形成。- 當且僅當每個軌邊形座標圖中鏈的圍長大於等於6（即，鏈中任何閉合迴路長度至少為），與軌邊形相聯繫的軌空間擁有非正的曲率。這條件在阿達馬空間理論中十分有名，只取決於底復群。- 萬有覆疊軌邊形的曲率非正時，其基本群是無限群，由迷向群的同構副本生成。這源於軌空間的相應結果。

**群三角**
歷史上，幾何群論中最重要的軌形的應用之一就是群三角。塞爾關於樹的講座將混合自由積視作對樹的作用，討論了1維“群區間”；群三角是最簡單的將其推廣到2維的示例。在的仿射Bruhat–Tits建造中，當離散群簡單地作用於三角時，就產生這樣的群三角；1979年，戴維·芒福德發現了的第一個例子（下詳），作為產生與射影空間不同構而有相同貝蒂數的代數曲面的一步。Gersten & Stallings詳細研究了群三角，而上述復群的更一般情形則是Haefliger獨立提出的。由非正曲率度量空間分析有限呈現群的基本幾何方法由格羅莫夫提出。這樣，群三角對應曲率非正的2維單純復形，具有群的正規作用，在三角形上有傳遞性。
right
群三角是由三角形ABC組成的簡單復群，其中有這些群：- 每個頂點的- 每條邊的- 三角形本身的
到其他群有單射同態，邊群到也有單射同態。到頂點群的三種映射都一致（通常是平凡群）。對應軌空間上的歐氏度量結構曲率非正，當且僅當軌邊形座標圖中每個頂點的鏈的圍長不小於6。
頂點上的圍長總是偶數，且正如Stallings觀察到的，在頂點A上，可描述為到達兩邊群在上的混合自由積的的自然同態核中的最小字長：

歐氏度量結構所得結果不理想。Stallings將角α、β、γ定義為2π/圍長，在歐氏情況下α、β、γ ≤ π/3；而若只要求α + β + γ ≤ π，便有可能由龐加萊度量得到與雙曲面上相應的測地三角（取等時等同於歐氏平面）。雙曲幾何的經典結果是，雙曲中線相交於雙曲重心，與我們熟悉的歐氏幾何情形一樣。這模型的重心重分和度量在相應的軌空間上產生了曲率非正的度量結構，因此若α+β+γ≤π：- 群三角的軌空間良好；- 相應邊徑群（也可說是群三角的上極限）是無限群；- 頂點群到邊徑群的同態是單射。

**芒福德的例子**
法諾面
設，由在中的二項展開式得到，並使。令
 
令，K上的3維向量空間，為基。定義E上的K線性算子如下：- σ為E在K上的伽羅瓦群的生成器，是由給出的3階元素- τ是E上與ζ相乘的算子，元素階數為7- ρ是由給出的算子，於是是對的標量乘法。
生成了的離散子群，緊合作用於與相對應的仿射Bruhat–Tits建造。這個群對建造中的所有頂點、邊與三角形都傳遞。令
 
則- 生成了的子群Γ。- Γ是由生成的最小子群，在ρ的共軛作用下不變。- Γ簡單傳遞地作用於建造中的三角形。- 有三角形Δ，其邊的穩定子是由生成的3階子群。- Δ頂點的穩定子是21階弗羅貝尼烏斯群，由兩個3階元素生成，它們穩定了在這定點相遇的邊。- Δ的穩定子平凡。
元素生成了頂點的穩定子。可以認為這定點的鏈等同於的球面建造。穩定子則等同於法諾面的直射變換群，由固定一個點的3次對稱σ及所有7個點的循環置換τ生成（滿足）。法諾面可看做，σ可看作的弗羅貝尼烏斯自同態的約束，τ則是與任意不在素域中元素的乘法，即的循環乘法群的7階生成器。這個弗羅貝尼烏斯群簡單傳遞地作用於法諾面的21個標記，即帶標記點的直線。於是，E上σ、τ的公式“提升”（lift）了上的公式。
芒福德還通過傳遞到子群，得到了對建造頂點的簡單傳遞作用。群保留了定義域為，值域屬於的埃爾米特形式
 
其可看作是由於所以有群同態這作用使中的一個2維子空間不變，產生了同態是階數為16·3·7的群。另一方面，頂點的穩定子是21階子群，Ψ是其上的單射。於是，若合同子群定義為的2-西羅子群的Ψ下的原像，則對定點的群作用一定是簡單傳遞的。

**推廣**
其他三角形或2維復群的例子可由上述例子的變化來構造。
Cartwright et al.考慮了對建造頂點簡單傳遞的作用。這樣的作用會在有限射影平面的標記復形中的點x-線x*間產生雙射（或改良的對偶），和點的有向三角形集合，其在循環置換下不變，即x在z*上，y在x*上，z在y*上；任意兩點唯一確定第三點。所生成的群有生成器x（以點為標記），對每個三角形有關係一般來說，這種構造不對應於經典仿射建造上的作用。
更一般地說，如Ballmann & Brin所證的，類似的代數數據編碼了曲率非正2維單純復形頂點上的所有簡單傳遞作用，條件是每個頂點的鏈的圍長不少於6。數據包括- 生成集S，包含逆，但不含恆等；- 關係集，在循環置換下不變。
S中的元素g表示定頂點v的鏈中的頂點；關係對應鏈中的邊。對於有定點S與邊的圖的圍長至少要是6。可用復群和第二重心重分重建原單純復形。
有兩部分的希伍德圖
Swiatkowski基於對有向邊簡單傳遞的作用和每個三角形的3次對稱，構造了更多非正曲率2維復群的例子。這樣，復群也通過對第二重心重分的正則作用得到。最簡單的例子是Ballmann發現的：有有限群H與生成器的對稱集S（不含恆等），於是相應的凱萊圖的圍長至少為6。伴生群（associated group）由H和對合τ生成，使得
事實上，若Γ以這種方式作用，且固定一條邊則存在交換v、w的對合τ。v的鏈由頂點對稱子集，若鏈連通則生成H。三角形假設意味著

於是，若則有

由對三角形的簡單傳遞，可得
第二重心重分給出了由沿大邊相連的單子或細分三角形對組成的復群：後者依據識別S中的逆，得到的商空間進行索引。單個或“成對”的三角形又沿著共同的“脊線”連接起來。除了脊線兩端的頂點（穩定子分別為H、）及大三角形的其餘頂點（穩定子由適當的σ生成）外，單形的穩定子都平凡。大三角形中的3個小三角包含過渡元素。
當S的所有元素都是對合時，便沒有三角形需要加倍（double）。若將H看作14階二面體群D7、由對合a與7階元素b生成，其中

則H是由3個對合：生成。頂點的鏈由對應的凱萊圖給出，因此只是有兩部分的希伍德圖，即與的仿射建造完全相同。這種鏈結構意味著，對應的單純復形必須是歐氏建造，而目前似乎還不知道這些類型的作用能否實現在經典仿射建造：芒福德群（模標量）只在邊上簡單傳遞，而不在有向邊上簡單傳遞。

**2維軌形**
2維軌形有以下3類奇異點：- 邊界點- 橢圓點或n階迴轉點，如由n階旋轉的循環群商出的原點。- n階角反射器：由2n階二面體群商出的原點。
緊2維軌形有歐拉示性數，其中是底拓撲流形的歐拉示性數，是角反射器階數，是橢圓點階數。
2維緊連通軌形的歐拉示性數若為負，則具有雙曲結構；若是0，則具有歐幾里得結構；若為正，則或是不良的，或具有橢圓結構（若軌形沒有流形作為覆疊空間，則稱為不良）。也就是說，其萬有覆疊空間具有雙曲、歐氏或球面結構。
下表列出了非雙曲的緊2維連通軌形。17個拋物軌形是平面與17個壁紙群的商。

**3維軌形**
若3維流形是閉的、不可還原的且不含任何不可壓縮面，則稱其“小”。
軌形定理.  令M為小3維流形，φ為M的週期保向非平凡微分同胚。則，M具有φ不變的雙曲或塞弗特纖維結構。
這是瑟斯頓軌形定理（1981，未經證明）的特例，是幾何化猜想的一部分。它意味著，若X的緊連通有向不可還原、具有非空奇異軌跡的非環狀3維軌形，則M具有幾何結構（在軌形的意義上）。完整證明由Boileau, Leeb & Porti (2005)給出。

**應用**

**弦論**
弦論中，“軌形”的意義稍有不同。數學中的軌形是流形的推廣，允許有鄰域微分同胚於對有限群之商（）的點。物理學中，軌形則通常描述能全局描寫為軌道空間M/G（M是流形或理論，G是其等距的群或對稱，不必是所有等距群）的對象。這些對稱性在弦論中不必有幾何解釋。
定義在軌形上的量子場論在G的定點附近變得奇異。不過，弦論要求我們在閉弦希爾伯特空間中增加新的部分——即“扭結弦”（twisted sector），當中定義在閉弦上的場在G作用下是週期性的。於是，軌形化成為了弦論的一般程序，從舊弦論推出新弦論。這能減少狀態數，因為狀態在G下必須不變；但也增加了狀態數，因為增加了扭結弦。結果通常是完美平滑的新弦論。
低能情形下，軌形上傳播的D膜由箭圖定義的規範場論描述。連接到這些D膜上的開弦沒有扭結弦，於是開弦狀態數會隨軌形化減少。
更具體地說，軌形群G是時空等距的離散子群時，若無定點，則通常得到緊光滑空間；扭結弦包含纏繞在緊維度上的閉弦，後者也稱作“纏繞態”（winding state）。
軌形群G是時空等距的離散子群，且有定點時，通常有錐奇點，因為在的定點處有這樣的奇點。弦論中，引力奇點通常代表著額外自由度，位於時空中的軌跡點（locus point）。在軌形情形下，這些自由度就是扭結態，是“卡”在定點上的弦。當與扭結態相關的場獲得非零真空期望值，奇點便發生變形，即度量發生變化，在點附近變得正規（regular）。江口-漢森時空就是一例由此產生的幾何。
從定點附近的D膜看來，對附著於D膜上的開弦的有效理論是超對稱場論，其真空空間有奇異點，存在額外的無質量自由度。與閉弦扭結弦有關的場以這樣一種方式同開弦耦合，即在超對稱場論的拉格朗日量中添加Fayet–Iliopoulos項，於是場獲得非零真空期望值時，Fayet–Iliopoulos項非零，理論從而變形，使奇點不再存在 date=20240329150554 , 。

**卡拉比-丘流形**
超弦理論中，構造現實的現象學模型需要維度減化，因為弦在10維空間中才能自然傳播，而觀測到的宇宙時空則是4維的。理論的形式約束對額外“隱”變量所在的緊化空間施加了限制：尋找具有超對稱的現實4維模型時，輔助緊化空間必須是6維卡拉比-丘流形。
可能的卡拉比-丘流形有很多（數以萬計），因此目前的理論物理學文獻常用“景觀”（landscape）描述這種令人困惑的選擇。卡拉比-丘流形的一般研究在數學上非常複雜，且長期以來難以明確構造實例。軌形被證明非常有用，因為軌形能自動滿足超對稱施加的約束。其奇點提供了卡拉比-丘流形退化的例子，但從理論物理學的角度看是完全可接受的。這種軌形稱作“超對稱”：在技術上比一般卡拉比-丘流形更容易研究。通常可將非奇異卡拉比-丘流形的連續族同奇異超對稱軌形聯繫起來。4維中，可用復K3曲面說明：
*K3曲面都有16個2維循環，其拓撲等價於通常的2球。當球面趨於0時，K3曲面會出現16個奇點。這個極限代表了K3曲面模空間邊界上的一點，對應軌形是由環面對逆對稱取商得到的。
1988年，對弦論中卡拉比-丘流形與不同模型（IIA、IIB）間對偶性的研究引發了鏡像對稱的想法。大約同一時期，Dixon, Harvey, Vafa & Witten首次指出了軌形的作用。

**樂理**
在數學和物理學的流形和各種應用外，最晚在1985年，Guerino Mazzola和後來Dmitri Tymoczko及同事2006、2008就已將軌形應用於樂理。Tymoczko的論文是《科學》的第一篇樂理論文。Mazzola和Tymoczko參與了有關其理論的討論，在各自的網站上發表了一系列評論。
沃羅諾伊區域（按和絃類似著色），區域中心代表三音和絃，最中心是增三和絃，圍繞著大三、小三和絃（石灰綠和海軍藍）。白色是退化三和絃（1個音重複3次），連接中心的三條線（雙音和絃）構成扭曲三稜柱的牆壁，與圖像垂直的2D平面起到鏡面作用。
Tymoczko將由n個（不必不同）音和絃模型化為軌形中的點，即圓中n個無序點（不必不同）組成的空間，實現為n環面（圓上n個有序點的空間）對對稱群（對應有序集到無序集的移動）的商。
從音樂角度可解釋如下：- 樂音取決於基音頻率（音高），於是以正實數為參數。- 相差一個八度（頻率翻倍）的被視作同一樂音，這相當於對頻率取底數為2的對數（產生實數：），然後用整數取商（對應相差若干八度），得到圓（如）。- 和絃對應多個樂音，而不考慮順序——因此t個樂音（有序）對應圓上的t個有序點，或等價於t環面上的單點，而省略順序，相當於取對的商，得到軌形。
對雙和絃，這會產生閉莫比烏斯帶；對三和絃，這會產生軌形，可描述為三稜柱，其頂面和底面帶有120°（⅓）的扭轉，等同於截面為等邊三角形、且有扭轉的3維實心環面。
由此得到的軌形自然由重複的樂音（由t的整數部分）分層：開集包含不同樂音（分區），還有1維奇異集，包含所有相同樂音（分區），拓撲等價於圓，還有各種中間分區。還有一個明顯的圓，穿過等距點開集的中心。至於三和絃，三稜柱的3個側面對應2個相同樂音+1個不同樂音（分區），三條邊對應1維奇異集。頂面、底面是開集的一部分，它們的出現只是因為軌形被分割了——若將其視作帶扭曲的三角環面，便消失了。
Tymoczko認為，靠近中心的和絃（音程（幾乎）相等）構成了許多西方傳統和絃的基礎，這樣將其可視化有助於分析。中心有4個和絃（十二平均律下等間距：4/4/4），對應增三和絃（可視作音集）C♯FA、DF♯A♯、D♯GB、EG♯C（之後就循環了：FAC♯ = C♯FA），12個大三和絃和12個小三和絃是緊鄰中心的點——幾乎均勻分佈。大三和絃對應間距為4/3/5（或等價地5/4/3），小三和絃則對應3/4/5。音階變化對應軌形上點的移動，相鄰點之間的移動會產生更光滑的變化。

**另見**
 幾何商- 向形- 疊 (數學)

**腳註**

**參考文獻**
 cite book |first1=Alejandro |last1=Adem |first2=Johann |last2=Leida |first3=Yongbin |last3=Ruan |title=Orbifolds and Stringy Topology |series=Cambridge Tracts in Mathematics |volume=171 |publisher=Cambridge University Press |date=2007 |doi=10.1017/CBO9780511543081 |isbn=9780521870047 - isbn=0-8176-3508-4 - cite journal |doi=10.1007/BF01265309 |doi-access=free |last1=Ballmann |first1=Werner |last2=Brin |first2=Michael |year=1994 |title=Polygonal complexes and combinatorial group theory |journal=Geometriae Dedicata |volume=50 |issue=2 |pages=165–191 |s2cid=119617693 - url-status=dead - oclc=56349823 .-  s2cid = 119624092 - eprint=0711.1346 - Cite journal | title = Generalized Voice-Leading Spaces | first1 = Clifton | last1 = Callender | first2 = Ian | last2 = Quinn | first3 = Dmitri | last3 = Tymoczko | journal = Science | volume = 320 | issue = 5874 | pages = 346–348 | date = 18 April 2008 | url = http://www.music.princeton.edu/~dmitri/voiceleading.pdf | doi = 10.1126/science.1153021 | pmid = 18420928 | bibcode = 2008Sci...320..346C | s2cid = 35229232 | access-date = 2023-12-11 | archive-date = 2008-05-17 | archive-url = https://web.archive.org/web/20080517002520/http://music.princeton.edu/~dmitri/voiceleading.pdf | dead-url = no - isbn=4-931469-05-1 .- doi=10.1142/1235 .- .- doi=10.1142/1235 - cite book|first=Katsuo |last=Kawakubo |title=The Theory of Transformation Groups |publisher=Oxford University Press |date=1991 |isbn=0-19-853212-1- url=http://nrs.harvard.edu/urn-3:HUL.InstRepos:3612860 -   Errata: dead-url=no - isbn=978-3-642-61858-1   English translation of: date=1983 - doi=10.1142/1235 - cite journal |doi=10.1093/qjmath/52.2.231 |last1=Świątkowski |first1=Jacek |date=2001 |title=A class of automorphism groups of polygonal complexes |journal= Quarterly Journal of Mathematics |volume=52 |issue=2 |pages=231–247 - cite journal |doi=10.1090/S0273-0979-1982-15003-0 |last=Thurston |first=William |author-link=William Thurston |date=1982 |title=Three-dimensional manifolds, Kleinian groups and hyperbolic geometry |journal=Bulletin of the American Mathematical Society |volume=6 |issue=3 |pages=357–381 |doi-access=free - Cite journal |first=Dmitri |last=Tymoczko |journal=Science |date=7 July 2006 |volume=313 |issue=5783 |pages=72–74 |doi=10.1126/science.1126287 |url=http://www.brainmusic.org/EducationalActivitiesFolder/Tymoczko_chords2006.pdf |title=The Geometry of Musical Chords |pmid=16825563 |bibcode=2006Sci...313...72T |citeseerx=10.1.1.215.7449 |s2cid=2877171 |access-date=2023-12-11 |archive-date=2011-07-25 |archive-url=https://web.archive.org/web/20110725100537/http://www.brainmusic.org/EducationalActivitiesFolder/Tymoczko_chords2006.pdf |dead-url=no