一類具有三個(gè)不同共形主曲率的類空超曲面

聶昌雄,范植興

(湖北大學(xué)數(shù)學(xué)與統(tǒng)計(jì)學(xué)學(xué)院, 湖北 武漢 430062)

一類具有三個(gè)不同共形主曲率的類空超曲面

聶昌雄,范植興

(湖北大學(xué)數(shù)學(xué)與統(tǒng)計(jì)學(xué)學(xué)院, 湖北 武漢 430062)

若類空等參超曲面有平行的共形的第二基本形式, 則有2個(gè)或3個(gè)共形主曲率[11].筆者論證3個(gè)不同主曲率在重?cái)?shù)一致的情形下, 具有平行的共形的第二基本形式, 并在共形等價(jià)下對(duì)這類超曲面作分類.

Lorentz空間形式；共形等參超曲面；共形主曲率；共形不變量

0 引言

設(shè)α=(x1,…,xn),β=(y1,…,yn)∈Rn. 在Rn上定義Lorentz度量g=<,>s, 則

筆者給出了3個(gè)共形主曲率重?cái)?shù)一致的情形, 但對(duì)其重?cái)?shù)不一致還有待討論. 主要結(jié)果如下:

(u1,u2,t,u3)|→(tu1,tu2,u3).

1 共形幾何

其中ξ⊥span{Y,N,Y1,…,Yn}且<ξ,ξ>=-1. 我們假定1≤i,j,k,l,t≤n. 結(jié)構(gòu)方程為

Aijk-Aikj=BijCk-BikCj

Bijk-Bikj=δijCk-δikCj

(1)

(2)

Rijkl=(δikAjl-δilAjk)+(Aikδjl-Ailδjk)-(BikBjl-BilBjk)

(3)

此外,還滿足以下基本關(guān)系

(4)

(5)

由上式可知{A,φ}可由{B,g}確定, 從而有

1.2 Lorentz空間形式中的共形不變量 考察以下3種嵌入：

由于σ0,σ+1,σ-1是共形映射, 因此Lorentz空間形式中的類空超曲面也是共形空間中的類空超曲面.

由子流形理論可知

△u=n(Hen+1-εu),ρ=n(n-1)ε+S-n2H2

(6)

(7)

下面給出上述共形不變量與平均曲率的關(guān)系:

(8)

(9)

例子 對(duì)b>a>0,b2-a2=1. 扭積嵌入

I==t2du1?du1+t2du2?du2+dt?dt+du3?du3.

選取幺正標(biāo)架{e1,…,en}, 在這組基下有

Ci=0, (Aij)=(λ1Im)⊕(λ2Im)⊕(λ3Im), (Bij)=(η1Im)⊕(η2Im)⊕(η3Im),

2 一類共形等參超曲面的分類

B:=(Bij)=(b1Im)⊕(b2Im)⊕(b3Im)

(10)

方便起見, 我們給定下指標(biāo)范圍

1≤a,b≤m;m+1≤p,q≤2m; 2m+1≤α,β≤n; 1≤i,j,k,l≤n.

由(2)式可知AB=BA, 結(jié)合(10)式可知A必定為對(duì)角陣, 不妨設(shè)

A:=(Aij)=diag(aaIm)⊕diag(apIm)⊕diag(aαIm).

下面考慮B的共變微分:

即Babi=0. 同理可證Bpqi=Bαβi=0, 而由(1)可知Babc=Bbac=Bbca, 即Bijk中i,j,k互換位置不改變大小, 從而集合{Bijk|i≤j≤k}中非零元必定形如Bapα. 故

(11)

同理可證

(12)

(13)

其中內(nèi)積運(yùn)算是歐氏空間標(biāo)準(zhǔn)內(nèi)積.

(14)

(11)式兩邊同時(shí)微分得

(15)

3) 當(dāng)p=q且α=β時(shí), 由(3)式得Rpαqβ=ap+aα-b2b3, 因此

(16)

(17)

(18)

(19)

注 每行(或列)所有元素都相互正交；經(jīng)過換行換列變換結(jié)論依然成立.

引理2.2 如上定義, 若矩陣L存在零元, 則DB=0.

其中E,F中元素兩兩正交. 由于L1中所有元素都是m維的, 而首行首列非零元素有(m-i)+(m-j)個(gè), 因此(m-i)+(m-j)≤m.從而i+j+1≥m+1, 以下對(duì)首行零元素個(gè)數(shù)j進(jìn)行討論：

a) 若j=m, 則L中的首行全為零元.

而la1,…,laj,l1b,…,lib,lab(a>i,b>j)兩兩正交, 從而{la1,…,laj}中必定存在零元, 而其模長(zhǎng)一致, 因此la1=…=laj=0, 從而前j列全為零, 必定有首列全為零元.

上式兩邊同時(shí)乘以Bapα可得

對(duì)上式a,p,α求和可得

1) 先證矩陣L1中的每行或每列各元素模長(zhǎng)相等. 記k∈{2,…,m}, 定義m-1個(gè)線性變換Tk:

Tk(v1,…,vm):=(Tkv1,…,Tkvm)=(lk1,…,lkm),

則

==0(i≠j)

(20)

=0,+=0,i≠j,

(21)

+=0,?u,v∈Rm.

令u=vj,v=Tkvi,可得

(22)

引理2.5的證明 若DB≠0, 由引理2.4得

(Aij)=(a1Im)⊕(a2Im)⊕(a3Im).

由(12)式可得Bapα=(b1-b3)ωaα(ep)=(b1-b2)ωap(eα), 同理可得

Aapα=(a1-a3)ωaα(ep)=(a1-a2)ωap(eα),

考慮超曲面u:M→Ln+1(ε), 不妨設(shè)(hij)=(q1Im1)⊕…⊕(qγImγ),i∈[r],j∈[s],k∈[t], 則

若γ≥3, 調(diào)整基次序, 可使得q1<…≤qγ-10. 從而

ε-q1qγ≤0≤ε-qγ-1qγ,

此即qγ-1≤q1, 矛盾. 因此γ≤2, 這與h具有3個(gè)重?cái)?shù)相同的常主曲率矛盾. 從而DB=0.

下證主要定理：

[1] Wang C P. Moebius geometry of submanifolds inSn[J]. Manuscripta Mathematica,1998,96(4)：517-534.

[2] Li H Z,Liu H L,Wang C P,et al. M?bius isoparametric hypersurfaces inSn+1with two distinct principal curvatures [J]. Acta Mathematica Sinica,2002,18(3)：437-446.

[3] Li X X,Peng Y J. Classification of the Blaschke isoparametric hypersurfaces with three distinct Blaschke eigenvalues [J]. Results in Mathematics,2010,58(1/2)：145-172.

[4] Li X X,Zhang F Y. On the Blaschke isoparametric hypersurfaces in the unit sphere[J]. Acta Mathematica Sinica,English Series, 2009,25(4)：657-678.

[5] Li X X,Zhang F Y. A classification of immersed hypersurfaces in spheres with parallel Blaschke tensors [J]. Tohoku Mathematical Journal,Second Series,2006,58(4)：581-597.

[6] Li X X,Zhang F Y. Immersed hypersurfaces in the unit sphereSm+1with constant Blaschke eigenvalues [J]. Acta Mathematica Sinica,English Series,2007,23(3)：533-548.

[8] Nie C X,Wu C X. Classification of type I time-like hyperspaces with parallel conformal second fundamental forms in the conformal space[J]. Acta Math Sinica,2011,54(1)：685-692.

[9] Nie C X,Li T Z,He Y J,et al. Conformal isoparametric hypersurfaces with two distinct conformal principal curvatures in conformal space [J]. Science China Mathematics,2010,53(4)：953-965.

[11] 聶昌雄,吳傳喜. 共形空間中平行的共形第二基本形式的類空超曲面[J]. 數(shù)學(xué)學(xué)報(bào),2008,51：685-692.

(責(zé)任編輯 趙燕)

Space-like hypersurfaces with three distinct conformal principal curvatures

NIE Changxiong, FAN Zhixing

(Faculty of Mathematics and Statistics, Hubei University，Wuhan 430062, China)

If space-like isoparametric hypersurface with parallel second fundamental form of conformal,there are two or three conformal principal curvatures[11]. If space-like isoparametric hypersurface has three distinct conformal principal curvatures of the same multiplicity, then it must be of non-parallel second fundamental form, and made a classification of this class of hypersurface under the conformal equivalence.

the Lorentz space form; conformal isoparametric hypersurface; conformal principal curvature; conformal invariant

2016-04-27

聶昌雄(1974-), 男, 博士，副教授; 范植興, 通信作者，碩士生, E-mail：810157153@qq.com

1000-2375(2017)01-0093-07

O186.12

A

10.3969/j.issn.1000-2375.2017.01.018