|
四(W,h·,·i,, γ) 其中(i)W是有向黎曼流形(M,g)上的复(实)向量丛,具有厄米(黎曼)结构h·,·i;(二) : C∞(男,女)→ C∞(男,女)*M W)是M上的一个连接;(iii)γ:Cl(M,g)→ Hom(W)是一个实代数丛同态,从Mt上的Clifford丛到W的复(实)自同态的实丛,即W是Clifford模的丛;如果满足以下条件,则称为狄拉克丛:(iv)γ(v)*= -γ(v),五、∈ T M,即切向量的乘积是关于厄米(黎曼)结构h·、·i的自由斜伴随;(五)h·,·i=0,即连接为莱布尼兹(黎曼)。换言之,它满足生产规则:dh~n,ψi=hψ,ψi+h,ψi,φ, ψ ∈ C∞(M,W);(114)(vi)γ=0,即连接是一个模块派生。换句话说,它满足了产品规则:(γ(w)~n)=γ(gw)а+γ(w)φ, φ, ψ ∈ C∞(M,W),W∈ C∞(M,Cl(M,g))。(115)例4.1。(作为狄拉克丛的外代数丛)。设(M,g)为C∞维数为m的黎曼流形。正切丛和余切丛由-byv定义的地图(w) :=g(v,w)。其逆项表示为. 在下列选择之后,外部代数可以被视为狄拉克丛:oW:=∧(T)*M) =Lmj=0∧j(T*M) :M上的外代数;oh·,·i:g诱导的黎曼结构: 提升Levi-Civita连接通过内部和外部乘法,int(v)~n:=v(v,·)和ext(v)~n:=v∧ 我们可以定义如下:γ:T M-→ 坎(西)V7-→ γ(v):=ext(v)- int(v)。(116)回想一下,因为γ(v)=-g(v,v)1,基于普适性,映射γ唯一地扩展到一个实代数,但不包括自同态γ:Cl(M,g)-→ 霍姆(西)。定义64。让(W,h·,·i,, γ) 是黎曼流形(M,g)上的狄拉克丛。
|