3維Lorenz空間中的類時Willmore曲面

3維Lorenz空間中的類時Willmore曲面

1類空單位法向量的確定及類空與引發(fā)性相關(guān)定理的提出位于3維羅登茲空間，配備內(nèi)部體積。其中設f:是一個類時曲面,H和K分別為曲面f的中曲率和Gauss曲率,則為Willmore泛函,它的Euler-Lagrange方程為其中△是關(guān)于度量(df,df)的Laplace算子.滿足方程(1.4)的曲面稱為中的Willmore曲面.由方程(1.4)知,中的極小曲面必為Willmore曲面.對空間中的Willmore曲面的研究已有豐富的結(jié)果,讀者可參見文獻.文獻研究中的類空Willmore曲面,并證明類空Willmore球的唯一性,但沒有對導出曲面和Willmore對偶曲面進行研究.本文主要研究中的類時Willmore曲面及其對偶定理.設是一個類時曲面,則的單位法向量.對任意定義其中H(p)為曲面M*在p點處的中曲率,則是中的一個單葉雙曲面,它與曲面M*在p點處相切,并有相同的中曲率H(p).曲面族在中有兩個不同的包絡面,一個是曲面M*本身,另一個記為,稱為曲面M*的導出曲面.加上在無窮遠光錐C∞上的極限點,我們得到中的曲面x:M→的導出曲面.將是擁有(-+++-)型內(nèi)積的Lorentz空間,則映射的共形Gauss映射.我們稱類時曲面x:為正則曲面,如果它的共形Gauss映射的漸近坐標,則可證明是M上共形不變的4-形式(見第2節(jié)).本文的主要結(jié)果如下:定理A為正則的Willmore曲面當且僅當它的共形Gauss映射為極小曲面.定理B設是類時曲面x:的導出曲面,則下述的3個命題等價:(ⅰ)x:M→是滿足<ξuu,ξuu>=0和<ξvv,ξvv>=0的Willmore曲面;(ⅱ)中的一個點;(ⅲ)x:共形等價于中的一個極小曲面.定理C設x:M→為類時的正則Willmore曲面.如果則它的導出曲面也是中的Willmore曲面,并且2類時曲面的確立設為Lorentz空間,裝備有內(nèi)積設是中的光錐,定義為定義為實射影空間中的二次超曲面則標準投影是一個纖維叢,它的纖維是R\{0}.易知是一個二層覆疊,其中于是,微分同胚.對纖維叢某個開集U上的局部截面所以,的共形類與局部截面Z的選取無關(guān).利用上的一個單位分解,可以得到上整體定義的度量h,它的共形類上標準的共形度量.為了證實h是上一個Lorentz度量,我們?nèi)【植拷孛鎰t有其中分別是上的標準度量.這樣,它的共形類[h]定義了上的一個標準的Lorentz共形度量.由Cahen-Kerbrat定理(參見文獻)可知,的共形變換群恰為Lorentz群它保持的內(nèi)積(2.1)不變,且在上的作用為設的共形嵌入,定義為定義無窮遠點處的光錐為則有因此,是由Lorentz空間加上無窮遠處的光錐C∞構(gòu)成的.設x:是類時曲面,則h在每個切平面上均不退化.因為在無窮遠光錐的每個切平面上退化,故至多是1維的.于是存在中的類時曲面并且由曲面f加上它在上的極限點,我們可以重新得到因此中的類時曲面完全確定.稱曲面是Willmore曲面,如果它所對應的中的曲面中的兩曲面是共形等價的,如果它們所對應的中的曲面至多相差一個O(3,2)中的變換.設是類時曲面,則是M上的Lorentz度量.對叢的每個局部截面均可找到M的一個開集稱為曲面x的一個局部提升.于是,在曲面M的每一點p處均存在一個開集滿足以下條件:(ⅰ)存在局部提升(ⅱ)在U上存在漸近坐標系(u,v),使得注意到與x*h共形等價,故在U上有其中ω是U上的一個函數(shù).由此得到由(2.7)式推出這樣,在U的每一點處,向量組{y,yuv,yu,yv}張成的一個4維的非退化子空間,它的類型為(-+-+).于是,存在唯一映射,滿足顯然,映射ξ與局部提升y和漸近坐標系(u,v)的選擇無關(guān),它是M上整體定義的一個映射.記并稱為曲面x的共形Gauss映射.引進映射,定義為則有利用活動標架的結(jié)構(gòu)方程:其中ψ和φi及Ωi是U上定義的實函數(shù).由恒等式得到其中最后一個方程中的為度量<dy,dy>的曲率.現(xiàn)設為曲面x的另一個局部提升和漸近坐標系,它們定義在的另一個開集V上,則它們定義了中的另一個活動標架以及對應的函數(shù)(參見方程(2.11)～(2.14)).我們在U∩V上可以找到一個非零函數(shù)λ,使得.因為(u,v)和同為漸近坐標系,故在U∩V上有通過直接計算,在U∩V上有以下的關(guān)系式:由方程(2.17)和(2.19)～(2.23)推出以下的方程在U∩V上成立:因此,與局部提升y和漸近坐標系{u,V}的選取無關(guān),它整體定義在曲面M上.又由于對任意T∈O(3,2),yT為的局部提升,(u,v)也是它的漸近坐標系.從上述結(jié)構(gòu)方程和(2.27)式得知,g在共形變換下不變,它是一個共形不變量.進一步,從(2.25)和(2.26)式知道,中滿足性質(zhì)的曲面在共形變換下不變.為了用Euclid不變量來表達共形不變度量g和上述共形不變方程,設,其中為中的類時曲面,則是曲面x的局部提升.取x的漸近坐標系(u,v),則有于是存在曲面f的單位法向量場,使得令為曲面f的Hopf形式,為曲面f的中曲率,則有以下的結(jié)構(gòu)方程:為度量(df,df)的曲率.利用漸近坐標系(u,v),我們得到由方程(2.11)～(2.14)和(2.32)～(2.34)直接得到于是,由(2.31)和(2.35)式得到這樣,恰好是中類時曲面的Willmore泛函.從(2.35)式我們得到.于是,Willmore泛函的Euler-Lagrange可寫成由(2.20)式知道,性質(zhì)也在共形變換群O(4,2)下不變.我們稱中滿足Ω1Ω2≠0的曲面為中的正則曲面.從(2.14)式可見,曲面為正則曲面,當且僅當它的共形Gauss映射是非退化的曲面.我們也注意到,中滿足的曲面為中的全臍曲面(參見(2.35)式)3推導曲面型的轉(zhuǎn)化設x:為類時定向曲面,為由(2.8)式定義的、曲面x的共形Gauss映射.取x的一個局部提升.稱映射為曲面x的導出曲面,如果存在一個映射,滿足,使得顯然,上述導出曲面的定義與局部提升y和映射的選取無關(guān).對任意p∈M,Gauss映射ξ(p)∈的幾何意義為與曲面x在x(p)點相切的、具有相同中曲率的唯一的單葉雙曲面.而導出曲面的幾何含義已在引言中給出:曲面x和它的導出曲面同時為這些單葉雙曲面的包絡面.命題3.1設x:M→是一個正則的類時曲面,則它唯一決定一個導出曲面.證設y是曲面x的一個局部提升,(u,v)是曲面x的一個漸近坐標系,它們定義在M的一個開集U上.設{y,η,yu,yv,ξ}是第2節(jié)中定義的中的活動標架.定義因為x:是一個正則曲面,故有從(2.14)和(3.2)式我們得到因此滿足(3.1)式.現(xiàn)設是滿足(3.1)式的另一個映射.令其中{a,b1,b2,μ}為函數(shù),并且μ≠0.由,我們得到從(2.14)式和等式得到這樣,我們得到于是有.這樣,導出曲面是整體定義的,并由曲面x所唯一決定.證畢.由(2.13)和(2.14)式有從(2.14)式得它恰好是(2.27)式定義的共形度量.x:M→是正則曲面,它的共形Gauss映射是中的類時曲面.從(3.6)式我們知道ξ的Laplace算子為從(2.36)、(3.5)和(3.6)式知:x:M→是一個Willmore曲面當且僅當它的Gauss映射ξ滿足即為極小曲面.這樣我們就完成了定理A的證明.命題3.2設是一個正則Willmore曲面x:M→的共形Gauss映射,(u,v)為曲面的一個漸近坐標系,則為M上整體定義的4-形式,且滿足證從(2.14)式知所以與漸近坐標系的選取無關(guān),它們是M上整體定義的4-形式.由于是Willmore曲面,由(3.5)式知它的共形Gauss映射滿足于是存在函數(shù)a1,a2和b1,b2,使得由此得到命題3.3設是曲面x:M→的導出曲面,是由(3.2)式給出的曲面的一個局部提升,則有證利用(3.2)～(3.4)式得到于是,我們得到(3.7)式.證畢.現(xiàn)在我們來證明定理B.設x:M→是一個正則的類時曲面,y是x的一個局部提升,(u,v)是曲面x的漸近坐標系.因為Ω1Ω2≠0,從(2.14)和(3.1)式可知是中的一個活動標架.不妨設,由此得到當且僅當也就是說,當且僅當它的導出曲面為常值映射(參見(3.8)式).由此推出定理B中的(i)和(ii)是等價的.則從(2.33)和(2.35)式得到且有由(3.2)式推出于是為常值映射.反之,如果是一個類時曲面,滿足為常值,其中我們可以找到從(2.32)式得到于是,由(3.13)式推出即φ1=φ2=0.從(3.13)式獲得由此得到H=0,即為極小曲面,因此定理B中的(ii)和(iii)也等價.這就完成了定理B的證明.最后證明定理C.設x:M→是一個正則的Willmore曲面,則有Ω1Ω2≠0,并且由(3.8)式知設是x的導出曲面,其中由(3.2)式給出.由(3.8)、(3.11)和(3.12)式得到由(3.14)、(3.15)和(2.14)式得這樣,是一個類時曲面.因為兩個曲面x,有相同的共形Gauss映射ξ,并且這個Gauss映射是極小的,故由定理A知也是Willmore曲面.由的