Let $\Omega\subset\mathbb R^n$ be a bounded convex domain that is thin around a chosen diameter segment. We compare its Neumann spectrum with the spectrum of that segment weighted by the $(n-1)$-dimensional volumes of its perpendicular sections. We prove an $O(\varepsilon^2)$ comparison of the mean-zero inverse operators and, consequently, an $O(\varepsilon^2)$ eigenvalue comparison for every fixed index in every dimension $n\ge2$. The constants depend only on the dimension and the eigenvalue index. Thin rectangles show that the quadratic exponent is optimal.
For $n\leq 18$, we prove that any smooth immersion of the $n$-torus into the closed unit ball in $\mathbb R^q$ has a point at which the spherical average of $\lvert II(v,v)\rvert^2$ is at least $3n/(n+2)$. This answers a question of Petrunin in these dimensions. The proof combines the scalar curvature obstruction for t...
Let $D\subset\mathbb{R}^n$, $n\ge2$, be a bounded convex domain, and let $u_D$ be the torsion function for the restricted half-Laplacian. We prove that $D^2u_D$ is negative definite at every point of $D$. The argument is based on the reflected harmonic extension in a slit domain. Quantitative Schauder estimates in slit...
Let $(M^n,g)$ be a complete connected noncompact smooth Riemannian manifold without boundary, with $n\ge3$ and positive scalar curvature. We prove that $M$ admits a complete smooth metric of uniformly positive scalar curvature if $$ \liminf_{d_g(o,x)\to\infty}d_g(o,x)^2R_g(x)>\frac{n-1}{n} $$ for a fixed point $o\in M$...
We prove a sharp comparison, with Obata-type rigidity, for all Neumann eigenvalues of one-dimensional $\mathrm{CD}(1,2)$ spaces against the Legendre model, under a convexity condition on the density. It follows that minimizers of the $k$-th Laplace eigenvalue among closed surfaces of Gaussian curvature at least $1$ can...
We prove dimension-free higher-order Sobolev norm estimates on open convex subsets of $\mathbb{R}^n$ with respect to Gaussian measure and use them to obtain norm equivalence on nonempty open convex subsets of $\ell^2$ endowed with a nondegenerate Gaussian measure. To the best of our knowledge, this is the first such eq...
For $n\ge2$, we prove a quantitative centre-rigidity estimate for bounded sets of finite Riemannian perimeter that are stationary and volume-constrained stable for normalized Riemannian perimeter with prescribed curvature $h_j$. Under confinement to a fixed compact set and cutoffs of vanishing full surface Dirichlet en...
