SearcharxivSearch

arXiv subjects

Jonas W. Peteranderl

Publications and source records attributed to Jonas W. Peteranderl.

8 recordsLinked to original sources

The sharp $σ_k$-curvature inequality on locally conformally flat manifolds in quantitative form

Let $2\leq k<n/2$ and let $(M^n,[g])$ be a smooth, closed, connected, and locally conformally flat Riemannian manifold with a $k$-admissible metric in the conformal class $[g]$. We prove a stability result of the $σ_k$-curvature inequality on $M$, in the sense that if equality is almost satisfied for some conformal metric, then its conformal factor is close to a minimizer of the inequality. Closeness is measured quantitatively in terms of Sobolev norms of the conformal factor, namely with respect to the $W^{1,2}$- and the $W^{1,2k}$-norm. In the non-degenerate case, these norms come with optimal exponents $2$ and $2k$, respectively, whereas in general the exponents are $2+γ$ and $\max\{2k,2+γ\}$ for some $γ\geq 0$ originating from a Łojasiewicz inequality. This extends a previous result by Frank and the author from $k=2$ and the sphere to $2\leq k<n/2$ and the full class of manifolds originally considered by Viaclovsky. It also extends a previous result by Engelstein--Neumayer--Spolaor from $k=1$ to the setting of fully non-linear scalar curvatures.

math.DG

Linear isoperimetric filling inequalities in Hadamard spaces at and above the asymptotic rank

Reformulated in terms of the asymptotic rank, a conjecture by Gromov predicts a linear isoperimetric filling inequality in all dimensions greater than or equal to the asymptotic rank of a Hadamard space, in contrast to the Euclidean-type nonlinear behavior below this threshold. We prove the predicted linear inequality for Hadamard spaces with finite asymptotic Nagata dimension and finite asymptotic rank. More precisely, every integral cycle of dimension at or above the asymptotic rank admits a filling whose mass is bounded linearly in the mass of the cycle. Our proof is based on a new self-improvement mechanism for Wenger's sub-Euclidean growth theorem. This approach upgrades the asymptotic rank-one result by Wenger and the recent asymptotic rank-two result by Lang, Stadler, and Urech from exponents arbitrarily close to one to the optimal linear exponent. Moreover, the result extends to arbitrary finite asymptotic ranks.

math.MG

Hausdorff-type metric geometry of the space of Cauchy hypersurfaces

We equip the space of Cauchy hypersurfaces in a globally hyperbolic spacetime with a natural Hausdorff-type metric. For a timelike Cauchy complete, smooth Lorentzian manifold with a compact Cauchy hypersurface, we show that the resulting metric space is geodesic and proper. We further discuss extensions to more general synthetic Lorentzian settings. For this purpose, we generalize results on completeness properties of spacetimes due to Beem and Takahashi.

math.DG

Quantitative Lorentzian isoperimetric inequalities in conical Minkowski spacetimes

We establish optimal stability estimates in terms of the Fraenkel asymmetry with universal dimensional constants for a Lorentzian isoperimetric inequality due to Bahn and Ehrlich and, as a consequence, for a special version of a Lorentzian isoperimetric inequality due to Cavalletti and Mondino. For the Bahn--Ehrlich inequality the Fraenkel asymmetry enters the stability result quadratically like in the Euclidean case while for the Cavalletti--Mondino inequality the Fraenkel asymmetry enters linearly. As it turns out, refining the latter inequality through an additional geometric term allows us to recover the more common quadratic stability behavior. Along the way, we provide simple, self-contained proofs for the above isoperimetric-type inequalities. Moreover, in a fixed conical Minkowski spacetime, we use a Lipschitz bound, naturally provided by the causal structure, to upgrade our quantitative control to a Hausdorff stability estimate. This estimate is formulated in terms of a distance defined by Bahn and Ehrlich, which restricts to a natural Hausdorff-type metric on the space of Cauchy hypersurfaces.

math.DG

An almost-almost-Schur lemma on the 3-sphere

In the conformal class of the standard metric on the $3$-sphere, we prove a quantitative refinement of the Andrews-De Lellis-Topping inequality in terms of a two-term distance to the set of minimizing conformal factors. This inequality is itself a stability result for the well-known Schur lemma and is therefore referred to as almost-Schur lemma. Hence, our stability result may be viewed as an almost-almost-Schur lemma. As a consequence, we deduce via interpolation the quantitative stability of an entire family of nonlinear Yamabe-type inequalities, including an inequality for the total volume-normalized $σ_2$-curvature $\mathcal F_2$. This extends a recent result by Frank and the second author for $d > 4$ to the case $d=3$. While the standard metric minimizes $\mathcal F_2$ if $d > 4$, it maximizes $\mathcal F_2$ if $d=3$. This is the main challenge in treating the case $d=3$ as it turns the related functional inequality into a reverse Sobolev-type inequality.

math.AP

Sharp quantitative integral inequalities for harmonic extensions

We prove a quantitative version of a sharp integral inequality by Hang, Wang, and Yan for both the Poisson operator and its adjoint. Our result has the strongest possible norm and the optimal stability exponent. This stability exponent is not necessarily equal to 2, displaying the same phenomenon that Figalli and Zhang observed for the $p$-Sobolev inequality.

math.AP

The sharp $σ_2$-curvature inequality on the sphere in quantitative form

Among all metrics on $\mathbb S^d$ with $d>4$ that are conformal to the standard metric and have positive scalar curvature, the total $σ_2$-curvature, normalized by the volume, is uniquely (up to Möbius transformations) minimized by the standard metric. We show that if a metric almost minimizes, then it is almost the standard metric (up to Möbius transformations). This closeness is measured in terms of Sobolev norms of the conformal factor, and we obtain the optimal stability exponents for two different notions of closeness. This is a stability result for an optimization problem whose Euler-Lagrange equation is fully nonlinear.

math.AP

Degenerate Stability of the Caffarelli-Kohn-Nirenberg Inequality along the Felli-Schneider Curve

We show that the Caffarelli-Kohn-Nirenberg (CKN) inequality holds with a remainder term that is quartic in the distance to the set of optimizers for the full parameter range of the Felli-Schneider (FS) curve. The fourth power is best possible. This is due to the presence of non-trivial zero modes of the Hessian of the deficit functional along the FS-curve. Following an iterated Bianchi-Egnell strategy, the heart of our proof is verifying a `secondary non-degeneracy condition'. Our result completes the stability analysis for the CKN-inequality to leading order started by Wei and Wu. Moreover, it is the first instance of degenerate stability for non-constant optimizers and for a non-compact domain.

math.AP