[科普中国]-扭率张量- · 科普中国网

在微分几何中，挠率或称挠率此一概念是刻画沿着曲线移动的标架的扭曲或螺旋的方法。例如曲线的挠率，出现在弗莱纳公式中，量化了一条曲线变化时关于它的切矢量的扭曲程度（更确切的说弗莱纳标架关于切矢量的旋转）。在曲面的几何中，“测地挠率”描述了曲面关于曲面上一条曲线的扭曲。相伴的曲率概念度量了沿着曲线的活动标架“没有扭曲的转动”。

简介在装备一个仿射联络（即切丛的一个联络）的微分流形上，挠率与曲率构成了联络的两个基本不变量。在这种意义下，挠率给出了切空间关于一条曲线平行移动怎样扭曲的内蕴刻画；而曲率描述了切空间沿着曲线怎样旋转。挠率可具体的描述为一个张量，或一个矢量值2-形式。如果 ∇ 是微分流形上一个联络，那么挠率张量用矢量场X与Y表示定义为：

这里 [X,Y] 是矢量场的李括号。

挠率在测地线几何的研究特别重要。给定一个参数化测地线系统，我们一定指定一族仿射联络具有这些测地线，但是具有不同的挠率。具有惟一“吸收挠率”的联络，将列维-奇维塔联络推广到其他，也许没有度量的情形（比如芬斯勒几何）。吸收挠率在G-结构与嘉当等价方法的研究中也起着重要的作用。挠率通过关联的射影联络在研究测地线非参数族也很有用。在相对论中，这种想法以爱因斯坦-嘉当理论的形式提供了工具。

挠率张量设M是切丛上带有联络 ∇ 的流形。挠率张量（有时也称为嘉当（挠率）张量）是一个矢量值 2-形式，定义在矢量场X于Y上

这里 [X,Y] 是两个矢量场的李括号。由莱布尼兹法则，对任何光滑函数f有T(fX,Y) =T(X,fY) =fT(X,Y)。所以T是一个张量，尽管是用非张量的共变导数定义的：它给出了切矢量上的一个 2 形式，但共变导数只对矢量场有定义。

挠率张量的分量挠率张量在切丛的局部截面的基(e1, ...,en) 下可写成分量{\displaystyle T^{c}{}_{ab}}。令X=ei，Y=ej，引入交换子系数 γ

如果基是和乐的，则李括号变为零，，从而。特别地（见下），测地线方程确定联络的对称部分，而挠率张量确定反对称部分。

挠率形式挠率形式，是挠率的另一种刻画，适用于M的标架丛FM。这个主丛装备有一个联络形式ω，一个gl(n)-值的 1-形式将竖直矢量映到gl(n) 中的右作用的生成元，且通过在gl(n) 上的伴随表示等变纠缠于 GL(n) 在 FM的切丛上的右作用。标架丛也带有一个典范 1 形式θ，取值于R，定义在标架u∈ FxM（视为一个线性函数u:R→ TxM）为

这里 π: FM→M是主丛的投影映射。那么挠率形式是

等价地， Θ = Dθ，这里D是由联络确定的外共变导数。

挠率形式是一个取值于R的（水平）扭曲形式，意味着在g∈ Gl(n) 的右作用下等变：

这里g通过它在R上的基本表示作用在左边。

曲率形式与比安基恒等式曲率形式是gl(n)-值 2-形式

这里，D同样表示外共变导数。用曲率形式和挠率形式表示，相应的比安基恒等式为：

进一步，我们可以从曲率形式和挠率形式复原曲率和挠率。在 FxM中的点u，我们有

这里u:R→ TxM是确定纤维中标架的函数，且矢量通过 π的提升与选取无关，因为曲率和挠率形式是水平的（它们在不确定的竖直矢量上为 0）。

标架中的曲率形式[编辑]参见：联络形式

挠率形式可用底流形M上的联络形式，在切丛的一个特殊的标架 (e1,...,en) 下写出。联络形式表述这些截面的外共变导数

切丛的焊接形式（关于这个标架）是ei的对偶基θ∈ TM，所以 θ

那么挠率 2-形式有分量

在最右边的表达式中，

是挠率张量的标架分量，由首先的定义给出。

容易证明 Θ像张量一个变化：如果另一个标架

对某个可逆矩阵值函数 (gi)，那么

换句话说，Θ 是 (1,2) 型张量（一个反变、两个共变指标）。

做为另一种选择，焊接形式能用无标架形式刻画为M上的 TM-值 1形式θ，在对偶同构 End(TM) ≈ TM⊗ TM下对应于切丛的恒等同态。则挠率 2-形式是

的一个截面，由

给出。这里D是外共变导数（更多细节参见联络形式）。

特征描述与解释这一节中总是假设：M是微分流形，∇ 是M切丛上的共变导数除非另外指明。

仿射进化[编辑]假设xt是M上一条曲线。xt的仿射进化定义为 Tx0M中惟一的曲线Ct使得

这里

是与 ∇ 关联的平行移动。

特别地，如果xt是一个闭环路，则Ct是否闭取决于联络的挠率。从而挠率解释为曲线的 development 的螺位错。这样，挠率与联络的和乐转移分量联系起来。相伴的曲率概念描绘了无穷小线性变换（在黎曼联络情形或为旋转）。

参考标架的扭曲在经典曲线的微分几何中，弗莱纳公式描述了一个特别的活动标架（弗莱纳标架）沿着一条曲线怎样“扭曲”。用物理语言，挠率对应于一个假想的沿着曲线的陀螺的角动量。

带有（度量）联络的流形可类比地解释。假设一个观察者沿着这个联络下的测地线移动。这个观察者通常认为自己是在惯性参考系中，因为她没有经历过加速度。另外假设观察者携带着一个刚性直测量杆系统（一个坐标系）。每根杆都是直线段，一条测地线。假设每根杆沿着轨道都是平行移动，这些杆是沿着轨迹物理的“携带”的事实意味着是“李拖拽”或传播，所以沿着切矢量每根杆子的李导数为零。类似于弗莱纳标架上的陀螺，它们可能经受力矩（或扭力）。这个力便由挠率衡量。

更准确地，假设观察者沿着测地线 γ(t) 移动，携带着一个测量杆。当观察者移动时，杆子扫过一个曲面。沿着这个曲面有一个自然坐标系 (t,x)，这里t是由观察者确定的时间参数，x是沿着测量杆的长度。测量杆须沿着曲线平行移动的条件为

从而，挠率由

给出。如果不是零，则杆上标出的这点（点x= 常曲线）的轨迹为螺旋而不是测地线。它们将绕着观察者旋转。

这种挠率的解释在平行引力理论中扮演着重要的角色。平行引力理论，也称为爱因斯坦-嘉当理论，是相对论的一种替代性表述。

纤维的挠率在材料科学中，特别是弹性理论，挠率的想法也扮演着重要的角色。其中一个问题是藤生长的建模，专注于藤如何能绕着对象缠绕。藤自身模型化为一对相互缠绕的弹性纤维。在其能量极小状态，藤自然生长成一个螺旋状。但是藤也有可能伸长以达到广度（或长度）最大化。在此情形，藤的挠率与这对纤维的挠率有关（或等价地，链接两条纤维的带子的曲面挠率），这反映了藤的长度最大化（测地线）布局与能量最小化布局之间的差异。

挠率与涡旋在流体力学中，挠率自然与涡线相关。

测地线与挠率的吸收假设 γ(t) 是M上一条曲线。则 γ 是一条仿射参数化测地线如果

对属于 γ的定义域中所有时间t（这里点表示关于t求导，得到了 γ(t) 处切矢量）。每条测地线由初始t=0 切矢量惟一确定。