The para-Blaschke tensor are extended in this paper from hypersurfaces to general higher codimensional submanifolds in the unit sphere S^(n),which is invariant under the Mobius transformations on Sn.Then some typical ...The para-Blaschke tensor are extended in this paper from hypersurfaces to general higher codimensional submanifolds in the unit sphere S^(n),which is invariant under the Mobius transformations on Sn.Then some typical new examples of umbilic-free submanifolds in Snwith vanishing Mobius form and a parallel para-Blaschke tensor of two distinct eigenvalues,D_(1) and D_(2),are constructed.The main theorem of this paper is a simple characterization of these newly found examples in terms of the eigenvalues D_(1) and D_(2).展开更多
Let x : M→S^n+1 be a hypersurface in the (n + 1)-dimensional unit sphere S^n+1 without umbilic point. The Mobius invariants of x under the Mobius transformation group of S^n+1 are Mobius metric, Mobius form, M...Let x : M→S^n+1 be a hypersurface in the (n + 1)-dimensional unit sphere S^n+1 without umbilic point. The Mobius invariants of x under the Mobius transformation group of S^n+1 are Mobius metric, Mobius form, Mobius second fundamental form and Blaschke tensor. In this paper, we prove the following theorem: Let x : M→S^n+1 (n≥2) be an umbilic free hypersurface in S^n+1 with nonnegative Mobius sectional curvature and with vanishing Mobius form. Then x is locally Mobius equivalent to one of the following hypersurfaces: (i) the torus S^k(a) × S^n-k(√1- a^2) with 1 ≤ k ≤ n - 1; (ii) the pre-image of the stereographic projection of the standard cylinder S^k × R^n-k belong to R^n+1 with 1 ≤ k ≤ n- 1; (iii) the pre-image of the stereographic projection of the Cone in R^n+1 : -↑x(u, v, t) = (tu, tv), where (u,v, t)∈S^k(a) × S^n-k-1( √1-a^2)× R^+.展开更多
In this paper, we first set up an alternative fundamental theory of M?bius geometry for any umbilic-free spacelike hypersurfaces in four dimensional Lorentzian space form, and prove the hypersurfaces can be determined...In this paper, we first set up an alternative fundamental theory of M?bius geometry for any umbilic-free spacelike hypersurfaces in four dimensional Lorentzian space form, and prove the hypersurfaces can be determined completely by a system consisting of a function W and a tangent frame {E_i}. Then we give a complete classification for spacelike M?bius homogeneous hypersurfaces in four dimensional Lorentzian space form. They are either M?bius equivalent to spacelike Dupin hypersurfaces or to some cylinders constructed from logarithmic curves and hyperbolic logarithmic spirals. Some of them have parallel para-Blaschke tensors with non-vanishing M?bius form.展开更多
Let E_(s)^(m+p+1) ?R_(s+1)^(m+p+2)(m≥ 2,p≥ 1,0≤s≤p) be the standard(punched)light-cone in the Lorentzian space R_(s+1)^(m+p+2),and let Y:M^(m)→E_(s)^(m+p+1) be a space-like immersed submanifold of dimension m.The...Let E_(s)^(m+p+1) ?R_(s+1)^(m+p+2)(m≥ 2,p≥ 1,0≤s≤p) be the standard(punched)light-cone in the Lorentzian space R_(s+1)^(m+p+2),and let Y:M^(m)→E_(s)^(m+p+1) be a space-like immersed submanifold of dimension m.Then,in addition to the induced metric g on Mm,there are three other important invariants of Y:the Blaschke tensor A,the conic second fundamental form B,and the conic Mobius form C;these are naturally defined by Y and are all invariant under the group of rigid motions on E_(s)^(m+p+1).In particular,g,A,B,C form a complete invariant system for Y,as was originally shown by C.P.Wang for the case in which s=0.The submanifold Y is said to be Blaschke isoparametric if its conic Mobius form C vanishes identically and all of its Blaschke eigenvalues are constant.In this paper,we study the space-like Blaschke isoparametric submanifolds of a general codimension in the light-cone E_(s)^(m+p+1) for the extremal case in which s=p.We obtain a complete classification theorem for all the m-dimensional space-like Blaschke isoparametric submanifolds in Epm+p+1of constant scalar curvature,and of two distinct Blaschke eigenvalues.展开更多
The Blaschke tensor and the Mbius form are two of the fundamental invariants in the Mobius geometry of submanifolds;an umbilic-free immersed submanifold in real space forms is called Blaschke parallel if its Blaschke ...The Blaschke tensor and the Mbius form are two of the fundamental invariants in the Mobius geometry of submanifolds;an umbilic-free immersed submanifold in real space forms is called Blaschke parallel if its Blaschke tensor is parallel.We prove a theorem which,together with the known classification result for Mobius isotropic submanifolds,successfully establishes a complete classification of the Blaschke parallel submanifolds in S^n with vanishing Mobius form.Before doing so,a broad class of new examples of general codimensions is explicitly constructed.展开更多
An umbilic-free hypersurface in the unit sphere is called MSbius isoparametric if it satisfies two conditions, namely, it has vanishing MSbius form and has constant MSbius principal curvatures. In this paper, under th...An umbilic-free hypersurface in the unit sphere is called MSbius isoparametric if it satisfies two conditions, namely, it has vanishing MSbius form and has constant MSbius principal curvatures. In this paper, under the condition of having constant MSbius principal curvatures, we show that the hypersurface is of vanishing MSbius form if and only if its MSbius form is parallel with respect to the Levi-Civita connection of its MSbius metric. Moreover, typical examples are constructed to show that the condition of having constant MSbius principal curvatures and that of having vanishing MSbius form are independent of each other.展开更多
Given an immersed submanifold x : M^M → S^n in the unit sphere S^n without umbilics, a Blaschke eigenvalue of x is by definition an eigenvalue of the Blaschke tensor of x. x is called Blaschke isoparametric if its M...Given an immersed submanifold x : M^M → S^n in the unit sphere S^n without umbilics, a Blaschke eigenvalue of x is by definition an eigenvalue of the Blaschke tensor of x. x is called Blaschke isoparametric if its Mobius form vanishes identically and all of its Blaschke eigenvalues are constant. Then the classification of Blaschke isoparametric hypersurfaces is natural and interesting in the MSbius geometry of submanifolds. When n = 4, the corresponding classification theorem was given by the authors. In this paper, we are able to complete the corresponding classification for n = 5. In particular, we shall prove that all the Blaschke isoparametric hypersurfaces in S^5 with more than two distinct Blaschke eigenvalues are necessarily Mobius isoparametric.展开更多
基金Supported by Foundation of Natural Sciences of China(Grant Nos.11671121,11871197,11431009)。
文摘The para-Blaschke tensor are extended in this paper from hypersurfaces to general higher codimensional submanifolds in the unit sphere S^(n),which is invariant under the Mobius transformations on Sn.Then some typical new examples of umbilic-free submanifolds in Snwith vanishing Mobius form and a parallel para-Blaschke tensor of two distinct eigenvalues,D_(1) and D_(2),are constructed.The main theorem of this paper is a simple characterization of these newly found examples in terms of the eigenvalues D_(1) and D_(2).
基金the National Natural Science Foundation of China ( 1 0 2 71 1 0 6) ,the Natural ScienceFoundation of Zhejiang Province ( M1 0 30 4 7) and the Education Department of Zhejiang Province( 2 0 0 30 342 )
文摘In this paper,the rigidity theorems of the submanifolds in S n+p with parallel Mobius form and constant Mobius scalar curvature are given.
文摘Let x : M→S^n+1 be a hypersurface in the (n + 1)-dimensional unit sphere S^n+1 without umbilic point. The Mobius invariants of x under the Mobius transformation group of S^n+1 are Mobius metric, Mobius form, Mobius second fundamental form and Blaschke tensor. In this paper, we prove the following theorem: Let x : M→S^n+1 (n≥2) be an umbilic free hypersurface in S^n+1 with nonnegative Mobius sectional curvature and with vanishing Mobius form. Then x is locally Mobius equivalent to one of the following hypersurfaces: (i) the torus S^k(a) × S^n-k(√1- a^2) with 1 ≤ k ≤ n - 1; (ii) the pre-image of the stereographic projection of the standard cylinder S^k × R^n-k belong to R^n+1 with 1 ≤ k ≤ n- 1; (iii) the pre-image of the stereographic projection of the Cone in R^n+1 : -↑x(u, v, t) = (tu, tv), where (u,v, t)∈S^k(a) × S^n-k-1( √1-a^2)× R^+.
基金supported by NSFC(Grant Nos.11571287 and 11671330)supported by NSFC(Grant Nos.11331002 and 11471021)
文摘In this paper, we first set up an alternative fundamental theory of M?bius geometry for any umbilic-free spacelike hypersurfaces in four dimensional Lorentzian space form, and prove the hypersurfaces can be determined completely by a system consisting of a function W and a tangent frame {E_i}. Then we give a complete classification for spacelike M?bius homogeneous hypersurfaces in four dimensional Lorentzian space form. They are either M?bius equivalent to spacelike Dupin hypersurfaces or to some cylinders constructed from logarithmic curves and hyperbolic logarithmic spirals. Some of them have parallel para-Blaschke tensors with non-vanishing M?bius form.
基金supported by Foundation of Natural Sciences of China(11671121,11871197 and 11431009)。
文摘Let E_(s)^(m+p+1) ?R_(s+1)^(m+p+2)(m≥ 2,p≥ 1,0≤s≤p) be the standard(punched)light-cone in the Lorentzian space R_(s+1)^(m+p+2),and let Y:M^(m)→E_(s)^(m+p+1) be a space-like immersed submanifold of dimension m.Then,in addition to the induced metric g on Mm,there are three other important invariants of Y:the Blaschke tensor A,the conic second fundamental form B,and the conic Mobius form C;these are naturally defined by Y and are all invariant under the group of rigid motions on E_(s)^(m+p+1).In particular,g,A,B,C form a complete invariant system for Y,as was originally shown by C.P.Wang for the case in which s=0.The submanifold Y is said to be Blaschke isoparametric if its conic Mobius form C vanishes identically and all of its Blaschke eigenvalues are constant.In this paper,we study the space-like Blaschke isoparametric submanifolds of a general codimension in the light-cone E_(s)^(m+p+1) for the extremal case in which s=p.We obtain a complete classification theorem for all the m-dimensional space-like Blaschke isoparametric submanifolds in Epm+p+1of constant scalar curvature,and of two distinct Blaschke eigenvalues.
基金National Natural Science Foundation of China(Grant Nos. 11171091 and 11371018)
文摘The Blaschke tensor and the Mbius form are two of the fundamental invariants in the Mobius geometry of submanifolds;an umbilic-free immersed submanifold in real space forms is called Blaschke parallel if its Blaschke tensor is parallel.We prove a theorem which,together with the known classification result for Mobius isotropic submanifolds,successfully establishes a complete classification of the Blaschke parallel submanifolds in S^n with vanishing Mobius form.Before doing so,a broad class of new examples of general codimensions is explicitly constructed.
基金Supported by National Natural Science Foundation of China (Grant No.10671181)
文摘An umbilic-free hypersurface in the unit sphere is called MSbius isoparametric if it satisfies two conditions, namely, it has vanishing MSbius form and has constant MSbius principal curvatures. In this paper, under the condition of having constant MSbius principal curvatures, we show that the hypersurface is of vanishing MSbius form if and only if its MSbius form is parallel with respect to the Levi-Civita connection of its MSbius metric. Moreover, typical examples are constructed to show that the condition of having constant MSbius principal curvatures and that of having vanishing MSbius form are independent of each other.
文摘Given an immersed submanifold x : M^M → S^n in the unit sphere S^n without umbilics, a Blaschke eigenvalue of x is by definition an eigenvalue of the Blaschke tensor of x. x is called Blaschke isoparametric if its Mobius form vanishes identically and all of its Blaschke eigenvalues are constant. Then the classification of Blaschke isoparametric hypersurfaces is natural and interesting in the MSbius geometry of submanifolds. When n = 4, the corresponding classification theorem was given by the authors. In this paper, we are able to complete the corresponding classification for n = 5. In particular, we shall prove that all the Blaschke isoparametric hypersurfaces in S^5 with more than two distinct Blaschke eigenvalues are necessarily Mobius isoparametric.