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 consider an inverse problem for Laplacians on rotationally symmetric manifolds, which are finite for the transversal direction and periodic with respect to the axis of the manifold, i.e., Laplacians on tori. We construct an infinite dimensional analytic isomorphism between the space of profiles (the radius of the rotation) of the torus and the spectral data as well as the stability estimates: those for the spectral data in terms of the profile and conversely, for the profile in term of the spectral data.
We study several of the recent conjectures in regards to the role of symmetry in the inequalities of Brunn-Minkowski type, such as the Lp-Brunn-Minkowski conjecture of Böröczky, Lutwak, Yang and Zhang, and the Dimensional Brunn-Minkowski conjecture of Gardner and Zvavitch, in a unified framework. We obtain several new results for these conjectures. We show that when K⊂L, the multiplicative form of the Lp-Brunn-Minkowski conjecture holds for Lebesgue measure for p≥1−Cn−0.75, which improves upon the estimate of Kolesnikov and Milman in the partial case when one body is contained in the other. We also show that the multiplicative version of the Lp-Brunn-Minkowski conjecture for the standard Gaussian measure holds in the case of sets containing sufficiently large ball (whose radius depends on p). In particular, the Gaussian Log-Brunn-Minkowski conjecture holds when K and L contain 0.5(n+1)−−−−−−−−√Bn2. We formulate an a-priori stronger conjecture for log-concave measures, extending both the Lp-Brunn-Minkowski conjecture and the Dimensional one, and verify it in the case when the sets are dilates and the measure is Gaussian. We also show that the Log-Brunn-Minkowski conjecture, if verified, would yield this more general family of inequalities. Our results build up on the methods developed by Kolesnikov and Milman as well as Colesanti, Livshyts, Marsiglietti. We furthermore verify that the local version of these conjectures implies the global version in the setting of general measures, and this step uses methods developed recently by Putterman
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.).