We establish the rigidity statement in the equality case of the hyperspherical-radius inequality of Brendle, Tsiamis, and Wang for compact spin fill-ins with scalar curvature bounded below. More precisely, let $(M^{n\geq 3},g)$ be a compact, connected Riemannian spin manifold having a connected boundary $\Sigma$ and scalar curvature satisfying $\mathrm{scal}_g\geq -n(n-1)$. We prove that equality in the upper bound \[ \inf_{\Sigma}H\leq (n-1)\sqrt{1+\operatorname{Rad}(\Sigma)^{-2}} \] given by Brendle, Tsiamis, and Wang holds if and only if $(M,g)$ is isometric to a geodesic ball in hyperbolic space.
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 $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}. \]
We study volume comparison for closed Riemannian manifolds satisfying a positive Ricci curvature lower bound together with an improved scalar curvature lower bound. Using an integral extension of the finite shuffling comparison for scalar Jacobi solutions due to Brown and Freedman \cite{BrownFreedman2022}, we prove that if a closed Riemannian manifold $(N^n, g)$ satisfies $\operatorname{Ric}_g\ge (n-1)g$ and the scalar curvature $R_g\ge n(n-1)(1+\varepsilon)$, then its volume satisfies $$\lvert N\rvert_g \le \frac{1}{\sqrt{1+n\varepsilon}}\lvert\mathbb S^n\rvert. $$ In fact, assuming only $\mathrm{Ric}_g\ge(n-1)g$, we can prove that $$\frac{|N|_g}{\left|\mathbb{S}^n\right|} \le \frac{1}{|N|_g} \int_N\left(\frac{R_g}{n-1}-(n-1)\right)^{-\frac{1}{2}} d \mathrm{vol}_g. $$ The equality holds if and only if $N$ is isometric to the unit sphere. The proof combines a coefficient-adapted Jacobian comparison with the integral shuffling comparison. This yields an estimate that retains the full Ricci spectrum. The resulting volume bound agrees to first order in $\varepsilon$ with the factor predicted by Bray's conjecture. A further consequence of the argument is an averaged volume comparison for metric balls involving the scalar curvature.
Let $n\ge3$ and let $h:\A(r,1)\to\A(R,1)\subset\mathbb R^n$ be an onto homeomorphism with harmonic coordinate functions. We prove the sharp Nitsche bound \[ R\le R_{n,+}(r):=\frac{nr}{n-1+r^n}, \] and, when $h$ interchanges the two ends, the strictly stronger sharp bound \[ R\le R_{n,-}(r):=\frac{nr^{n-1}}{1+(n-1)r^n}. \] Both critical cases are rigid: equality forces, up to an orthogonal transformation, the corresponding end-preserving or end-reversing radial harmonic homeomorphism. No continuous extension to the closed annulus, boundary homeomorphism, boundary Jacobian, or sign condition on the Jacobian is assumed. The proof converts the nonzero degree of each interior direction map into a probability coupling and establishes a sharp contraction principle for vector measures under positive zonal kernels, using the strict concavity of spherical-cap barycenters. At either critical value, a second-order endpoint defect forces equality for a limiting transfer kernel, whose equality classification yields an orthogonal coupling graph. The remaining trace is locked by a Dirichlet-to-Neumann spectral gap in the end-preserving case and by endpoint H\"older regularity and uniform convergence of the direction maps in the end-reversing case.
Bing Deng, Jiahuan Li, Yilu Liu et al.· 0 citations
We prove a third-order derivative estimate for convex solutions to the real Monge-Amp\`ere equation ${\rm det}\,{\rm Hess}(u) = 1$ on an open set in $\mathbb{R}^{2m}$ under the additional assumption that ${\rm Hess}(u)$ lies in ${\rm Sp}(2m,\mathbb{R})$ at every point. Our method is a geometric interpretation and extension to higher dimensions of Nitsche's classical proof of the Bernstein theorem for the real Monge-Amp\`ere equation on $\mathbb{R}^2$. For $m = 1$ we also improve Nitsche's constant as well as some estimates due to Calabi, and we construct examples of solutions with interesting geometric behavior.
Let $M^3\to X^4$ be a complete, connected, two-sided stable minimal immersion. We prove that if the ambient sectional curvature is nonnegative and the ambient scalar curvature has a positive uniform lower bound, then $M$ is totally geodesic and its normal Ricci curvature vanishes. No weak bounded geometry assumption and no upper curvature bound are imposed. We also construct a complete metric of strictly positive sectional curvature on $\mathbb{R}^4$ admitting a complete, embedded, one-ended, nonparabolic, two-sided stable minimal hypersurface diffeomorphic to $\mathbb{R}^3$ which is not totally geodesic. The rigidity proof combines spectral splitting theory, a warped $\mu$-bubble construction, and a harmonic function level set argument. The example is obtained by a compactly supported deformation of an example in \cite{CLS}.