It is known that by dualizing the Bochner–Lichnerowicz–Weitzenböck formula, one obtains Poincaré-type inequalities on Riemannian manifolds equipped with a density, which satisfy the Bakry–Émery Curvature-Dimension condition (combining a lower bound on its generalized Ricci curvature and an upper bound on its generalized dimension). When the manifold has a boundary, an appropriate generalization of the Reilly formula may be used instead. By systematically dualizing this formula for various combinations of boundary conditions of the domain (convex, mean-convex) and the function (Neumann, Dirichlet), we obtain new Brascamp–Lieb-type inequalities on the manifold. All previously known inequalities of Lichnerowicz, Brascamp–Lieb, Bobkov–Ledoux, and Veysseire are recovered, extended to the Riemannian setting and generalized into a single unified formulation, and their appropriate versions in the presence of a boundary are obtained. Our framework allows to encompass the entire class of Borell’s convex measures, including heavy-tailed measures, and extends the latter class to weighted-manifolds having negative generalized dimension.
We prove a new local inequality for divisors on surfaces and utilize it to compute α-invariants of singular del Pezzo surfaces, which implies that del Pezzo surfaces of degree one whose singular points are of type A1 , A2 , A3 , A4 , A5 , or A6 are Kähler-Einstein.
Del Pezzo surface Fano manifold Alpha-invariant of Tian Kähler–Einstein metric Kähler–Ricci iterations Automorphisms
We prove that (Formula presented.) and (Formula presented.) are the smallest log canonical thresholds of reduced plane curves of degree (Formula presented.), and we describe reduced plane curves of degree d whose log canonical thresholds are these numbers. As an application, we prove that (Formula presented.) and (Formula presented.) are the smallest values of the (Formula presented.)-invariant of Tian of smooth surfaces in (Formula presented.) of degree (Formula presented.). We also prove that every reduced plane curve of degree (Formula presented.) whose log canonical threshold is smaller than (Formula presented.) is GIT-unstable for the action of the group (Formula presented.), and we describe GIT-semistable reduced plane curves with log canonical thresholds (Formula presented.).