查看“︁轨形”︁的源代码

{{quote box
|align=right
|width=33%
|quote=这术语的来源不该归在我身上。它是我在1976-77年的课程中通过民主程序获得的。轨形是有很多“折”（fold）的东西，但是“manifold”（流行）已经占了一个位置。我试着用“foldamani”，但很快被“manifolded”取代了。我每次都耐心地说“不，不是流形，是‘死流形’（manifol''dead''）”，两个月后我们搞了一次投票，“轨形”（orbifold）获胜了。
|source={{harvtxt|Thurston|1978–1981|p=300|loc=section 13.2}}解释了“轨形”（orbifold）的起源
}}

[[拓扑学]]与[[几何学]]中，'''轨形'''（orbifold，“有轨的流形”）是对[[流形]]的推广。粗略地说，轨形是局部为欧氏空间的有限群商的[[拓扑空间]]。

轨形的定义已出现过好几次：1950年代[[佐武一郎]]在研究[[自守形式]]时将其命名为“V-流形”；{{sfn|Satake|1956}}1970年代，[[威廉·瑟斯顿]]在研究[[3-流形]]的几何时{{sfn|Thurston|1978–1981|loc=Chapter 13}}，经过与学生的投票将其命名为“轨形”；1980年代，André Haefliger在研究[[米哈伊尔·格罗莫夫]]的[[CAT(k)空间]]纲领时将其命名为“轨边形”（orbihedron）。{{sfn|Haefliger|1990}}

历史上，早在正式定义出现前，轨形首先是作为具有[[奇点 (数学)|奇点]]的曲面出现的。{{sfn|Poincaré|1985}}最早的经典例子之一出现在[[模形式]]理论中，{{sfn|Serre|1970}}[[模群]]<math>\mathrm{SL}(2,\Z)</math>对[[上半平面]]的作用：对商添加2个轨形尖点、实现紧化后，可得到[[黎曼–罗赫定理]]的一种表述。[[3-流形]]理论中，[[赫伯特·塞弗特]]提出的[[塞弗特纤维空间]]理论可用2维轨形表述。{{sfn|Scott|1983}}[[几何群论]]中，后格罗莫夫时期的离散群是根据“轨边形”（orbihedron）及其[[覆叠空间]]的局部曲率特性来研究的。{{sfn|Bridson|Haefliger|1999}}

[[弦论]]中，“轨形”的含义略有不同。{{sfn|Di Francesco|Mathieu|Sénéchal|1997}}下详。[[二维共形场论]]中，“轨形”指[[定点算子代数|顶点代数]]在[[自同构]]的有限群作用下附着于定点的子代数。

底空间的主要例子是流形在具有迷向有限子群的[[微分同胚]]（可能无限）[[群]]的纯不连续作用下的商空间。{{sfn|Bredon|1972}}这尤其适于[[有限群]]的任何作用，于是有界流形带有自然的轨形结构，因为它是自身的双倍对<math>\Z_2</math>作用的商。

拓扑空间可携带不同的轨形结构。例如，考虑与沿<math>\pi</math>旋转的圆的商空间相关联的轨形''O''，其与圆[[同胚]]，但自然轨形结构不同。可将流形的大部分特征直接推广到轨形，而它们通常不同于底空间的相应特征。上述例子中，''O''的轨形[[基本群]]是<math>\Z_2</math>，其轨形[[欧拉示性数]]为1。

==正式定义==
=== 使用轨形图集 ===
与流形类似，轨形也由局部条件指定；不过轨形不是以<math>\R^n</math>的开子集为局部模型，而用<math>\R^n</math>的开子集对有限群作用的商。轨形的结构不仅包括底商空间的结构（不必是流形），还包括迷向子群。

''n''维'''轨形'''包含[[豪斯多夫空间|豪斯多夫拓扑空间]]''X''，称作'''底空间'''（underlying space）；以及一个覆叠，包含对有限交封闭的开集<math>U_i</math>。<math>\forall U_i</math>都有
* 开子集<math>V_i\in \R^n</math>，在有限群<math>\Gamma_i</math>的[[群作用#群作用的种类|忠实]]线性作用下不变；
* 连续映射<math>\varphi_i:\ V_i\to U_i</math>（在<math>\Gamma_i</math>下不变），称作'''轨形坐标图'''（chart），定义了<math>V_i/\Gamma_i</math>与<math>U_i</math>间的同胚。

若满足下列属性，则轨形坐标图的集合形成'''轨形图集'''（atlas）：
* 对每个包含<math>U_i \subset U_j</math>，都有[[单射]][[群同态]]<math>f_{ij}:\ \Gamma_i \rightarrow\Gamma_j</math>
* 对每个包含<math>U_i \subset U_j</math>，都有<math>\Gamma_i</math>-[[等变映射|等变]]同胚<math>\psi_{ij}:\ V_i\to V_j</math>的开子集，称作'''胶合映射'''（gluing map）
* 胶合映射与坐标图相容，即<math>\phi_j\cdot\psi_{ij}=\phi_i</math>
* 胶合映射在群元素组成的意义上是唯一的，即对<math>\Gamma_j</math>中唯一的''g''，<math>V_i\to V_j</math>的任意其他可能的胶合映射都有<math>g\cdot\psi_{ij}</math>形式。

对流形上的图集，若''X''的两个轨形图集能连续地组合成更大的轨形图集，则称它们等价。于是，'''轨形结构'''是轨形图集的等价类。

注意轨形结构在同构意义上决定了轨形上任意点的迷向子群：可作为任意轨形坐标图上点的稳定子来计算。若<math>U_i \subset U_j \subset U_k</math>，则在<math>\Gamma_k</math>中有唯一的过渡元素<math>g_{ijk}\in\Gamma_k</math>，使得

:<math>g_{ijk}\cdot\psi_{ik}=\psi_{jk}\cdot\psi_{ij}</math>

这些过渡元素满足

:<math>({\rm Ad}g_{ijk})\cdot f_{ik}=f_{jk}\cdot f_{ij}</math>

以及上循环关系（不失结合性）

: <math>f_{km}(g_{ijk})\cdot g_{ikm}=g_{ijm}\cdot g_{jkm}</math>

更广义地说，在轨形坐标图对轨形的开覆叠上，附着着叫做“复群”的组合数据。（下详）

与流形的情形完全一样，可对胶合映射施加可微条件，得到'''微分轨形'''。若轨形坐标图上还存在不变的黎曼度量，且胶合映射[[黎曼流形|等距]]，则称为黎曼轨形。

===用李广群定义===
'''[[广群]]'''包含对象集合<math>G_0</math>、箭头集<math>G_1</math>与结构映射（包括源映射和目标映射<math>s, t: G_1 \to G_0</math>及允许箭头组合、取逆的其他映射）。若<math>G_0,\ G_1</math>都是光滑流形；所有结构映射都光滑；源映射和目标映射都是浸没，则称其为'''[[李广群]]'''。源纤维与目标纤维在给定点<math>x \in G_0</math>的交，即集合<math>(G_1)_x := s^{-1}(x) \cap t^{-1}(x)</math>，是<math>G_1</math>在''x''点的'''迷向群'''，是个[[李群]]。若映射<math>(s,t): G_1 \to G_0 \times G_0</math>是[[紧合映射]]，则称李广群也'''紧合'''（proper）；若源映射和目标映射都是[[局部微分同胚]]，则称'''平展'''。

'''轨形广群'''由以下等价定义给出：

* 紧合平展李广群；
* 紧合李广群，其迷向为[[离散空间]]。

由于紧合广群的迷向群自动地[[紧空间|紧]]，离散条件意味着迷向群必须是[[有限群]]。<ref>{{Cite conference |last=Moerdijk |first=Ieke |author-link=Ieke Moerdijk |date=2002 |title=Orbifolds as Groupoids: an Introduction |url=https://bookstore.ams.org/conm-310 |conference=Orbifolds in mathematics and physics |series=Contemporary Mathematics |publisher=[[American Mathematical Society]] |volume=310 |pages=205–222 |arxiv=math/0203100 |isbn=978-0-8218-2990-5 |access-date=2023-12-11 |archive-date=2023-12-11 |archive-url=https://web.archive.org/web/20231211183701/https://bookstore.ams.org/conm-310 |dead-url=no }}</ref>

在上述定义中，轨形广群与轨形图集起类似作用。事实上，在豪斯多夫拓扑空间''X''上的'''轨形结构'''被定义为轨形广群<math>G \rightrightarrows M</math>的[[森田等价]]类，以及同胚<math>|M/G| \simeq X</math>，其中<math>|M/G|</math>是李广群''G''的轨道空间（即当<math>x \sim y</math>时，若有<math>g \in G\ (s(g)=x,\ t(g)=y)</math>，''M''对等价关系的商）。这定义表明，轨形是一种特殊的[[微分叠]]。

== 两种定义间的关系 ==
给定空间''X''上的轨形图集，可构造[[伪群]]，由''X''的开集间所有保留了过渡函数<math>\varphi_i</math>的微分同胚组成。反过来，其元素的芽空间<math>G_X</math>是轨形广群。此外，据轨形图集的定义，有限群<math>\Gamma_i</math>都忠实地作用于<math>V_i</math>，所以广群<math>G_X</math>自动地有效，即映射<math>g \in (G_X)_x \mapsto \mathrm{germ}_x (t \circ s^{-1}),\ \forall x \in X</math>都是单射。当且仅当与之相关联的轨形广群森田等价时，两个不同的轨形图集会产生相同的轨形结构。于是，第一个定义的轨形结构（也称为'''经典轨形'''）在第二个定义下是特殊的。

反过来说，给定轨形广群<math>G \rightrightarrows M</math>，在其轨道空间上有规范轨形图集，其相关的有效轨形广群与''G'' 森田等价。由于森田等价广群的轨道空间是同胚的，在有效情况下，第二个定义的轨形结构还原了经典轨形。<ref>{{Cite book |last1=Moerdijk |first1=Ieke |url=https://www.cambridge.org/core/books/introduction-to-foliations-and-lie-groupoids/75BBFED277FF39A56594731202789016 |title=Introduction to Foliations and Lie Groupoids |last2=Mrcun |first2=Janez |date=2003 |publisher=[[Cambridge University Press]] |isbn=978-0-521-83197-0 |series=Cambridge Studies in Advanced Mathematics |pages=140–144 |doi=10.1017/cbo9780511615450 |author-link1=Ieke Moerdijk |access-date=2023-12-11 |archive-date=2023-03-26 |archive-url=https://web.archive.org/web/20230326024125/https://www.cambridge.org/core/books/introduction-to-foliations-and-lie-groupoids/75BBFED277FF39A56594731202789016 |dead-url=no }}</ref>

因此，虽然轨形图集的概念更简单，在文献中也更常见，但轨形广群在讨论非有效轨形与轨形间的映射时特别有用。例如，轨形间的映射可用广群间的同胚描述，比底拓扑空间之间的底连续映射携带更多信息。

==例子==
* 无界流形都是轨形，其中每个群<math>\Gamma_i</math>都是[[平凡群]]。等价地，其对应单位广群的森田等价类。
* 若''N''是紧有界流形，则其'''加倍'''（double）''M''可由''N''与其镜像沿共同边界粘合而成。在固定共同边界的流形''M''上存在<math>\mathbb{Z}_2</math>的自然反射作用，商空间可被认同为''N''，于是''N''具有自然轨形结构。

* 若''M''是黎曼''n''维流形，且具有离散群Γ的余紧等距真作用（cocompact proper isometric），则轨道空间<math>X=M/\Gamma</math>具有自然轨形结构：<math>\forall x\in X</math>，取代表性的<math>m\in M</math>与其开邻域<math>V_m</math>，在稳定子<math>\Gamma_m</math>下不变，与<math>T_mM</math>在''m''处的指数映射下的<math>\Gamma_m</math>子集等价确定；有限多邻域覆盖''X''，而它们的有限交（若非空）都被相应群<math>g_m\Gamma g_m^{-1}</math>与Γ-平移（Γ-translate）<math>g_m\cdot V_m</math>的交覆盖。这样产生的轨形称作可发展或性质良好。
* [[亨利·庞加莱]]的一个经典定理将[[福斯群]]构造为双曲[[反射群]]，由[[双曲几何|双曲]]面中[[测地线|测地]]三角形边的反射生成，符合[[庞加莱度量]]。若三角形有角<math>\pi/n_i</math>（<math>n_i</math>为正整数），则其是[[基本域]]，自然是2维轨形，对应的群是双曲[[三角群]]的例子。庞加莱还给出了这一结果对[[克莱因群]]的3维版本：这时，克莱因群Γ由双曲反射生成，轨形是<math>\mathbb{H}^3/\Gamma</math>。
* 若''M''是闭2维流形，则可从''M''中取出有限多不交闭圆盘，再分别粘回圆盘<math>D/\Gamma_i</math>（''D''是闭[[单位圆盘]]，<math>\Gamma_i</math>是旋转的有限循环群），这样便在''M''i上定义了新的轨形结构。

==轨形基本群==
有几种方法定义'''轨形基本群'''。更精致的方法是用轨形[[覆叠空间]]或[[分类空间]]（[[广群]]的空间）。最简单的方法（Haefliger采用，瑟斯顿也使用）推广了[[基本群]]标准定义中的[[环圈]]。

'''轨形路径'''在底空间中，具有明确的将路径分段提升到轨形坐标图的方法，及明确的识别重叠坐标图中路径的群元素；若底路径是环圈，则称之为'''轨形环圈'''。两轨形路径若通过与轨形坐标图中的群元素相乘而产生关联，则它们就被确认了。轨形基本群是由轨形环圈的[[同伦类]]形成的群。

若轨形来自[[单连通]]流形''M''对离散群Γ的紧合刚性作用（proper rigid action）的商，则轨形基本群可被认同为Γ。总的来说，它是Γ对<math>\pi_1M</math>的[[群扩张]]。

若轨形来自对群作用的商，则称其可发展或性质良好；否则称不良。类比拓扑空间的万有覆叠空间，可为轨形构造万有覆叠轨形，即“轨形上的点，与连接点和基点的轨形路径的同伦类”的对子组成的空间。这空间自然是轨形。

注意，若[[可收缩空间|可收缩]]开子集上的轨形坐标图对应群Γ，则Γ到轨形基本群，有自然的局部同胚。

以下条件等价：
* 轨形是良好的。
* 万有覆叠轨形上的轨形结构平凡。
* 对可收缩开集的覆叠，局部同胚都是单射。

=== 作为广义微分几何 ===
轨形可定义在[[广义微分几何]]的一般框架中，{{sfn|Iglesias-Zemmour|2013}}可以证明其等价于{{sfn|Iglesias|Karshon|Zadka|4=2010}}[[佐武一郎]]的原始定义：{{sfn|Satake|1956}}

'''定义'''. 轨形是在每个点上都与某个<math>\R^n/G</math>（''n''是整数，''G''是有限线性群，后者不是定的）局部微分同胚的微分空间（diffeological space）。

这个定义需要一些说明：

* 这个定义模仿了广义微分几何中流形的定义，即每个点上都与<math>\R^n</math>存在局部微分同胚的微分空间。
* 轨形首先是微分空间，具备广义微分几何的集合。然后，广义微分几何在检验中，于每点都局部微分同胚于商<math>\R^n/G</math>，其中''G''是有限线性群。
* 这定义等同于{{sfn|Iglesias|Karshon|Zadka|5=2010|loc=Theorem 46}}Haefliger轨形。{{sfn| Haefliger|1984}}
* {轨形}是{广义微分几何}的子范畴，其对象是微分空间，态射是光滑映射。轨形间的光滑映射，是对其广义微分几何而言光滑的映射。这就解决了佐武一郎在定义中所说：{{sfn|Satake|1957|loc=Footnote p.469}}“如此定义的<math>C^\infty</math>-映射有点不方便：在不同的定义族中定义的两个<math>C^\infty</math>-映射之复合并不总是<math>C^\infty</math>-映射。”事实上，有些轨形间的光滑映射并不作为等变映射局部提升（lift）。{{sfn|Iglesias|Karshon|Zadka|5=2010|loc=Example 25}}

注意，作为微分空间的轨形的基本群不同于上面定义的基本群，后者与结构广群{{sfn|Iglesias-Zemmour|Laffineur|3=2017}}及其迷向群有关。

==轨空间==
在[[几何群论]]的应用中，用Haefliger提出的略微广义的轨形概念往往更方便。'''轨空间'''（orbispace）之于拓扑空间，如同轨形之于流形，是轨形概念在拓扑学的推广。其定义用具有有限群的刚性作用的[[局部紧]]空间代替了轨形坐标图模型，即具有平凡迷向的点是稠密的（忠实线性作用自动满足这条件，因为任何非平凡群元素固定的点都会形成紧合[[线性子空间]]）考虑轨空间上的[[度量空间]]结构也是有用的，它们由轨空间上的不变[[度量]]给出，其中胶合映射保留距离。这时，通常要求轨空间坐标图是长度空间，具有连接任意两点的唯一[[测地线]]。

令''X''为赋以度量空间结构的轨空间，其坐标图是测地线长度空间。前面关于轨形的定义和结果可推广到轨空间基本群和万有覆叠轨空间，及类似的可发展性标准。轨空间坐标图上的距离函数可用于定义万有覆叠轨空间中轨空间路径的长度，若每个坐标图中的距离函数[[CAT(k)空间|曲率非正]]，则伯克霍夫曲线缩短论证就可证明，任何定端点轨空间路径都与唯一的测地线同伦。将这应用于轨空间坐标图中的常路径，可知每个局部同态都是单射，于是：
* 曲率非正的轨空间都是良好的。

==复群==
每个轨形都与由复群给出的附加组合结构有联系。

===定义===
[[抽象单纯复形]]''Y''上的'''复群'''<math>(Y,\ f,\ g)</math>由以下条件给出
* 对''Y''的每个单纯形σ，有限群<math>\Gamma_{\sigma}</math>
* 单射同态<math>f_{\sigma\tau}:\ \Gamma_{\tau}\rightarrow\Gamma_{\sigma},\ \sigma\subset\tau</math>

* 对每个包含<math>\rho\subset\sigma\subset\tau</math>，都有群元素<math>g_{\rho\sigma\tau}\in\Gamma_{\rho}</math>使得<math>({\rm Ad}g_{\rho\sigma\tau})\cdot f_{\rho\tau}=f_{\rho\sigma}\cdot f_{\sigma\tau}</math>（其中Ad表示共轭的伴随作用）

此外，群作用还要满足上循环条件

:<math>f_{\pi\rho}(g_{\rho\sigma\tau})g_{\pi\rho\tau}=g_{\pi\sigma\tau}g_{\pi\rho\sigma}</math>

对每个单形链<math>\pi \subset \rho\subset \sigma \subset \tau.</math>（若''Y''的维度小于等于2，这条件就是空的）

任意元素的选择<math>h_{\sigma\tau}\in\Gamma_{\sigma}</math>都会产生等价的复群，定义如下
* <math>f_{\sigma\tau}=({\rm Ad}h_{\sigma\tau})\cdot f_{\sigma\tau}</math>
* <math>g_{\rho\sigma\tau}=h_{\rho\sigma}\cdot f_{\rho\sigma}(h_{\sigma\tau})\cdot g_{\rho\sigma\tau}\cdot h_{\rho\tau}^{-1}</math>

只要<math>g_{\rho\sigma_\tau}=1</math>无处不在，就称复群是'''单'''的。
* 一个简单的归纳论证表明，单纯形上的复群都等价于各处<math>g_{\rho\sigma\tau}=1</math>的复群。

用''Y''的[[重心重分]]通常更方便，概念上也更吸引人。这细分的顶点对应''Y''的单形，因此顶点附带一个群。重心重分的边自然有向（对应单形的包含），有向边给出了群的包含。三角形都附有过渡元素，属于恰有1顶点的群；（若有）四面体给出了过渡元素的上循环关系。于是，复群只涉及重心重分的3-骨架；若是单的，则只涉及2-骨架。

===例子===
若''X''是轨形或轨空间，从轨形坐标图<math>f_i:\ V_i\rightarrow U_i</math>中择一由开子集构成的覆叠。令''Y''为由覆叠的神经给出的抽象单纯复形：其定点是覆叠集，''n''单形对应非空交<math>U_{\alpha}=U_{i_1}\cap\ldots\cap U_{i_n}.</math>对每个这样的单纯形，都有相关联的群<math>\Gamma_{\alpha}</math>，同态<math>f_{ij}</math>成为同态<math>f_{\sigma\tau}</math>。每个三元链<math>\rho\subset\sigma\subset\tau</math>对应交

: <math> U_i \supset U_i \cap U_j \supset U_i \cap U_j \cap U_k</math>

有坐标图<math>\varphi_i:\ V_i\rightarrow U_i,\ \varphi_{ij}:\ V_{ij}\rightarrow U_i\cap U_j,\ \varphi_{ijk}:\ V_{ijk}\rightarrow U_i\cap U_j\cap U_k</math>，以及胶合映射<math>\psi:\ V_{ij}\rightarrow V_i,\ \psi':\ V_{ijk}\rightarrow V_{ij},\ \psi'':\ V_{ijk}\rightarrow V_i.</math>

有唯一的过渡元素<math>g_{\rho\sigma\tau}\in\Gamma_i</math>，使<math>g_{\rho\sigma\tau}\cdot\psi''=\psi\cdot\psi'.</math>轨形的过渡元素满足的关系意味着复群所需的关系，这样，复群就可通过轨形（或轨空间）坐标图，规范地与开覆叠的神经相关联。用非交换[[层 (数学)|层]]理论和[[束 (数学)|束]]的语言来说，这时的复群是作为与覆叠<math>U_i</math>相关联的群层产生的；数据<math>g_{\rho\sigma\tau}</math>是非交换[[层上同调]]中的一个2-上循环，数据<math>h_{\sigma\tau}</math>给出了2-上边界扰动。

===边径群===
复群的'''边径群'''（edge-path group）可定义为单纯复形边径群的自然推广。在''Y''的重心重分中，取对应于''i''到''j''的边（<math>i\rightarrow j</math>）的生成子<math>e_{ij}</math>，则有单射<math>\psi_{ij}:\ \Gamma_i\rightarrow\Gamma_j.</math>令Γ为由<math>e_{ij},\ \Gamma_k</math>生成的群，具有关系

:<math>e_{ij}^{-1}\cdot g\cdot e_{ij}=\psi_{ij}(g)</math>
其中<math>g\in\Gamma_i</math>，且

:<math>e_{ik}=e_{jk}\cdot e_{ij}\cdot g_{ijk}</math>

若<math>i\rightarrow j\rightarrow k.</math>

对于定顶点<math>i_0</math>，边径群<math>\Gamma(i_0)</math>定义为由Γ的所有积生成的子群：

:<math>g_0\cdot e_{i_0i_1}\cdot g_1\cdot e_{i_1i_2}\cdot\dots\cdot g_n\cdot e_{i_ni_0}</math>

其中<math>i_0,\ i_1,\ \ldots,\ i_n,\ i_0</math>是一条边径，<math>g_k</math>位于<math>\Gamma_{i_k}</math>中，<math>e_{ji}=e_{ij}\ (i\rightarrow j).</math>

===可发展复形===
在具有有限商的[[单纯复形]]''X''上，离散群的单纯紧合作用若满足以下条件之一，则称该作用'''正则'''（regular）：{{sfn|Bredon|1972}}
* ''X''以有限子复形为[[基本域]]；
* 商<math>Y=X/\Gamma</math>具有自然单纯结构；
* 商单纯结构在定点的轨道表示上一致；
* 若<math>(v_0,\ \ldots,\ v_k)</math>和<math>(g_0\cdot v_0,\ \ldots,\ g_k\cdot v_k)</math>是单形，则对部分<math>g\in\Gamma,\ g\cdot v_i=g_i v_i.</math>

这时，基本域和商<math>Y=X/\Gamma</math>可自然地确定为单纯复形，由基本域中单形的稳定子给出。这样得到的复群''Y''称作'''可发展'''（developable）。
* 复群可发展，当且仅当<math>\Gamma_{\sigma}</math>到边径群的同态是单射。
* 复群可发展，当且仅当对每个单形σ，有单射同态<math>\theta_{\sigma}:\ \Gamma_{\alpha}\to \Gamma</math>，其中后者是定离散群，使得<math>\theta_{\tau}\cdot f_{\sigma\tau}=\theta_{\sigma}</math>。这时，单纯复形''X''得到了规范的定义：其有''k''单形<math>(\sigma,\ x\Gamma_{\sigma}</math>，其中σ是''Y''的''k''单形，''x''在<math>\Gamma/\Gamma_{\sigma}</math>上运行。利用复群对单形的限制等价于具有平凡上循环<math>g_{\rho\sigma\tau}</math>这一事实，可以检验一致性。

Γ在''X''的重点重分''X'''上的作用总满足以下条件，弱于正则性：
* 只要σ和<math>g\cdot\sigma</math>是某单形τ的子单形，则它们就相等：<math>\sigma=g\cdot\sigma</math>

事实上，''X'' '中的单形对应''X''中的单形链，因此单形子链给出的子单形由子链中单形的大小唯一确定。作用满足这条件时，''g''必然固定了σ的所有顶点。有直接的归纳证明表明，这样的作用在重心重分上是正则的；特别是
* 在第二重心重分''X''"上的作用正则；
* Γ自然地与''X''"中基本域的重心子分用边径和定点稳定子定义的边径群同构

事实上没必要进行第三次重心重分：如Haefliger利用[[范畴论]]的语言指出的，这时''X''基本域的3-骨架已经承载了所有必要数据，包括三角形的过渡元素，可定义与Γ同构的边径群。

2维中，这尤其容易描述。''X''的基本域具有与群''Y''的复合的重心重分''Y'''相同的结构，即
* 有限2维单纯复形''Z''；
* 所有边<math>i\rightarrow j</math>的方向；
* 若<math>i\rightarrow j,\ j\rightarrow k</math>是边，则 <math>i\rightarrow k</math>也是边，且<math>(i,\ j,\ k)</math>是三角形；
* 有限群附着于定点，包含于边；过渡元素描述了相容性，接到三角形。

这样就可以定义边径群。重心子分''Z'''也继承了类似结构，其边径群同构于''Z''的边径群。

==轨边形==
若可数离散群在[[单纯复形]]上有正则单纯紧合作用，则商不仅可被赋予复群的结构，还可被赋予轨空间结构。这就引出了“轨边形”（orbihedron）概念，其是轨形的简单类似物。

===定义===
令''X''是有限单纯复形，有重心重分''X'''。'''轨边形'''结构包含：
* 对每个定点<math>i\in X</math>，都有由有限群<math>\Gamma_i</math>的刚性单纯作用的单纯复形<math>L'_i</math>。
* <math>L'_i</math>到''X'''中''i''的邻域<math>L_i</math>的单纯映射<math>\varphi_i</math>使得商<math>L'_i/\Gamma_i</math>与<math>L_i</math>一致。

<math>\Gamma_i</math>在<math>L'_i</math>上的这作用延伸到<math>L'_i</math>上单纯锥<math>C_i</math>的单纯作用（''i''和<math>L'_i</math>的单纯链接），并固定了锥心''i''，映射<math>\varphi_i</math>延伸为单纯映射<math>C_i\to{\rm St}(i)</math>（''i''的星），将重心带到''i''上，因此<math>\varphi_i</math>可与<math>C_i/\Gamma_i</math>等同，在''i''处给出一个轨边形坐标图。
* 对''X'''的有向边<math>i\rightarrow j</math>，单射同态<math>f_{ij}:\ \Gamma_i\to \Gamma_j.</math>
* 对每条有向边<math>i\rightarrow j</math>，<math>\Gamma_i</math>等变单纯胶合映射<math>\psi_{ij}:\ C_i\to C_j.</math>
* 胶合映射与坐标图相容，即<math>\varphi_j\cdot\psi_{ij}=\varphi_i</math>
* 胶合映射在与群元素的复合的意义上唯一，即对唯一的<math>g\in \Gamma_j,\ V_i\to V_j</math>的任何其他可能的胶合映射都具有<math>g\cdot\psi_{ij}</math>形式。

若<math>i \rightarrow j \rightarrow k</math>，则有唯一的过渡元素<math>g_{ijk}\in\Gamma_k</math>使得

:<math>g_{ijk}\cdot\psi_{ik}=\psi_{jk}\cdot\psi_{ij}</math>

这些过渡元素满足

:<math>({\rm Ad}g_{ijk})\cdot f_{ik}=f_{jk}\cdot f_{ij}</math>

及上循环关系

:<math>\psi_{km}(g_{ijk})\cdot g_{ikm}=g_{ijm}\cdot g_{jkm}</math>

===主要性质===
* 轨边形的群论数据给出了''X''上的复群，因为重点重分''X'''的顶点''i''对应''X''中的单形。
* ''X''上的每个复群都与''X''上本质上唯一的轨边形结构相关联。注意到与''X''的单形σ相对的''X''<nowiki>'</nowiki>的顶点''i''的星与链具有自然分解，就可得到这一关键事实：星与σ同σ的重心重分σ'的联合给出的抽象单纯复形同构，链与''X''中的σ链与σ'中σ的重心链的联合同构。将复群限制在''X''中σ的链上，则所有群<math>\Gamma_\tau</math>都有到<math>\Gamma_\sigma</math>的单射同态。由于''X''<nowiki>'</nowiki>中的''i''链被由<math>\Gamma_\sigma</math>作用的单纯复形规范覆叠，这就在''X''上定义了轨边形结构。
* 轨边形基本群只是相关复群的边径群。
* 每个轨边形自然也是轨空间：在单纯复形的几何实现中，轨空间可用星的内部来定义。
* 轨边形基本群可自然地等同于相关轨空间的基本群。将[[单纯近似定理]]应用于轨空间坐标图中的轨空间路径段，便知：多面体的[[基本群]]可与边径群吻合，这是经典证明的直接变体。
* 与轨边形相关的轨空间具有规范度量结构（canonical metric structure），局部上来自欧氏空间标准几何实现中的长度度量，顶点映射到正交基上。也用其他度量结构，如[[双曲空间]]中实现单形而得到的长度度量，其中单形沿着共同边界等距地形成。
* 当且仅当每个轨边形坐标图中链的[[围长 (图论)|围长]]大于等于6（即，链中任何闭合回路长度至少为），与轨边形相联系的轨空间拥有非正的曲率。这条件在[[CAT(k)空间|阿达马空间]]理论中十分有名，只取决于底复群。
* 万有覆叠轨边形的曲率非正时，其基本群是无限群，由迷向群的同构副本生成。这源于轨空间的相应结果。

==群三角==
历史上，[[几何群论]]中最重要的轨形的应用之一就是群三角。[[让-皮埃尔·塞尔|塞尔]]关于树的讲座将混合[[自由积]]视作对树的作用，讨论了1维“群区间”；群三角是最简单的将其推广到2维的示例。在<math>SL_3(\mathbb{Q}_p)</math>的仿射Bruhat–Tits建造中，当离散群简单地作用于三角时，就产生这样的群三角；1979年，[[戴维·芒福德]]发现了<math>p=2</math>的第一个例子（下详），作为产生与[[射影空间]]不同构而有相同[[贝蒂数]]的[[代数曲面]]的一步。Gersten & Stallings详细研究了群三角，而上述复群的更一般情形则是Haefliger独立提出的。由非正曲率度量空间分析有限呈现群的基本几何方法由格罗莫夫提出。这样，群三角对应曲率非正的2维单纯复形，具有群的正规作用，'''''在三角形上有传递性'''''。

[[File:Triangle.Centroid.svg|right]]
'''群三角'''是由三角形ABC组成的简单复群，其中有这些群：
* 每个顶点的<math>\Gamma_A,\ \Gamma_B,\ \Gamma_C</math>
* 每条边的<math>\Gamma_{BC},\ \Gamma_{CA},\ \Gamma_{AB}</math>
* 三角形本身的<math>\Gamma_{ABC}.</math>
<math>\Gamma_{ABC}</math>到其他群有单射同态，边群<math>\Gamma_{XY}</math>到<math>\Gamma_X,\ \Gamma_Y</math>也有单射同态。<math>\Gamma_{ABC}</math>到顶点群的三种映射都一致（<math>\Gamma_{ABC}</math>通常是平凡群）。对应轨空间上的欧氏度量结构曲率非正，当且仅当轨边形坐标图中每个顶点的链的围长不小于6。

顶点上的围长总是偶数，且正如Stallings观察到的，在顶点'''A'''上，可描述为到达两边群<math>\Gamma_{CA},\ \Gamma_{AB}</math>在<math>\Gamma_{ABC}</math>上的混合[[自由积]]的<math>\Gamma_A</math>的自然同态核中的最小字长：

:<math> \Gamma_{AB} \star_{\,\Gamma_{ABC}} \Gamma_{AC} \rightarrow \Gamma_A.</math>

欧氏度量结构所得结果不理想。Stallings将角α、β、γ定义为2π/围长，在欧氏情况下α、β、γ ≤ π/3；而若只要求α + β + γ ≤ π，便有可能由[[庞加莱度量]]得到与双曲面上相应的测地三角（取等时等同于欧氏平面）。双曲几何的经典结果是，双曲中线相交于双曲重心，<ref>{{Cite web |url=http://www.maths.gla.ac.uk/~wws/cabripages/hyperbolic/pmedian.html |title=Theorem of the hyperbolic medians |access-date=2023-12-13 |archive-date=2012-02-09 |archive-url=https://web.archive.org/web/20120209140636/http://www.maths.gla.ac.uk/~wws/cabripages/hyperbolic/pmedian.html |dead-url=no }}</ref>与我们熟悉的欧氏几何情形一样。这模型的重心重分和度量在相应的轨空间上产生了曲率非正的度量结构，因此若α+β+γ≤π：
* 群三角的轨空间良好；
* 相应边径群（也可说是群三角的[[极限_(范畴论)#上極限|上极限]]）是无限群；
* 顶点群到边径群的同态是单射。

===芒福德的例子===
[[File:Fano plane.svg|thumb|right|[[法诺面]]]]
设<math>\alpha=\sqrt{-7}</math>，由<math>(1-8)^{1/2}</math>在<math>\mathbb{Q}_2</math>中的二项展开式得到，并使<math>K=\mathbb{Q}(\alpha)\subset\mathbb{Q}_2</math>。令

: <math>\begin{align}\zeta&={\rm exp}(2\pi i/7)\\

\lambda&=(\alpha-1)/2=\zeta+\zeta^2+\zeta^4\\

\mu&=\lambda/\lambda^*.\end{align}

</math>
令<math>E=\mathbb{Q}(\zeta)</math>，''K''上的3维向量空间，<math>1,\ \zeta,\ \zeta^2</math>为基。定义''E''上的''K''线性算子如下：
* ''σ''为''E''在''K''上的[[伽罗瓦群]]的生成器，是由<math>\sigma(\zeta)=\zeta^2</math>给出的3阶元素
* ''τ''是''E''上与''ζ'''相乘的算子，元素阶数为7
* ''ρ''是由<math>\rho(\zeta)=1,\ \rho(\zeta^2)=\zeta,\ \rho(1)=\mu\cdot\zeta^2</math>给出的算子，于是<math>\rho^3</math>是对<math>\mu</math>的标量乘法。

<math>\rho,\ \sigma,\ \tau</math>生成了<math>GL_3(K)</math>的离散子群，紧合作用于与<math>SL_3(\mathbb{Q}_2)</math>相对应的仿射Bruhat–Tits建造。这个群对建造中的所有顶点、边与三角形都传递。令

: <math>\sigma_1=\sigma,\ \sigma_2=\rho\sigma\rho^{-1},\ \sigma_3=\rho^2\sigma\rho^{-2}.</math>

则

* <math>\sigma_1,\ \sigma_2,\ \sigma_3</math>生成了<math>SL_3(K)</math>的子群Γ。
* Γ是由<math>\sigma,\ \tau</math>生成的最小子群，在''ρ''的共轭作用下不变。
* Γ[[群作用#正则的(Regular)|简单传递]]地作用于建造中的三角形。
* 有三角形Δ，其边的稳定子是由<math>\sigma_i</math>生成的3阶子群。
* Δ顶点的稳定子是21阶[[弗罗贝尼乌斯群]]，由两个3阶元素生成，它们稳定了在这定点相遇的边。
* Δ的稳定子平凡。

元素<math>\sigma,\ \tau</math>生成了顶点的稳定子。可以认为这定点的链等同于<math>SL_3(\mathbb{F}_2)</math>的球面建造。稳定子则等同于[[法诺面]]的[[直射变换]]群，由固定一个点的3次对称σ及所有7个点的循环置换τ生成（满足<math>\sigma\tau=\tau^2\sigma</math>）。法诺面可看做<math>\mathbb{F}_8^*</math>，σ可看作<math>\mathbb{F}_8</math>的[[弗罗贝尼乌斯自同态]]<math>\sigma(x)=x^{22}</math>的约束，τ则是与任意不在素域<math>\mathbb{F}_2</math>中元素的乘法，即<math>\mathbb{F}_8</math>的循环乘法群的7阶生成器。这个弗罗贝尼乌斯群简单传递地作用于法诺面的21个标记，即带标记点的直线。于是，''E''上σ、τ的公式“提升”（lift）了<math>\mathbb{F}_8</math>上的公式。

芒福德还通过传递到子群<math>\Gamma_1=\langle\rho,\ \sigma,\ \tau,\ -I\rangle</math>，得到了对建造顶点的简单传递作用。群<math>\Gamma_1</math>保留了定义域为<math>\mathbb{Q}(\zeta)</math>，值域属于<math>\mathbb{Q}(\alpha)</math>的埃尔米特形式

: <math>f(x,\ y)=xy^*+\sigma(xy^*)+\sigma^2(xy^*)</math>

其可看作是<math>U_3(f)\cap GL_3(S),\ S=\mathbb{Z}[\alpha,\ \frac12].</math>由于<math>S/(\alpha)=\mathbb{F}_7,</math>所以有群同态<math>\Gamma_1\to GL_3(\mathbb{F}_7).</math>这作用使<math>\mathbb{F}_7^3</math>中的一个2维子空间不变，产生了同态<math>\Psi:\ \Gamma_1\to SL_2(\mathbb{F}_7),</math>是阶数为16·3·7的群。另一方面，顶点的稳定子是21阶子群，''Ψ''是其上的单射。于是，若[[合同子群]]<math>\Gamma_0</math>定义为<math>SL_2(\mathbb{F}_7)</math>的2-[[西罗定理|西罗子群]]的''Ψ''下的[[像_(數學)#原像|原像]]，则<math>\Gamma_0</math>对定点的群作用一定是简单传递的。

===推广===
其他三角形或2维复群的例子可由上述例子的变化来构造。

Cartwright et al.考虑了对建造顶点简单传递的作用。这样的作用会在有限[[射影平面]]的[[标记 (线性代数)|标记复形]]中的点''x''-线''x''*间产生双射（或改良的对偶），和点<math>(x,\ y,\ z)</math>的有向三角形集合，其在循环置换下不变，即''x''在''z''*上，''y''在''x''*上，''z''在''y''*上；任意两点唯一确定第三点。所生成的群有生成器''x''（以点为标记），对每个三角形有关系<math>xyz=1.</math>一般来说，这种构造不对应于经典仿射建造上的作用。

更一般地说，如Ballmann & Brin所证的，类似的代数数据编码了曲率非正2维单纯复形顶点上的所有简单传递作用，条件是每个顶点的链的围长不少于6。数据包括
* 生成集''S''，包含逆，但不含恒等；
* 关系集<math>g\ h\ k\ -1</math>，在循环置换下不变。

''S''中的元素''g''表示定顶点''v''的链中的顶点<math>g\cdot v</math>；关系对应链中的边<math>(g^{-1}\cdot v,\ h\cdot v)</math>。对于<math>g^{-1}h\in S,\ </math>有定点''S''与边<math>(g,\ h)</math>的图的围长至少要是6。可用复群和第二重心重分重建原单纯复形。

[[File:Heawood graph bipartite.png|thumb|right|有两部分的[[希伍德图]]]]
Swiatkowski基于对有向边简单传递的作用和每个三角形的3次对称，构造了更多非正曲率2维复群的例子。这样，复群也通过对第二重心重分的正则作用得到。最简单的例子是Ballmann发现的：有有限群''H''与生成器的对称集''S''（不含恒等），于是相应的[[凯莱图]]的围长至少为6。伴生群（associated group）由''H''和对合τ生成，使得<math>\forall g\in S,\ (\tau g)^3=1.</math>

事实上，若Γ以这种方式作用，且固定一条边<math>(v,\ w),</math>则存在交换''v''、''w''的对合τ。''v''的链由顶点<math>g\cdot w\ (g\in</math>对称子集<math>S\subset H=\Gamma_v)</math>，若链连通则生成''H''。三角形假设意味着

:<math>\forall g\in S,\ \tau\cdot(g\cdot w)=g^{-1}\cdot w</math>

于是，若<math>\sigma=\tau g,\ u=g^{-1}\cdot w,</math>则有

:<math>\sigma(x)=w,\ \sigma(w)=u,\ \sigma(u)=w</math>

由对三角形<math>(v,\ w,\ u)</math>的简单传递，可得<math>\sigma^3=1.</math>

第二重心重分给出了由沿大边相连的单子或细分三角形对组成的复群：后者依据识别''S''中的逆，得到的商空间<math>S/\sim</math>进行索引。单个或“成对”的三角形又沿着共同的“脊线”连接起来。除了脊线两端的顶点（稳定子分别为''H''、<τ>）及大三角形的其余顶点（稳定子由适当的σ生成）外，单形的稳定子都平凡。大三角形中的3个小三角包含过渡元素。

当''S''的所有元素都是对合时，便没有三角形需要加倍（double）。若将''H''看作14阶[[二面体群]]''D''<sub>7</sub>、由对合''a''与7阶元素''b''生成，其中

:<math>ab=b^{-1}a,</math>

则''H''是由3个对合：<math>a,\ ab,\ ab^5</math>生成。顶点的链由对应的凯莱图给出，因此只是有两部分的[[希伍德图]]，即与<math>SL_3(\mathbb{Q}_2)</math>的仿射建造完全相同。这种链结构意味着，对应的单纯复形必须是欧氏建造，而目前似乎还不知道这些类型的作用能否实现在经典仿射建造：芒福德群<math>\Gamma_1</math>（模标量）只在边上简单传递，而不在有向边上简单传递。

==2维轨形==
2维轨形有以下3类奇异点：

* 边界点
* 椭圆点或''n''阶[[回转]]点，如由''n''阶旋转的循环群商出的<math>\mathbb{R}^2</math>原点。
* ''n''阶角反射器：由2''n''阶二面体群商出的<math>\mathbb{R}^2</math>原点。

紧2维轨形有'''[[欧拉示性数]]'''<math>\chi= \chi(X_0) - \sum_{i}(1 - 1/n_i)/2 - \sum_{i} (1 - 1/m_i )</math>，其中<math>\chi(X_0)</math>是底拓扑流形<math>X_0</math>的欧拉示性数，<math>n_i</math>是角反射器阶数，<math>m_i</math>是椭圆点阶数。

2维紧连通轨形的欧拉示性数若为负，则具有双曲结构；若是0，则具有欧几里得结构；若为正，则或是'''不良'''的，或具有椭圆结构（若轨形没有流形作为覆叠空间，则称为不良）。也就是说，其万有覆叠空间具有双曲、欧氏或球面结构。

下表列出了非双曲的紧2维连通轨形。17个抛物轨形是平面与17个[[壁纸群]]的商。

{| class="wikitable"
|-----
! 类型
! 欧拉示性数
! 底2维流形
! 椭圆点阶数
! 角反射器阶数
|-----
| rowspan=4| 不良
| 1 + 1/''n''
| 球
| ''n'' &gt; 1
|
|-----
| 1/''m'' + 1/''n''
| 球
| ''n'' &gt; ''m'' &gt; 1
|
|-----
| 1/2 + 1/2''n''
| 圆盘
|
| ''n'' &gt; 1
|-----
| 1/2''m'' + 1/2''n''
| 圆盘
|
| ''n'' &gt; ''m'' &gt; 1
|-----
| rowspan=17 | 椭圆
| 2
| 球
|
|
|-----
| 2/''n''
| 球
| ''n'', ''n''
|
|-----
| 1/''n''
| 球
| 2, 2, ''n''
|
|-----
| 1/6
| 球
| 2, 3, 3
|
|-----
| 1/12
| 球
| 2, 3, 4
|
|-----
| 1/30
| 球
| 2, 3, 5
|
|-----
| 1
| 圆盘
|
|
|-----
| 1/''n''
| 圆盘
|
| ''n'', ''n''
|-----
| 1/2''n''
| 圆盘
|
| 2, 2, ''n''
|-----
| 1/12
| 圆盘
|
| 2, 3, 3
|-----
| 1/24
| 圆盘
|
| 2, 3, 4
|-----
| 1/60
| 圆盘
|
| 2, 3, 5
|-----
| 1/''n''
| 圆盘
| ''n''
|
|-----
| 1/2''n''
| 圆盘
| 2
| ''n''
|-----
| 1/12
| 圆盘
| 3
| 2
|-----
| 1
| 射影平面
|
|
|-----
| 1/''n''
| 射影平面
| ''n''
|
|-----
| rowspan=17 | 抛物
| 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)给出。<ref>General introductions to this material can be found in Peter Scott's 1983 notes and the expositions of Boileau, Maillot & Porti and Cooper, Hodgson & Kerckhoff.</ref>

==应用==
===弦论===

[[弦论]]中，“轨形”的意义稍有不同。数学中的轨形是[[流形]]的推广，允许有邻域[[微分同胚]]于<math>\mathbb{R}^n</math>对有限群之商（<math>\mathbb{R}^n/\Gamma</math>）的点。物理学中，轨形则通常描述能全局描写为轨道空间''M''/''G''（''M''是流形或理论，''G''是其等距的群或对称，不必是所有等距群）的对象。这些对称性在弦论中不必有几何解释。

定义在轨形上的[[量子场论]]在''G''的定点附近变得奇异。不过，弦论要求我们在闭[[弦 (物理学)|弦]][[希尔伯特空间]]中增加新的部分——即“扭结弦”（twisted sector），当中定义在闭弦上的场在''G''作用下是周期性的。于是，轨形化成为了弦论的一般程序，从旧弦论推出新弦论。这能减少状态数，因为状态在''G''下必须不变；但也增加了状态数，因为增加了扭结弦。结果通常是完美平滑的新弦论。

低能情形下，轨形上传播的[[D膜]]由[[箭图]]定义的规范场论描述。连接到这些D膜上的开弦没有扭结弦，于是开弦状态数会随轨形化减少。

更具体地说，轨形群''G''是时空等距的离散子群时，若无定点，则通常得到紧光滑空间；扭结弦包含缠绕在紧维度上的闭弦，后者也称作“缠绕态”（winding state）。

轨形群G是时空等距的离散子群，且有定点时，通常有[[引力奇点|锥奇点]]，因为<math>\mathbb{R}^n/</math>[[循环群|<math>\mathbb{Z}_k</math>]]在<math>\mathbb{Z}_k</math>的定点处有这样的奇点。弦论中，引力奇点通常代表着额外[[自由度 (物理学)|自由度]]，位于时空中的轨迹点（locus point）。在轨形情形下，这些自由度就是扭结态，是“卡”在定点上的弦。当与扭结态相关的场获得非零[[真空期望值]]，奇点便发生变形，即度量发生变化，在点附近变得正规（regular）。江口-汉森时空就是一例由此产生的几何。

从定点附近的D膜看来，对附着于D膜上的开弦的有效理论是超对称场论，其真空空间有奇异点，存在额外的无质量自由度。与闭弦扭结弦有关的场以这样一种方式同开弦耦合，即在超对称场论的拉格朗日量中添加Fayet–Iliopoulos项，于是场获得非零真空期望值时，Fayet–Iliopoulos项非零，理论从而变形，使奇点不再存在[https://arxiv.org/abs/hep-th/9603167] {{Wayback|url=https://arxiv.org/abs/hep-th/9603167 |date=20240329150554 }}, [http://www-spires.fnal.gov/spires/find/hep/www?j=NUPHA,B342,246]。

====卡拉比-丘流形====
{{Main article|卡拉比–丘流形}}
[[超弦理论]]中，<ref>M. Green, J. Schwartz and E. Witten, ''Superstring theory'', Vol. 1 and 2, Cambridge University Press, 1987, ISBN
0521357527</ref><ref>J. Polchinski, ''String theory'', Vol. 2, Cambridge University Press, 1999, {{isbn|0-521-63304-4}}</ref>构造现实的[[粒子物理现象学|现象学模型]]需要[[维度减化]]，因为弦在10维空间中才能自然传播，而观测到的宇宙[[时空]]则是4维的。理论的形式约束对额外“隐”变量所在的[[紧化 (物理学)|紧化空间]]施加了限制：寻找具有[[超对称]]的现实4维模型时，辅助紧化空间必须是6维[[卡拉比-丘流形]]。<ref>P. Candelas, ''Lectures On Complex Manifolds'', in *Trieste 1987, Proceedings, Superstrings '87* 1-88, 1987</ref>

可能的卡拉比-丘流形有很多（数以万计），因此目前的理论物理学文献常用“[[弦论地景|景观]]”（landscape）描述这种令人困惑的选择。卡拉比-丘流形的一般研究在数学上非常复杂，且长期以来难以明确构造实例。轨形被证明非常有用，因为轨形能自动满足超对称施加的约束。其[[奇点 (数学)|奇点]]提供了卡拉比-丘流形退化的例子，<ref>{{citation|title=Basic Concepts of String Theory|series=Theoretical and Mathematical Physics|first1=Ralph|last1=Blumenhagen|first2=Dieter|last2=Lüst|first3=Stefan|last3=Theisen|publisher=Springer|year=2012|isbn=9783642294969|url=https://books.google.com/books?id=-3PNFQn6AzcC&pg=PA487|page=487|bibcode=2013bcst.book.....B|quote=Orbifolds can be viewed as singular limits of smooth Calabi–Yau manifolds}}.</ref>但从理论物理学的角度看是完全可接受的。这种轨形称作“超对称”：在技术上比一般卡拉比-丘流形更容易研究。通常可将非奇异卡拉比-丘流形的连续族同奇异超对称轨形联系起来。4维中，可用复[[K3曲面]]说明：

:*K3曲面都有16个2维循环，其拓扑等价于通常的2球。当球面趋于0时，K3曲面会出现16个奇点。这个极限代表了K3曲面[[模空间]]边界上的一点，对应轨形<math>T^4/\mathbb{Z}_2\,</math>是由环面对逆对称取商得到的。

1988年，对弦论中卡拉比-丘流形与不同模型（IIA、IIB）间对偶性的研究引发了[[镜像对称 (弦理论)|镜像对称]]的想法。大约同一时期，Dixon, Harvey, Vafa & Witten首次指出了轨形的作用。<ref>{{Cite journal|last1=Dixon|first1=L.|last2=Harvey|first2=J. A.|last3=Vafa|first3=C.|last4=Witten|first4=E.|date=1985-01-01|title=Strings on orbifolds|url=https://dx.doi.org/10.1016/0550-3213%2885%2990593-0|journal=Nuclear Physics B|language=en|volume=261|pages=678–686|doi=10.1016/0550-3213(85)90593-0|bibcode=1985NuPhB.261..678D |issn=0550-3213}}</ref>

===乐理===
在数学和物理学的流形和各种应用外，最晚在1985年，Guerino Mazzola<ref name="Mazzola1985">{{cite book |last1=Mazzola |first1=Guerino |title=Gruppen und Kategorien in der Musik: Entwurf einer mathematischen Musiktheorie |url=https://books.google.com/books?id=ktPuAAAAMAAJ |access-date=2012-02-26|year=1985 |publisher=Heldermann |isbn=978-3-88538-210-2}}</ref><ref name="MazzolaMüller2002">{{cite book |last1=Mazzola |first1=Guerino |last2=Müller |first2=Stefan |title=The topos of music: geometric logic of concepts, theory, and performance |url=https://books.google.com/books?id=6I9U9-Rls8oC |access-date=2012-02-26|year=2002 |publisher=Birkhäuser |isbn=978-3-7643-5731-3}}</ref>和后来Dmitri Tymoczko及同事{{Harv|Tymoczko|2006}}、{{Harv|Callender|Tymoczko|2008}}就已将轨形应用于[[乐理]]。<ref>Dmitri Tymoczko, ''[http://dmitri.mycpanel.princeton.edu/sciencearticle.html The Geometry of Music] {{Wayback|url=http://dmitri.mycpanel.princeton.edu/sciencearticle.html |date=20230102192847 }}'' – links to papers and to visualization software.</ref><ref>''[http://quomodocumque.wordpress.com/2008/02/28/the-moduli-space-of-chords-dmitri-tymoczko-on-geometry-and-music-friday-7-mar-230pm/ The moduli space of chords: Dmitri Tymoczko on "Geometry and Music", Friday 7 Mar, 2:30pm] {{Wayback|url=http://quomodocumque.wordpress.com/2008/02/28/the-moduli-space-of-chords-dmitri-tymoczko-on-geometry-and-music-friday-7-mar-230pm/ |date=20240329153425 }},'' posted 28/Feb/08 – talk abstract and high-level mathematical description.</ref>Tymoczko的论文是《[[科学 (期刊)|科学]]》的第一篇乐理论文。<ref>Michael D. Lemonick, ''[https://web.archive.org/web/20070204041551/http://www.time.com/time/magazine/article/0,9171,1582330,00.html The Geometry of Music],'' ''[[Time (magazine)|Time]],'' 26 January 2007</ref><ref>Elizabeth Gudrais, ''[http://harvardmagazine.com/2007/01/mapping-music.html Mapping Music] {{Wayback|url=http://harvardmagazine.com/2007/01/mapping-music.html |date=20230208063511 }},'' Harvard Magazine, Jan/Feb 2007</ref><ref>Tony Phillips, ''[https://www.ams.org/mathmedia/archive/10-2006-media.html Tony Phillips' Take on Math in the Media] {{Wayback|url=https://www.ams.org/mathmedia/archive/10-2006-media.html |date=20081005194933 }},'' [[American Mathematical Society]], October 2006</ref>Mazzola和Tymoczko参与了有关其理论的讨论，在各自的网站上发表了一系列评论。<ref>{{cite web|url=http://www.encyclospace.org/special/answer_to_tymoczko.pdf|title=On D. Tymoczko's critique of Mazzola's counterpoint theory|first1=Octavio Alberto|last1=Agustín-Aquino|first2=Guerino|last2=Mazzola|date=2011-06-14|access-date=2023-12-14|archive-date=2023-12-14|archive-url=https://web.archive.org/web/20231214065348/https://www.encyclospace.org/special/answer_to_tymoczko.pdf|dead-url=no}}</ref><ref>{{cite web|url=http://dmitri.tymoczko.com/files/publications/mazzola.pdf|title=Mazzola's Counterpoint Theory|first=Dmitri|last=Tymoczko|access-date=2023-12-14|archive-date=2016-10-17|archive-url=https://web.archive.org/web/20161017195221/http://dmitri.tymoczko.com/files/publications/mazzola.pdf|dead-url=no}}</ref>

[[File:3-orbifold-voronoi-animated.gif|thumbnail|3维轨形<math>T^3 / S_3</math>的动画。

竖起来的立方体片（长对角线垂直于图像平面）形成彩色的[[沃罗诺伊图|沃罗诺伊]]区域（按和弦类似着色），区域中心代表三音和弦，最中心是[[增三和弦]]，围绕着大三、小[[三和弦]]（石灰绿和海军蓝）。白色是退化三和弦（1个音重复3次），连接中心的三条线（双音和弦）构成扭曲三棱柱的墙壁，与图像垂直的2D平面起到镜面作用。]]

Tymoczko将由''n''个（不必不同）音和弦模型化为轨形<math>T^n/S_n</math>中的点，即圆中''n''个无序点（不必不同）组成的空间，实现为''n''[[环面]]<math>T^n</math>（圆上''n''个有序点的空间）对对称群<math>S_n</math>（对应有序集到无序集的移动）的商。

从音乐角度可解释如下：
* 乐音取决于基音频率（音高），于是以正实数<math>\mathbb{R}^+</math>为参数。
* 相差一个八度（频率翻倍）的被视作同一乐音，这相当于对频率取底数为2的[[对数]]（产生实数：<math>\mathbf{R} = \log_2 \mathbf{R}^+</math>），然后用整数取商（对应相差若干八度），得到圆（如<math>S^1 = \mathbf{R}/\mathbf{Z}</math>）。
* 和弦对应多个乐音，而不考虑顺序——因此''t''个乐音（有序）对应圆上的''t''个有序点，或等价于''t''环面<math>T^t := S^1 \times \cdots \times S^1</math>上的单点，而省略顺序，相当于取对<math>S_t</math>的商，得到轨形。

对双和弦，这会产生闭[[莫比乌斯带]]；对[[三和弦]]，这会产生轨形，可描述为三棱柱，其顶面和底面带有120°（⅓）的扭转，等同于截面为等边三角形、且有扭转的3维实心环面。

由此得到的轨形自然由重复的乐音（由''t''的整数部分）分层：开集包含不同乐音（分区<math>t = 1 + 1 + \cdots + 1</math>），还有1维奇异集，包含所有相同乐音（分区<math>t = t</math>），拓扑等价于圆，还有各种中间分区。还有一个明显的圆，穿过等距点开集的中心。至于三和弦，三棱柱的3个侧面对应2个相同乐音+1个不同乐音（分区<math>3 = 2 + 1</math>），三条边对应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。音阶变化对应轨形上点的移动，相邻点之间的移动会产生更光滑的变化。

==另见==
* [[几何商]]
* [[向形]]
* [[叠 (数学)]]

==脚注==
{{Reflist|30em}}

==参考文献==
{{refbegin}}

* {{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 }}
* {{cite book |first=Werner |last=Ballmann |editor1-first=Étienne |editor1-last=Ghys |editor1-link=Étienne Ghys |editor2-first=Pierre |editor2-last=de La Harpe |date=1990 |chapter=Singular spaces of non-positive curvature |pages=189–201 |title=Sur les groupes hyperboliques d'après Mikhael Gromov |series=Progress in Mathematics |volume=83 |publisher=Birkhäuser |publication-place=Boston |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 }}
* {{cite web |first=Michel |last=Boileau |url= http://www.crm.es/Publications/Quaderns/Quadern25-1.pdf |title=Geometrizations of 3-manifolds with symmetries |access-date=6 December 2007 |archive-url=https://web.archive.org/web/20110930020447/http://www.crm.es/Publications/Quaderns/Quadern25-1.pdf |archive-date=30 September 2011 |url-status=dead }}
* {{cite book |first1=Michel |last1=Boileau |first2=Sylvain |last2=Maillot |first3=Joan |last3=Porti |date=2003 |title=Three-dimensional orbifolds and their geometric structures |series=Panoramas and Syntheses |volume=15 |publisher=Société Mathématique de France|publication-place=Paris |isbn=2-85629-152-X |oclc=56349823 }}.
* {{cite journal | doi = 10.4007/annals.2005.162.195 | last1 = Boileau | first1 = Michel | last2 = Leeb | first2 = Bernhard | last3 = Porti | first3 = Joan | year = 2005 | title = Geometrization of 3-dimensional orbifolds | url = https://archive.org/details/sim_annals-of-mathematics_2005-07_162_1/page/195 | journal =  Annals of Mathematics | volume = 162 | pages = 195–290 | arxiv = math/0010185 | s2cid = 119624092 }}
* {{cite book |first=Glen |last=Bredon |author-link=Glen Bredon |title=Introduction to Compact Transformation Groups |url=https://archive.org/details/introductiontoco0000bred |publisher=[[Academic Press]] |year=1972 |isbn=0-12-128850-1 |ref={{sfnRef|Bredon|1972}}}}
* {{cite book |last1=Bridson |first1=Martin |last2=Haefliger |first2=André |title=Metric Spaces of Non-Positive Curvature |series=Grundlehren der mathematischen Wissenschaften |volume=319 |date=1999 |publisher=Springer |isbn=3-540-64324-9 |doi=10.1007/978-3-662-12494-9 |doi-access=free|ref={{sfnRef|Bridson|Haefliger|1999}}}}
* {{cite arXiv |first=Matthew |last=Brin |date=2007 |title=Seifert Fibered Spaces: Notes for a course given in the Spring of 1993 |class=math.GT |eprint=0711.1346 }}
* {{Cite journal | title = Generalized Voice-Leading Spaces | first1 = Clifton | last1 = Callender | first2 = Ian | last2 = Quinn | first3 = Dmitri | last3 = Tymoczko | journal = [[Science (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 }}
* {{cite journal | last1=Cartwright | first1=Donald | last2=Mantero | first2=Anna Maria | last3=Steger | first3=Tim | last4=Zappa | first4=Anna | date=1993 | title=Groups acting simply transitively on the vertices of a building of type Ã{{sub|2}}, I | journal=[[Geometriae Dedicata]] | volume=47 | issue=2 | pages=143–166 | doi=10.1007/BF01266617 | doi-access=free}}
* {{cite book |first1=Daryl |last1=Cooper |first2=Craig |last2=Hodgson |first3=Steven |last3=Kerckhoff |date=2000 |title=Three-dimensional orbifolds and cone-manifolds |series=MSJ Memoirs |volume=5 |publisher=Mathematical Society of Japan |publication-place=Tokyo |isbn=4-931469-05-1 }}.
* {{cite conference |first=Pierre |last=de la Harpe |title=An invitation to Coxeter group |pages=193–253 |conference=Group theory from a geometrical viewpoint, 26 March - 6 April 1990, ICPT, Trieste, Italy (proceedings) |editor-last1=Ghys |editor-first1=Étienne |editor-link1=Étienne Ghys |date=1991 |page= |publisher=World Scientific |publication-place=Singapore |isbn=981-02-0442-6 |doi=10.1142/1235 }}.
* {{cite book |last1=Di Francesco |first1=Philippe |last2=Mathieu |first2=Pierre
|last3=Sénéchal |first3=David |title=Conformal field theory |url=https://archive.org/details/conformalfieldth0000difr |series=Graduate Texts in Contemporary Physics |publisher=Springer-Verlag |date=1997 |isbn=0-387-94785-X |doi=10.1007/978-1-4612-2256-9 |doi-access=free|ref={{sfnRef|Di Francesco|Mathieu|Sénéchal|1997}}}}.
* {{cite book |last=Haefliger |first=André |title=Groupoides d'holonomie et classifiants |series=Astérisque |publisher=Société Mathématique de France |publication-place=Paris |volume=116 |date=1984 |pages=70–97 |ref={{sfnRef|Haefliger|1984}}}}
* {{cite book |last1=Haefliger |first1=André |chapter=Orbi-espaces |pages=203–213 |title=Sur les groupes hyperboliques d'après Mikhael Gromov |editor-last1=Ghys |editor-first1=Étienne |editor-link1=Étienne Ghys |editor-last2=de la Harpe |editor-first2=Pierre |series=Progress in Mathematics |volume=83 |date=1990 |publisher=Birkhäuser |isbn=0-8176-3508-4 |doi=10.1007/978-1-4684-9167-8_11 |doi-access=free |ref={{sfnRef|Haefliger|1990}}}}
* {{cite conference |first=André |last=Haefliger |title=Complexes of groups and orbihedra |pages=504–540 |conference=Group theory from a geometrical viewpoint, 26 March - 6 April 1990, ICPT, Trieste, Italy (proceedings) |editor-last1=Ghys |editor-first1=Étienne |editor-link1=Étienne Ghys |date=1991 |page= |publisher=World Scientific |publication-place=Singapore |isbn=981-02-0442-6 |doi=10.1142/1235 }}
* {{cite journal |first1=Patrick |last1=Iglesias |first2=Yael |last2=Karshon |first3=Moshe |last3=Zadka |title=Orbifolds as Diffeologies |journal=Transactions of the American Mathematical Society |volume=362 |issue=6 |pages=2811–2831 |date=2010-06 |doi=10.1090/S0002-9947-10-05006-3 |s2cid=15210173 |arxiv=math/0501093 |ref={{sfnRef|Iglesias|Karshon|Zadka|5=2010}}}}
* {{cite book |first=Patrick |last=Iglesias-Zemmour |title=Diffeology |publisher=American Mathematical Society |series=Mathematical Surveys and Monographs |date=2013 |isbn= 978-0-8218-9131-5 |ref={{sfnRef|Iglesias-Zemmour|2013}}}}
* {{cite journal |first1=Patrick |last1=Iglesias-Zemmour |first2=Jean-Pierre |last2=Laffineur |title=Noncommutative Geometry & Diffeology: The Case Of Orbifolds | journal=Journal of Noncommutative Geometry |volume=12 |issue=4 |pages= 1551–1572 |date=2017 |doi=10.4171/JNCG/319 |s2cid=126092375 |ref={{sfnRef|Iglesias-Zemmour|Laffineur|3=2017}}}}
* {{cite book|first=Katsuo |last=Kawakubo |title=The Theory of Transformation Groups |publisher=[[Oxford University Press]] |date=1991 |isbn=0-19-853212-1}}
* {{cite journal |last1=Köhler |first1=Peter |last2=Meixner |first2=Thomas |last3=Wester |first3=Michael |date=1985 |title=The 2-adic affine building of type Ã{{sub|2}} and its finite projections |journal=[[Journal of Combinatorial Theory]] |series=Series A |volume=38 |issue=2 |pages=203–209 |doi=10.1016/0097-3165(85)90070-6 |doi-access=free }}
* {{cite journal |first=David |last=Mumford |date=1979 |title=An algebraic surface with K ample, (K<sup>2</sup>) = 9, p<sub>g</sub> = q = 0 |journal=American Journal of Mathematics |volume=101 |issue=1 |pages=233–244 |doi=10.2307/2373947 |jstor=2373947 |url=http://nrs.harvard.edu/urn-3:HUL.InstRepos:3612860 }}
* {{cite book|last1=Poincaré |first1=Henri |author-link=Henri Poincaré |title=Papers on Fuchsian functions |translator-last1=Stillwell |translator-first1=John |translator-link1=John Stillwell |publisher=Springer |date=1985 |isbn=3-540-96215-8 |ref={{sfnRef|Poincaré|1985}}}}
* {{cite journal |last=Satake |first=Ichirô |author-link=Ichirô Satake |date=1956 |title=On a generalization of the notion of manifold |journal=[[Proceedings of the National Academy of Sciences of the United States of America]] |volume=42 |issue=6 |pages=359–363 |pmc=528292 |bibcode=1956PNAS...42..359S | doi=10.1073/pnas.42.6.359 |doi-access=free |pmid=16578464 |ref={{sfnRef|Satake|1956}}}}
* {{cite journal |last=Satake |first=Ichirô |author-link=Ichirô Satake |date=1957 |title=The Gauss-Bonnet theorem for V-manifolds |journal=Journal of the Mathematical Society of Japan |volume=9 |issue=4| pages=464–492 |doi=10.2969/jmsj/00940464 |doi-access=free |ref={{sfnRef|Satake|1957}}}}
* {{cite journal |last1=Scott |first1=Peter |author-link1=G. Peter Scott |title=The geometries of 3-manifolds |journal=Bulletin of the London Mathematical Society |volume=15 |date=1983 |issue=5 |pages=401–487 |doi=10.1112/blms/15.5.401 |hdl=2027.42/135276 |url=http://www.math.lsa.umich.edu/~pscott/8geoms.pdf |ref={{sfnRef|Scott|1983}} |access-date=2023-12-11 |archive-date=2021-04-14 |archive-url=https://web.archive.org/web/20210414232548/http://www.math.lsa.umich.edu/~pscott/8geoms.pdf |dead-url=no }} <br> Errata: {{cite web |last1=Scott |first1=Peter |author-link1=G. Peter Scott |title=Errata for "The geometries of 3-manifolds", Bull. London Math. Soc. 15 (1983), 401-487 |url=http://www.math.lsa.umich.edu/~pscott/errata8geoms.pdf |access-date=2023-12-11 |archive-date=2019-10-08 |archive-url=https://web.archive.org/web/20191008040719/http://www.math.lsa.umich.edu/%7Epscott/errata8geoms.pdf |dead-url=no }}
* {{cite book |first=Jean-Pierre |last=Serre |author-link=Jean-Pierre Serre |title=Cours d'arithmétique |publisher=Presse Universitaire de France |date=1970 |ref={{sfnRef|Serre|1970}}}}
* {{cite book |first=Jean-Pierre |last=Serre |author-link=Jean-Pierre Serre |title=Trees |publisher=Springer |publication-place=Berlin |date=2003 |translator-first=John |translator-last=Stillwell |translator-link=John Stillwell |doi=10.1007/978-3-642-61856-7 |isbn=978-3-642-61858-1 }} <br> English translation of: {{cite journal |first=Jean-Pierre |last=Serre |author-link=Jean-Pierre Serre |title=Arbres, amalgames, SL<sub>2</sub> |edition=3rd |series=Astérisque |publisher=Société Mathématique de France |publication-place=Paris |volume=46 |date=1983 }}
* {{cite conference |first=John |last=Stallings |title=Triangles of groups |pages=491–503 |conference=Group theory from a geometrical viewpoint, 26 March - 6 April 1990, ICPT, Trieste, Italy (proceedings) |editor-last1=Ghys |editor-first1=Étienne |editor-link1=Étienne Ghys |date=1991 |page= |publisher=World Scientific |publication-place=Singapore |isbn=981-02-0442-6 |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 book |first=William |last=Thurston |author-link=William Thurston |url=http://msri.org/publications/books/gt3m/ |title=The Geometry and Topology of Three-Manifolds |series=Princeton University lecture notes |date=1978–1981 |ref={{sfnRef|Thurston|1978–1981}} |access-date=2023-12-11 |archive-date=2010-09-12 |archive-url=https://web.archive.org/web/20100912114553/http://www.msri.org/publications/books/gt3m |dead-url=no }}
* {{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 (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 }}
{{refend}}

[[Category:微分拓扑学]]
[[Category:群作用]]