LAGUERRE CHARACTERIZATIONS OF HYPERSURFACES IN R n
|
|
- Pamela Adele Higgins
- 5 years ago
- Views:
Transcription
1 Bull Korean Math Soc 50 (013), No 6, pp LAGUERRE CHARACTERIZATIONS OF HYPERSURFACES IN R n Shichang Shu and Yanyan Li Abstract Let x : M R n be an n 1-dimensional hypersurface in R n, L be the Laguerre Blaschke tensor, B be the Laguerre second fundamental form and D = L + λb be the Laguerre para-blaschke tensor of the immersion x, where λ is a constant The aim of this article is to study Laguerre Blaschke isoparametric hypersurfaces and Laguerre para- Blaschke isoparametric hypersurfaces in R n with three distinct Laguerre principal curvatures one of which is simple We obtain some classification results of such isoparametric hypersurfaces 1 Introduction In Laguerre differential geometry, T Li and C Wang[5] studied invariants of hypersurfaces in Euclidean space R n under the Laguerre transformation group The Laguerre transformations are the Lie sphere transformations which take oriented hyperplanes in R n to oriented hyperplanes and preserve the tangential distance Let UR n be the unit tangent bundle over R n An oriented sphere in R n centered at p with radius r can be regarded as the oriented sphere {(x,ξ) x p = rξ} in UR n, where x is the position vector and ξ the unit normal vector of the sphere An oriented hyperplane in R n with constant unit normal vector ξ and constant real number c can be regarded as the oriented hyperplane {(x,ξ) x ξ = c} in UR n A diffeomorphism φ : UR n UR n which takes oriented spheres to oriented spheres, oriented hyperplanes to oriented hyperplanes, preserving the tangential distance of any two spheres, is called a Laguerre transformation All Laguerre transformations in UR n form a group of dimension (n+1)(n+), called Laguerre transformation group An oriented hypersurface x : M R n can be identified as the submanifold (x,ξ) : M UR n, where ξ is the unit normal of x Two hypersurfaces x,x : M R n are called Received May, 011; Revised November 8, Mathematics Subject Classification 53C4, 53C0 Key words and phrases Laguerre characterization, Laguerre form, Laguerre Blaschke tensor, Laguerre second fundamental form Project supported by NSF of Shaanxi Province (SJ08A31) and NSF of Shaanxi Educational Committee(11JK0479, 010JK893) 1781 c 013 The Korean Mathematical Society
2 178 SHICHANG SHU AND YANYAN LI Laguerre equivalent, if there is a Laguerre transformation φ : UR n UR n such that (x,ξ ) = φ (x,ξ) (see [4]) In [5], T Li and C Wang gave a complete Laguerre invariant system for hypersurfaces in R n They proved that two umbilical free oriented hypersurfaces in R n with non-zero principal curvatures are Laguerre equivalent if and only if they have the same Laguerre metric g and Laguerre second fundamental form B We should notices that the Laguerre geometry of surfaces in R 3 has been studied by Blaschke in [1] and other authors in [3, 6, 7] Let R n+3 be the space R n+3 equipped with the inner product X,Y = X 1 Y 1 +X Y + +X n+ Y n+ X n+3 Y n+3 Let C n+ be the light-cone in R n+3 given by C n+ = {X R n+3 X,X = 0} Let LG be the subgroup of orthogonalgroupo(n+1,)onr n+3 givenbylg = {T O(n+1,) ζt = ζ}, where ζ = (1, 1,0,0) and 0 R n is a light-like vector in R n+3 Let x : M R n be an umbilic free hypersurface with non-zero principal curvatures, ξ : M S n 1 be its unit normal vector Let {e 1,e,,e n 1 } be the orthonormal basis for TM with respect to dx dx, consisting of unit principal vectors The structure equations of x : M R n are (see [4]) (11) e j (e i (x)) = k Γ k ij e k(x)+k i δ ij ξ, e i (ξ) = k i e i (x), i,j,k = 1,,n 1, where k i 0 is the principal curvature corresponding to e i Let (1) r i = 1, r = r 1 +r + +r n 1, k i n 1 be the curvature radius and mean curvature radius of x respectively We define Y = ρ(x ξ, x ξ,ξ,1) : M C n+ R n+3, where ρ = i (r i r) > 0 From[5], weknowthatthelaguerre metric g oftheimmersionxcanbedefined by g = dy,dy Let {E 1,E,,E n 1 } be an orthonormal basis for g with dual basis {ω 1,ω,,ω n 1 } The Laguerre form C, Laguerre Blaschke tensor L and Laguerre second fundamental form B of the immersion x are defined by n 1 (13) C = C i ω i, L = i=1 n 1 i,j=1 L ij ω i ω j, B = n 1 i,j=1 B ij ω i ω j, respectively, where C i, L ij and B ij are defined by formulas (10) (1) in Section We should notices that g, C, L and B are Laguerre invariants (see [5]) By making use of the two important Laguerre invariants, the Laguerre Blaschke tensor L and the Laguerre second fundamental form B of the immersion x, we define a symmetric (0,) tensor D = L+λB which is so called the Laguerre para-blaschke tensor of x, where λ is a constant An eigenvalue of the Laguerre Blaschke tensor is called a Laguerre Blaschke eigenvalue of x, an eigenvalue of the Laguerre second fundamental form is called a Laguerre principal curvature of x and an eigenvalue of the Laguerre para-blaschke tensor is called a Laguerre para-blaschke eigenvalue of x An umbilic free hypersurface
3 LAGUERRE CHARACTERIZATIONS OF HYPERSURFACES IN R n 1783 x : M R n is called a Laguerre isoparametric hypersurface if C 0 and the Laguerre principal curvatures of the immersion x are constant, an umbilic free hypersurface x : M R n is called a Laguerre Blaschke isoparametric hypersurface if C 0 and the Laguerre Blaschke eigenvalues of the immersion x are constant, and an umbilic free hypersurface x : M R n is called a Laguerre para-blaschke isoparametric hypersurface if C 0 and the Laguerre para-blaschke eigenvalues of the immersion x are constant An umbilic free hypersurface x : M R n is called a Laguerre para-isotropic hypersurface, if there are two functions λ and µ on x such that L+λB+µg = 0 and C 0 If λ = 0, we call x a Laguerre isotropic hypersurface It should be noted that if x is a Laguerre para-isotropic hypersurface, or a Laguerre isotropic hypersurface, then the Laguerre para-blaschke eigenvalues, or the Laguerre Blaschke eigenvalues of x are all equal We define the Laguerre embedding τ : UR n 0 UR n (see [5]) Let R n+1 1 be the Minkowski space with the inner product X,Y = X 1 Y X n Y n X n+1 Y n+1 Let ν = (1,0,1) be the light-like vector in R n+1 1, 0 R n 1 Let R n 0 be the degenerate hyperplane in R n+1 1 defined by R n 0 = {X Rn+1 1 X,ν = 0} We define (14) UR n 0 = {(x,ξ) Rn+1 1 R n+1 1 x,ν = 0, ξ,ξ = 0, ξ,ν = 1} The Laguerre embedding τ : UR n 0 URn is defined by (15) τ(x,ξ) = (x,ξ ) UR n, where x = (x 1,x 0,x 1 ) R R n 1 R, ξ = (ξ 1 +1,ξ 0,ξ 1 ) R R n 1 R and ( (16) x = x 1,x 0 x ) ( 1 ξ 0, ξ = 1+ 1, ξ ) 0 ξ 1 ξ 1 ξ 1 ξ 1 Let x : M R n 0 be a space-like oriented hypersurface in the degenerate hyperplane R n 0 Let ξ be the unique vector in Rn+1 1 satisfying ξ,dx = 0, ξ,ξ = 0, ξ,ν = 1 From τ(x,ξ) = (x,ξ ) UR n, we may obtain a hypersurface x : M R n We should notice that it is one of the important aims to characterize hypersurfaces in terms of Laguerre invariants Concerning this topic, recently, T Li, H Li and C Wang [4] studied the Laguerre geometry of hypersurfaces with parallel Laguerre second fundamental form in R n and obtained the following result: Theorem 11 ([4]) Let x : M R n be an umbilic free hypersurface with non-zero principal curvatures If the Laguerre second fundamental form of x is parallel, then x is Laguerre equivalent to an open part of one of the following hypersurfaces: (1) the oriented hypersurface x : S k 1 H n k R n given by Example 1; or () the image of τ of the oriented hypersurface x : R n 1 R n 0 given by Example
4 1784 SHICHANG SHU AND YANYAN LI The aim of this article is to continue this topic, we shall study Laguerre Blaschke isoparametric hypersurfaces and Laguerre para-blaschke isoparametric hypersurfaces in R n with three distinct Laguerre principal curvatures one of which is simple We obtain the following results: Theorem 1 Let x : M R n be an n 1-dimensional Laguerre Blaschke isoparametric hypersurface in R n (n 5) with three distinct Laguerre principal curvatures one of which is simple Then x is a Laguerre isoparametric hypersurface with non-parallel Laguerre second fundament form or a Laguerre isotropic hypersurface Theorem 13 Let x : M R n be an n 1-dimensional Laguerre para- Blaschke isoparametric hypersurface in R n (n 5) and D = L + λb, λ 0, be the Laguerre para-blaschke tensor of x If x has three distinct Laguerre principal curvatures one of which is simple, then (i) x is a Laguerre isoparametric hypersurface with non-parallel Laguerre second fundament form, or (ii) x is a Laguerre para-isotropic hypersurface, or (iii) x is Laguerre equivalent to an open part of the image of τ of the oriented hypersurface x : R n 1 R n 0 given by Example From Theorem 1 and Theorem 13, we easily see that: Corollary 14 Let x : M R n be an n 1-dimensional Laguerre para- Blaschke isoparametric hypersurface in R n (n 5) and D = L + λb be the Laguerre para-blaschke tensor of x If x has three distinct Laguerre principal curvatures one of which is simple, then (i) x is a Laguerre isoparametric hypersurface with non-parallel Laguerre second fundament form, or (ii) x is a Laguerre isotropic hypersurface for λ = 0, or (iii) x is a Laguerre para-isotropic hypersurface or x is Laguerre equivalent to an open part of the image of τ of the oriented hypersurface x : R n 1 R n 0 given by Example for λ 0 Laguerre invariants and fundamental formulas In this section, we review the Laguerre invariants and fundamental formulas on Laguerre geometry of hypersurfaces in R n, for more details, see [5] Let x : M R n be an n 1-dimensional umbilical free hypersurface with vanishing Laguerre form in R n Let {E 1,,E n 1 } denote a local orthonormal frame for Laguerre metric g = dy,dy with dual frame {ω 1,,ω n 1 } Putting Y i = E i (Y), then we have (1) N = 1 n 1 Y + 1 (n 1) Y, Y Y, () Y,Y = N,N = 0, Y,N = 1,
5 LAGUERRE CHARACTERIZATIONS OF HYPERSURFACES IN R n 1785 and the following orthogonal decomposition: (3) R n+3 = Span{Y,N} Span{Y 1,,Y n 1 } V, where {Y,N,Y 1,,Y n 1,η, } forms a moving frame in R n+3 and V = {η, } is called Laguerre normal bundle of x We use the following range of indices throughout this paper: 1 i,j,k,l,m n 1 The structure equations on x with respect to the Laguerre metric g can be written as (4) dy = i ω i Y i, (5) dn = i ψ i Y i +ϕη, (6) dy i = ψ i Y ω i N + j ω ij Y j +ω in+1 η, (7) d = ϕy i ω in+1 Y i, where {ψ i,ω ij,ω in+1,ϕ} are 1-forms on x with (8) ω ij +ω ji = 0, dω i = j ω ij ω j, and (9) ψ i = j L ij ω j, L ij = L ji, ω in+1 = j B ij ω j, B ij = B ji, ϕ = i C i ω i We define Ẽi = r i e i, 1 i n 1, then {Ẽ1,,Ẽn 1} is an orthonormal basis for III = dξ dξ and {E i = ρ 1 Ẽ i } is an orthonormal basis for the Laguerre metric g with dual frame {ω 1,,ω n 1 } L ij, B ij and C i are locally defined functions and satisfy (10) L ij = ρ { Hess ij (logρ) Ẽi(logρ)Ẽj(logρ)+ 1 ( logρ 1 ) δ ij }, (11) (1) B ij = ρ 1 (r i r)δ ij, C i = ρ { } Ẽ i (r) Ẽi(logρ)(r i r), where g = i (r i r) III = ρ III, r i and r are defined by (1), Hess ij and are the Hessian matrix and the gradient with respect to the third fundamental form III = dξ dξ of x (see [5])
6 1786 SHICHANG SHU AND YANYAN LI Defining the covariant derivative of C i,l ij,b ij by (13) C i,j ω j = dc i + C j ω ji, j j (14) L ij,k ω k = dl ij + L ik ω kj + L kj ω ki, k k k (15) B ij,k ω k = db ij + B ik ω kj + B kj ω ki k k k We have from [5] that (16) dω ij = ω ik ω kj 1 R ijkl ω k ω l, R ijkl = R jikl, k k,l (17) B ii = 0, i Bij = 1, B ij,i = (n )C j, trl = R (n ) i,j i (18) L ij,k = L ik,j, (19) C i,j C j,i = k (B ik L kj B jk L ki ), (0) B ij,k B ik,j = C j δ ik C k δ ij, (1) R ijkl = L jk δ il +L il δ jk L ik δ jl L jl δ ik, where R ijkl and R denote the curvature tensor and the scalar curvature with respect to the Laguerre metric g on x Since the Laguerre form C 0, we have for all indices i,j,k () B ij,k = B ik,j, B ik L kj = B kj L ki k k Denote by D = i,j D ijω i ω j the (0,) Laguerre para-blaschke tensor, then (3) D ij = L ij +λb ij, 1 i,j n, where λ is a constant The covariant derivative of D ij is defined by (4) D ij,k ω k = dd ij + D ik ω kj + D kj ω ki k k k From (18) and (), we have for all indices i,j,k that (5) D ij,k = D ik,j We recall the following examples of hypersurfaces in R n with parallel Laguerre second fundamental form (see [4]):
7 LAGUERRE CHARACTERIZATIONS OF HYPERSURFACES IN R n 1787 Example 1 ([4]) For any integer k, 1 k n 1, we define a hypersurface x : S k 1 H n k R n by ( u x(u,v,w) = w w) (1+w), v, where H n k = {(v,w) R1 n k+1 v v w = 1,w > 0} denotes the hyperbolic space embedded in the Minkowski space R1 n k+1 From [4], we know that x has two distinct Laguerre principal curvatures n k B 1 = (k 1)(n 1), B k 1 = (n k)(n 1), the Laguerre form is zero and the Laguerre second fundamental form of x is parallel Example ([4]) For any positive integers m 1,,m s with m 1 + +m s = n 1 and any non-zero constants λ 1,,λ s, we define x : R n 1 R n 0 to be a spacelike oriented hypersurface in R n 0 given by { λ1 u 1 + +λ s u s x =,u 1,u,,u s, λ 1 u 1 + +λ s u s }, where (u 1,,u s ) R m1 R ms = R n 1 and u i = u i u i,i = 1,,s Then τ (x,ξ) = (x,ξ ) : R n 1 UR n, and we obtain the hypersurfaces x : R n 1 R n From [4], we know that x has s(s 3) distinct Laguerre principal curvatures: r i r B i = i (r 1 i s, i r), where r i = 1, r = k 1r 1 +k r + +k s r s, k i n 1 and k i 0 is the principal curvature corresponding to e i We also know that the Laguerre form is zero, L ij = 0 for 1 i,j n 1 and the Laguerre second fundamental form of x is parallel 3 Propositions and lemmas Throughout this section, we shall make the following convention on the ranges of indices: 1 a,b m 1, m 1 +1 p,q m 1 +m, m 1 +m +1 α,β m 1 +m +m 3 = n 1, 1 i,j,k n 1 Let L, B and D denote the n n-symmetric matrices (L ij ), (B ij ) and (D ij ), respectively, where L ij, B ij and D ij are defined by (10), (11) and (3) From () and (3), we know that BL = LB, DL = LD and BD = DB Thus, we may choose a local orthonormal basis {E 1,E,,E n } such that L ij = L i δ ij, B ij = B i δ ij, D ij = D i δ ij,
8 1788 SHICHANG SHU AND YANYAN LI where L i, B i and D i are the Laguerre Blaschke eigenvalues, the Laguerre principal curvatures and the Laguerre para-blaschke eigenvalues of the immersion x In the proof of the following propositions and theorems, we agree on the fact that a local orthonormal basis {E 1,E,,E n } may be always chosen such that L ij = L i δ ij,b ij = B i δ ij,d ij = D i δ ij Proposition 31 Let x : M R n be an n 1-dimensional hypersurface with vanishing Laguerre form in R n If the multiplicity of a Laguerre principal curvature is constant and greater than 1, then this Laguerre principal curvature is constant along its leaf Proof Let B i, i = 1,,n 1, be the Laguerre principal curvatures of x with constant multiplicities We choose a local orthonormal frame {E 1,,E n 1 } such that E i is a unit principal vector with respect to B i From (15), we have (31) B ij,k = E k (B i )δ ij +Γ j ik (B i B j ), where Γ j ik is the Levi-Civita connection for the Laguerre metric g given by (3) ω ij = k Γ j ik ω k, Γ j ik = Γi jk From (), we know that B ii,j = B ij,i Thus from (31), we get (33) E j (B i ) = Γ j ii (B i B j ) for i j Without loss of generality, we may assume that B 1 is the Laguerre principal curvature of x with constant multiplicity m 1 and m 1, that is, for 1 a m 1 we have B a = B 1 From (33), we have E a (B 1 ) = Γ a 11(B 1 B a ) = 0 for a 1, and E 1 (B 1 ) = E 1 (B a ) = Γ 1 aa(b a B 1 ) = 0 for a 1 Thus E a (B 1 ) = 0 for any a This implies that B 1 is constant along its leaf We complete the proof of Proposition 31 We may prove the following proposition by reasoning as in [] Proposition 3 Let x : M R n be an n 1-dimensional hypersurface in R n (n 5) with vanishing Laguerre form and three distinct Laguerre principal curvatures B 1, B, B 3 one of which is simple Then either B 1, B, B 3 are constants or B ap,n 1 = 0 for every a,p Proof From (16), (8) and (3), the curvature tensor of x may be given by (see []) (34) R ijkl =E k (Γ j il ) E l(γ j ik )+ m Γ j im Γm kl
9 LAGUERRE CHARACTERIZATIONS OF HYPERSURFACES IN R n 1789 m Γ j im Γm lk + m Γ m ilγ j mk m Γ m ikγ j ml Since x has three distinct Laguerre principal curvatures B 1, B, B 3 one of which is simple and n 5, without loss of generality, we may assume that m 3 = 1, m 1 1 and m From (17), we have Thus (35) m 1 db 1 +m db +m 3 db 3 = 0, m 1 B 1 db 1 +m B db +m 3 B 3 db 3 = 0 m 1 db 1 B 3 B = m db B 1 B 3 = m 3dB 3 B B 1 From Proposition 31 and (35), we have (36) E p (B ) = E p (B 1 ) = E p (B 3 ) = 0, and from (31), we have (37) (38) (39) Γ p ab = Γα ab = 0,a b, Γα pq = 0,p q, Γp aa = Γp bb, Γα aa = Γα bb, Γ p aα = B ap,α B 1 B, Γ a αp = B αa,p B 3 B 1, Γ α pa = B pα,a B B 3 (i) If m 1, from Proposition 31 and (35), we have E a (B 1 ) = E a (B ) = E a (B 3 ) = 0 From (31), (33), (36) and (39), we have (310) (311) From (38), we have (31) Γ p ab = Γa pq = 0, Γa n 1n 1 = Γp n 1n 1 = 0, Γ n 1 aa = E n 1(B 1 ) B 1 B 3, Γ n 1 pp = E n 1(B ) B B 3 Γ p an 1 = B ap,n 1, Γ p n 1b B 1 B = B bp,n 1, Γ n 1 bq = B bq,n 1, B 3 B B 1 B 3 Γ n 1 qb = B bq,n 1 B B 3 Thus, from (34), (37) and (310) (31), we have R apbq = E b (Γ p aq ) E q(γ p ab )+ m Γ p am Γm bq (313) m Γ p am Γm qb + m Γ m aq Γp mb m Γ m ab Γp mq = Γ p an 1 Γn 1 bq Γ p an 1 Γn 1 qb +Γaq n 1 Γ p n 1b Γn 1 ab Γpq n 1 = B ap,n 1B bq,n 1 +B aq,n 1 B bp,n 1 +E n 1 (B 1 )E n 1 (B )δ ab δ pq (B 1 B 3 )(B 3 B )
10 1790 SHICHANG SHU AND YANYAN LI On the other hand, from (1), we have (314) R apbq = (L a +L p )δ ab δ pq (313) and (314) imply that Putting B ap,n 1 B bq,n 1 +B aq,n 1 B bp,n 1 = { (L a +L p )(B 1 B 3 )(B 3 B ) E n 1 (B 1 )E n 1 (B )}δ ab δ pq (315) a,p = (L a +L p )(B 1 B 3 )(B 3 B ) E n 1 (B 1 )E n 1 (B ), we get If a = b, we have B ap,n 1 B bq,n 1 +B aq,n 1 B bp,n 1 = a,p δ ab δ pq (316) B ap,n 1 B aq,n 1 = a,p δ pq From (315), we know that a,p depends on a,p If L 1 = L = = L n 1, from (315), we see that for any a,p, all a,p are equal If there is p 0, such that B ap0,n 1 0, 1 a m 1 By (316), we have B ap,n 1 = 0 for other p(p p 0 ) By (316) again, if p = q, then Bap,n 1 = a,p for any p Since for any a,p, all a,p are equal, we have Bap 0,n 1 = a,p 0 = a,p = Bap,n 1 = 0 for p 0,p(p p 0 ) Thus B ap0,n 1 = 0, this is a contradiction Therefore we know that B ap,n 1 = 0 for any a,p If at least two of L 1,L,,L n 1 are not equal, since m and m 1, we may prove that there exists at most one p, such that a,p 0 for any a, 1 a m 1 and there exists at most one a, such that a,p 0 for any p, m 1 +1 p m 1 +m In fact, if there exists more than one p, for example p 1, p, (p 1 p ) such that a,p1 0, a,p 0 By (316), we have Bap,n 1 = a,p for any p Thus Bap 1,n 1 = a,p 1 0, Bap,n 1 = a,p 0 By (316) again, we see that B ap1,n 1B ap,n 1 = 0, this is a contradiction Thus, we know that there exists at most one p, such that a,p 0 for any a, 1 a m 1 By the same proof as above, we also know that there exists at most one a, such that a,p 0 for any p, m 1 +1 p m 1 +m If there exists at most one p, such that a,p 0 for any a, possibly, say a,p0 0 for any a From (315), we have (317) L a +L p = E n 1(B 1 )E n 1 (B ) (B 1 B 3 )(B 3 B ), p p 0 By (317), we know that L a = L b for any a,b On the other hand, since we know that there exists at most one a, such that a,p 0 for any p, possibly, say a0,p 0 for any p By (315), we also have L a +L p = E n 1(B 1 )E n 1 (B ) (B 1 B 3 )(B 3 B ), a a 0,
11 LAGUERRE CHARACTERIZATIONS OF HYPERSURFACES IN R n 1791 and we know that L p = L q for any p,q Thus, from (315) we see that only a,p = 0 for any a,p holds exactly Thus, by (316), we have B ap,n 1 = 0 for any p and a (ii) If m 1 = 1, from (33) and (37), we have (318) (319) Γ 1 pq = Γn 1 pq = 0, Γ p n 1n 1 = Γp 11 = 0, Γ 1 n 1n 1 = E 1(B 3 ) B 3 B 1, Γ 1 pp = E 1(B ) B B 1, Γ n 1 11 = E n 1(B 1 ) B 1 B 3, Γ n 1 pp = E n 1(B ) B B 3 From (34), (37), (38), (318) and (319), by a similar calculation as in (i), we have (30) B 1p,n 1 B 1q,n 1 = υ p δ pq for any p,q, where (31) υ p = (B 1 B )(B 1 B 3 ) { E 1 (B )E 1 (B 3 ) (L p +L n 1 )+ (B 1 B )(B 1 B 3 ) + [E n 1(B ) E n 1 (B 3 )]E n 1 (B ) (B B 3 ) E n 1(E n 1 (B )) B B 3 + E n 1(B ) (B B 3 ) From (31), we know that υ p depends on p If L 1 = L = = L n 1, from (31), we see that for any p, all υ p are equal By the same proof as in (i), we know that B 1p,n 1 = 0 for any p If at least two of L 1,L,,L n 1 are not equal, since m, by the same proof as in (i), we easily know that there exists at most one p, such that υ p 0 If for any p, υ p = 0, by (30), we have B 1p,n 1 = 0 If there is p 0, such that υ p0 0 and υ p = 0, for other p(p p 0 ), we have (3) υ p0 = υ p0 υ p = (B 1 B )(B 1 B 3 )(L p0 L p ) On the other hand, since m 1 = 1, m 3 = 1 and B ij,k is symmetric for all indices i,j,k, interchanging 1 and n in the above equations, we also have, (33) B n 1p,1 B n 1q,1 = ω p δ pq, where (34) { ω p = (B 3 B )(B 3 B 1 ) (L p +L 1 )+ E n 1(B )E n 1 (B 1 ) (B 3 B )(B 3 B 1 ) + [E 1(B ) E 1 (B 1 )]E 1 (B ) (B B 1 ) E 1(E 1 (B )) B B 1 + E 1(B ) (B B 1 ) From (34), we know that ω p depends on p By the same assertion as above, we know that there exists at most one p, such that ω p 0 If for any p, ω p = 0, by (33), we have B 1p,n 1 = 0 Otherwise, we may prove that ω p0 0 for the above p 0 in (3) In fact, by (30), we have } }
12 179 SHICHANG SHU AND YANYAN LI B1p 0,n 1 = υp 0 0 On the other hand, by (33), we have Bn 1p 0,1 = ωp 0 Since B 1p0,n 1 = B n 1p0,1, we have ω p0 = υ p0 0 Since there exists at most one p, such that ω p 0, we know that for other p(p p 0 ), ω p = 0 By (34), we also have (35) υ p0 = ω p0 = ω p0 ω p = (B 3 B )(B 3 B 1 )(L p0 L p ) Thus, from (3) and (35), we have and (B 1 B 3 )(B 1 B +B 3 )(L p0 L p ) = 0 If L p0 = L p, by (3), we have υ p0 = 0, this contradicts with υ p0 0 Thus (36) B 1 B +B 3 = 0, db 1 db +db 3 = 0 From (35) and (36), we easily know that db 1 = db = db 3 = 0, that is, B 1,B,B 3 are constants We complete the proof of Proposition 3 4 Proof of theorems Proof of Theorem 1 Let B 1, B, B 3 be the three distinct Laguerre principal curvatures of multiplicities m 1, m, m 3 and one of which is simple Since n 5, without loss of generality, we may assume that m 3 = 1, m 1 1 and m By Proposition 3, we know that either B 1,B,B 3 are constants or B ap,n 1 = 0 for any a,p In the first case, we know that x is a Laguerre isoparametric hypersurface with non-parallel Laguerre second fundament form In the second case, if B ap,n 1 = 0 for any a,p, we may consider two cases: (i) If m 1, since B ap,n 1 = 0 for every a,p, setting p = q in (316), we have a,p = 0 for any a,p From (315), we get for any 1 a m 1 and m 1 +1 p m 1 +m, (41) L a +L p = E n 1(B 1 )E n 1 (B ) (B 1 B 3 )(B 3 B ) Thus, we know that L a = L b for any a,b and L p = L q for any p,q This implies that x has at most three distinct Laguerre Blaschke eigenvalues L a,l p,l n 1 with multiplicities m 1, m, 1 and m 1,m (ii) If m 1 = 1, since B 1p,n 1 = 0 for any p, setting p = q in (30), we have υ p = 0 for any p, m 1 +1 p m 1 +m By (31), (4) L p = L n 1 + E 1 (B )E 1 (B 3 ) (B 1 B )(B 1 B 3 ) + [E n 1(B ) E n 1 (B 3 )]E n 1 (B ) (B B 3 ) E n 1(E n 1 (B )) B B 3 + E n 1(B ) (B B 3 ) Thus, we know that x has at most three distinct Laguerre Blaschke eigenvalues L 1,L p,l n 1 with multiplicities 1, m, 1 and m
13 LAGUERRE CHARACTERIZATIONS OF HYPERSURFACES IN R n 1793 Next, we may prove that x : M R n is only a Laguerre isotropic hypersurface, that is, the number of distinct Laguerre Blaschke eigenvalues is only 1 In fact, if L a,l p,l n 1 are the three constant Laguerre Blaschke eigenvalues with multiplicities m 1, m, 1 and the number of distinct Laguerre Blaschke eigenvalues is or 3 From (14), we have (43) L ij,k = E k (L i )δ ij +Γ j ik (L i L j ), where Γ j ik is the Levi-Civita connection for the Laguerre metric g From (18), we know that L ii,j = L ij,i Thus (44) E j (L i ) = Γ j ii (L i L j ) for i j If the number of distinct Laguerre Blaschke eigenvalues is 3, that is, L a L p L n 1, 1 a m 1, m 1 +1 p m 1 +m and m, from (44), we have (45) 0 = E a (L p ) = Γ a pp (L p L a ), 0 = E n 1 (L p ) = Γ n 1 pp (L p L n 1 ) Thus Γ a pp = Γ n 1 pp = 0 On the other hand, from (15), we have (46) B ij,k = E k (B i )δ ij +Γ j ik (B i B j ), where Γ j ik is the Levi-Civita connection for the Laguerre metric g From (), we know that B ii,j = B ij,i Thus (47) E j (B i ) = Γ j ii (B i B j ) for i j We get E a (B p ) = Γ a pp(b p B a ) = 0, E n 1 (B p ) = Γ n 1 pp (B p B n 1 ) = 0 That is, E a (B ) = 0, E n 1 (B ) = 0 Since we assume that m, from Proposition 31, we have E p (B ) = 0 Thus, B is constant Therefore, from (35), we know that B 1 and B 3 are constants If the number of distinct Laguerre Blaschke eigenvalues is, when m 1, without loss of the generality, we may assume that L a = L p L n 1 By (44), we have 0 = E n 1 (L a ) = Γ n 1 aa (L a L n 1 ) Thus, Γ n 1 aa = 0 On the other hand, by (47) From (35), we have (48) E n 1 (B 1 ) = Γ n 1 aa (B 1 B 3 ) = 0 m 1 E i (B 1 ) B 3 B = m E i (B ) B 1 B 3 = m 3E i (B 3 ) B B 1 By Proposition 31, we have E a (B 1 ) = 0, 1 a m 1 and E p (B ) = 0, m 1 +1 p m 1 +m By (48), we have E a (B 3 ) = E p (B 3 ) = E n 1 (B 3 ) = 0, that is, B 3 is constant By (35) again, we know that B 1 and B are constants
14 1794 SHICHANG SHU AND YANYAN LI When m 1 = 1, without loss of the generality, we may assume that L 1 = L n 1 L p By (44), we have 0 = E 1 (L p ) = Γ 1 pp(l p L 1 ), 0 = E n 1 (L p ) = Γ n 1 pp (L p L n 1 ) Thus Γ 1 pp = Γn 1 pp = 0 On the other hand, by (47) E 1 (B ) = Γ 1 pp(b B 1 ) = 0, E n 1 (B ) = Γ n 1 pp (B B 3 ) = 0 From Proposition 31, we have E p (B ) = 0, p 1 + m Thus B is constant By (35) again, we know that B 1 and B 3 are constants To sum up, we know that if the number of distinct Laguerre Blaschke eigenvalues is or 3, then B 1, B and B 3 are constants From (46), we have B ab,k = B pq,k = B αβ,k = 0 for any a,b,p,q,α,β,k Since we know that B ap,n 1 = 0 for every a,p, we get B ij,k = 0 for any i,j,k, that is, the Laguerre second fundamental form of x is parallel From (15), it follows that (49) 0 = db i δ ij +(B i B j )ω ij, 1 i,j n 1 If B i B j, we have ω ij = 0 If for some k such that ω ik 0 and ω kj 0, by (49) we have B i = B k = B j, this is in contradiction with B i B j Thus, from (16), we have R ijij = 0 for B i B j From (1), it follows that (410) L i +L j = 0 for B i B j Let B 1 = B a, B = B p, B 3 = B α be the three distinct Laguerre principal curvatures with multiplicities m 1, m, m 3 one of which is simple, where 1 a m 1, m 1 +1 p m 1 +m, m 1 +m +1 α n 1 Since B a B p, B a B α and B p B α, from (410), we have L a +L p = 0, L a +L α = 0 and L p + L α = 0 This implies that L a = 0, L p = 0 and L α = 0 for any a,p,α That is L i = 0 for any i This is a contradiction with the assumption that the number of distinct Laguerre Blaschke eigenvalues is or 3 Therefore, we know that the number of distinct Laguerre Blaschke eigenvalues is only 1, that is, x is only a Laguerre isotropic hypersurface This completes the proof of Theorem 1 Proof of Theorem 13 By the same assertion as in the proof of Theorem 1, we know that either B 1,B,B 3 are constants and x is a Laguerre isoparametric hypersurface with non-parallel Laguerre second fundament form, or B ap,n 1 = 0 for any a,p If B ap,n 1 = 0 for any a,p, we may consider two cases: (i) If m 1, since B ap,n 1 = 0 for every a,p, setting p = q in (316), we have a,p = 0 for any a,p From (315) and (3), we get for any 1 a m 1 and m 1 +1 p m 1 +m, (411) D a +D p = λ(b 1 +B ) E n 1(B 1 )E n 1 (B ) (B 1 B 3 )(B 3 B )
15 LAGUERRE CHARACTERIZATIONS OF HYPERSURFACES IN R n 1795 From (411), we know that for any a, all D a are the same and for any p, all D p are the same Thus, we know that x has at most three distinct Laguerre para- Blaschke eigenvalues D a,d p,d n 1 with multiplicities m 1, m, 1 and m 1,m (ii) If m 1 = 1, since B 1p,n 1 = 0 for any p, setting p = q in (30), we have υ p = 0 for any p, m 1 +1 p m 1 +m By (31) and (3), (41) D p = D n 1 +λ(b +B 3 )+ E 1 (B )E 1 (B 3 ) (B 1 B )(B 1 B 3 ) + [E n 1(B ) E n 1 (B 3 )]E n 1 (B ) (B B 3 ) E n 1(E n 1 (B )) B B 3 + E n 1(B ) (B B 3 ) From (41), we know that for any p, all D p are the same Thus, x has at most three distinct para-blaschke eigenvalues D 1,D p,d n 1 with multiplicities 1, m, 1 and m If the number of the distinct Laguerre para-blaschke eigenvalues of D a, D p, D n 1 is 1, then x is a Laguerre para-isotropic hypersurface If the number of the distinct Laguerre para-blaschke eigenvalues of D a, D p, D n 1 is, we may prove that this case does not occur In fact, if m 1, without loss of the generality, we may assume that D a = D p D n 1 From (4), we have D ij,k = E k (D i )δ ij +Γ j ik (D i D j ), where Γ j ik is the Levi-Civita connection for the Laguerre metric g From (5), we know that D ii,j = D ij,i Thus (413) E j (D i ) = Γ j ii (D i D j ) for i j By (413), we have Thus, Γ n 1 aa = 0 From (47), we get 0 = E n 1 (D a ) = Γ n 1 aa (D a D n 1 ) E n 1 (B 1 ) = Γ n 1 aa (B 1 B 3 ) = 0 Combining with E a (B 1 ) = 0, 1 a m 1, E p (B ) = 0, m 1 +1 p m 1 +m, (48) and (35), we easily see that B 1, B and B 3 are constants If m 1 = 1, without loss of the generality, we may assume that D 1 = D n 1 D p By (413), we have 0 = E 1 (D p ) = Γ 1 pp (D p D 1 ), 0 = E n 1 (D p ) = Γ n 1 pp (D p D n 1 ) Thus Γ 1 pp = Γn 1 pp = 0 On the other hand, by (47) E 1 (B ) = Γ 1 pp (B B 1 ) = 0, E n 1 (B ) = Γ n 1 pp (B B 3 ) = 0 Combining with E p (B ) = 0, p 1+m and (35), we easily see that B 1, B and B 3 are constants
16 1796 SHICHANG SHU AND YANYAN LI By the same assertion as in the proof of Theorem 1, we know that the Laguerre second fundamental form of x is parallel and L i = 0 for any i Since λ 0, it follows that x has three distinct Laguerre para-blaschke eigenvalues λb 1,λB,λB 3 This is a contradiction If the number of the distinct Laguerre para-blaschke eigenvalues of D a, D p, D n 1 is 3, that is, D a D p D n 1, 1 a m 1, m 1 +1 p m 1 +m and m, from (413), we have (414) 0 = E a (D p ) = Γ a pp (D p D a ), 0 = E n 1 (D p ) = Γ n 1 pp (D p D n 1 ) Thus Γ a pp = Γ n 1 pp = 0 By (47), we get E a (B p ) = Γ a pp (B p B a ) = 0, E n 1 (B p ) = Γ n 1 pp (B p B n 1 ) = 0 That is, E a (B ) = 0, E n 1 (B ) = 0 Combining with E p (B ) = 0 and (35), we know that B 1, B and B 3 are constants By the same assertion as in the proof of Theorem 1, we know that the Laguerre second fundamental form of x is parallel and L i = 0 for any i From the result of Theorem 11 and Example 1 Example, we know that x is Laguerre equivalent to an open part of the image of τ of the oriented hypersurface x : R n 1 R n 0 given by Example This completes the proof of Theorem 13 Acknowledgment The authors would like to thank the referee for his/her many valuable remarks and suggestions that really improve the paper References [1] W Blaschke, Vorlesungen über Differential geometrie, Springer, Berlin, Heidelberg, New York, Vol 3, 199 [] G H Li, Möbius hypersurfaces in S n+1 with three distinct principal curvatures, J Geom 80 (004), no 1-, [3] T Z Li, Laguerre geometry of surfaces in R 3, Acta Math Sin (Engl Ser) 1 (005), no 6, [4] T Z Li, H Z Li, and C P Wang, Classification of hypersurfaces with parallel Laguerre second fundamental form in R n, Differential Geom Appl 8 (010), no, [5] T Z Li and C P Wang, Laguerre geometry of hypersurfaces in R n, Manuscripta Math 1 (007), no 1, [6] E Musso and L Nicolodi, A variational problem for surfaces in Laguerre geometry, Trans Amer Math Soc 348 (1996), no 11, [7], Laguerre geometry of surfaces with plane lines of curvature, Abh Math Sem Univ Hamburg 69 (1999), Shichang Shu School of Mathematics and Information Science Xianyang Normal University Xianyang Shaanxi, P R China address: shushichang@16com
17 LAGUERRE CHARACTERIZATIONS OF HYPERSURFACES IN R n 1797 Yanyan Li School of Mathematics and Information Science Xianyang Normal University Xianyang Shaanxi, P R China address: muzilyy@163com
CLASSIFICATION OF MÖBIUS ISOPARAMETRIC HYPERSURFACES IN THE UNIT SIX-SPHERE
Tohoku Math. J. 60 (008), 499 56 CLASSIFICATION OF MÖBIUS ISOPARAMETRIC HYPERSURFACES IN THE UNIT SIX-SPHERE Dedicated to Professors Udo Simon and Seiki Nishikawa on the occasion of their seventieth and
More informationCLASSIFICATION OF MÖBIUS ISOPARAMETRIC HYPERSURFACES IN S 4
Z. Hu and H. Li Nagoya Math. J. Vol. 179 (2005), 147 162 CLASSIFICATION OF MÖBIUS ISOPARAMETRIC HYPERSURFACES IN S 4 ZEJUN HU and HAIZHONG LI Abstract. Let M n be an immersed umbilic-free hypersurface
More informationON THE IMMERSED SUBMANIFOLDS IN THE UNIT SPHERE WITH PARALLEL BLASCHKE TENSOR. 1. Introduction
ON THE IMMERSED SUBMANIFOLDS IN THE UNIT SPHERE WITH PARALLEL BLASCHKE TENSOR XINGXIAO LI AND HONGRU SONG arxiv:1511.256v2 [math.dg] 3 Dec 215 Abstract. As is known, the Blaschke tensor A (a symmetric
More informationarxiv: v1 [math.dg] 15 Aug 2011
arxiv:1108.2943v1 [math.dg] 15 Aug 2011 The Space-like Surfaces with Vanishing Conformal Form in the Conformal Space Changxiong Nie Abstract. The conformal geometry of surfaces in the conformal space Q
More informationMathematische Annalen
Math. Ann. 319, 707 714 (2001) Digital Object Identifier (DOI) 10.1007/s002080100175 Mathematische Annalen A Moebius characterization of Veronese surfaces in S n Haizhong Li Changping Wang Faen Wu Received
More informationON TOTALLY REAL SUBMANIFOLDS IN A NEARLY KÄHLER MANIFOLD *
PORTUGALIAE MATHEMATICA Vol. 58 Fasc. 2 2001 Nova Série ON TOTALLY REAL SUBMANIFOLDS IN A NEARLY KÄHLER MANIFOLD * Zhong Hua Hou Abstract: Let M m be a totally real submanifold of a nearly Kähler manifold
More informationON THE LOCAL VERSION OF THE CHERN CONJECTURE: CMC HYPERSURFACES WITH CONSTANT SCALAR CURVATURE IN S n+1
Kragujevac Journal of Mathematics Volume 441 00, Pages 101 111. ON THE LOCAL VERSION OF THE CHERN CONJECTURE: CMC HYPERSURFACES WITH CONSTANT SCALAR CURVATURE IN S n+1 S. C. DE ALMEIDA 1, F. G. B. BRITO,
More informationCOMPLETE SPACELIKE HYPERSURFACES IN THE DE SITTER SPACE
Chao, X. Osaka J. Math. 50 (203), 75 723 COMPLETE SPACELIKE HYPERSURFACES IN THE DE SITTER SPACE XIAOLI CHAO (Received August 8, 20, revised December 7, 20) Abstract In this paper, by modifying Cheng Yau
More information7 Curvature of a connection
[under construction] 7 Curvature of a connection 7.1 Theorema Egregium Consider the derivation equations for a hypersurface in R n+1. We are mostly interested in the case n = 2, but shall start from the
More informationLECTURE 9: MOVING FRAMES IN THE NONHOMOGENOUS CASE: FRAME BUNDLES. 1. Introduction
LECTURE 9: MOVING FRAMES IN THE NONHOMOGENOUS CASE: FRAME BUNDLES 1. Introduction Until now we have been considering homogenous spaces G/H where G is a Lie group and H is a closed subgroup. The natural
More informationPHYS 4390: GENERAL RELATIVITY NON-COORDINATE BASIS APPROACH
PHYS 4390: GENERAL RELATIVITY NON-COORDINATE BASIS APPROACH 1. Differential Forms To start our discussion, we will define a special class of type (0,r) tensors: Definition 1.1. A differential form of order
More informationSection 2. Basic formulas and identities in Riemannian geometry
Section 2. Basic formulas and identities in Riemannian geometry Weimin Sheng and 1. Bianchi identities The first and second Bianchi identities are R ijkl + R iklj + R iljk = 0 R ijkl,m + R ijlm,k + R ijmk,l
More informationTimelike Rotational Surfaces of Elliptic, Hyperbolic and Parabolic Types in Minkowski Space E 4 with Pointwise 1-Type Gauss Map
Filomat 29:3 (205), 38 392 DOI 0.2298/FIL50338B Published by Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.rs/filomat Timelike Rotational Surfaces of
More informationCodimension 2 submanifolds with flat normal bundle in euclidean space
Codimension 2 submanifolds with flat normal bundle in euclidean space J.J. Nuño-Ballesteros and M.C. Romero-Fuster Abstract Given an immersed submanifold M n R n+2, we characterize the vanishing of the
More information1 Curvature of submanifolds of Euclidean space
Curvature of submanifolds of Euclidean space by Min Ru, University of Houston 1 Curvature of submanifolds of Euclidean space Submanifold in R N : A C k submanifold M of dimension n in R N means that for
More informationOrientation transport
Orientation transport Liviu I. Nicolaescu Dept. of Mathematics University of Notre Dame Notre Dame, IN 46556-4618 nicolaescu.1@nd.edu June 2004 1 S 1 -bundles over 3-manifolds: homological properties Let
More informationSINGULAR CURVES OF AFFINE MAXIMAL MAPS
Fundamental Journal of Mathematics and Mathematical Sciences Vol. 1, Issue 1, 014, Pages 57-68 This paper is available online at http://www.frdint.com/ Published online November 9, 014 SINGULAR CURVES
More informationThe parallelism of shape operator related to the generalized Tanaka-Webster connection on real hypersurfaces in complex two-plane Grassmannians
Proceedings of The Fifteenth International Workshop on Diff. Geom. 15(2011) 183-196 The parallelism of shape operator related to the generalized Tanaka-Webster connection on real hypersurfaces in complex
More informationUNIVERSITY OF DUBLIN
UNIVERSITY OF DUBLIN TRINITY COLLEGE JS & SS Mathematics SS Theoretical Physics SS TSM Mathematics Faculty of Engineering, Mathematics and Science school of mathematics Trinity Term 2015 Module MA3429
More informationA brief introduction to Semi-Riemannian geometry and general relativity. Hans Ringström
A brief introduction to Semi-Riemannian geometry and general relativity Hans Ringström May 5, 2015 2 Contents 1 Scalar product spaces 1 1.1 Scalar products...................................... 1 1.2 Orthonormal
More informationFaculty of Engineering, Mathematics and Science School of Mathematics
Faculty of Engineering, Mathematics and Science School of Mathematics JS & SS Mathematics SS Theoretical Physics SS TSM Mathematics Module MA3429: Differential Geometry I Trinity Term 2018???, May??? SPORTS
More informationGeometrical study of real hypersurfaces with differentials of structure tensor field in a Nonflat complex space form 1
Global Journal of Pure and Applied Mathematics. ISSN 0973-1768 Volume 14, Number 9 (2018), pp. 1251 1257 Research India Publications http://www.ripublication.com/gjpam.htm Geometrical study of real hypersurfaces
More informationJeong-Sik Kim, Yeong-Moo Song and Mukut Mani Tripathi
Bull. Korean Math. Soc. 40 (003), No. 3, pp. 411 43 B.-Y. CHEN INEQUALITIES FOR SUBMANIFOLDS IN GENERALIZED COMPLEX SPACE FORMS Jeong-Sik Kim, Yeong-Moo Song and Mukut Mani Tripathi Abstract. Some B.-Y.
More informationarxiv: v1 [math.dg] 21 Sep 2007
ON THE GAUSS MAP WITH VANISHING BIHARMONIC STRESS-ENERGY TENSOR arxiv:0709.3355v1 [math.dg] 21 Sep 2007 WEI ZHANG Abstract. We study the biharmonic stress-energy tensor S 2 of Gauss map. Adding few assumptions,
More informationON SPACELIKE ROTATIONAL SURFACES WITH POINTWISE 1-TYPE GAUSS MAP
Bull. Korean Math. Soc. 52 (2015), No. 1, pp. 301 312 http://dx.doi.org/10.4134/bkms.2015.52.1.301 ON SPACELIKE ROTATIONAL SURFACES WITH POINTWISE 1-TYPE GAUSS MAP Uǧur Dursun Abstract. In this paper,
More informationd F = (df E 3 ) E 3. (4.1)
4. The Second Fundamental Form In the last section we developed the theory of intrinsic geometry of surfaces by considering the covariant differential d F, that is, the tangential component of df for a
More informationGENERALIZED NULL SCROLLS IN THE n-dimensional LORENTZIAN SPACE. 1. Introduction
ACTA MATHEMATICA VIETNAMICA 205 Volume 29, Number 2, 2004, pp. 205-216 GENERALIZED NULL SCROLLS IN THE n-dimensional LORENTZIAN SPACE HANDAN BALGETIR AND MAHMUT ERGÜT Abstract. In this paper, we define
More informationEinstein H-umbilical submanifolds with parallel mean curvatures in complex space forms
Proceedings of The Eighth International Workshop on Diff. Geom. 8(2004) 73-79 Einstein H-umbilical submanifolds with parallel mean curvatures in complex space forms Setsuo Nagai Department of Mathematics,
More informationRigidity and Non-rigidity Results on the Sphere
Rigidity and Non-rigidity Results on the Sphere Fengbo Hang Xiaodong Wang Department of Mathematics Michigan State University Oct., 00 1 Introduction It is a simple consequence of the maximum principle
More information4.7 The Levi-Civita connection and parallel transport
Classnotes: Geometry & Control of Dynamical Systems, M. Kawski. April 21, 2009 138 4.7 The Levi-Civita connection and parallel transport In the earlier investigation, characterizing the shortest curves
More informationarxiv: v3 [math.dg] 13 Mar 2011
GENERALIZED QUASI EINSTEIN MANIFOLDS WITH HARMONIC WEYL TENSOR GIOVANNI CATINO arxiv:02.5405v3 [math.dg] 3 Mar 20 Abstract. In this paper we introduce the notion of generalized quasi Einstein manifold,
More informationOn Null 2-Type Submanifolds of the Pseudo Euclidean Space E 5 t
International Mathematical Forum, 3, 2008, no. 3, 609-622 On Null 2-Type Submanifolds of the Pseudo Euclidean Space E 5 t Güler Gürpınar Arsan, Elif Özkara Canfes and Uǧur Dursun Istanbul Technical University,
More information1. Geometry of the unit tangent bundle
1 1. Geometry of the unit tangent bundle The main reference for this section is [8]. In the following, we consider (M, g) an n-dimensional smooth manifold endowed with a Riemannian metric g. 1.1. Notations
More informationLie Algebra of Unit Tangent Bundle in Minkowski 3-Space
INTERNATIONAL ELECTRONIC JOURNAL OF GEOMETRY VOLUME 12 NO. 1 PAGE 1 (2019) Lie Algebra of Unit Tangent Bundle in Minkowski 3-Space Murat Bekar (Communicated by Levent Kula ) ABSTRACT In this paper, a one-to-one
More informationA Problem of Hsiang-Palais-Terng on Isoparametric Submanifolds
arxiv:math/0312251v1 [math.dg] 12 Dec 2003 A Problem of Hsiang-Palais-Terng on Isoparametric Submanifolds Haibao Duan Institute of Mathematics, Chinese Academy of Sciences, Beijing 100080, dhb@math.ac.cn
More informationON THE FOLIATION OF SPACE-TIME BY CONSTANT MEAN CURVATURE HYPERSURFACES
ON THE FOLIATION OF SPACE-TIME BY CONSTANT MEAN CURVATURE HYPERSURFACES CLAUS GERHARDT Abstract. We prove that the mean curvature τ of the slices given by a constant mean curvature foliation can be used
More informationMEHMET AKIF AKYOL, LUIS M. FERNÁNDEZ, AND ALICIA PRIETO-MARTÍN
Konuralp Journal of Mathematics Volume No. 1 pp. 6 53 (016) c KJM THE L-SECTIONAL CURVATURE OF S-MANIFOLDS MEHMET AKIF AKYOL, LUIS M. FERNÁNDEZ, AND ALICIA PRIETO-MARTÍN Abstract. We investigate L-sectional
More informationTOTALLY REAL SURFACES IN THE COMPLEX 2-SPACE
Steps in Differential Geometry, Proceedings of the Colloquium on Differential Geometry, 25 30 July, 2000, Debrecen, Hungary TOTALLY REAL SURFACES IN THE COMPLEX 2-SPACE REIKO AIYAMA Introduction Let M
More informationMINKOWSKI TYPE PROBLEMS FOR CONVEX HYPERSURFACES IN HYPERBOLIC SPACE
MINKOWSKI TYPE PROBLEMS FOR CONVEX HYPERSURFACES IN HYPERBOLIC SPACE CLAUS GERHARDT Abstract. We consider the problem F = f(ν) for strictly convex, closed hypersurfaces in H n+1 and solve it for curvature
More informationQing-Ming Cheng and Young Jin Suh
J. Korean Math. Soc. 43 (2006), No. 1, pp. 147 157 MAXIMAL SPACE-LIKE HYPERSURFACES IN H 4 1 ( 1) WITH ZERO GAUSS-KRONECKER CURVATURE Qing-Ming Cheng and Young Jin Suh Abstract. In this paper, we study
More informationA CHARACTERIZATION OF WARPED PRODUCT PSEUDO-SLANT SUBMANIFOLDS IN NEARLY COSYMPLECTIC MANIFOLDS
Journal of Mathematical Sciences: Advances and Applications Volume 46, 017, Pages 1-15 Available at http://scientificadvances.co.in DOI: http://dx.doi.org/10.1864/jmsaa_71001188 A CHARACTERIATION OF WARPED
More information1. Introduction In the same way like the Ricci solitons generate self-similar solutions to Ricci flow
Kragujevac Journal of Mathematics Volume 4) 018), Pages 9 37. ON GRADIENT η-einstein SOLITONS A. M. BLAGA 1 Abstract. If the potential vector field of an η-einstein soliton is of gradient type, using Bochner
More informationOn homogeneous Randers spaces with Douglas or naturally reductive metrics
On homogeneous Randers spaces with Douglas or naturally reductive metrics Mansour Aghasi and Mehri Nasehi Abstract. In [4] Božek has introduced a class of solvable Lie groups with arbitrary odd dimension.
More informationMATH45061: SOLUTION SHEET 1 V
1 MATH4561: SOLUTION SHEET 1 V 1.) a.) The faces of the cube remain aligned with the same coordinate planes. We assign Cartesian coordinates aligned with the original cube (x, y, z), where x, y, z 1. The
More informationarxiv:math/ v1 [math.dg] 24 Mar 2005
arxiv:math/0503565v [math.dg] 4 Mar 005 On the intrinsic geometry of a unit vector field Yampolsky A. Abstract We study the geometrical properties of a unit vector field on a Riemannian -manifold, considering
More informationNEW LIFTS OF SASAKI TYPE OF THE RIEMANNIAN METRICS
NEW LIFTS OF SASAKI TYPE OF THE RIEMANNIAN METRICS Radu Miron Abstract One defines new elliptic and hyperbolic lifts to tangent bundle T M of a Riemann metric g given on the base manifold M. They are homogeneous
More informationClass Meeting # 12: Kirchhoff s Formula and Minkowskian Geometry
MATH 8.52 COURSE NOTES - CLASS MEETING # 2 8.52 Introduction to PDEs, Spring 207 Professor: Jared Speck Class Meeting # 2: Kirchhoff s Formula and Minkowskian Geometry. Kirchhoff s Formula We are now ready
More informationLECTURE 5: SURFACES IN PROJECTIVE SPACE. 1. Projective space
LECTURE 5: SURFACES IN PROJECTIVE SPACE. Projective space Definition: The n-dimensional projective space P n is the set of lines through the origin in the vector space R n+. P n may be thought of as the
More informationCurvature-homogeneous spaces of type (1,3)
Curvature-homogeneous spaces of type (1,3) Oldřich Kowalski (Charles University, Prague), joint work with Alena Vanžurová (Palacky University, Olomouc) Zlatibor, September 3-8, 2012 Curvature homogeneity
More informationON SEMI-INVARIANT SUBMANIFOLDS OF A NEARLY KENMOTSU MANIFOLD WITH THE CANONICAL SEMI-SYMMETRIC SEMI-METRIC CONNECTION. Mobin Ahmad. 1.
MATEMATIQKI VESNIK 62, 3 (2010), 189 198 September 2010 originalni nauqni rad research paper ON SEMI-INVARIANT SUBMANIFOLDS OF A NEARLY KENMOTSU MANIFOLD WITH THE CANONICAL SEMI-SYMMETRIC SEMI-METRIC CONNECTION
More informationThe Gauss map and second fundamental form of surfaces in R 3
The Gauss map and second fundamental form of surfaces in R 3 J. A. Gálvez A. Martínez Departamento de Geometría y Topoloía, Facultad de Ciencias, Universidad de Granada, 18071 GRANADA. SPAIN. e-mail: jaalvez@oliat.ur.es;
More informationCALCULUS ON MANIFOLDS. 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M =
CALCULUS ON MANIFOLDS 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M = a M T am, called the tangent bundle, is itself a smooth manifold, dim T M = 2n. Example 1.
More informationCS 468. Differential Geometry for Computer Science. Lecture 13 Tensors and Exterior Calculus
CS 468 Differential Geometry for Computer Science Lecture 13 Tensors and Exterior Calculus Outline Linear and multilinear algebra with an inner product Tensor bundles over a surface Symmetric and alternating
More informationBERGMAN KERNEL ON COMPACT KÄHLER MANIFOLDS
BERGMAN KERNEL ON COMPACT KÄHLER MANIFOLDS SHOO SETO Abstract. These are the notes to an expository talk I plan to give at MGSC on Kähler Geometry aimed for beginning graduate students in hopes to motivate
More informationAFFINE MAXIMAL HYPERSURFACES. Xu-Jia Wang. Centre for Mathematics and Its Applications The Australian National University
AFFINE MAXIMAL HYPERSURFACES Xu-Jia Wang Centre for Mathematics and Its Applications The Australian National University Abstract. This is a brief survey of recent works by Neil Trudinger and myself on
More informationLIFTED CODES OVER FINITE CHAIN RINGS
Math. J. Okayama Univ. 53 (2011), 39 53 LIFTED CODES OVER FINITE CHAIN RINGS Steven T. Dougherty, Hongwei Liu and Young Ho Park Abstract. In this paper, we study lifted codes over finite chain rings. We
More informationSOME ALMOST COMPLEX STRUCTURES WITH NORDEN METRIC ON THE TANGENT BUNDLE OF A SPACE FORM
ANALELE ŞTIINŢIFICE ALE UNIVERSITĂŢII AL.I.CUZA IAŞI Tomul XLVI, s.i a, Matematică, 2000, f.1. SOME ALMOST COMPLEX STRUCTURES WITH NORDEN METRIC ON THE TANGENT BUNDLE OF A SPACE FORM BY N. PAPAGHIUC 1
More informationCOMPLETE MINIMAL HYPERSURFACES IN S 4 (l) WITH CONSTANT SCALAR CURVATURE
Cheng Q.M. Osaka J. Math. 27 (1990) 885-892 COMPLETE MINIMAL HYPERSURFACES IN S 4 (l) WITH CONSTANT SCALAR CURVATURE QlNG-MING CHENG (Received October 31 1989) 1. Introduction Let M be an ^-dimensional
More informationarxiv:math/ v1 [math.dg] 19 Nov 2004
arxiv:math/04426v [math.dg] 9 Nov 2004 REMARKS ON GRADIENT RICCI SOLITONS LI MA Abstract. In this paper, we study the gradient Ricci soliton equation on a complete Riemannian manifold. We show that under
More informationCompact manifolds of nonnegative isotropic curvature and pure curvature tensor
Compact manifolds of nonnegative isotropic curvature and pure curvature tensor Martha Dussan and Maria Helena Noronha Abstract We show the vanishing of the Betti numbers β i (M), 2 i n 2, of compact irreducible
More informationDifferential Geometry of Surfaces
Differential Forms Dr. Gye-Seon Lee Differential Geometry of Surfaces Philipp Arras and Ingolf Bischer January 22, 2015 This article is based on [Car94, pp. 77-96]. 1 The Structure Equations of R n Definition
More information1.13 The Levi-Civita Tensor and Hodge Dualisation
ν + + ν ν + + ν H + H S ( S ) dφ + ( dφ) 2π + 2π 4π. (.225) S ( S ) Here, we have split the volume integral over S 2 into the sum over the two hemispheres, and in each case we have replaced the volume-form
More informationEuler Characteristic of Two-Dimensional Manifolds
Euler Characteristic of Two-Dimensional Manifolds M. Hafiz Khusyairi August 2008 In this work we will discuss an important notion from topology, namely Euler Characteristic and we will discuss several
More informationSpacelike surfaces with positive definite second fundamental form in 3-dimensional Lorentzian manifolds
Spacelike surfaces with positive definite second fundamental form in 3-dimensional Lorentzian manifolds Alfonso Romero Departamento de Geometría y Topología Universidad de Granada 18071-Granada Web: http://www.ugr.es/
More informationDifferential Geometry Exercises
Differential Geometry Exercises Isaac Chavel Spring 2006 Jordan curve theorem We think of a regular C 2 simply closed path in the plane as a C 2 imbedding of the circle ω : S 1 R 2. Theorem. Given the
More informationA geometric solution of the Kervaire Invariant One problem
A geometric solution of the Kervaire Invariant One problem Petr M. Akhmet ev 19 May 2009 Let f : M n 1 R n, n = 4k + 2, n 2 be a smooth generic immersion of a closed manifold of codimension 1. Let g :
More informationarxiv: v1 [math-ph] 5 May 2015
FERMIONIC NOVIKOV ALGEBRAS ADMITTING INVARIANT NON-DEGENERATE SYMMETRIC BILINEAR FORMS ARE NOVIKOV ALGEBRAS ZHIQI CHEN AND MING DING arxiv:155967v1 [math-ph] 5 May 215 Abstract This paper is to prove that
More informationSCREEN TRANSVERSAL LIGHTLIKE SUBMANIFOLDS OF INDEFINITE KENMOTSU MANIFOLDS
SARAJEVO JOURNAL OF MATHEMATICS Vol.7 (19) (2011), 103 113 SCREEN TRANSVERSAL LIGHTLIKE SUBMANIFOLDS OF INDEFINITE KENMOTSU MANIFOLDS RAM SHANKAR GUPTA AND A. SHARFUDDIN Abstract. In this paper, we introduce
More informationCURVATURE VIA THE DE SITTER S SPACE-TIME
SARAJEVO JOURNAL OF MATHEMATICS Vol.7 (9 (20, 9 0 CURVATURE VIA THE DE SITTER S SPACE-TIME GRACIELA MARÍA DESIDERI Abstract. We define the central curvature and the total central curvature of a closed
More informationStable minimal cones in R 8 and R 9 with constant scalar curvature
Revista Colombiana de Matemáticas Volumen 6 (2002), páginas 97 106 Stable minimal cones in R 8 and R 9 with constant scalar curvature Oscar Perdomo* Universidad del Valle, Cali, COLOMBIA Abstract. In this
More informationHYPERSURFACES IN SPACE FORMS SATISFYING THE CONDITION L k x = Ax + b
TAIWANESE JOURNAL OF MATHEMATICS Vol. 14, No. 5, pp. 1957-1977, October 2010 This paper is available online at http://www.tjm.nsysu.edu.tw/ HYPERSURFACES IN SPACE FORMS SATISFYING THE CONDITION L k x =
More informationNewman-Penrose formalism in higher dimensions
Newman-Penrose formalism in higher dimensions V. Pravda various parts in collaboration with: A. Coley, R. Milson, M. Ortaggio and A. Pravdová Introduction - algebraic classification in four dimensions
More informationMinimal timelike surfaces in a certain homogeneous Lorentzian 3-manifold II
Minimal timelike surfaces in a certain homogeneous Lorentzian 3-manifold II Sungwook Lee Abstract The 2-parameter family of certain homogeneous Lorentzian 3-manifolds which includes Minkowski 3-space and
More informationStationary isothermic surfaces and some characterizations of the hyperplane in the N-dimensional Euclidean space
arxiv:081.165v1 [math.ap] 11 Dec 008 Stationary isothermic surfaces and some characterizations of the hyperplane in the N-dimensional Euclidean space Rolando Magnanini and Shigeru Sakaguchi October 6,
More informationSEMI-RIEMANNIAN SUBMANIFOLDS OF A SEMI-RIEMANNIAN MANIFOLD WITH A SEMI-SYMMETRIC NON-METRIC CONNECTION
Commun. Korean Math. Soc. 27 (2012), No. 4, pp. 781 793 http://dx.doi.org/10.4134/ckms.2012.27.4.781 SEMI-RIEMANNIAN SUBMANIFOLDS OF A SEMI-RIEMANNIAN MANIFOLD WITH A SEMI-SYMMETRIC NON-METRIC CONNECTION
More informationAn introduction to General Relativity and the positive mass theorem
An introduction to General Relativity and the positive mass theorem National Center for Theoretical Sciences, Mathematics Division March 2 nd, 2007 Wen-ling Huang Department of Mathematics University of
More informationarxiv: v1 [math.dg] 20 Dec 2016
LAGRANGIAN L-STABILITY OF LAGRANGIAN TRANSLATING SOLITONS arxiv:161.06815v1 [math.dg] 0 Dec 016 JUN SUN Abstract. In this paper, we prove that any Lagrangian translating soliton is Lagrangian L-stable.
More informationPseudo-Riemannian Geometry in Terms of Multi-Linear Brackets
Lett Math Phys DOI 10.1007/s11005-014-0723-0 Pseudo-Riemannian Geometry in Terms of Multi-Linear Brackets JOAKIM ARNLIND 1 and GERHARD HUISKEN 2 1 Department of Mathematics, Linköping University, 581 83
More informationMATH 4030 Differential Geometry Lecture Notes Part 4 last revised on December 4, Elementary tensor calculus
MATH 4030 Differential Geometry Lecture Notes Part 4 last revised on December 4, 205 Elementary tensor calculus We will study in this section some basic multilinear algebra and operations on tensors. Let
More informationClifford Algebras and Spin Groups
Clifford Algebras and Spin Groups Math G4344, Spring 2012 We ll now turn from the general theory to examine a specific class class of groups: the orthogonal groups. Recall that O(n, R) is the group of
More informationGEOMETRY OF GEODESIC SPHERES IN A COMPLEX PROJECTIVE SPACE IN TERMS OF THEIR GEODESICS
Mem. Gra. Sci. Eng. Shimane Univ. Series B: Mathematics 51 (2018), pp. 1 5 GEOMETRY OF GEODESIC SPHERES IN A COMPLEX PROJECTIVE SPACE IN TERMS OF THEIR GEODESICS SADAHIRO MAEDA Communicated by Toshihiro
More informationCONVEX SPACELIKE HYPERSURFACES OF CONSTANT CURVATURE IN DE SITTER SPACE. Dedicated to Avner Friedman on the occasion of his 80th birthday
CONVEX SPACELIKE HYPERSURFACES OF CONSTANT CURVATURE IN DE SITTER SPACE JOEL SPRUCK AND LING XIAO Dedicated to Avner Friedman on the occasion of his 80th birthday 1. Introduction Let R n+1,1 be the (n
More informationNOTE ON ASYMPTOTICALLY CONICAL EXPANDING RICCI SOLITONS
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9939(XX)0000-0 NOTE ON ASYMPTOTICALLY CONICAL EXPANDING RICCI SOLITONS JOHN LOTT AND PATRICK WILSON (Communicated
More informationGLASGOW Paolo Lorenzoni
GLASGOW 2018 Bi-flat F-manifolds, complex reflection groups and integrable systems of conservation laws. Paolo Lorenzoni Based on joint works with Alessandro Arsie Plan of the talk 1. Flat and bi-flat
More informationElements of differential geometry
Elements of differential geometry R.Beig (Univ. Vienna) ESI-EMS-IAMP School on Mathematical GR, 28.7. - 1.8. 2014 1. tensor algebra 2. manifolds, vector and covector fields 3. actions under diffeos and
More informationSTABILITY OF HYPERSURFACES WITH CONSTANT (r +1)-TH ANISOTROPIC MEAN CURVATURE AND HAIZHONG LI
Illinois Journal of athematics Volume 52, Number 4, Winter 2008, Pages 1301 1314 S 0019-2082 STABILITY OF HYPERSURFACES WITH CONSTANT (r +1)-TH ANISOTROPIC EAN CURVATURE YIJUN HE * AND HAIZHONG LI Abstract.
More informationLAGRANGIAN HOMOLOGY CLASSES WITHOUT REGULAR MINIMIZERS
LAGRANGIAN HOMOLOGY CLASSES WITHOUT REGULAR MINIMIZERS JON WOLFSON Abstract. We show that there is an integral homology class in a Kähler-Einstein surface that can be represented by a lagrangian twosphere
More informationResearch Article Generalized Transversal Lightlike Submanifolds of Indefinite Sasakian Manifolds
International Journal of Mathematics and Mathematical Sciences Volume 2012, Article ID 361794, 17 pages doi:10.1155/2012/361794 Research Article Generalized Transversal Lightlike Submanifolds of Indefinite
More informationDraft version September 15, 2015
Novi Sad J. Math. Vol. XX, No. Y, 0ZZ,??-?? ON NEARLY QUASI-EINSTEIN WARPED PRODUCTS 1 Buddhadev Pal and Arindam Bhattacharyya 3 Abstract. We study nearly quasi-einstein warped product manifolds for arbitrary
More informationAffine surface area and convex bodies of elliptic type
Affine surface area and convex bodies of elliptic type Rolf Schneider Abstract If a convex body K in R n is contained in a convex body L of elliptic type (a curvature image), then it is known that the
More informationarxiv: v1 [math.dg] 4 Sep 2009
SOME ESTIMATES OF WANG-YAU QUASILOCAL ENERGY arxiv:0909.0880v1 [math.dg] 4 Sep 2009 PENGZI MIAO 1, LUEN-FAI TAM 2 AND NAQING XIE 3 Abstract. Given a spacelike 2-surface in a spacetime N and a constant
More information1-TYPE AND BIHARMONIC FRENET CURVES IN LORENTZIAN 3-SPACE *
Iranian Journal of Science & Technology, Transaction A, ol., No. A Printed in the Islamic Republic of Iran, 009 Shiraz University -TYPE AND BIHARMONIC FRENET CURES IN LORENTZIAN -SPACE * H. KOCAYIGIT **
More informationCzechoslovak Mathematical Journal
Czechoslovak Mathematical Journal Ülo Lumiste Semiparallel isometric immersions of 3-dimensional semisymmetric Riemannian manifolds Czechoslovak Mathematical Journal, Vol. 53 (2003), No. 3, 707 734 Persistent
More informationChanging sign solutions for the CR-Yamabe equation
Changing sign solutions for the CR-Yamabe equation Ali Maalaoui (1) & Vittorio Martino (2) Abstract In this paper we prove that the CR-Yamabe equation on the Heisenberg group has infinitely many changing
More informationRICCI SOLITONS ON COMPACT KAHLER SURFACES. Thomas Ivey
RICCI SOLITONS ON COMPACT KAHLER SURFACES Thomas Ivey Abstract. We classify the Kähler metrics on compact manifolds of complex dimension two that are solitons for the constant-volume Ricci flow, assuming
More informationSome characterizations of Euclidean domains in the steady state and hyperbolic spaces. C.P. Aquino 1, H. F. de Lima 2 and M. A. L.
Matemática Contemporânea, Vol 40, 01-16 c 2011, Sociedade Brasileira de Matemática Some characterizations of Euclidean domains in the steady state and hyperbolic spaces C.P. Aquino 1, H. F. de Lima 2 and
More informationParallel and Killing Spinors on Spin c Manifolds. 1 Introduction. Andrei Moroianu 1
Parallel and Killing Spinors on Spin c Manifolds Andrei Moroianu Institut für reine Mathematik, Ziegelstr. 3a, 0099 Berlin, Germany E-mail: moroianu@mathematik.hu-berlin.de Abstract: We describe all simply
More informationFrom holonomy reductions of Cartan geometries to geometric compactifications
From holonomy reductions of Cartan geometries to geometric compactifications 1 University of Vienna Faculty of Mathematics Berlin, November 11, 2016 1 supported by project P27072 N25 of the Austrian Science
More informationON THE INNER CURVATURE OF THE SECOND FUNDAMENTAL FORM OF A SURFACE IN THE HYPERBOLIC SPACE
ON TE INNER CURVATURE OF TE SECOND FUNDAMENTAL FORM OF A SURFACE IN TE YPERBOLIC SPACE STEVEN VERPOORT The object of study of this article is compact surfaces in the three-dimensional hyperbolic space
More informationClassical differential geometry of two-dimensional surfaces
Classical differential geometry of two-dimensional surfaces 1 Basic definitions This section gives an overview of the basic notions of differential geometry for twodimensional surfaces. It follows mainly
More information