微分幾何中,扭率或稱扭率此一概念是刻畫沿着曲線移動的標架的扭曲或螺旋的方法。例如曲線的扭率,出現在弗萊納公式中,量化了一條曲線變化時關於它的切向量的扭曲程度(更確切的說弗萊納標架關於切向量的旋轉)。在曲面的幾何中,「測地扭率」描述了曲面關於曲面上一條曲線的扭曲。相伴的曲率概念度量了沿着曲線的活動標架「沒有扭曲的轉動」。

沿着測地線的扭率

更一般地,在裝備一個仿射聯絡(即切線束的一個聯絡)的微分流形上,扭率與曲率構成了聯絡的兩個基本不變量。在這種意義下,扭率給出了切空間關於一條曲線平行移動怎樣扭曲的內蘊刻畫;而曲率描述了切空間沿着曲線怎樣旋轉。扭率可具體的描述為一個張量,或一個向量值2-形式。如果 ∇ 是微分流形上一個聯絡,那麼扭率張量用向量場 XY 表示定義為:

這裏 [X,Y] 是向量場的李括號

扭率在測地線幾何的研究特別重要。給定一個參數化測地線系統,我們一定指定一族仿射聯絡具有這些測地線,但是具有不同的扭率。具有惟一「吸收扭率」的聯絡,將勒維奇維塔聯絡推廣到其他,也許沒有度量的情形(比如芬斯勒幾何)。吸收扭率在G-結構嘉當等價方法的研究中也起着重要的作用。扭率通過關聯的射影聯絡在研究測地線非參數族也很有用。在相對論中,這種想法以愛因斯坦-嘉當理論的形式提供了工具。

扭率張量

編輯

M 是切線束上帶有聯絡 ∇ 的流形。扭率張量(有時也稱為嘉當(扭率)張量)是一個向量值 2-形式,定義在向量場 XY

 

這裏 [X,Y] 是兩個向量場的李括號。由萊布尼茲法則,對任何光滑函數 fT(fX,Y) = T(X,fY) = fT(X,Y)。所以 T 是一個張量,儘管是用非張量的共變導數定義的:它給出了切向量上的一個 2 形式,但共變導數隻對向量場有定義。

曲率和比安基恆等式

編輯

聯絡 ∇ 的曲率張量是一個映射 TM ∧ TM → End(TM) ,定義在向量場 X, Y, 與 Z

 

注意,對位於一點的向量,這個定義與這個向量如何擴張成一個向量場的方式無關(即定義了一個張量,類似於扭率)。

比安基恆等式聯繫了曲率和扭率。[1]X, YZ循環求和記為  ,例如

 

那麼下面的公式成立

1. 比安基第一恆等式

 

2. 比安基第二恆等式

 

扭率張量的分量

編輯

扭率張量在切線束的局部截面 (e1, ..., en) 下可寫成分量  。令 X=eiY=ej,引入交換子系數 γkijek := [ei,ej]。那麼扭率的分量是

 

如果基是和樂的,則李括號變為零, ,從而  。特別地(見下),測地線方程式確定聯絡的對稱部分,而扭率張量確定反對稱部分。

扭率形式

編輯

扭率形式,是扭率的另一種刻畫,適用於 M標架叢 FM。這個主叢裝備有一個聯絡形式 ω,一個 gl(n)-值的 1-形式將豎直向量映到 gl(n) 中的右作用的生成元,且通過在 gl(n) 上的伴隨表示等變纏結於 GL(n) 在 FM 的切線束上的右作用。標架叢也帶有一個典範 1 形式 θ,取值於 Rn,定義在標架 u ∈ FxM(視為一個線性函數 u : Rn → TxM)為

 

這裏 π : FMM 是主叢的投影映射。那麼扭率形式是

 

等價地, Θ = Dθ,這裏 D 是由聯絡確定的外共變導數

扭率形式是一個取值於 Rn的(水平)扭曲形式,意味着在 g ∈ Gl(n) 的右作用下等變:

 

這裏 g 通過它在 Rn 上的基本表示作用在左邊。

曲率形式與比安基恆等式

編輯

曲率形式gl(n)-值 2-形式

 

這裏,D 同樣表示外共變導數。用曲率形式和扭率形式表示,相應的比安基恆等式為: [2]

  1.  
  2.  

進一步,我們可以從曲率形式和扭率形式復原曲率和扭率。在 FxM 中的點 u,我們有[3]

 
 

這裏 u : Rn → TxM 是確定纖維中標架的函數,且向量通過 π-1 的提升與選取無關,因為曲率和扭率形式是水平的(它們在不確定的豎直向量上為 0)。

標架中的曲率形式

編輯

扭率形式可用底流形 M 上的聯絡形式,在切線束的一個特殊的標架 (e1,...,en) 下寫出。聯絡形式表述這些截面的外共變導數

 

切線束的焊接形式(關於這個標架)是 ei對偶基 θi ∈ T*M,所以 θi(ej) = δij克羅內克函數

那麼扭率 2-形式有分量

 

在最右邊的表達式中,

 

是扭率張量的標架分量,由首先的定義給出。

容易證明 Θi 像張量一個變化:如果另一個標架

 

對某個可逆矩陣值函數 (gij),那麼

 

換句話說,Θ 是 (1,2) 型張量(一個反變、兩個共變指標)。

做為另一種選擇,焊接形式能用無標架形式刻畫為 M 上的 TM-值 1形式θ,在對偶同構 End(TM) ≈ TM ⊗ T*M 下對應於切線束的恆等同態。則扭率 2-形式是

 

的一個截面,由

 

給出。這裏 D外共變導數(更多細節參見聯絡形式)。

不可約分解

編輯

扭率張量可以分解為兩個不可約部分:不含的部分與包含跡的部分。用指標記法T 的跡為

 

不含跡的部分為

 

這裏 δij克羅內克函數

本質上有,

 

T 的跡 tr T,是如下定義的 T*M 中一個元素。對固定的任何向量X ∈ TMT 定義了一個 Hom(TM, TM) 中一個元素 T(X),通過

 

那麼 (tr T)(X) 定義為這個同態的跡。這就是,

 

T 不含跡的部分為

 

這裏 ι 表示內乘

作為比安基恆等式的推論,1-形式 tr T 是一個 1-形式:

 

這裏 d外導數

特徵描述與解釋

編輯

這一節中總是假設:M微分流形,∇ 是 M 切線束上的共變導數除非另外指明。

仿射進化

編輯

假設 xtM 上一條曲線。xt仿射進化英語development (differential geometry)定義為 Tx0M 中惟一的曲線 Ct 使得

 

這裏

 

是與 ∇ 關聯的平行移動

特別地,如果 xt 是一個閉環路,則 Ct 是否閉取決於聯絡的扭率。從而扭率解釋為曲線的 development 的螺位錯。這樣,扭率與聯絡的和樂轉移分量聯繫起來。相伴的曲率概念描繪了無窮小線性轉換(在黎曼聯絡情形或為旋轉)。

參考標架的扭曲

編輯

在經典曲線的微分幾何中,弗萊納公式描述了一個特別的活動標架(弗萊納標架)沿着一條曲線怎樣「扭曲」。用物理語言,扭率對應於一個假想的沿着曲線的陀螺角動量

帶有(度量)聯絡的流形可類比地解釋。假設一個觀察者沿着這個聯絡下的測地線移動。這個觀察者通常認為自己是在慣性參考系中,因為她沒有經歷過加速度。另外假設觀察者攜帶着一個剛性直測量杆系統(一個坐標系)。每根杆都是直線段,一條測地線。假設每根杆沿着軌道都是平行移動,這些杆是沿着軌跡物理的「攜帶」的事實意味着是「拖曳」或傳播,所以沿着切向量每根杆子的李導數為零。類似於弗萊納標架上的陀螺,它們可能經受力矩(或扭力)。這個力便由扭率衡量。

更準確地,假設觀察者沿着測地線 γ(t) 移動,攜帶着一個測量杆。當觀察者移動時,杆子掃過一個曲面。沿着這個曲面有一個自然坐標系 (t,x),這裏 t 是由觀察者確定的時間參數,x 是沿着測量杆的長度。測量杆須沿着曲線平行移動的條件為

 

從而,扭率由

 

給出。如果不是零,則杆上標出的這點(點 x =  常曲線)的軌跡為螺旋而不是測地線。它們將繞着觀察者旋轉。

這種扭率的解釋在平行重力理論中扮演着重要的角色。平行重力理論,也稱為愛因斯坦-嘉當理論,是相對論的一種替代性表述。

纖維的扭率

編輯

材料科學中,特別是彈性理論,扭率的想法也扮演着重要的角色。其中一個問題[4]生長的建模,專注於藤如何能繞着物件纏繞。藤自身模型化為一對相互纏繞的彈性纖維。在其能量極小狀態,藤自然生長成一個螺旋狀。但是藤也有可能伸長以達到廣度(或長度)最大化。在此情形,藤的扭率與這對纖維的扭率有關(或等價地,連結兩條纖維的帶子的曲面扭率),這反映了藤的長度最大化(測地線)佈局與能量最小化佈局之間的差異。

扭率與渦旋

編輯

流體力學中,扭率自然與渦線相關。

測地線與扭率的吸收

編輯

假設 γ(t) 是 M 上一條曲線。則 γ 是一條仿射參數化測地線如果

 

對屬於 γ的定義域中所有時間 t(這裏點表示關於 t 求導,得到了 γ(t) 處切向量  )。每條測地線由初始 t=0 切向量  惟一確定。

聯絡的扭率的一個運用涉及到聯絡的測地波浪geodesic spray):粗略地講為所有仿射參數化測地線。

用測地波浪將聯絡分類時,不同扭率不能區分開來:

  • 兩個聯絡 ∇ 與 ∇′ 具有相同的仿射參數化測地線(即相同的測地波浪),只在扭率有區別。[5]

更準確地,如果 XYpM的一對切向量,那麼令

 

是兩個聯絡的差,用 XYp 處的任意擴張計算。由萊布尼茲乘積法則,我們看出 Δ 事實上與 XY 如何擴張無關(所以定義了 M 上一個張量)。設 SA 分別為 Δ 的對稱與交替部分:

 
 

  •   是扭率張量之差。
  • ∇ 與 ∇′ 定義了相同的仿射參數化測地線族當且僅當 S(X,Y) = 0。

換句話說,兩個聯絡之差的對稱部分決定了它們是否具有相同的參數化測地線,然而差的斜對稱部分由這兩個聯絡的相對扭率決定。另一個推論是

  • 給定任何仿射聯絡 ∇,存在惟一一個無撓聯絡 ∇′ 具有共同的仿射參數化測地線。

這是黎曼幾何基本定理到(也許無度量)仿射聯絡的一個推廣。選出從屬於一族參數化測地線惟一的聯絡也稱為扭率的吸收,這是嘉當等價方法的一個使用之處。

另見

編輯

註釋

編輯
  1. ^ See Kobayashi-Nomizu (1996) Volume 1, Proposition III.5.2.
  2. ^ Kobayashi-Nomizu (1996) Volume 1, III.2.
  3. ^ Kobayashi-Nomizu (1996) Volume 1, III.5.
  4. ^ Goriely et al (2006).
  5. ^ See Spivak (1999) Volume II, Addendum 1 to Chapter 6. See also Bishop and Goldberg (1980), section 5.10.

參考文獻

編輯