For a smooth immersion $F:\mathbb{R}\mathbb{P}^m\looparrowright \overline{\mathbb{B}}^{N}(1)$, we observe that the sharp systolic inequality forces a sharp lower bound on its maximal normal curvature $\kappa(F)$. In dimensions $m=2,3$, the sharp inequalities of Pu and Bray--Brendle--Eichmair--Neves therefore give $\kappa(F)^2\ge \frac{2m}{m+1}$. Equality holds precisely for the Veronese embedding. This recovers Petrunin's theorem for $\mathbb{R}\mathbb{P}^2$ and, for $\mathbb{R}\mathbb{P}^3$, confirms the first open case of his question for real projective spaces.
Let $M^4\hookrightarrow\mathbb S^5(1)$ be a closed CMC hypersurface with constant scalar curvature and constant third power sum $f_3=\sum_{i,j,k}h_{ij}h_{jk}h_{ki}$. We prove that if $M^4$ has exactly two distinct principal curvatures at some point, then it is isoparametric. More precisely, it is a Clifford torus of the form $\mathbb S^1(r)\times\mathbb S^3(\sqrt{1-r^2})$ or $\mathbb S^2(r)\times\mathbb S^2(\sqrt{1-r^2})$, where $0<r<1$. Under the additional Willmore condition, we obtain a complete classification: every closed CMC Willmore hypersurface $M^4\hookrightarrow\mathbb S^5(1)$ with constant scalar curvature is isoparametric. Consequently, it is congruent to a totally umbilic geodesic sphere, the minimal Clifford torus $\mathbb S^2(1/\sqrt2)\times\mathbb S^2(1/\sqrt2)$, the nonminimal Clifford torus $\mathbb S^1(\sqrt3/2)\times\mathbb S^3(1/2)$, or a Cartan minimal hypersurface. The proofs combine trace-free local tensor identities, an algebraic analysis of the possible principal curvature multiplicities, and a weighted differential $3$-form together with a cut-off argument near the set where principal curvatures coalesce. No sign condition on the scalar curvature is imposed.
For any oriented smooth $4$--manifold $X$ diffeomorphic to $(S^2\times D^2)^{\natural n}$ ($n\geq0$), the author establishes a natural isomorphism of abelian groups: $$\mathrm{Mod}(X,\partial X)\cong \mathrm{Mod}(D^4,\partial D^4)\times\wedge^2H_2(X;\mathbb{Z}),$$ concerning the (smooth) boundary-fixing mapping class group of $X$. For $n=2$, the Budney--Gabai barbell twist $\varphi\in\mathrm{Mod}(\mathcal{N},\partial\mathcal{N})$ is identified with a generator of the factor subgroup $\wedge^2H_2(\mathcal{N};\mathbb{Z})\cong\mathbb{Z}$. Up to boundary-fixing diffeotopy, the barbell spines of $\mathcal{N}$ are completely classified by the bases of $H_2(\mathcal{N};\mathbb{Z})\cong\mathbb{Z}^2$, forming a homogeneous set modeled on the group $\mathrm{GL}(H_2(\mathcal{N};\mathbb{Z}))\cong\mathrm{GL}(2,\mathbb{Z})$. Any barbell spine of $\mathcal{N}$ gives rise to an implanted barbell twist equal to $\varphi$ or $\varphi^{-1}$ in $\mathrm{Mod}(\mathcal{N},\partial \mathcal{N})$, according to the sign of the homological basis orientation.
Let $(M^3, g_{\mathrm{hyp}})$ be a closed oriented hyperbolic three-manifold normalized so that $\operatorname{sec}_{g_{\mathrm{hyp}}} \equiv -1$. We prove a sharp lower bound for the volume of hypersurfaces in $M^3 \times \mathbb{S}^1$ representing the slice class $[M^3 \times \{ \mathrm{pt} \}] \in H_3(M^3 \times \mathbb{S}^1; \mathbb{Z})$, and we classify the equality case. If $g$ is a smooth Riemannian metric on $M^3 \times \mathbb{S}^1$ with the scalar curvature $\operatorname{Sc}_g \geq -6$, then every closed embedded hypersurface $\Sigma$ representing the slice class $[M^3\times\{\mathrm{pt}\}]$ satisfies $\operatorname{vol}_g(\Sigma) \geq \operatorname{vol}_{g_{\mathrm{hyp}}}(M^3)$. The bound is attained by the product metric $g_{\mathrm{hyp}}+h$, with $h$ any metric on $\mathbb{S}^1$. Conversely, if equality holds for some $\Sigma$, then up to a diffeomorphism preserving the slice class, $g=g_{\mathrm{hyp}}+h$ and $\Sigma = M^3 \times \{\mathrm{pt}\}$.
Lawson showed that a non-totally geodesic Einstein minimal hypersurface in $\mathbb S^5$ is congruent to the Clifford hypersurface $\mathbb S^2(1/\sqrt2)\times \mathbb S^2(1/\sqrt2).$ It is also known, by work of Cartan and \^{O}tsuki, that a non-totally geodesic locally conformally flat minimal hypersurface in $\mathbb S^5$ is of \^{O}tsuki type, including the Clifford hypersurface $\mathbb S^1(1/2)\times \mathbb S^3(\sqrt3/2).$ In this paper we study closed minimal hypersurfaces $M$ in $\mathbb S^5$ satisfying $|W|^2=2|\mathring{\operatorname{Ric}}|^2,$ where $W$ is the Weyl tensor and $\mathring{\operatorname{Ric}}$ is the trace-free Ricci tensor. We call this the Euler-balanced condition. We prove that such a hypersurface is either totally geodesic or congruent to the Cartan minimal hypersurface.
Let $F:M^n\to\Sn^{n+q}(1)$ be a closed connected minimal immersion in the unit sphere with second fundamental form $h$, $n\ge3$, $q\ge2$, and $S=|h|^2$. We prove that if $M$ is not totally geodesic, then \[ \max_M S\ge \frac{2n}{3}+\frac{n-2}{6300(39n+8)} \ge\frac{2n}{3}+\frac1{787500}. \]
Let $f:M^n\looparrowright\Sph^{n+q}(1)$, $n\ge2$ and $q\ge1$, be a closed, connected, non-totally-geodesic minimal immersion with second fundamental form $h$, and put $S=|h|^2$ and $S_*=\max_M S$. If $p\in f(M)$ has multiplicity $m$ and $f^{-1}(p)=\{x_1,\ldots,x_m\}$, then \[ \Vol(M)\ge \left[m+\varepsilon_n\sum_{j=1}^m \left(\frac{S(x_j)}{S_*}\right)^2\right]\Vol(\Sph^n), \] where $[110n(n+2)^2]^{-1}<\varepsilon_n<[104n(n+2)^2]^{-1}$. If the immersion is linearly full, then \[ \frac{\Vol(M)}{\Vol(\Sph^n)} \ge \max\!\left\{1+\varepsilon_n, \frac{4(n+1)^n}{(n+3)^{n+2}}(n+q+1)\right\}. \] Moreover, for every hyperplane $H$ through the origin, each connected component of $M\setminus f^{-1}(H)$ has volume at least $4(n+1)^n(n+3)^{-n-2}\Vol(\Sph^n)$; consequently the number of components is at most $\frac{(n+3)^{n+2}}{4(n+1)^n}\frac{\Vol(M)}{\Vol(\Sph^n)}$.
Jianquan Ge, Fagui Li· 1 citation
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
