1: \documentclass[10pt]{amsart}
2: \author{Chiung-ju Liu}
3: \keywords{Asymptotic expansion; Riemann surfaces}
4: \title{The asymptotic Tian-Yau-Zelditch expansion on Riemann surfaces with Constant Curvature}
5: \email{cjliu4@ntu.edu.tw}
6: \address{Taida Institute of Mathematical Science,
7: National Taiwan University, Taiwan 106}
8: \date{June 30, 2008}
9: \thanks{Research supported by the grant of NSC A95-0918.}
10: \usepackage{amsfonts}
11: \usepackage{amsmath,amsthm,amscd, amssymb}
12: \usepackage{amsthm}
13: \usepackage{setspace}
14: \usepackage{amsrefs}
15: \begin{document}
16: \footnote{\textit{Subject Classification.} Primary
17: 53C55; Secondary 32Q05\nonumber}
18: \begin{abstract}
19: Let $M$ be a regular Riemann surface with a
20: metric which has constant scalar curvature $\rho$. We give
21: the asymptotic expansion of the sum of the square norm of the
22: sections of the pluricanonical bundles $K_{M}^{m}$. That is,
23: \[\sum_{i=0}^{d_{m}-1}\|S_{i}(x_{0})\|_{h_{m}}^{2}
24: \sim m(1+\frac{\rho}{2 m})+O\left(e^{-\frac{(\log
25: m)^{2}}{8}}\right),\] where $\{S_{0},\cdots,S_{d_{m}-1}\}$ is an
26: orthonormal basis for $H^{0}(M, K_{M}^{m})$ for sufficiently large
27: $m$.
28: \end{abstract}
29: \newtheorem{thm}{Theorem}[section]
30: \maketitle \section{Introduction} Let $M$ be an $n$-dimensional
31: compact complex K\"ahler manifold with an ample line bundle $L$
32: over $M$. Let $g$ be the K\"ahler metric on $M$ corresponding to
33: the K\"ahler form $\omega_{g}=Ric(h)$ for some positive Hermitian
34: $h$ metric on $L$. Such a K\"ahler metric $g$ is called a
35: polarized K\"ahler metric. The metric $h$ induces a Hermitian
36: metric $h_{m}$ on $L^{m}$ for all positive integers $m$. Let
37: $\{S_{0},\cdots,S_{d_{m}-1}\}$ be an orthonormal basis of the
38: space $H^{0}(M,L^{m})$ with respect to the inner product
39: \numberwithin{equation}{section}
40: \begin{equation}(S,T)=\int_{M}\langle
41: S(x),T(x)\rangle_{h_{m}}dV_{g},\label{2}\end{equation} where
42: $d_{m}=\mathrm{dim}H^{0}(M,L^{m})$ and
43: $dV_{g}=\frac{\omega_{g}^{n}}{n!}$ is the volume form of $g$. The
44: quantity
45: \begin{equation}\sum_{i=0}^{d_{m}-1}\|S_{i}(x)\|^{2}_{h_{m}}\label{1}\end{equation} is
46: related to the existence of K\"ahler-Einstein metrics and
47: stability of complex manifolds. A lot of work has been done for
48: \eqref{1} on compact complex K\"ahler manifolds. Tian~\cite{TG5}
49: applied H\"omander's $L^{2}$-estimate to produce peak sections and
50: proved the $C^{2}$ convergence of the Bergman metrics. Later,
51: Ruan~\cite{RWD} proved the $C^{\infty}$ convergence. About the
52: same time, Zelditch~\cite{ZS} and Catlin~\cite{CD} separately
53: generalized the theorem of Tian by showing there is an asymptotic
54: expansion
55: \begin{equation}
56: \sum_{i=0}^{d_{m}-1}\|S_{i}(x)\|^{2}_{h_{m}}\sim
57: a_{0}(x)m^{n}+a_{1}(x)m^{n-1}+a_{2}(x)m^{n-2}+\cdots
58: \label{1.1}\end{equation} for certain smooth coefficients $a_{j}(x)$
59: with $a_{0}=1$.
60: In~\cite{LZ4}, Lu proved that each coefficient
61: $a_{j}(x)$ is a polynomial of the curvature and its covariant
62: derivatives. In particular, $a_{1}=\frac{\rho}{2}$, where $\rho$
63: is the scalar curvature of $M$. These polynomials can be found by
64: finitely many steps of algebraic operations. Recently, Song
65: \cite{S} generalized Zelditch's theorem on orbifolds of finite
66: isolated singularities. The information on the singularities can
67: be found in the expansion.
68:
69: On the Riemann surfaces with bounded curvature, Lu~\cite{LZ3}
70: proved that there is a lower bound for \eqref{1}. Later, the
71: result of Lu and Tian~\cite{L-T} implies that on the Riemann
72: surfaces with constant scalar curvature $\rho$, the asymptotic
73: expansion \eqref{1.1} is given by
74: \[\sum_{i=0}^{d_{m}-1}\|S_{i}(x_{0})\|_{h_{m}}^{2}
75: \sim m(1+\frac{\rho}{2m})+O\left(\frac{1}{m^{p}}\right)\] for any
76: $p>0$. In the current paper, we obtain a more precise result for
77: \eqref{1.1}.
78:
79: \begin{thm}\label{Liu}
80: Let $M$ be a regular compact Riemann surface and $K_{M}$ be the
81: canonical line bundle endowed with a Hermitian metric $h$ such
82: that the curvature $Ric(h)$ of $h$ defines a K\"ahler metric $g$
83: on $M$. Suppose that this metric $g$ has constant scalar curvature
84: $\rho$. Then there is a complete asymptotic expansion:
85: \[\sum_{i=0}^{d_{m}-1}\|S_{i}(x_{0})\|_{h_{m}}^{2}
86: \sim m(1+\frac{\rho}{2m})+O\left(e^{-\frac{(\log
87: m)^{2}}{8}}\right),\] where $\{S_{0},\cdots,S_{d_{m}-1}\}$ is an
88: orthonormal basis for $H^{0}(M, K_{M}^{m})$ for some
89: $m>\max\{e^{20\sqrt{5}}+2|\rho|,|\rho|^{4/3},\frac{1}{\delta},\sqrt{\frac{2}{|\rho|}}\}$,
90: where $\delta$ is the injective radius at $x_0$.
91: \end{thm}
92: Our result indicates that the asymptotic expansion \eqref{1.1} is
93: in exponential decay.\\
94: Engli\u s~\cite{EM} has an asymptotically expansion for the
95: Berezin transformation on any planar domain of hyperbolic type. He
96: also showed that Berezin kernel~\cite{B} has
97: \[\tilde{B}(\eta,\eta)=m\left(1+O(1)\rho_{0}(0)^{\frac{\pi m-3}{2}}\right),\]
98: where $\rho_{0}(0)$ is a positive constant.
99:
100: \paragraph{\textbf{Acknowledgements}}
101: The author thanks her advisor Z. Lu for his suggestions and help
102: during the preparation of this paper. She also thanks R. Chiang
103: for her encouragement.
104: \section{General set up}
105:
106: Let $M$ be an $n$-dimensional compact complex K\"ahler manifold with
107: a polarized line bundle $(L,h)\rightarrow M$. Choose the
108: $K$-coordinates $(z_{1},\cdots,z_{n})$ on an open neighborhood $U$
109: of a fixed point $x_{0}\in M$. Then the K\"ahler form
110: \[\omega_{g}=\frac{\sqrt{-1}}{2\pi}\sum_{\alpha,\beta=1}^{n}g_{\alpha\bar{\beta}}dz_{\alpha}\wedge
111: d\bar{z}_{\beta}\] satisfies
112: \begin{equation}
113: g_{\alpha\bar{\beta}}(x_{0})=\delta_{\alpha\bar{\beta}}, \qquad
114: \frac{\partial^{p_{1}+\cdots+p_{n}}g_{\alpha\bar{\beta}}}{\partial
115: z_{1}^{p_{1}}\cdots\partial z_{n}^{p_{n}}}(x_{0})=0,\label{2.1}
116: \end{equation}
117: for $\alpha,\beta=1,\cdots,n$ and any nonnegative integers
118: $p_{1},\cdots, p_{n}$ with $p_{1}+\cdots+p_{n}\neq 0$.
119:
120: We also choose a local holomorphic frame $e_{L}$ of the line bundle
121: $L$ at $x_{0}$ such that $a$ is the local representation function of
122: the Hermitian metric $h$. That is,
123: \[Ric(h)=-\frac{\sqrt{-1}}{2\pi}\partial\bar{\partial}\log
124: a.\] Under the $K$-coordinate, the function $a$ has the properties
125: \begin{equation}
126: a(x_{0})=1,\qquad \frac{\partial^{p_{1}+\cdots+p_{n}}}{\partial
127: z_{1}^{p_{1}}\cdots\partial z_{n}^{p_{n}}}(a)(x_{0})=0\label{2.2}
128: \end{equation}
129: for any nonnegative integers $p_{1},\cdots, p_{n}$ with
130: $p_{1}+\cdots+p_{n}\neq 0$.
131:
132:
133: Let $\{S_{0},\cdots,S_{d_{m}-1}\}$ be a basis of $H^{0}(M,L^{m})$.
134: Assume that at the point $x_{0}\in M$,
135: \[S_{0}(x_{0})\neq 0, \qquad S_{i}(x_{0})=0, \qquad
136: i=1,\cdots,d_{m}-1.\] If the set $\{S_{0},\cdots,S_{d_{m}-1}\}$ is
137: not an orthonormal basis, we may do the following: \\Let the
138: metric matrix
139: \[F_{ij}=(S_{i},S_{j}), \qquad i,j=0,\cdots, d_{m}-1\] with respect
140: to the inner product \eqref{2}. By definition, $(F_{ij})$ is a
141: positive definite Hermitian matrix. We can find a $d_{m}\times
142: d_{m}$ matrix $G_{ij}$ such that
143: \[F_{ij}=\sum_{k=0}^{d_{m}-1}G_{ik}\overline{G_{jk}}.\] Let $(H_{ij})$
144: be the inverse of $(G_{ij})$. Then
145: $\{\sum_{j=0}^{d_{m}-1}H_{ij}S_{j}\}$ forms an orthonormal basis of
146: $H^{0}(M,L^{m})$. The left hand side of \eqref{1} is equal to
147: \begin{equation}
148: \sum_{i=0}^{d_{m}-1}\|\sum_{j=0}^{d_{m}-1}H_{ij}S_{j}(x_{0})\|^{2}_{h_{m}}=
149: \sum_{i=0}^{d_{m}-1}|H_{i0}|^{2}\|S_{0}(x_{0})\|^{2}_{h_{m}}.\label{2.3}
150: \end{equation}
151: Let $(I_{ij})$ be the inverse matrix of $(F_{ij})$. Denote that
152: \begin{equation}\sum_{i=0}^{d_{m}-1}|H_{i0}|^{2}=I_{00}.\label{2.4}
153: \end{equation}
154: In order to compute \eqref{2.4}, we need a suitable choice of the
155: basis $\{S_{0},\cdots, S_{d_{m}-1}\}$. We select some of Tian's
156: peak sections in our basis. The following lemma an improved
157: version of Tian's result~\cite[Lemma 1.2]{TG5}, which is done by
158: Lu and Tian.
159:
160: Let $\mathbb{Z}_{+}^{n}$ be the set of $n$-tuple integers
161: $P=(p_{1},\cdots,p_{n})$ such that each $p_{i}$ is a nonnegative
162: integer for $i=1,\cdots,n$. For $P\in\mathbb{Z}_{+}^{n}$, we denote
163: that $z^{P}=z_{1}^{p_{1}}\cdots z_{n}^{p_{n}}$ and $|P|=p_{1}+\cdots
164: p_{n}$.
165: \newtheorem{lemma}{Lemma}[section]
166: \begin{lemma}[Tian]\label{Tian}
167: Suppose $Ric(g)\geq -K\omega_{g}$, where $K>0$ is a constant. For
168: $P\in\mathbb{Z}_{+}^{n}$ and an integer $p'>|P|$, let $m$ be an
169: integer such that \[m>\max\{e^{20\sqrt{n+2p'}}+2K,
170: e^{8(p'-1+n)}\}.\] Then there is a holomorphic section $S_{P,m}\in
171: H^{0}(M,L^{m})$, satisfying
172: \begin{equation}
173: |\int_{M}\|S_{P,m}\|_{h_{m}}^{2}dV_{g}-1|\leq C e^{-\frac{1}{8}(\log
174: m)^{2}}.\label{2.5}
175: \end{equation}
176: Moreover, $S_{P,m}$ can be decomposed as
177: \[S_{P,m}=\tilde{S}_{P,m}-u_{P,m}\]
178: such that
179: \begin{equation}
180: \tilde{S}_{P,m}(x)=\lambda_{P}\eta\left(\frac{m|z|^{2}}{(\log
181: m)^{2}}\right)z^{P}e_{L}^{m}=
182: \begin{cases}\lambda_{P}z^{P}e_{L}^{m}&\text{$x\in\{|z|\leq \frac{\log m}{\sqrt{2m}}\}$},\\
183: 0&\text{$x\in M\setminus \{|z|\leq \frac{\log
184: m}{\sqrt{m}}\}$},\label{2.7}
185: \end{cases}
186: \end{equation}
187: and \begin{equation}\int_{M}\|u_{P,m}\|^{2}_{h_{m}}dV_{g}\leq C
188: e^{-\frac{1}{4}(\log m)^{2}},\label{2.9}
189: \end{equation}
190: where $\eta$ is a smoothly cut-off function
191: \begin{equation*}\eta(t)=\begin{cases}1&\text{for $0\leq t \leq \frac{1}{2}$},\\0&\text{for $t\geq 1$}.\end{cases}
192: \end{equation*} satisfying $0\leq -\eta'(t)\leq 4$ and $|\eta''(t)|\leq 8$ and
193: \begin{equation}
194: \lambda_{P}^{-2}=\int_{|z|\leq\frac{\log
195: m}{\sqrt{m}}}|z^{P}|^{2}a^{m}dV_{g}.\label{2.6}
196: \end{equation}
197: \end{lemma}
198: \begin{proof} Define the weight function
199: \[\Psi(z)=(n+2p')\eta\left(\frac{m|z|^{2}}{(\log m)^{2}}\right)\log\left(\frac{m|z|^{2}}{(\log m)^{2}}\right).\]
200: A straightforward computation gives
201: \begin{equation}
202: \sqrt{-1}\partial\bar{\partial}\Psi\geq -\frac{100m(n+2p')}{(\log
203: m)^{2}}\omega_{g}.\label{2.10}
204: \end{equation}
205: By using \eqref{2.10}, we can verify that
206: \[\langle \partial\bar{\partial}\Psi+\frac{2\pi}{\sqrt{-1}}(Ric(h^{m})+Ric(g)),v\wedge \bar{v}\rangle_{g}\geq\frac{1}{4}m\|v\|_{g}^{2}.\]
207: For $P\in \mathbb{Z}_{+}^{n}$, consider the $1$-form
208: \[w_{P}=\bar{\partial}\eta(\frac{m|z|^{2}}{(\log
209: m)^{2}})z^{P}e_{L}^{m}.\] Since $w_{P}\equiv 0$ in a neighborhood
210: of $x_{0}$, we have
211: \[\int_{M}\|w_{P}\|_{h_{m}}^{2}e^{-\Psi}dV_{g}<+\infty.\]
212: By~\cite[Prop. 2.1]{TG5}, there exists a smooth $L^{m}$-valued
213: section $u_{P}$ such that $\bar{\partial}u_{P}=w_{P}$ and
214: \begin{equation}
215: \int_{M}\|u_{P}\|^{2}_{h_{m}}e^{-\Psi}dV_{g}
216: \leq\frac{4}{m}\int_{M}\|w_{P}\|_{h_{m}}^{2}e^{-\Psi}dV_{g}<\infty.\label{2.11}
217: \end{equation}
218: By direct computation, we get
219: \[\int_{M}\|u_{P}\|_{h_{m}}^{2}e^{-\Psi}dV_{g}\leq
220: \frac{C(\log m)^{2(p-1)}}{m^{p}}\int_{\frac{\log
221: m}{\sqrt{2m}}\leq|z|\leq \frac{\log m}{\sqrt{m}}}a^{m}dV_{0}.\]
222: Under the $K$-coordinate, we have
223: \[a^{m}=e^{m\log a}=e^{m(-|z|^{2}+O(|z|^{4}))}.\]
224: Hence we get
225: \[\int_{M}\|u_{P}\|_{h_{m}}^{2}e^{-\Psi}dV_{g}\leq \frac{C_{1}(\log
226: m)^{2(p-1+n)}}{m^{p+n}}e^{-\frac{1}{2}(\log m)^{2}}\] for some
227: constant $C_{1}$.
228: Let
229: $\tilde{S}_{P,m}=\lambda_{P}\eta(\frac{m|z|^{2}}{(\log
230: m)^{2}})z^{P}e_{L}^{m}$ and $u_{P,m}=\lambda_{P}u_{P}$. Use a
231: result in~\cite{LZ4} \[\lambda_{P}^{2}\leq C_{2}m^{n+|P|}\] for
232: some constant $C_{2}$. Then we have
233: \[\int_{M}\|u_{P,m}\|_{h_{m}}^{2}dV_{g}\leq C(\log
234: m)^{2(|P|-1+n)}e^{-\frac{1}{2}(\log m)^{2}}.\] Choosing
235: $m>e^{8(p'-1+n)}$, we obtain
236: \[\int_{M}\|u_{P,m}\|_{h_{m}}^{2}dV_{g}\leq Ce^{-\frac{1}{4}(\log m)^{2}}.\]
237: \end{proof}
238: \section{Proof of Theorem \ref{Liu}}
239:
240: \begin{proof}
241: Let $M$ be a smooth compact Riemann surface with a metric $g$ that
242: has constant scalar curvature. Let $x_0$ be a fixed point. Let
243: \[U=\{x:{\rm dist}(x,x_0)< \delta\},\] where $\delta$ is the
244: injective radius at $x_0$. It is well known that on a Riemann
245: surface there is an isothermal coordinate at each point on $U$. We
246: may assume that there is a holomorphic function $z$ on $U$ and it
247: defines the conformal structure on $U$. That is,
248: \[ds^2=g dz d\bar{z}\] and $g>0$.
249: The metric $g$ satisfies
250: \begin{equation} \triangle\log g=-\rho,
251: \quad g(x_{0})=1, \quad\text{and}\quad \frac{\partial g}{\partial
252: z}(x_{0})=0, \label{2.12}\end{equation} where
253: \[\triangle=g^{-1}\frac{\partial^{2}}{\partial z\partial\bar{z}}\]
254: is the complex Laplace of $M$. Since the metric $g$ has conformal
255: structure, it is rotationally symmetric. We can write \eqref{2.12}
256: in polar coordinates $(r,\theta)$:
257: \begin{equation} \frac{\partial^{2}g}{\partial
258: r^{2}}+\frac{1}{r}\frac{\partial g}{\partial
259: r}-\frac{1}{g}(\frac{\partial g}{\partial r})^{2}=-4\rho g^{2},
260: \qquad g(0,\theta)=1,\quad \frac{\partial g}{\partial
261: r}(0,\theta)=0,\label{2.13}
262: \end{equation} where $z=re^{i\theta}$, and $|z|^{2}=r^{2}$. There
263: exists a solution
264: \begin{equation}g=\frac{1}{(1+\frac{\rho}{2}|z|^{2})^{2}}\label{2.14}
265: \end{equation}
266: to \eqref{2.13} for $|z|<\sqrt{-\frac{2}{\rho}}$ if $\rho<0$.
267: Suppose that there exists another solution $g_{1}$ to
268: \eqref{2.13}. We have
269: \begin{equation*}
270: \triangle\log \left(g_{1}/g\right)=0\quad\text{and}\quad
271: g_1(x_0)=1.
272: \end{equation*}
273: For $\rho<0$, let $r_0<\sqrt{-\frac{2}{\rho}}$. Since $g$ and
274: $g_1$ are rotationally symmetric, they remain constant on
275: $|z|=r_0$. The harmonic function $\log(g/g_1)$ is a constant on
276: $|z|\leq r_0$ by Maximum Principle. By definition, we have
277: $g(x_{0})=g_1 (x_{0})=1$. Therefore, the solution in \eqref{2.14}
278: is unique around $x_{0}$. By the same reason, $g=g_1$ on $\{{\rm
279: dist}(x,x_0)\leq \delta_1\}$ for some $\delta_1 <\delta$ for
280: $\rho\leq 0$.
281:
282: Let $a$ be the local representation of the metric $h$ on $K_{M}$
283: such that
284: \[-\frac{\sqrt{-1}}{2\pi}\partial\bar{\partial}\log a=\omega_{g}.\]
285: If we normalize $a$ and $a$ satisfies
286: \begin{equation}
287: \triangle\log a=-1, \quad a(x_{0})=1, \quad \frac{\partial
288: a}{\partial z}(x_{0})=0.\label{a}
289: \end{equation}
290: Since
291: \[-\frac{\partial^{2}}{\partial z\partial\bar{z}} \log a=g,\]
292: $\log a$ is also rotationally symmetric. Since
293: \begin{equation}a=\left\{%
294: \begin{array}{ll}
295: \left(1+\frac{\rho}{2}|z|^{2}\right)^{-\frac{2}{\rho}}, & \hbox{if $\rho\neq 0$;} \\
296: e^{-|z|^{2}}, & \hbox{if $\rho=0$.} \\
297: \end{array}%
298: \right.\label{3.5}
299: \end{equation} satisfies \eqref{a}, the local
300: uniqueness is due to the same reason.
301:
302: We need to choose sufficient large $m$ such that $\frac{\log
303: m}{\sqrt{m}}<\min\{\delta, \sqrt{\frac{2}{|\rho|}}\}$. With these
304: particular solutions of $g$ and $a$, we further compute
305: \begin{eqnarray}\lambda_{0}^{-2}&=&\int_{|z|\leq\frac{\log
306: m}{\sqrt{m}}}a^{m}g\frac{\sqrt{-1}}{2\pi}dz\wedge
307: d\bar{z}\nonumber\\
308: &=&2\int_{o}^{\frac{\log
309: m}{\sqrt{m}}}(1+\frac{\rho}{2}r^{2})^{-\frac{2m}{\rho}-2}rdr\nonumber\\
310: &=&\frac{1}{m+\frac{\rho}{2}}\left(1-\big(1+\frac{\rho}{2}\frac{(\log
311: m)^{2}}{m}\big)^{-1-\frac{2m}{\rho}}\right)\qquad\text{for
312: $\rho\neq 0$}.
313: \end{eqnarray}
314: For $m>\max\{|\rho|^{4/3},10\}$, we have
315: $\big|\frac{\rho}{2}\frac{(\log m)^{2}}{m}\big|<1/2$. For $\rho\neq
316: 0$, this gives
317: \[
318: \big(1+\frac{\rho}{2}\frac{(\log
319: m)^{2}}{m}\big)^{-1-\frac{2m}{\rho}}\leq
320: 2e^{-\frac{2m}{\rho}\big(\frac{\rho}{2}\frac{(\log
321: m)^{2}}{m}-\frac{1}{2}(\frac{\rho}{2}\frac{(\log
322: m)^{2}}{m})^{2}+\cdots\big)}\leq Ce^{-(\log m)^{2}}.\] For
323: $\rho=0$, we have
324: \[\lambda_{0}^{-2}=\int_{|z|\leq\frac{\log
325: m}{\sqrt{m}}}e^{-m|z|^{2}}\frac{\sqrt{-1}}{2\pi}dz\wedge
326: d\bar{z}=\frac{1}{m}(1+ O(e^{-(\log m)^{2}})).\] Hence we obtain
327: \begin{equation}
328: \lambda_{0}^{-2}=
329: \frac{1}{m+\frac{\rho}{2}}\left(1+O\big(e^{-(\log
330: m)^{2}}\big)\right). \label{2.20}\end{equation}
331:
332:
333: From the properties of $g$ and $a$, the isothermal coordinate
334: $(U,z)$ is a $K$-coordinate. According to Lemma \ref{Tian}, we may
335: choose two peak sections
336: \begin{eqnarray*}
337: S_{0,m}&=&\lambda_{0}(\eta(\frac{m|z|^{2}}{(\log
338: m)^{2}})(dz)^{m}-u_{0})\\
339: S_{1,m}&=&\lambda_{1}(\eta(\frac{m|z|^{2}}{(\log
340: m)^{2}})z(dz)^{m}-u_{1})\end{eqnarray*} in $H^{0}(M,K_{M}^{m})$
341: for some $m>e^{20\sqrt{1+4}}+2|\rho|$. Obviously, we have
342: $S_{0,m}(x_{0})\neq 0$ and $S_{1,m}(x_{0})=0$. Let the subspace
343: \[V=\{S\in H^{0}(M,K_{M}^{m})|S(x_{0})=0, DS(x_{0})=0\},\]
344: where $D$ is a covariant derivative on $K_{M}^{m}$. Let
345: $T_{1},\cdots,T_{d_{m}-2}$ be an orthonormal basis of $V$. Let
346: \begin{align}
347: S_{i}=\begin{cases}
348: S_{i,m} &\text{if $i=0,1$}\\
349: T_{i-1}&\text{if $2\leq i\leq d_{m}-1$}
350: \end{cases}.\label{2.15}
351: \end{align}
352: Then $\{S_{i}\}_{i=0}^{d_{m}-1}$ forms a basis for
353: $H^{0}(M,K_{M}^{m})$. Locally, each $T_{i}$ has the form
354: $f_{i}(dz)^{m}$ for some holomorphic function $f_{i}$ defined in
355: $U$. The holomorphic function $f_{i}$ has Taylor expansion as
356: $f_{i}=\sum_{\alpha=2}^{\infty}b_{i\alpha}z^{\alpha}$ in $U$,
357: since $T_{i}(x_{0})=0$ and $DT_{i}(x_{0})=0$ for $1\leq i\leq
358: d_{m}-2$
359: \begin{lemma}\label{matrix}
360: Let $\{S_{i}\}_{i=0}^{d_{m}-1}$ be the basis of $
361: H^{0}(M,K_{M}^{m})$, defined in \eqref{2.15}. For
362: $m>e^{20\sqrt{5}}+2|\rho|$, the Hermitian matrix
363: \[(S_{i},S_{j})=\int_{M}\langle
364: S_{i}(x),S_{j}(x)\rangle_{h_{m}}dV_{g}\] is given by
365: \begin{eqnarray*}(S_{0},S_{0})&=&1+O\left(e^{-\frac{(\log
366: m)^{2}}{8}}\right),\\
367: (S_{0},S_{1})&=&O\left(e^{-\frac{(\log m)^{2}}{8}}\right),\\
368: (S_{1},S_{1})&=&1+O\left(e^{-\frac{(\log m)^{2}}{8}}\right),\\
369: (S_{0},S_{i})&=&O\left(e^{-\frac{(\log
370: m)^{2}}{8}}\right),\\
371: (S_{1},S_{i})&=&O\left(e^{-\frac{(\log
372: m)^{2}}{8}}\right),\\
373: (S_{i},S_{j})&=&\delta_{ij}\end{eqnarray*} for
374: $i,j=2,\cdots,d_{m}-1$.
375: \end{lemma}
376: \begin{proof}
377: By definition, we have $(S_{i},S_{j})=\delta_{ij}$ for $2\leq
378: i,j\leq d_{m}-1$. The inner product of $(S_{i},S_{i})$ for $0\leq
379: i\leq 1$ is directly from Lemma \ref{Tian}. Since $a^{m}g$ is
380: rotationally symmetric, we have
381: \[\int_{|z|\leq\frac{\log
382: m}{\sqrt{m}}}\bar{z}^{\alpha}a^{m}gdV_{0}=0\qquad\text{for
383: arbitrary positive integer $\alpha$}.\] Then we get
384: \begin{eqnarray*}
385: (S_{0},S_{1})&=&(\tilde{S}_{0},\tilde{S}_{1})+(\lambda_{0}u_{0},\tilde{S}_{1})+(\tilde{S}_{0},\lambda_{1}u_{1})+(u_{0},u_{1})\\&=&
386: O\left(e^{-\frac{(\log m)^{2}}{8}}\right).\end{eqnarray*} Consider
387: \begin{eqnarray*}
388: (S_{0},S_{i})&=&
389: \int_{M}\langle\lambda_{0}(\eta(\frac{m|z|^{2}}{(\log
390: m)^{2}})(dz)^{m}-u_{0}),f_{i-1}(dz)^{m}\rangle_{h_{m}}dV_{g}\\
391: &\leq&\lambda_{0}\int_{|z|\leq\frac{\log
392: m}{\sqrt{m}}}\sum_{\alpha=2}^{\infty}b_{(i-1)\alpha}\bar{z}^{\alpha}a^{m}gdV_{0}+\lambda_{0}\|u_{0}\|\cdot\|S_{i}\|.
393: \end{eqnarray*}
394: Thus we have
395: \[(S_{0},S_{i})=O\left(e^{-\frac{(\log m)^{2}}{8}}\right)\qquad\text{for $2\leq i\leq
396: d_{m}-1$}.\] Similarly, consider \[(S_{1},S_{j})\leq
397: \lambda_{0}\int_{|z|\leq\frac{\log
398: m}{\sqrt{m}}}\sum_{\alpha=2}^{\infty}b_{(i-1)\alpha}z\bar{z}^{\alpha}a^{m}gdV_{0}+\lambda_{1}\|u_{1}\|\cdot\|S_{i}\|\qquad\text{
399: for $2\leq i\leq d_{m}-1$}.\]Since $a^{m}g$ is rotationally
400: symmetric, $\int_{|z|\leq\frac{\log
401: m}{\sqrt{m}}}z\bar{z}^{\alpha}a^{m}gdV_{0}=0$ for $\alpha\geq 2$.
402: Hence we obtain
403: \[(S_{1},S_{i})=O\left(e^{-\frac{(\log m)^{2}}{8}}\right).\]
404: \end{proof}
405: According to \cite[Definition 3.1]{LZ4}, the metric matrix
406: $(F_{ij})$ can be represented by the block matrices
407: \begin{equation}(F_{ij})=\left(\begin{array}{ccc}
408: (S_{0},S_{0})&(S_{0},S_{1})&M_{13}\\
409: (S_{1},S_{0})&(S_{1},S_{1})&M_{23}\\
410: M_{31}&M_{32}&E
411: \end{array}\right),\label{2.16}
412: \end{equation}
413: where $M_{13}=((S_{0},S_{2}),\cdots,(S_{0},S_{d_{m}-1}))$,
414: $M_{23}=((S_{1},S_{2}),\cdots,(S_{1},S_{d_{m}-1}))$,
415: $M_{31}=\overline{M_{13}^{T}}$, $M_{32}=\overline{M_{23}^{T}}$,
416: and $E$ is a $(d_{m}-2)\times(d_{m}-2)$ identity matrix. By
417: using~\cite[Lemma 3.1]{LZ4}, we obtain
418: \begin{equation}I_{00}=\frac{1}{(S_{0},S_{0})}+(\frac{1}{(S_{0},S_{0})})^{2}\left(\begin{array}{cc}
419: (S_{0},S_{1})&M_{13}\end{array}\right)\tilde{M}^{-1}\left(\begin{array}{c}(S_{1},S_{0})\\
420: M_{31}\end{array}\right),\label{2.21}\end{equation} where
421: \[\tilde{M}=\left(\begin{array}{cc}(S_{1},S_{1})&M_{23}\\M_{32}&E\end{array}\right)-
422: \frac{1}{(S_{0},S_{0})}\left(\begin{array}{c}(S_{1},S_{0})\\M_{31}\end{array}\right)\left(\begin{array}{cc}
423: (S_{0},S_{1})&M_{13}\end{array}\right).\] Applying Lemma
424: \ref{matrix} in \eqref{2.21}, we get
425: \begin{equation}
426: I_{00}=1 +O\left(e^{-\frac{(\log
427: m)^{2}}{8}}\right).\label{2.17}\end{equation} In order to evaluate
428: the expansion of \eqref{2.3}, we are left to find
429: $\|S_{0}(x_{0})\|^{2}_{h_{m}}=\lambda_{0}^{2}$. From \eqref{2.20},
430: we have
431: \[\lambda_{0}^{2}=m(1+\frac{\rho}{2m})\left(1+O\big(e^{-(\log
432: m)^{2}}\big)\right).\]
433: Therefore, the Tian-Yau-Zelditch expansion according to \eqref{2.3} on a Riemann surface with constant scalar curvature
434: $\rho$ is
435: \begin{eqnarray*}
436: \lefteqn{I_{00}\lambda_{0}^{2}}\\&&=(1+O\left(e^{-\frac{(\log
437: m)^{2}}{8}}\right))m(1+\frac{\rho}{2m})\left(1+O\big(e^{-(\log
438: m)^{2}}\big)\right)\\&&=
439: m(1+\frac{\rho}{2m})+O\left(e^{-(\frac{(\log m)^{2}}{8})}\right)
440: \end{eqnarray*}
441: for
442: $m>\max\{e^{20\sqrt{5}}+2|\rho|,|\rho|^{4/3},\frac{1}{\delta},\sqrt{\frac{2}{|\rho|}}\}$.
443: \end{proof}
444: \begin{bibdiv}
445: \begin{biblist}
446: \bib{B}{article}{
447: AUTHOR = {Berezin, F. A.},
448: TITLE = {Quantization},
449: JOURNAL = {Izv. Akad. Nauk SSSR Ser. Mat.},
450: FJOURNAL = {Izvestiya Akademii Nauk SSSR. Seriya Matematicheskaya},
451: VOLUME = {38},
452: YEAR = {1974},
453: PAGES = {1116--1175},}
454:
455: \bib{EM}{article}{
456: AUTHOR = {Engli{\v{s}}, M.},
457: TITLE = {Asymptotics of the {B}erezin transform and quantization on
458: planar domains},
459: JOURNAL = {Duke Math. J.},
460: FJOURNAL = {Duke Mathematical Journal},
461: VOLUME = {79},
462: YEAR = {1995},
463: NUMBER = {1},
464: PAGES = {57--76},}
465:
466: \bib{S}{misc}{
467: AUTHOR = {Song, J.},
468: TITLE = {The Szeg\"o Kernel on an Orbifold Circle Bundle},
469: EPRINT = {arXiv:math/0405071v1},}
470:
471: \bib{CD}{incollection}{
472: AUTHOR = {Catlin, D.},
473: TITLE = {The {B}ergman kernel and a theorem of {T}ian},
474: BOOKTITLE = {Analysis and geometry in several complex variables (Katata,
475: 1997)},
476: SERIES = {Trends Math.},
477: PAGES = {1--23},
478: PUBLISHER = {Birkh\"auser Boston},
479: ADDRESS = {Boston, MA},
480: YEAR = {1999},}
481:
482:
483: \bib{RWD}{article}{
484: AUTHOR = {Ruan, W.-D.},
485: TITLE = {Canonical coordinates and {B}ergmann metrics},
486: JOURNAL = {Comm. Anal. Geom.},
487: FJOURNAL = {Communications in Analysis and Geometry},
488: VOLUME = {6},
489: YEAR = {1998},
490: NUMBER = {3},
491: PAGES = {589--631},}
492:
493: \bib{TG5}{article}{
494: AUTHOR = {Tian, G.},
495: TITLE = {On a set of polarized {K}\"ahler metrics on algebraic
496: manifolds},
497: JOURNAL = {J. Differential Geom.},
498: FJOURNAL = {Journal of Differential Geometry},
499: VOLUME = {32},
500: YEAR = {1990},
501: NUMBER = {1},
502: PAGES = {99--130},}
503:
504: \bib{ZS}{article}{
505: AUTHOR = {Zelditch, S.},
506: TITLE = {Szeg{\H o} kernels and a theorem of {T}ian},
507: JOURNAL = {Internat. Math. Res. Notices},
508: FJOURNAL = {International Mathematics Research Notices},
509: YEAR = {1998},
510: NUMBER = {6},
511: PAGES = {317--331},}
512:
513: \bib{L-T}{article}{
514: AUTHOR = {Lu, Z.},
515: AUTHOR = {Tian, Gang},
516: TITLE = {The log term of the {S}zeg{\H o} kernel},
517: JOURNAL = {Duke Math. J.},
518: FJOURNAL = {Duke Mathematical Journal},
519: VOLUME = {125},
520: YEAR = {2004},
521: NUMBER = {2},
522: PAGES = {351--387},}
523:
524: \bib{LZ3}{article}{
525: AUTHOR = {Lu, Z.},
526: TITLE = {On the lower bound estimates of sections of the canonical
527: bundles over a {R}iemann surface},
528: JOURNAL = {Internat. J. Math.},
529: FJOURNAL = {International Journal of Mathematics},
530: VOLUME = {12},
531: YEAR = {2001},
532: NUMBER = {8},
533: PAGES = {891--926}, }
534:
535: \bib{LZ4}{article}{
536: AUTHOR = {Lu, Z.},
537: TITLE = {On the lower order terms of the asymptotic expansion of
538: {T}ian-{Y}au-{Z}elditch},
539: JOURNAL = {Amer. J. Math.},
540: FJOURNAL = {American Journal of Mathematics},
541: VOLUME = {122},
542: YEAR = {2000},
543: NUMBER = {2},
544: PAGES = {235--273}, }
545: \end{biblist}
546: \end{bibdiv}
547:
548: \end{document}
549: