Searcharxiv⌕ Search

arXiv subjects

Tongzhu Li

Publications and source records attributed to Tongzhu Li.

At least 19 recordsLinked to original sources
arXiv2026

Local rigidity of constant mean curvature hypersurfaces in space forms (II)

This is the second article of a sequence of research on the local rigidity of constant mean curvature (CMC) hypersurfaces in space forms. In the previous one, we studied the local rigidity of CMC hypersurfaces whose the number of the distinct principal curvatures satisfies $g\leq 3$. In this paper, we study the local rigidity of CMC hypersurfaces with $g\geq 4$. When $g>4$, we prove that if the $k$-order mean curvatures $H_k$, $(k=2,\cdots, g-1)$ are constant and there exist enough multiple principal curvatures, then the CMC hypersurface is an isoparametric hypersurface. When $g=4$, if $H_2$ and $H_3$ are constant, then the CMC hypersurface is an isoparametric hypersurface.

math.DG↗
arXiv2026

Rigidity of closed $λ$-self-expanders

A $λ$-self-expander $x: M^n\to \mathbb{R}^{n+1}$ is the solution of the isoperimetric problem of weight $e^{\frac{|x|^2}{4}}$. In this paper, we prove that the closed $λ$-self-expander is a round sphere centered at the origin under some curvature conditions. These curvature conditions mainly include the scalar curvature, the mean curvature, and the squared norm of the second fundamental form.

math.DG↗
arXiv2026

Complete gradient Ricci solitons with zero radial Weyl curvature

In this paper, we study the complete gradient Ricci solitons $(M^n, g,f)$ with zero radial Weyl curvature, which means that the interior product of $\nabla f$ with the Weyl tensor $W$ is zero, i.e., $i_{\nabla f}W=0$. We classify completely the complete gradient Ricci solitons with zero radial Weyl curvature for the dimension $n\geq 4$.

math.DG↗
arXiv2026

Rigidity of Critical Point Metrics under some Ricci curvature constraints

A critical point metric is a critical point of the total scalar curvature functional restricted to the space of constant scalar curvature metrics on a closed manifold with unit volume. It was conjectured in 1980's that every critical point metric must be Einstein. In this paper, we prove that this conjecture is true if the norm of the traceless Ricci operator $|\widetilde{Ric}|$ is constant. For $3$-dimensional case, we prove that the conjecture is true, if the traceless Ricci operator satisfies $tr((\widetilde{Ric})^3)\geq -\frac{R}{12}|\widetilde{Ric}|^2$, where $R$ denotes the scalar curvature. where R denotes the scalar curvature.

math.DG↗
arXiv2024

Rigidity of closed minimal hypersurface in $\mathbb{S}^5$

Let $M^4\to \mathbb{S}^5$ be a closed immersed minimal hypersurface with constant squared length of the second fundamental form $S$ in a $5$-dimensional sphere $\mathbb{S}^5$. In this paper, we prove that if $3$-mean curvature $H_3$ and the number $g$ of the distinct principal curvatures are constant, then $M^4$ is an isoparametric hypersurface, and the value of $S$ can only be $0, 4, 12$. This result supports Chern Conjecture.

math.DG↗
arXiv2023

Complete self-shrinkers with bounded the second fundamental form in $\mathbb{R}^{n+1}$

Let $X:M^n\to \mathbb{R}^{n+1}$ be a complete properly immersed self-shrinker. In this paper, we prove that if the squared norm of the second fundamental form $S$ satisfies $1\leq S< C$ for some constant $C$, then $S=1$. Further we classify the $n$-dimensional complete proper self-shrinkers with constant squared norm of the second fundamental form in $\mathbb{R}^{n+1}$, which solve the conjecture proposed by Q.M. Cheng and G. Wei when the self-shrinker is proper.

math.DG↗
arXiv2022

Möbius Homogeneous Hypersurfaces in $\mathbb{S}^{n+1}$

Let $\mathbb{M}(\mathbb{S}^{n+1})$ denote the Möbius transformation group of the $(n+1)$-dimensional sphere $\mathbb{S}^{n+1}$. A hypersurface $x:M^n\to \mathbb{S}^{n+1}$ is called a Möbius homogeneous hypersurface if there exists a subgroup $G$ of $\mathbb{M}(\mathbb{S}^{n+1})$ such that the orbit $G\cdot p=x(M^n), p\in x(M^n)$. In this paper, the Möbius homogeneous hypersurfaces are classified completely up to a Möbius transformation of $\mathbb{S}^{n+1}$.

math.DG↗
arXiv2017

Generic conformally flat hypersurfaces in $\mathbb{R}^4$

In this paper, we study generic conformally flat hypersurfaces in the Euclidean $4$-space $\mathbb{R}^4$ using the framework of Möbius geometry. First, we classify locally the generic conformally flat hypersurfaces with closed Möbius form under the Möbius transformation group of $\mathbb{R}^4$. Such examples come from cones, cylinders, or rotational hypersurfaces over the surfaces with constant Gaussian curvature in $3$-spheres, Euclidean $3$-spaces, or hyperbolic $3$-spaces, respectively. Second, we investigate the global behavior of the generic conformally flat hypersurface and give some integral formulas about these hypersurfaces.

math.DG↗
arXiv2017

A Möbius scalar curvature rigidity on compact conformally flat hypersurfaces in $\mathbb{S}^{n+1}$

In this paper, we study conformally flat hypersurfaces of dimension $n(\geq 4)$ in $\mathbb{S}^{n+1}$ using the framework of Möbius geometry. First, we classify and explicitly express the conformally flat hypersurfaces of dimension $n(\geq 4)$ with constant Möbius scalar curvature under the Möbius transformation group of $\mathbb{S}^{n+1}$. Second, we prove that if the conformally flat hypersurface with constant Möbius scalar curvature $R$ is compact, then $$R=(n-1)(n-2)r^2, ~~0<r<1,$$ and the compact conformally flat hypersurface is Möbius equivalent to the torus $$\mathbb{ S}^1(\sqrt{1-r^2})\times \mathbb{S}^{n-1}(r)\hookrightarrow \mathbb{S}^{n+1}.$$

math.DG↗
arXiv2017

Para Blaschke isoparametric spacelike hypersurfaces in Lorentzian space forms

Let $M^n$ be an $n$-dimensional umbilic-free hypersurface in the $(n+1)$-dimensional Lorentzian space form $M^{n+1}_1(c)$. Three basic invariants of $M^n$ under the conformal transformation group of $M^{n+1}_1(c)$ are a $1$-form $C$, called conformal $1$-form, a symmetric $(0,2)$ tensor $B$, called conformal second fundamental form, and a symmetric $(0,2)$ tensor $A$, called Blaschke tensor. The so-called para-Blaschke tensor $D^λ=A+λB$, the linear combination of $A$ and $B$, is still a symmetric $(0,2)$ tensor. A spacelike hypersurface is called a para-Blaschke isoparametric spacelike hypersurface, if the conform $1$-form vanishes and the eigenvalues of the para-Blaschke tensor are constant. In this paper, we classify the para-Blaschke isoparametric spacelike hypersurfaces under the conformal group of $M^{n+1}_1(c)$.

math.DG↗
arXiv2015

Regular Blaschke Para-Umbilical Hypersurfaces in the Conformal Space ${\mathbb Q}^n_s$

In [2] we have classified the Blaschke quasi-umbilical submanifolds in the conformal space ${\mathbb Q}^n_s$. In this paper we shall classify the Blaschke para-umbilical hypersurfaces in the conformal space ${\mathbb Q}^n_s$. That may be also considered as the extension of the classification of the conformal isotropic submanifolds in the conformal space ${\mathbb Q}^n_s$.

math.DG↗
arXiv2015

Dupin Hypersurfaces in Lorentzian Space forms

Similar to the definition of Dupin hypersurface in Riemannian space forms, we define the spacelike Dupin hypersurface in Lorentzian space forms. As conformal invariant objects, spacelike Dupin hypersurfaces are studied in this paper using the framework of conformal geometry. Further we classify the spacelike Dupin hypersurfaces with constant Möbius curvatures, which are the partition ratio of the principal curvatures of the spacelike Dupin hypersurface.

math.DG↗
arXiv2015

Möbius and Laguerre geometry of Dupin Hypersurfaces

In this paper we show that a Dupin hypersurface with constant Möbius curvatures is Möbius equivalent to either an isoparametric hypersurface in the sphere or a cone over an isoparametric hypersurface in a sphere. We also show that a Dupin hypersurface with constant Laguerre curvatures is Laguerre equivalent to a flat Laguerre isoparametric hypersurface. These results solve the major issues related to the conjectures of Cecil et al on the classification of Dupin hypersurfaces.

math.DG↗
arXiv2014

Wintgen ideal submanifolds of codimension two, complex curves, and Moebius geometry

Wintgen ideal submanifolds in space forms are those ones attaining equality pointwise in the so-called DDVV inequality which relates the scalar curvature, the mean curvature and the scalar normal curvature. Using the framework of Moebius geometry, we show that in the codimension two case, the mean curvature sphere of the Wintgen ideal submanifold corresponds to an 1-isotropic holomorphic curve in a complex quadric Q. Conversely, any 1-isotropic complex curve in Q describes a 2-parameter family of m-dimensional spheres whose envelope is always a m-dimensional Wintgen ideal submanifold at the regular points. The relationship with Dajczer and Tojeiro's work on the same topic as well as the description in terms of minimal surfaces in the Euclidean space is also discussed.

math.DG↗
arXiv2014

Classification of Moebius homogeneous Wintgen ideal submanifolds

A submanifold in a real space form attaining equality in the DDVV inequality at every point is called a Wintgen ideal submanifold. They are invariant objects under the Moebius transformations. In this paper, we classify those Wintgen ideal submanifolds of dimension m>3 which are Moebius homogeneous. There are three classes of non-trivial examples, each related with a famous class of homogeneous minimal surfaces in $S^n$ or $CP^n$: the cones over the Veronese surfaces $S^2$ in $S^n$, the cones over homogeneous flat minimal surfaces in $S^n$, and the Hopf bundle over the Veronese embeddings of $CP^1$ in $CP^n$.

math.DG↗
arXiv2014

Moebius geometry of three dimensional Wintgen ideal submanifolds in S^5

Wintgen ideal submanifolds in space forms are those ones attaining equality at every point in the so-called DDVV inequality which relates the scalar curvature, the mean curvature and the normal scalar curvature. This property is conformal invariant; hence we study them in the framework of Moebius geometry, and restrict to three dimensional Wintgen ideal submanifolds in S^5. In particular we give Moebius characterizations for minimal ones among them, which are also known as (3-dimensional) austere submanifolds (in 5-dimensional space forms).

math.DG↗
arXiv2014

Deformation of Hypersurfaces Preserving the Moebius Metric and a Reduction Theorem

A hypersurface without umbilics in the n+1 dimensional Euclidean space is known to be determined by the Moebius metric and the Moebius second fundamental form up to a Moebius transformation when n>2. In this paper we consider Moebius rigidity for hypersurfaces and deformations of a hypersurface preserving the Moebius metric in the high dimensional case n>3. When the highest multiplicity of principal curvatures is less than n-2, the hypersurface is Moebius rigid. Deformable hypersurfaces and the possible deformations are also classified completely. In addition, we establish a Reduction Theorem characterizing the classical construction of cylinders, cones, and rotational hypersurfaces, which helps to find all the non-trivial deformable examples in our classification with wider application in the future.

math.DG↗