arXiv:1107.4677v1 [math.DG] 23 Jul 2011

arXiv:1107.4677v1 [math.DG] 23 Jul 2011

ON ORBIFOLDS

XIANZHE DAI, KEFENG LIU, AND XIAONAN MA

Abstract. In this note, we explain that Ross-Thomas’ result [4, Theorem 1.7] on the weighted Bergman kernels on orbifolds can be directly deduced from our previous result [1]. This result plays an important role in the companion paper [5] to prove an orbifold version of Donaldson Theorem.

In two very interesting papers [4, 5], Ross-Thomas describe a no- tion of ampleness for line bundles on K¨ahler orbifolds with cyclic quo- tient singularities which is related to embeddings in weighted projective spaces. They then apply the results in [4] to prove an orbifold version of Donaldson Theorem [5]. Namely, the existence of an orbifold K¨ahler metric with constant scalar curvature implies certain stability condi- tion for the orbifold. In these papers, the result [4, Theorem 1.7] on the asymptotic expansion of Bergman kernels plays a crucial role.

In this note, we explain how to directly derive Ross-Thomas’ result [4, Theorem 1.7] from Dai-Liu-Ma [1, (5.25)], provided Ross-Thomas condition [4, (1.8)] on ci holds. Since in [1, §5], we state our results for general symplectic orbifolds, in what follows, we will just use the version from [2, Theorem 5.4.11], where Ma-Marinescu wrote them in detail for K¨ahler orbifolds. We will use freely the notation in [2, §5.4].

We assume also the auxiliary vector bundle E therein is C.

Let (X, J, ω) be a compactn-dimensional K¨ahler orbifold with com- plex structureJ, and with singular setXsing. Let (L, h^L) be a holomor- phic Hermitian proper orbifold line bundle on X. Let ∇^L be the holo- morphic Hermitian connections on (L, h^L) with curvatureR^L= (∇^L)².

We assume that (L, h^L,∇^L) is a prequantum line bundle, i.e., R^L=−2π√

−1ω.

(0.1)

Let g^{T X} = ω(·, J·) be the Riemannian metric on X induced by ω.

Let ∇^{T X} be the Levi-Civita connection on (X, g^{T X}). We denote by R^{T X} = (∇^{T X})² the curvature, by r^X the scalar curvature of ∇^{T X}. For x∈X, set d(x, Xsing) := infy∈Xsingd(x, y) the distance from xto Xsing.

1

For p ∈ N, the Bergman kernel Pp(x, x^′) (x, x^′ ∈ X) is the smooth kernel of the orthogonal projection from C^∞(X, L^p) onto H⁰(X, L^p), with respect to the Riemannian volume formdv_X(x^′).

Theorem 0.1 ([1, Theorem 1.4], [2, Theorem 5.4.10]). There exist smooth coefficientsbbbr(x)∈C∞(X)which are polynomials inR^{T X}, and its derivatives with order 6 2r−2 at x and C0 >0 such that for any k, l∈N, there exist Ck,l >0, M ∈N with

(0.2) 1

pⁿPp(x, x)− Xk

r=0

bbbr(x)p^−r_Cl 6C_k,l

p^−k−1+p^l/2(1 +√pd(x, X_sing))^Me^{−√C0p d(x,Xsing)} , for any x∈X, p∈N∗. Moreover

bbb0 = 1, bbb1 = 1 8πr^X. (0.3)

In local coordinates, there is a more precise form [1, (5.25)], see also [2, Theorem 5.4.11]. Let{xi}^Ii=1⊂Xsing. For each pointxi we consider corresponding local charts (Gxi,Uexi) → Uxi with Uexi ⊂ Cⁿ, such that 0 ∈ Uexi is the inverse image of xi ∈ Uxi, and 0 is a fixed point of the finite stabilizer group Gxi at xi, which acts C-linearly and effectively onCⁿ (cf. [2, Lemma 5.4.3]). We assume moreover that

B^Uexi(0,2ε)⊂Uexi, and Xsing ⊂W :=∪^Ii=1B^Uexi(0,1

4ε)/Gxi. Let Ue_x^g_i be the fixed point set of g ∈ Gxi in Uexi, and let Nexi,g be the normal bundle of Ue_x^g_i in Ue_xi. For each g ∈ G_xi, the exponential map Ne_xi,g,ex ∋ Y → exp^U_xe^exi(Y) identifies a neighborhood of Ue_x^g_i with Wfxi,g ={Y ∈ Nexi,g,|Y|6 ε}. We identify L|Wf_xi,g with L|Ue_xi^g by using the parallel transport along the above exponential map. Then the g- action onL|Wf_xi,g is the multiplication bye^iθg, andθg is locally constant onUe_x^g_i.

Let ∇^Nexi,g be the connection on Nexi,g induced by the Levi-Civita connection via projection. We trivialize Nexi,g ≃ Ue_x^g_i × C^ng by the parallel transport along the curve [0,1] ∋ t → tZe_1,g for Ze_1,g ∈ Ue_x^g_i, which identifies also the metric on Nexi,g with the canonical metric on C^ng. If Ze ∈ fWxi,g, we will write Ze = (Ze1,g,Ze2,g) with Ze1,g ∈ Ue_x^g_i, Ze_2,g ∈ C^ng. We will denote by Z the corresponding point on the orbifold.

Theorem 0.2([1, (5.25)], [2, Theorem 5.4.11]). On Uexi as above, there exist polynomialsK

r,Ze1,g(Ze2,g)inZe2,g of degree63r, of the same parity as r, whose coefficients are polynomials in R^{T X} and its derivatives of order 6r−2, and a constant C0 >0 such that for any k, l∈N, there exist C_k,l >0, N ∈N such that

(0.4)

1

pⁿPp(Z,e Ze)− Xk

r=0

bbbr(Ze)p^−r

− X2k

r=0

p^−r2 X

16=g∈Gx0

e^iθgpK

r,Ze1,g(√pZe2,g)e^{−2πph(1−g−1)ez2,g,ez2,gi} _Cl 6Ck,l

p^−k−1+p^−k+l−12 (1 +√pd(Z, Xsing))^Ne^{−√C0p d(Z,Xsing)} , for any|Ze|6ε/2,p∈N, withbbb_r(Z)e as in Theorem 0.1 andK

0,Ze1,g = 1.

Given a function f(p, x) in p∈N and x∈X, we write f =O^Cj(p^l) if the C^j-norm of f is uniformly bounded by C p^l.

Theorem 0.3. Let (X, ω) be a compact n-dimensional K¨ahler orb- ifold with cyclic quotient singularities (i.e., the stabilizer group G_x is a cyclic group for any x∈ X), and L be a proper orbifold line bundle on X equipped with a Hermitian metric h^L whose curvature form is

−2π√

−1ω, such that for any x ∈ X, the stabilizer group Gx acts on L_ex as Z_|G

x|-order cyclic group. Fix N ≥ 0, and r ≥ 0 and suppose ci

are a finite number of positive constants chosen so that if X has an orbifold point of order m then

1 m

X

i

i^kci = X

i≡u mod m

i^kci for all u and all k= 0,· · ·, N +r.

(0.5)

Then the function

B_p^orb(x) := X

i

ciPp+i(x, x).

(0.6)

admits a global C^2r-expansion of order N. That is, there exist smooth functions b0,· · · , bN on X such that

B_p^orb = XN

j=0

b_jp^n−j +O^C2r(p^n−N−1).

(0.7)

Furthermore, bj are universal polynomials in the constants ci and the derivatives of ω; in particular

b0 =X

i

ci, b1 =X

i

ci

n i+ 1 8πr^X

. (0.8)

Remark 0.4. Theorem 0.3 recovers [4, Theorem 1.7]of Ross-Thomas, where the remainder estimate is O^Cr(p^n−N−1).

We improve here their remainder estimate to O^C2r(p^n−N−1) and we get Theorem 0.3 directly from Theorems 0.1, 0.2.

Remark 0.5. By Ma-Marinescu [3, (3.30), Remark 3.10], [2, Theo- rem 4.1.3, Remark 5.4.13], Theorem 0.3 generalizes to any J-invariant metric g^{T X} on T X. Set Θ := g^{T X}(J·,·). The only change is that the coefficients in the expansion become

b0 = ωⁿ Θⁿ

X

i

ci, b1 = ωⁿ Θⁿ

X

i

ci

n i+ r^X_ω 8π − 1

4π∆ωlog ωⁿ

Θⁿ (0.9) ,

where r^X_ω, ∆ω are the scalar curvature and the Bochner Laplacian as- sociated to g_ω^{T X} =ω(·, J·). Moreover, (0.7) can be taken to be uniform as (h^L, g^{T X}) runs over a compact set.

Proof of Theorem 0.3. Recall that now Gis a cyclic group of order m.

Letζ be a generator ofG. From the local condition for orbi-ample line bundles, ζ acts on Lxi as a primitive m-th root of unity λ. Thus in (0.4), e^iθζu =λ^u. For u∈ {1,· · · , m−1}, set

η_u =e^{−2πh(1−ζ−u)ez2,ζu,ez2,ζui}, (0.10)

Su(Z) =e X

i

ci

2NX+2r+1 j=0

(p+i)^n−j2K

j,Ze1,ζu(p

p+iZe2,ζ^u)λ^u(p+i)η_u^p+i,

S2 =

m−1

X

u=1

S_u, S1 =X

i

c_i

N+rX

j=0

bbb_j(Ze)(p+i)^n−j.

HereZ =z+z, and z =P

izi ∂

∂zi,z =P

izi ∂

∂zi when we consider them as vector fields, and ∂z^∂i

² = ∂z^∂i

² = 1

2. Similarly for Ze (and those with subscripts).

Applying (0.4) for k =N +r+ 1 we obtain for |Ze| ≤ε/2, (0.11) B_p^orb(Z)e − S1− S2

_Cl 6Clp^{n−N−r−2}

1 +p^l+12 (1 +√pd(Z, Xsing))^Me^{−√C0p d(Z,Xsing)}

+X

i

c_i(p+i)^{n−N−r−1}

mX−1 u=1

K

2N+2r+2,Ze_1,ζu(p

p+iZe_2,ζ^u)η_u^p+i_Cl+bbb_N+r+1(Ze)_Cl

! . In what follows, we write for simplicity Ze1,ζ^u as Z1,u and Ze2,ζ^u as

Z_2,u. For a function f(p, Z) with p ∈ N and |Z| ≤ ε/2 we write f =O^Cj(g(p, Z)) if theC^j-norm of f inZ can be uniformly controlled by C|g(p, Z)|.

Note thatK_j,Z

1,u(Z2,u) is a polynomial in Z2,u with the same parity as j and degK_j,Z

1,u ≤ 3j. Denote by K_j,Z

1,u,l the l-homogeneous part of K_j,Z

1,u. Then K_j,Z

1,u,l = 0 if l and j are not in the same parity or l >3j. By (0.10),

(0.12) Su(Z) =X

i

ci

2N+2r+1X

j=0

X

l

(p+i)^n−j−2lK_j,Z

1,u,l(Z2,u)λ^u(p+i)η_u^p+i

=λ^up

2N+2r+1X

j=0



 X

l≥j−2n nX−^j−l2

q=0

+ X

l<j−2n N+rX

q=0

K_j,Z

1,u,l(√pZ2,u)

× p^n−2j−q

n− ^j−2^l

q

X

i

cii^qλ^uiη_u^p+i )

+O^C2r(p^n−N−1).

Here we used (p+i)^γ = PN+r q=0 p^γ−q

γ q

i^q +O(p^{γ−N−r−1}) for γ < 0 and the following relations for r^′, r^′′∈N, r^′′ ≤l,

K_j,Z

1,u,l(√pZ_2,u)η^p_u =O^Cr′(p^r2′η_u^p/2), K_j,Z

1,u,l(√pZ2,u) =O^Cr′′(p^2l|Z2,u|^l−r′′).

(0.13)

In order to prove (0.7) it is sufficient to show that for 0≤ l ≤ N +r, r^′ ≤2r,

w_l,p:=X

i

c_ii^lλ^uiη_u^p+i=O^Cr′(p^{l−N−r−1+r2′}η^p/2_u ).

(0.14)

In fact, we will prove thatw_l,p =O^Cr′(p^{l−N−r−1+r2′}η^(34−r

′ 8r)p

u ) forr^′ ≤2r.

Sincedwl,p = ^dη_η^u

u(pwl,p+wl+1,p), and ^dη_η^u

u has a termz2,u orz2,u which can be absorbed by ηu^8r1p to get a factor p^−1/2, we see by induction that it is sufficient to prove wl,p =O^C0(p^{l−N−r−1}η

3 4p

u ). To this end, write wl,p =

P

ic_ii^lλ^uiη_uⁱ (ηu−1)^N+r−l+1

(ηu−1)^N+r−l+1η_u^p. (0.15)

Sinceλ is a primitive m-th root of unity, λ^u 6= 1 if u∈ {1,· · · , m−1}. From [4, Lemma 3.5], under the condition (0.5), the function η → P

icii^lλ^uiηⁱ has a root of orderN +r−l+ 1 atη = 1 and so the term in square brackets is bounded.

For|z2,u| ≤ε, we have by (0.10),

|η_u−1| ≤C|z_2,u|². (0.16)

By using (0.10) and (0.16) and the fact that [0,∞) ∋ x 7→ x^se^−x is bounded for any s≥0, we get

(ηu−1)^sη_u^p/4 =O(p^−s) for s ≥1.

(0.17)

Thus, wl,p=O^C0(p^{l−N−r−1}η

3 4p

u ) and (0.14) follows.

Back in (0.12), for q > N +r, the corresponding contribution is certainly p^n−j2−q· O^C2r(p^rηu^p/2) =O^C2r(p^n−N−1ηu^p/2), by (0.13). On the other hand, if 0≤q ≤N+r, then, by (0.13) and (0.14), the correspond- ing contribution isp^n−j2−q·O^C2r(p^{q−N−r−1+r}(1+√p|Z2,u|)^6N+6r+3ηu^p/2) = O^C2r(p^n−N−1ηu^p/4) again. ThusSu =O^C2r(p^n−N−1).

From (0.10) and the above argument, S² =O^C2r(p^n−N−1). Combin- ing with (0.10), (0.11) and (0.13), we get (0.7) and (0.8).

References

[1] X. Dai, K. Liu, and X. Ma, On the asymptotic expansion of Bergman kernel, J. Differential Geom. 72(2006), 1– 41.

[2] X. Ma and G. Marinescu, Holomorphic Morse inequalities and Bergman ker- nels, Progress in Mathematics, vol. 254, Birkh¨auser Boston Inc., Boston, MA, 2007, 422 pp.

[3] X. Ma and G. Marinescu, Generalized Bergman kernels on symplectic mani- folds, Adv. Math. 217 (2008), no. 4, 1756–1815.

[4] J. Ross and R. Thomas, Weighted Bergman kernels on orbifolds.

arXiv:0907.5215, J. Differential Geom. 88(2011), 87– 108.

[5] J. Ross and R. Thomas, Weighted projective embeddings, stability of orbifolds, and constant scalar curvature K¨ahler metrics, J. Differential Geom. 88(2011), 109– 160.

Department of Mathematics, UCSB, CA 93106 USA E-mail address: dai@math.ucsb.edu

Center of Mathematical Science, Zhejiang University and Depart- ment of Mathematics, UCLA, CA 90095-1555, USA

E-mail address: liu@math.ucla.edu

Universit´e Paris Diderot - Paris 7, UFR de Math´ematiques, Case 7012, Site Chevaleret, 75205 Paris Cedex 13, France

E-mail address: ma@math.jussieu.fr