Abstract:The objective of this paper is two-fold. First, we establish new sharp quantitative estimates for Faber-Krahn inequalities on simply connected space forms. We prove that the gap between the first eigenvalue of a given set $\Omega$ and that of the ball quantitatively controls both the $L^1$ distance of this set from a ball {\it and} the $L^2$ distance between the corresponding eigenfunctions: \[ \lambda_1(\Omega) - \lambda_1(B) \gtrsim |\Omega \Delta B|^2 + \int |u_{\Omega} - u_B|^2, \] where $B$ denotes the nearest geodesic ball to $\Omega$ with $|B|=|\Omega|$ and $u_\Omega$ denotes the first eigenfunction with suitable normalization. On Euclidean space, this extends a result of Brasco-De Phillipis-Velichkov; the eigenfunction control largely builds upon new regularity results for minimizers of critically perturbed Alt-Cafarelli type functionals in our companion paper. On the round sphere and hyperbolic space, the present results are the first sharp quantitative results with respect to any distance; here the local portion of the analysis is based on new implicit spectral analysis techniques. Second, we apply these sharp quantitative Faber-Krahn inequalities in order to establish a quantitative form of the Alt-Caffarelli-Friedman (ACF) monotonicity formula. We show that the energy drop in the ACF monotonicity formula from one scale to the next controls how close a pair of admissible functions is from a pair of complementary half-plane solutions. In particular, when the square root of the energy drop summed over all scales is small, our result implies the existence of tangents (unique blowups) of these functions.

Sharp volume and multiplicity bounds for Fano simplices

On explicit bounds of Fano threefolds

Sharp bounds on the height of K-semistable Fano varieties II, the log case

Explicit Gromov-Hausdorff Compactifications of Moduli Spaces of K\"ahler-Einstein Fano Manifolds

Optimal upper bounds for anti-canonical volumes of singular toric Fano varieties

Sharp bounds on the height of K-semistable Fano varieties I, the toric case

Sharp Degree Bounds for Fake Weighted Projective Spaces

An Effective Upper Bound For Anti-Canonical Volumes Of Singular Fano Threefolds

Anticanonical Volume of Fano 4-Folds

Boundedness of log Fano cone singularities and discreteness of local volumes

Boundedness of weak Fano threefolds with fixed Gorenstein index in positive characteristic

Boundedness of finite morphisms onto Fano manifolds with large Fano index

Generalized F-depth and graded nilpotent singularities

Sharp Polynomial Estimate of Integral Points in Right-Angled Simplices

The volume of random simplices from elliptical distributions in high dimension

Sharp quantitative Faber-Krahn inequalities and the Alt-Caffarelli-Friedman monotonicity formula

Fano varieties with large Seshadri constants

Fano varieties with large pseudoindex and non-free rational curves