Damin Wu

Henri Guenancia

On the boundary behavior of Kähler-Einstein metrics on log canonical pairs

In this paper, we study the boundary behavior of the negatively curved Kähler-Einstein metric attached to a log canonical pair (X, D) such that K X + D is ample. In the case where X is smooth and D has simple normal crossings support (but possibly negative coefficients), we provide a very precise estimate on the potential of the KE metric near the boundary D. In the more general singular case (D being assumed effective though), we show that the KE metric has mixed cone and cusp singularities near D on the snc locus of the pair. As a corollary, we derive the behavior in codimension one of the KE metric of a stable variety.

Introduction

This paper studies negatively curved Kähler-Einstein metrics on quasi-projective manifolds. This is of course a very broad topic which has witnessed a lot of developments since the foundational works of Aubin, Yau [START_REF] Aubin | Équations du type Monge-Ampère sur les variétés Kählériennes compactes[END_REF][START_REF]On the Ricci curvature of a compact Kähler manifold and the complex Monge-Ampère equation. I[END_REF] in the compact case. Quickly after the resolution of Calabi's conjecture by Yau, many works have revolved around the (non-compact) complete case; let us mention Yau [START_REF]Métriques de Kähler-Einstein sur les variétés ouvertes[END_REF], Cheng-Yau [START_REF] Cheng | On the existence of a complete Kähler metric on noncompact complex manifolds and the regularity of Fefferman's equation[END_REF], Mok-Yau [START_REF] Mok | Completeness of the Kähler-Einstein metric on bounded domains and the characterization of domains of holomorphy by curvature conditions[END_REF], R.Kobayashi [START_REF] Kobayashi | Kähler-Einstein metric on an open algebraic manifolds[END_REF] and Tian-Yau [START_REF] Tian | Existence of Kähler-Einstein metrics on complete Kähler manifolds and their applications to algebraic geometry[END_REF] in the negative scalar curvature case, and [START_REF]Complete Kähler manifolds with zero Ricci curvature. I[END_REF] in the Ricci-flat case to cite only a few of them.

More recently, a lot of attention has been drawn to conical Kähler-Einstein metrics, which are non-complete metrics living on the complement of a (smooth) divisor in a compact manifold, having a very precise behavior near the divisor, cf. [Maz99, Jef00, Don12, Bre11, CGP13, JMR11, GP13, Yao13, DS12].

These classes of examples (in the negatively curved case) can be recast in a unified framework. Namely, when we are seeking negatively curved Kähler-Einstein metrics on the complement X \ D of a smooth divisor D (or merely with simple normal crossings) in a compact Kähler manifold X, then one has at some point to do an assumption on the positivity of the adjoint canonical bundle K X + D. More precisely, the existence of a negatively curved Damin Wu was partially supported by the NSF grant DMS-1308837. KE metric with cuspidal singularities along D such as in [START_REF] Kobayashi | Kähler-Einstein metric on an open algebraic manifolds[END_REF][START_REF] Tian | Existence of Kähler-Einstein metrics on complete Kähler manifolds and their applications to algebraic geometry[END_REF] is equivalent to the ampleness of K X + D. In the same vein, the existence of a negatively curved conical KE metric with cone angle 2πβ along D is equivalent to the ampleness of

K X + (1 -β)D.
So what if now, we look at the problem from another angle? That is, what if instead of looking for Kähler-Einstein metrics on X \ D having a prescribed behavior along D, we just start by assuming that the line bundle K X + aD is ample for some real number a, and see what kind of Kähler-Einstein metrics one can construct? Well, if a ∈ (0, 1], we end up with conical/cuspidal metrics because of what we explained above. In this paper, we will leave aside that case where a > 1, and only study the situation where a ∈ (-∞, 1]. More generally, take D = D i be a simple normal crossings (snc) divisor, choose real numbers a i ∈ (-∞, 1], and assume that K X + a i D i is ample. Is it possible to construct "reasonable" Kähler-Einstein metrics with negative scalar curvature on X \ D that are naturally related to the data of the a i 's?

This question has been studied from various points of view [Wu08, Wu09, Gue12, BG13] and it seems that the framework of pluripotential theory could be the best fit as it yields a unified approach and treatment of the problems at stake. Indeed, it has been proved in [START_REF] Berman | Kähler-Einstein metrics on stable varieties and log canonical pairs[END_REF] that given a pair (X, D) where D = a i D i is a divisor with simple normal crossings support and coefficients a i ∈ (-∞, 1] such that K X + D is ample, there exists a unique "weak" Kähler-Einstein metric ω KE , smooth on X \ D and satisfying Ric ω KE = -ω KE + a i [D i ] in the sense of currents. Moreover, the singularities of ω KE near D are relatively mild as this current has finite energy, cf. [START_REF] Guedj | The weighted Monge-Ampère energy of quasi plurisubharmonic functions[END_REF]. What more do we know about ω KE ?

Well, first, if the pair is klt, i.e. a i < 1 for all i (as the a i 's may be negative, this condition is sometimes called "sub-klt" in the literature), then if follows from Ko lodziej's estimate [Ko l98] that the metric has bounded potentials. But as soon as some coefficient a i equals 1, the potentials have to be unbounded. This can be seen using the Monge-Ampère formulation of the Kähler-Einstein problem which takes the form

(ω + dd c ϕ) n = e ϕ ω n i |s i | 2ai where ω ∈ c 1 (K X + D) is a Kähler form,
and s i is a defining section for D i , whose associated line bundle we endow with a suitable hermitian metric (to get the condition on the Ricci curvature). Then, as |s| -2 is not integrable, ϕ has to go to -∞ near D lc := ai=1 D i to garantee the integrability of the rhs. So one cannot expect bounded potentials. If now the divisors has only coefficients equal to 1, then we know from [Kob84, TY87] that ϕ =i log(log |s i | 2 ) 2 + O(1), and that ω KE has Poincaré singularities along D. We have an analogous expansion (i.e., loglog near D lc + bounded term) if the coefficients are orbifold [START_REF] Tian | Existence of Kähler-Einstein metrics on complete Kähler manifolds and their applications to algebraic geometry[END_REF], or more generally of a i ∈ [0, 1] [Gue12, GP13]. More generally, if the irreducible components of D associated to coefficients a i < 1 do not meet any irreducible components of D associated to coefficients a i = 1, the same result holds [START_REF]Good Kähler metrics with prescribed singularities[END_REF]. The first Theorem of this note aims to prove that the above expansion for the potential always holds regardless of the combinatoric of D: Theorem A. -Let X be a compact Kähler manifold, D = a i D i be a divisor with simple normal crossings support having coefficients a i ∈ (-∞, 1] and such that K X + D is ample. Let ω ∈ c 1 (K X + D) a Kähler form, and let ω KE = ω + dd c ϕ KE be the Kähler-Einstein metric of (X, D), i.e., Ric

ω KE = -ω KE + [D]. Then ϕ KE = - ai=1 log log 2 1 |s i | 2 + O(1)
We will give two proofs of this result, both based on a approach involving Green's functions but in different contexts. The two proofs share a common core: we start by partially regularizing the Monge-Ampère equation so as to make it of Poincaré-type as in [START_REF] Kobayashi | Kähler-Einstein metric on an open algebraic manifolds[END_REF][START_REF] Tian | Existence of Kähler-Einstein metrics on complete Kähler manifolds and their applications to algebraic geometry[END_REF], and then one will seek for uniform estimates on the potential, independent of the regularizing parameter. The lower bound is obtained using ideas involving approximate cone metrics, and already appearing in [START_REF] Campana | Metrics with cone singularities along normal crossing divisors and holomorphic tensor fields[END_REF][START_REF] Guenancia | Kähler-Einstein metrics with mixed Poincaré and cone singularities along a normal crossing divisor[END_REF]. Then, using Yau's maximum principle for complete manifolds, we derive an upper bound of the potential involving ai<0 a i log |s i | 2 . Of course, the right hand side goes to +∞ near the boundary divisor, so this estimate is not sufficient to prove Theorem A. This is where our two proofs take different paths. The common idea is to estimate the supremum of the potential by its L 1 norm (which is controlled by the previous estimate) using Green's function. The difficulty here is that there is no global positive Green's function for the Laplacian ∆ on X \ D lc as follows from [START_REF] Cheng | Differential equations on Riemannian manifolds and their geometric applications[END_REF] since a Poincaré-type metric has finite volume. On the other hand, one cannot use the local Green's function of ∆ as in [START_REF]Good Kähler metrics with prescribed singularities[END_REF], since the injectivity radius of the Poincaré metric shrinks to zero as the point tends to D lc . In the first approach, we pull-back the equation to some kind of universal cover to make the Poincaré metric into an euclidian one, so that one can use a standard local Green's function upstairs, derive an upper bound upstairs, and then push it back down to M . In the second approach, we first construct a global Green's function associated with ∆ g -1 on any complete Riemannian manifold (M, g). For M = X \ D lc endowed with a Poincarétype metric, we can control the asymptotic behavior of this function with sufficient precision so as to get an upper bound for our potential.

To go beyond Theorem A, it would be natural to expect higher order estimates on the potential of the Kähler-Einstein metric. As for Laplacian type estimates, this has already been done in [START_REF] Guenancia | Kähler-Einstein metrics with mixed Poincaré and cone singularities along a normal crossing divisor[END_REF][START_REF] Guenancia | Conic singularities metrics with prescribed Ricci curvature: the case of general cone angles along normal crossing divisors[END_REF] whenever the coefficients of D are non-negative. It would be challenging to extend these results to our more general setting, but if D = -aH for some positive number a, H being a smooth hypersurface, then one of the main new issues is that we do not really have a global reference metric on X \ H that would behave like |z 1 | 2a dz 1 ∧ dz 1 + j>1 dz j ∧ dz j near H, whenever it is locally given by (z 1 = 0).

In the second part, we investigate the case of singular pairs (X, D), i.e., X is now a normal projective variety and D an effective Weil divisor on X such that the pair (X, D) has log canonical singularities. If one assumes that K X + D is ample, then we know from [START_REF] Berman | Kähler-Einstein metrics on stable varieties and log canonical pairs[END_REF] that (X, D) admits a unique Kähler-Einstein metric ω KE (see Section 4 for the related definitions), which is smooth on X reg \ Supp(D). We will study the behavior of ω KE near D, and more precisely at the points where X is smooth and D has simple normal crossings support:

Theorem B.
-Let (X, D) be a projective log canonical pair such that K X + D is ample. Then its Kähler-Einstein metric ω KE has mixed cone and cusp singularities along D on the snc locus (X, D) reg of the pair.

As a corollary of this theorem, we show that the Kähler-Einstein metric of a stable variety (in the sense of Kollár-Sherpherd-Barron and Alexeev) is cuspidal near the double crossing points, cf Corollary 4.4.

Let us conclude this introduction by saying that both Theorem A and Theorem B are the crucial analytic inputs in the proof of the polystability of the logarithmic tangent sheaf of a log canonical pair (X, D) such that K X + D is ample, cf. [START_REF]Semistability of the tangent sheaf of singular varieties[END_REF].

2. The smooth case 2.1. The set-up. -The setting in this paper is the following one: X is a smooth complex projective variety of dimension n, D = a i D i is a R-divisor with simple normal crossing support with coefficients a i ∈ (-∞, 1] such that the adjoint bundle K X + D is ample (i.e., its Chern class contains a Kähler metric, or equivalently K X + D is Q-linearly equivalent to a positive R-linear combination of ample Q-line bundles. We stress here that the coefficients of D may be chosen to be negative. We set D lc := ai=1 D i , and D klt := D -D lc , and M := X \ Supp(D lc ). This notations are borrowed from birational geometry, in the sense that (X, D klt ) (resp. (X, D) or (X, D lc )) is a -log smooth-Kawamata log terminal (klt) pair (resp. log canonical (lc) pair).

As for endowing X \Supp(D lc ) with a natural Kähler-Einstein metric, the viewpoints and definitions vary according to the authors, and we will choose here the following definition which has the advantage to be globally formulated on X, and garantees the uniqueness of the metric thanks to the formalism developed in [START_REF] Guedj | The weighted Monge-Ampère energy of quasi plurisubharmonic functions[END_REF] and its companion papers: Definition 2.1. -With the previous notations, we say that a closed positive current ω ∈ c 1 (K X + D) on X is a Kähler-Einstein metric for (X, D) if it satisfies:

1. The non-pluripolar product ω n defines an absolutely continuous measure with respect to some smooth volume form dV on X and log(ω n /dV

) ∈ L 1 loc (X), 2. Ric ω = -ω + [D], 3. X ω n = c 1 (K X + D) n .
This seemingly complicated definition comes from the fact that we know that ω cannot have bounded potentials, hence we have to use the non-pluripolar Monge-Ampère operator [START_REF] Guedj | The weighted Monge-Ampère energy of quasi plurisubharmonic functions[END_REF][START_REF] Boucksom | Monge-Ampère equations in big cohomology classes[END_REF] in order to define ω n (and thus Ric ω which is defined as -dd c log ω n as soon as 1. is satisfied) and have a suitable formulation of the problem in terms of Monge-Ampère equations.

Recall that Bedford-Taylor theory enables to define the Monge-Ampère operator of a closed positive current with bounded potentials and that the non-pluripolar Monge-Ampère operator is defined for any closed positive current T (say in a Kähler class on a compact Kähler manifold) and produces a positive measure denoted by T n (or abusively T n ) which does not charge pluripolar sets and whose total mass is less than or equal to the top auto-intersection {T } n of its de Rham cohomology class. If T has bounded potentials, T n coincides with the Bedford-Taylor Monge-Ampère T n and the total mass of T n is indeed {T } n . More generally the equality of those two quantities is an information on the regularity of the current, cf [GZ07, BEGZ10] for the definitions and main properties of this construction.

We know from [START_REF] Berman | Kähler-Einstein metrics on stable varieties and log canonical pairs[END_REF] that there exists a unique such current ω; moreover, ω defines a smooth Kähler-Einstein metric on M , and if

θ ε ∈ c 1 (D klt ) is any smooth approximation of [D klt ], then ω is the (weak) limit of the twisted Kähler-Einstein metrics ω ε satisfying Ric ω ε = -ω ε + θ ε + [D lc ].
In this part, we assume that the pair (X, D) is log smooth, and we prove Theorem A.

2.2. The lower bound. -As we explained in the previous part, it follows from the results of [START_REF] Berman | Kähler-Einstein metrics on stable varieties and log canonical pairs[END_REF] that it is sufficient to obtain uniform estimates for the potential ϕ ε solution of

(ω + dd c ϕ ε ) n = ai<1 (|s i | 2 + ε 2 ) -ai e ϕε ω n a k =1 |s k | 2
At that point, it is convenient to work with the complete Poincaré metric ω P := ωa k =1 dd c log log 2 |s k | 2 on M (up to scaling the hermitian metrics on O(D k ), it defines indeed a smooth complete Kähler metric with bounded geometry on M ); so we set

u ε := ϕ ε + a k =1 log log 2 |s k | 2 , so that the equation becomes (on M ) (2.1) (ω P + dd c u ε ) n = ai<1 (|s i | 2 + ε 2 ) -ai e uε+F ω n P
where F is known to be a bounded smooth function on M (which is even smooth in the quasi-coordinates, cf. [START_REF] Kobayashi | Kähler-Einstein metric on an open algebraic manifolds[END_REF][START_REF] Tian | Existence of Kähler-Einstein metrics on complete Kähler manifolds and their applications to algebraic geometry[END_REF]).

The first step is to introduce the regularized cone metric [Cla08, CGP13, Gue12]. To sum up the construction therein, there exists a smooth ω-psh (and ω P -psh) potential ψ ε which is uniformly bounded, and such that the metric ω P,ε := ω P + dd c ψ ε on M is complete, with bounded bisectional curvature and satisfies 0<ai<1

(|s i | 2 + ε 2 ) -ai ω n P = e Gε ω n P,ε
for some smooth function G ε which is uniformly bounded in ε. Therefore, setting

v ε := u ε -ψ ε , equation (2.1) becomes (2.2) (ω P,ε + dd c v ε ) n = ai<0 (|s i | 2 + ε 2 ) -ai e vε+Fε ω n P,ε
where If we apply Yau's minimum principle [START_REF]A general Schwarz lemma for Kähler manifolds[END_REF] on the manifold (M, ω P,ε ), we get that inf v ε -sup

F ε = F + G ε + ψ ε ,
F ε + inf ai<0 a i log(|s i | 2 + ε 2 ) and therefore (2.3) inf M u ε -C
for some uniform C > 0.

2.3. The upper bound I. -Let us get now to the upper bound. We cannot apply the same method here as one sees immediately, so we perform a change of function by setting

w ε := v ε -ai<0 a i log(|s i | 2 + ε 2 ). As log(|s i | 2 + ε 2
) is Cω-psh for some uniform C, it is also Cω P,ε -psh (up to changing C eventually), and therefore

e wε+Fε ω n P,ε = ai<0 (|s i | 2 + ε 2 ) -ai e vε+Fε ω n P,ε = ω P,ε + ai<0 dd c a i log(|s i | 2 + ε 2 ) + dd c w ε n (Cω P,ε + dd c w ε ) n hence the maximum principle yields sup w ε -inf F ε + n log C, hence (2.4) u ε C + ai<0 a i log(|s i | 2 + ε 2 )
for some uniform C > 0.

Moreover, we know from [START_REF] Berman | Kähler-Einstein metrics on stable varieties and log canonical pairs[END_REF] that ϕ ε converges to ϕ KE , the potential of the Kähler-Einstein metric of the pair (X, D), which is a quasi-psh function. Hence, by Hartog's Theorem (cf. [Hör94, Theorem 3.2.12]), we know that there exists C > 0 such that ϕ ε C. As a consequence,

u ε = ϕ ε + a k =1 log log 2 1
|s k | 2 is locally uniformly bounded above on X \ D lc . Therefore, if we want to bound u ε from above, we just need to do it locally around points at the intersection of D lc and ai>0 D i .

2.4. The upper bound II. -Now that we have a partial upper bound (2.4) on u ε , one can derive a true upper bound using Green's functions based on ideas appearing in [START_REF]Good Kähler metrics with prescribed singularities[END_REF]p. 141]. From now on, one can forget about the cone approximation and just remember the two bounds (2.3)-(2.4) satisfied by our potential u ε solution of (2.1).

We fix a point p ∈ D lc , and one may assume that p admits a neighborhood Ω D n where D lc is given by (z 1 • • • z r = 0) and ai<0 D i by (z r+1 . . . z s = 0) in the holomorphic coordinates z 1 , . . . , z n induced on Ω under the identification Ω D n . Equation (2.4) can be reformulated as follows

(2.5) u ε (z) C 1 - s j=r+1 log |z j |
If we knew that u ε were quasi-psh, then we could derive a uniform upper bound from the inequality above and the arguments of [START_REF]Good Kähler metrics with prescribed singularities[END_REF]. But our function u ε is only ω P -psh, so that one cannot apply these arguments unless we have a good knowledge of (local or global) Green's functions for the Poincaré metric. In the next section, we will build a global Green's function on X \ D lc for ∆ ωP -1, study its properties, and use it to get the desired upper bound.

But before that, we will give an alternative solution consisting in using the very particular geometry of the Poincaré metric. Indeed, the Poincaré metric behaves in some way like an euclidian one when we pull it back to some appropriate "cover". The right way to formalize this is to use the quasi-coordinates for the Poincaré metric (cf. [Kob84, TY87]): they are maps from an open subset V ⊂ C n to D r := (D * ) r × D n-r having maximal rank everywhere. So they are just locally invertible, but these maps are not injective in general. To construct such quasi-coordinates on D r , we start from the universal covering map π : D → D * , given by π(w) = e w+1 w-1 . Formally, it sends 1 to 0. The idea is to restrict π to some fixed ball B(0, R) with 1/2 < R < 1, and compose it (at the source) with a biholomorphism Φ η of D sending 0 to η, where η is a real parameter which we will take close to 1. If one wants to write an explicit formula, we set Φ η (w) = w+η 1+ηw , so that the quasi-coordinate maps are given by Ψ

η = (π • Φ η ) r × Id D n-r : V = B(0, R) r × D n-r → D r , i.e. Ψ η (v 1 , . . . , v r , v r+1 , . . . , v n ) = (e 1+η 1-η v 1 +1 v 1 -1 , . . . , e 1+η 1-η vr +1 vr -1 , v r+1 , . . . , v n ).
Once we have said this, it is easy to see that D r is covered by the images Ψ η (V ) when η goes to 1. Now, an easy computation shows that Ψ * η ω P is a Kähler metric on V ⊂ C n which is uniformly (in η) quasi-isometric to the euclidian flat metric; moreover all the covariants derivatives of this metric are uniformly bounded with respect to η, but we will not need this property.

Let us go back to our situation. We started from an ω P -psh function u ε satisfying (2.5). Pulling it back by Ψ η , we get a smooth function u ε,η := u ε • Ψ η on V which is Ψ * η ω P -psh hence (uniformly) quasi-psh by the observation above. Furthermore, as Ψ η acts trivially on the component D n-r , we have

(2.6) u ε,η (v) C(1 - s j=r+1 log |v j |)
for all v ∈ V thanks to (2.5).

We are now in position to apply the arguments of [START_REF]Good Kähler metrics with prescribed singularities[END_REF], so let us set up a precise framework. For ρ > 0 large enough (ρ > 2n would be sufficient), we have V B(0, ρ); let us also pick 1/2 < R < R and set V = B(0, R ) r × D(0, 1/2) n-r . As above, the images of V by Ψ η when η goes to 1 cover (D * ) r × D(0, 1/2) n-r . We choose a cut-off function χ such that Supp(χ)

V , and χ = 1 on V so that d(Supp(∇χ), V ) > 0. Finally, we denote by G : B(0, ρ) × B(0, ρ) → [-∞, 0] the Green's function of B(0, ρ). If x ∈ V , we denote by G x the function G(x, • ). Then for any x ∈ V , the function χG x satisfies ∆(χG x ) = δ x + G x ∆χ + ∇G x • ∇χ (this can be verified locally, first near x, and then away from x). Therefore, if dV is the Lebesgue measure of C n , we have:

B(0,ρ) χG x ∆u ε,η dV = u ε,η (x) + Supp(∇χ) u ε,η (G x ∆χ + ∇G x • ∇χ) dV Remember that u ε,η is quasi-psh, so that ∆u ε,η -C. As a consequence, u ε,η (x) C ||G x || L 1 + Supp(∇χ) u ε,η |G x ∆χ| + |∇G x • ∇χ| dV
Of course, ∇χ and ∆χ are bounded by some constants depending only on R , R and n. As for G x and ∇G x , these functions are bounded in terms of (negative powers of) d(x, • ), therefore they are uniformly (in x) bounded on Supp(∇χ) by the above observation that d(Supp(∇χ), V ) > 0. Therefore, we have:

(2.7) u ε,η (x) C (||G x || L 1 + ||u ε,η || L 1 )
Applying the Green-Riesz representation formula to the function y → |y| 2 , we easily get that ||G x || L 1 = (ρ 2 -|x| 2 )/2n ρ 2 . Moreover, thanks to equation (2.6), we have a uniform control ||u ε,η || L 1 C (remember that u ε hence u ε,η are uniformly bounded from below already). Putting these two estimates together, we infer from (2.7):

u ε,η (x) C
for some constant C independent of x ∈ V , η and ε. Pushing this inequality downwards to (D * ) r × D(0, 1/2) n-r , we obtain

u ε C
on this latter open set, which ends the proof.

A new global Green's function

In this section, we investigate the question of the existence of appropriate global Green's functions on the complete Kähler manifold (X \D lc , ω P ). Adapting the arguments of [SY94, LT87], we will construct on this Riemannian manifold a positive Green's function for the operator ∆ -1 whose behavior is well understood at infinity. This will enable us to give an alternative proof of Theorem A, cf. §3.3. (i) For any fixed x ∈ M , (∆ g(y) -1)G(x, y) = 0 and G(x, y) > 0, for all y ∈ M , y = x;

Existence of the

(ii) G(x, y) = G(y, x); (iii) As y → x for fixed x, G(x, y) = [(m -2)σ m-1 ] -1 dist(x, y) 2-m 1 + o(1) .
Here dist(x, y) denotes the geodesic distance between x and y in M and σ m-1 is the volume of the unit (m -1)-sphere in R m . The following lemma constructs on any complete Riemannian manifold a global positive Green's function for ∆ g -1. This is in sharp contrast to the global positive Green's function for ∆ g (cf. [START_REF] Li | Symmetric green's functions on complete manifolds[END_REF]). Proof. -The existence of G follows from almost the same argument for Theorem A.1 in Schoen-Yau [SY94, p. 82] (see also Li-Tam [START_REF] Li | Symmetric green's functions on complete manifolds[END_REF]), using the monotone increasing sequence of positive Dirichlet Green's functions {G i } on the exhaustion {Ω i }. The only difference is that here the operator ∆ g -1 allows us to compare G i with the constant function.

More precisely, let {Ω i } be an exhaustion of M and G i be the positive Dirichlet Green's function on Ω i (cf. [Duf56, p. 157] or Remark 3.2). Fix an arbitrary x ∈ M . We need to show that the monotonic sequence

m i = sup y∈∂Br(x) G i (x, y)
is bounded from above for all r > 0 (to see the monotonicity, apply the maximum principle to G i -(1 + δ)G i+1 on Ω i {x} for any fixed δ > 0). Suppose the contrary, i.e., there exists an r > 0 such that m i → +∞. Let

v i (y) = 1 m i G i (x, y) for all i 1.
By the maximum principle v i 1 on Ω i \ B r (x).

On the other hand, for any ε > 0, by property (iii) of G we have v i (y) εG 1 (x, y) + 1 on B r (x) \ {x} for all sufficiently large i such that 1/m i < ε. Applying the diagonal process we obtain that a subsequence of v i converges uniformly on compact subsets of M \ {x} to a function v in M \ {x} satisfying

(∆ g -1)v = 0 in M \ {x} and 0 v 1 on M \ B r (x) and v(y) εG 1 (x, y) + 1 on B r (x) \ {x}. Letting ε → 0 yields 0 v 1 in M \ {x}.
Since max ∂Br(x) v i = 1 for all i, the function v attains its maximum value 1 at an interior point of M \ {x}. Applying the maximum principle to (∆ g -1)v = 0 at the interior point yields v 0 on M \ {x}, which contradicts max v = 1. Hence, the sequence {m i } is bounded from above for all r > 0. Then as in Schoen-Yau [SY94, p. 83] we apply the diagonal process to obtain a global positive Green's function G on M . For the second statement, for a given x ∈ M , assume that x ∈ B ⊂⊂ Ω i0 for some i 0 1. By the previous step Remark 3.2. -The proof of Lemma 3.1 makes use of a classical fact that for a bounded domain Ω with smooth boundary in a Riemannian manifold, there exists a positive Dirichlet Green's function G satisfies the properties (i)-(iii). This fact can be proved as follows: By Duff [Duf56, p. 104, 5.3] one obtains a local fundamental solution γ(P, Q) for operator ∆ -1 on a sufficiently small neighborhood U of diag(Ω × Ω). That is, given Q ∈ Ω, γ(P, Q) is smooth and satisfies (∆ -1)γ(P, Q) = 0 for any P near Q and P = Q. Furthermore,

γ(P, Q) ∼ 1 (m -2)σ m-1 dist(P, Q) 2-m , as dist(P, Q) → 0. Let Γ(P, Q) = η(dist(P, Q)/ )γ(P, Q),
where η = η(t) satisfies that η ∈ C ∞ (R), 0 η 1, η ≡ 1 for 0 t 1/2 and η ≡ 0 for t 1, and > 0 is a small constant such that the compact support of η is contained in the neighborhood U of the diagonal. Fix an arbitrary Q ∈ Ω. It follows that

(∆ -1)Γ(•, Q) = -δ Q + F, where F ≡ 2∇η • ∇γ(•, Q) + γ(•, Q)∆η ∈ C ∞ c (Ω). We can solve (∆ -1)w = -F in Ω, w = 0 on ∂Ω for a smooth function w(•, Q) on Ω. Then G(P, Q) = Γ(P, Q) + w(P, Q) is the desired Green's function. That G(P, Q) = G(Q, P ) is proven in Duff [Duf56, p. 158].
From now on we let M = X \ D lc . Then (M, ω) is a complete Kähler manifold of finite volume, where we have a notion of Hölder spaces relatively to quasi-coordinates as introduced by Cheng-Yau [CY80, p. 515], see also [START_REF] Kobayashi | Kähler-Einstein metric on an open algebraic manifolds[END_REF][START_REF] Tian | Existence of Kähler-Einstein metrics on complete Kähler manifolds and their applications to algebraic geometry[END_REF] for the definitions that we don't recall here as we won't use them in the following. where C k,α , k 0, 0 < α < 1, is the Hölder space in the sense of Cheng-Yau, C(k, α) > 0 is a constant depending only on k and α.

Proof. -That G is in L 1 (M ) follows immediately from Lemma 3.1 and the finiteness of volume. To see the estimate, note that (M, ω) has bounded geometry in terms of the quasicoordinates. In constructing G we apply the Schauder interior estimates to the Cheng-Yau's Hölder spaces, and then, using a diagonal process we can pass from G i to G.

Properties of the

B ≡ B r (x) ⊂ M . For any f, h ∈ C k,α (M \ B), k 2, 0 < α < 1, M \B div(f ∇h) = - ∂B f ∂h ∂ν
where the divergence div and gradient ∇ are both with respect to ω, and ∂B is oriented according to the outer unit normal ν.

Proof. -As in [Wu09, p. 138] we use the cutoff function χ m (ρ) on M such that χ m ≡ 0 for ρ m, 0 χ m 1 for m ρ m + 1, and χ m ≡ 1 for ρ m + 1. Here

ρ = k i=1 log(-log |s i | 2 ) → +∞ as x → D lc ,
and m 1 such that B = B r (x) ⊂⊂ {ρ < m}. Write

M \B div(f ∇h) = M \B div(χ m f ∇h) + M \B div[(1 -χ m )f ∇h].
Note that 1 -χ m (ρ) has compact support {ρ m + 1} in M and 1 -χ m ≡ 1 on B. Applying the usual Stokes' theorem yields

M \B div[(1 -χ m )f ∇h] = - ∂B (1 -χ m )f ∇h = - ∂B (1 -χ m )f ∇h.
Then

f ∈ C k,α (M ) with k 2, f (x) = - M G(x, y)(∆ ω(y) -1)f (y)ω n .
Proof.

-Fix an arbitrary ε > 0. By Lemma 3.4,

M \Bε(x) G(x, •)(∆ -1)f = M \Bε(x) f (∆ -1)G - ∂Bε(x) G ∂f ∂ν + ∂Bε(x) f ∂G ∂ν = -f (x), in view of properties (i) and (iii) of G. Since G(x, •) ∈ L 1 (M ), by Lebesgue's dominated convergence theorem M G(x, •)(∆ -1)f = lim ε→0 + M \Bε(x) G(x, •)(∆ -1)f = -f (x).

An alternative proof of Theorem

A. -We borrow the notations of §2.1: let X be a compact Kähler manifold X endowed with a snc divisor D lc , let us set M := X \ D lc , and let us consider the Monge-Ampère equation on M :

(ω + dd c u) n = e u+F ω n i |s i | 2ai where D klt = a i (s i = 0
) is a divisor with snc support whose coefficients a i belong to (-∞, 1), and ω is a metric with Poincaré-type singularities along D lc , the latter divisor being also assumed to have normal crossings with Supp(D klt ). Finally, F is a smooth function when read on the quasi-coordinate, i.e. F ∈ C k,α (M ) for all k 2 and 0 < α < 1. We will assume part of the results of §2.1, namely that u is bounded below. We claim that by Corollary 3.3 and Corollary 3.5, we can derive a true upper bound for u.

Indeed, let us perturb (as in §2.1) the above Monge-Ampère equation by the following one, for ε > 0,

(ω + dd c u ε ) n = e uε+F +fε ω n where f ε = -i a i log(|s i | 2 + ε 2 ).
We know that the latter equation has a unique solution u ε ∈ C k,α (M ) for all k 2 and 0 < α < 1, and that u ε converges to u weakly on X, and smoothly on the compact sets of M \ D klt . Combining the arithmetic mean -geometric mean inequality

(ω + dd c u ε ) n ω n 1 n n + ∆ ω u ε n
with the basic inequality e t 1 + t yields

(∆ ω -1)u ε F + f ε
Multiplying this inequality by G(x, y) gives

u ε (x) = - M G(x, y)(∆ ω -1)u ε (y)ω n (y) - M G(x, y)(F + f ε )(y)ω n (y) C in view of the fact that M \B G(x, y)(-log |s i | 2 )(y)ω(y) n C B M \B (-log |s i | 2 )(y)ω(y) n C
for each i. Here B is a compact set in M containing x, and C > 0 is a constant depending only on n, a i and C B .

The case of singular pairs

The goal of this section is to explain and prove Theorem B about the behavior near the boundary divisor of the Kähler-Einstein metric associated with a log canonical pair (X, D) such that K X + D is ample.

4.1. Mixed cone and cusp singularities. -Let (X, D) be a pair consisting in a complex manifold X and a R-divisor D having simple normal crossing support and coefficients in [0, 1]. A Kähler metric ω on X 0 := X \ Supp(D) is said to have mixed cone and cusp (also called Poincaré) singularities along D if ω is locally quasi-isometric to the model

ω mod := r j=1 idz j ∧ dz j |z j | 2(1-βj ) + s k=r+1 idz k ∧ dz k |z k | 2 log 2 |z k | 2 + n l=r+s+1 idz l ∧ dz l whenever (X, D) is locally isomorphic to (X mod , D mod ), where X mod = (D * ) r × (D * ) s × D n-(s+r) , D mod = (1 -β 1 )[z 1 = 0] + • • • + (1 -β r )[z r = 0] + [z r+1 = 0] + • • • + [z r+s = 0];
where β j ∈ (0, 1) and D (resp. D * ) is the disc (resp. punctured disc) of radius 1/2 in C.

In [START_REF] Guenancia | Kähler-Einstein metrics with mixed Poincaré and cone singularities along a normal crossing divisor[END_REF] (and later in full generality in [START_REF] Guenancia | Conic singularities metrics with prescribed Ricci curvature: the case of general cone angles along normal crossing divisors[END_REF]), it was proved that given a compact Kähler manifold X and a divisor D with simple normal crossing support and coefficients in [0, 1] such that K X + D is ample, there exists a unique Kähler metric ω on X 0 with mixed cone and cusp singularities along D such that Ric ω = -ω.

Of course this metric coincides with the Kähler-Einstein metric constructed in [START_REF] Berman | Kähler-Einstein metrics on stable varieties and log canonical pairs[END_REF] in the more general case of singular log canonical pairs. Our goal in this second section is to generalize the result of [START_REF] Guenancia | Kähler-Einstein metrics with mixed Poincaré and cone singularities along a normal crossing divisor[END_REF][START_REF] Guenancia | Conic singularities metrics with prescribed Ricci curvature: the case of general cone angles along normal crossing divisors[END_REF] to this singular setting, as we will explain in the next paragraph after recalling the necessary definitions. 4.2. Log canonical pairs. -Definition 4.1. -A log canonical pair (X, D) consists of a complex normal variety X and an effective Weil divisor D such that K X +D is Q-Cartier, and such that for any log resolution π : X → X of (X, D), the coefficients a i defined by the formula K X = π * (K X +D)+ a i E i satisfy a i -1 (here E i is either exceptional or the strict transform of a component of D). Definition 4.2. -Let (X, D) be a log pair. The simple normal crossing (snc) locus of the pair, denoted by (X, D) reg , is the locus of points x ∈ X such that the pair (X, D) is log smooth at x, i.e., such that there exists a Zariski open set U x satisfying that U ⊂ X reg and that the divisor D |U has simple normal crossing support.

The snc locus is a Zariski open set whose complement has codimension at least 2 by normality of X. If now X is projective, (X, D) is log canonical and K X + D is ample, then the main result of [START_REF] Berman | Kähler-Einstein metrics on stable varieties and log canonical pairs[END_REF] provides a unique Kähler-Einstein metric ω KE with negative curvature, which is smooth on X reg \ Supp(D). What about further regularity? So far, it is really hard to tell anything about the local behavior of this metric near the singular points of X; but if we look at what happens at points of the boundary divisor D where it is smooth (or merely snc), then we have a better understanding of how ω looks like. Indeed, if (X, D) is klt (i.e., the coefficients a i above satisfy a i > -1), it was proved first partially in [START_REF]Kähler-Einstein metrics with cone singularities on klt pairs[END_REF] and then in full generality in [START_REF] Guenancia | Conic singularities metrics with prescribed Ricci curvature: the case of general cone angles along normal crossing divisors[END_REF] that ω KE has cone singularities along D on the snc locus (X, D) reg . We now aim to generalize this result to the log canonical case: Theorem 4.3. -Let (X, D) be a projective log canonical pair such that K X + D is ample. Then its Kähler-Einstein metric ω KE has mixed cone and cusp singularities along D on the snc locus (X, D) reg of the pair.

We can deduce from this statement how the Kähler-Einstein metric of a stable variety (i.e., a projective variety X with semi-log canonical singularities such that K X is ample, cf. [START_REF] Berman | Kähler-Einstein metrics on stable varieties and log canonical pairs[END_REF]) behaves near the double crossing points. Recall that a double crossing point is a point near which the variety is locally analytically isomorphic to 0 ∈ {xy = 0} ⊂ C n+1 .

Corollary 4.4. -Let X be a stable variety. Then its Kähler-Einstein metric is locally quasi-isometric to a cusp near the double crossing points.

Let us explain what it means. If p is such a point and ν : X ν → X is the normalization morphism, then ν -1 (p) consists of two distinct points q , q sitting on the conductor divisor D ν , and the pair (X ν , D ν ) is log smooth at q , q (actually D ν is even smooth near those points). The corollary expresses that the pull-back ν * ω KE of the Kähler-Einstein metric has cusp singularities along D ν near q and q .

This generalizes the picture existing for stable curves. Indeed, if C is a stable curve, let C be its normalization and D be the reduced divisor on C whose support consists of the preimage of the nodes. Then K C + D is ample, and each connected component of C \ D (= C reg ) has a unique hyperbolic metric which has a cusp near each point in the support of D .

Proof. -There is not much more left to say. Indeed, with the above notations, the conductor D ν is a reduced divisor; moreover, (X ν , D ν ) is log canonical, K X ν + D ν is ample, and the pair is log smooth at each point above a double crossing point. So if we apply Theoremt 4.3 at those points, we get exactly the statement claimed in the corollary. a i D i is a divisor on X with snc support, consisting of π-exceptional divisors (with arbitrary coefficients in (-∞, 1]) and of the strict transforms of the components of ∆ (with coefficients in [0, 1]). The Kähler-Einstein ω KE for (X, D), or equivalently the pull-back of the KE metric for (Y, ∆) by π can be written as ω KE = θ + dd c ϕ where θ ∈ c 1 (π * (K Y + ∆)) is a smooth semipositive and big form and ϕ is a θ-psh function solving the Monge-Ampère equation

MA(ϕ) = e ϕ dV i |s i | 2ai where s i are non-zero sections of O X (D i ), |•| i are smooth hermitian metrics on O X (D i ),
and dV is a smooth volume form on X. Let us also introduce as before the convenient notation D lc := a k =1 D k . By [BG13, Theorem 3.5] we know that the solution ϕ is the limit (as both ε and t tend to 0) of the quasi-psh functions ϕ t,ε solving (4.1)

(θ + tω 0 + dd c ϕ t,ε ) n = e ϕt,ε dV aj <1 (|s i | 2 + ε 2 ) ai a k =1 |s k | 2
where ω 0 is some fixed Kähler form. We will divide the proof of Theorem B in three steps. In the first two, we will be dealing with the L ∞ estimate on the potential (upper bound then lower bound), and in the last one, we will focus on the Laplacian estimate.

4.3.2. The upper bound. -To find the upper bound, we mimic what we did in the case of log smooth pair, as the loss of positivity will not hinder the previous method. We set ϕ

P := -a k =1 log log 2 |s k | 2 , u ε := ϕ t,ε -ϕ P , and
w ε := u ε -ai<0 a i log(|s i | 2 + ε 2 ).
Actually, u ε and w ε depend on t, but we choose not to underline this dependence so as to keep the notations lighter. If ω P denotes a metric with Poincaré singularities along a k =1 D k , e.g. ω P = ω 0 + dd c ϕ P , then we have

(4.2) (θ + tω 0 + dd c ϕ P + dd c u ε ) n = e wε+fε ω n P 0<ai<1 (|s i | 2 + ε 2
) ai for some uniformly bounded function f ε on X \ D lc (this function does not depend on t). The function w ε is bounded on the complete manifold (X \ D lc , ω P ) so one can apply Yau's maximum principle [START_REF] Yau | Harmonic functions on complete Riemannian manifolds[END_REF] to this function. So let (x m ) be a sequence such that w ε (x m ) → sup w ε , and

dd c w ε (x m ) 1 m ω P . As v ε satisfies dd c w ε dd c u ε -Cω 0 dd c u ε -C ω P , we have θ + tω 0 + dd c ϕ P + dd c u ε Cω P + dd c w ε and therefore e wε(xm)+fε(xm) ω n P (x m ) 0<ai<1 (|s i (x m )| 2 + ε 2 ) ai = (θ + tω 0 + dd c ϕ P + dd c u ε ) n (x m ) (Cω P + dd c w ε ) n (x m ) (C + 1/m)ω n P (x m ) so that w ε (x m ) -f ε (x m ) + 0<ai<1 a i log(|s i (x m )| 2 + ε 2 ) + log(C + 1/m) hence sup w ε C, or equivalently u ε C + ai<0 a i log(|s i | 2 + ε) 2
But u ε is (θ + tω 0 + dd c ϕ)-psh, hence also Cω P -psh, so the arguments of the first part of this article can be applied the same way in this situation, and they yield:

(4.3) u ε C 4.3.3. The lower bound.
-This is where we have to pay for the loss of positivity of K X +D. We know that there exists an effective R-divisor E = c α E α , π-exceptional, such that K X + D -E = π * (K Y + ∆) -E is ample. Therefore, one can find a Kähler metric ω 0 on X, non-zero sections s α of O X (E α ), and hermitian metrics |• | α on these bundles such that the function χ = c α log |s α | 2 satisfies:

θ + dd c χ = ω 0 + [E]
Recall that in section 2.2, we introduced the potential ψ ε of the regularized cone metric; it is a uniformly bounded ω 0 -psh function on X, such that the metric ω P,ε := (1 + t)ω 0 + dd c ϕ P + dd c ψ ε on X \ D lc is complete, with bounded bisectional curvature and satisfies 0<ai<1 (|s i | 2 + ε 2 ) -ai ω n P = e Gε ω n P,ε

for some smooth function G ε which is uniformly bounded in ε (and t, which is why we choose not to emphasize the dependence of G ε on t). One should emphasize that this metric ω P,ε has approximate cone singularities not only along the strict transform of ∆ -∆ but also along some exceptional divisors. Setting v ε := u ε -ψ ε -χ, equation (4.1) becomes, on X \E:

(4.4) (ω P,ε + dd c v ε ) n = e vε+Fε ω n P,ε

where F ε = G ε + ψ ε + χ -ai<0 a i log(|s i | 2 + ε 2 ), and from the remarks above, sup F ε C for some C independent of ε and t. The job would be done if one could apply Yau's maximum principle to v ε on the complete manifold (X \ D lc , ω P,ε ). But v ε is not smooth along E, so we should be careful. Fortunately, v ε = -χ + O(1) tends to +∞ near E, so one can run the proof of Yau's maximum principle without any change: let us first introduce, for every positive integer m, the function h m := v ε -1 m ϕ P . This function is smooth on X \ (D lc ∪ E) and tends to +∞ near the boundary. Therefore, it attains its minimum at some point x m in X \ (D lc ∪ E). Then, 0 dd c h m (x m ) = dd c v ε (x m ) -1 m dd c ϕ P (x m ) so that dd c v ε (x m ) -C m ω 0 (x m ) -C m ω P,ε (x m ) as ϕ P and ψ ε are uniformly quasi-psh. Plugging this inequality into (4.4), we find inf v ε -sup F ε -C, hence -The metric ω P,ε on X \D lc is complete and has bounded curvature, but when ε goes to zero, its curvature may blow up (in both directions) due to the conic part. In [START_REF] Guenancia | Conic singularities metrics with prescribed Ricci curvature: the case of general cone angles along normal crossing divisors[END_REF], a new Laplacian estimate has been introduced to deal specifically with that kind of geometries (cf. Section 6.3). More precisely, if we write ω := ω P,ε and ω = ω P,ε +dd c v ε , then we get from (4.4) that ω n = e vε+Fε ω n , and it is shown in [START_REF] Guenancia | Conic singularities metrics with prescribed Ricci curvature: the case of general cone angles along normal crossing divisors[END_REF] that there exists a smooth and uniformly bounded function Ψ ε on X satisfying on X \ (D lc ∪ E):

∆ ω (log tr ω ω + Ψ ε ) -Ctr ω ω for some constant C independent of ε. This constant takes into account a lower bound for the ω-Laplacian of v ε + F ε (the existence of this bound is also proved in [START_REF] Guenancia | Conic singularities metrics with prescribed Ricci curvature: the case of general cone angles along normal crossing divisors[END_REF]). As ω = ω + dd c v ε , we infer:

C -Cχ

So in the end, we have proved that the approximate KE metric ω P,ε + dd c v ε satisfies on X \ E: C -1 e Cχ ω P,ε ω P,ε + dd c v ε Ce -Cχ ω P,ε for some constant C > 0 independent of ε and t. As χ is locally bounded on X \ E = π -1 ((Y, ∆) reg ), this ends the proof of Theorem B.

  and by the remarks above, |F ε | C for some uniform C > 0.

  Green's function. -Let (M m , g) be a complete Riemannian manifold of real dimension m, and ∆ g be the Laplacian of g. Similar to [SY94, p. 81], a function G defined on M × M \ diag(M × M ) is called a global positive Green's function for ∆ g -1 on M if G satisfies the following properties:

  Lemma 3.1. -Let (M, g) a complete Riemannian manifold. Then (M, g) admits a global positive Green's function G for ∆ g -1 on M . Furthermore, for any x ∈ M and any compact set B containing x, G(x, y) C B for all y ∈ M \ B, where the constant C B > 0 depending only on B.

  x, y) C where C > 0 depends only on B. Applying the maximum principle yields G i (x, y) C on M \ B. By the proof of the first statement [SY94, p. 83], a subsequence of G i converges uniformly on compact subsets to G; hence, G(x, y) C on M \ B.

  Corollary 3.3. -Let us endow M := X \ D lc with the metric ω. Then M admits a global positive Green's function G which in particular belongs to L 1 (M ). Furthermore, for any x ∈ M and any r > 0, G(x, y) as a function of y ∈ M satisfies G(x, y) C k,α (M \Br(x)) C(k, α) sup y∈∂Br G(x, y)

  Green's function. -The following result is a slight variant of [Wu09, Lemma 2 p. 138]. Lemma 3.4. -Let M = X \ D lc with metric ω. Given x ∈ M and a small ball

  following [Wu09, p. 138] we obtain lim m→+∞ M \B div(χ m f ∇h) = 0 by using Lebesgue's dominated convergence theorem. Corollary 3.5. -Let us endow M = X \ D lc with the metric ω, and let G be the global positive Green's function obtained in Corollary 3.3. For any x ∈ M and any

4. 3 .

 3 Proof of Theorem B. -4.3.1. The set-up. -In order to keep more usual notations, we assume that the initial log pair is (Y, ∆), and we consider a log resolution π : (X, D) → (Y, ∆) of the pair. Here, D =

  (4.5) u ε C + χ 4.3.4. The Laplacian estimate.

∆

  ω (log tr ω ω + Ψ ε -(C + 1)v ε ) tr ω ω -n(C + 1)The function inside the Laplacian is smooth on X \ (D lc ∪ E) and tends to -∞ near E. Therefore, one can apply the same maximum principle as in the last subsection: introduceH := log tr ω ω + Ψ ε -(C + 1)v ε and H m := H + 1 m ϕ P .By construction H m tends to -∞ near D lc and E, so we can choose a point x m outside of these divisors where H m attains its maximum. At this point, we have 0 dd c H m = dd c H + 1 m dd c ϕ so that at this point again, we find dd c H C m ω 0 Cε m ω . Using a basic inequality, we find (4.6)log tr ω ω (x m ) (v ε + F ε )(x m ) + (n -1) log [n(C + 1) + nC ε /m]Therefore, as Ψ ε is uniformly bounded and v ε is uniformly bounded below, we have:log tr ω ω = H + (C + 1)v ε -Ψ ε sup m H(x m ) + (C + 1)v ε + C (4.6) sup m (v ε + F ε )(x m ) + (n -1) log [n(C + 1) + nC ε /m] -(C + 1)v ε )(x m ) + (C + 1)v ε + C -C inf v ε + sup F ε + (C + 1)v ε + C (4.3)-(4.5)