• ### Complex interpolation of $\mathbb{R}$-norms, duality and foliations(1607.06306)

March 27, 2019 math.FA, math.CV
The complex method of interpolation, going back to Calder\'on and Coifman et al., on the one hand, and the Alexander-Wermer-Slodkowski theorem on polynomial hulls with convex fibers, on the other hand, are generalized to a method of interpolation of real (finite-dimensional) Banach spaces and of convex functions. The underlying duality in this method is given by the Legendre transform. Our results can also be interpreted as new properties of solutions of the homogeneous complex Monge-Amp\ere equation.
• ### Superforms, supercurrents, minimal manifolds and Riemannian geometry(1805.00379)

May 1, 2018 math.DG, math.CV
Supercurrents, as introduced by Lagerberg, were mainly motivated as a way to study tropical varieties. Here we will associate a supercurrent to any smooth submanifold of $\R^n$. Positive supercurrents resemble positive currents in complex analysis, but depend on a choice of scalar product on $\R^n$ and reflect the induced Riemannian structure on the submanifold. In this way we can use techniques from complex analysis to study real submanifolds. We illustrate the idea by giving area estimates of minimal manifolds and a relatively short proof of Weyl's tube formula.
• ### Algebraic fiber spaces and curvature of higher direct images(1704.02279)

Aug. 22, 2019 math.DG
In this article we are interested in the differential geometric properties of certain higher direct images of exterior powers of the sheaf of relative differentials twisted with a line bundle. We obtain explicit curvature formulas, especially in case where the said line bundle satisfies a natural curvature assumption. Several applications are obtained, including a proof of a result by Viehweg-Zuo in the context of a canonically polarized family of maximal variation.
• ### Lelong numbers and vector bundles(1708.06972)

Aug. 23, 2017 math.AG, math.CV
We study Lelong numbers and integrability indices for $S^1$-invariant singular metrics on vector bundles over the disk.
• ### Complex Legendre duality(1608.05541)

Aug. 19, 2016 math.DG, math.CV
We introduce complex generalizations of the classical Legendre transform, operating on K\"ahler metrics on a compact complex manifold. These Legendre transforms give explicit local isometric symmetries for the Mabuchi metric on the space of K\"ahler metrics around any real analytic K\"ahler metric, answering a question originating in Semmes' work.
• ### A Brunn-Minkowski type inequality for Fano manifolds and some uniqueness theorems in K\"ahler geometry(1303.4975)

April 16, 2015 math.DG, math.CV
For $\phi$ a metric on the anticanonical bundle, $-K_X$, of a Fano manifold $X$ we consider the volume of $X$ $$\int_X e^{-\phi}.$$ We prove that the logarithm of the volume is concave along bounded geodesics in the space of positively curved metrics on $-K_X$ and that the concavity is strict unless the geodesic comes from the flow of a holomorphic vector field on $X$. As a consequence we get a simplified proof of the Bando-Mabuchi uniqueness theorem for K\"ahler - Einstein metrics. A generalization of this theorem to 'twisted' K\"ahler-Einstein metrics and some classes of manifolds that satisfy weaker hypotheses than being Fano is also given. We moreover discuss a generalization of the main result to other bundles than $-K_X$, and finally use the same method to give a new proof of the theorem of Tian and Zhu of uniqueness of K\"ahler-Ricci solitons. This is an expanded version of an earlier preprint, "A Brunn-Minkowski type inequality for Fano manifolds and the Bando-Mabuchi uniqueness theorem", arXiv:1103.0923
• ### Convexity of the K-energy on the space of Kahler metrics and uniqueness of extremal metrics(1405.0401)

Jan. 26, 2015 math.DG, math.CV
We establish the convexity of Mabuchi's K-energy functional along weak geodesics in the space of Kahler potentials on a compact Kahler manifold thus confirming a conjecture of Chen and give some applications in Kahler geometry, including a proof of the uniqueness of constant scalar curvature metrics (or more generally extremal metrics) modulo automorphisms. The key ingredient is a new local positivity property of weak solutions to the homogenuous Monge-Ampere equation on a product domain, whose proof uses plurisubharmonic variation of Bergman kernels.
• ### A comparison principle for Bergman kernels(1501.02440)

Jan. 11, 2015 math.DG, math.CV
We give a version of the comparison principle from pluripotential theory where the Monge-Amp\ere measure is replaced by the Bergman kernel and use it to derive a maximum principle
• ### A proof of the Ohsawa-Takegoshi theorem with sharp estimates(1407.4946)

July 18, 2014 math.AG, math.CV
We show how ideas from \cite{2Blocki} and \cite{3Blocki} to prove the Suita conjecture can be adapted to give a proof of the Ohsawa-Takegoshi extension theorem with sharp estimates.
• ### The openness conjecture and complex Brunn-Minkowski inequalities(1405.0989)

May 5, 2014 math.AG, math.CV
We discuss recent versions of the Brunn-Minkowski inequality in the complex setting, and use it to prove the openness conjecture of Demailly and Koll\'ar.
• ### The openness conjecture for plurisubharmonic functions(1305.5781)

May 24, 2013 math.AG, math.CV
We give a proof of the openness conjecture of Demailly and Koll\'ar.
• ### The openness conjecture for projective manifolds(1305.0544)

May 12, 2013 math.AG, math.CV
We give a proof of the openness conjecture of Demailly and Koll\'ar for positively curved singular metrics on ample line bundles over projective varieties. As a corollary it follows that the openness conjecture for plurisubharmonic functions with isolated sigularities holds.
• ### Symmetrization of plurisubharmonic and convex functions(1204.0931)

Oct. 28, 2012 math.FA, math.CV
We show that Schwarz symmetrization does not increase the Monge-Ampere energy for $S^1$-invariant plurisubharmonic functions in the ball. As a result we derive a sharp Moser-Trudinger inequality for such functions. We also show that similar results do not hold for general balanced domains except for complex ellipsoids and discuss related questions for convex functions.
• ### Real Monge-Ampere equations and Kahler-Ricci solitons on toric log Fano varieties(1207.6128)

July 25, 2012 math.DG, math.AP, math.CV
We show, using a direct variational approach, that the second boundary value problem for the Monge-Amp\ere equation in R^n with exponential non-linearity and target a convex body P is solvable iff 0 is the barycenter of P. Combined with some toric geometry this confirms, in particular, the (generalized) Yau-Tian-Donaldson conjecture for toric log Fano varieties (X,D), saying that (X,D) admits a (singular) K\"ahler-Einstein metric iff it is K-stable in the algebro-geometric sense. We thus obtain a new proof and extend to the log Fano setting the seminal result of Zhou-Wang concerning the case when X is smooth and D is trivial. Li's toric formula for the greatest lower bound on the Ricci curvature is also generalized. More generally, we obtain K\"ahler-Ricci solitons on any log Fano variety and show that they appear as the large time limit of the K\"ahler-Ricci flow. Furthermore, using duality, we also confirm a conjecture of Donaldson concerning solutions to Abreu's boundary value problem on the convex body P. in the case of a given canonical measure on the boundary of P.
• ### The volume of K\"ahler-Einstein Fano varieties and convex bodies(1204.1308)

April 5, 2012 math.DG
We show that the complex projective space has maximal degree (volume) among all n-dimensional Kahler-Einstein Fano manifolds admitting a holomorphic C^*-action with a finite number of fixed points. The toric version of this result, translated to the realm of convex geometry, thus confirms Ehrhart's volume conjecture for a large class of rational polytopes, including duals of lattice polytopes. The case of spherical varieties/multiplicity free symplectic manifolds is also discussed. The proof uses Moser-Trudinger type inequalities for Stein domains and also leads to criticality results for mean field type equations in C^n of independent interest. The paper supersedes our previous preprint concerning the case of toric Fano manifolds.
• ### The projective space has maximal volume among all toric K\"ahler-Einstein manifolds(1112.4445)

Dec. 19, 2011 math.DG
We prove a conjecture saying that complex projective space has maximal volume (degree) among all toric Kaehler-Einstein manifolds of dimension n. The proof is inspired by our recent work on sharp Moser-Trudinger and Brezis-Merle type inequalities for the complex Monge-Ampere operator, but is essentially self-contained.
• ### Moser-Trudinger type inequalities for complex Monge-Amp\ere operators and Aubin's "hypoth\ese fondamentale"(1109.1263)

Sept. 6, 2011 math.DG, math.CV
We prove Aubin's "Hypothese fondamentale" concerning the existence of Moser-Trudinger type inequalities on any integral compact K\"ahler manifold X. In the case of the anti-canonical class on a Fano manifold the constants in the inequalities are shown to only depend on the dimension of X (but there are counterexamples to the precise value proposed by Aubin). In the different setting of pseudoconvex domains in complex space we also obtain a quasi-sharp version of the inequalities and relate it to Brezis-Merle type inequalities. The inequalities are shown to be sharp for S^{1}-invariant functions on the unit-ball. We give applications to existence and blow-up of solutions to complex Monge-Amp\ere equations of mean field (Liouville) type.
• ### A Brunn-Minkowski type inequality for Fano manifolds and the Bando-Mabuchi uniqueness theorem(1103.0923)

April 29, 2011 math.DG, math.CV
For $\phi$ a metric on the anticanonical bundle, $-K_X$, of a Fano manifold $X$ we consider the volume of $X$ $$\int_X e^{-\phi}.$$ We prove that the logarithm of the volume is concave along continuous geodesics in the space of positively curved metrics on $-K_X$ and that the concavity is strict unless the geodesic comes from the flow of a holomorphic vector field on $X$. As consequences we get a simplified proof of the Bando-Mabuchi uniqueness theorem for K\"ahler - Einstein metrics and a generalization of this theorem to 'twisted' K\"ahler-Einstein metrics.
• ### $L^2$-extension of $\dbar$-closed forms(1104.4620)

April 24, 2011 math.AG, math.CV
Generalizing and strengthening a recent result of Koziarz, we prove a version of the Ohsawa-Takegoshi-Manivel theorem for $\dbar$-closed forms.
• ### Strict and non strict positivity of direct image bundles(1002.4797)

Aug. 30, 2010 math.DG, math.AG
This paper is a sequel to \cite{Berndtsson}. In that paper we studied the vector bundle associated to the direct image of the relative canonical bundle of a smooth K\"ahler morphism, twisted with a semipositive line bundle. We proved that the curvature of a such vector bundles is always semipositive (in the sense of Nakano). Here we adress the question if the curvature is strictly positive when the Kodaira-Spencer class does not vanish. We prove that this is so provided the twisting line bundle is stricty positive along fibers, but not in general.
• ### Quantitative extensions of pluricanonical forms and closed positive currents(1002.4537)

Feb. 24, 2010 math.AG
In this article we establish several Ohsawa-Takegoshi type theorems for twisted pluricanonical forms and metrics of adjoint $\bR$-bundles.
• ### Bergman kernels and subadjunction(1002.4145)

Feb. 22, 2010 math.AG
In this article our main result is a more complete version of the statements obtained in {\rm [6]}. One of the important technical point of our proof is an $\displaystyle L^{2\over m}$ extension theorem of Ohsawa-Takegoshi type, which is derived from the original result by a simple fixed point method. Moreover, we show that these techniques combined with an appropriate form of the"invariance of plurigenera" can be used in order to obtain a new proof of the celebrated Y. Kawamata subadjunction theorem.
• ### Probability measures related to geodesics in the space of K\"ahler metrics(0907.1806)

July 11, 2009 math.DG, math.CV
We associate certain probability measures on $\R$ to geodesics in the space $\H_L$ of positively curved metrics on a line bundle $L$, and to geodesics in the finite dimensional symmetric space of hermitian norms on $H^0(X, kL)$. We prove that the measures associated to the finite dimensional spaces converge weakly to the measures related to geodesics in $\H_L$ as $k$ goes to infinity. The convergence of second order moments implies a recent result of Chen and Sun on geodesic distances in the respective spaces, while the convergence of first order moments gives convergence of Donaldson's $Z$-functional to the Aubin-Yau energy. We also include a result on approximation of infinite dimensional geodesics by Bergman kernels which generalizes work of Phong and Sturm.
• ### Positivity of direct image bundles and convexity on the space of Kahler metrics(math/0608385)

Sept. 23, 2008 math.DG, math.CV
We develop some results on the positivity of direct image bundles in the particular case of a trivial fibration over a one-dimensional base. We also apply the results to study variations of Kahler metrics.
• ### An extension problem for convex functions(0806.1435)

June 9, 2008 math.FA
We give a statement on extension with estimates of convex functions defined on a linear subspace, inspired by similar extension results concerning metrics on positive line bundles