拓撲學與幾何學中，軌形（orbifold，有軌的流形）是對流形的推廣。粗略地說，軌形是區域性為歐氏空間的有限群商的拓撲空間。 軌形的定義已出現過好幾次：1950 年代佐武一郎在研究自守形式時將其命名為 V 流形；1970 年代，威廉瑟斯頓在研究 3 流形的幾何時，經過與學生的投票將其命名為 軌形；1980 年代，André Haefliger 在研究米哈伊爾格羅莫夫的 CAT k 空間綱領時將其命名為 軌邊形（orbihedron）。 歷史上，早在正式定義出現前，軌形首先是作為具有奇點的曲面出現的。最早的經典例子之一出現在模形式理論中，模群 mathrm SL2Z 對上半平面的作用：對商新增 2 個軌形尖點、實現緊化後，可得到黎曼羅赫定理的一種表述。3 流形理論中，赫伯特塞弗特提出的塞弗特纖維空間理論可用 2 維軌形表述。幾何群論中，後格羅莫夫時期的離散群是根據 軌邊形（orbihedron）及其覆疊空間的局部曲率特性來研究的。 弦論中，軌形 的含義略有不同。下詳。二維共形場論中，軌形 指頂點代數在自同構的有限群作用下附著於定點的子代數。 底空間的主要例子是流形在具有迷向有限子群的微分同胚（可能無限）群的純不連續作用下的商空間。這尤其適於有限群的任何作用，於是有界流形帶有自然的軌形結構，因為它是自身的雙倍對 Z_2 作用的商。 拓撲空間可攜帶不同的軌形結構。例如，考慮與沿 pi 旋轉的圓的商空間相關聯的軌形 O，其與圓同胚，但自然軌形結構不同。可將流形的大部分特徵直接推廣到軌形，而它們通常不同於底空間的相應特徵。上述例子中，O 的軌形基本群是 Z_2，其軌形尤拉示性數為 1。 正式定義 使用軌形圖集 與流形類似，軌形也由區域性條件指定；不過軌形不是以 Rn 的開子集為區域性模型，而用 Rn 的開子集對有限群作用的商。軌形的結構不僅包括底商空間的結構（不必是流形），還包括迷向子群。 n 維軌形包含豪斯多夫拓撲空間 X，稱作底空間（underlying space）；以及一個覆疊，包含對有限交封閉的開集 U_i。forall U_i 都有 開子集 V_iin Rn，在有限群 Gamma_i 的忠實線性作用下不變； 連續對映 varphi_i V_ito U_i（在 Gamma_i 下不變），稱作軌形座標圖（chart），定義了 V_iGamma_i 與 U_i 間的同胚。 若滿足下列屬性，則軌形座標圖的集合形成軌形圖集（atlas）： 對每個包含 U_i subset U_j，都有單射群同態 f_ij Gamma_i rightarrowGamma_j 對每個包含 U_i subset U_j，都有 Gamma_i 等變同胚 psi_ij V_ito V_j 的開子集，稱作膠合對映（gluing map） 膠合對映與座標圖相容，即 phi_jcdotpsi_ijphi_i 膠合對映在群元素組成的意義上是唯一的，即對 Gamma_j 中唯一的 g，V_ito V_j 的任意其他可能的膠合對映都有 gcdotpsi_ij 形式。 對流形上的圖集，若 X 的兩個軌形圖集能連續地組合成更大的軌形圖集，則稱它們等價。於是，軌形結構是軌形圖集的等價類。 注意軌形結構在同構意義上決定了軌形上任意點的迷向子群：可作為任意軌形座標圖上點的穩定子來計算。若 U_i subset U_j subset U_k，則在 Gamma_k 中有唯一的過渡元素 g_ijkinGamma_k，使得 g_ijkcdotpsi_ikpsi_jkcdotpsi_ij 這些過渡元素滿足 rm Ad g_ijkcdot f_ikf_jkcdot f_ij 以及上迴圈關係（不失結合性） f_kmg_ijkcdot g_ikmg_ijmcdot g_jkm 更廣義地說，在軌形座標圖對軌形的開覆疊上，附著著叫做 復群 的組合資料。（下詳） 與流形的情形完全一樣，可對膠合對映施加可微條件，得到微分軌形。若軌形座標圖上還存在不變的黎曼度量，且膠合對映等距，則稱為黎曼軌形。 用李廣群定義 廣群包含物件集合 G_0、箭頭集 G_1 與結構對映（包括源對映和目標對映 s t G_1 to G_0 及允許箭頭組合、取逆的其他對映）。若 G_0 G_1 都是光滑流形；所有結構對映都光滑；源對映和目標對映都是浸沒，則稱其為李廣群。源纖維與目標纖維在給定點 x in G_0 的交，即集合 G_1_x s1x cap t1x，是 G_1 在 x 點的迷向群，是個李群。若對映 st G_1 to G_0 times G_0 是緊合對映，則稱李廣群也緊合（proper）；若源對映和目標對映都是區域性微分同胚，則稱平展。 軌形廣群由以下等價定義給出： 緊合平展李廣群； 緊合李廣群，其迷向為離散空間。 由於緊合廣群的迷向群自動地緊，離散條件意味著迷向群必須是有限群。 在上述定義中，軌形廣群與軌形圖集起類似作用。事實上，在豪斯多夫拓撲空間 X 上的軌形結構被定義為軌形廣群 G rightrightarrows M 的森田等價類，以及同胚 MG simeq X，其中 MG 是李廣群 G 的軌道空間（即當 x sim y 時，若有 g in G s gx t gy，M 對等價關係的商）。這定義表明，軌形是一種特殊的微分疊。 兩種定義間的關係 給定空間 X 上的軌形圖集，可構造偽群，由 X 的開集間所有保留了過渡函式 varphi_i 的微分同胚組成。反過來，其元素的芽空間 G_X 是軌形廣群。此外，據軌形圖集的定義，有限群 Gamma_i 都忠實地作用於 V_i，所以廣群 G_X 自動地有效，即對映 g in G_X_x mapsto mathrm germ_x t circ s1 forall x in X 都是單射。當且僅當與之相關聯的軌形廣群森田等價時，兩個不同的軌形圖集會產生相同的軌形結構。於是，第一個定義的軌形結構（也稱為經典軌形）在第二個定義下是特殊的。 反過來說，給定軌形廣群 G rightrightarrows M，在其軌道空間上有規範軌形圖集，其相關的有效軌形廣群與 G 森田等價。由於森田等價廣群的軌道空間是同胚的，在有效情況下，第二個定義的軌形結構還原了經典軌形。 因此，雖然軌形圖集的概念更簡單，在文獻中也更常見，但軌形廣群在討論非有效軌形與軌形間的對映時特別有用。例如，軌形間的對映可用廣群間的同胚描述，比底拓撲空間之間的底連續對映攜帶更多資訊。 例子 無界流形都是軌形，其中每個群 Gamma_i 都是平凡群。等價地，其對應單位廣群的森田等價類。 若 N 是緊有界流形，則其加倍（double）M 可由 N 與其映象沿共同邊界粘合而成。在固定共同邊界的流形 M 上存在 mathbb Z_2 的自然反射作用，商空間可被認同為 N，於是 N 具有自然軌形結構。 若 M 是黎曼 n 維流形，且具有離散群 Γ 的餘緊等距真作用（cocompact proper isometric），則軌道空間 XMGamma 具有自然軌形結構：forall xin X，取代表性的 min M 與其開鄰域 V_m，在穩定子 Gamma_m 下不變，與 T_mM 在 m 處的指數對映下的 Gamma_m 子集等價確定；有限多鄰域覆蓋 X，而它們的有限交（若非空）都被相應群 g_mGamma g_m1 與 Γ 平移（Γtranslate）g_mcdot V_m 的交覆蓋。這樣產生的軌形稱作可發展或性質良好。 亨利龐加萊的一個經典定理將福斯群構造為雙曲反射群，由雙曲面中測地三角形邊的反射生成，符合龐加萊度量。若三角形有角 pin_i（n_i 為正整數），則其是基本域，自然是 2 維軌形，對應的群是雙曲三角群的例子。龐加萊還給出了這一結果對克萊因群的 3 維版本：這時，克萊因群 Γ 由雙曲反射生成，軌形是 mathbb H3Gamma。 若 M 是閉 2 維流形，則可從 M 中取出有限多不交閉圓盤，再分別粘回圓盤 DGamma_i（D 是閉單位圓盤，Gamma_i 是旋轉的有限迴圈群），這樣便在 Mi 上定義了新的軌形結構。 軌形基本群 有幾種方法定義軌形基本群。更精緻的方法是用軌形覆疊空間或分類空間（廣群的空間）。最簡單的方法（Haefliger 採用，瑟斯頓也使用）推廣了基本群標準定義中的環圈。 軌形路徑在底空間中，具有明確的將路徑分段提升到軌形座標圖的方法，及明確的識別重疊座標圖中路徑的群元素；若底路徑是環圈，則稱之為軌形環圈。兩軌形路徑若透過與軌形座標圖中的群元素相乘而產生關聯，則它們就被確認了。軌形基本群是由軌形環圈的同倫類形成的群。 若軌形來自單連通流形 M 對離散群 Γ 的緊合剛性作用（proper rigid action）的商，則軌形基本群可被認同為 Γ。總的來說，它是 Γ 對 pi_1M 的群擴張。 若軌形來自對群作用的商，則稱其可發展或性質良好；否則稱不良。類比拓撲空間的萬有覆疊空間，可為軌形構造萬有覆疊軌形，即 軌形上的點，與連線點和基點的軌形路徑的同倫類 的對子組成的空間。這空間自然是軌形。 注意，若可收縮開子集上的軌形座標圖對應群 Γ，則 Γ 到軌形基本群，有自然的區域性同胚。 以下條件等價： 軌形是良好的。 萬有覆疊軌形上的軌形結構平凡。 對可收縮開集的覆疊，區域性同胚都是單射。 作為廣義微分幾何 軌形可定義在廣義微分幾何的一般框架中，可以證明其等價於佐武一郎的原始定義： 定義。軌形是在每個點上都與某個 RnG（n 是整數，G 是有限線性群，後者不是定的）區域性微分同胚的微分空間（diffeological space）。 這個定義需要一些說明： 這個定義模仿了廣義微分幾何中流形的定義，即每個點上都與 Rn 存在區域性微分同胚的微分空間。 軌形首先是微分空間，具備廣義微分幾何的集合。然後，廣義微分幾何在檢驗中，於每點都區域性微分同胚於商 RnG，其中 G 是有限線性群。 這定義等同於 Haefliger 軌形。 軌形 是 廣義微分幾何 的子範疇，其物件是微分空間，態射是光滑對映。軌形間的光滑對映，是對其廣義微分幾何而言光滑的對映。這就解決了佐武一郎在定義中所說：如此定義的 Cinfty 對映有點不方便：在不同的定義族中定義的兩個 Cinfty 對映之複合並不總是 Cinfty 對映。 事實上，有些軌形間的光滑對映並不作為等變對映區域性提升（lift）。 注意，作為微分空間的軌形的基本群不同於上面定義的基本群，後者與結構廣群及其迷向群有關。 軌空間 在幾何群論的應用中，用 Haefliger 提出的略微廣義的軌形概念往往更方便。軌空間（orbispace）之於拓撲空間，如同軌形之於流形，是軌形概念在拓撲學的推廣。其定義用具有有限群的剛性作用的區域性緊空間代替了軌形座標圖模型，即具有平凡迷向的點是稠密的（忠實線性作用自動滿足這條件，因為任何非平凡群元素固定的點都會形成緊合線性子空間）考慮軌空間上的度量空間結構也是有用的，它們由軌空間上的不變度量給出，其中膠合對映保留距離。這時，通常要求軌空間座標圖是長度空間，具有連線任意兩點的唯一測地線。 令 X 為賦以度量空間結構的軌空間，其座標圖是測地線長度空間。前面關於軌形的定義和結果可推廣到軌空間基本群和萬有覆疊軌空間，及類似的可發展性標準。軌空間座標圖上的距離函式可用於定義萬有覆疊軌空間中軌空間路徑的長度，若每個座標圖中的距離函式曲率非正，則伯克霍夫曲線縮短論證就可證明，任何定端點軌空間路徑都與唯一的測地線同倫。將這應用於軌空間座標圖中的常路徑，可知每個區域性同態都是單射，於是： 曲率非正的軌空間都是良好的。 復群 每個軌形都與由復群給出的附加組合結構有聯絡。 定義 抽象單純復形 Y 上的復群 Y f g 由以下條件給出 對 Y 的每個單純形 σ，有限群 Gamma_sigma 單射同態 f_sigmatau Gamma_taurightarrowGamma_sigma sigmasubsettau 對每個包含 rhosubsetsigmasubsettau，都有群元素 g_rhosigmatauinGamma_rho 使得 rm Ad g_rhosigmataucdot f_rhotauf_rhosigmacdot f_sigmatau（其中 Ad 表示共軛的伴隨作用） 此外，群作用還要滿足上迴圈條件 f_pirhog_rhosigmatau g_pirhotaug_pisigmatau g_pirhosigma 對每個單形鏈 pi subset rhosubset sigma subset tau（若 Y 的維度小於等於 2，這條件就是空的） 任意元素的選擇 h_sigmatauinGamma_sigma 都會產生等價的復群，定義如下 f_sigmataurm Ad h_sigmataucdot f_sigmatau g_rhosigmatauh_rhosigmacdot f_rhosigmah_sigmataucdot g_rhosigmataucdot h_rhotau1 只要 g_rhosigma_tau1 無處不在，就稱復群是單的。 一個簡單的歸納論證表明，單純形上的復群都等價於各處 g_rhosigmatau1 的復群。 用 Y 的重心重分通常更方便，概念上也更吸引人。這細分的頂點對應 Y 的單形，因此頂點附帶一個群。重心重分的邊自然有向（對應單形的包含），有向邊給出了群的包含。三角形都附有過渡元素，屬於恰有 1 頂點的群；（若有）四面體給出了過渡元素的上迴圈關係。於是，復群只涉及重心重分的 3 骨架；若是單的，則只涉及 2 骨架。 例子 若 X 是軌形或軌空間，從軌形座標圖 f_i V_irightarrow U_i 中擇一由開子集構成的覆疊。令 Y 為由覆疊的神經給出的抽象單純復形：其定點是覆疊集，n 單形對應非空交 U_alphaU_i_1capldotscap U_i_n 對每個這樣的單純形，都有相關聯的群 Gamma_alpha，同態 f_ij 成為同態 f_sigmatau。每個三元鏈 rhosubsetsigmasubsettau 對應交 U_i supset U_i cap U_j supset U_i cap U_j cap U_k 有座標圖 varphi_i V_irightarrow U_i varphi_ij V_ijrightarrow U_icap U_j varphi_ijk V_ijkrightarrow U_icap U_jcap U_k，以及膠合對映 psi V_ijrightarrow V_i psi V_ijkrightarrow V_ij psi V_ijkrightarrow V_i 有唯一的過渡元素 g_rhosigmatauinGamma_i，使 g_rhosigmataucdotpsipsicdotpsi 軌形的過渡元素滿足的關係意味著復群所需的關係，這樣，復群就可透過軌形（或軌空間）座標圖，規範地與開覆疊的神經相關聯。用非交換層理論和束的語言來說，這時的復群是作為與覆疊 U_i 相關聯的群層產生的；資料 g_rhosigmatau 是非交換層上同調中的一個 2 上迴圈，資料 h_sigmatau 給出了 2 上邊界擾動。 邊徑群 復群的邊徑群（edgepath group）可定義為單純復形邊徑群的自然推廣。在 Y 的重心重分中，取對應於 i 到 j 的邊（irightarrow j）的生成子 e_ij，則有單射 psi_ij Gamma_irightarrowGamma_j 令 Γ 為由 e_ij Gamma_k 生成的群，具有關係 e_ij1cdot gcdot e_ijpsi_ijg 其中 ginGamma_i，且 e_ike_jkcdot e_ijcdot g_ijk 若 irightarrow jrightarrow k 對於定頂點 i_0，邊徑群 Gamma i_0 定義為由 Γ 的所有積生成的子群： g_0cdot e_i_0i_1cdot g_1cdot e_i_1i_2cdotdotscdot g_ncdot e_i_ni_0 其中 i_0 i_1 ldots i_n i_0 是一條邊徑，g_k 位於 Gamma_i_k 中，e_jie_ij irightarrow j 可發展復形 在具有有限商的單純復形 X 上，離散群的單純緊合作用若滿足以下條件之一，則稱該作用正則（regular）： X 以有限子復形為基本域； 商 YXGamma 具有自然單純結構； 商單純結構在定點的軌道表示上一致； 若 v_0 ldots v_k 和 g_0cdot v_0 ldots g_kcdot v_k 是單形，則對部分 ginGamma gcdot v_ig_i v_i 這時，基本域和商 YXGamma 可自然地確定為單純復形，由基本域中單形的穩定子給出。這樣得到的復群 Y 稱作可發展（developable）。 復群可發展，當且僅當 Gamma_sigma 到邊徑群的同態是單射。 復群可發展，當且僅當對每個單形 σ，有單射同態 theta_sigma Gamma_alphato Gamma，其中後者是定離散群，使得 theta_taucdot f_sigmatautheta_sigma。這時，單純復形 X 得到了規範的定義：其有 k 單形 sigma xGamma_sigma，其中 σ 是 Y 的 k 單形，x 在 GammaGamma_sigma 上執行。利用復群對單形的限制等價於具有平凡上迴圈 g_rhosigmatau 這一事實，可以檢驗一致性。 Γ 在 X 的重點重分 X 上的作用總滿足以下條件，弱於正則性： 只要 σ 和 gcdotsigma 是某單形 τ 的子單形，則它們就相等：sigmagcdotsigma 事實上，X 中的單形對應 X 中的單形鏈，因此單形子鏈給出的子單形由子鏈中單形的大小唯一確定。作用滿足這條件時，g 必然固定了 σ 的所有頂點。有直接的歸納證明表明，這樣的作用在重心重分上是正則的；特別是 在第二重心重分 X 上的作用正則； Γ 自然地與 X 中基本域的重心子分用邊徑和定點穩定子定義的邊徑群同構 事實上沒必要進行第三次重心重分：如 Haefliger 利用範疇論的語言指出的，這時 X 基本域的 3 骨架已經承載了所有必要資料，包括三角形的過渡元素，可定義與 Γ 同構的邊徑群。 2 維中，這尤其容易描述。X 的基本域具有與群 Y 的複合的重心重分 Y 相同的結構，即 有限 2 維單純復形 Z； 所有邊 irightarrow j 的方向； 若 irightarrow j jrightarrow k 是邊，則 irightarrow k 也是邊，且 i j k 是三角形； 有限群附著於定點，包含於邊；過渡元素描述了相容性，接到三角形。 這樣就可以定義邊徑群。重心子分 Z 也繼承了類似結構，其邊徑群同構於 Z 的邊徑群。 軌邊形 若可數離散群在單純復形上有正則單純緊合作用，則商不僅可被賦予復群的結構，還可被賦予軌空間結構。這就引出了 軌邊形（orbihedron）概念，其是軌形的簡單類似物。 定義 令 X 是有限單純復形，有重心重分 X。軌邊形結構包含： 對每個定點 iin X，都有由有限群 Gamma_i 的剛性單純作用的單純復形 L_i。 L_i 到 X 中 i 的鄰域 L_i 的單純對映 varphi_i 使得商 L_iGamma_i 與 L_i 一致。 Gamma_i 在 L_i 上的這作用延伸到 L_i 上單純錐 C_i 的單純作用（i 和 L_i 的單純連結），並固定了錐心 i，對映 varphi_i 延伸為單純對映 C_ito rm Sti（i 的星），將重心帶到 i 上，因此 varphi_i 可與 C_iGamma_i 等同，在 i 處給出一個軌邊形座標圖。 對 X 的有向邊 irightarrow j，單射同態 f_ij Gamma_ito Gamma_j 對每條有向邊 irightarrow j，Gamma_i 等變單純膠合對映 psi_ij C_ito C_j 膠合對映與座標圖相容，即 varphi_jcdotpsi_ijvarphi_i 膠合對映在與群元素的複合的意義上唯一，即對唯一的 gin Gamma_j V_ito V_j 的任何其他可能的膠合對映都具有 gcdotpsi_ij 形式。 若 i rightarrow j rightarrow k，則有唯一的過渡元素 g_ijkinGamma_k 使得 g_ijkcdotpsi_ikpsi_jkcdotpsi_ij 這些過渡元素滿足 rm Ad g_ijkcdot f_ikf_jkcdot f_ij 及上迴圈關係 psi_kmg_ijkcdot g_ikmg_ijmcdot g_jkm 主要性質 軌邊形的群論資料給出了 X 上的復群，因為重點重分 X 的頂點 i 對應 X 中的單形。 X 上的每個復群都與 X 上本質上唯一的軌邊形結構相關聯。注意到與 X 的單形 σ 相對的 X 的頂點 i 的星與鏈具有自然分解，就可得到這一關鍵事實：星與 σ 同 σ 的重心重分 σ 的聯合給出的抽象單純復形同構，鏈與 X 中的 σ 鏈與 σ 中 σ 的重心鏈的聯合同構。將復群限制在 X 中 σ 的鏈上，則所有群 Gamma_tau 都有到 Gamma_sigma 的單射同態。由於 X 中的 i 鏈被由 Gamma_sigma 作用的單純復形規範覆疊，這就在 X 上定義了軌邊形結構。 軌邊形基本群只是相關復群的邊徑群。 每個軌邊形自然也是軌空間：在單純復形的幾何實現中，軌空間可用星的內部來定義。 軌邊形基本群可自然地等同於相關軌空間的基本群。將單純近似定理應用於軌空間座標圖中的軌空間路徑段，便知：多面體的基本群可與邊徑群吻合，這是經典證明的直接變體。 與軌邊形相關的軌空間具有規範度量結構（canonical metric structure），區域性上來自歐氏空間標準幾何實現中的長度度量，頂點對映到正交基上。也用其他度量結構，如雙曲空間中實現單形而得到的長度度量，其中單形沿著共同邊界等距地形成。 當且僅當每個軌邊形座標圖中鏈的圍長大於等於 6（即，鏈中任何閉合迴路長度至少為），與軌邊形相聯絡的軌空間擁有非正的曲率。這條件在阿達馬空間理論中十分有名，只取決於底復群。 萬有覆疊軌邊形的曲率非正時，其基本群是無限群，由迷向群的同構副本生成。這源於軌空間的相應結果。 群三角 歷史上，幾何群論中最重要的軌形的應用之一就是群三角。塞爾關於樹的講座將混合自由積視作對樹的作用，討論了 1 維 群區間；群三角是最簡單的將其推廣到 2 維的示例。在 SL_3 mathbb Q_p 的仿射 BruhatTits 建造中，當離散群簡單地作用於三角時，就產生這樣的群三角；1979 年，戴維芒福德發現了 p2 的第一個例子（下詳），作為產生與射影空間不同構而有相同貝蒂數的代數曲面的一步。Gersten Stallings 詳細研究了群三角，而上述復群的更一般情形則是 Haefliger 獨立提出的。由非正曲率度量空間分析有限呈現群的基本幾何方法由格羅莫夫提出。這樣，群三角對應曲率非正的 2 維單純復形，具有群的正規作用，在三角形上有傳遞性。 群三角是由三角形 ABC 組成的簡單復群，其中有這些群： 每個頂點的 Gamma_A Gamma_B Gamma_C 每條邊的 Gamma_BC Gamma_CA Gamma_AB 三角形本身的 Gamma_ABC Gamma_ABC 到其他群有單射同態，邊群 Gamma_XY 到 Gamma_X Gamma_Y 也有單射同態。Gamma_ABC 到頂點群的三種對映都一致（Gamma_ABC 通常是平凡群）。對應軌空間上的歐氏度量結構曲率非正，當且僅當軌邊形座標圖中每個頂點的鏈的圍長不小於 6。 頂點上的圍長總是偶數，且正如 Stallings 觀察到的，在頂點 A 上，可描述為到達兩邊群 Gamma_CA Gamma_AB 在 Gamma_ABC 上的混合自由積的 Gamma_A 的自然同態核中的最小字長： Gamma_AB star_Gamma_ABC Gamma_AC rightarrow Gamma_A 歐氏度量結構所得結果不理想。Stallings 將角 α、β、γ 定義為 2π 圍長，在歐氏情況下 α、β、γ π3；而若只要求 α β γ π，便有可能由龐加萊度量得到與雙曲面上相應的測地三角（取等時等同於歐氏平面）。雙曲幾何的經典結果是，雙曲中線相交於雙曲重心，與我們熟悉的歐氏幾何情形一樣。這模型的重心重分和度量在相應的軌空間上產生了曲率非正的度量結構，因此若 αβγπ： 群三角的軌空間良好； 相應邊徑群（也可說是群三角的上極限）是無限群； 頂點群到邊徑群的同態是單射。 芒福德的例子 設 alphasqrt 7，由 1812 在 mathbb Q_2 中的二項展開式得到，並使 Kmathbb Qalphasubsetmathbb Q_2。令 begin alignzetarm exp2pi i7 lambdaalpha12zetazeta2zeta4 mulambdalambdaend align 令 Emathbb Qzeta，K 上的 3 維向量空間，1 zeta zeta2 為基。定義 E 上的 K 線性運算元如下： σ 為 E 在 K 上的伽羅瓦群的生成器，是由 sigma zetazeta2 給出的 3 階元素 τ 是 E 上與 ζ 相乘的運算元，元素階數為 7 ρ 是由 rho zeta1 rho zeta2zeta rho 1mucdotzeta2 給出的運算元，於是 rho3 是對 mu 的標量乘法。 rho sigma tau 生成了 GL_3 K 的離散子群，緊合作用於與 SL_3 mathbb Q_2 相對應的仿射 BruhatTits 建造。這個群對建造中的所有頂點、邊與三角形都傳遞。令 sigma_1sigma sigma_2rhosigmarho1 sigma_3rho2sigmarho2 則 sigma_1 sigma_2 sigma_3 生成了 SL_3 K 的子群 Γ。 Γ 是由 sigma tau 生成的最小子群，在 ρ 的共軛作用下不變。 Γ 簡單傳遞地作用於建造中的三角形。 有三角形 Δ，其邊的穩定子是由 sigma_i 生成的 3 階子群。 Δ 頂點的穩定子是 21 階弗羅貝尼烏斯群，由兩個 3 階元素生成，它們穩定了在這定點相遇的邊。 Δ 的穩定子平凡。 元素 sigma tau 生成了頂點的穩定子。可以認為這定點的鏈等同於 SL_3 mathbb F_2 的球面建造。穩定子則等同於法諾面的直射變換群，由固定一個點的 3 次對稱 σ 及所有 7 個點的迴圈置換 τ 生成（滿足 sigmatautau2sigma）。法諾面可看做 mathbb F_8，σ 可看作 mathbb F_8 的弗羅貝尼烏斯自同態 sigma xx22 的約束，τ 則是與任意不在素域 mathbb F_2 中元素的乘法，即 mathbb F_8 的迴圈乘法群的 7 階生成器。這個弗羅貝尼烏斯群簡單傳遞地作用於法諾面的 21 個標記，即帶標記點的直線。於是，E 上 σ、τ 的公式 提升（lift）了 mathbb F_8 上的公式。 芒福德還透過傳遞到子群 Gamma_1langlerho sigma tau Irangle，得到了對建造頂點的簡單傳遞作用。群 Gamma_1 保留了定義域為 mathbb Qzeta，值域屬於 mathbb Qalpha 的埃爾米特形式 f x yxysigma xysigma2 xy 其可看作是 U_3 fcap GL_3 S Smathbb Zalpha frac12 由於 Salphamathbb F_7 所以有群同態 Gamma_1to GL_3 mathbb F_7 這作用使 mathbb F_73 中的一個 2 維子空間不變，產生了同態 Psi Gamma_1to SL_2 mathbb F_7 是階數為 1637 的群。另一方面，頂點的穩定子是 21 階子群，Ψ 是其上的單射。於是，若合同子群 Gamma_0 定義為 SL_2 mathbb F_7 的 2 西羅子群的 Ψ 下的原像，則 Gamma_0 對定點的群作用一定是簡單傳遞的。 推廣 其他三角形或 2 維復群的例子可由上述例子的變化來構造。 Cartwright et al 考慮了對建造頂點簡單傳遞的作用。這樣的作用會在有限射影平面的標記復形中的點 x 線 x 間產生雙射（或改良的對偶），和點 x y z 的有向三角形集合，其在迴圈置換下不變，即 x 在 z 上，y 在 x 上，z 在 y 上；任意兩點唯一確定第三點。所生成的群有生成器 x（以點為標記），對每個三角形有關係 xyz1 一般來說，這種構造不對應於經典仿射建造上的作用。 更一般地說，如 Ballmann Brin 所證的，類似的代數資料編碼了曲率非正 2 維單純復形頂點上的所有簡單傳遞作用，條件是每個頂點的鏈的圍長不少於 6。資料包括 生成集 S，包含逆，但不含恆等； 關係集 g h k 1，在迴圈置換下不變。 S 中的元素 g 表示定頂點 v 的鏈中的頂點 gcdot v；關係對應鏈中的邊 g1cdot v hcdot v。對於 g1 hin S 有定點 S 與邊 g h 的圖的圍長至少要是 6。可用復群和第二重心重分重建原單純復形。 Swiatkowski 基於對有向邊簡單傳遞的作用和每個三角形的 3 次對稱，構造了更多非正曲率 2 維復群的例子。這樣，復群也透過對第二重心重分的正則作用得到。最簡單的例子是 Ballmann 發現的：有有限群 H 與生成器的對稱集 S（不含恆等），於是相應的凱萊圖的圍長至少為 6。伴生群（associated group）由 H 和對合 τ 生成，使得 forall gin S tau g31 事實上，若 Γ 以這種方式作用，且固定一條邊 v w 則存在交換 v、w 的對合 τ。v 的鏈由頂點 gcdot w gin 對稱子集 Ssubset HGamma_v，若鏈連通則生成 H。三角形假設意味著 forall gin S taucdot gcdot wg1cdot w 於是，若 sigmatau g ug1cdot w 則有 sigma xw sigma wu sigma uw 由對三角形 v w u 的簡單傳遞，可得 sigma31 第二重心重分給出了由沿大邊相連的單子或細分三角形對組成的復群：後者依據識別 S 中的逆，得到的商空間 Ssim 進行索引。單個或 成對 的三角形又沿著共同的 脊線 連線起來。除了脊線兩端的頂點（穩定子分別為 H、τ）及大三角形的其餘頂點（穩定子由適當的 σ 生成）外，單形的穩定子都平凡。大三角形中的 3 個小三角包含過渡元素。 當 S 的所有元素都是對合時，便沒有三角形需要加倍（double）。若將 H 看作 14 階二面體群 D7、由對合 a 與 7 階元素 b 生成，其中 abb1 a 則 H 是由 3 個對合：a ab ab5 生成。頂點的鏈由對應的凱萊圖給出，因此只是有兩部分的希伍德圖，即與 SL_3 mathbb Q_2 的仿射建造完全相同。這種鏈結構意味著，對應的單純復形必須是歐氏建造，而目前似乎還不知道這些型別的作用能否實現在經典仿射建造：芒福德群 Gamma_1（模標量）只在邊上簡單傳遞，而不在有向邊上簡單傳遞。 2 維軌形 2 維軌形有以下 3 類奇異點： 邊界點 橢圓點或 n 階迴轉點，如由 n 階旋轉的迴圈群商出的 mathbb R2 原點。 n 階角反射器：由 2n 階二面體群商出的 mathbb R2 原點。 緊 2 維軌形有尤拉示性數 chi chi X_0 sum_i1 1n_i2 sum_i 1 1m_i，其中 chi X_0 是底拓撲流形 X_0 的尤拉示性數，n_i 是角反射器階數，m_i 是橢圓點階數。 2 維緊連通軌形的尤拉示性數若為負，則具有雙曲結構；若是 0，則具有歐幾里得結構；若為正，則或是不良的，或具有橢圓結構（若軌形沒有流形作為覆疊空間，則稱為不良）。也就是說，其萬有覆疊空間具有雙曲、歐氏或球面結構。 下表列出了非雙曲的緊 2 維連通軌形。17 個拋物軌形是平面與 17 個桌布群的商。 型別 尤拉示性數 底 2 維流形 橢圓點階數 角反射器階數 不良 1 1n 球 n 1 不良 1m 1n 球 n m 1 不良 12 12n 圓盤 n 1 不良 12m 12n 圓盤 n m 1 橢圓 2 球 橢圓 2n 球 n n 橢圓 1n 球 2 2 n 橢圓 16 球 2 3 3 橢圓 112 球 2 3 4 橢圓 130 球 2 3 5 橢圓 1 圓盤 橢圓 1n 圓盤 n n 橢圓 12n 圓盤 2 2 n 橢圓 112 圓盤 2 3 3 橢圓 124 圓盤 2 3 4 橢圓 160 圓盤 2 3 5 橢圓 1n 圓盤 n 橢圓 12n 圓盤 2 n 橢圓 112 圓盤 3 2 橢圓 1 射影平面 橢圓 1n 射影平面 n 拋物 0 球 2 3 6 拋物 0 球 2 4 4 拋物 0 球 3 3 3 拋物 0 球 2 2 2 2 拋物 0 圓盤 2 3 6 拋物 0 圓盤 2 4 4 拋物 0 圓盤 3 3 3 拋物 0 圓盤 2 2 2 2 拋物 0 圓盤 2 2 2 拋物 0 圓盤 3 3 拋物 0 圓盤 4 2 拋物 0 圓盤 2 2 拋物 0 射影平面 2 2 拋物 0 環面 拋物 0 克萊因瓶 拋物 0 環形 拋物 0 莫比烏斯帶 3 維軌形 若 3 維流形是閉的、不可還原的且不含任何不可壓縮面，則稱其 小。 軌形定理。令 M 為小 3 維流形，φ 為 M 的週期保向非平凡微分同胚。則，M 具有 φ 不變的雙曲或塞弗特纖維結構。 這是瑟斯頓軌形定理（1981，未經證明）的特例，是幾何化猜想的一部分。它意味著，若 X 的緊連通有向不可還原、具有非空奇異軌跡的非環狀 3 維軌形，則 M 具有幾何結構（在軌形的意義上）。完整證明由 Boileau Leeb Porti 2005 給出。General introductions to this material can be found in Peter Scotts 1983 notes and the expositions of Boileau Maillot Porti and Cooper Hodgson Kerckhoff 應用 弦論 弦論中，軌形 的意義稍有不同。數學中的軌形是流形的推廣，允許有鄰域微分同胚於 mathbb Rn 對有限群之商（mathbb RnGamma）的點。物理學中，軌形則通常描述能全域性描寫為軌道空間 MG（M 是流形或理論，G 是其等距的群或對稱，不必是所有等距群）的物件。這些對稱性在弦論中不必有幾何解釋。 定義在軌形上的量子場論在 G 的定點附近變得奇異。不過，弦論要求我們在閉弦希爾伯特空間中增加新的部分 即 扭結弦（twisted sector），當中定義在閉弦上的場在 G 作用下是週期性的。於是，軌形化成為了弦論的一般程式，從舊弦論推出新弦論。這能減少狀態數，因為狀態在 G 下必須不變；但也增加了狀態數，因為增加了扭結弦。結果通常是完美平滑的新弦論。 低能情形下，軌形上傳播的 D 膜由箭圖定義的規範場論描述。連線到這些 D 膜上的開弦沒有扭結弦，於是開弦狀態數會隨軌形化減少。 更具體地說，軌形群 G 是時空等距的離散子群時，若無定點，則通常得到緊光滑空間；扭結弦包含纏繞在緊維度上的閉弦，後者也稱作 纏繞態（winding state）。 軌形群 G 是時空等距的離散子群，且有定點時，通常有錐奇點，因為 mathbb Rnmathbb Z_k 在 mathbb Z_k 的定點處有這樣的奇點。弦論中，引力奇點通常代表著額外自由度，位於時空中的軌跡點（locus point）。在軌形情形下，這些自由度就是扭結態，是 卡 在定點上的弦。當與扭結態相關的場獲得非零真空期望值，奇點便發生變形，即度量發生變化，在點附近變得正規（regular）。江口 漢森時空就是一例由此產生的幾何。 從定點附近的 D 膜看來，對附著於 D 膜上的開弦的有效理論是超對稱場論，其真空空間有奇異點，存在額外的無質量自由度。與閉弦扭結弦有關的場以這樣一種方式同開弦耦合，即在超對稱場論的拉格朗日量中新增 FayetIliopoulos 項，於是場獲得非零真空期望值時，FayetIliopoulos 項非零，理論從而變形，使奇點不再存在，。 卡拉比 丘流形 超弦理論中，M Green J Schwartz and E Witten Superstring theory Vol 1 and 2 Cambridge University Press 1987 ISBN 0521357527J Polchinski String theory Vol 2 Cambridge University Press 1999 構造現實的現象學模型需要維度減化，因為弦在 10 維空間中才能自然傳播，而觀測到的宇宙時空則是 4 維的。理論的形式約束對額外 隱 變數所在的緊化空間施加了限制：尋找具有超對稱的現實 4 維模型時，輔助緊化空間必須是 6 維卡拉比 丘流形。P Candelas Lectures On Complex Manifolds in Trieste 1987 Proceedings Superstrings 87 188 1987 可能的卡拉比 丘流形有很多（數以萬計），因此目前的理論物理學文獻常用 景觀（landscape）描述這種令人困惑的選擇。卡拉比 丘流形的一般研究在數學上非常複雜，且長期以來難以明確構造例項。軌形被證明非常有用，因為軌形能自動滿足超對稱施加的約束。其奇點提供了卡拉比 丘流形退化的例子， 但從理論物理學的角度看是完全可接受的。這種軌形稱作 超對稱：在技術上比一般卡拉比 丘流形更容易研究。通常可將非奇異卡拉比 丘流形的連續族同奇異超對稱軌形聯絡起來。4 維中，可用復 K3 曲面說明： K3 曲面都有 16 個 2 維迴圈，其拓撲等價於通常的 2 球。當球面趨於 0 時，K3 曲面會出現 16 個奇點。這個極限代表了 K3 曲面模空間邊界上的一點，對應軌形 T4mathbb Z_2 是由環面對逆對稱取商得到的。 1988 年，對弦論中卡拉比 丘流形與不同模型（IIA、IIB）間對偶性的研究引發了映象對稱的想法。大約同一時期，Dixon Harvey Vafa Witten 首次指出了軌形的作用。 樂理 在數學和物理學的流形和各種應用外，最晚在 1985 年，Guerino Mazzola 和後來 Dmitri Tymoczko 及同事、就已將軌形應用於樂理。Dmitri Tymoczko The Geometry of Music links to papers and to visualization softwareThe moduli space of chords Dmitri Tymoczko on Geometry and Music Friday 7 Mar 230pm posted 28Feb08 talk abstract and highlevel mathematical descriptionTymoczko 的論文是《科學》的第一篇樂理論文。Michael D Lemonick The Geometry of Music Time 26 January 2007Elizabeth Gudrais Mapping Music Harvard Magazine JanFeb 2007Tony Phillips Tony Phillips Take on Math in the Media American Mathematical Society October 2006Mazzola 和 Tymoczko 參與了有關其理論的討論，在各自的網站上發表了一系列評論。 Tymoczko 將由 n 個（不必不同）音和絃模型化為軌形 TnS_n 中的點，即圓中 n 個無序點（不必不同）組成的空間，實現為 n 環面 Tn（圓上 n 個有序點的空間）對對稱群 S_n（對應有序集到無序集的移動）的商。 從音樂角度可解釋如下： 樂音取決於基音訊率（音高），於是以正實數 mathbb R 為引數。 相差一個八度（頻率翻倍）的被視作同一樂音，這相當於對頻率取底數為 2 的對數（產生實數：mathbf R log_2 mathbf R），然後用整數取商（對應相差若干八度），得到圓（如 S1 mathbf Rmathbf Z）。 和絃對應多個樂音，而不考慮順序 因此 t 個樂音（有序）對應圓上的 t 個有序點，或等價於 t 環面 Tt S1 times cdots times S1 上的單點，而省略順序，相當於取對 S_t 的商，得到軌形。 對雙和絃，這會產生閉莫比烏斯帶；對三和絃，這會產生軌形，可描述為三稜柱，其頂面和底面帶有 120（⅓）的扭轉，等同於截面為等邊三角形、且有扭轉的 3 維實心環面。 由此得到的軌形自然由重複的樂音（由 t 的整數部分）分層：開集包含不同樂音（分割槽 t 1 1 cdots 1），還有 1 維奇異集，包含所有相同樂音（分割槽 t t），拓撲等價於圓，還有各種中間分割槽。還有一個明顯的圓，穿過等距點開集的中心。至於三和絃，三稜柱的 3 個側面對應 2 個相同樂音 1 個不同樂音（分割槽 3 2 1），三條邊對應 1 維奇異集。頂面、底面是開集的一部分，它們的出現只是因為軌形被分割了 若將其視作帶扭曲的三角環面，便消失了。 Tymoczko 認為，靠近中心的和絃（音程（幾乎）相等）構成了許多西方傳統和絃的基礎，這樣將其視覺化有助於分析。中心有 4 個和絃（十二平均律下等間距：444），對應增三和絃（可視作音集）CFA、DFA、DGB、EGC（之後就迴圈了：FAC CFA），12 個大三和絃和 12 個小三和絃是緊鄰中心的點 幾乎均勻分佈。大三和絃對應間距為 435（或等價地 543），小三和絃則對應 345。音階變化對應軌形上點的移動，相鄰點之間的移動會產生更光滑的變化。 另見 幾何商 向形 疊 數學 腳註 參考文獻 Errata English translation of Category 微分拓撲學 Category 群作用