Lelong numbers and vector bundles

We study Lelong numbers and integrability indices for $S^1$-invariant singular metrics on vector bundles over the disk.

seemingly stronger condition that log u(z) z is subharmonic. (This follows since, if u(z) 2 z is subharmonic for any choice of u, then ue p(z) 2 z = u 2 z e 2Re p(z) is also subharmonic for any holomorphic function p, and this implies that log u z is subharmonic. ) We also say that our metric is positively curved, if the induced metric on the dual bundle E * = V * × ∆ is negatively curved. It is a standard fact that for smooth and strictly definite metrics, these notions mean that the curvature operators Θ h =∂h −1 ∂h are positive. These definitions extend to bundles over a higher dimensional base.
One important feature of the definitions is that they define negativity and positivity of the curvature, without defining any sort of curvature form or current. Indeed, as shown by a pertinent example of [17], the curvature of a singular metric, defined in a way analogous to how it is defined in the smooth case, will in general not be a current with measure coefficients, even if the metric has negative curvature. This is in stark contrast to the line bundle case (n = 1), where h = e −φ has the curvature current ∂∂φ, which has measure coefficients if h is positively or negatively curved, i e if φ is subharmonic or superharmonic.
We will introduce and study a notion of Lelong number and integrability index for metrics on vector bundles. Recall that for a plurisubharmonic function φ in the ball of C m , the (classical) Lelong number of φ at the origin can be defined as On the other hand, the integrability index, ι φ (0), is defined as the infimum of all numbers c > 0 such that 0 e −2φ/c < ∞.
As is well known, when m = 1, the integrability index equals the Lelong number and this common value is also equal to µ({0}), where µ = (i/π)∂∂φ, i e the 'curvature' of e −φ at the origin.
If φ is (pluri)subharmonic in D, h = e −φ is a (singular) metric of positive curvature on the trivial line bundle C × D, whereas e φ is a metric of negative curvature on the same (or actually dual) bundle, dual to e −φ . The Lelong numbers are defined in terms of the asymptotic behaviour of log 1 2 e φ as we approach zero, while the integrability index is defined in terms of 1 2 e −φ . Similarily, our definition of Lelong numbers for vector bundles applies to metrics of negative curvature, while the 'integrability indices' for vector bundles will be defined for metrics of positive curvature. Definition 1. Let h be a (singular) metric of negative curvature on the vector bundle E = V ×∆. Then the Lelong number at 0 of h in the direction u ∈ V is defined as Later it will be more natural to consider the negative of the Lelong number, so we also put α(u) = −γ(u, 0) (where we have suppressed the dependence on h). Thus, Since for any norm u 1 + u 2 ≤ 2 max( u 1 , u 2 ), we see that for any α, Since V has finite dimension n, the dimension of the spaces V α can only jump at (at most) n places. In other words, there are numbers α 1 ≤ α 2 ≤ ...α n such that and if α j ≤ α < α j+1 , then V α = V α j , and V α j has dimension j. We also let α 0 = −∞ and This filtration of V gives rise to a dual filtration of the dual space V * =: F . Letting F α = V ⊥ α be the space of vectors in F that are annihilated by V α , we have At this point we remark that if we did have a curvature form of the metric with measure coefficients, Θ, then the Hermitian operator Θ({0}) would give us a decomposition of V into eigenspaces. As we have seen, such a curvature operator does not always exist, but what we get instead is a filtration of V .
The general idea is that while the spaces V α are defined in terms of Lelong numbers, the spaces F α are characterized by (a version of ) the integrability index. We will now try to make this precise under the additional assumption that our metric h is S 1 -invariant. By this we mean that if u ∈ V , then u z = u ze iθ for any θ in the circle S 1 .
Before we state our result, we transfer our problem to the right half plane H = {Re ζ > 0} via the exponential map z = e −ζ . Changing notation, we call E = V × H, and consider metrics on E that only depend on t = Re ζ. A metric on the bundle E over H corresponds under the exponential map to a metric over the punctured disk, and in case the metric has negative curvature it extends to metric of negative curvature over the full disk if and only if the metric over the half plane is bounded as t tends to infinity. It will be convenient to allow also a slightly more general situation. We say that a negatively curved metric over H has moderate growth (at infinity) if for some constants a and C, and all u in V , u 2 t ≤ C(u)e at . Equivalently, the metric has moderate growth if for some a, the corresponding metric over the punctured disk is such that u 2 z |z| a extends to a negatively curved metric over the full disk. If u is a vector in V , then log u 2 t is now a convex function, and the negative of our Lelong numbers are α(u) = lim t→∞ (1/t) log u 2 t . Notice that, by convexity, (1/t)(log u 2 t − log u 2 0 ) is increasing, so the limit exists. Our main result is as follows.
Theorem 1.1. Let · t be a metric of negative curvature and moderate growth on the bundle E = V × H over H, depending only on t = Re ζ for ζ ∈ H. Let · −t be the dual metric on E * = V * × H, and let V α , F α be the filtrations of V and V * = F described above. Let α j ≤ α < α j+1 . Then the following are equivalent for v ∈ V * : The equivalence between conditions (a) and (b) here says that the spaces F α can be defined in terms of the integrability properties of the dual norms. In the next section we will give a proof of this somewhat technical looking result, the only non trivial part being the implication from a. to c. After that we will give two examples of how metrics satisfying our very particular assumptions actually arise in 'practice'.Notice however already now that it follows from Theorem 1.1 that for any v in V * , the set of α such that is always an open interval.

THE PROOF OF THEOREM 1.1
We let E = V × H be a trivial vector bundle over the right half plane. We suppose given a metric u t defined for u in V and t > 0, such that the bundle metric u Re ζ has negative curvature. We also assume that the metric has moderate growth at infinity, so that u 2 t ≤ C(u)e at for some constants C and a. It will be convenient to have the metric defined also for t = 0. By the curvature assumption, log u t is convex, hence also continuous and we assume it extends continuously to t = 0. Then it follows from the convexity that At several occasions we will have use for the following lemma (see [8], [1], [13]) Let h 1 and h 2 be two metrics on E that extend continuously to the closure of D. Assume that h 1 has semipositive curvature and h 2 has seminegative curvature and that Take t > 0. By the spectral theorem we can find a basis e j = e j (t) which is orthonormal for t = 0 and diagonalizes · t . Hence there are numbers λ j = λ j (t), such that if u = c j e j then and Reordering, we assume that λ 1 ≤ λ 2 ≤ ...λ n .
Given t we now define a new metric for 0 ≤ s ≤ t. This metric is clearly flat and coincides with our original metric for s = 0 and s = t. By the lemma it follows that u 2 s,t ≥ u 2 s for 0 ≤ s ≤ t. The min-max formula for eigenvalues then gives that λ j (s) ≤ λ j (t), so the λ j (t):s are increasing functions of t. Since our metric has moderate growth they are also bounded from above and therefore have limits λ j (∞). We shall prove that λ j (∞) = α j .
If φ is a subharmonic function in the disk, bounded from above, we can write it as φ = v + g, where v is harmonic and g = G[∆φ] is the Green potential of ∆φ. Replacing µ = ∆φ by a Dirac mass at 0, µ({0})δ 0 , we get a subharmonic function φ 0 which is larger that φ, harmonic in the punctured disk, with the same Lelong number at 0 as φ. The next proposition generalizes this construction to the vector valued case.
Hence h ∞ defines the same jumping numbers α j and filtration V α as h.
Proof. Fix first t > 0 and define a metric h t by which is equal to u 2 s if s ≥ t and flat for 0 < s < t. For s < t it is given by (2.1) and we have seen that u 2 s ≤ u 2 s,t for all s > 0. Since h t is given by a max construction, log u(z) Re z,t is subharmonic for any holomorphic section u(z) of E, so h t is negatively curved. It therefore follows from the lemma again that h t increases with t. Hence h t has a limit, h ∞ . By the subharmonicity criterion, this limit has seminegative curvature and the dual metric on E * also has seminegative curvature. Hence the metric is in fact flat.
If u ∈ V α then u 2 t ≤ u 2 0 e tα . Since log u 2 s,t is convex and log( u 2 0 e sα ) is linear it follows that Hence the 'negative Lelong numbers' of · s,∞ are not larger than the negative Lelong numbers of · s , which proves the existence part of the theorem since the opposite inequality is evident.
To prove the uniqueness part we first note that if we apply the first part of the argument to a metric that is already flat, then · s,t = · s for s ≤ t, which means that λ j (s) = λ j (t) is independent of s. Moreover, since the span of {e j (s)} j≤k is equal to the span of {e j (t)} j≤k (or can be chosen equal in case some of the eigenvalues are multiple), it follows that the unitary change of basis from e j (s) to e j (t) is diagonal. This is because the corresponding unitary matrix is lower triangular, which implies that it is diagonal if it is unitary. It follows that we can choose the basis e j independent of s, so the norms can be written |c j | 2 e tλ j for fixed λ j and a fixed basis if · 2 t is flat. Now let |u| t be a flat metric satisfying the assumptions of the theorem. Then u t,∞ ≤ |u| t . By the discussion above, there are two fixed bases, orthnormal for The jumping numbers for both these norms are the same since both coincide with the jumping numbers for u t . Hence λ j (∞) =λ j . It also follows that the spans of {f j } j≤k and {f j } j≤k are the same, so by the same argument as above the unitary base change matrix is diagonal. Hence the norms are identical, which is what we wanted to prove.
From the proof above we have that there is one fixed basis such that if u = a j f j , Since for fixed s the norms · s,t increase to · s,∞ , the corresponding eigenvalues (with respect to · 0 ) converge. Hence λ j (∞) = lim t→∞ λ j (t). On the other hand, λ j (∞) are the jumping numbers for h ∞ , which are the same as the jumping numpers of h, so lim t→∞ λ j (t) = α j . The next lemma is the crucial step in the proof of Theorem 1.1.
Proof. We will carry out the proof assuming that all jumping numbers α j are different, leaving the mostly notational changes for the general case to the reader. Take t >> 0 and write for u ∈ V , u = c j e j with respect to an orthonormal basis for · 0 as above, so that We identify V with F = V * , by the conjugate linear isomorphism defined by We can assume v 0 = 1. We also use the orthonormal basis f j , with respect to which u = b j f j and Write f j = d j k e k . Then e tα j = f j 2 = |d j k | 2 e tλ k (t) . If t is large enough, λ k (t) is close to α k . Taking j = 1, we see that d 1 k is then (exponentially) small if k > 1, so |d 1 1 | must be close to 1 (since the change of basis is unitary). We can therefore subtract suitable multiples of f 1 from all the f j with j > 1, to achieve d j 1 = 0. Carrying on in this way and renormalizing we get a new basis g j of unit vectors, such that g 1 = f 1 and the span [g 1 , ...g j ] = V α j and is upper triangular so that g j k = 0 if k < j. We then have that v ⊥ g j for j ≤ m by hypothesis. We claim that for any ǫ > 0, and any k, if t is large enough. This is clearly true, with C = 1 and ǫ = 0, if k > m, since λ k ≥ λ m+1 then, and |v k | ≤ 1. We next argue by induction, assuming the claim holds for all larger indices than k.
Since v ⊥ g kv Since g k ∈ V α k and g k 0 = 1 we have g k 2 t ≤ e tα k , so |g k j | 2 e tλ j (t) ≤ e tα k . If j > k, λ j is close to α j > α k so g k j must be (exponentially) small, and then |g k k | must be close to 1, since g k j = 0 if j < k. Hence

By the induction hypothesis this is smaller than
Ce −tλ m+1 e ǫt e tα k ≤ Ce −tλ m+1 e ǫt e tλ k (t) e ǫt , is t is large enough, which proves the claim. From the claim it follows immediately that v 2 −t ≤ Ce −tα m+1 e ǫt , so the proposition is proved.
We are now ready to prove Theorem 1.1. It is immediately clear that (b) implies that since u ∈ V α j and u 2 0 = 1 implies u 2 t ≤ e tα j . The liminf of the right hand side is zero. Hence v lies in F α j so we have proved (a). This implies (c) by the lemma, which in turn gives (b) again. Hence all the conditions are equivalent and we have proved Theorem 1.1.

EXAMPLE 1: THE GLOBAL CASE OF THE 'STRONG OPENNESS PROBLEM'.
The original 'openness conjecture' concerns the local integrability of e −ψ where ψ is plurisubharmonic and states that the interval of all positive numbers p such that e −pψ is integrable in some neighbourhood of the origin is open. This was proved in [3]. The strong openness conjecture is the same statement for functions |f | 2 e −pψ , where f is holomorphic, and was first proved by Guan-Zhou in [10]. In this section we shall show how a (simpler) global version of strong openness follows from Theorem 1.1. The full strong openness would follow from an extension of Theorem 1.1 to bundles of infinite rank -this is one reason why we think that such an extension would be interesting. (See the remark below.) We consider the following setting. X is a compact projective (or only Kähler) manifold and L is a semipositive holomorphic line bundle over X. Let e −φ be a smooth metric of semipositive curvature on L. Let ω = i∂∂φ and let ψ be a function such that 2ψ is ω-plurisubharmonic function on X. This means that ψ is integrable and 2i∂∂ψ + ω ≥ 0. (The constant 2 here will be clear later: it could be replaced by any number greater than 1.) We consider the vector space H 0 (X, K X + L) which we think of as the space of holomorphic ( Here c n = i n 2 is the standard unimodular constant that makes the norms nonnegative.) Proposition 3.1. Let v be an element of H 0 (X, K X + L). Assume that Then there is a number p > 1 such that The proof of the proposition is mimicked on the arguments in [3]. The first ingredient is the following calculus lemma which can be proved by direct computation. We next let W := H 0 (X, K X + L) and let F = W × H be the trivial vector bundle over the right half plane with fiber W . We equip W with the norms where ψ s = max(ψ + s, 0). We normalize so that ψ ≤ 0. Since φ + 2ψ s is plurisubharmonic on X × H ( s = Re ζ) it follows from the results in [2] that · −Re ζ defines a positively curved metric on our bundle F . By Lemma 3.2 we have that By Theorem 1.1, the set of p < 2 such that the right hand side here is finite, is open, which proves Proposition 3.1.

3.1.
Local strong openness. One would perhaps wish for a version of this proof for the local strong openess. We would then have a negative plurisubharmonic function ψ in the unit ball, B, and v a holomorphic function in the ball, and study the integrability of |v| 2 e −pψ over smaller balls. Approaching this problem in the same way we put W = A 2 (B), the Bergman space of square integrable holomorphic functions in the ball, Given ψ, we define ψ s = max(ψ + s, 0) as before and introduce the norms on W . One could then continue in the same way, given an extension of Theorem 1.1 to infinite dimensional spaces. This poses some obvious problems, but there is at least one feature of this set up that may be helpful. We define V as the dual of W and consider the norms u t on V dual to · −t . We can then define the negative Lelong numbers α(u) as before, but probably the possible values of α will no longer form a finite set. They will however satisfy a Noetherian property: All decreasing sequences V α j are stationary for j large. This means that if α = α(u) for some u in V , then there is some ǫ > 0 such that To see this, we note that all elements u in V with u s < ∞ are bounded as functionals on W by the square norm of a function v on B/2. They therefore extend as linear functionals on the space of functions that are holomorphic only in a neighbourhood of the closure of B/2. If h is holomorphic in a neighbourhood ofB/2 we can then define hu by duality. It follows that hu s ≤ sup B/2 |h| u 2 s , so the subspaces V α are stable under such multiplication. Hence the space of functions holomorphic in a neighbourhood of the closure of B/2 that are annihilated by V α is a module over the ring H(B/2), and our claim follows from the Noetherian property of such modules.
The statement of Theorem 1.1 still makes sense in the infinite rank case, if we add the assumption that the V α :s have the Noetherian property. If Theorem 1.1 holds in this setting, strong openness can be proved in the same way as we have proved the global case. First we recall the classical setting of the L 2 -extension problem for domains in C n . We let D be a bounded pseudoconvex domain in C n , and φ a plurisubharmonic function in D. We also suppose given a linear complex subspace, M, of C n intersecting D. The next theorem is one version of the classical Ohsawa-Takegoshi extension theorem. Next we sketch a proof of this theorem along the lines of [4]. Let G(z) be a plurisubharmonic function with logarithmic singularities on M, such that G ≤ 0 in D. If M is defined by the linear equations l j (z) = 0 for j = 1, 2, ..k we may take G(z) = log |l j | 2 − C where C is a suitable constant. We next define the subdomains of D, where the minimum is taken over all F that extend f . The Ohsawa Takegoshi theorem amounts to an estimate of f 2 0 and the idea (first occuring in [6]) is to study the variation of the norms as t varies.
The proof is based on the following lemma, which is a consequence of the main result in [2]. To study the norms we look first at the dual norms on the dual bundle E of F . By the lemma this is a negatively curved metric and we use the following consequence of the lemma. Proof. The convexity of k follows from the discussion in the introduction: Since u 2 Re ζ has negative curvature and only depends on Re ζ, log u 2 t is convex. In the situation at hand one can also verify that k(t) is bounded from above as t goes to infinity, and therefore the convexity implies that k is decreasing.
Thus we have found that u 2 t e −kt is decreasing and it follows that the dual norms f 2 −t e kt are increasing. Hence If φ is smooth and extends to a neighbourhood ofD it is not hard to estimate the limit in the right hand side by an absolute constant times M ∩D |f | 2 e −φ , so we get Theorem 4.1 under these additional assumptions. But, since the constant in the estimate is absolute, the general case follows by approximation.
This proof suggests looking at a more general situation, where we consider more general ideals, J, than J(M). This problem has been studied in [16] and recently in [9].( See also the more recent articles [12] and [14] that appeared after this paper was submitted to the JGEA.) The simplest such situation is when D = ∆ is the unit disk in C, and J = (z n+1 ). Then H(∆)/(z n+1 ) is the space of jets of order n of holomorhic functions at the origin and we arrive at the problem to estimate the minimal weighted L 2 -norm of all holomorphic functions f in the disk with f (0), f ′ (0), ...f (n) (0) prescribed. In the more general situation, the ideal J has some zero locus M and one wants to extend functions on M together with their jets of different orders with L 2 -estimates.
This seems to be a rather formidable problem, but it is clear that the general lines of the argument described above still apply. We can still find a plurisubharmonic function G with logarithmic singularities on M as if we assume the ideal J = (g 1 , ...g m ) is finitely generated. This gives again domains D t and dual vector bundles F and E, of positive and negative curvature respectively.
The main difference, as compared to the situation in Theorem 4.1 is that there is no longer one fixed growth order. In the classical situation, we have that t ∼ e kt for essentially all u in the dual space (at least for a dense subspace), but in the more general case, different u:s have different growth. In the model case of a 'fat' point in the disk we have N linearly independent vectors in the dual of H(∆)/(z n+1 ), the sequence of derivatives of Dirac measures at the origin, u j = δ (j) o for 0 ≤ j ≤ n. It is easy to verify that u j 2 t ∼ e jt , Thus we are precisely in the situation in Theorem 1.1. We have a negatively curved vector bundle over H, E, and different 'negative Lelong numbers' α for different vectors in the fiber of E. As in Theorem 1.1, let us denote by V the fiber of E, i e the dual of H(D)/J. Admittedly, this is not in general of finite dimension, but if we assume that the zero locus of J consist of one point (as in our model case), it has finite dimension. We will therefore now restrict to this case, even though the general set up of the problem still applies, even for bundles of infinite rank.
We therefore get a filtration of V , (V α j ) and a dual filtration (F α j ) of V * = H(D)/J. It follows, as in the corollary, that if u ∈ V α j , then u 2 t e −tα j is decreasing. In particular, if the jumping numbers are α 1 < ...α n we always have that u 2 t e −tαn is decreasing, and hence v 2 −t e tαn is increasing for any v in F . Hence we get the estimate v 2 −0 ≤ lim t→∞ v 2 −t e tαn . In general however, the right hand side here will be infinite. If it is finite, it is clear that v ∈ F α n−1 (compare the end of the proof of Theorem 1.1). In the model case in the disk, α j = j and the condition that v ∈ F α n−1 means that all derivatives up to order n − 1 of v vanish at the origin. In this case, the right hand side of our estimate is indeed finite, and the estimate is sharp.
In order to proceed, we next look at V α n−1 . Then u 2 t e −tα n−1 is decreasing for all u ∈ V α n−1 . The dual of this space is F (1) := F/F α n−1 , so v 2 −t,1 e tα n−1 is increasing for v ∈ F (1) and v 2 −0,1 ≤ lim t→∞ v 2 −t,1 e tα n−1 (where · −t,1 are the quotient norms). In particular v 2 −0 ≤ lim t→∞ v 2 −t,1 e tα n−1 if v is orthogonal to F α n−1 for the norm · −0 . Now, F α n−1 again defines an ideal in the space of holomorphic functions in D; p −1 (F α n−1 ), where p : H(D) → H(D)/J is the quotient map. Hence we have in reality just repeated the first part of the argument with J replaced by p −1 (F α n−1 ) , which in the model case means that we have replaced n by n − 1. Continuing in this way, we decompose v in F , v = v n−1 + v n−2 + ..., where v j ∈ F α j and is orthogonal to F α j+1 , and can estimate v 2 0 = v n−1 2 0 + ... by the procedure above. The main drawback with this is that the estimate we obtain depends on the orthogonal decomposition. Let us illustrate this with the model example, for n = 1. If f is holomorphic in the disk, the decomposition is f = f 0 + f 1 , where f 0 = f (0)K φ (z, 0)/K φ (0, 0), f 1 = f − f (0)K φ (z, 0)/Kφ(z, 0), with K φ (z, w) the Bergman kernel. The estimate we get is then f 2 0 ≤ π(|f 0 (0)| 2 + (1/2)|f ′ 1 (0)| 2 )e −φ(0) = π(|f (0)| 2 + (1/2)|f ′ (0) − f (0)(∂ log K φ (z, z)/∂z)| z=0 | 2 )e −φ(0) . All of this can be compared with the recent work of Demailly, [9], who treats the L 2 -extension problem for general ideals in a very general setting on compact manifolds. His work shows the existence of L 2 -extensions in very general circumstances, but shares the feature with the discussion above that one gets an explicit estimate only for functions with the maximal vanishing order, corresponding to the space F α n−1 here.