Abstract
We study the asymptotic behaviour of the partial density function associated to sections of a positive hermitian line bundle that vanish to a particular order along a fixed divisor Y. Assuming the data in question is invariant under an \(S^1\)-action (locally around Y) we prove that this density function has a distributional asymptotic expansion that is in fact smooth upon passing to a suitable real blow-up. Moreover we recover the existence of the “forbidden region” R on which the density function is exponentially small, and prove that it has an “error-function” behaviour across the boundary \(\partial R\). As an illustrative application, we use this to study a certain natural function that can be associated to a divisor in a Kähler manifold.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
For motivation, consider as a toy example the space of polynomials on \(\mathbb C^d\) with inner product
where \(k\in \mathbb N\) and d\(\lambda \) is \((2\pi )^{-d}\) times the Lebesgue measure. For given \(\varepsilon >0\), let \(\{p_{\alpha }\}\) be an orthonormal basis of polynomials that vanish to order at least \(\varepsilon k\) along the hyperplane \(\{z_1=0\}\subset \mathbb C^d\). Then the partial density function associated to these data is the smooth function
This is independent of choice of orthonormal basis, and our interest lies in its asymptotic behaviour as k tends to infinity. Using a basis in which the basis \(\{p_\alpha \}\) consists of monomials, after straightforward calculation,
Regarding \(\rho ^\varepsilon _k\) as a function of x, we find the asymptotic behaviour
This can be seen, for instance, through the Central Limit Theorem applied to k independent Poisson random variables with parameter x. Thus \(k^{-d}\rho ^\varepsilon _k\) is asymptotically a standard error-function centred at \(x=\varepsilon \); in particular it tends to zero exponentially fast on the set \(R=\{x<\varepsilon \}\), and tends to 1 on \(\{x>\varepsilon \}\) as k tends to infinity.
In this paper we study the analogous partial density function associated to sections of high powers of a positive hermitian line bundle that vanish to a particular order along a fixed divisor. Similar density functions have found a wide range of uses, including the study of random matrices (e.g. Shiffman–Zelditch [26], Berman [2]), in Kähler geometry (e.g. Pokorny–Singer [21], Ross–Witt-Nyström [23]) and in dimension \(d=1\) is closely related to the Laplacian growth (e.g. Hedenmalm-Makarov [12, 13]).
In the work of Shiffman–Zelditch [26] it is shown, essentially in the toric case, that there is a subset in which the partial density function is exponentially small (and it is here that this is given the name “forbidden region”). Through work of Berman [1] it is known (at least when the base is compact) that there is again an open forbidden region R containing the divisor such that asymptotically the partial density function is exponentially small on compact subsets of R and is equal to the usual density function on compact subsets of the complement of \(\overline{R}\). This has been studied again in detail in the toric case [21] but other than this rather little is known about the behaviour of the partial density function near the boundary of R.
Our results below give an essentially complete description of the partial density function when all the data in question are invariant under a local holomorphic \(S^1\)-action and \(\varepsilon \) is sufficiently small. Roughly speaking it states that there is a natural way in which the partial density function has a globally defined asymptotic expansion in powers of \(k^{1/2}\) whose terms depend on the curvature of the hermitian metric, all of which are (in principle) computable. Moreover, by working out the leading term we recover the existence of this forbidden region and show that the partial density function has the same error-function behaviour across its boundary as it does in the model case (1.2).
Before stating precise theorems we return once more to the toy example above. A convenient way to express the existence of an asymptotic expansion is through the semi-classical variable \(\hbar = k^{-1/2}\). Then to say that a function of the form \(k^{-d}\rho ^\varepsilon _k(x)\) for \(x\in \mathbb R_{>0}\) admits a smooth asymptotic expansion in powers of \(k^{1/2}\) is to say that the function
extends to a smooth function on \(\mathbb R_{\geqslant 0}\times \mathbb R_{>0}\), i.e. it extends to a smooth function right up to the boundary on which \(\hbar =0\). Now if \(\rho ^\varepsilon _k\) is the partial density function in (1.1) then \(\hat{\rho }\) cannot extend smoothly to the entire boundary \(\{\hbar =0\}\). For as we have seen, its leading order term in \(\hbar \) is
which does not extend smoothly over the point \((x,\hbar )=(\varepsilon ,0)\) due to the presence of the term \(\xi : = \frac{x-\varepsilon }{\hbar }\). However, we can formally circumvent this by considering \(\hat{\rho }\) instead as a function of \(\xi \) and \(\hbar \), at which point its smoothness is immediate. This is made precise by an approach advocated by Melrose: we consider instead the lift of \(\hat{\rho }\) to the real blow-up of \(\mathbb R_{\geqslant 0}\times \mathbb R_{>0}\) at the point \((0,\varepsilon )\) which does extend to a smooth function across the boundary.
With this in mind we state our main results. Let X be a compact complex manifold and L be a holomorphic line bundle with a positive smooth hermitian metric h. These induce an \(L^2\)-inner product on the space of sections \(H^0(L^k)\) and if Y is a smooth divisor in X then for \(\varepsilon \geqslant 0\) the partial density function is defined to be
where \(\{s_{\alpha ,k}\}\) is an \(L^2\)-orthonormal basis for the space of holomorphic sections of \(L^k\) that vanish to order at least \(\varepsilon k\) along Y. When \(\varepsilon =0\) we denote this simply by \(\rho _k\) which is the usual density function (often called the Bergman function). We suppose that there is a neighbourhood U of Y that admits a holomorphic \(S^1\)-action on X which is standard in local coordinates around Y. That is,
where Y is locally defined by \(z=0\). We also assume that the restrictions of all the initial data to U (i.e. the line bundle and metric) are invariant under this action. Denote by \(\mu :X\rightarrow \mathbb R\) the Hamiltonian of the action, normalized so that \(\mu ^{-1}(0) = Y\), and let v be the vector field generating the \(S^1\)-action.
Theorem 1.1
Given the above data, for sufficiently small \(\varepsilon \), we have
By this statement we mean that equality holds on any given compact subset of \(\mu ^{-1}[0,\varepsilon )\) (respectively \(X{\setminus }\mu ^{-1}[0,\varepsilon ]\)). Thus \(\mu ^{-1}[0,\varepsilon )\) is precisely the forbidden region described above.
Theorem 1.2
Let \(\rho ^\varepsilon _{k}\) be the partial density function and set
Then \(\hat{\rho }\) has a distributional asymptotic expansion on X. In fact this distribution is the push-forward by the blow-down map \(\beta \) of a smooth function on the real blow-up of \(X\times [0,\infty )\) along \(\mu ^{-1}(\varepsilon ) \times \{0\}\). Its leading order term is given by
for \((z,\hbar )\) such that
is bounded.
We refer the reader Appendix 1 for a summary of this real-blowup that is denoted \([ X \times [0,\infty ) ; \mu ^{-1}(\varepsilon )\times \{0\}]\). Roughly speaking it is obtained by replacing the submanifold \(\mu ^{-1}(\varepsilon )\) with a “half-cylinder” as in the following picture, and allows the use of well-defined “polar coordinates” centered at points in \(\mu ^{-1}(\varepsilon )\).
So using again the substitution \(\hbar =1/\sqrt{k}\) we can interpret this as the statement that \(\rho ^{\varepsilon }_{1/\hbar ^2}\) is a smooth function on the half-space \(X\times [0,\infty )\) (or really the restriction of such a smooth function for values of \(\hbar \) with \(\hbar ^{-2}\) a positive integer). In fact, there is almost certainly an interpretation of density functions for all real powers of L using Melrose’s ideas [17], which would give a natural interpretation of the (partial) density function for all values of the semi-classical parameter \(\hbar \).
The idea of the proof is as follows. Consider first the case that X is one dimensional. Then looking locally we are essentially interested in the case X is the unit disc with coordinate z and Y is the origin. Since all the data are \(S^1\)-invariant, the set of monomials \(z^{\varepsilon k}, z^{\varepsilon k +1},\ldots \) give an orthogonal set of local sections that vanish to the right order along Y. Thus the partial density function can be calculated by summing the pointwise norm of these functions, once they have been normalised to have unit \(L^2\)-length. Using the moment-variable (given by a Legendre transform of the potential defining the metric) this can be done with a combination of standard techniques, namely Laplace’s method to calculate the integrals defining the length of these functions, and then a combination of Laplace’s method and the Euler–Maclaurin formula to expand the resulting sum in powers of k. This gives a local formula for a quantity that ought to be the partial density function, and one argues that this is in fact the case up to insignificant terms.
Our real interest is the case of higher dimension. Here we argue similarly, replacing the powers of z with powers of a choice of defining section for Y. We then use a parameterized version of the Legendre transform to deal with the directions normal to Y. In fact, we interpret this Legendre transform as giving a family of hermitian metrics on certain line bundles on Y which, along with a family of volume forms that we construct, gives a family of density functions on Y (that play the role of the normalising of the sections \(z^{j}\) to have unit length). Together these can be summed to give a quantity that ought to be the partial density function, and again one proves this is the case up to insignificant terms. Then, using essentially the same techniques as in the one-dimensional case, we prove that it has the desired asymptotic expansion in powers of k. We refer the reader to Sect. 5 for a more detailed summary.
Added in Proof: The reader interested in this topic should be aware of recent work of Zelditch-Zhou [32] who have since proved similar results on the interface behaviour of the partial density function.
2 Partial Bergman Kernels
The density function of a hermitian line bundle is the restriction to the diagonal of the Bergman kernel, which is the reproducing kernel for the \(L^2\)-projection to the space of holomorphic sections. Here we shall discuss the simple extension of this concept in which we impose a certain vanishing of the sections along a fixed submanifold.
2.1 Definition of Partial Bergman Kernels
We start by recalling some standard notation and terminology. Let L be a holomorphic line bundle on a complex manifold X of dimension d, and h be a hermitian metric on L. Given a local holomorphic trivialization \(\zeta \) of L we can write \(|\zeta (z)|_h^2 = e^{-2\varphi _\zeta (z)}\) for some smooth potential function \(\varphi _\zeta \). By standard abuse of notation we let \(\varphi \) denote this potential (even though it is not globally defined) and we confuse \(\varphi \) with the metric \(h=e^{-\varphi }\). Thus \(h^k = e^{-k\varphi }\) is the induced hermitian metric on \(L^k:=L^{\otimes k}\) for \(k\in \mathbb N\). In terms of transition functions, if \(\zeta _\alpha = \lambda _{\alpha \beta } \zeta _\beta \) then \(\varphi _{\zeta _\beta } = \varphi _{\zeta _\alpha } + \log |\lambda _{\alpha \beta }|\). From this one can extend the notion of a potential to include the case of \(\mathbb Q\)-line bundles. The abuse of notation \(h = e^{-\varphi }\) also leads us to use the terminology ‘\(\varphi \) is a (plurisubharmonic potential) for L’ instead of h is a metric on L (with positive curvature).
If s is a section of L then by abuse of notation we let s also denote its local representative in a given trivialization: thus \(|s(z)|_{\varphi } = |s(z)|e^{-\varphi (z)}\). The associated curvature formFootnote 1
is a well defined (1, 1)-form and the hermitian metric \(e^{-\varphi }\) is said to be (strictly) positive if \(\omega _{\varphi }\) is a (strictly) positive form, which occurs if and only if \(\varphi _\zeta \) is a (strictly) plurisubharmonic function for all local trivializations \(\zeta \). When \(\varphi \) is strictly plurisubharmonic we let \(\omega _{\varphi }^{[d]} = \frac{1}{d!} \omega _{\varphi }^d\) be the associated volume form.
The hermitian metric \(e^{-\varphi }\) gives a pairing \((\cdot ,\cdot )_{\varphi } :L_z \otimes L_z \rightarrow \mathbb C\) that is linear in the first variable and conjugate linear in the second. The induced \(L^2\)-inner product on two smooth sections s, t of L is given by
and we shall write \(\Vert s\Vert _{\varphi }\) for the corresponding \(L^2\)-norm. We denote by \(L^2_{k\varphi }:=L^2_{k\varphi }(X)\) the space of sections of \(L^k\) with finite \(L^2\)-norm, and let \(H_{k\varphi }:=H_{k\varphi }(X)\subset L^2_{k\varphi }\) denote the subspace of holomorphic sections.
We write \(\overline{L}\) for the bundle L with the conjugate complex structure. If V, W are auxiliary holomorphic vector bundles on X then we let \((\cdot ,\cdot )_{\varphi }\) also denote the naturally induced pairing \((L \otimes V)\otimes (L\otimes W)\rightarrow V\otimes \overline{W}\) and extend our other notations accordingly.
Assume now that \(\varphi \) is a smooth strictly plurisubharmonic potential on L. Since we will be interested in sections of \(L^k\) asymptotically as k tends to infinity we make this part of our definition of the partial Bergman kernel as follows. Let \(Y\subset X\) be a compact complex submanifold and \(\varepsilon \in \mathbb Q_{\geqslant 0}\).
Definition 2.1
Denote by \(H^{\varepsilon k}_{k\varphi }\) the subspace of holomorphic sections of \(L^k\) vanishing to order at least \(\varepsilon k\) along Y.
Definition 2.2
The partial Bergman kernel (PBK) for \((\varepsilon ,Y)\) is a sequence of sections \(K^{\varepsilon }_k\) of \(\overline{L}^k\boxtimes L^k\) on \(X\times X\) for \(k,\varepsilon k \in \mathbb N\) such that
-
(1)
For each fixed z, the section \(z'\mapsto K^{\varepsilon }_{k,z}(z'):= K^{\varepsilon }_{k}(z,z')\) is in \(\overline{L}^k_z\boxtimes H_{k\varphi }^{\varepsilon k}\) and
-
(2)
We have
$$\begin{aligned} s(z)&= \langle s,K^{\varepsilon }_{k,z}\rangle _{k\varphi }=\int _X s(z') \overline{K}^{\varepsilon }_k(z,z')e^{-2k\varphi (z')} \, \omega ^{[d]}_{\varphi ,z'}\text { for all } z\in X \text { and } s\in H_{k\varphi }^{\varepsilon k } \end{aligned}$$(2.2)
where the notation \(\omega ^{[d]}_{\varphi ,z'}\) indicates the integral is being taken with respect to the variable \(z'\).
Definition 2.3
The partial density function (PDF) \(\rho ^{\varepsilon }_k\) is the norm of the restriction of the PBK to the diagonal, i.e.
which is a smooth real valued function on X.
Of course if \(\varepsilon =0\) then this definition recovers what is commonly referred to as the Bergman kernel and density function for \(L^k\) and we write these simply as \(K_k\) and \(\rho _k\). We remark that all of these definitions can equally be made with \(\omega _\varphi ^{[d]}\) replaced by a given smooth volume form dV on X.
2.2 Existence and Basic Properties
The existence of the PBK follows from standard functional analysis considerations. Suppose that X is either a compact Kähler manifold, or else a bounded domain, with smooth boundary, in a Kähler manifold.
As is well known, \(H_{k\varphi }^{\varepsilon k }\) is a closed subspace of \(L^2_{k\varphi }\), so in particular it is a Hilbert space. Moreover, if \(z\in X\), the evaluation map \(s\mapsto s(z)\) is a bounded linear functional \(H^{\varepsilon k}_{k\varphi } \longrightarrow L^k_z\). So, by the Riesz representation theorem, there is an element
Clearly \(\langle u,K^{\varepsilon }_{k,z}\rangle _{k\varphi }=0\) if \(u\in L^2_{k\varphi }\) is orthogonal to \(H^{\varepsilon k }_{k\varphi }\), so the kernel
is the Schwartz kernel of the orthogonal projection \(\mathscr {K}_k^{\varepsilon }:L^2_{k\varphi } \rightarrow H^{\varepsilon k }_{k\varphi }\) in the sense that
In particular this gives uniqueness of \(K_k^{\varepsilon }\). Because \(\mathscr {K}^{\varepsilon }_k\) is orthogonal, it is self-adjoint, and so (2.5) is hermitian, i.e.
Thus we can also write (2.6) as
In particular
Remark 2.4
If X is a compact Kähler manifold the spaces \(H_{k\varphi }^{\varepsilon k}\) are finite-dimensional and the definition above agrees with that in the introduction. For if \(s_{\alpha ,k}\) is an \(L^2\)-orthonormal basis for \(H_{k\varphi }^{\varepsilon k} = H^0(L^k\otimes \mathscr {I}_Y^{\varepsilon k})\) then one easily checks that
has the characteristic properties of the PBK, so
Remark 2.5
When \(\varepsilon =0\) the difference \(v:=u - \mathscr {K}_k[u]\) is the \(L^2_{k\varphi }\)-minimal solution of the equation \(\overline{\partial }v = \overline{\partial }u\). This follows directly from the orthogonality of the projection.
2.3 Bounds for Bergman Kernels
For convenience we recall here some basic estimates related to Bergman kernels. The fundamental ‘\(L^2\) implies \(L^{\infty }\) bound’ for holomorphic functions (Proposition 2.6 below) allows us to estimate the norm of the evaluation map and hence by the discussion in Sect. 2.2, the norms of the PBK and PDF themselves. These estimates will be refined using extremal envelopes in the next section.
On a Kähler manifold X we denote by \(B_{z}(\delta )\) the geodesic ball of radius \(\delta \) centred at z (taken with respect to the given Kähler metric). As usual L will be a holomorphic line bundle on X with smooth strictly plurisubharmonic potential \(\varphi \).
Proposition 2.6
Let X be a complex manifold and \(W\subset X\) be relatively compact. Then there is a constant \(C_{W}\) such that for all k sufficiently large
for all \(f\in H_{k\varphi }\) and all \(z\in W\).
Proof
For \(z\in W\) we may choose local coordinates on a chart so that \(z=0\), and by a change of gauge that \(\varphi (z) = O(|z|^2)\). In this chart the geodesic metric \(\rho (\cdot ,\cdot )\) is equivalent to the Euclidean metric, so there is a constant \(c>0\) such that \(c|z-z'|\leqslant \rho (z,z')\leqslant c^{-1}|z-z'|\) for points \(z,z'\) in this chart.
Let \(\chi (t):\mathbb R\rightarrow [0,1]\) be a smooth non-negative cut-off function equal to 1 for \(t\leqslant 1/2\) and equal to 0 for \(t\geqslant 1\) and set
We recall the Bochner–Martinelli–Koppelman formula [20, Ch. IV]
where the Bochner–Martinelli kernel is given by the formula
where \(c_d\) is a universal constant and
We apply this with \(u = \chi _k(|z|)f(z)\). Then \(\overline{\partial }u = f \overline{\partial }\chi _k\) is supported in a spherical shell of radius \(O(k^{-1/2})\) and \(\overline{\partial }\chi _{k}=O(k^{1/2})\). So
Hence (2.13) gives
where k is to be taken large enough so the support of \(\chi _k\) lies in this chart. We are assuming \(\varphi (0)=0\), so \(|f(0)|^2 = |f(0)|^2_{k\varphi }\). Thus using the Cauchy–Schwarz inequality,
as \(\omega ^{[d]}\) is smooth so is equivalent to the euclidean volume form. Now in the first integral we may replace the Euclidean ball \(\{ |w|<c k^{-1/2}\}\) by the geodesic ball \(B_0(k^{-1/2})\) and only improve the inequality. On the other hand, \(k\varphi = O(k|z|^2)\) on this chart so \(e^{k\varphi }\) is uniformly bounded on the support of \(\chi _k\) and the volume of this support is \(O(k^{-d})\). Thus (2.16) implies the second integral is of order \(O(k^d)\). This proves the result for a single point, and the uniform estimate follows an obvious covering argument. \(\square \)
Recall that \(K^{\varepsilon }_{k,z}\in \overline{L}^k_z\otimes H^{\varepsilon k}_{k\varphi }\) so with our convention of using the same notation for a section of a line bundle and its representation in a local frame we have
Corollary 2.7
Suppose X is compact. Then there is a constant C such that
for all \(z\in X\) and all \(\varepsilon \geqslant 0\).
Proof
Essentially by definition, \(\Vert K^{\varepsilon }_{k,z}\Vert _{k\varphi }\) is equal to the operator norm of the evaluation map \(H_{k\varphi }^{\varepsilon k}\rightarrow L^k_z\) given by \(s\mapsto s(z)\). But the previous theorem says precisely that this operator norm is bounded by \(C k^{d/2}\). \(\square \)
Corollary 2.8
Suppose X is compact. Then there is a constant C such that
Proof
Apply the above to the function \(y\mapsto K_{k,z}(y)\) itself to deduce that \(|K_{k,z}(y)|_{k\varphi }\) is bounded by \(O(k^{d/2})\Vert K^{\varepsilon }_{k,z}\Vert _{k\varphi } = O(k^d)\). \(\square \)
2.4 Decay Away from the Diagonal
We wish to discuss the well known fact that the Bergman kernel decays exponentially fast away from the diagonal (see, for instance, [15, Proposition 9], [6, Prop 4.1], [8], [18, Thm 0.1]). We let \(\rho (z,z')\) denotes the geodesic distance between points \(z,z'\in X\) taken with respect to a given Kähler metric, and in this section we assume X is compact.
Theorem 2.9
(Decay away from the diagonal) The Bergman kernel \(K_k\) decays exponentially fast away from the diagonal, in the following sense: there are constants \(C,c>0\) such that
For convenience of the reader we give a proof of this fact, based on a variant of the “Donnelly-Fefferman trick” essentially due to Bo Berndtsson [4] (and whom we thank for pointing us in this direction).
Theorem 2.10
Let f be a \(\overline{\partial }\)-closed (0, 1) form with values in L and v be the \(L^2\)-minimal solution to the equation \(\overline{\partial } v = f\) and let \(x\in X\). Then there are constants c, C (independent of f, k, x) such that
In particular if \(f=\overline{\partial }g\) for some g then this holds for \(v=g-\mathscr {K}_k(g)\).
We remark that the above statement may well be suboptimal but is sufficient for our purpose (the statement in [4, Theorem 2.1] replaces the terms 2c and the \(\frac{c}{2}\) in the left and right hand side respectively with the same constant c when X is a domain in \(\mathbb C^d\)). The proof we give now is essentially the same as [4, Theorem 2.1], but replaces the Euclidean distance function on \(\mathbb C^d\) with the geodesic distance function \(\rho (\cdot ,x)\) on X, and requires some extra care to deal with the non-smoothness \(\rho (\cdot ,x)\) near the cut-locus of x.
Proof
The squared distance function \(\rho ^2 :X \times X \rightarrow \mathbb {R}\) is continuous and can fail to be smooth only on the cut-locus
of X. In particular \(\rho ^2\) is smooth in a fixed neighbourhood N of the diagonal. To deal with the non-smoothness at B, choose a non-negative function \(\tilde{\rho }\) which is equal to \(\rho \) in N, smooth on \(X\times X{\setminus } N\) and which satisfies
Then \(\tilde{\rho }^2\) is smooth on \(X\times X\) and is equal to \(\rho ^2\) in N.
Now fix f and \(x\in X\), and simplify notation by writing \(\tilde{\rho }(z)\) for \(\tilde{\rho }(x,z)\). Then for \(k\gg 0\), in the region \(\tilde{\rho }\leqslant \frac{1}{\sqrt{k}}\) we have \(\tilde{\rho }(z) = \rho (z,x)\). It will be clear from the following argument that our constants will be uniform in x and f but we leave the reader to keep track of this.
Now for a small \(c>0\) set
One checks easily that
Furthermore on the region \(\tilde{\rho }\leqslant \frac{1}{\sqrt{k}}\) we have \(dd^c\chi _k = O(ck)\), whereas on the complement to this region \(dd^c\chi _k = O(c\sqrt{k})\). So we may pick \(c\ll 1\) small enough so that the potential
has strictly positive curvature growing at rate O(k), say
Now set
Since v is orthogonal to the the space holomorphic sections with respect to the \(L^2\)-inner product defined by \(e^{-k\varphi }\), we see that \(v_k\) is orthogonal to this space with respect to the \(L^2\)-inner product defined by \(e^{-\zeta _k}\) (all of this is taken with respect to the volume form \(\omega _{\varphi }^{[d]}\) which is fixed). Hence \(v_k\) is the \(L^2\)-minimal solution to the equation
with respect to the \(L^2\)-inner product induced by \(e^{-\zeta _k}\). Thus by the Hörmander estimate
We remark that the O(1 / k) term is bounded independent of c sufficiently small by (2.22).
Now the right hand side of (2.23) is bounded by
where A and Z are uniform constants. This follows because \(\overline{\partial } \chi _k = O(c\sqrt{k})\). Inserting (2.24) into (2.23) we have
Choosing c so small that \(Zc^2<1/2\), say, we can move the second integral to the other side, giving
The statement of the theorem now follows from (2.21). \(\square \)
Proof of Theorem 2.9
We know that \(w\mapsto K_{k,y}(w)\) is holomorphic for fixed y, so by the proof of Proposition 2.6,
which is valid as long as \(\delta \) is of order greater than or equal to \(2/\sqrt{k}\). Observe that if \(\rho (x,y)\leqslant \frac{1}{\sqrt{k}}\) then the bound we want follows from the bound \(|K^{\varepsilon Y}_k(x,y)|_{k\varphi } \ = O(k^d)\) from (2.8). So we may assume that
Fix a smooth non-negative cut-off function \(\chi \) that is identically 1 on \(B_{\delta /4}(y)\) supported in \(B_{\delta /2}(y)\) and such that \(|\overline{\partial } \chi | = O(\delta ^{-1})\). Observe that \(\rho (x,y)\geqslant \delta \) implies \(\chi (x)=0\). Then we can clearly replace (2.26) by
where, we recall, \(\mathscr {K}_{k}\) is the projection onto the holomorphic sections. Now set
and
Then
as \(\chi (x)=0\). On the other hand, by Theorem 2.10, there is a \(c>0\) such that
Note that f is supported in \(B_{\delta /2}(y)\) and if \(z\in B_{\delta /2}(y)\) then \(\rho (x,y)\leqslant \rho (z,x) + \frac{1}{\sqrt{k}}\). Thus
since \(\Vert K_{k,x}\Vert _{k\varphi }^2 = O(k^d)\) by Corollary 2.7. On the other hand by same argument with the Bochner–Martinelli formula again, we have
Notice the quantity \(e^{-2c\sqrt{k}\rho (z,x)}\) is bounded above and below by a constant on the ball \(B_{\delta }(x)\), so this gives
Putting this with (2.27), (2.29) gives the desired estimate. \(\square \)
2.5 Extremal Envelopes
Let \(Y\subset X\) be a compact complex submanifold, \(L\rightarrow X\) a holomorphic line bundle and \(\varphi \) a smooth strictly plurisubharmonic potential on L Following Berman [1] we make the following definition:
Definition 2.11
Given X, Y, L and \(\varepsilon \geqslant 0\), the extremal envelope, \(\varphi _\varepsilon \), is defined as
Here the notation means that \(e^{-\gamma }\) is a possibly singular hermitian metric on L with non-negative curvature form; and \(\nu _Y(\gamma )\) denotes the Lelong number of \(\gamma \) along Y. Since the upper semicontinuous regularisation of \(\varphi _{\varepsilon }\) lies in the set on the RHS of (2.34), it follows that \(\varphi _{\varepsilon }\) is itself semicontinuous and thus plurisubharmonic. We will always take \(\varepsilon \) to be sufficiently small so that there exists such a \(\gamma \), and so \(\varphi _\varepsilon \) is not identically \(-\infty \). Then by passing to the blowup of X along Y one can prove easily that \(\nu _Y(\varphi _{\varepsilon })=\varepsilon \).
Definition 2.12
Define the forbidden region to be the set
and the equilibrium set to be the complement
Then clearly \(D_0\) is empty, and for all \(\varepsilon >0\) it is a neighbourhood of Y, and if \(\varepsilon <\varepsilon '\) then \(D_{\varepsilon '}\subset D_{\varepsilon }\). Again following [1], we now show the sets \(D_{\varepsilon }\) govern the PDF in that for large k the function \(\rho _k^\varepsilon \) is exponentially small on any compact subset of \(D_\varepsilon \). The following statement refines the bounds (2.19) and (2.20), using the envelope \(\varphi _\varepsilon \).
Proposition 2.13
Assume X is compact. Then there exists a constant C such that
and
In particular, \(K_{k,z}^{\varepsilon }\) is exponentially small on \(D_{\varepsilon }\).
Proof
Note first that since \(\varphi \) and \(\varphi _\varepsilon \) are both potentials for L, their difference is a genuine function on X, so the right hand side of these estimates are well-defined. Let \(s\in H_{k\varphi }^{\varepsilon k}\). Then by Proposition 2.6 there is a constant C such that
Taking the logarithm,
where
As s vanishes to order at least \(\varepsilon k\) along Y the plurisubharmonic potential \(\ln |s|\) has Lelong number at least \(\varepsilon k\) along Y. Combining this with (2.35), the potential \(\frac{1}{2k}\ln |s|^2 -\alpha _k\) is a candidate for the envelope defining \(\varphi _{\varepsilon }\) so
So multiplying by 2k and then exponentiating gives
Thus if \(z\in X\), the square of the norm of the evaluation map \(H_{k\varphi }^{\varepsilon k}\rightarrow L_z\) given by \(s\mapsto s(z)\) is bounded by \(Ck^d e^{-k(\varphi (z)-\varphi _{\varepsilon }(z)}\) which gives the first statement of the Proposition. The second statement follows by applying this to the section \(s:= K_{k,z}^{\varepsilon Y}\) to get that for \(z,z'\in X\)
\(\square \)
Remark 2.14
Berman [1] proves that \(\varphi _{\varepsilon }\) is \(C^{1,1}\) although we will not use that here. The continuity of \(\varphi _\varepsilon \) is enough to imply that for large k, \(K_{k,z}^{\varepsilon k}\) is exponentially small on any given compact subset of \(D_{\varepsilon }.\) Berman also proves that \(\rho _k^\varepsilon \) is asymptotically close to \(\rho _k\) on any given compact subset of \(X{\setminus } \overline{D_{\varepsilon }}\). Thus the interest lies in the behaviour across the boundary of \(D_\varepsilon \) which will be the study of the rest of this paper.
3 Local Bergman Kernels
We next adapt a key idea of Berman–Berndtsson–Sjöstrand [3] who introduced the concept of a local Bergman kernel which has the reproducing property up to a term that is negligible for large k. Our aim is to give a suitable definition of a local PBK that is defined on a neighbourhood of Y.
Again suppose that X is a complex manifold of dimension d and L a holomorphic line bundle with given smooth strictly positive hermitian metric \(e^{-\varphi }\). Also fix an open \(U\subset X\) containing Y and a smooth positive function \(\chi \) that has compact support in U and is identically equal to 1 on some open subset \(W\subset U\) containing Y. We recall that \(\rho (z,z')\) denotes the geodesic distance between points \(z,z'\in X\) with respect to a given Kähler metric.
Definition 3.1
We say a sequence of sections \(B_k^\varepsilon \) of \(\overline{L}|_U\boxtimes L|_U\) over \(U\times U\) is a local partial Bergman kernel (local PBK) on W of order \(N\geqslant 0\) if
-
(1)
(Holomorphic) For fixed z the map \(z'\mapsto B^{\varepsilon }_{k,z}(z') := B^\varepsilon _k(z,z')\) is holomorphic.
-
(2)
(Almost reproducing) We have
$$\begin{aligned} \left| f(z) - \int _U \chi (z')f(z')\overline{B}_k(z,z')e^{-2k\varphi (z')}\omega _{\varphi ,z'}^{[d]}\right| _{k\varphi } =O(k^{-N})\Vert f\Vert _{k\varphi } \end{aligned}$$(3.1)uniformly over \(f\in H^{\varepsilon k}_{k\varphi }(U)\) and \(z\in W\).
-
(3)
(Decay away from the diagonal) There exist constants \(C,c>0\) such that
$$\begin{aligned} |B^\varepsilon _{k}(z,z')|_{k\varphi } \leqslant C k^d e^{-c\sqrt{k} \rho (z,z')} \quad \text { for all }z,z'\in U. \end{aligned}$$(3.2)
Remark 3.2
Our terminology differs slightly from that of Berman–Berndtsson–Sjöstrand in that we include the decay away from the diagonal as part of the definition. It is sometimes convenient to allow \(N=\infty \) in which case the \(O(k^{-\infty })\) term is understood as meaning the bound holds for any given \(N\in \mathbb N\). One could relax the assumption that \(B_{k,z}^\varepsilon \) be holomorphic and instead assume that it is “almost holomorphic” as in [3], but we will have no need for this. When necessary we shall refer to this as a local PBK with respect to W or \(\chi \) if we need to emphasise the dependence on these data.
The point of this definition is that, as proved in [3], a local PBK approximates the globally defined PBK in a neighbourhood of the diagonal of \(W'\times W'\) for any \(W'\Subset W\).
Theorem 3.3
(Glueing local partial Bergman kernels) With notation above, suppose \(B^\varepsilon _k\) is a local PBK of order N on W and suppose that \(\varepsilon \) is sufficiently small so that the forbidden region \(D_\varepsilon \) is relatively compact in W. Then if \(W'\Subset W\) we have for all \(r\geqslant 0\)
Proof
The argument here is similar to that of [3]. Let \(x,y\in W'\) and \(f:=K_{k,y}^\varepsilon |_U\in H^{\varepsilon k}_{k\varphi }(U)\). The almost reproducing property of the local PBK \(B_k^\varepsilon \) gives
and using Corollary 2.7 this becomes
Now by definition, \(\langle \chi B_{k,x}^\varepsilon , K_{k,y}^\varepsilon \rangle _{k\varphi }\) is the value at y of the \(L^2\)-projection of \(\chi B_{k,x}^\varepsilon \) onto the space of holomorphic sections that vanish to order at least \(\varepsilon k\) along Y. That is,
where v is the \(L^2\)-minimal solution of the equation
among all such v that vanish to order at least \(\varepsilon k\) along Y [we remark that this makes sense as Eq. (3.6) in particular implies that v is holomorphic in a neighbourhood of Y as \(\chi \equiv 1\) on W]. Of course v also depends on x, but we omit that from notation.
Hence we wish to bound v(y) which we do with the Hörmander technique applied with the extremal envelope \(\varphi _\varepsilon \) from (2.11). Observe that \(\varphi _\varepsilon \) is plurisubharmonic over all of X and moreover is strictly plurisubharmonic in the support of
since by hypothesis \(\overline{\partial } \chi \) is supported outside of W and thus within the equilibrium set \(\{ z\in X:\varphi _\varepsilon (z) = \varphi (z)\}\). Thus we may apply the Hörmander estimate [7, Theorem 4.5, Chapter VIII] to see there exists a v solving (3.6) such that
for some constant C, where the first inequality uses \(\varphi _\varepsilon \leqslant \varphi \) and the final equality uses the statement about the support of \(\overline{\partial } \chi B_{k,x}^\varepsilon \). Finally observe that as \(B_{k}^\varepsilon \) decays away from the diagonal we in fact have
since \(x\in W'\) is a bounded distance away from the support of \(\overline{\partial } \chi \). Therefore \(\Vert v\Vert _{k\varphi } = O(k^{-\infty })\) which by Proposition 2.6 implies \(|v(y)|_{k\varphi } = O(k^{-\infty })\) as well, and one sees this estimate is even uniform over \(x,y\in W'\). Thus we have proved the required statement in the \(C^0\)-topology (i.e. when \(r=0\)). The statement for higher r follows from this using the Cauchy-integral formula. \(\square \)
4 A Local Partial Bergman Kernel for an \(S^1\)-invariant Metric on the Disc
In this section we construct a local Bergman kernel for a potential on the unit disc that is circle invariant. The method here is less general than the construction of Berman–Berndtsson–Sjöstrand but is better suited to dealing with partial Bergman kernels. Strictly speaking the content of this section is not needed for the proof of our main theorem, since it will be repeated when we generalize in Sect. 5; we have included it here as an illustration of the main ideas of our approach.
4.1 The Legendre Transform
Let D be the unit disc \(\{|z|<1\}\) in \(\mathbb C\). Suppose \(\varphi \) is a strictly plurisubharmonic function that depends only on |z| that is smooth on the closure \(\overline{D}\). We shall write \(z=e^{t+i\theta }\) and \(\varphi =\varphi (t)\). Then consider the Legendre transform
This is well defined since the assumption that the potential is strictly plurisubharmonic means \(\varphi \) is a strictly convex function of t and hence u is also strictly convex. We shall refer to \(x=:\mu (z)\) as the dual variable (or momentum variable) and to u(x) as the symplectic potential. This x is defined up to an additive constant, which we choose so \(x=0\) corresponds to \(z=0\) and suppose that \(|z|=1\) corresponds to \(x = a>0\) (the reader may wish to recall the model case in which \(\varphi = |z|^2 = e^{2t}\) has \(u(x) = \frac{1}{2} (x\ln x - x)\) as the symplectic potential). Any function of |z| defined on an annulus \(\{ \alpha \leqslant |z|\leqslant \beta \}\) can then be thought of as a function of x and \(\theta \), where x ranges in some interval and \(\theta \) ranges in \([0,2\pi ]\), and will do so henceforth without further comment. Moreover, the volume form \(dd^c\varphi \) on this annulus becomes the standard measured d\(x\mathrm{d}\theta \) in the variables \(x,\theta \).
Now define
and let \(s_{n,k}\) be the monomial
Then
so if we define
and replace \(\varphi (t)\) and t by the dual variables u(x) and x in (4.3) we have
In particular, the normalization of \(s_{n,k}\) is such that the maximum value of \(|s_{n,k}(z)|_{k\varphi }\) is 1 and is attained for those z for which \(x = \nu \) (this follows easily from the convexity of u). In fact,
so the unique turning point of \(x\mapsto U(\nu ,x)\) is at \(x=\nu \).
4.2 The Local Partial Bergman Kernel
Fix \(\sigma \in (0,a)\) and let \(\chi =\chi (x)\) be a smooth positive cutoff function that is identically equal to 1 for \(x\leqslant \sigma \) and has compact support in D. For \(\varepsilon <\sigma \) define
where
Finally let \(Y = \{0\}\) be the origin in D.
Theorem 4.1
Fix \(\eta <\sigma \). Then \(A^{\varepsilon }_k\) has the almost reproducing property on \(\mu ^{-1}[0,\eta )\); that is
for all \(f\in H_{k\varphi }^{\varepsilon k|}(D)\) and \(z\in \mu ^{-1}[0,\eta )\).
Proof
Let \(f\in H_{k\varphi }^{\varepsilon k|}(D)\) which can be written as \(f = f_1 + f_2\) where
and \(\nu =n/k\) as before. Obviously \(f_1\) and \(f_2\) are \(L^2\)-orthogonal, so
Now by symmetry,
so all that we have to do is prove
To this end, fix some \(\tau \) with \(\varphi '(\tau )\in (\eta ,\sigma )\). If \(z=e^{t+i\theta }\) has \(\mu (z)<\eta \) then \(\varphi '(t)<\eta <\varphi '(\tau )\) and so by strict convexity of \(\varphi \) this implies \(t\leqslant \tau -\delta \) for some \(\delta >0\) uniformly over all such z. Then Cauchy’s inequalities give
Therefore
Now, by Proposition 2.6, there is a constant C such that if \(t<\tau \) then
and hence
Thus we will get an exponentially small multiple of \(\Vert f_2\Vert _{k\varphi }\) provided that
for some positive \(\delta '\). But this is clear from the following picture:
That is, by convexity of \(\varphi \) the quotient
is bounded above by the slope \(\varphi '(\tau )\) which assumed to be strictly less than \(\sigma \) as \(t\leqslant \tau -\delta \). \(\square \)
5 A Local \(S^1\)-invariant Bergman Kernel on X
5.1 Outline of the Construction
We return to the case in which Y is a divisor in a compact complex manifold X, and L is a complex line bundle with hermitian metric \(e^{-\varphi }\) that has strictly positive curvature. We assume from now on that there exists a neighbourhood U of Y that admits a holomorphic \(S^1\)-action so that all the data are invariant when restricted to U (that is, the action lifts to \(L|_U\) preserving the hermitian metric, and Y is fixed pointwise by the action). In this section we shall construct a local PBK on U whose asymptotics we can understand as k tends to infinity.
There are several ingredients to this construction. First we exploit the relation between the eigenspaces of the \(S^1\)-action on \(H^0(U,L^k)\) and the order of vanishing along Y. By hypothesis, \(S^1\)-acts on the fibre \(L_p\) for any \(p\in Y\) with some weight w (which is the same for every \(p\in Y\)) and by renormalising the action we may assume without loss of generality that \(w=0\). Write
where \(V_k(n)\) is the subspace of elements of weight n. Then as Y is fixed pointwise
Using the presence of the \(S^1\)-action, we then have an identification
This is made explicit by a choice \(\sigma \in H^0(U,\mathscr {O}(Y))\) of defining section for Y. Thinking of U as a disc bundle \(\pi :U\rightarrow Y\), the isomorphism (5.1) is given by pulling back to U and then multiplying by \(\sigma ^n\). To put it another way, if f is a holomorphic section of \(L^k|_U\) we have an expansion
where \(f_n \in H^0(Y, L(-\nu Y)|_Y^k)\) and \(\nu : = n/k\). When U is a disc centered at the origin with the standard \(S^1\)-action and \(Y= \{0\}\), this just reduces to power series expansion of holomorphic functions on the disc.
Next we define a hermitian inner product on \(H^0(Y, L(-\nu Y)^k|_Y)\) as follows. Fix an \(S^1\)-invariant cut-off function \(\chi \) which is identically 1 in a neighbourhood of Y and supported in U. Then, with \(\sigma \) as above, we set
It turns out that this inner product is equal to the \(L^2\)-inner-product with respect to certain hermitian metrics \(e^{-2\eta _\nu }\) on \(L(-\nu Y)^k|_Y\) and certain volume forms on Y:
Proposition 5.1
(Proposition 5.13) Fix \(\varepsilon '\) slightly larger than \(\varepsilon \). Then for \(\nu \in [0,\varepsilon ']\) there is a smooth strictly plurisubharmonic potential \(\eta _{\nu }\) on \(L(-\nu Y)|_Y\) and a volume element \(dV_{\nu ,\hbar }\) on Y depending smoothly on \(\nu \) and \(\hbar := 1/\sqrt{k}\), such that
The proof of this proposition is essentially a standard stationary phase argument for the integral (5.2). To give a rough idea of the argument, consider the local situation. In standard local coordinates \((z=e^{t+i\theta },w_1,\ldots ,w_n)\) so that Y is given locally by \(z=0\), our potential \(\varphi = \varphi (t,w)\) and is convex in t for fixed w. Introduce (locally) the parametrized Legendre transform u characterised by
Here x is the moment map of the \(S^1\)-action. On the other hand, the integrand in (5.2) then takes the form
multiplied by a smooth volume element in the w variables, where \(\nu = n/k\). So standard asymptotic methods give a leading term of the form
on integrating with respect to x and \(\theta \), since the exponential is stationary at \(x=\nu \). Thus we see the negative of the Legendre transform \(-u(\nu ,w)\) appear as a local potential for \(L(-\nu Y)|_Y\). We shall show that \(w \mapsto - u(\nu ,w)\) is strictly plurisubharmonic in w and that these local potentials indeed patch together to give a potential \(\eta _\nu \) on \(L(-\nu Y)|_Y\). The existence, and properties, of the required volume d\(V_{\nu ,\hbar }\) then comes from an application of Laplace’s method.
Now the projection from the \(L^2\)-sections of \(L(-\nu Y)|_Y^k\) to the holomorphic ones is given by an integral kernel on \(Y\times Y\) that we denote by \(G_{n,k}\). Putting all of this together we shall prove:
Theorem 5.2
(Theorem 5.24) Fix \(\varepsilon '\) slightly larger than \(\varepsilon \). Then the quantity
is an \(S^1\)-local PBK for Y.
We refer the reader to Sect. 5.6 for the precise definition of a \(S^1\)-local PBK (which merely modifies slightly the decay away from the diagonal property). Of course this theorem is to be understood as holding with respect to the chosen cut-off function \(\chi \). This is a rather precise formula for the local PBK, which we shall exploit to understand its asymptotics as k tends to infinity.
We now go through the details of these two results.
5.2 Circle-invariant Set-up
Let X, Y, L and \(\varphi \) be as before and set \(\omega = dd^c\varphi \). We also fix a defining section \(\sigma \in H^0(Y,\mathscr {O}(Y))\) for Y. We suppose that there is an open neighbourhood U of Y that admits a holomorphic \(S^1\)-action with Y as the fixed point set, so that U is covered by charts that admit “standard coordinates” (z, w) so that
and so that \(\sigma =z\) in these coordinates. We also assume that this actions lifts to \(L|_U\) preserving \(\varphi \) in such a way that the \(S^1\)-action is trivial over points in Y. By abuse of notation we let \(\mathscr {O}(Y)\) denote both the line bundle associated to the divisor Y as well as its sheaf of sections (so is equal to the normal bundle of Y in X). We let \(\mu :X\rightarrow \mathbb R\) denote the Hamiltonian of this \(S^1\)-action normalised so \(Y = \mu ^{-1}(0)\) and always assume that \(\varepsilon \) is sufficiently small so that \(\mu ^{-1}[0,\varepsilon )\Subset U\).
As we have a holomorphic \(S^1\)-action, we can identify our tubular neighbourhood U of Y holomorphically with a disc-subbundle of \(\mathscr {O}(Y)\).
Lemma 5.3
The neighbourhood U of Y is biholomorphic to a disc subbundle \(\pi :D\rightarrow Y\) of \(\mathscr {O}(Y)\). Furthermore any \(S^1\)-invariant line bundle \(L'\) on U is canonically isomorphic to \(\pi ^* L'|_Y\).
Proof
Let \((z_\alpha ,w_\alpha )\) and \((z_\beta ,w_\beta )\) be two sets of standard coordinates. The transition functions between them are necessarily of the form
where \(\lambda _{\alpha \beta }\) is holomorphic and takes values in \(\mathbb {C}^*\). Then both \(\lambda _{\alpha \beta }\) and \(\tau _{\alpha \beta }\) must be \(S^1\)-invariant as well, which means their dependence upon \(z_\alpha \) must be trivial. Hence we have
is actually linear in the z coordinate. Since locally Y is given by \(z_\alpha =0\) (resp. \(z_{\beta }=0\)) the \(\lambda _{\alpha \beta }\) are the transition functions for the line bundle \(\mathscr {O}(Y)\), so we have the desired biholomorphism. The argument for the second statement is the same, as the transition functions for an \(S^1\)-invariant bundle \(L'\) must be independent of the normal variables \(z_{\alpha }\) in standard coordinates. \(\square \)
Now we recall the eigenspace decomposition we have denoted by
where \(V_k(n)\) denotes the subspace of weight n and that here and henceforth we are setting
Lemma 5.4
The map
is an isomorphism.
We omit the proof.
Lemma 5.5
Given \(f\in H^0(U,L^k)\) there is a unique sequence
such that
Proof
We have that \((\pi ^* f_n) \sigma ^n\) is just the weight-n component of f with respect to the \(S^1\)-action. We use here the fact that a weight-zero section on U is canonically the same as the pull-back of a section over Y. That \(f_n\) lives where claimed is immediate from the definitions. \(\square \)
From now on we regard U as a disc-subbundle of \(\mathscr {O}(Y)\) without further comment, and drop the \(\pi ^*\) from notation so we identify \(L^k\otimes \mathscr {O}(-nY)\) with \(\pi ^*(L(-\nu Y)^k|_Y)\) and also identify sections \(f_n\) of \(L(-\nu Y)|_Y^k)\) with their pull-back \(\pi ^* f_n\) to U.
Our next order of business is to define hermitian inner products on \(H^0(Y, L({-}\nu Y)|_Y^k)\). Pick \(\varepsilon '\) slightly larger than \(\varepsilon \) and a domain \(\Omega '\) arranged as follows:
Definition 5.6
Fix once and for all an \(S^1\)-invariant cut-off function
Then for \(f_n,g_n\in C^{\infty }(Y, L(-\nu Y)|_Y^k)\) define
(We emphasise our abuse of notation in that on the right hand side \(f_n\) and \(g_n\) are being identified with their pullback, so as to be defined on U).
So by construction if \(f=\sum _n f_n \sigma ^n\) and \(g= \sum _n g_n \sigma ^n\) are the expansions of two functions in \(H^0(U,L^k)\) as in Lemma 5.5 we have
5.3 The Local Legendre Transformation
Our next goal is better to understand the hermitian inner products on \(H^0(Y, L(-\nu Y)|_Y^k)\) defined in (5.6). In this section we shall do so locally over a small chart in Y, and in the next we will see how this globalises over Y. So assume we have standard coordinates \(z, w_1,\ldots ,w_{d-1}\) as in (5.3) on some patch of the form \(U_{\alpha } = \pi ^{-1}(W_\alpha )\) for some open subset \(W_{\alpha }\) of Y and write
Recall that this includes the assumption that the defining section \(\sigma \) for Y is locally given by \(\sigma =z\) in this coordinate system, and on this chart the hermitian metric on L is given by \(e^{-2\varphi }\) where \(\varphi \) is a function of t and w. So, for f supported in such a coordinate chart
We fix \(\nu >0\) and investigate the large k asymptotic behaviour of this integral. By standard principles doing the t-integral first, this will be exponentially small in k unless the cricial point \(\varphi _t=\nu \) occurs in the support of f. Assuming this to be the case, the main term for large k is
where u is the parametrized Legendre transform defined as follows. Introduce the dual variables
which is precisely the moment map of the \(S^1\)-action, so Y is given by \(x=0\).
Definition 5.7
The parameterized Legendre transform u is characterized by
Thus dually to (5.7) we have
Lemma 5.8
For each fixed x the function \(w\mapsto -u(x,w)\) is strictly plurisubharmonic. Moreover, if we introduce the connection 1-form
then
where the notation indicates fixing x and computing \({\mathrm d}{\mathrm d}^c\) of \(w \mapsto - u(x,w)\).
Proof
By elementary computation,
Since \(x = \varphi _t\),
so
Hence we need to prove that
This follows by careful differentiation of (5.8). First, by differentiation with respect to \(w^a\),
where in the first term we are holding t fixed and in the second we are holding x fixed. Differentiating again with respect to \(\overline{w}^b\), holding x fixed,
Next, differentiation of \(x = \varphi _t(x,w)\) with respect to yields \(\overline{w}^b\) (holding x fixed)
If we insert this into (5.16), we obtain
This proves (5.14), from which it follows that \(-u(x,w)\) is strictly plurisubharmonic in w for fixed x. \(\square \)
Remark 5.9
The statement that for fixed x the map \(w\mapsto -u(x,w)\) is strictly plurisubharmonic follows also from the Kiselman minimum principle [14]. The advantage of the above calculation is that it also gives an explicit formula for its curvature.
Lemma 5.10
For fixed w the map \(x\mapsto u(x,w)\) is strictly convex.
Proof
This follows as \(u_{xx} = t_x\) and \(x_t= \varphi _{tt}>0\) as \(\varphi \) is assumed to have strictly positive curvature. \(\square \)
5.4 The Global Legendre Transform
Definition 5.11
Let u(x, w) be the locally defined Legendre transform from (5.8). We set
Lemma 5.12
The above locally defined expression for \(\eta _\nu \) gives a well-defined potential on \(L(-\nu Y)|_Y\) whose curvature \(dd^c\eta _\nu \) is strictly positive (and bounded away from 0 as \(\nu \) ranges in a bounded interval).
Proof
Consider a cover by standard coordinates \((z_\alpha ,w_\alpha )\) on charts \(U_\alpha \) as in (5.3). We assume the line bundle L is trivialized over each \(U_\alpha \) with transition functions \(\mu _{\alpha \beta }\) and that the metric on L has potential \(\varphi _\alpha \) over \(U_\alpha \). As we have already seen (5.5)
where \(\lambda _{\alpha \beta }\) is a holomorphic function of \(w_{\alpha }\) in \(U_{\alpha }\cap U_{\beta }\) giving the transition functions for \(\mathscr {O}(Y)|_Y\). Now \(\partial _{t_\alpha } \varphi _\alpha = \partial _{t_\beta } \varphi _\beta \) since they are both equal to the globally defined moment map x. So by definition of the Legendre transform along the set \(\{x=\nu \}\) we have
Now
and as \(\varphi \) is a potential on L we have \(\varphi _{\alpha } = \varphi _\beta + \log |\mu _{\alpha \beta }|\). So we obtain
which is precisely the statement that \(\eta _\nu (\cdot ) = -u(\nu ,\cdot )\) is a well-defined potential on \(L(-\nu Y)|_Y\). The positivity of the curvature of this potential is a local calculation, and is the content of Lemma 5.8 \(\square \)
One of our main uses of this potential is the following expression for the hermitian metric we defined on \(H^0(Y,L(-\nu Y)|_Y^k)\). Write \(\omega _{x,u} = -({\mathrm d}{\mathrm d}^c)_w u(x,w)\), so by Lemma 5.8
as before.
Proposition 5.13
There exist volume forms d\(V_{\nu ,\hbar }\) on Y for \(\nu \in (0,\varepsilon ')\) such that the inner-product on sections of \(L(-\nu Y)^k_Y\) defined in (5.6) is the \(L^2\)-inner-product with respect to the potential \(\eta _\nu \) and volume form d\(V_{\nu ,\hbar }\), i.e.
In fact
where \(A(\nu ,\hbar )\) is a smooth function and \(A(\nu ,0)=1\).
Proof
Let \((z,w_1,\ldots ,w_{d-1})\) be standard coordinates on some chart of the form \(U_\alpha = \pi ^{-1}(W_\alpha )\) for some \(W_{\alpha }\subset Y\). Without loss of generality we may assume that f is supported in W. Observe that
Then chasing definitions
This can be calculated by performing the x-integral first, to obtain an expression as an integral on \(W_{\alpha }\). This gives the existence of the volume form d\(V_{\nu ,\hbar }\) (which is clearly well-defined over all of Y). Now observe that
where q vanishes to order at least 3 at \(x=\nu \). Thus the x-integral can be calculated using Laplace’s method, proving that \(dV_{\nu ,\hbar }\) is smooth in \(\hbar \), and moreover giving the stated leading term for d\(V_{\nu ,\hbar }\) (this is a simple case of the Laplace method described in Appendix 3, see in particular Remark 10.4). \(\square \)
Remark 5.14
It is worth noting that d\(V_{\nu ,\hbar } = O(\hbar )\), so \(\hbar ^{-1} \mathrm{d}V_{\nu ,\hbar }\) lie in a compact set of smooth volume forms as \(\hbar \) tends to 0 and \(\nu \) ranges in a bounded interval.
5.5 The Extremal Envelope
The circle-invariant set-up allows us to identify the extremal envelope and the forbidden region explicitly in terms of the moment map, the potential and the Legendre transform.
In the neighbourhood U of Y, note that the locally defined expression \(\varepsilon t - u(\varepsilon ,\cdot )\) defines a potential on L|U. This is because in U, \(\varepsilon t\) is a potential on \(\mathscr {O}(\varepsilon Y)\) and \(\eta _\varepsilon = - u(\varepsilon ,\cdot )\) is a potential on \(L(-\varepsilon Y)\), so their sum is a potential on L. Note further that
by definition of the Legendre transform. Define
This definition makes sense initially only in U, but can clearly be extended to equal \(\varphi \) over \(X{\setminus } U\). So defined, \(\psi _\varepsilon \) is a continuous potential on L.
Remark 5.15
The Definition (5.20) can be motivated as follows. The simplest possible function with correct Lelong number has the form \(\varepsilon t + \text{ const }\), where \(t = \log |z|\) as before. This does not extend globally, so away from Y we try to patch it to \(\varphi (t)\). For fixed w, the slope of \(\partial _t\varphi (t,w)\) is equal to \(\varepsilon \) precisely when \(\mu (t,w)=\varepsilon \), since \(\partial _t\varphi = \mu \). Thus we extend \(\varepsilon t + \text{ const }\) across \(\mu ^{-1}(\varepsilon )\) to equal \(\varphi \). For this to be continuous, we need the constant to be equal to \(-u(\varepsilon ,w)\), and we have arrived at (5.20).
Then we have
Theorem 5.16
The function \(\psi _\varepsilon \) is the extremal envelope for \((X,Y,L,\varepsilon )\) (cf. Definition 2.11). Moreover, for \((t,w)\in U\),
In particular the forbidden region \(D_\varepsilon \) is equal to \(\mu ^{-1}[0,\varepsilon )\).
Proof
We shall show first that \(\psi _\varepsilon (t,w) < \varphi (t,w)\) if \(\mu (t,w) <\varepsilon \). This is a variant of the convexity argument used at the end of the proof of Theorem 4.1.
Fix w and let \(t_\varepsilon \) satisfy \(\mu (t_\varepsilon ,w) =\varepsilon \). Then, from the definitions,
Then
If \(t<t_\varepsilon \) then the difference quotient is strictly less than the derivative at the upper end point \(\varphi '(t_\varepsilon ) = \varepsilon \). Hence the quantity in the large brackets is positive and so
as required.
We shall show next that \(\psi _\varepsilon \) is \(C^1\). The only issue is what happens near \(\mu ^{-1}(\varepsilon )\). It is easier to use (x, w) as local coordinates. Then
and
Since both expressions are equal for \(x=\varepsilon \) it follows that all tangential derivatives agree on this hypersurface, whereas
and
Thus \(\psi _\varepsilon \) is \(C^1\) as claimed.
A similar calculation, which we leave to the reader, shows that \(\psi _\varepsilon \) is plurisubharmonic: from the regularity just proved, this follows by showing that \(\psi _\varepsilon \) is plurisubharmonic on each side of the hypersurface \(\mu ^{-1}(\varepsilon )\).
Hence \(\psi _\varepsilon \) is a candidate for the extremal envelope \(\varphi _\varepsilon \) in the sense of Definition 2.11. We have to check that there is no better candidate. By definition, any other candidate must also equal \(\varphi \) on the set \(X{\setminus } \mu ^{-1}[0,\varepsilon )\).
Suppose for contradiction \(\psi _\varepsilon <\varphi _\varepsilon \) at some point \((t_0,w_0)\in U\). Then there is a plurisubharmonic potential \(\gamma \) on L bounded above by \(\varphi \) with Lelong number at least \(\varepsilon \) along Y such that \(\gamma (t_0,w_0)>\psi _\varepsilon (t_0,w_0)\). Since \(\gamma \leqslant \varphi \) we must then have \(\mu (t_0,w_0)<\varepsilon \) and so \(\psi _\varepsilon = \varepsilon t- u(\varepsilon , w)\) near \((t_0,w_0)\). Suppose that \(\gamma '(t_0,w_0)\geqslant \psi _\varepsilon ' = \varepsilon \). Along the image of \(t\mapsto (t,w_0)\) we have \(\gamma '(t,w_0)\) is non-decreasing, so at the point (t, w) on \(\mu ^{-1}(\varepsilon )\) we have \(\gamma >\psi _\varepsilon (t,w) = \varphi (t,w)\) which is absurd. Hence \(\gamma '(t_0,w_0)<\varepsilon \). Again by the monotonicity of \(\gamma '\) along this image we see that \(\gamma '<\varepsilon \) for all \(t<t_0\) and so the Lelong number of u is strictly less that \(\varepsilon \) which is also absurd. Hence such a \(\gamma \) cannot exist, and we conclude \(\psi _\varepsilon = \varphi _\varepsilon \) as desired. \(\square \)
Corollary 5.17
With notaton as above, the equilibrium set for Y with respect to \(\varepsilon \) is the complement of \(\mu ^{-1}[0,\varepsilon )\) and the forbidden region is \(\mu ^{-1}[0,\varepsilon )\)
Proof
Follows directly from the Theorem. \(\square \)
Remark 5.18
Berman has proved that the extremal envelope \(\varphi _\varepsilon \) is generally no better than \(C^{1,1}\), and our explicit formula (5.20) displays precisely this regularity. On the other hand, we have seen in the course of the proof that \(\psi _\varepsilon = \varphi _\varepsilon \) is conormal with respect to the hypersurface \(\mu ^{-1}(\varepsilon )\): that is to say
for any number of vector fields \(V_j\), provided that these are all tangential to \(\mu ^{-1}(\varepsilon )\). It would be interesting to investigate the conormal regularity of the extremal envelope in other situations.
As an application of this explicit identification of the extremal envelope, we prove the following technical result.
Lemma 5.19
Suppose that \(f \in H^{\varepsilon 'k}_{k\varphi }(U)\) and
Then there are constants C and c such that
Proof
The proof is similar to that of Proposition 2.13. Let \(N_k = \sup _{\Omega '} |f|_{k\varphi }\) and set
Then \(v \leqslant 0\) and \(\varphi + v\) is a competitor to be the envelope for \(\nu Y\) on \(\Omega '\). Hence \(\varphi + v \leqslant \psi _{\varepsilon '}\). Rearranging this gives that over \(\Omega '\)
where we have used the \(L^2\) implies \(L^{\infty }\) bound from Proposition 2.6 and set \(c:\inf _{\Omega '}(\varphi - \psi _\nu ) = c\) which is strictly positive as \(\Omega '\Subset \mu ^{-1}[0,\varepsilon ')\). \(\square \)
5.6 A Modified Glueing Result
We will need a slight modification of our glueing result that relaxes the decay away from the diagonal condition in the presence of a holomorphic \(S^1\)-action.
Definition 5.20
We say that \(B_k^\varepsilon \) is an \(S^1\) -local partial Bergman kernel if it has the holomorphic and almost reproducing property as in Definition 3.1 and the following decay away from the diagonal in standard coordinates:
where, we recall, \(x=\mu (z,w)\) and \(x'=\mu (z',w')\) is the value of the moment map at these points.
Remark 5.21
The above form of decay away from the diagonal may appear rather unusual, in that the decay is faster in the directions normal to Y than other directions. We have stated it in this way simply because that is what our particular construction of \(B_k^\varepsilon \) satisfies. The precise decay will not matter for our application, and it is sufficient to have something of the form \(e^{O(\sqrt{k}) \rho ((z,w),(z',w'))}\) where \(\rho \) is a distance function (say the geodesic distance defined by a given Kähler metric). In the above \(|w-w'|\) refers the Euclidean norm with respect to our standard coordinates around Y which we assume to exist locally (see Sect. 5.2). Again for our purpose one could, if one prefers, replace this with \(\rho _Y(w,w')\) where \(\rho _Y\) is the geodesic distance with respect to some given Kähler metric on Y.
Theorem 5.22
With the setup as above, suppose \(B_k^\varepsilon \) is an \(S^1\)-local PBK of order N on \(W\subset U\), and suppose that \(\varepsilon \) is sufficiently small so that the forbidden region \(D_\varepsilon \) lies in W. Then if \(W'\) is an open, relatively compact subset of W then we have for all \(r\geqslant 0\) that
Proof
The proof is the same as that of Theorem 3.3. The only place in which we used the decay away form the diagonal was in (3.7). But if \((z,w)\in W'\) and \(\overline{\partial } \chi (z')\ne 0\) at a point \((z',w')\) then x and \(x'\) are a bounded distance apart (as \(\chi \equiv 1\) on W) and so (3.7) still holds. \(\square \)
5.7 The Local Partial Bergman Kernel
We are now ready to define our local PBK. For \(\nu \in [0,\varepsilon ')\) let \(G_{n,k}\) denote the reproducing kernel on \(Y\times Y\) for \(L^k\otimes \mathscr {O}(-nY)|_Y\) with respect to the inner-product defined in (5.6).
Definition 5.23
Define
So by our conventions made following Lemma 5.5, \(B_k^\varepsilon \) is a holomorphic section of \(L^k|_U\boxtimes \overline{L}^k|_U\).
Theorem 5.24
\(B_k^\varepsilon \) is an \(S^1\)-local PBK for \((\varepsilon ,Y)\) on \(\Omega '\) (with respect to the chosen cutoff function \(\chi \) used in (5.6)).
Before the proof we make a convenient definition:
Definition 5.25
In standard local coordinates let
Lemma 5.26
-
(1)
There exists a constant \(c>0\) such that \(U(\nu ,x,w)\geqslant c(x-\nu )^2\).
-
(2)
For any \(f\in H^0(L(-\nu Y)^k|_Y)\) we have
$$\begin{aligned} |f\sigma ^n |_{k\varphi } = |f|_{k\eta _\nu } e^{-kU(\nu ,x,w)}. \end{aligned}$$
Proof
The first statement follows as \(U(\nu ,x,w) = u_{xx}(w,x')(\nu -x)^2\) for some \(x'\) which is strictly bounded from below as \(x\mapsto u(x,w)\) is strictly convex. The second statement is a simple calculation using the definitions and is left to the reader. \(\square \)
Proof
We first show that \(B_k^\varepsilon \) has the almost reproducing property, i.e. for some \(c,C>0\) we have
for all \(f\in H_{k\varphi }^{\varepsilon k}(U)\) and \(z\in \Omega '\). For this we know from Lemma 5.5 that we can write such an f as \(f=g+s\) where
and \(s_n,g_n \in H^0(L(-\nu Y)^k|_Y)\). By integrating in the normal direction to Y first, we see by construction that if \(z\in \Omega '\) we have
On the other hand as s vanishes to order at least \(\varepsilon ' k\) along Y we have from Lemma 5.19 that \(\sup _{\Omega '} |s|_{k\varphi } \leqslant C e^{-ck} \Vert s\Vert _{k\varphi } \leqslant Ce^{-ck} \Vert f\Vert _{k\varphi }\) for some \(c,C>0\). Putting this together gives (5.25).
Finally we prove that \(B_k^\varepsilon \) has the desired decay away from the diagonal property, i.e.
Fix (z, w). Then by Cauchy–Schwarz and the definition of the function U (i.e. Lemma 5.26)
for some \(c>0\). Recall that each \(G_{n,k}\) decays exponentially fast away away from the diagonal,
We have given a proof of this classical fact in Theorem 2.9. Moreover this estimate is uniform as \(\nu \) ranges in a bounded interval, as follows directly from our proof. [The reader may have expected to see \(O(k^{2d-2})\) in Eq. 5.26 instead of \(O(k^{2d-1})\) since since \(2\dim Y =2d-2\), but the reason for this missing fact of k is that whereas it is true that for a fixed volume form on Y the Bergman kernel has decay at rate \(O(k^{2d-2}) e^{-c\sqrt{k}|w-w'|}\) (and this decay still holds for volume forms that lie in a compact set), in the above \(G_{n,k}\) is taken with respect to the volume form d\(V_{\nu ,\hbar } = O(\hbar ) = O(k^{-1/2})\) which is shrinking with respect to k.]
Hence
for some \(c>0\). On the other hand, by completing the square
which gives the desired result. \(\square \)
6 Proof of Main Theorems
We now put what we have done together to prove the main theorems. The main task is to understand the asymptotics of our \(S^1\)-local PBK
The idea is to use the standard asymptotic expansion of the density functions on Y to expand the functions \(G_{n,k}\) in powers of k, and then use the Euler–Maclaurin formula to evaluate the sum in terms on an integral, which by Laplace’s method can also be expanded in powers of k. To display the main ideas and keep the proof short, we include an account of each of these standard techniques in the Appendix.
We start by recalling the well-known asymptotic expansion of the Bergman kernel. Let \(L'\) be an ample line bundle on a compact complex manifold Y of dimension d with positive hermitian metric \(e^{-2\varphi }\) and let dV be a smooth volume form on Y. These define an \(L^2\)-inner product on sections of \(L'^k\) and we let \(K'_k\) denote the reproducing kernel for the projection to the holomorphic sections, and let \(\rho _k'(y) = K_k(y,y)\) be the corresponding density function.
Theorem 6.1
There exist smooth functions \(a_0,a_1,\ldots \) on Y such that for any \(p,r\geqslant 0\) there is an asymptotic expansion
Furthermore the \(a_i\) are universal quantities that depend smoothly on dV and the curvature of \(\varphi \), in particular
Moreover given any \(c>0\) and background Kähler form \(\omega _0\) on Y, the \(O_{C^r}(k^{d-p-1})\) error term may be taken uniformly over all \((L', e^{-\varphi })\) such that \(dd^c\varphi \geqslant c\omega _0\) as well as uniformly over all volume forms that lie within a compact set.
Proof
The first statement is the famous asymptotic expansion of the Bergman kernel, due to Fefferman [9], Catlin [5], Tian [30] and Zelditch [31], The statement that the error term may be taken uniformly follows from the same proofs (e.g. it is clear that this is the case for the local Bergman Kernel of [3], and the glueing theorem of [3, Thm 3.1] uses the Hörmander estimate which gives a uniform error given the assumed bound on \(dd^c\varphi \), and for the variation with respect to dV see [3, Sec 2.4] which is also clearly uniform as dV varies in a compact set. \(\square \)
Proof
(Proof of Theorems 1.1, 1.2) First we note that \(B_k^\varepsilon \) is an \(S^1\)-local PBK which by Theorem 5.22 approximates the globally defined PBK, so in standard coordinates (z, w) we have
Hence the goal becomes to understand the asymptotics of the quantity
From now on we will work with the variable \(\hbar = k^{-1/2}\). By Lemma 5.12 the \(\eta _\nu \) have positive curvature bounded from below uniformly over \(\nu \in [0,\varepsilon ']\). Observe that \(\eta _{\nu }\) are smooth in \(\nu \) and recall that \(\hbar ^{-1 }\mathrm{d}V_{\nu ,\hbar }\) are volume forms that lie in a compact set (and moreover are smooth in \(\hbar \) and \(\nu \)). Thus Theorem 6.1 implies there are smooth functions \(a_i(\nu ,w)\) on \([0,\varepsilon ']\times Y\) such that that for any \(r,p\geqslant 0\) we have
where, as usual, \(\nu = n/k = \hbar ^2 n\). To capture this information we define
which is clearly smooth in all variables.
Remark 6.2
For later use, observe that from the leading order term of d\(V_{\nu ,\hbar }\) given in (5.19) and the leading order term of the asymptotic expansion of the Bergman function given in (6.2) we have that
Now using Lemma 5.26 (i.e. the properties of our function U) gives
Now this sum can be calculated using the Euler–Maclaurin formula (see 9.2). To state this let
and set
Then
where
where \(\beta _j\) are the Bernoulli numbers. Moreover one sees directly that the coefficients \(A_j\) lift to the real blowup (see Appendix 1) as in the statement of the Theorem.
Thus it remains only to analyse the integral in the right hand side of (6.3) which can be done by Laplace’s method. In slightly more detail observe that \(q_{\hbar }(s)\) has its unique critical point at \(s=0\). We rewrite the integral as
So this is precisely the setup of Laplace’s method as discussed in Appendix 3 which shows that this integral has an asymptotic expansion in powers of \(\hbar \), in fact
where as usual
Recall that \(u_{xx}(0,w) = |v|\) where v is the generator of the \(S^1\)-action. Thus plugging in (Remark 6.2)
as simple change of variables gives
as required in the statement of Theorem 1.2. Finally Theorem 1.1 follows immediately from this by the behaviour of \(\Phi (x)\) on the sets \(\{x<\varepsilon \}\) and \(\{x>\varepsilon \}\). \(\square \)
7 An Application
We end with an application of our main theorem to the study of a certain natural function introduced by Ross-Witt Nyström [22] that one can associate to a divisor on a Kähler manifold.
Fix a line bundle L on a compact complex manifold X with hermitian metric \(e^{-\varphi }\). Then the order of vanishing of sections along a divisor Y determines a finite length filtration
Let \({\text {ord}}_Y(s)\) denote the order of vanishing of a section s along Y, and suppose that \(\{s_{\alpha ,k}\}\) is an \(L^2\)-orthonormal basis for \(H^0(L^k)\) that is compatible with this filtration, i.e. for each j the set
is a basis for \(H^0(L^k\otimes \mathscr {I}_Y^j)\),
Definition 7.1
Define \(M_k:X\rightarrow \mathbb R\) by
One can check directly that this definition does not depend on choice of compatible orthonormal basis, and thus defines a natural smooth function on X associated to Y and the hermitian metric on L.
Theorem 7.2
Suppose \(\varphi \) and Y are invariant under an \(S^1\) action on (X, L). Then there is a neighbourhood of Y and an asymptotic expansion
where \(c_i\) are smooth functions defined on this neighbourhood. Moreover \(c_0\) is precisely the hamiltonian of the \(S^1\) action normalized so \(Y = c_0^{-1}(0)\).
Remark 7.3
It is shown in [22, Sec 8], without any assumption of the existence of an \(S^1\)-action, that the limit
converges almost everywhere on X. We do not know anything about the regularity of \(\mu \) in general, but it does have a “push-forward” property analogous to that of the Duistermaat-Heckman formula [22, Thm. 8.1, 8.3] with the moment polytope being replaced by the Okounkov body of (X, L). The previous theorem shows that in the \(S^1\)-invariant case we in fact have that \(\mu =c_0\) is the Hamiltonian in a neighbourhood of Y which reaffirms this property.
Proof of Theorem 7.2
For simplicity write \(s_{\alpha }\) for \(s_{\alpha ,k}\) and set \(n_{\alpha } = {\text {ord}}_Y(s_{\alpha })\). We also write \(x:X\rightarrow \mathbb R\) for the hamiltonian of the \(S^1\)-action normalized so \(Y=\{x=0\}\). So the partial Bergman kernel for \((\varepsilon , Y)\) is given by
By Theorem 1.2 there is a neighbourhood of the divisor and an expansion of the partial density in powers of \(k^{1/2}\):
where the \(b_i(\varepsilon )\) are smooth functions on X with
Now
Thus on a smaller neighbourhood of Y (say where \(x\leqslant \sigma /2\)) we have
where \(\rho _k\) is the usual Bergman function on X. Now \(\rho _k = k^d + O(k^{d-1})\) has a global asymptotic expansion in powers of k, and thus the Euler–Maclaurin formula gives the required expansion (7.1) for \(M_k\) with
Roughly speaking, for k large \(b_0(s)\) is approximately 1 for \(x>s\) and 0 for \(x<s\), and so \(c_0=\int _0^s b_0(s) \mathrm{d}s \sim \int _0^x \mathrm{d}s = x\). We claim that in fact for \(x<\sigma /2\) we have
To see this, integrate by parts to get
Since \(x<\sigma /2\) the boundary term is \(O(k^{-\infty })\), and by direct calculation
as claimed. \(\square \)
Notes
Note the factor of \(2\pi \).
References
Berman, R.: Bergman kernels and equilibrium measures for ample line bundles (2007) Preprint arXiv:0704.1640
Berman, R.: Bergman kernels for weighted polynomials and weighted equilibrium measures of \({\mathbb{C}}^n\). Indiana Univ. Math. J. 58(4), 1921–1946 (2009)
Berman, R., Berndtsson, B., Sjöstrand, J.: A direct approach to Bergman kernel asymptotics for positive line bundles. Ark. Mat. 46(2), 197–217 (2007)
Berndtsson, B.: A remark on approximation on totally real sets. Complex analysis and digital geometry, 75–80, Acta Univ. Upsaliensis Skr. Uppsala Univ. C Organ. Hist., 86, Uppsala Universitet, Uppsala (2009)
Catlin, D.: The Bergman kernel and a theorem of Tian, analysis and geometry in several complex variables (Katata, 1997), Trends Math. Birkhäuser Boston, Boston, pp. 1–23 (1999)
Dai, X., Liu, K., Ma, X.: On the asymptotic expansion of Bergman kernel. J. Differ. Geom. 72, 1–41 (2006)
Demailly, J.-P.: Complex Analytic and Differential Geometry Version of June 21, 2012. http://www-fourier.ujf-grenoble.fr/~demailly/manuscripts/agbook
Delin, H.: Pointwise estimates for the weighted Bergman projection kernel in \({\bf C}^n\), using a weighted \(L^2\) estimate for the \(\overline{\partial }\) equation. Ann. Inst. Fourier (Grenoble) 48(4), 967–997 (1998)
Fefferman, C.: The Bergman kernel and biholomorphic mappings of pseudoconvex domains. Invent. Math. 26, 1–65 (1974)
Grieser, D.: Basics of the b-calculus. In: Gill, J.B., Grieser, D., Lesch, M. (eds.) Approaches to Singular Analysis. Operator Theory: Advances and Applications, vol. 125, pp. 30–84. Birkhäuser, Basel (2001)
Hassell, A., Mazzeo, R., Melrose, R.: Analytic surgery and the accumulation of eigenvalues. Commun. Anal. Geom. 3, 115–222 (1995)
Hedenmalm, H., Makarov, N.: Quantum Hele-Shaw flow. Preprint arXiv:math/0411437
Hedenmalm, H., Makarov, N.: Coulomb gas ensembles and Laplacian growth. Proc. Lond. Math. Soc. (3) 106(4), 859–907 (2013)
Kiselman, C.: Plurisubharmonic functions and their singularities. In: Gauthier, P.M., Sabidussi , G. (eds.) Complex Potential Theory. NATO ASI Series. Series C: Mathematical and Physical Sciences, vol. 439, pp. 273–323. Kluwer Academic Publishers, Dordrecht (1994)
Lindholm, N.: Sampling in weighted \(L^p\) spaces of entire functions in \(C^n\) and estimates of the Bergman kernel. J. Funct. Anal. 182(2), 390–426 (2001)
Melrose, R.: Differential analysis on manifolds with corners In preparation, partially available at http://math.mit.edu/~rbm/book.htm
Melrose, R.: Star products and local line bundles. Ann. Inst. Fourier (Grenoble) 54(5), 1581–1600 (2004). xvi, xxii
Ma, X., Marinescu, G.: Exponential estimate for the asymptotics of Bergman kernels. Math. Ann. 362(3–4), 1327–1347 (2015)
Ma, X., Marinescu, G.: Holomorphic Morse inequalities and Bergman Kernels, Progress in Mathematics, vol. 254. Birkhäuser Verlag, Basel (2007)
Michael, R.R.: Holomorphic Functions and Integral Representations in Several Complex Variables, Springer Graduate Texts in Mathematics, vol. 108 (1986)
Pokorny, F., Singer, M.: Toric partial density functions and stability of toric varieties. Math. Ann. 358(3–4), 879–923 (2014)
Ross, J., Witt Nyström, D.: Envelopes of plurisubharmonic metrics with prescribed singularities. arXiv:1210.2220
Ross, J., Witt Nyström, D.: Analytic test configurations and geodesic rays. J. Symplectic Geom. 12(1), 125–169 (2014)
Ross, J., Thomas, R.P.: Weighted Bergman kernels on orbifolds. J. Differ. Geom. 88, 87–108 (2011)
Rubinstein, Y.: Geometric quantization and dynamical constructions on the space of Kähler metrics. PhD Thesis, MIT (2008)
Shiffman, B., Zelditch, S.: Random polynomials with prescribed Newton polytope J. Am. Math. Soc. 17(1), 49–108 (2004)
Stalker, J.: Complex analysis: fundamentals of the classical theory of functions. Birkhäuser, Basel (1998)
Stigler, S.: Laplace’s 1774 memoir on inverse probability. Stat. Sci. 1(3), 359–378 (1986)
Zworski, M.: Semiclassical Analysis Graduate Studies in Mathematics, vol. 138. American Mathematical Society, Providence (2012)
Tian, Gang: On a set of polarized Kähler metrics on algebraic manifolds. J. Differ. Geom. 32(1), 99–130 (1990)
Zelditch, Steve: Szegö kernels and a theorem of Tian. Int. Math. Res. Notices 6, 317–331 (1998)
Zelditch, S., Zhou, P.: Interface asymptotics of partial Bergman kernels on S1-symmetric Kaehler manifold (2016) Preprint arXiv:1604.06655
Acknowledgments
During this work JR was supported by an EPSRC Career Acceleration Fellowship (EP/J002062/1) and MS by the Leverhulme Trust. The authors wish to thank Bo Berndtsson, David Witt Nyström, Håkan Hedenmalm and Steve Zelditch for helpful conversations.
Author information
Authors and Affiliations
Corresponding author
Appendices
Appendix 1: The Real Blow-up
For the reader’s convenience we collect here some elementary properties of a special case of the real blow-up. More details and constructions of greater generality can be found in Melrose’s book [16, Chapter 5], as well as in [11] and [10, Section 2.3].
Definition 8.1
Let \(S_{+}^1 = \{ e^{i\theta } :\theta \in [0,\pi ]\}\subset \mathbb R^2\) be the upper-semicircle. The real blow-up of the upper-half space \(\mathbb R\times \mathbb R_{\geqslant 0}\) at the point \(p=(0,0)\) is defined to be
along with the blow-down map
Thus \([\mathbb R\times \mathbb R_{\geqslant 0}; p]\) is the upper half-space with a copy of the semicircle \(S^1_+\) inserted at the origin, which we consider as a manifold-with-corners. Then \(\beta \) is smooth, and moreover is a diffeomorphism away from the exceptional set \(E= \beta ^{-1}(p) =\{ (0,e^{i\theta }) : \theta \in [0,\pi ]\}\). The boundary of \( [\mathbb R\times \mathbb R_{\geqslant 0}; p]\) has three pieces, namely E and the two axes \(H_{\pm } = \{ (r,\pm 1) : r\in \mathbb R_{\geqslant 0}\}\), and two corners \(C_{\pm } = H_{\pm }\cap E\).
For higher dimensions, we let the real blow-up of \(\mathbb R^n\times \mathbb R_{\geqslant 0}\) along \(Y:= \mathbb R^{n-1} \times \{p\}\) be \([\mathbb R^n \times \mathbb R_{\geqslant 0}; Y ] := \mathbb R^{n-1} \times [\mathbb R\times \mathbb R_{\geqslant 0};p]\), and by patching in the obvious way, this extends to define the real blow-up \([X\times \mathbb R_{\geqslant 0}; D\times \{0\}]\) for any smooth real manifold X and codimension 1 smooth divisor D.
Let x be the standard coordinate on \(\mathbb R\) and \(\hbar \) the standard coordinate on \(\mathbb R_{\geqslant 0}\). Then the functions
give coordinates on the blow-up \(B:=[\mathbb R\times \mathbb R_{\geqslant 0};p]\) on an open set containing the interior of E (precisely, \(\xi = {\text {cotan}} \theta \) and \(\hbar = r\sin \theta \) for \((r,\theta ) \in B\) with \(\theta \ne 0\)). Moreover in these coordinates \(\beta (\xi ,\hbar ) = (\xi \hbar ,\hbar )\). Around each of the corners \(C_{\pm }\) we have coordinates given by
(so \(x=r\cos \theta \) and \(\eta _{\pm } = \pm \tan \theta \)) and in these coordinate \(\beta (x,\eta _{\pm }) = (x,\pm x\eta _{\pm })\).
Our interest will be in functions on \(\mathbb R\times \mathbb R_{>0}\) that lift to smooth functions on the blow-up (i.e. that extend to a smooth function right up to the boundary). As a model example (which will be considered in more generality below) let
which is clearly smooth for \(\hbar >0\), and extends smoothly to the boundary away from \(p:=(0,0)\). We claim the lift \(\beta ^*g := q\circ \beta \) extends to a smooth function on all of \([\mathbb R\times \mathbb R_{\geqslant 0}; p]\). To see this observe that in the coordinates \((\xi ,\hbar )\) we have
which is clearly smooth, and in coordinates \((x,\eta _{\pm })\),
which extends to a smooth function for all \(\eta _\pm \geqslant 0\) by declaring it to be zero when \(\eta _\pm =0\).
Appendix 2: The Euler–Maclaurin Formula
Let \(U(\nu ,x,w)\) be a smooth function, where \(\nu \in [0,\varepsilon ']\), \(x\in \mathbb R_{\geqslant 0}\) and w ranges in an open relatively compact subset of \(\mathbb C^m\). Suppose that U is such that \(x\mapsto U(\nu ,x,w)\) is strictly convex and
Also let \(\alpha (\nu ,\hbar ^2,w)\) be a bounded smooth function where \(\hbar ^2 \in \mathbb R_{\geqslant 0}\) and fix also \(\varepsilon \in [0,\varepsilon ')\). For \(\hbar >0\) let
Then our interest is in the behaviour of the sum
as \(\hbar \) tends to zero.
We recall the Bernoulli numbers are defined by \(\beta _j = \beta _j(0)\) where
Theorem 9.1
(Euler–Maclaurin Formula) Suppose \(p:\mathbb R\rightarrow \mathbb R\) is smooth and \(p^{(i)}(t)\) tends to zero as t tends to infinity for all \(i\geqslant 0\). Then for any integers a and \(m\geqslant 1\) we have
where \(\{t\}\) denotes the fractional part of t.
Proof
This is proved, for example, in [27, Theorem 5]. \(\square \)
Since \(x\mapsto U(\nu ,x,w)\) has its (unique) critical point at \(x=\nu \) it is convenient to make a further change of variables by setting
Observe then that from (9.1)
which has bounded derivatives with respect to s uniformly as \(\hbar \) tends to 0.
Proposition 9.2
Set
Then for any \(m\geqslant 1\) and all \(x<\varepsilon '\) we have
where
which are bounded independent of \(\hbar \). Moreover this is uniform as x varies in a compact subset of \([0,\varepsilon ')\).
Proof
We can assume that U is the restriction of a function defined for all \(\nu \geqslant 0\) (which for simplicity we also denote by U) with the same convexity properties. Similarly we assume \(\alpha \) extends to a bounded function defined for all \(\nu \geqslant 0\). Now using the convexity of U one sees that since \(x\leqslant \varepsilon <\varepsilon '\) we have
for some \(c>0\). Hence \(\sum _{n>\hbar ^{-2}\varepsilon } p_{\hbar }(n) = O(h^{\infty })\) giving
Similarly one verifies that for \(x\leqslant \varepsilon \) the derivatives of \(p_{\hbar }\) tend to zero as t tends to infinity. Hence the above Euler–Maclaurin formula (9.3) (applied with \(a= \hbar ^{-2}\varepsilon \)) gives
Now by instant computation
On the other hand by a change of variables
and a similar change of variables shows that
Putting this together gives the statement, and the fact that the \(A_j\) are bounded as \(\hbar \) tends to zero follows as the derivatives of \(q_{\hbar }\) are bounded. \(\square \)
Appendix 3: Laplace’s Method
We now give an account of Laplace’s method [28] tailored to our requirements (see also [29]). We are concerned with obtaining the large-k asymptotic behaviour of integrals of the form
where \(\alpha \) is smooth and has compact support, and f has the properties
-
\(f(t) \geqslant 0\);
-
\(f(0) = 0\), \(f'(0) =0\), \(f''(0) = c>0\);
-
\(f(x) \geqslant f_1> 0 \text{ for } \text{ all } |x|> \delta \),
where \(\delta >0\) is some small number.
These properties ensure that if the support of \(\alpha \) does not contain 0, then \(F_k(x)\) is uniformly exponentially small in k, independent of x. So the interesting case is that \({{\mathrm{supp}}}(\alpha ) \ni 0\) and one expects the asymptotic expansion in negative powers of k to see only the jets of \(\alpha \) and f at 0. The model problem is the integral
This is the case \(f(t) = t^2/2\), which clearly verifies the above properties [even if the function ‘1’ replacing u in (10.1) does not have compact support].
Make the change of variables
in (10.2) so
where \(\Phi \) is the usual normal distribution function. In other words,
Note that if \(x>0\) is fixed, \(x/\hbar \rightarrow + \infty \) as \(\hbar \rightarrow 0\), so \(Z_k(x) \rightarrow 1\) and in fact \(Z_k(x) -1\) is exponentially small in k for fixed x. Similarly, if \(x<0\) is fixed, \(Z_k(x)\) is exponentially small in k. But (10.4) shows that this apparently discontinuous behaviour in x near 0 can be ‘smoothed’ by introducing a new variable \(x/\hbar \), which corresponds to a real radial blow-up, as discussed in Appendix 1.
Life is more interesting for general exponents f satisfying the above conditions (and for functions \(\alpha \) not identically equal to 1). In that case, if \(x>0\), for example, \(F_k(x)\) is exponentially close to
and the asymptotic expansion of this is given by Laplace’s method.
1.1 3.1. Incomplete Gaussian Integrals
We change notation slightly and set
We assume that \(\alpha \) is \(C^\infty \) and that derivatives of \(\alpha \) are bounded,
for each \(r\geqslant 0\).
For such a function, define
Then \(\delta _0\alpha \) is smooth and all derivatives are bounded. We have the formula
It follows that \(\delta _0\alpha \) is smooth for \(|t|<1\), say, with
In particular if \(|t|<1\), \(\partial _t^n\delta _0\alpha \) is bounded by \(\sup |\alpha ^{(n+1)}|\). On the other hand, (10.9) shows that \(\delta _0\alpha (t)\) decays as \(|t| \rightarrow \infty \), and by differentiating this formula, the same is true of all derivatives.
Inserting the formula
into (10.7), getting
Here we have used the notation
respectively for the normal distribution function and the normal density function. The final line (10.14) was obtained by integration by parts and the formula:
Now define
Then (10.14) can be written
This forms the basis of the inductive step in obtaining a full asymptotic expansion of \(Z(x,\hbar ;\alpha )\):
Theorem 10.1
Suppose that u(t) is smooth with all derivatives uniformly bounded on \(\mathbb {R}\), and let
Then for each N, we have an expansion
where the error term is given by
which satisfies
Proof
It is clear that (10.18) yields the case \(N=0\) of (10.20). It also gives the inductive step: if (10.20) holds for N, then replacing u by \(\mathscr {D}^N\alpha \) implies (10.20) for \(N+1\). So it remains only to prove the estimate (10.22). For this, note that \(\delta _0\) behaves as a first-order differential operator: we have estimates of the form
for each r, \(B_r\) being a constant independent of \(\alpha \). It follows that \(\mathscr {D}\) satisfies estimates of the form
for each r.
To obtain the estimate of \(\mathscr {R}_{N+1}\) from this, use the change of variables \(s = t/\hbar \) in the integral
and the bound (10.24), iterated, to give
for some constant \(B''_{N+1}\). \(\square \)
1.2 3.2. More General Exponentials
We now consider the changes needed to adapt this method to the more general exponents appearing in
as in (10.1). Our approach is quite standard: we deform f to its quadratic part and work out what additional terms this introduces. So consider the 1-parameter family of exponents
where q(t) is the third-order part of f(t). Then \(f_0(t)\) is a standard quadratic, to which the above analysis can be applied, and \(f_1(t) = f(t)\) is the function we’re really interested in. Set
With all other parameters fixed, Taylor’s theorem for H gives
For simplicity take \(c=1\). Then for any j,
and this integral, for fixed j, can be analyzed by the techniques of the previous section. We stress that the the third-order vanishing of q implies that the integrand in (10.30) vanishes to order 3j and so contributes terms of order \(\hbar ^{3j}\), leaving \(H^{(j)}(0)\) of order \(\hbar ^j\). In the statements that follow it is clearest to distinguish cases according to the parity of j.
Theorem 10.2
Suppose that \(j = 2\nu + 1\) is odd. Then there exist a sequence of smooth functions \(\alpha _{i,j}\), \(i=0,\ldots , 3\nu +1\), such that
Similarly, if \(j=2\nu \geqslant 2\) is even, then there exists a sequence of smooth functions \(\alpha _{i,j}\), \(i=0,\ldots , 3\nu -1\), such that
More precisely, the \(\alpha _{i,j}\) are defined as follows:
and
Remark 10.3
Implicit in the definitions of \(\alpha _{i,j}\) in (10.33) and (10.34) is that the right-hand sides of those equations are indeed divisible by \(x^{2i}\) or \(x^{2i+1}\) respectively so that \(u_{i,j}\) is smooth.
Remark 10.4
As a final generalization, observe that the above expansion still holds if f and u are allowed to depend smoothly on \(\hbar \) and also on auxiliary parameters. That is, suppose that W is a relatively compact subset of \(\mathbb C^m\) and \(f = f(t,\hbar ,w)\) is smooth satisfies the above assumptions uniformly for \(\hbar \geqslant 0\) and \(w\in W\) and \(\alpha =\alpha (t,\hbar ,w)\) is smooth. In fact by expanding \(\alpha = \alpha _0 + \alpha _1\hbar + \cdots \) in powers of \(\hbar \) we may as well consider the case of \(\alpha =\alpha _0\). Furthermore by convexity of f, we see that the integral is changed only by a factor of \(O(k^{-\infty })\) if \(\alpha _0\) is replaced by \(\chi \alpha _0\) where \(\chi \) is a cut-off function that is identically 1 on an interval that is larger than the range of x of interest. Thus we may as well assume \(\alpha _0\) has compact support.
Say
where \(c=c(\hbar ,w)>0\) and q has order 3 in t. Then Theorem 10.2 gives an expansion of
in powers of \(\hbar \) whose terms can be deduced from (10.20,10.28,10.31–10.34). Moreover it is clear that the error term is uniform over \(w\in W\). Looking back at these expressions [e.g. (10.18)] one sees its leading order term is given by
1.3 3.3. Lifting to the Real Blow-up
The above formulae can be given a geometric flavour through the introduction of the real blow-up \([\mathbb {R}_x\times [0,\infty )_{\hbar },(0,0)]\). Letting \(y=x/\hbar \) as before, we have coordinates \((y,\hbar )\) on this blow-up that cover the interior of the exceptional divisor E.
Theorem 10.5
The function \(F(x,\hbar ,w)\) from (10.35) extends smoothly from the interior of B to all boundary faces.
Proof
This is almost obvious from the formulae we’ve obtained. Indeed the form of Theorem 10.1 and equations (10.31) and (10.32) show at once (setting \(x=\hbar y\)) that F extends smoothly to a neighbourhood of the interior of the exceptional divisor E.
The blow-up X has two corners \(C_{\pm }\). Here \(C_{+}\) is the intersection of E with the lift of the positive real axis. We can take \(\eta := \hbar /x = 1/y\) and \(x\geqslant 0\) as coordinates near \(C_{+}\) and in these coordinates the expansion in Theorem 10.1 has the form
and because \(\Phi (1/\eta )\) and \(\Phi '(1/\eta )\) are smooth down to \(\eta =0\), this expression is clearly smooth for \((\eta ,x)\) small and non-negative.
Similarly, in these coordinates,
and each term in the sum is of the form \(x^{2l}\eta ^{2l-2i}e^{-1/2\eta ^2}\) (\(i=0,\ldots , 3l+1\)) which again is smooth for \((\eta ,x)\) small and non-negative. \(\square \)
1.4 3.4. Proofs
To prove Theorem 10.2 we start with a lemma:
Lemma 10.6
Suppose that g(t) is smooth, with all derivatives bounded, and vanishes to order m at 0: in other words,
Then \(\delta _0 g\) vanishes to order \(m-1\) and \(\mathscr {D}g\) vanishes to order \(m-2\) at 0.
Proof
The question is local to 0, so we can use the representation
Then by (10.11), we see at once that \((\delta _0g)^{(j)}(0) = 0\) for all \(j=0,\ldots ,m-1\). This implies the corresponding vanishing for \(\mathscr {D}g\). \(\square \)
Now we can move on to the proof of the Theorem. The proof is little more than using Theorem 10.1 to expand \(Z(x,\hbar ; q^j\alpha )\), in combination with the information from the previous lemma.
More precisely, suppose that \(j=2\nu +1\). Then the order of vanishing of \(q^j\alpha \) is \(m= 6\nu +3=2(3\nu +1)+1\). It follows from the lemma that \(\mathscr {D}^{3\nu +1-i}(q^j\alpha )\) vanishes to order 2i for \(i=0,\ldots , 3\nu +1\). In particular the \(\alpha _{i,j}\) of (10.33) are well-defined smooth functions. Now apply Theorem 10.1 with \(N= 3\nu +1\). Because \(\mathscr {D}^{3\nu +1-i}(q^j\alpha )(0)=0\), the coefficient of \(\Phi \) in (10.20) is zero. Thus we are left with
Now substitute (10.33) into (10.41) and write \(x = \hbar y\) to get
Since \(H^{(2\nu +1)}(0) = - Z(x,\hbar ;q^{2\nu +1}\alpha )/\hbar ^{4\nu +2}\), (10.31) follows immediately from (10.42).
If \(j=2\nu \) is even, then the proof follows precisely the same lines. We apply Theorem 10.1 with \(N= 3\nu \) to expand \(Z(x,\hbar ;q^{2\nu }\alpha )\) and use the fact that \(q^{2\nu }\alpha \) has a zero of order \(6\nu \) at 0. This means that the \(\alpha _{i,2\nu }\) of (10.34) are well-defined for \(i=0,\ldots , 3\nu -1\). We proceed as before, using \(H^{(2\nu )}(0) = Z(x,\hbar ; q^{2\nu }\alpha )/\hbar ^{4\nu }\) to obtain (10.32).
1.5 3.5. Remainder Term
It remains only to estimate the error term \(H^{(p)}(\lambda )\) in (10.29). Of course
On the assumption that
for \(t\in {{\mathrm{supp}}}(\alpha )\) and \(0\leqslant \lambda \leqslant 1\),
Making the change of variables \(t= \hbar s\), \(x = \hbar y\),
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Ross, J., Singer, M. Asymptotics of Partial Density Functions for Divisors. J Geom Anal 27, 1803–1854 (2017). https://doi.org/10.1007/s12220-016-9741-8
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s12220-016-9741-8