Related papers: Optimal regularity of plurisubharmonic envelopes o…

We study continuity, H\"older regularity, and $C^{1,1}$-regularity of geodesics between continuous plurisubharmonic functions on bounded domains of $\mathbb{C}^n$. We then derive regularity properties of rooftop envelopes.

We prove that quasi-plurisubharmonic envelopes with prescribed analytic singularities in suitable big cohomology classes on compact K\"ahler manifolds have the optimal $C^{1,1}$ regularity on a Zariski open set. This also proves regularity…

In this note we investigate the regularity of geodesics in the space of convex and plurisubharmonic functions. In the real setting we prove (optimal) local C^{1,1} regularity. We construct examples which prove that the global C^{1,1}…

We study the plurisubharmonic envelopes of functions in the setting of domains in $\mathbb C^n$. In particular we prove a complex analogue of a result of De Philippis and Figalli concerning the optimal regularity of such envelopes in smooth…

We introduce different classical characteristics used to regularize a subharmonic function and compare them. As an application we give a complete proof of a useful characterization of the modulus of continuity of such functions in terms of…

In this paper, we prove a $C^{1,1}$ estimate for solutions of complex Monge-Amp\`{e}re equations on compact almost Hermitian manifolds. Using this $C^{1,1}$ estimate, we show existence of $C^{1,1}$ solutions to the degenerate…

We prove the optimal $C^{1,1}$ regularity of the volume function on the big cone of a projective manifold, and investigate its regularity when restricted to segments moving in ample directions.

The goal of this work is to prove the regularity of certain quasi-plurisubharmonic upper envelopes. Such envelopes appear in a natural way in the construction of hermitian metrics with minimal singularities on a big line bundle over a…

Let $(X,\omega)$ be a compact Hermitian manifold of dimension $n$. We show that all $(\omega,m)$-subharmonic functions are $L^p$ integrable on $X$, for any $p < \frac{n}{n-m}$.

We prove a formula for the normal injectivity radius(thickness)i(K,M)for C^{1,1} compact submanifolds K^k of complete Riemannian manifolds M^n in terms of geometric focal distance and double critical points. We also prove the C^1…

We prove that the maximum of two smooth strictly plurisubharmonic functions on an almost complex manifold can be uniformly approximated by smooth strictly plurisubharmonic functions.

We give a geometric condition on a compact subset of a complex manifold which is necessary and sufficient for the existence of a smooth strictly plurisubharmonic function defined in a neighbourhood of this set.

We prove a $C^{1,1}$ estimate for solutions of complex Monge-Amp\`ere equations on compact K\"ahler manifolds with possibly nonempty boundary, in a degenerate cohomology class. This strengthens previous estimates of Phong-Sturm. As…

We prove the $C^{1,1}$-regularity for stationary $C^{1,\alpha}$ ($\alpha\in(0,1)$) solutions to the multiple membrane problem. This regularity estimate was essentially used in our recent work on Yau's four minimal spheres conjecture.

This article studies the smoothness of conformal mappings between two Riemannian manifolds whose metric tensors have limited regularity. We show that any bi-Lipschitz conformal mapping or $1$-quasiregular mapping between two manifolds with…

We establish the plurisubharmonicity of the envelope of the Poisson functional on almost complex manifolds. That is, we generalize the corresponding result for complex manifolds and almost complex manifolds of complex dimension two.

Given a pseudo-Riemannian metric of regularity $C^{1,1}$ on a smooth manifold, we prove that the corresponding exponential map is a bi-Lipschitz homeomorphism locally around any point. We also establish the existence of totally normal…

We prove the equivalence of several natural notions of conformal maps between sub-Riemannian manifolds. Our main contribution is in the setting of those manifolds that support a suitable regularity theory for subelliptic $p$-Laplacian…

We derive an a priori real Hessian estimate for solutions of a large family of geometric fully non-linear elliptic equations on compact Hermitian manifolds, which is independent of a lower bound for the right-hand side function. This…

We show that in $\mathbb{C}^2$ if the set of strongly regular points are closed in the boundary of a smooth bounded pseudoconvex domain, then the domain is c-regular, that is, the plurisubharmonic upper envelopes of functions continuous up…