This paper explores the quantization of Hermitian metrics on holomorphic vector bundles over homogeneous Kähler manifolds, revealing strong stability properties of Yang--Mills metrics and their connections to operator theory.
Contribution
It demonstrates that Yang--Mills metrics can be strongly quantized and introduces a new stability property for equivariant vector bundles surpassing Gieseker-stability.
Findings
01
Yang--Mills metrics can be strongly quantized.
02
Equivariant vector bundles exhibit a new stability property.
03
Connections established between operator tuples and geometric vector bundles.
Abstract
We investigate quantization properties of Hermitian metrics on holomorphic vector bundles over homogeneous compact K\"ahler manifolds. This allows us to study operators on Hilbert function spaces using vector bundles in a new way. We show that Yang--Mills metrics can be quantized in a strong sense and for equivariant vector bundles we deduce a strong stability property which supersedes Gieseker-stability. We obtain interesting examples of generalized notions of contractive, isometric, and subnormal operator tuples which have geometric interpretations related to holomorphic vector bundles over coadjoint orbits.
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsGeometry and complex manifolds · Advanced Algebra and Geometry · Holomorphic and Operator Theory
Full text
Quantization of Yang–Mills metrics on holomorphic vector bundles
We investigate quantization properties of Hermitian metrics on holomorphic vector bundles over homogeneous compact Kähler manifolds. This allows us to study operators on Hilbert function spaces using vector bundles in a new way. We show that Yang–Mills metrics can be quantized in a strong sense and for equivariant vector bundles we deduce a strong stability property which supersedes Gieseker-stability. We obtain interesting examples of generalized notions of contractive, isometric, and subnormal operator tuples which have geometric interpretations related to holomorphic vector bundles over coadjoint orbits.
It is well established that every smooth projective variety M⊂CPn−1 can be quantized in the sense that there is a sequence H∙=(Hm)m∈N0 of finite-dimensional Hilbert spaces such that the matrix algebra B(Hm) of all bounded operators on Hm becomes arbitrarily close, as a C∗-algebra, to the C∗-algebra C0(M) of continuous functions on M when m goes to infinity. As a vector space one has Hm=H0(M;Lm):= the space of global holomorphic sections of the mth power of a positive line bundle L over M. If we fix a Kähler form ω on M in the class c1(L) then the choice of inner product on Hm is a choice of Hermitian metric hm on L and the relation between hm and ω is not arbitrary as m gets large. If ω has constant scalar curvature then the quantization is slightly more well-behaved than in general. The strongest possible quantization (a “regular” quantization) can obtained only when M is a coadjoint orbit G/K under some Lie group G and ω is G-invariant. Here in precise terms a regular quantization means a quantization where two kinds of natural positive maps (Toeplitz and covariant symbol maps) are both unital. In [An6] we took an operator-theoretic and operator-algebraic approach to quantization. The physical motivation for this is outlined in [An4, An5].
In this paper we shall study the quantization of Hermitian metrics on holomorphic vector bundles over a coadjoint orbit M=G/K⊂CPn−1. The case M=CPn−1 is already interesting. Inspired by noncommutative geometry, and in particular [Hawk1, Hawk2], a quantization of a vector bundle E will be a sequence of modules B(Hm,Em) over the matrix algebras B(Hm) such that when m is getting large B(Hm,Em) becomes arbitrarily close to the C0(M)-module Γ0(M;E) of global continuous sections of E. Actually there is more to it. When we quantized C0(M) we had inner products whose associated norms approximated the norm on C0(M). A Hermitian metric hE on the vector bundle E is the same thing as a C0(M)-valued inner product on Γ0(M;E); when the C0(M)-module Γ0(M;E) is endowed with such a C0(M)-valued inner product it is called a Hilbert C∗-module and we denote it by Γ0(M;E,hE). Therefore we would like to have a Hilbert C∗-module structure on B(Hm,Em) (or, what is the same, an inner product on the Hilbert space Em) which approximates Γ0(M;E,hE) in the limit m→∞. Observe that we have fixed the inner product on Hm and therefore the C∗-structure on B(Hm) and the Hilbert C∗-module structure on B(Hm,Em), so that we are looking for the possibility to quantize the Hermitian metric hEwith respect to the given quantization H∙ of the manifold M.
In [An6] we used a particular choice of quantization H∙ of M which gives C0(M) as a kind of inductive limit of the matrix algebras B(Hm) provided by unital completely positive maps ιm,m+1:B(Hm)→B(Hm+1). On the Hilbert space HN:=⨁m∈N0 acts a C∗-algebra TH(0) of generalized Toeplitz operators with symbol in C0(M), and one has a short exact sequence of C∗-algebras
[TABLE]
which is split by a positive linear Toeplitz-type map ς˘:C0(M)→TH(0). The map ς is the adjoint of the Toeplitz map and called the covariant Berezin symbol map. The operators in TH(0) preserve the N0-grading on HN and its elements can therefore be regarded as sequences (Am)m∈N0 with Am∈B(Hm). The ideal ⨁m∈N0B(Hm) consists of those compact operators on HN which preserve the grading.
This is the quantization of the manifold which we will fix, and we will describe the quantization of vector bundles, as defined above, as follows. For any N∈N we can extend ς˘ to a map on the algebra C0(M)⊗MN(C) of N×N-matrices with entries in C0(M) by applying ς˘ to each entry; we use the same notation ς˘ for all N. If PE is an idempotent in the algebra C0(M)⊗MN(C) for some N, in which case we say that PE is an idempotent overC0(M), then PE defines a continuous vector bundle E over M. Indeed, since PE is continuous the rank of PE(x), say r, is the same for all x∈M, and we can view PE as a topological embedding of M in the Grassmannian manifold Grr(CN) of rank-r projections acting on CN. We then obtain a vector bundle E over M by pulling back the universal vector bundle over Grr(CN) via PE. Another way of viewing is that PE defines a projective C0(M)-module
[TABLE]
which by Swan’s theorem determines a C0 vector bundle E uniquely up to isomorphism. Having presented a vector bundle E using an idempotent PE, a quantization of E is an idempotent PE over TH(0) which liftsPE in the sense that
[TABLE]
Since ς˘ splits the Toeplitz short exact sequence (1.1), this means that there is a compact operator KE such that
[TABLE]
If we let PE,m be the component of PE in B(Hm)⊂B(HN) then we can indeed define vector spaces Em via the identification
[TABLE]
of left B(Hm)-modules. By a purely algebraic argument we can show that the C0(M)-module is obtained as the set-theoretical inductive limit of the B(Hm)-modules B(Hm,Em). Such a lift PE always exists (see §4.1). Since we have fixed the C∗-structure on B(Hm), the quantization is really with respect to H∙. If we take PE to be a projection (meaning a selfadjoint idempotent) then ς˘(PE) is a positive operator, PE must be a projection and Em becomes a Hilbert space under the canonical inner product obtained from the identification (1.2). And an inner product on the vector space Em is the same datum as a B(Hm)-valued inner product on B(Hm,Em).
The standard C0(M)-valued inner product on C0(M)⊗CN gives a C0(M)-valued inner product on the module Γ0(M;E,PE) (i.e. a Hermitian metric on E) when PE is a projection. Moreover, up to isomorphism every Hermitian vector bundle E is obtained like this for some projection PE. Therefore, we shall typically only consider a vector bundle E up to smooth or C0 isomorphism and refer to a projection PE with Γ0(M;E)≅PE(C0(M)⊗CN) as a metric on E.
However, the B(Hm)-valued inner product on B(Hm,Em) may not approximate the given Hermitian metric PE on E.
We would like to have some better compatibility between the Hilbert C∗-modules B(Hm,Em) for different m’s or, what is the same, a better behavior of the sequence E∙ with respect to the sequence H∙. That ς˘(PE) itself is a projection, so that we could take PE to be just ς˘(PE), happens only if all Chern classes of E vanish. So this is a too strong requirement. As mentioned, we shall in this paper assume that M is a homogeneous space G/K under some Lie group G. This ensures that the Toeplitz map ς˘ is unital. The Toeplitz operators are then precisely the fixed points under an explicit unital completely positive map Ψ:B(HN)→B(HN). Therefore the Toeplitz operators will also be referred to as Ψ-harmonic operators (cf. the theory of noncommutative Poisson boundaries [Iz1, INT1]). So we have
[TABLE]
and we said that it is too strong to assume that the lift PE is fixed by Ψ. As a second best thing we could look for a lift PE which is superharmonic under Ψ,
[TABLE]
We shall investigate the geometric meaning of such a lift. Let us first look at its meaning in operator theory. This is in fact very easy to describe. The Hilbert space HN is a reproducing kernel Hilbert space of analytic functions on a complex-analytic submanifold B of the unit ball Bn in Cn. More precisely, if V⊂Cn denotes the spectrum of the graded algebra A:=⨁m∈N0H0(M;Lm), so that (V∖{0})/C×=M, then
[TABLE]
The reproducing kernel of HN has the complete Nevanlinna–Pick property. Let us give two important characterizations of this property. The first is that HN can be identified with a subspace of the Drury–Arveson space Hn2, whose tuple of multiplication operators by the coordinate functions z1,…,zn on Bn is the universal model for pure row contractions. This means that the multiplication tuple S=(S1,…,Sn) on HN, defined by
[TABLE]
satisfies the row contraction property ∑α=1nSαSα∗=1−p0, where p0 is the projection onto the constant functions, and is pure in the sense that SOT−limp→∞Φp(1)=0, where Φ is the contractive completely positive map Φ(X):=∑α=1nSαXSα∗ on B(HN). When restricted to the algebra ∏mB(Hm) of grading-preserving operators the map Φ is the adjoint of Ψ with respect to the state ∑mϕm, where ϕm is the tracial state on B(HN). Explicitly,
[TABLE]
with T=(T1,…,Tn) acting just as S but weighted to ensure Ψ(1)=1. The operator tuples S and T have the same set of invariant graded subspaces and the same set of coinvariant graded subspaces. The Ψ-superharmonicity condition (1.3) means precisely that the range EN of PE as an operator on HN⊗CN is invariant under the operators S1∗,…,Sn∗. This leads us to the second characteristic property of the complete Nevanlinna–Pick space HN. Namely, that (1.3) is equivalent to the existence of a matrix ΘE of analytic multipliers of HN such that
[TABLE]
where MΘE is the operator of multiplication by ΘE. Note that MΘE must then be a partial isometry. We know from [GRS2, Thm. 4.3] or [BhSa1, Thm. 6.1] that ΘE has an L∞ extension to the boundary S of Bsuch that ΘE(ζ) is a partial isometry for almost every ζ∈S. Therefore (1.4) is regarded as a multivariable analogue of the Beurling representation for model spaces on the unit disk D, although in the one-variable setting the graded situation is trivial. A multivariable Beurling representation holds also for not necessarily grading-preserving projections PE∈B(HN⊗CN) with (1.3) but we will focus on the graded ones here.
We shall see that (1.3) guarantees that PE has entries in a von Neumann algebra of Toeplitz operators with L∞ symbols. We will also show that if PE has entries in the Toeplitz C∗-algebra TH(0) then the real-analytic matrix-valued function
[TABLE]
has a continuous extension to a projection-valued function on S, which is equivariant under the action on S by the circle group U(1) and hence descends to the projective variety M=S/U(1). We shall see that the latter is precisely the symbol ς(PE) of the Ψ-superharmonic projection PE. Thus, starting from a Ψ-superharmonic projection PE over TH(0) we obtain in a canonical way a continuous vector bundle over M, namely the vector bundle E defined by the projection ς(PE) over C0(M). The compression of the shift on HN⊗CN to the range of PE is again a pure row contraction SE. The rank of the vector bundle E is precisely the so-called Arveson curvature of SE which is studied e.g. in [Arv7a, Arv7b, GRS1, GRS2]. In the present paper we shall investigate further the geometric properties of E and their relation to the operator tuple SE.
There is a more well-studied way of associating a vector bundle to an operator tuple such as SE, provided that one can show that SE satisfies certain conditions. Cowen and Douglas invented an approach to classify operator tuples with uncountably many eigenvalues [CoDo1, CoDo2]. If Ω is a subset of Cn and r≥1 is an integer, a tuple W=(W1,…,Wn) of commuting operators on a Hilbert space H is said to belong to the Cowen–Douglas classBr(Ω) if
(i)
Ran(W−w1) is a closed subspace of H for all w∈Ω,
2. (ii)
dimKer(W−w1)=r for all w∈Ω, where Ker(W−w1):=⋂α=1nKer(Wα−wα1), and
3. (iii)
If W is in class Br(Ω) then the family of Hilbert subspaces Ker(W−w1) parameterized by w∈Ω can be given the structure of form an Hermitian holomorphic vector bundle over Ω.
It is not hard to show that when S is the shift on HN as before then the backward shift S∗ is in class B1(B), with the domain B:=Bn∩SpecA mentioned above. The associated holomorphic line bundle over B is isomorphic to the trivial one but its Hermitian metric is still quite interesting.
In view of our quantization problem it is natural to look at graded subspaces EN of HN⊗E0 for some finite-dimensional Hilbert space E0. Compressing the shift S on HN⊗E0 down to the subspace EN we obtain a commutative operator tuple SE which we also refer to as the shift on EN. When the projection PE onto EN is Ψ-superharmonic, which happens iff EN is invariant under S∗, we call EN a graded quotient module. We will prove:
Let EN⊂HN⊗E0 be a graded quotient module and suppose that the projection PE onto EN has entries in the Toeplitz C∗-algebra TH(0). Then the operator tuple SE is in class BrE(B∖{0}), where
[TABLE]
is the Arveson curvature of the pure row contraction SE.
Typically ECD does not extend to a vector bundle over all of B, i.e. it is necessary to remove the origin.
By [DKKS2, Thm. 3.3], a quotient module EN=KerΘE∗ of HN⊗CN is in the Cowen–Douglas class Br∗(B) for some r if MΘE has a left inverse (see also [DFS1, Cor. 4.4]). From Theorem 3.23 one can then deduce obstructions to the existence of a left inverse MΘE: Such a left inverse cannot exist if the “Serre sheaf” of the graded A-module EN (see §3.2.1) is not locally free on all of B. The left-invertibility of MΘE is a kind of corona condition (see [Doug1]).
1.2 Yang–Mills metrics
We just discussed the vector bundles associated with a Ψ-superharmonic projection PE over TH(0). If we go back to our starting point, with an arbitrary projection PE over C0(M), it turns out that there does not exist a Ψ-superharmonic lift of PE. But we shall prove:
Let PE be a projection over C∞(M) defining a Hermitian Yang–Mills vector bundle E over M. Then the Ψ-superharmonic projection Ranς˘(PE) is a lift of PE:
[TABLE]
Moreover, the Cowen–Douglas sheaf ECD of HNE:=Ranς˘(PE) is analytically isomorphic over B∖{0} to the pullback EB∖{0} of E; as Hermitian holomorphic vector bundles we have
[TABLE]
where EB∖{0} is endowed with the Hermitian metric given by pullback of PE to B∖{0}.
The Yang–Mills equation under consideration is
[TABLE]
where ω is the Kähler form in class c1(L) associated with the G-invariant volume form, ΘE is the Chern curvature of PE and the given holomorphic structure on E, and trω:A2(M)⊗EndΓ∞(M;E)→EndΓ∞(M;E) is the operator of taking trace against ω (with A2(M) denoting the space of differential 2-forms on M).
The Yang–Mills condition depends on the Kähler metric ω, which for our coadjoint orbit M=G/K is encoded in the quantization H∙. The difference between the Toeplitz operator ς˘(PE) and its range projection PE is a measure on how well PE can be quantized with respect to the chosen quantization H∙ of the manifold. We have said that ς˘(m)(PE) cannot itself be expected to be a projection for all m unless the vector bundle E defined by PE has trivial Chern character. The next best thing would be that ς˘(m)(PE) is a scalar multiple of its range projection PE,m for each m. This holds for very special metrics:
Suppose that PE is a projection over C∞(M) defining an irreducible G-equivariant Hermitian vector bundle E over M=G/K. Then for all m≫0 we have
[TABLE]
with the scalar
[TABLE]
where χ(E(m)) is the Euler characteristic of the vector bundle E(m):=Lm⊗E.
Recall that for m large enough, χ(E(m)) is just the dimension of the vector space H0(M;E(m)) of global holomorphic sections of E(m).
1.3 Balanced metrics
For more general vector bundles E, which are not G-equivariant, there does not exist a metric PE satisfying (1.7) for each m≫0. But suppose that we have a sequence (BmE)m≫0 of projections over C∞(M) which all define vector bundles smoothly isomorphic to E and such that
[TABLE]
where PE,m is a projection in B(Hm)⊗MN(C) for some N. If we want the BmE’s to give a quantization of E then we need to require that the BmE’s for different m are related in some way. One way would be to require the projection PE:=∑mPE,m to belong to the C∗-algebra TH(0)⊗MN(C), so that the symbol ς(PE) is continuous. Let us instead assume that E admits a holomorphic structure. Then the vector space
[TABLE]
is a graded module over the graded algebra A:=⨁m∈N0H0(M;Lm). Up to finite-dimensional vector spaces we may assume that EN for some N is the quotient of A⊗CN by some graded submodule IN. Then a natural condition on the BmE’s is to require that PE is the projection of HN⊗CN onto the orthogonal complement EN of IN. Indeed, the graded A-module structure on EN defined by the compressed shift SE is isomorphic to that on EN. The subspace EN⊂HN⊗CN is invariant under S∗, so PE is Ψ-superharmonic.
The Toeplitz map ς˘(m) has an explicit expression in terms of ω and the Fubini–Study metric FS(Hm) of the line bundle Lm. To find the meaning of (1.7) we will make use of frame theory for Hilbert C∗-modules (see [FrLa3] for background). A frame for a Hilbert C∗-module will be referred to as a C∗-frame in order to distinguish it from the usual frames for Hilbert spaces, which we will also need (see [Chri1, HaLa1] for background on these).
As will be discussed in more detail in §5.1, the condition (1.7) says that there is a Parseval C∗-frame for the Hilbert C0(M)-module Γ0(M;E(m),FS(Hm)⊗BmE) which is at the same time an orthonormal basis for the vector space H0(M;E(m)) endowed with the L2-inner product of ω and the metric FS(Hm)⊗BmE on E(m). Briefly, (1.7) says that FS(Hm)⊗BmE is a balanced metric on E(m) in the sense of [Wang1]. One can view the balance of FS(Hm)⊗BmE as saying that the Hilbert C∗-struture on Γ0(M;E(m),FS(Hm)⊗BmE) (i.e. the metric FS(Hm)⊗BmE) is completely encoded in the finite-dimensional Hilbert space H0(M,ω;E(m),FS(Hm)⊗BmE).
Balanced metrics are related to Yang–Mills metrics via Wang’s theorem, here reformulated using the Toeplitz maps:
Let PE be a metric on a holomorphic vector bundle E over M. Then PE is Yang–Mills if and only if there exists a sequence (BmE)m≫0 of metrics on E such that the metric FS(Hm)⊗BmE on E(m) is balanced and
[TABLE]
in the topology of C∞(M).
The connection between the Yang–Mills condition and the existence of a Ψ-superharmonic lift stated in Theorem 1.2 can now be better understood: If PE is a Yang–Mills then
PE is the limit of some projections BmE satisfying (1.7). We shall see that PE,m for m≫0 coincides with the range projection of ς˘(m)(PE) and therefore the convergences limm→∞BmE=PE and limm→∞cmE=1 give that ς˘(PE) differs from its range projection modulo compacts.
1.4 Into Hardy space
Given a metric PE on a holomorphic vector bundle E(m) we can also look at the Hardy space H0(S,ω;PE) of the pullback of PE to the circle bundle S=∂B. It is natural to ask for a relation between H0(S,ω;PE) and the quotient module EN:=Ranς˘(PE).
First observe that the Hardy space H0(S,ω;PE) is invariant under the tuple of operator on L2(S,ω;PE) acting by multiplication with the coordinate functions Z=(Z1,…,Zn). The multiplication tuple VE on H0(S,ω;PE) is therefore subnormal. In fact, VE is a spherical isometry in the sense that
[TABLE]
and this algebraic relation directly implies subnormality by [Atha3, Prop. 2]. In contrast, the shift SE on EN is not subnormal, i.e. it does not have a normal extension. Even if we take the spherical isometry T on HN⊗CN and consider its compression TE to the coinvariant subspace EN, the operator TE∗TE is typically not the identity on EN. But while SE belongs to something that one could call a multivariable analogue of the class C⋅0 of contractions, TE is a contraction of class C1⋅ if we assume that the projection PE has entries in the Toeplitz algebra TH(0). And for contractions TE of class C1⋅ there is a canonical way of turning TE into an isometry by applying a similarity transformation, namely the Fredholm operator
[TABLE]
where TE,k:=TE,k1⋯TE,km. The inverse of AE−1 of AE is well-defined outside a finite-dimensional subspace, and we may ignore this subspace for present purposes. The tuple AE1/2TEAE−1/2 is a spherical isometry and in particular subnormal.
The operator tuple AE1/2TEAE−1/2 on EN is unitarily equivalent to the multiplication tuple VE on H0(S,ω;PE).
Another way of viewing this is to say that the positive invertible operator AE can be used to change the inner product on EN to that of H0(S,ω;PE). Now observe that AE is just the restriction to EN of the Toeplitz operator ς˘(PE). Let us discuss the geometric interpretation of ς˘(PE). We have already mentioned that ς˘(m)(PE) equals PE,m only if there is a Parseval frame for the Hilbert C0(M)-module Γ0(M;E(m),FS(Hm)⊗PE) which is also a Parseval frame for the Hilbert space H0(M,ω;E(m),FS(Hm)⊗PE). In fact ς˘(m)(PE) can be identified with the frame operator of a Parseval frame for the Hilbert C0(M)-module Γ0(M;E(m),FS(Hm)⊗PE) regarded as a frame for the Hilbert space H0(M;E(m),FS(Hm)⊗PE). For this reason it is interesting to note that the diagonal of the Szegö kernel (aka Bergman kernel), studied e.g. in [Catl1, MaMa3], is in the present context the frame operator ΣE(m) of a Parseval frame for the Hilbert space H0(M;E(m),FS(Hm)⊗PE) regarded as a frame for the Hilbert C0(M)-module Γ0(M;E(m),FS(Hm)⊗PE). Thus finding out how ς˘(m)(PE) differs from the identity operator on Em≅H0(M,ω;E(m),FS(Hm)⊗PE) is analogous to finding the error between ΣE(m) and the identity endomorphism. The latter is given in the Szegö expansion [Wang2, Thm. 5.2]
[TABLE]
where sω is the scalar curvature of the Kähler metric ω. For ς˘(m)(PE) the expansion would be one of operators on the Hilbert space Em. Since AE is the limit of Ψp(PE) as p goes to infinity, a first approximation to the compact operator PE−AE is given by
[TABLE]
which may be viewed as an operator “second fundamental form”, while ∑α=1n[TE,α∗,TE,α] and ∑α=1n[Tα∗,Tα] are operator analogues of the mean curvature trωΘE and the scalar curvature sω respectively. For PE−AE itself we have:
In the setting of Theorem 1.5 there is an injective completely positive map ςVE(m) the space of operators on Em into EndΓ0(M;E) such that
[TABLE]
Here the curvature ΘE is that of the Chern connection of PE and the holomorphic structure on E coming from the graded A-module underlying EN, which by Theorem 1.5 is the same as the holomorphic structure on E that we started with if we take PE to be real-analytic.
1.5 The nature of ς(PE)
So for a projection PE which does not define a Yang–Mills metric, what is the meaning of the symbol ς(PE) of the superharmonic projection PE:=Ranς˘(PE)? The Uhlenbeck–Yau theorem says that a holomorphic vector bundle E admits a Yang–Mills metric if and only if E is slope-stable [Koba1, UhYa1]. Any holomorphic vector bundle E has a filtration by slope-semistable subsheaves, and each of these slope-semistable subsheaves has a filtration by slope-stable subsheaves. Taking successive quotients of the members of these filtrations and summing up one obtains a torsionfree sheaf Gr(E) which is a direct sum of slope-stable vector bundles (see [Jaco2, §2.1] for details). Each of these slope-stable summand of Gr(E) admits a Yang–Mills metric, and the direct sum of these metrics will be referred to as the Yang–Mills metric on Gr(E). We prove:
Let E be a holomorphic vector bundle over M and suppose that Gr(E) is locally free. Let EN be the quotient module obtained by completing EN:=⨁m∈N0H0(M;E(m)) in some embedding into HN⊗CN, and let PE be the projection onto EN. Then the projection ς(PE) defines Gr(E) as smooth vector bundle, and ς(PE) is the Yang–Mills metric on Gr(E).
We conjecture that in general, when Gr(E) is merely torsionfree, ς(PE) still gives a singular Yang–Mills metric on Gr(E). To prove that one would need a generalization of Lemma 1.4 to singular Yang–Mills metrics and balanced metrics on torsionfree sheaves.
When Gr(E) is locally free the assumptions of Theorem 1.6 thus holds. The term m−1(trωΘE−μ(E))1E in the statement of Theorem 1.6 need not be zero even though ς(PE) is a Yang–Mills on Gr(E), because ΘE is the Chern connection for ς(PE) and the holomorphic structure on E, and not the holomorphic structure on Gr(E).
1.6 Guo-stability
A slightly weaker notion of stability than slope-stability is Gieseker-stability. Also this notion of stability has been characterized by Wang using balanced metrics [Wang1]. Namely, a holomorphic vector bundle E is Gieseker-stable if and only if for all m≫0 there exists a balanced metric on E(m). The distinction between Gieseker- and slope-stability is thus the convergence of the balanced metrics. We will give an operator-theoretic proof of half of Wang’s theorem (see Theorem 5.17) and we will consider the failure of the convergence of the balanced metrics in Proposition 5.15.
Recall that a holomorphic vector bundle E over M is called Gieseker-semistable if for all proper analytic quotients E→F→0 one has
[TABLE]
If we observe that rankF/rankE=liml→∞χ(F(l))/χ(E(l)) then we can rewrite (1.8) as
[TABLE]
It is known [ACKi1, Remark 2.2] that (1.8) is equivalent to
[TABLE]
We say that a holomorphic vector bundle E is Guo-semistable for each proper analytic quotient sheaf F the condition (1.9) holds for alll≥0 (not just for l sufficiently large compared to m):
[TABLE]
As usual we replace semistable by stable when strict inequality holds in (1.10) for all F. We use this terminology because it was shown in [Guo3, Prop. 2.3] that the trivial line bundle on CPn−1 is Guo-stable in this sense. We shall prove:
Let E be an irreducible G-equivariant vector bundle over the coadjoint orbit M=G/K. Then E is Guo-stable.
We thereby see that the operator-theoretic result as it is stated in [Guo3, Prop. 2.3] extends to a much wider range of reproducing kernel Hilbert spaces.
In the end of the paper we will discuss some natural questions and open problems building on this work that would be interesting to investigate in the future.
Acknowledgment**.**
I thank Robert Berman, Daniel Persson, Magnus Goffeng, Erlend Fornæss-Wold, Tuyen Troung, Håkan Samuelsson Kalm, Mats Andersson, Bo Berndtsson, Martin Sera, Ramiz Reza, Dennis Eriksson, and Ulrik Enstad for discussions on the topic of the paper.
This work was initiated when I was a postdoc at the University of Oslo, supported by ERC (grant 307663-NCGQG).
1.7 Notation
If E is a holomorphic vector bundle on a smooth projective variety M then we denote by H0(M;E) the vector space of global holomorphic sections of E.
If PE(m) is a Hermitian metric on E(m) then we denote by H0(M,ω;E(m),PE(m)), or just H0(ω,PE(m)), the vector space H0(M;E) endowed with the inner product
[TABLE]
The Euler characteristic of a coherent analytic sheaf E over M is denoted by χ(E) and defined as the integer
[TABLE]
here Hp(M;E) is the pth sheaf cohomology group of the OM-module E. If E is a holomorphic vector bundle then χ(E(m)) depends only on the isomorphism class of the topological vector bundle underlying E. Indeed, the Hirzebruch–Riemann–Roch theorem says that χ(E) is the pairing of the fundamental class of M with the Chern character of E wedged with the Todd class of the tangent bundle of M.
We can take the latter formula as the definition of χ(E) for an arbitrary smooth vector bundle E which need not admit any holomorphic structure.
With L=OM(m) a fixed very ample line bundle on M, we set
[TABLE]
for each m∈N0. The Hilbert polynomial of a smooth vector bundle E is the polynomial N0∋m→χ(E(m)). While χ(E(m)) for a given m only depends on the topological structure of E(m), the choice of line bundle L is affected by the holomorphic structure of M since we want L to be very ample.
We will often write cE,m for the constant
[TABLE]
where as always nm:=dimHm is the Hilbert polynomial of the trivial line bundle OM.
Let ω:C0(M)→C be a state, i.e. a functional with ω(1)=1. If PE is a projection in C0(M)⊗MN(C) then we denote by L2(ω,PE) the completion of Γ0(M;PE):=PE(C0(M)⊗CN) in the L2-inner product of PE and ω,
[TABLE]
Remark 1.9** (ω on matrices).**
For an element B of L∞(M,ω)⊗B(H) for some separable Hilbert space H we can canonically define an operator ω(B)∈B(H) by defining ω(f⊗X):=ω(f)X on simple tensors f⊗X and extending ω by C-linearity. A choice of basis (or more generally a countable Parseval frame) for H gives a representation of B as an L∞(M,ω)-valued matrix (see [Bala1]), and the above definition just means that we apply ω to each entry in such a matrix. So even if the Parseval frame has many more element than the dimension of H, applying ω to each entry in the frame matrix of B gives the same as if we apply ω to each entry in a matrix of size dimH representing the action of B in an orthonormal basis for H.
In particular, ω commutes with taking the trace over H,
[TABLE]
Sometimes we write (ω⊗id)(B) for ω(B) for clarity when B is in L∞(M,ω)⊗B(H), with id standing for the identity map on B(H).
2 Multivariable operator theory of G/K
2.1 Preliminaries
Let n≥2 be an integer. In this section we recall from [An6, §6] how to associate a graded quotient HN of Hn2 to a compact matrix group
[TABLE]
2.1.1 The first-row algebra
Throughout the rest of the paper, G is a compact matrix group, i.e. G is a closed subgroup of the group U(H) of unitray transformations of some finite-dimensional Hilbert space H. The C∗-algebra C0(G) of continuous functions on G is generated by the matrix coefficients of a unitary matrix u∈B(H)⊗C0(G). Set n:=dim(H) and fix an orthonormal basis e1,…,en of H so that H≅Cn, and let uα,β be the matrix coefficients of u in this basis.
Definition 2.1**.**
The first-row algebra of G is the C∗-algebra C0(S) generated by the first row Z1:=u1,1,…,Zn:=u1,n. This defines the homogeneous space S.
Since G is a Lie group, S is a smooth manifold.
There is a Z-grading on C0(S) obtained by letting the Zα’s have degree 1 while their adjoints are given degree −1. We write the decomposition into spectral subspaces for the corresponding U(1)-action as
[TABLE]
Definition 2.2**.**
We define the homogeneous space G/K as the manifold corresponding to the C∗-subalgebra of fixed points in C0(S) for the U(1)-action:
[TABLE]
It is clear that C0(G/K) is generated by the n2 elements {Zα∗Zβ}α,β=1n.
Example 2.3**.**
If G=U(n) is the whole unitary group then S is the unit sphere S2n−1 in Cn while
G/K is the complex projective space CPn−1. Here we obtain K=U(1)×SU(n−1).
By the above example we see that, in general, S⊂S2n−1 and
[TABLE]
Since G is a Lie group, the space S, and hence also G/K=S/U(1), is a smooth manifold and the action of G on C0(G/K) restricts to an action on the subalgebra C∞(G/K) of smooth functions.
The space S is a smooth principal U(1)-bundle over the smooth manifold G/K.
We denote by IrrepG the set of equivalence classes of irreducible unitray representations of G. We choose a representative Hλ for each λ∈IrrepG, i.e. Hλ is a (necessarily finite-dimensional) Hilbert space which carries an irreducible representation of G in class λ.
An important part in the theory of compact groups is the Peter–Weyl decomposition [Seg1, Cor. 9.14]
[TABLE]
of the vector space underlying the C∗-algebra C0(G), where B(Hλ)∗ denotes the dual of B(Hλ) with respect to the trace. Recall also that C0(G) has a unique state ω (the Haar state) which is invariant under the left and right translation action of G on C0(G). The completion L2(G) of C0(G) in the inner product defined by the Haar state decomposes into irreducibles as well, because of (2.1) and the G-invariance of ω.
Lemma 2.4**.**
[An6, Lemma 6.18]**
The first-row algebra C0(S) carries an ergodic action of G which contains every irreducible representation of G with multiplicity one. The unique G-invariant state on C0(S) is the restriction to C0(S) of the Haar state ω on C0(G).
We write ω also for the G-invariant states on C0(S) and C0(G/K).
We have already seen that the topological space G/K is contained in CPn−1. Now observe that the algebra
[TABLE]
generated by Z1,…,Zn is the quotient of the polynomial algebra C[z1,…,zn] by some homogeneous ideal. Therefore A is the homogeneous coordinate ring of some projective variety
[TABLE]
That is, if L=OM(1) denotes the restriction to M of the hyperplane bundle on CPn−1 then
[TABLE]
The completion HN of A in the inner product of the symmetric Fock space H∨N is a graded quotient module. The elements of HN are analytic functions on the manifold
[TABLE]
It is shown in [An6] that the C∗-algebra C0(M) of continuous functions on M is the inductive limit of the finite-dimensional matrix algebras B(Hm) as m goes to infinity, and that C0(M) and C0(G/K) coincide in such a way that the generators Z1,…,Zn of C0(S) become the homogeneous coordinates on M,
[TABLE]
Thus G/K is given the structure of a complex projective variety.
The state ω:C0(M)→C defines a unique Kähler 2-form, also denoted by ω, in the cohomology class c1(L) via
[TABLE]
where vol(M,L)=∫Meω(x)=limm→∞dimHm/mdimM is the volume of (M,L).
2.1.2 Haar orthogonality relations
Recall that the Haar orthogonality relations [Seg1, Thm. 9.7(iii)] say that if K is an irreducible representation of G and e1,…,enK is an orthonormal basis for K then
[TABLE]
where fα∈C0(G) is the function fα(a):=⟨eα∣a⋅eα⟩.
That is, in addition to the C0 Peter–Weyl decomposition
[TABLE]
(as vector spaces) one has that the Haar state ω restricts to the normalized trace on B(Kκ), viz. the L2 Peter–Weyl decomposition
[TABLE]
(as Hilbert spaces). The first-row algebra takes the form
[TABLE]
where the irreducible representations Hm appear as special cases of the Kκ’s, namely as the subspaces spanned by the products of m elemens of the generating set {Z1,…,Zn}. To obtain an arbitrary irreducible representation Kκ one has to use also products with elements of {Z1∗,…,Zn∗}.
For the special case of Kκ=Hm for m∈N0, the Haar orthogonality relations give the following:
Lemma 2.5**.**
Let e1,…,en be an orthonormal basis for H1.
Then for all m∈N0 and all j,k∈Fn+ with ∣j∣=m=∣k∣ we have
[TABLE]
Here Fn+ denotes the set of multi-indices k=k1⋯km of finite length ∣k∣:=m∈N0, and pm:H⊗m→Hm is the orthogonal projection.
2.2 Subnormality and spherical expansivity
We are given our coadjoint orbit M=G/K⊂CPn−1 and the associated graded quotient HN of the symmetric Fock space H∨N. The shift on H∨N can be compressed to the subspace HN to give a tuple S=(S1,…,Sn) of mutually commuting operators. If e1,…,en denotes an orthonormal basis for H1, this means
[TABLE]
where pm:H⊗m→Hm is the orthogonal projection, and if the vectors in HN are identified with analytic functions on B, then each Sα becomes a multiplication operator:
[TABLE]
We shall also refer to HN as the Fock space and call S the shift on HN.
It can be helpful to view the shift S as a quantization of the generating tuple Z=(Z1,…,Zn) of the C∗-algebra C0(S). Indeed, the graded algebra A⊂C0(S) generated by Z1,…,Zn is isomorphic to the graded algebra generated by S1,…,Sn. While the Zα’s commute with their adjoints, [Sα∗,Sβ] is nonzero.
One has
[TABLE]
where p0∈B(HN) denotes the projection onto the 1-dimensional subspace H0 spanned by the constant functions. This is a remnant of the sphere condition Z∗Z=ZZ∗=1 satisfied by Z.
So what about the operator S∗S:=∑α=1nSα∗Sα?
Lemma 2.6**.**
The shifts S1,…,Sn satisfy
[TABLE]
Proof.
Let ω be the restriction of the Haar state on C0(G) to the subalgebra C0(S) and let L2(S,ω) be the GNS Hilbert space of ω. Let H0(S,ω) be the closure of A in L2(S,ω). The operators of multiplication by Z1,…,Zn on L2(S,ω) leave the subspace H0(S,ω) invariant. Denote by T1,…,Tn the restrictions of the multiplication operators Z1,…,Zn to H0(S,ω) and let P be the orthogonal projection of L2(S,ω) onto H0(S,ω). Since the representation of C0(G) is a ∗-homomorphism, the multiplication operators satisfy ∑α=1nZα∗Zα=∑α=1nZαZα∗=1 and hence
[TABLE]
By Lemma 2.5 the inner product ⟨⋅∣⋅⟩ on Fock space HN is a simple scaling of that of L2(S,ω),
[TABLE]
It follows that the tuple T1,…,Tn is unitarily equivalent to the operator tuple T~1,…,T~n on the Fock space HN defined by
[TABLE]
if S1,…,Sn are the standard shifts on HN. From (2.3) we get
[TABLE]
with ∣S∣:=∑k=1nSk∗Sk. The formula (2.2) then follows from (2.3) and the definition of T~1,…,T~n.
∎
We thus see that the Haar orthogonality relations ensure that the tuple S=(S1,…,Sn) is a simple quasi-affine transform of the spherical isometry T=(T1,…,Tn) acting on the Hardy-type space H0(S,ω). Recall that T being a spherical isometry means T∗T:=∑α=1nTα∗Tα=1, and that by [Atha3, Prop. 2] this is equivalent to saying that T is subnormal with normal extension having joint spectrum in S2n−1 (in the present case the normal spectrum is S⊂S2n−1).
In the rest of the paper we will not distinguish between T~ and T, so T will sometimes be regarded as an operator tuple acting on HN.
Corollary 2.7**.**
The operator tuple S=(S1,…,Sn) is a spherical expansion, i.e. ∑α=1nSα∗Sα≥1. Equivalently (since ∑α=1nSαSα∗=1−p0), the operator
[TABLE]
is positive.
Question 2.8**.**
We thus have [S∗,S]≥0 when the quotient module HN comes from a coadjoint orbit. Does that hold for a general quotient module? One could also ask whether each of the operators Sα is hyponormal, i.e. whether [Sα∗,Sα]≥0 holds for all α∈{1,…,n}. The hyponormality of each Sα appears a bit optimistic even for coadjoint orbits (although it is true for HN=Hn2 [Arv6c, §5]).
The scalar curvature of the Kähler metric associated with the state ω on the coadjoint orbit M=G/K is a constant function sω=sω1. For any quotient module HN of Hn2, i.e. for any projective variety M⊂CPn−1 and any Kähler metric in the class c1(L) of the line bundle L=OM(1), the average scalar curvature sω:=ω(sω) appears, by Lemma 2.6 and Hirzebruch–Riemann–Roch, as a contribution to the traces Tr([S∗,S]pm),
[TABLE]
From this behavior of the traces one may expect that [S∗,S] is a quantization of the scalar curvature sω in some sense.
2.3 Schatten-class membership
In [An6] it was shown that the commutators [Sα∗,Sβ] of the shift operators are compact. Here we give a simpler proof in our special case of coadjoint orbits, and we also obtain sharp estimates for membership in the Schatten classes Lp:
Theorem 2.9**.**
Let n∈N, let HN=⨁m∈N0Hm be the graded quotient module of the Drury–Arveson space Hn2 associated with a coadjoint orbit M=G/K⊂CPn−1, let d:=dimCM, and let S1,…,Sn be the compressions to HN of the shift operators on Hn2. Then for all α,β∈{1,…,n} we have
[TABLE]
Proof.
Recall that Corollary 2.7 says that the operator [S∗,S]:=∑α=1n[Sα∗,Sα] is positive.
We shall use the fact that [Sα∗,Sβ] is in Lp for all α,β∈{1,…,n} if and only if the operator [S∗,S] is in Lp (see [Arv8, Thm. 4.3] for a proof).
Since Tr(pm)=dimHm, for m≥1 we have from Lemma 2.6 that
[TABLE]
and N0∋m→dimHm+1−dimHm is a polynomial of degree d−1 (because N0∋m→dimHm∈N is a polynomial of degree d). So for the normalized trace ϕm(⋅):=Tr(⋅pm)/Tr(pm) we have
[TABLE]
Thus the largest (and only) eigenvalue of [S∗,S]pm grows as O(m−1). The eigenvalue of [S∗,S]ppm then grows as O(m−p). So we have Tr([S∗,S]p)∼∑m∈N(dimHm)/mp<∞ if and only if
[TABLE]
which is the case if and only if p>d+1.
∎
2.4 (d+1)-isometries
2.4.1 Background
For the moment let S=(S1,…,Sn) be an arbitrary commutating tuple of opertors on a Hilbert space H and consider the map Φ∗:B(H)→B(H) defined by Φ∗(X):=∑α=1nSα∗XSα. For each p∈N0 we define
[TABLE]
With the convention (pm):=0 for p>m we have [GlRi1, Lemma 2.2]
Let q∈N. A commuting operator tuple S=(S1,…,Sn) is a q-isometry if
[TABLE]
A q-isometry S is strict if Bq−1(S)=0.
Using the tautological relation Bp(S)=Bp−1(S)−Φ∗(Bp−1(S)) we can equivalently say that a tuple S is a q-isometry if the operator Bq−1(S) is a fixed point of Φ∗,
[TABLE]
By (2.4) (see also [HoMa1, Thm. 3.1]), S is a q-isometry if and only if there exists a degree-(q−1) polynomial χS(m)=Cq−1mq−1+Cq−2mq−2+⋯+C0 with operator coefficients Cp∈B(H) such that
[TABLE]
A 1-isometry is what is usually called a spherical isometry.
2.4.2 Result
Theorem 2.11**.**
*The n-tuple S=(S1,…,Sn) on HN is a (d+1)-isometry. *
Proof.
Recall that by Lemma 2.6, S∗S is the central operator ∑mwmpm determined by the weight sequence (wm)m∈N0 given by
[TABLE]
Recall also that nm is a polynomial in m∈N0 of degree d:=dimCM. Motivated by the proof of [BMN2, Prop. 3.2], [AbLe1, Thm. 1] we can deduce that S is a (d+1)-isometry.
First recall that to check the (d+1)-isometric property we need to consider the powers (Φ∗r(1))r∈N0 of the map Φ∗ applied to the identity. We have
[TABLE]
Since
[TABLE]
the tuple S is a q-isometry iff
[TABLE]
This is to say 0=∑r=0q(−1)r(rq)nmnm+rpm for all m∈N0, which is equivalent to
[TABLE]
and holds iff nm is a polynomial in m of degree ≤q−1.
∎
There are other properties of S encoded in the operators Bp(S). We expect that when HN is a coadjoint orbit, as assumed here, S is a complete hyperexpansion, i.e.
[TABLE]
but we do not know. When we replace S by the 1-isometry T we have:
Proposition 2.12**.**
Let S=∣S∣T be the polar decomposition of the shift compressed to HN. Then T is completely hypercontractive, i.e.
[TABLE]
But Bp(T)=0 for all p since T is a 1-isometry!!
Proof.
By definition T is a 1-isometry, hence subnormal with spectrum in clB⊂clBn. The result is now given by [ChCu1, Prop. 3.4].
∎
As a special case of Proposition 6.7 later in the paper we have for each p∈N0 that
[TABLE]
and in particular
[TABLE]
For p≥d+1 we have, from the fact that nm is a polynomial of degree d, that
[TABLE]
Since B1(S)pm is a scalar we obtain recursively from the relation Bp(S)=(id−Φ∗)(Bp−1(S)) that Bp(S)pm is a scalar also for p≥1, for each m∈N0. This gives another proof of the vanishing Bp(S)=0 for p≥d+1.
2.5 SOT-Toeplitz operators
2.5.1 The L∞ Toeplitz algebra C∗(ς˘(L∞(S)))
Again we consider the polar decomposition S=∣S∣T of the shift. By Lemma 2.2 the tuples S and T have the same invariant graded subspaces. The fact that T is a spherical isometry says that the completely positive map Ψ:B(HN)→B(HN) defined by
[TABLE]
is unital.
Let B(HN)Ψ be the fixed-point set of the map Ψ. We say that an operator in B(HN)Ψ, i.e. an operator X with Ψ(X)=X, is Ψ-harmonic. And if X∈B(HN) satisfies Ψ(X)≤X then we say that X is Ψ-superharmonic. If X is Ψ-superharmonic and SOT−limp→∞Ψp(X)=0 then X is called a Ψ-potential (or pureΨ-superharmonic).
By [GaKu1, Thm. 3.3] or [Pop7, Thm. 3.1], if X is Ψ-superharmonic then it has a Riesz decomposition into the sum of a unique Ψ-harmonic operator X1 and a unique Ψ-potential X2,
[TABLE]
Consider the von Neumann algebra generated by the operators in B(HN)Ψ (the L∞Toeplitz algebra)
[TABLE]
The following lemma can then be deduced directly from [Prun1, Thm. 1.2]:
Lemma 2.13**.**
There is a short exact sequence of C∗-algebras
[TABLE]
with a unital completely positive splitting
[TABLE]
whose image equals B(HN)Ψ. Here SC(L)=Kerς is the semicommutator ideal in L, i.e. the two-sided ideal generated by the operators [ς˘(f),ς˘(g)):=ς˘(f)ς˘(g)−ς˘(fg) with f,g∈L∞(M). So we have a direct sum of vector spaces
[TABLE]
Endowed with the Choi–Effros multiplication the operator system B(HN)Ψ becomes a von Neumann algebra isomorphic via ς˘ to L∞(S),
[TABLE]
For every X∈L there is a unique Ψ-harmonic operator ς˘(fX)∈B(HN)Ψ such that
[TABLE]
and the map ς can be described as
[TABLE]
If U:HN→H0(S,ω) is the unitary which intertwines the multiplication tuple T on the Hardy space H0(S,ω) with the weighted shift T~=U−1TU on HN as in the proof of Lemma 2.6 then
[TABLE]
where P is the orthogonal projection of L2(S,ω) onto H0(S,ω) and we identify L∞(S) in its ∗-representation on L2(S,ω).
By analogy with [BaHa1, Fein1] we say that an operator X∈B(HN) is SOT-asymptotic Toeplitz if the limit SOT−limm→∞Ψm(X) exists. In this case SOT−limm→∞Ψm(X) is fixed by Ψ so it must be of the form ς˘(fX) for some fX∈L∞(S). Then fX is the symbol of X.
Lemma 2.13 says that every element of L is SOT-asymptotic Toeplitz.
Proposition 2.14**.**
The SOT-asymptotic Toeplitz symbol map ςSOT coincides with ς when restricted to L.
Proof.
We have L=ς˘(L∞(S))+Kerς and the conditional expectation onto ς˘(L∞(S)) just kills Kerς. Thus Kerς is the set of elements C of L with ςSOT(C)=0.
∎
Corollary 2.15**.**
Suppose that ς˘(f) is a Toeplitz operator with SOT-Toeplitz symbol zero,
[TABLE]
Then f=0.
Note that KerςSOT is not contained in L however, and in particular there are SOT-asymptotic Toeplitz operators on HN which do not belong to L.
Proposition 2.16**.**
Let MH the WOT-closed algebra generated by 1,S1,…,Sn (this is the multiplier algebra of the Hilbert function space HN) and let MHMH∗ be the set of operators of the form ξη∗ with ξ,η∈MH. Then
[TABLE]
and this is a von Neumann algebra equal to L,
[TABLE]
Proof.
Since Φ is pure we have (by [Arv7c, Prop. 1.6] or [Pop7, Cor. 3.10]) that an operator X∈B(HN) satisfies X≥0 and Φ(X)≤X if and only if X is “factorable” in the sense that
[TABLE]
with some A-module map L from HN⊗M and HN, for some separable Hilbert space M. Suppose then that X is factorable like this. The fact that L is a module map means precisely that if (ej)j∈J is an orthonormal basis for M then the vectors
[TABLE]
belong to MH. Moreover, we have
[TABLE]
so that X belongs to spanCWOTMHMH∗. Conversely, for X∈spanCWOTMHMH∗ with X≥0 we have an expansion (2.9) and this gives Φ(X)≤X since Φ(1)≤1 gives
We next prove that (2.8) holds. The quotient L/Kerς is isomorphic to L∞(S), which is commutative. Therefore every element of L can be normally ordered modulo Kerς, i.e. every element of L belongs to spanCWOTMHMH∗ up to some term in Kerς. Now observe that the set MH∗MH of antinormally ordered products of multipliers is precisely the set of fixed points under Ψ, since Ψ(1)=1.
Therefore
[TABLE]
and so Kerς is contained in spanCWOTMHMH∗. Therefore spanCWOTMHMH∗ is an algebra, and thus a von Neumann algebra which contains B(HN)Ψ, whence it must equal L=C∗(B(HN)Ψ).
∎
Remark 2.17** (Uniform Toeplitz operators).**
Again by analogy with [Fein1] we say that an operator X∈B(HN) is uniform asymptotic Toeplitz if the limit limm→∞Ψm(X) exists in the norm topology on B(HN). As a generalization of pre-existing proofs in the literature (cf. [CuLe1, Lemma 3.1]) we can deduce that every compact operator K is uniform asymptotic Toeplitz with symbol
[TABLE]
First observe that, since the polynomials are dense in HN and since every compact operator is a norm-limit of finite-rank operators, it sufficies to show that
[TABLE]
for any rank-1 operator K=∣ξ⟩⟨η∣ where ξ,η∈A⊂HN are polynomials. Next, Ψm(K) is a finite sum of operators of the form Tk∗KTk for multi-indices k∈Fn+ with ∣k∣=m. Now
[TABLE]
If degξ=m0 then Tk∗ξ=0 for all k∈Fn+ with ∣k∣>m0. Thus, for all m≥min{degξ,degη} we obtain Ψm(∣ξ⟩⟨η∣)=0, as desired.
From [Prun1, Thm. 1.2] and [An6] we also obtain a short exact sequence of C∗-algebras
[TABLE]
where K(HN) is the ideal of compact operators on the Fock space HN, and this sequence is also linearly split by the Toeplitz map ς˘. That is, every element of TH is of the form ς˘(f)+K with f∈C0(S) and K compact. This shows that every element of TH is uniform asymptotic Toeplitz.
Remark 2.18** (Fixed points).**
As mentioned, the (d+1)-isometric property of S can be expressed as Φ∗(Bd(S))=Bd(S). Each operator Bp(S) is compact. While Ψ has no compact fixed points, Φ∗ thus has.
If X is an operator on HN that preserves the grading then one has X=∑m∈N0Xmpm with Xm∈B(Hm) for each m. The algebra Γb of grading-preserving bounded operators on HN can therefore be identified as
[TABLE]
It is a von Neumann algebra admitting a finite trace ∑m∈N0ϕm. The grading on HN gives rise to an action of U(1) on B(HN) whose fixed-point subalgebra is given by Γb.
In [An6] we only discussed the U(1)-invariant part
[TABLE]
of the operator system B(HN)Ψ, and we showed that B∞ is completely isometrically isomorphic to L∞(M) via an explictly Toeplitz-type map
[TABLE]
The notation for the map ς˘:L∞(S)→B(HN) appearing in Lemma 2.6 was chosen because its defining property (2.6) shows that it restricts to the Toeplitz map ς˘:L∞(M)→Γb. Therefore there is also no confusion if we refer to ς˘:L∞(S)→B(HN) as the Toeplitz map. This is in accordance with [Prun1, Prun2] and the single-variable theory of “generalized Toeplitz operator”.
Let N:=C∗(B∞) be the C∗-algebra generated by the operators in B∞. Then N is a von Neumann subalgebra of L which we call the L∞** Toeplitz core**.
Taking the “U(1)-invariant part” of Proposition 2.16 we obtain a presentation of N in terms of factorable or superharmonic elements,
[TABLE]
With these extra facts the following is implicit in [An6]:
Corollary 2.19**.**
The von Neumann algebra N:=C∗(B∞) fits into the short exact sequence of C∗-algebras
[TABLE]
where the kernel [B∞,B∞)=Ker(ς) is the semicommutator ideal in N. The Toeplitz map ς˘:L∞(M)→N gives a completely positive splitting, so that
[TABLE]
and ς is the adjoint of the Toeplitz map ς˘:L∞(M)→Γb with respect to the inner product of L2(M,ω) and the inner product on Γb defined by the state ∑mϕm.
We now look at graded subspaces HNE of the graded Hilbert space HN⊗CN for some integer N∈N. For ease of notation we write
[TABLE]
for the diagonal representation of the shift operators on HN⊗CN. We shall characterize coinvariance of HNE in terms of the orthogonal projection PE of HN⊗CN onto HNE. It will often be convenient to regard PE and other operators on HN⊗CN as N×N-matrices with entries in B(HN). Then we can apply the maps Φ and Ψ entrywise to such operators. Thus we define
[TABLE]
and so on. Recall that Γb⊂B(HN) is the von Neumann algebra of grading-preserving operators on HN.
If ϕ is a bounded multiplier of HN then we denote by Mϕ the associated bounded operator on HN,
[TABLE]
Lemma 2.20**.**
For a graded projection PE acting on HN⊗CN, the following are equivalent:
(a)
1−PE* has a Beurling factorization, i.e. there is a multiplier ΘE:HN⊗ℓ2(N0)→HN⊗CN such that*
[TABLE]
with ϕj∈Amj⊗CN a homogeneous polynomial for each j∈N (where ϕj=0 is allowed).
2. (b)
Φ(1−PE)≤1−PE, in which case SOT−limm→∞Φm(1−PE)=0.
3. (c)
The image HNE of PE is invariant under S∗.
4. (d)
Ψ(PE)≤PE.
5. (e)
PE=ς˘(PE)+CE* where PE is a projection over L∞(M) and CE is a Ψ-potential.*
In this case CE has entries in N (since PE has, by (a)).
Proof.
(a)⟺(b) is shown in [Arv7c, Prop. 1.6] or [Pop7, Cor. 3.10], using SOT−limm→∞Φm(1)=0. More precisely, that the ϕj’s can be taken to be homogeneous polynomials is in [Zhao1, Lemma 2.2] (the proof there generalizes immediately to arbitrary N; see also [Arv7b, Cor. 2 to Prop. 8.13] for N=1).
If Φ(1−PE)≤1−PE then HNE is invariant under S∗ by [Pop7, Lemma 4.1] (using Φ(1)≤1), so (c)⟹(b).
Conversely, if HNE is coinvariant then we have Φ(1−PE)≤1−PE (see [Arv7c, Eq. (2.4]). So (b)⟹(c).
Since Ψ(1)=1 we have the equivalence of (c) and (d) by [Pop7, Cor. 4.4].
Combining, we have shown that (a)–(c) is equivalent to (d). Assuming that this holds, i.e. that Ψ(PE)≤PE, we obtain a Riesz decomposition PE=ς˘(PE)+CE where ς˘(PE) is in B∞ and CE is a Ψ-potential. By (a) we have PE over N and since N=B∞+KerΨ∞ we get that both ς˘(PE) and CE are over N as well. Thus PE is over L∞(M). Conversely, if (e) holds then Ψ(PE)≤PE and so we are done.
∎
Remark 2.21**.**
For the equivalence of (a) and (c), see also [Sark3, Cor. 3.3].
In the one-variable setting (n=1), every submodule of H12=H0(T) is the range of an inner multiplier, by the Beurling theorem. There is a Beurling decomposition of every submodule of Hn2 also for n≥2. There are no nontrivial graded submodules of H0(T), so there is no surprise that when we look at graded submodules we encounter new phenomena, namely that the multipliers in the Beurling decomposition can be chosen to be homogeneous polynomials.
In the same fashion we obtain the ungraded version of Lemma 2.20:
Lemma 2.22**.**
For a projection PE on HN⊗CN, the following are equivalent:
(a)
1−PE* has a Beurling factorization, i.e.*
[TABLE]
with ϕj∈MH a multiplier for each j∈N (where ϕj=0 is allowed).
2. (b)
Φ(1−PE)≤1−PE, in which case SOT−limm→∞Φm(1−PE)=0.
3. (c)
The image of PE is invariant under S∗.
4. (d)
Ψ(PE)≤PE.
5. (e)
PE=ς˘(PE)+CE* where PE is a projection over L∞(S) and CE is a Ψ-potential.*
In this case CE has entries in L (since PE has, by (a)).
Remark 2.23**.**
For the Fock space HN associated with an arbitrary projective variety M one has Ψ(1)≤1 iff Ψ(1)=1. So in case Ψ is not unital, the superharmonicity property Ψ(PE)≤PE is not equivalent to the coinvariance property Φ(1−PE)≥1−PE.
If we let PE be a Ψ-superharmonic projection and write its Riesz decomposition as
[TABLE]
then CE is a potential. The “charge” of the potential CE is, in the terminology of [GaKu1, §3], given by
[TABLE]
i.e.
[TABLE]
We can see (Ψm−Ψm+1)(PE) as the (m+1)th order obstruction of PE from being harmonic. So CE contains not only the first-order obstruction XE=(id−Ψ)(PE), although this is the leading term.
The potential CE need not have the same range projection as its charge XE. However, there is always a Ψ-summable element X~E whose range projection is equal to that of CE [GaKu1, Lemma 4.1].
2.5.3 Vector-valued essential normality
Following Barría–Halmos [BaHa1] we observe that since both ∑α=1nSα∗Sα−1 and ∑α=1nSα∗Sα−1 are compact (i.e. S is essentially a spherical unitary), the essential commutant of S can be described as
[TABLE]
Since the essential commutant is a C∗-algebra which contains the set B(HN)Ψ of all Ψ-harmonic elements, it must contain L=C∗(B(HN)Ψ),
[TABLE]
This observation leads to:
Theorem 2.24**.**
Suppose that PE is a projection acting on HN⊗CN with Ψ(PE)≤PE and preserving the N0-grading. Then the shift tuple SE on the graded quotient module HNE:=RanPE is essentially normal.
Proof.
Write
[TABLE]
where Λ:=∑m∈N0nmnm+1pm does not depend on the projection PE. By Proposition 2.16, the assumptions of the theorem imply that PE is a projection in N⊗MN(C). The entries of (id−Ψ)(PE)∣HNE are compact since PE has entries in N⊂{S}ec. Since Γ0:=K(HN)∩Γb is an ideal in Γb and Λ is bounded, we have
[TABLE]
Since SESE∗=1−PE,0 is a finite-rank perturbation of the identity operator and nm is a polynomial of degree d we easily get that SESE∗−Λ is in Lp iff p>d+1, so in particular SESE∗−Λ is compact. This gives
[TABLE]
as desired.
∎
The proof relies on the assumption that PE is graded, since only then does PE commute with pm for all m. And indeed there are ungraded counterexamples to essential normality [GRS1, §4.1].
Example 2.25**.**
If N=1 then graded submodules of HN are in bijection with homogeneous ideals in the coordinate ring A. The quotient modules HNE of HN, which are also quotients of Hn2, are thus orthogonal complements of ideals and equal the completions of the coordinate rings of analytic subvarieties ME⊂M. If we write the projection PE of HN onto such a quotient module HNE as PE=ς˘(PE)+CE then we get
[TABLE]
unless dimME=dimM (i.e. unless ME=M) since dimHmE is a polynomial in m of degree dimME. Thus, if ME is not all of M,
[TABLE]
In other words PE is in the kernel of the symbol map ς. We see that the kernel of ς is much larger than the ideal of compact operators. We also see that the projection PI onto the orthogonal complement HNI of HNE has symbol ς(PI)=ς(1−PE)=1. So the projection ς(PI) does not recover the ideal sheaf I of ME, even if I is locally free. This is not surprising since, even if I is locally free, the subsheaf I⊂OM is not a subbundle.
Remark 2.26** (Generalization to general M).**
Submodules of HN⊗CN are semi-invariant under the backward Drury–Arveson shift M∗: they are submodules of a quotient module. The projection onto such a subspace is of the form PE−PF where both PE and PF≤PE are coinvariant. Since Theorem 2.24 says that M-coinvariant projections are essentially normal we get that all submodules of vector-valued complete Nevanlinna–Pick-modules are essentially normal. So for essential normality one gets nothing new by dropping the assumption about having a coadjoint orbit.
If Ψ(X)≤X and we write the Riesz decomposition of X as X=ς˘(fX)+CX then we get
[TABLE]
Hence, if X is over N, the pure Ψ-superharmonic part always satisfies
[TABLE]
But even in the case of a graded projection X=PE it need not be that CX itself is compact.
3 Cowen–Douglas bundles of quotient modules
3.1 Setup
3.1.1 The reference Hermitian line bundle
Recall that B⊂Bn is defined as the zero set in the unit ball of the ideal in C[z1,…,zn] corresponding to the embedding M↪CPn−1. In other words, if A is the homogeneous coordinate ring of M then B=Spec(A)∩Bn. The Fock space HN is a graded completion of A and its elements are analytic functions on B.
In the following we write
[TABLE]
for the subspace of joint eigenvectors of S1∗,…,Sn∗ with joint eigenvalue v=(v1,…,vn)∈B. We know that Ker(S∗−v1) is nonzero for each v∈B,
[TABLE]
Indeed, Ker(S∗−v1) is 1-dimensional and spanned by the reproducing vector Kvˉ (or its normalized version kvˉ:=Kvˉ/∥Kvˉ∥) at vˉ,
[TABLE]
Since dimKer(S∗−v1)=1 for all v∈B and the map B∋v→kvˉ is holomorphic, the vector spaces
[TABLE]
form a holomorphic line bundle over B which we denote by OCD and call the Cowen–Douglas bundle of the Hilbert module HN (or of the operator tuple S).
We have a global holomorphic section v→kvˉ of OCD which vanishes nowhere. So OCD is a trivial holomorphic line bundle (it is not algebraic though, since kvˉ is not algebraic):
[TABLE]
Sometimes we will only need the restriction of OCD to B∖{0}, and we denote this restriction again by OCD.
Definition 3.1**.**
The Cowen–Douglas projection of HN is the projection
[TABLE]
which defines the line bundle OCD, i.e.
[TABLE]
For ψ∈HN and v∈B we have ⟨Kvˉ∣ψ⟩=ψ(vˉ) and hence
[TABLE]
Since ∥Kvˉ∥−1ψ(vˉ)kvˉ belongs to the subspace Ker(S∗−v1) of HN for each v∈B, the function B∋v→CD(HN)(v)ψ∈HN is a section
[TABLE]
of the line bundle OCD. Moreover, the section CD(HN)ψ is holomorphic because both v→kvˉ and ψ are holomorphic.
If CD(HN)ψ is the zero section then ψ belongs to \Big{(}\mbox{\Large\vee}_{v\in\mathbb{B}}\operatorname{Ker}(S^{*}-v\mathbf{1})\Big{)}^{\perp}=\{0\}.
Thus HN embeds into the space of global holomorphic sections of OCD.
If we identify the projective space P[HN] with the manifold of rank-1 projections acting on HN then we can regard CD(HN) as a mapping
[TABLE]
which is a holomorphic embedding since kv is never zero. If (ψj)j∈N is any orthonormal basis for HN then from ⟨ψj∣Kv⟩=ψj(v) we see that one can express the coherent vectors as
[TABLE]
Therefore, whatever orthonormal basis (ψj)j∈N for HN chosen for the identification of P[HN] with the infinite-dimensional projective space CP∞, the embedding CD(HN) can therefore be described as
[TABLE]
where we denote by [z1:z2:⋯] the homogeneous coordinates on CP∞.
In the literature on Kähler geometry it is more common to consider the slightly different holomorphic embedding
[TABLE]
The notation FS(HN) makes sense since FS(HN) depends only on the Hilbert space and not the choice of orthonormal basis; FS stands for “Fubini–Study”. We shall not need to distinguish between FS(HN)(v) and CD(HN)(v) and we identify them as the same projection acting on HN.
More generally if H is the Hilbert space of global holomorphic sections of some globally generated vector bundle then we denote by FS(H) the embedding of the base manifold into the Grassmannian defined in the same way as above by an orthonormal basis for H.
As a special case, the embedding M⊂CPn−1 is correspond to the projection FS(H1), after we have the identification H1=Cn so that P[H1]=CPn−1.
We are also interested in the embeddings FS(Hm) of M into P[Hm] where Hm as before is the vector space H0(M;Lm) of global holomorphic sections of the line bundle Lm endowed with the inner product of the tensor product (H1)⊗m.
We can regard FS(Hm) as a projection in the C∗-algebra C0(M)⊗B(Hm).
Any choice of Parseval frame (ψj)j∈J for Hm gives an expansion of FS(Em) as
[TABLE]
with coefficients FS(Hm)j,k∈C0(M) given by
[TABLE]
For the particular choice (ψj)j∈J=(Zk)∣k∣=m we obtain
[TABLE]
where Sj:=Sj1⋯Sjm for a multi-index j=j1⋯jm.
The m-fold tensor product of the projection FS(H1) is given by
[TABLE]
where e1,…,en is an orthonormal basis for Hm and ej:=ej1⊗⋯⊗ejm.
Since the Zα’s satisfy the relations of the ideal defining M, we can express this as
[TABLE]
and be regarded as a function on M with values in the subalgebra B(Hm)⊂B(H⊗m). Now ∣pmej⟩⟨pmek∣=SjSk∗pm. Thus the Fock inner product on Hm is precisely the one such that FS(H1)⊗m is naturally identified with FS(Hm).
If we write v=rζ∈B with r∈(0,1) and ζ∈S then we have
[TABLE]
Thus
[TABLE]
While Hm∩Ckv={0}, the projection pmkv of kv onto Hm spans a 1-dimensional subspace of Hm; the projection onto this subspace is
[TABLE]
It depends only on the class [v] of v in the quotient M=(B∖{0})/D×. We write k[v](m):=pmkv/∥pmkv∥, so that CD(Hm)(x)=∣kxˉ(m)⟩⟨kxˉ(m)∣ for all x∈M. We have ∥pmkv∥2=(1−∣v∣2)−1∣v∣2m. For all ψ∈Hm the reproducing property of Kv gives
[TABLE]
where x→ψ(x) is the function on M induced by the homogeneous degree-m polynomial ψ.
Therefore, for any Parseval frame (ψj)j∈J for Hm we can expand the B(Hm)-factor of CD(Hm) (cf. [Bala1]) to obtain
[TABLE]
with coefficients CD(Hm)j,k∈C0(M) given by
[TABLE]
Thus CD(Hm) coincides with FS(Hm). If we take the Parseval frame for Hm given by (ψj)j∈J=(ek)∣k∣=m where e1,…,en is the standard basis for H1=Cn then we see that
[TABLE]
3.1.2 Higher-rank Cowen–Douglas bundles
Throughout this section, HNE is a graded quotient module of HN⊗CN and PE is the projection onto HNE. The backward shift S∗ on HN⊗CN restricts to a row contraction SE∗ on the Hilbert subspace HNE. We shall study the commuting operator tuple SE∗ with the Cowen–Douglas approach. This amounts to looking at the family of eigenspaces of SE∗,
[TABLE]
and how they vary with v. If SE∗ were in the Cowen–Douglas class Br(B) for some r≥1 then the ECD(v)’s would be the fibers of a holomorphic vector bundle on B. However, we shall see that this is too strong an assumption if we want to use operator theory to study vector bundles over M. The “correct” condition for projective geometry is instead to ask for membership in the Cowen–Douglas class Br(B∖{0}), i.e. we have to allow ECD to be singular at [math].
The eigenvectors of the backward shift S∗ on HN⊗CN are of the form kv⊗ξ with v∈B and ξ∈CN,
[TABLE]
The joint spectrum of the tuple S∗ is equal to the joint point spectrum, which is σ(S∗)=σp(S∗)=B. The multiplicity of each eigenvalue is equal to N.
Since SE∗ is just the restriction of S∗, the vector spaces Ker(SE∗−v1)=Ran(SE−vˉ1)⊥ is a subspace of kvˉ⊗CN for each v∈B, and so finite-dimensional. In particular, Ran(SE−vˉ1) is a closed subspace of HNE. Clearly the eigenvectors of SE∗ span HNE. So the condition that SE∗ is in class Br(B∖{0}) is the same as asking for the consancy of the function dimKer(SE∗−v1) in v∈B∖{0}.
Since HNE is an S∗-invariant subspace, it is of the form
[TABLE]
for some closed subset E⊂B×CN. But since the coherent vectors kv are not orthogonal, there are many such sets E. We will will adopt a special notation for the largest possible choice of E, namely
[TABLE]
Define
[TABLE]
so that ECD=⨆v∈BECD(v). Since Ker(SE−v1)⊂HNE we must thus have ECD(v)=span{kvˉ⊗ξ∣ξ∈ECD(v)}. Let us record this fact:
Proposition 3.2**.**
For each v∈B there is a vector space ECD(v)⊂CN such that
[TABLE]
Let ΘE:B×ℓ2(N0)→B×CN be any multiplier such that the associated multiplication operator MΘE∈B(HN⊗CN) has range equal to the orthogonal complement of HNE.
The adjoint operator MΘE∗ acts on coherent vectors as
[TABLE]
So we have MΘE∗(kv⊗ξ)=0 if and only if ΘE(v)∗ξ=0. On the other hand, the relation EN=KerMΘE∗ gives
The analyticity of ΘE and the finite-dimensionality of ECD(v) for each v ensure that the ECD(v)’s form the holmorphic linear space of a coherent analytic sheaf over B in the sense of [Fisc1, §1.6]. Therefore also the ECD(v)’s form a coherent analytic sheaf ECD over B. We call ECD the Cowen–Douglas sheaf of the quotient module HNE.
3.2 Algebraic aspects
3.2.1 Graded A-modules and coherent sheaves
Let A=⨁m∈N0H0(M;Lm) be the graded coordinate ring of the embedded variety M⊂CPn−1. The Fock space HN is the completion of A in the inner product of H∨N and H0(M;Lm) is the vector space underlying the Hilbert space Hm for each m∈N0.
Given a quotient module HNE of HN⊗CN as before, define
[TABLE]
Then EN is the graded A-module whose completion in the inner product of HN⊗CN is equal to HNE.
Note that EN is isomorphic to a quotient of A⊗CN and thus finitely generated.
Recall that for each A-module one can associate in a canonical fashion an algebraic sheaf on V:=SpecA [Serr2]:
Definition 3.3**.**
Let E be an A-module. The Serre sheaf of E is the OV-module
[TABLE]
If E=EN is a graded A-module we can also define an OM-module E (also referred to as the Serre sheaf of EN) by
[TABLE]
We shall denote by EV∖{0} the restriction of EV to V∖{0}.
If we for α∈{1,…,n} let Uα⊂V be the open set where the coordinate function Zα∈A is nonzero then OV(Uα)=AZα is the localization of the ring A at Zα. So
[TABLE]
is the the module of fractions of E with denominator Zα. If we denote by Uα⊂M also the projectivization of Uα⊂V∖{0} then OM(Uα)=A(Zα) is the homogeneous localization of the ring A at Zα. So the Serre sheaf E on M of a graded module EN can be described as
[TABLE]
i.e. by taking homogeneous localizations of the graded module EN.
Let EN be a graded A-module with Serre sheaves E and EV∖{0} on M and V∖{0} respectively, and consider the quotient map π:V∖{0}→M. Evidently
The Serre sheaf of a (graded) A-module E is a coherent as OV-module (or OM-module) if and only if E is finitely generated. The module E identifies with the module of global holomorphic sections of its Serre sheaf,
[TABLE]
If EN is a graded A-module then modulo finite-dimensional A-modules we have
[TABLE]
as graded A-modules. Conversely, if we start with a coherent OM-module E then the Serre sheaf of graded A-module EN:=⨁m∈N0H0(M;E(m)) is isomorphic to E as OM-module.
Thus replacing EN by E~N:=⨁m∈N0H0(M;E(m)) we get a Serre sheaf E~ on M which is isomorphic to E. However, E~V:=E~N⊗AOV can differ from EV at the origin 0∈V where the finite-dimensional distinction between EN and E~N is still significant.
The Abelian category cohM of coherent algebraic sheaves on M can be identified with the quotient category
[TABLE]
where gr(A) is the category of of finitely generated graded A-modules and tors(A) is the subcategory of modules which are finite-dimensional as vector spaces over C [Serr2, §59]. The quotient functor gr(A)→qgr(A) is exact, while the global section functor qgr(A)∋E→⨁mH0(M;E(m))∈gr(A) is only left-exact. Thus if 0→I→E→F→0 is a short exact sequence of quasicoherent sheaves then we get an exact sequence 0→IN→EN→FN of graded A-modules by applying the global section functor. So even if F is globally generated, i.e. if we have a surjection OM⊗CN→F→0 for some N, we cannot conclude that FN:=⨁mH0(M;F(m)) is a graded quotient of A⊗CN. There is however a graded A-module quotient A⊗CN→F~N→0 with F~m=Fm for m≫0 and the Serre sheaf of F~N equals F.
If EN is a graded quotient module of HN⊗CN then the shift SE on EN satisfies
[TABLE]
so that SESE∗ restricted to Em equals the identity operator on Em for all m=0. As in [An6] (where N=1) one can use this fact to construct explicit isometric embeddings (cf. Eq. (6.3))
[TABLE]
The “subproduct” structure (3.3) is a generalization of the subproduct property of H∙, which reads
[TABLE]
For an arbitrary coherent OM-module E it is not necessarily the case that ⨁m∈N0H0(M;E(m)) is a graded quotient of A⊗CN; in this case from (3.3) we have canonical embeddings of vector spaces
[TABLE]
and this is a characteristic of sheaves E which are regular in the sense of Castelnuovo–Mumford [Laza1, Thm. 1.8.3]. These are in particular globally generated.
3.2.2 Serre sheaf versus Cowen–Douglas sheaf
Let EN be a graded quotient of the standard Hilbert module HN⊗E0 for some finite-dimensional Hilbert space E0. Let SE be the shift on EN. As mentioned, the vector spaces Ker(SE∗−v1) form a coherent analytic sheaf ECD. Let mv be the ideal of functions in A vanishing at v.
The vector space Ker(SE∗−v1) is linearly isomorphic to the annihilator of Ran(SE−v1) in the dual space of EN, and the latter is linearly isomorphic to (EN/mvEN)∗, so
[TABLE]
Let EN be the graded A-module whose completion equals EN, i.e. EN=EN∩(A⊗E0). The fibers of the Serre sheaf EB are given by
[TABLE]
In general EN/mvEN and EN/mvEN may not be isomorphic. In this section we compare the Cowen–Douglas sheaf of EN with the Serre sheaf of EN.
Let IN be the orthogonal complement of EN; thus IN is a graded submodule of HN⊗E0 and equals the completion of a graded A-submodule IN of A⊗E0.
Define the fiber space over v∈B of the Hilbert module IN to be the vector space
[TABLE]
Then the map
[TABLE]
induced by evaluation of functions at v is an isomorphism, and we have a short exact sequence
[TABLE]
of vector spaces.
Proof.
Let v∈B and let ev:HN⊗E0→E0 be the evaluation at v, i.e. ev(ψ):=ψ(v). Clearly the restriction of ev to IN is onto the fiber space IN(v). Moreover, if ψ(v)=0 then ⟨ψ∣kv⊗ξ⟩HN⊗E0=⟨ξ∣ψ(v)⟩E0=0 so ψ belongs to Ker(S∗−vˉ1)⊥⊗E0=mvHN⊗E0. Hence the map (3.5) is an isomorphism.
Let I be the Serre sheaf of IN, so that rankI=limm→∞dimIm/dimHm. From [GRS1, Thm. 1.2] or [Fang4, Lemma 16] we have, for each v∈B,
[TABLE]
For ϕ∈IN we have ϕ(v)=0 if and only if ϕ belongs to IN∩mv(HN⊗E0), so if and only if we can write
[TABLE]
with ψ1,…,ψn∈HN⊗E0. By definition, IN is Gleason solvable at v if and only if for each ϕ∈IN∩mv(HN⊗E0) we can take the ψα’s to belong to IN. Since EN is not necessarily invariant under Sα−vα1, there could at the same time be possible to choose ψα to not belong to IN. But we see that IN is Gleason solvable at v if and only if the inclusion
[TABLE]
is an equality.
We have dimIN(v)<rankI iff (3.7) is a proper inclusion.
Let us now look at the algebraic analogues of the above. We have a short exact sequence
[TABLE]
The vector space IN/(IN∩(mv⊗E0)) is isomorphic to IN(v):={ϕ(v)∣ϕ∈IN} so there is also a short exact sequence
[TABLE]
Thus EB is locally free at v iff dimIN(v) does not drop from its maximal value rankI.
Proposition 3.6**.**
Let EN be a graded quotient of HN⊗E0 with underlying graded A-module EN, and suppose that the Serre sheaf E of EN is locally free. Then the Cowen–Douglas sheaf ECD of EN is locally free on B∖{0} and isomorphic to the dual of the pullback EB∖{0} of E to B∖{0},
[TABLE]
Proof.
Since EB∖{0} is locally free, dimIN(v)=rankI for all v∈B∖{0}. The inclusion IN(v)⊂IN(v) is thus an equality for each v, so that ECD is locally free on B∖{0} as well. The
algebraic vector bundle ⋃v∈B∖{0}IN/mvIN is isomorphic to ⋃v∈B∖{0}IN(v). Since equality holds in (3.7) for each v∈B∖{0}, the vector bundle ⋃v∈B∖{0}IN(v) is analytically isomorphic to the holomorphic vector bundle ⋃v∈B∖{0}IN/mvIN via the maps induced by the evaluation homomorphisms ev:IN→E0.
∎
We shall later see that when ECD is locally free it is D×-equivariant (up to a factor of OCD), just as EB∖{0}. When ECD and EB∖{0} are isomorphic, this need not be by a D×-equivariant isomorphism however.
Remark 3.7** (Germ model).**
Another sheaf associated to a submodule IN is studied in [BMP1], namely the sheaf IBMP whose stalk at v∈B is given by
[TABLE]
The sheaf IBMP coincides with the “germ model” of IN in the sense of Cheng–Fang [ChFa1, §4]. The Cowen–Douglas sheaf EN⊗AOB is instead the restriction to B⊂V of the sheaf model of [ChFa1, §4],
[TABLE]
By definition IBMP is a subsheaf of OB⊗E0. It coinides with the image under the map (cf. [BMP1, Eq. (1.1)])
[TABLE]
As in [BMP1, Eq. (1.3)] this gives a surjection of analytic sheaves
[TABLE]
and surjections on fibers
[TABLE]
Thus, as soon as the dimensions of the fibers coincide the two sheaves will be analytically isomorphic. Since dimKer(SI∗−v1)≥dimIBMP(v)≥rankI, the sheaves ICD and IBMP are thus analytically isomorphic over B∖singC(IN).
Remark 3.8** (Spanning eigenvectors).**
For an arbitrary graded submodule IN we have mvIN⊂IN∩mv(HN⊗E0). This implies
[TABLE]
for all open subsets U⊂B. Indeed, for ϕ∈⋂v∈UmvIN we have ϕ(v)=0 for all v∈U and so ϕ is zero on all of B by the identity theorem of holomorphic functions [Kaup1, §0.6].
which says that the eigenvectors of SI∗ span the whole space IN. This does not imply that IN is coinvariant, since typically no eigenvectors of SI∗ are of the form kv⊗ξ for some (v,ξ)∈B×E0.
Remark 3.9** (Reducing subspaces and subbundles).**
Let S be the shift on HN⊗E0 and let SI and SE be its compression to IN and EN.
The equality
[TABLE]
can fail dramatically. For instance, if IN⊂M is the closure of an ideal in A defining an analytic subvariety E of V then for v∈E we have dimKer(S∗−v1)=1=Ker(SE∗−v1) while [BMP1, Cor. 2.12]
[TABLE]
This comes from the failure of IN to be Gleason solvable at v. We claim that Ker(SI∗−v1) is a subspace of Ker(S∗−v1) if and only if IN is reducing. To see this, define the matrix-valued kernels KI and KE by
[TABLE]
For all ξ in the subspace E(w)⊂E0 we have
[TABLE]
On the other hand,
[TABLE]
Therefore, while PI(kw⊗ξ) is in the kernel of SI∗−wˉ1 for all ξ∈E0, it is not necessarily in the kernel of S∗−wˉ1.
Indeed, (3.11) shows that Ker(SI∗−w1)⊂Ker(S∗−w1) only if [Sα∗,PI]=0 for all α∈{1,…,n}. The latter is to say that IN is a reducing subspace under S. So (3.10), which says that we have a holomorphic direct sum OCD⊗E0=ICD⊕ECD, holds if and only if IN is reducing.
3.3 Extension and boundary values
3.3.1 Abel convergence: ς versus ςB
Since HN has a reproducing vector kv at each v∈B we can associate in a standard fashion [Bere2] to each operator A∈B(HN) a function
[TABLE]
which we call the B-Berezin symbol of A. It can extended to a function on Bˉ×B which is holomorphic in the first variable and antiholomorphic in the second variable,
[TABLE]
but we will usually just consider the diagonal values. More generally, for A∈B(HN⊗E0) for some Hilbert space E0 we define
[TABLE]
where ∣kv⟩⟨kv∣ is the rank-1 projection onto the subspace Ckv. Thus ςB(A) is a B(E0)-valued function on B.
In [Kara4] the Berezin symbol for the unit disk was used to prove a theorem of Abel, namely that if a sequence (am)m∈N0 of complex numbers is convergent to a∈C then
[TABLE]
Here we shall use Abel’s theorem to show that the Berezin symbol map ς gives the boundary limits of the B-Berezin symbol map ςB when restricted to the algebra of grading-preserving Toeplitz operators with continuous symbol.
We shall use some facts from [An6], namely that C0(M) is the norm closure of a union of subspaces ς(m)(B(Hm)) where ς(m):B(Hm)→C0(M)⊂L2(M,ω) is the adjoint of the Toeplitz map ς˘(m):L∞(M)→B(Hm). The characteristic property of ς(m) is that it maps normally ordered products of shift operators directly to their classical limits,
[TABLE]
whenever ∣j∣=m=∣k∣. So if we express an operator A∈B(Hm) as a matrix (Aj,k)∣j∣=m=∣k∣ in the frame (pmek)∣k∣=m, which is to say that we write A=∑∣j∣=m=∣k∣Aj,kSjSk∗∣Hm, then
[TABLE]
We can extend ς(m)(A) to a U(1)-equivariant function on S, which takes the simple form
[TABLE]
We shall now compare ς(m)(A) with ςB(A). For all j,k∈Fn+(m) and v∈B we have
[TABLE]
where we write v=rζ with r∈(0,1) and ζ∈S. So for a finite-rank grading preserving operator A∈B(Hm)⊂B(HN) we get, using the formula (3.12), that
[TABLE]
In the following lemma we are not using the assumption that M is a coadjoint orbit.
Lemma 3.10**.**
Let A=(Am)m∈N0 be an operator in the Toeplitz core TH(0)⊂∏m∈N0B(Hm) and regard its symbol ς(A)∈C0(M) as a U(1)-equivariant function on S. Then
[TABLE]
In the special case of a Toeplitz operator A=ς˘(f) with f∈C0(M) we have
[TABLE]
Proof.
Let ζ∈S be given. Since the sequence (ς(m)(Am))m∈N0 converges in the norm of C0(M) to the function ς(A)∈C0(M), the sequence (ς(m)(Am)(ζ))m∈N0∈cb(N0) converges to the complex number ς(A)(ζ). By Abel’s theorem, we get
Using the expression (3.1) for FS(Hm) we can rewrite the formula (3.12) for the symbol ς(m)(A) of an operator A∈B(Hm) as
[TABLE]
Since the Toeplitz map ς˘(m) is the adjoint of ς(m) with respect to ω and ϕm, we obtain for each f∈C0(M) the formula
[TABLE]
which will be useful later in the paper.
Remark 3.11**.**
Let H be an reproducing kernel Hilbert space of functions on a set B, and suppose that B sits inside a topological space and has nonempty topological boundary S=∂B. Denote by kv the normalized reproducing kernel of H. Then H is standard if the sequence (kvm)m∈N converges weakly to zero for every sequence (vm)m∈N of points in B converging to a point in S. For the space H=HN we have
[TABLE]
so it is clear that lim∣v∣→1−⟨kv∣f⟩=0 for all f∈A. Since A is dense in HN we get lim∣v∣→1−⟨kv∣ψ⟩=0 for all ψ∈HN.
Thus the reproducing kernel Hilbert space HN is standard.
It follows that every compact operator C on HN has B-Berezin symbol vanishing on the boundary,
[TABLE]
For an operator A in TH we have A=ς˘(ς(A))+C with C∈Γ0, and hence
[TABLE]
since ς∘ς˘=id.
Therefore
[TABLE]
Recall that the unique G-invariant state ω on C0(M) coincides with the limit ω=limm→∞ϕm of the normalized traces ϕm:B(Hm)→C. Moreover, ω extends to the unique G-invariant state ωS on C0(S), which coincides with the normalized surface measure when S is regarded as the boundary of a domain B in Cn. Using these facts we have an L∞ version of Lemma 3.10:
Proposition 3.12**.**
Let A=(Am)m∈N0 be an operator in the L∞ Toeplitz core N⊂∏m∈N0B(Hm) and regard its symbol ς(A)∈L∞(M) as a U(1)-equivariant function on S. Then
[TABLE]
for ωS-almost all ζ∈S.
We saw in Proposition 2.14 that the SOT-asymptotic Toeplitz symbol map ςSOT also coincides with ς when restricted to N. So:
Corollary 3.13** (Asymptotic Toeplitz symbols versus boundary limits).**
The map
[TABLE]
coincides with ςSOT.
3.3.2 Extension of vector bundles
Denote by C×=GL(1,C) the multiplicative group of nonzero complex numbers and consider the semigroup D×:={λ∈C×∣0<∣λ∣<1}. As before we denote by U(1) the circle group (the unitary group of dimension 1), identified with the subgroup of C× consisting of complex numbers of modulus 1.
In this subsection we work with an arbitrary smooth projective variety M⊂CPn−1. Let π:Cn∖{0}→CPn−1 be the natural surjection associated with the C×-action on Cn∖{0}, and set
[TABLE]
where Bn⊂Cn is the unit ball and S2n−1=∂Bn is the unit sphere. The manifold M can be obtained by quoting out actions on the manifolds V∖{0}, B∖{0}, and S:
[TABLE]
If E is an OM-module then its inverse image under π, denoted by π−1E and defined on open subsets U⊂V by
[TABLE]
is a π−1OM-module. The sheaf π∗E defined on V∖{0} by
[TABLE]
is an OV∖{0}-module called the pullback (or analytic inverse image) of E under π.
The space of global holomorphic sections of the structure sheaf OV∖{0} is isomorphic to the coordinate ring A of M. The subsheaf
[TABLE]
has no nonconstant global holomorphic sections. Denoting by (OV∖{0})C× the C×-invariant part of the structure sheaf OV∖{0} we have
[TABLE]
So for any OM-module E we have
[TABLE]
This gives
[TABLE]
Definition 3.14**.**
An OV∖{0}-module EV∖{0} is C×-equivariant if C× acts on EV∖{0} compatibly with the OV∖{0}-module structure on EV∖{0} and the C×-action on OV∖{0}.
Since C× acts freely on V∖{0}, an OV∖{0}-module EV∖{0} is C×-equivariant if and only if EV∖{0} equals π∗E for some OM-module E [KKT1, Prop. 4.2].
Lemma 3.15**.**
A coherent analytic sheaf EB∖{0} on B∖{0} is U(1)-equivariant if and only if there exists a coherent analytic sheaf E on M such that
[TABLE]
In this case E is unique, and E is locally free iff EB∖{0} is locally free.
Proof.
We use that the complex Lie group C× is the complexification of the compact Lie group U(1). The manifold V∖{0} is the “complexification” C×⋅S of the U(1)-space S in the sense of [Hein1]. As a special case of [HaHe1], we obtain that EB∖{0} has a unique extension to a C×-equivariant coherent analytic sheaf EV∖{0} on V∖{0}. Since (V∖{0})/C×=M, we have EV∖{0}=π∗E for some coherent analytic sheaf E on M, as asserted. The uniqueness of E follows from the uniqueness of EV∖{0}. The result about locally free sheaves is also in [HaHe1].
∎
Every C0 vector bundle over B admits a unique holomorphic structure by the Oka principle. However, this holomorphic structure is not D×-equivariant in general, since otherwise every C0 vector bundle over M would admit a holomorphic structure (which is not true). The above lemma says that D×-equivariance of the holomorphic structure is the same as U(1)-equivariance.
Any U(1)-equivariant vector bundle EB on B∖{0} therefore also admits a Hermitian metric which is the pullback of a Hermitian metric on the induced bundle E on M. Note however that EB also admits Hermitian metrics which are not D×-equivariant (even if they are U(1)-equivariant).
The relevance of this discussion for the present paper is that the Cowen–Douglas sheaf ECD of a graded quotients EN of HN⊗CN is easily seen to be U(1)-equivariant and so by Lemma 3.15 it descends to coherent sheaves M. It comes with a Hermitian metric, the Cowen–Douglas metric, which is also U(1)-equivariant but not always D×-equivariant (i.e. not always a pullback of a metric on the induced bundle over M). For the reference space HN, even though CD(HN) is not D×-equivariant it defines a line bundle OCD which is isomorphic to the pullback of a line bundle on M, viz. OCD=OB∖{0}=π∗OM∣B∖{0}.
3.3.3 The reproducing kernel
Let KHn(z,w)=(1−⟨w,z⟩)−1 be the reproducing kernel for the Drury–Arveson space Hn2 and let K(z,w)=Kw(z) be the reproducing kernel for the quotient module HN. If P is the orthogonal projection of Hn2 onto the subspace HN then we get
[TABLE]
Recall that HN=span{Kw∣w∈B}⊂Hn2. So PKwHn=KwHn for w∈B.
For (z,w)∈B×B we therefore get
[TABLE]
Since we usually regard HN as a space of functions on the subset B⊂Bn, we see that the reproducing kernel for HN is just the restriction of the kernel for Hn2. The projected kernel PKwHn however makes sense for all w∈Bn as a function on all of Bn.
The orthogonal complement of HN is not invariant under the backward shifts S1∗,…,Sn∗, so it cannot be equal to span{Kv∣v∈Bn∖B}. Therefore PKw can be nonzero also for w∈Bn∖B, and PKw=Kw always happens for such w’s.
The Beurling factorization P=1−MΘMΘ∗ gives a formula for the extension of Kw from B to the whole unit ball Bn,
[TABLE]
Consider now the more general case of a vector-valued quotient module HNE of HN⊗CN. The Beurling representation of PE=1−MΘEMΘE∗ shows that the reproducing kernel KwE(z) for HNE has the form
[TABLE]
Using MΘE∗(kv⊗ξ)=kv⊗ΘE(v)∗ξ we see that the numerator is precisely the B-Berezin symbol of PE as defined in §3.3.1,
[TABLE]
The function ςB(PE)(v,w) has been studied for quotient modules of various reproducing kernel Hilbert spaces under the names “core function” and “defect function”. It was observed in [Arv7b, Cheng1, Fang5, GRS1] that the boundary value of the restriction of the core function to the diagonal exists as an element of L∞(S)⊗MN(C) and is idempotent. This boundary function is sometimes called the “Arveson curvature function” of the quotient module.
If PE is a projection over TH(0) then PE:=ς(PE) is a projection over C0(M) which thus defines a continuous vector bundle E on M. Applying Lemma 3.10 we see that
[TABLE]
defines a continuous projection-valued function on S which is U(1)-equivariant and descends to M=S/U(1) as the projection
[TABLE]
Note that ςB(PE) is always real-analytic. Only the continuity of its boundary value requires PE to be over TH(0). But ςB(PE) itself is not a projection in general.
Note also that ς(m)(PE,m) is a matrix over the image of B(Hm) under the symbol map ς(m), and therefore ς(m)(PE,m) is real-algebraic and in particular C0. This does not rely on PE having entries in TH(0).
Corollary 3.16**.**
Let EN be a graded quotient module and let PE be the projection onto EN. Then the boundary value of the diagonal of the core function (i.e. the Arveson curvature function) of EN coincides with the covariant symbol ς(PE)=SOT−limmς(m)(PE,m) of the projection PE.
Remark 3.17** (Arveson curvature).**
Let E be the Serre sheaf of the graded quotient module EN. Its rank is by definition the leading coefficient of the Hilbert polynomial N∋m→χ(E(m))=dimEm of the globally generated analytic sheaf E.
The projection ς(PE) defines a sheaf of CM0-modules with the same rank as E. Indeed one gets
[TABLE]
The integer rankE coincides with the “Arveson curvature” of the pure row contraction SE; see [Arv7a, Arv7b, GRS2].
3.4 The Cowen–Douglas projection
Let EN⊂HN⊗CN be a quotient module.
Definition 3.18**.**
The Cowen–Douglas projection of EN is the projection CD(EN)∈L∞(B∖{0})⊗B(EN) defined by
[TABLE]
The sheaf ECD is thus locally free over B∖{0} if and only if CD(EN) belongs to the subalgebra C0(B∖{0})⊗B(EN), in which case one could regard CD(EN) as a continuous (in fact real-analytic) map from B∖{0} into the Grassmannian of r-planes in EN, where r:=rankECD. Then ECD is the vector bundle obtained by pulling back the universal rank-r vector bundle over the Grassmannian using the map CD(EN), and the Hermitian metric on ECD is obtained by pulling back the universal metric on the universal bundle via CD(EN).
Recall that
[TABLE]
where ECD(v) is a rankECD-dimensional subspace of CN for each v∈B∖{0}. Therefore we have a factorization
[TABLE]
where ΠE(v)∈MN(C) is a projection onto the subspace ECD(v)⊂CN. The dimension of ECD(v) is ≥rankECD.
Denote by PE the projection of HN⊗E0 onto EN. Note that CD(EN) equals CD(HN⊗E0)∧PE, where for two projections P and Q acting on the same Hilbert space we denote by P∧Q
Similarly, for each m∈N0 we can define
[TABLE]
In this subsection we shall look at the geometric meaning of CD(Em) and CD(EN) and their relation to the symbols ς(m)(PE,m) and ςB(PE).
3.4.1 Some alternating projections
Recall [Halm1, Problem 122] that if P and Q are two projections acting on a Hilbert space then powers of the compression PQP converges to the infimum P∧Q of P and Q,
[TABLE]
This is useful for us because then we can compare the infimum P∧Q with the compression PQP. And for our choices of P and Q the compression PQP is going to equal CD(Hm)⊗ς(m)(PE,m):
Proposition 3.19**.**
Define a projection PmE∈L∞(M)⊗MN(C) by writing
[TABLE]
Then for each x∈M we have
[TABLE]
in the norm of MN(C).
Proof.
Fix x∈M and let A:=CD(Hm⊗CN)(x)PE,mCD(Hm⊗CN) be the compression of PE,m to the subspace Ckx(m)⊗CN. Note that Ckx(m)⊗CN has finite dimension N. With that in mind we get from [Deut1, Lemma 9.38] that the positive operators Ap converge in norm to CD(Hm⊗CN)(x)∧PE,m as p goes to inifnity. Observe that
[TABLE]
The proof is then complete, since by definition we have CD(Em)=CD(Hm⊗CN)∧PE,m.
∎
Remark 3.20** (Another compression).**
Instead of the compression CD(Hm⊗E0)(x)PE,mCD(Hm⊗E0)(x) we can instead look at PE,mCD(Hm⊗E0)(x)PE,m. The powers of this operator also converge to CD(Em)(x). For all rζ∈B we have
[TABLE]
Let us apply ω to elements of L∞(M)⊗B(HN⊗CN), producing elements of B(HN⊗CN). Then clearly
[TABLE]
We have ς˘(m)ς(m)=id so (ς˘(m)ς(m))(PE,m)=PE,m holds trivially. Therefore
[TABLE]
That is, the two choices of compressions have the same ω-integrals.
Lemma 3.21**.**
Let EN⊂HN⊗CN be a graded quotient module and suppose that the projection PE onto EN has entries in TH(0). Then CD(Em) is C0 for all m≫0. That is, limp→∞ς(m)(PE,m)p exists in C0(M) for all m≫0.
Proof.
Since ∥ς(m)(PE,m)∥≤∥PE,m∥=1, we can write ς(m)(PE,m)=PmE⊕CmE where CmE is a positive operator of norm ∥CmE∥≤1.
Moreover,
[TABLE]
i.e. we have uniform convergence of the PmE’s to ς(PE) iff PE is over TH(0). So assume that PE is over TH(0). Then for m≫0 we have ∥ς(PE)−PmE∥<1. This gives that ς(PE)(x) and PmE(x) are unitarily equivalent for all x∈M [Ols, Prop. 5.2.6]; thus the rank of PmE is constantly equal to rankE, which is to say that PmE is continuous. And CmE is C0 iff PmE is C0.
If CmE is C0 then we have limp→∞(CmE)p=0 uniformly by Dini’s theorem.
∎
3.4.2 The boundary limit of ΠE
We shall now investigate how far ς(m)(PE,m) is from a projection in the case PE is Ψ-superharmonic.
Define a projection ΠE∈L∞(B∖{0})⊗MN(C) by writing
[TABLE]
In the same way as Proposition 3.19 one deduces that for each v∈B we have
[TABLE]
Proposition 3.22**.**
For almost every ζ∈S we have
[TABLE]
The function limr→1−ΠE(rζ) descends to a projection over L∞(M) which concides with ς(PE). If PE is over TH(0) then limr→1−ΠE(r⋅) coincides with ς(PE) as a projection over C0(M).
Proof.
Since limr→1−ςB(PE)(rζ) is a projection ς(PE)([ζ]) for almost every ζ∈S we have from (3.19) that
[TABLE]
Similarly, since PmE is the limit of the powers of ς(m)(PE,m) we have that limm→∞PmE exist and equals limm→∞ς(m)(PE,m)=ς(PE) as element of L∞(M)⊗MN(C).
∎
Consider the vector space
[TABLE]
also characterized by
[TABLE]
i.e. Em(v)=RanPmE([v]). The grading on EN gives kv(m)⊗E(v)⊂Em so we have
[TABLE]
We have equality E(v)=Em(v) iff the dimensions are equal. So when PmE is continuous then so is ΠE, and they coincide.
Note that k0(m)⊗ξ=pm(1⊗ξ)=0 for all m=0 and all ξ∈E0, so Em(0)=E0 holds for all m. We typically only consider PmE for v=0 however.
Theorem 3.23**.**
Suppose that PE:=ς(PE) is C0. Then PE is real-analytic and ECD is locally free on B∖{0}. In fact, for large enough m we have
[TABLE]
and ΠE is the pullback of PE to B∖{0},
[TABLE]
Proof.
The coinvariance property ιm,l(PE,m)≥PE,l gives that
[TABLE]
for some CmE∈L∞(M)⊗B(E0) with ∥CmE∥≤1 and PECmE=0=CmEPE (here we use that ∥ς(m)(X)∥≤∥X∥ for all X). By assumption we have norm-convergence limm→∞CmE=0 so ∥CmE∥ is strictly less that 1 for m large. So for m≫0,
[TABLE]
and thus PmE is C0.
As remarked before the lemma, when PmE is continuous we have PmE=ΠE. So ΠE is C0 and for v=0 the projection ΠE(v) depends only on the coset [v]∈M=(B×{0})/D×. Since limr→1−ΠE(rζ)=PE([ζ]), we obtain ΠE(rζ)=PE([ζ]) for all ζ.
Since ΠE is automatically real-analytic when C0 we see that the same is true for PE.
∎
Corollary 3.24**.**
If ς(PE) is C0 then we have a factorization of Hermitian vector bundles
[TABLE]
where EB∖{0} is the Hermitian vector bundle over B∖{0} defined by the pullback of ς(PE) to B∖{0}.
In this corollary, the holomorphic structure on ECD gives a holomorphic structure on EB∖{0}.
And since ςB(PE) is U(1)-equivariant, so is ΠE=limp→∞ςB(PE)p and hence the holomorphic structure on EB∖{0} is U(1)-equivariant. By Lemma 3.15 this means that there is a unique holomorphic structure on the smooth vector bundle E defined by ς(PE) which pulls back to that of EB∖{0}.
Remark 3.25** (Characteristic function isometric a.e. on S).**
Recall the Beurling factorization PE=1−ΘE∗ΘE where ΘE is the characteristic function of the pure finite-rank row contraction SE. It is shown in [GRS2, Thm. 4.3] and [BhSa1, Thm. 6.1] that ΘE becomes a partial isometry a.e. at the boundary S. Thus Proposition 3.22 is not surprising. Indeed, every element of the tensor algebra AH has a continuous extension to S and so it is easy to see that if PE has entries in TH=spanAHAH∗ (i.e. when ς(PE) is continuous) then ΘE(rζ) becomes a partial isometry as r→1− for every point ζ on S.
Note that Ranς(m)(PE,m) is not equal to PmE, and limm→∞Ranς(m)(PE,m) need not equal ς(PE). Similarly, the boundary limit of RanςB(PE) need not equal ς(PE).
We shall see in later sections that even if ς(PE) is continuous and even if we assume ECD to be locally free on B∖{0}, the vector bundle over M defined by ς(PE) need not be C0-isomorphic to ECD when pulled back to B∖{0}.
3.4.3 Geometric interpretation of Em
Let E be a holomorphic vector bundle over M.
Let m be large enough so that E(m) is globally generated and let Em be H0(M;E(m)) endowed with some inner product. In §3.1.1 we defined a projection FS(Em) in C0(M)⊗B(Em) geometrically. Let us now give a more algebraic definition.
Since Em is a Hilbert space we have a standard C0(M)-valued inner product on the C0(M)-module C0(M)⊗Em, defined on simple tensors by
[TABLE]
Equivalently, this means that
[TABLE]
Definition 3.26**.**
Define FS(Em) to be the projection acting on C0(M)⊗Em whose range is isomorphic as C0(M)-module to Γ0(M;E(m)) and the subspace FS(Em)(1⊗Em)⊂Γ0(M;E(m)) identifies with H0(M;E(m)).
This uniquely determines FS(Em). Indeed, we obtain
[TABLE]
Therefore, if (ψj)j∈J is any Parseval frame for the Hilbert space Em then we can expand FS(Em)(x) as
[TABLE]
By (3.20) this is equivalent to saying that any Parseval frame (ψj)j∈J for Em is a Parseval C∗-frame for FS(Em). This property thus characterizes FS(Em). Note that FS(Em) exists precisely when E(m) is globally generated (as we assume here) because that is when there exists a holomorphic C∗-frame for Γ0(M;E(m)).
Proposition 3.27**.**
Let E be aglobally generated holomorphic vector bundle over M, let E0 be an inner product on H0(M;E) and let FS(E0) be the projection over C0(M) with image Γ0(M;E) and with a Parseval C∗-frame given by an orthonormal basis for E0. Assume that m is large enough so that E(m) is Castelnuovo–Mumford regular (see (3.4)). Let Em be H0(M;E(m)) endowed with the inner product of Hm⊗E0. Then FS(Hm)⊗FS(E0)∈C0(M)⊗B(Hm⊗E0) can be regarded as an element of C0(M)⊗B(Em) and it has a Parseval C∗-frame given by an orthonormal basis for Em, i.e.
[TABLE]
Proof.
We can dispense with the tensor products in the C0(M)-factor of FS(Hm)⊗FS(E0), and since ψZk is a holomorphic section of E(m) for all k∈Fn+(m) and ψ∈E0 we obtain that FS(Hm)⊗FS(E0) is in C0(M)⊗B(Em) and has a Parseval C∗-frame ψ obtain by applying the multiplication map to the tensor product of the Parseval C∗-frames for FS(E0) and FS(Hm). Since E(m) is assumed to be Castelnuovo–Mumford regular we have that Em is the image of the multiplication map Hm⊗E0→Em. If PE,m is the projection of Hm⊗E0 onto Em then ψ is the image under PE,m of the Parseval C∗-frame for FS(Hm)⊗FS(E0), which is a Parseval frame for Hm⊗E0. Hence ψ is a Parseval frame for Em.
Hence FS(Hm)⊗FS(E0) has a Parseval C∗-frame given by a Parseval frame for Em (and this gives a natural representation of FS(Hm)⊗FS(E0) as a matrix over C0(M) of size Nnm). Therefore any Parseval frame for Em gives a Parseval C∗-frame FS(Hm)⊗FS(E0), i.e. FS(Hm)⊗FS(E0) coincides with FS(Em).
∎
The following gives the geometric meaning of the Fock inner product Em on H0(M;E(m)):
Corollary 3.28**.**
Let E be a holomorphic vector bundle over M and let EN be the completion of ⨁m∈N0H0(M;E(m)) when represented as a quotient of A⊗CN for some N.
Then for l≥m≫0 we have
[TABLE]
3.5 Nullstellensatz
Definition 3.29**.**
Let E be a coherent analytic sheaf over M. The affine linear space of E is the holomorphic linear space E of the Serre sheaf EV of the A-module EN:=⨁m∈N0H0(M;E(m)). Typically we consider only the restriction of E to B⊂V and call this also the affine linear space of E.
Recall that E and EB determine each other up to natural isomorphisms (see [Fisc1]). Since every coherent analytic sheaf over B is globally generated, E always appears as a holomorphic linear subspace
[TABLE]
for some integer N. If E is generated by holomophic sections globally over M then the embedding E⊂B×CN is D×-equivariant outside 0∈B and hence descends to an embedding E⊂M×CN where E now denotes the holomorphic linear space of E.
Lemma 3.30**.**
Let E be a coherent analytic sheaf over M and let E⊂B×CN be its affine linear space.
Consider the submodule
[TABLE]
and the quotient Hilbert module
[TABLE]
Suppose that E is locally free and moreover that the Cowen–Douglas sheaf ECD of E is locally free on B∖{0}. Then the following are equivalent:
(a)
J(E)* is a graded submodule.*
2. (b)
E* is a graded quotient Hilbert module.*
3. (c)
E∩(Hm⊗E0)=span{kv(m)⊗ξ∣(v,ξ)∈E}* for all m∈N0.*
4. (d)
E* is globally generated (so we can take the embedding E⊂B×CN to be D×-equivariant).*
We thus see that E can be graded even if EN:=⨁mH0(M;E(m)) does not fit into a short exact sequence 0→IN→A⊗CN→EN→0 of graded A-modules (as the latter is slightly stronger than (d)).
Proof.
Let f∈A⊗CN and (v,ξ)∈B×CN. Observe that
[TABLE]
So we can describe J(E) as
[TABLE]
In other words,
[TABLE]
Hence (a) is equivalent to (b).
The quotient module E is graded if and only if
[TABLE]
Since (pm⊗1E0)(kv⊗ξ) is a scalar multiple of kv(m)⊗ξ we can write this as
[TABLE]
Clearly span{kv(m)⊗ξ∣(v,ξ)∈E,m∈N0}=E. Therefore (3.22) and (c) are equivalent.
Suppose that E(v)=E([v]). Then the Cowen–Douglas projection CD(E)=CD(HN)⊗ΠE satisfies ΠE(v)=ΠE([v]). So ΠE is the pullback of its boundary limit ς(PE) and PE must be over N, i.e. the projection PE onto E must preserve the grading. This gives the lemma.
∎
Theorem 3.31** (Nullstellensatz).**
*Let E be a coherent analytic sheaf over M=(B∖{0})/D× and let E⊂B×CN be its affine linear space
Let
*
[TABLE]
and for any subset J⊂A⊗CN define
[TABLE]
Let IN be the kernel of the surjection of A⊗CN onto EN:=⨁mH0(M;E(m)).
Finally let [EN] be the closure of in the Fock inner product of HN⊗CN, define
[TABLE]
and let ECD be the Cowen–Douglas sheaf of E.
Then for m≫0 we have
[TABLE]
*and the following are equivalent: *
(a)
EB≅ECD* *
2. (b)
V(J(E))=E**
If E is globally generated then J(E)=JN(E) is a graded submodule and E=EN is a graded quotient module.
Finally, suppose that the A-module maps in the short exact sequence 0→IN→A⊗CN→EN→0 preserve the grading, and that E is locally free. Then (a) and (b) hold, and we have an identification
[TABLE]
of graded A-modules.
Proof.
We first show that the C-linear span of the kx(m)⊗ξ’s with (x,ξ)∈E is precisely the vector space Em for m≫0. That would give [EN]=E (up to finite-dimensional vector spaces). Clearly kx(m)⊗ξ for (x,ξ)∈E is mapped to Em under the multiplication map Am⊗CN→Em. In the proof of Lemma 3.30 we saw that E∩(Hm⊗E0) equals span{kv(m)⊗ξ∣(v,ξ)∈E} for m≫0. So for m≫0 the map Am⊗CN→Em is surjective and we have indeed Em=Em.
We have
[TABLE]
and E⊂ECD. Note that the fiber of ECD is given by kv⊗ECD. So the two conditions V(J(E))=E and EB≅ECD are equivalent.
That (a) holds when E is locally free follows from Proposition 3.6. The last statements follow from Lemma 3.30.
∎
Remark 3.32** (Grading and D×-equivariance).**
In general it is not clear if ECD is D×-equivariant iff E is. If the inclusion E⊂ECD is proper then E(v)=E([v]) need not imply ΠE(v)=ΠE([v]). That is, ΠE might fail to be D×-equivariant and hence not equal the pullback of ς(PE).
The linear space E is by definition locally over an open subset U⊂B the kernel of an M-tuple of holomorphic functions for some integer M≥1. But the Nullstellensatz above shows that if we take M=+∞ then in this algebraic setting we can describe ECD globally as a zero-set when E is locally free:
Corollary 3.33**.**
Suppose that ECD=OCD⊗EB∖{0} where EB∖{0} is the pullback of a holomorphic vector bundle E over M and let ΘE:B×ℓ2(N0)→B×CN be any multiplier with KerMΘE∗=span{kv⊗ξ∣(v,ξ)∈E}. Then
[TABLE]
4 The Toeplitz part of a superharmonic projection
4.1 Lifts of projections
We are now going to investigate the possibility of quantizing smooth Hermitian vector bundles over M=G/K. From the results of [Hawk1] and [Wang1, Wang2] we expect that a Hermitian metric on a vector bundle can be quantized in a stronger sense if the vector bundle is G-equivariant or satisfies some kind of stability condition.
Recall the Toeplitz short exact sequence
[TABLE]
where TH(0) is the C∗-algebra of Toeplitz operators with symbol in C0(M) acting on the Fock space HN and
Γ0 is the ideal in TH(0) consisting of compact operators which preserve the grading on HN. By the Swan theorem, a C0 vector bundle E over M is the same datum as an idempotent PE over C0(M), which if taken selfadjoint also defines a Hermitian metric on E. The symbol map ς was discussed extensively in the last two sections. The Toeplitz map ς˘:C0(M)→TH(0) gives a positive linear splitting of (4.1). Following ideas of noncommutative geometry, and in particular [Hawk1, Hawk2], a quantization of PE is a projection PE over TH(0) which is equal to ς˘(PE) modulo Γ0, i.e. such that
[TABLE]
As we have seen, there is a special class of projections over TH(0) whose ranges are quotient modules, namely the Ψ-superharmonic projections with symbol in C0(M). A natural question is thus whether our given PE admits a Ψ-superharmonic quantization. We shall see that the answer is “no” in general. Yet for any PE there is a natural candidate to a Ψ-superharmonic quantization. Indeed, if PE belongs to C0(M)⊗MN(C) then the Toeplitz operator ς˘(PE) acts on HN⊗CN and the range projection of ς˘(PE) is Ψ-superharmonic since ς˘(PE) is Ψ-superharmonic (indeed Ψ-harmonic). If we let Ranς˘(PE) denote the range projection of ς˘(PE), we would thus like to know if Ranς˘(PE) is a quantization of PE. As mentioned, in general Ranς˘(PE) is not a quantization of PE.
Let us look at the basic operator aspects of this lifting problem. Since ς(ς˘(PE))=PE, we know that ς˘(PE) is a projection modulo Γ0 or, what is the same since ς˘(PE) preserves the grading on HN⊗CN, we know that ς˘(PE) is a projection modulo compact operators. By Brown–Douglas–Fillmore theory [Davi2, §IX], every projection modulo compacts is of the form normal plus compact. But recall that even more is true: every projection modulo compacts is projection plus compact (this is a particular case of [Olse1]; see a quick proof in [Weav1, Prop. 3.1]). So there is a projection QE acting on HN⊗CN such that
[TABLE]
with CE compact. Since TH(0)=ς˘(C0(M))+Γ0, we see that QE belongs to TH(0). So there always exists a lift of PE to a projection over TH(0) of the same matrix size, as can also be shown by operator-algebraic reasoning applied to the sequence (4.1).
However, a projection modulo compacts is rarely equal to its range projection modulo compacts. For a simple example, let K be a compact operator. Then K is equal to zero modulo compacts (hence K is a projection modulo compacts) but the range projection PK of K need not be of finite rank (it is not unless K is of finite rank, by definition) so PK is not zero modulo compact in general (a projection is compact iff it has finite rank).
Thus, for the range projection of ς˘(PE), in general we have
[TABLE]
Still, since ς˘(PE) has entries in TH(0)⊂N we know that Ranς˘(PE) has entries in N, because N is a von Neumann algebra. In fact:
Proposition 4.1**.**
Let PE be a projection over C0(M). Then Ranς˘(PE) has entries in TH(0)⊂N.
Proof.
As observed in [DRS1, Thm. 10.4], the proof of [Arv6c, Lemma 1.13]generalizes so as to show that the C∗-algebra TH is the C∗-envelope of the operator system generated by S. This gives that TH is an injective C∗-algebra, hence an AW∗-algebra, hence every element of TH has its range projection belonging to TH (see [SaWr1, Lemma 2.1.5]).
∎
Thus the range projection of ς˘(PE) is a coinvariant projection over TH(0), hence with symbol in C0(M), but in order to obtain Ranς˘(PE) from ς˘(PE) one may have to do more than just adding compacts.
Given a coinvariant projection PE, there is a unique projection PE over L∞(M) such that the Toeplitz operator ς˘(PE) is the Ψ-harmonic part of PE.
Indeed, it is given by PE=ς(PE). Let us now discuss uniqueness of a coinvariant lift:
Proposition 4.2** (Uniqueness of superharmonic lift).**
Suppose that PE is a projection over C0(M) with a coinvariant lift PE. Then Ranς˘(PE) is also a coinvariant lift of PE. In fact, PE equals Ranς˘(PE) up to finite-rank operators.
Proof.
The assumption ς(PE)=PE gives PE=ς˘(PE)+CE with a pure Ψ-superharmonic operator CE. Moreover, CE is compact since PE is over TH(0).
We have ς˘(PE)=limq→∞Ψq(PE)≤Ψp(PE)≤PE for all p∈N, so ς˘(PE) preserves the range of PE, as does the pure superharmonic part CE of PE. Since ς˘(PE) equals PE modulo compacts, this gives that ς˘(PE) restricts to a Fredholm operator on the range HNE of PE. Thus ς˘(PE) is invertible modulo finite-rank operators as an operator on HNE, so that ς˘(m)(PE) is invertible as operator on HmE for large enough m. Thus, up to finite-rank operators, PE equals the range projection of ς˘(m)(PE).
∎
The proof of Proposition 4.2 breaks down if CE is not compact.
Question 4.3**.**
Can we drop the continuity assumption in Proposition 4.2? That is, if PE is a projection over L∞(M) with a coinvariant lift PE, is then Ranς˘(PE) also a coinvariant lift of PE?
Remark 4.4** (Continuous symbol).**
As for the uniqueness of Ranς˘(PE) up to finite-rank operators as coinvariant lift of PE, we shall see that the continuity of PE is a necessary assumption. Here it is very important to distinguish between PE being continuous and PE having entries in the embedded subalgebra C0(M)⊂L∞(M), since an element of the latter is just the almost everywhere equivalence class of a continuous functions. The map ς:N→L∞(M) can take values in C0(M) even on elements that do not belong to TH(0). Indeed, its values on ς˘(C0(M))+Γω are in C0(M). Therefore we can have a lift
[TABLE]
and coinvariance of PE just says that PE=ς˘(PE)+CE where CE is merely pure Ψ-superharmonic. So the Ψ-superharmonic lift would not be unique.
4.1.1 Nonexisting lifts
If PE is a projection over C∞(M) defining a smooth vector bundle E which is not holomorphic, what is the geometric meaning of the graded quotient module Ranς˘(PE)? What is the coherent OM-module ECD and how is it related to the Serre sheaf of the graded A-module underlying Ranς˘(PE)? Note that ECD cannot be the pullback of E even as smooth vector bundle because then ECD would have to be locally free, contradicting the assumption that E does not admit a holomorphic structure. Indeed, if E is a coherent CM∞-module of the form E=Eo⊗OMCM∞ with Eo a coherent OM-module then E is locally free if and only if Eo is locally free. To see this, note that we can define a ∂ˉ-operator on E by setting ∂ˉE:=1⊗∂ˉ on Eo⊗OMCM∞ with ∂ˉ the operator on C∞(M) defined by the complex-analytic structure on M. Then ∂ˉE is integrable, i.e. a holomorphic structure, since ∂ˉ is. The kernel of ∂ˉE, which is precisely Eo, is locally free by the Koszul–Malgrange theorem [KoMa1].
Let PE be a projection over C∞(M) and suppose that the vector bundle defined by PE does not admit a holomorphic structure. Then
[TABLE]
and the vector bundles defined by ς(Ranς˘(PE)) and PE are not topologically isomorphic.
4.1.2 dimRanς˘(m)(PE) versus χ(E(m))
The projection onto any quotient module EN is of the form PE=ς˘(PE)+CE where PE is a projection over L∞(M) and ς˘(PE)≤PE. If we assume that CE is compact then the restriction of ς˘(PE) to EN is invertible modulo compact, which is the same as being invertible modulo finite-rank operators. So when CE is compact
we have for m≫0 that
[TABLE]
where E is the Serre sheaf of the graded A-module underlying EN. So PE has a lift with “correct dimensions”. But this PE was special since it was the symbol of a superharmonic projection. In general we can ask:
Question 4.6**.**
Let E be a smooth vector bundle over M and let PE be a smooth Hermitian metric on E. Does it follow in this generality that dimRanς˘(m)(PE) equals χ(E(m)) for m≫0?
We have a result in this direction:
Proposition 4.7**.**
Let E be a holomorphic vector bundle over M and suppose that PE is a real-analytic Hermitian metric on E with a Parseval C∗-frame given by a basis for H0(M;E). Then dimRanς˘(m)(PE)=χ(E(m)) for m≫0.
Proof.
For each m≥0 we have that FS(Hm)⊗PE has a Parseval C∗-frame given by a basis for H0(M;E(m)).
Since ς˘(m)(PE)=nm(ω⊗id)(FS(Hm)⊗PE) (see (3.15)), this gives the result.
∎
We saw in the last section (Theorem 3.31) that we can associate a (graded) quotient module EN to every (globally generated) holomorphic vector bundle E over M with dimEm=χ(E(m)) for m≫0. However, the symbol ς(PE) of this quotient module EN need not be continuous.
Also, in the setting of Proposition 4.7 in general the projection PE:=Ranς˘(PE) has symbol
[TABLE]
and therefore the metric PE is of “less value” for quantization purposes.
4.2 Into Hardy space
Let PE be a Ψ-superharmonic projection acting on HN⊗CN. As before we write PE uniquely as
[TABLE]
with PE a projection over L∞(M) and SOT−limm→∞Ψm(CE)=0. If we let T=(T1,…,Tn) be the Kraus operators of Ψ, i.e. we have Ψ(X)=∑α=1nTα∗XTα for all X∈B(HN⊗CN), then T has the same invariant and coinvariant subspaces as the shift S. Therefore, if HNE is the range of PE then the restriction
[TABLE]
preserves EN. From Ψ(PE)≤PE we get
[TABLE]
where PE is now playing the role of identity operator on HNE. That is, TE is a spherical contraction on HNE. The limit
[TABLE]
therefore exists, and indeed we see that
[TABLE]
Note that ATE and ς˘(PE) are practically the same since ς˘(PE) acts by zero outside HNE. If we assume that CE is compact then HNE coincides with Ranς˘(PE) up to finite-dimensional subspaces, and ATE is a Fredholm operator in the sense that it is a positive operator with finite-dimensional kernel and cokernel.
The “asymptotic limit” ATE of a contraction TE has been widely studied in the case (n=1) of a single operator [Gehe1, Gehe2, Kerc10, Kubr1] but occasionally also for tuples [Pop7]. Using ATE one changes the inner product on the Hilbert space to make TE an isometry, provided that ATE is invertible.
Here we shall use ATE for this purpose and moreover find the geometric meaning of the new inner product.
It turns out that, if PE defines a vector bundle, the rather nonstandard quantization H∙E transforms via ATE to the more familiar quantization taking place on the Hardy space of PE.
4.2.1 Subnormality with algebraic relations
Recall that S⊂S2n−1 is the principal U(1)-bundle over M⊂CPn−1 associated with the hyperplane bundle restricted to M. Let IM be the ideal in C[z1,…,zn] which defines H∙. In other words, IM is the ideal such that the homogeneous coordinate ring of M is given by A=C[z1,…,zn]/IM.
Definition 4.8**.**
An n-tuple T=(T1,…,Tn) of commuting operators on a Hilbert space is H∙-subnormal if T is jointly subnormal with minimal normal extension M=(M1,…,Mn) satisfying the relations of the ideal IM in the sense that
[TABLE]
In this case, T is called an S-isometry if
[TABLE]
By Athavale’s theorem [Atha3, Prop. 2], an S2n−1-isometry is the same as a commutative spherical isometry, i.e. an operator tuple T of commuting operators with ∑α=1nTα∗Tα=1. So every S-isometry is a spherical isometry.
The following was inspired by [Feld1, Thm. 2.1] and [Pop7, §2]:
Lemma 4.9**.**
Let T=(T1,…,Tn) be a tuple of commuting operators on a Hilbert space H. Then T is an S-isometry if and only if there exists a unital completely positive map
[TABLE]
with ϱ(Zα)=Tα and
[TABLE]
Proof.
Suppose that such a map ϱ exists. As for any unital completely positive map, we have a Stinespring representation πϱ:C0(S)→B(Hϱ) of ϱ, i.e. a ∗-homomorphism such that
[TABLE]
with an isometry Vϱ:H→Hϱ into some Hilbert space Hϱ.
Since πϱ is a ∗-algebra homomorphism, the tuple M=(M1,…,Mn) defined by
[TABLE]
consists of normal operators on Hϱ satisfying the relations of the ideal in C[z1,…,zn] which defines H∙. Since πϱ is a ∗-algebra homomorphism we also have σ(M)⊂S. If we can show that the subspace Vϱ(H)⊂Hϱ is invariant under M1,…,Mn then the tuple T will be an S-isometry. For that we use the assumption (4.2). For each α∈{1,…,n} it says
[TABLE]
and if we denote by P the orthogonal projection of Hϱ onto Vϱ(H) then writing
[TABLE]
we conclude that
[TABLE]
so that (1−P)Mα∣Vϱ(H)=0, i.e. Vϱ(H) is invariant under Mα, as desired.
To prove the converse, note that C0(S) is generated by a commuting tuple Z=(Z1,…,Zn) of normal operators satisfying ∑α=1nZα∗Zα=1 (sphere condition) and the relations of H∙ but no other relation. Therefore, if we suppose that T is an S-isometry on H, with minimal normal extension M thus satisfying the relations of H∙ and having spectrum in S, then there is a ∗-representation π of C0(S) with π(Zα)=Mα. We let V be the isometric embedding of H into the Hilbert space on which M acts, and we define ϱ(f):=VM∗π(f)VM for all f∈C0(S). Then, since H is invariant under each Mα, we have the property (4.2).
∎
4.2.2 Similarity to a spherical isometry
In [An6] we showed that C0(S) can be identified with the “Cuntz–Pimsner algebra” of the subproduct system H∙, namely the C∗-algebra OH defined as the quotient of the Toeplitz algebra TH=C∗(S1,…,Sn) by the ideal of compact operators. This fact can be useful as one can often adopt known constructions involving the Cuntz algebra On to a more general Cuntz–Pimsner algebra. Here is an example:
Corollary 4.10**.**
Let HNE be a graded quotient module such that the positive operator ATE is invertible. Define a commutative operator n-tuple VE by
[TABLE]
Then VE is an S-isometry.
Proof.
The tuple VE satisfies the same relations as does TE, since they are similar. We have
[TABLE]
Since ΨE(ATE):=∑α=1TE,α∗ATETE,α=ATE, it is clear that VE is a spherical isometry. We need to show that the minimal normal extension of VE also satisfies the relations of H∙. But we can construct as in [Pop7, Thm. 2.3] a unital completely positive linear map ϱE:OH→B(HNE) with
[TABLE]
By Lemma 4.9 this is precisely the statement that VE is an S-isometry.
∎
Of course, after observing that VE is a spherical isometry an application of Athavale’s theorem immediately gives that VE is subnormal.
What is important is however that we obtain a unital completely positive linear map ϱE:OH→B(HNE) whose Stinespring dilation gives a ∗-representation πE of C0(S)=OH on a Hilbert space containing HNE as a subspace invariant under πE(Z1),…,πE(Zn). We shall see next that VE is unitarily equivalent to the multiplication tuple on the Hardy space associated to ς(PE) and ω, and that the normal dilation is the multiplication tuple on ambient L2-space.
Remark 4.11**.**
The commutative spherical isometry VE given as above by VE,α:=ATE1/2TE,αATE−1/2 is not the spherical isometry WE appearing in the polar decomposition TE=WE∣TE∣ of the column operator TE:HNE→(HNE)⊕n. It is the distinction ∣TE∣2=ΨE(1) versus ATE=limmΨEm(1). We shall need to use VE because ATE is a Toeplitz operator (i.e. ΨE(ATE)=ATE) while ∣TE∣2 is not. Moreover, ATE is invertible (modulo finite-rank operators) under the natural assumption that ς(PE) is C0, while ∣TE∣2 might not be so.
If E is a Hilbert space and A is a positive invertible operator on E, we denote by A−1/2E the vector space E endowed with the inner product
[TABLE]
We can then view A1/2 as a unitary operator from E to A−1/2E,
When HNE is a graded quotient module such that ATE is invertible, we write
[TABLE]
and dentote by AE1/2:HNE→KNE the associated unitary operator. The tuple VE will sometimes be identified with AE1/2TEAE−1/2 acting on KNE.
4.2.3 Identification of KNE
In the following we denote by FS(H1)⊗(−m) the transpose of FS(H1)⊗m for each m∈N. Thus
FS(H1)⊗(−m) is a projection over C∞(M) which defines the line bundle OM(−m). If PE is a projection over C∞(M) defining a smooth vector bundle E then the vector space Γ∞(S;ES,PE) of global sections of the pullback of E to S splits as C∞(S)-module into
[TABLE]
Theorem 4.12**.**
Let PE be a projection over C0(M) defining a smooth vector bundle E and assume that ς(Ranς˘(PE))=PE. Then the limit operator ATE of the spherical contraction TE on the quotient module HNE:=Ranς˘(PE) can be used to map HNE into a subspace of the L2-space of PE and ω,
[TABLE]
and there is a holomorphic structure on E such that KNE identifies with the Hardy space of PE and ω (up to a finite-dimensional subspace),
[TABLE]
So KNE is invariant under action of the generators Z1,…,Zn∈C0(S) acting in the multiplication representation on L2(S,ω;E,PE) and the restriction of Z=(Z1,…,Zn) to KNE identifies with the S-isometry VE:=AE1/2TEAE−1/2.
Proof.
By assumption PE is an element of C0(M)⊗B(E0) for some finite-dimensional Hilbert space E0. We may identify E0 as a vector subspace of Γ0(M;E) via ψ(x)=PE(x)ψ for ψ∈E0. Then PE has a Parseval C∗-frame consisting of an orthonormal basis for E0, symbolically PE=FS(E0), but note that so far we have not shown that E0 consists of holomorphic sections of E for any holomorphic structure on E (we did not assume that E admits a holomorphic structure). The projection FS(Hm)⊗PE has a Parseval C∗-frame ψ=(ψj(m))j∈J given by elements of Hm⊗E0, and we denote by Em the C-linear span in Hm⊗E0 of that C∗-frame ψ. The tensor product of the Parseval C∗-frames for FS(Hm) and PE is a Parseval frame for Hm⊗E0. Thus, if PE,m is the projection of Hm⊗E0 onto Em then ψ is the image under PE,m of a Parseval frame for Hm⊗E0. Hence ψ is a Parseval frame for Em [HaLa1, Example A]. So we have
[TABLE]
Since FS(Em)(x) belongs to B(Em)⊂B(HN⊗E0) for each x∈M we have that
[TABLE]
is naturally an operator on Em. Moreover, ω(FS(Em)) is invertible on Em since the elements of ψ span Em by definition. Thus HmE:=Ranς˘(m)(PE)=Em for all m.
The multiplication map HN⊗E0→EN makes EN a graded quotient module, and this is the same as the action of A on HNE coming from compression of the shift on HN⊗E0.
Let E~N denote the graded vector space underlying EN but endowed with the inner product of L2(S,ω;PE)=⨁k∈ZL2(ω;FS(H1)⊗k⊗PE). The actions of the generators Z1,…,Zn of C0(S) are the same on E~N⊂L2(S,ω;PE) as on EN, given just by multiplication on sections of E over S (the adjoints of the Zα’s act differently on E~N compared to EN however).
Therefore E~N is an A-invariant subspace of L2(S,ω;PE) and the multiplication tuple on L2(S,ω;PE) is a normal extension of the shift tuple on E~N. From the fact that Em generates Γ0(M;E(m)) a C0(M)-module for each m we obtain moreover that the normal extension is the minimal one.
The operator cE,m−1ς˘(m)(PE)∈B(Em) is the Gram matrix of ψ as frame for E~m. This means that if we use the analysis operator of the frame ψ to identify Em and E~m as vector spaces, the operator cE,m−1ς˘(m)(PE) is the frame operator of ψ as frame for E~m (see [Bala1, Example 3.1.1]). Therefore cE,m−1ς˘(m)(PE)−1/2ψ will be a Parseval frame for E~m. We know that ψ is a Parseval frame for Em. So the inner product on E~m is obtained from that of Em by applying ς˘(m)(PE)−1/2. This gives E~m=KmE.
The assumption that PE is continuous and ς(Ranς˘(PE))=PE implies that ATE is Fredholm. So the Hilbert space KNE is well-defined up to finite-dimensional subspaces.
From Theorem 3.23 we have that HNE endows E with a canonical holomorphic structure. The Cowen–Douglas projection CD(EN)=CD(HN)⊗PE identifies HNE with a space of holomorphic sections of the Cowen–Douglas bundle. Since KNE is the same vector space as HNE, the elements of KNE are also holomorphic sections.
The proof is thus complete.
∎
4.3 Hidden Szegö expansion
When PE is a projection over C∞(M) we discussed the condition that Ranς˘(PE) is a lift of PE. That is, the condition that Ranς˘(PE) and ς˘(PE) differ by a compact operator. Let us now investigate the geometric meaning of this compact operator which is the obstruction to the idempotency of the Toeplitz operator ς˘(PE).
4.3.1 Geometric meaning of [SE∗,SE]
Let EN⊂HN⊗E0 be a quotient module and suppose that the projection PE onto EN has entries in TH(0). Then PE:=ς(PE) defines a holomorphic vector bundle E over M with Hilbert polynomial given by χ(E(m))=dimEm for large enough m (see §4.1.2).
Using ϕm∘Ψl−m=ϕl we get from Hirzebruch–Riemann–Roch that
[TABLE]
where ΘE is the curvature 2-form of the Chern connection of the metric PE and trωΘE is its trace against the Kähler 2-form ω. Using the coinvariance of PE we can write
When we discussed the spherical expansion S in §2.2 we observed that ς(m)(m[S∗,S]pm) approximates the (constant) scalar curvature. Now (4.6) and the relation ϕm=ω∘ς(m) suggest that ς(m)(m[SE∗,SE]pm) should play the role of trωΘE.
Since ς˘(PE) is the limit of the sequence (Ψp(PE))p∈N0, and since
[TABLE]
we see that the operator in (4.5) is a kind of first-order approximation to the compact operator CE:=PE−ς˘(PE). In the next subsection we discuss the geometric meaning of CE, from which one could hint a relation between [SE∗,SE] and trωΘE.
4.3.2 Interpretation of the hidden Szegö expansion
Let E be a globally generated holomorphic vector bundle over M and let PE be a Hermitian metric on E. For each m∈N0 one can consider the “Szegö endomorphism” of the Hilbert space H0(ω,FS(Hm)⊗PE), which is the C0(M)-linear endomorphism ΣE(m) of Γ0(M;E(m),FS(Hm)⊗PE) defined as follows. If ψ=(ψj)j=1,…,nmE is an orthonormal basis for the Hilbert space H0(ω,FS(Hm)⊗PE) then one can view it as a sequence of elements in Γ0(M;E(m)), and this sequence ψ is a C∗-frame for the Hilbert C0(M)-module Γ0(M;E(m),FS(Hm)⊗PE) since we assume that E(m) is globally generated. The Szegö endomorphism ΠmE is defined to be the frame operator of the C∗-frame ψ,
[TABLE]
where (ψj(x)∣ϕ(x))FS(Hm)⊗PE(x)=(ψj(x)∣ϕ(x))FS(Hm)⊗PE is the inner product on the fiber E(x) obtained from the projection FS(Hm)⊗PE.
In §5.1 we will discuss the notion of “balanced” metrics. By definition, the Hermitian metric FS(Hm)⊗PE is ω-balanced if ΣE(m) is the identity endomorphism. That is, if an orthonormal basis for the Hilbert space H0(ω,FS(Hm)⊗PE) is at the same time a Parseval C∗-frame for the Hilbert C0(M)-module Γ0(M;E(m),FS(Hm)⊗PE).
The Szegö expansion of PE (and the reference metrics PL and ω) is a large-m expansion of ΣE(m) which shows how the obstruction to FS(Hm)⊗PE being balanced disappears as m grows (see e.g. [MaMa3]).
We can also go in the opposite direction: we can start with a Parseval C∗-frame ψ for the Hilbert module Γ0(M;E(m),FS(Hm)⊗PE) given by a basis for the vector space H0(M;E(m)) and we can ask whether it is an orthonormal basis for H0(ω,FS(Hm)⊗PE) or not. The obstruction is the frame operator of ψ regarded as a sequence of vectors in H0(ω,FS(Hm)⊗PE). But the same information is contained in the Gram matrix of ψ regarded as a sequence of vectors in H0(ω,FS(Hm)⊗PE). More precisely, from [Bala1] we have a ∗-algebra monomorphism from B(H0(ω,FS(Hm)⊗PE)) to B(HN⊗CN) sending the frame operator of ψ to the operator cE,m−1ς˘(m)(PE).
Now, this Gram matrix is precisely
[TABLE]
Thus a large-m expansion of the operators cE,m−1ς˘(m)(PE) will go under the name “hidden Szegö expansion” (“hidden”, as it has not been studied so far).
4.3.3 ςE(m)(AE,m−1) expansion
Under our assumption that PE is a superharmonic projection over TH(0), the restriction ATE of ς˘(PE) to the range EN of PE is Fredholm. For present purposes we may assume ATE is invertible. If we regard ATE1/2 as a unitary operator
[TABLE]
onto the Hardy space KNE:=H0(S,ω;E,PE) then the 1-isometry VE=AE1/2TEAE−1/2 is precisely the multiplication tuple on KNE (recall Theorem 4.12). Each endomorphism f of E gives rise to an endomorphism of the pullback of E to S, and then to a grading-preserving multiplication operator on L2(S,ω;E,PE)=⨁k∈ZL2(M,ω;E(m),FS(H1)⊗k⊗PE). Restricting such multiplication operators to the Hardy space and following them by compression back to KNE gives us grading-preserving Toeplitz operators, which we denote by
[TABLE]
with f∈EndΓ0(M;E,PE). Here ς˘VE(m)(f) is the component of ς˘VE acting on the graded piece KmE=H0(M,ω;E(m),FS(Hm)⊗PE).
Lemma 4.13**.**
The Toeplitz operators ς˘VE(f) with f∈EndΓ0(M;E,PE) are fixed-points of the unital map ΨVE(X):=∑α=1nVE,α∗XVE,α acting on X∈B(KNE). Moreover, for each f∈EndΓ0(M;E,PE) we have
[TABLE]
Proof.
Since VE is a commutative spherical isometry it is deduced as in [Prun1] that the Toeplitz operators ς˘VE(f) are the fixed points of the map ΨVE.
where ΨE(Y):=∑α=1nTE,α∗YTE,α. An operator Y is fixed under ΨE if and only if Y i a Toeplitz operator ς˘(m)(f) with symbol f∈L∞(M)⊗B(E0) such that Y is zero outside EN. So X=AE−1/2ς˘(m)(f)AE−1/2 is a fixed point of ΨVE for each f∈EndΓ0(M;E,PE).
∎
Define a state ωE:EndΓ0(M;E,PE)→C by specifying it on rank-1 endomorphisms to be
[TABLE]
where (⋅∣⋅)PE is the C0(M)-valued inner product on Γ0(M;E,PE) and ∣ψ)(ϕ∣ is the rank-1 endomorphism acting as ∣ψ)(ϕ∣ψ′:=(ϕ∣ψ′)PEψ for ψ′∈Γ0(M;E,PE).
Also, denote by ϕmE:B(KmE)→C the tracial state,
[TABLE]
Let ςVE(m) be the adjoint of ς˘VE(m) with respect to ϕmE and ωE.
That is, for X∈B(Em) and f∈EndΓ0(M;E),
Finally, let ΘE be the curvature of the Chern connection of the metric PE on the holomorphic vector bundle E, and let ΔωE be the Bochner Laplacian acting on EndΓ∞(M;E) (see [MaMa3, Eq. (1.3.19)]).
Lemma 4.14**.**
Let ς˘VE(m) be the mth component of the Toeplitz map on H0(S,ω;E,PE) and let ςVE(m) be its adjoint with respect to ϕmE and ωE. Then for all f∈EndΓ0(M;E) we have the Berezin transform
[TABLE]
where {f,g}:=fg+gf. In particular,
[TABLE]
If the scalar curvature sω were not constant we would have
[TABLE]
where sω:=ω(sω).
Proof.
We are going to show that
[TABLE]
is the Szegö kernel of KmE:=H0(M,ω;E(m),FS(Hm)⊗PE). Then we will obtain the desired expansion from a rescaling of that in [Wang2, Thm. 5.2]
Let (ψj)j∈J be an orthonormal basis for KmE and let
[TABLE]
be the matrix whose (j,k)th entry is the rank-1 endomorphism ∣ψj)(ψk∣. Using the isomorphism EndΓ0(M;E(m))≅EndΓ0(M;E) we shall always regard FS†(KmE) as an element of EndΓ0(M;E)⊗B(KmE). We want to prove the formula
[TABLE]
Then cE,m−1ςVE(m)(PE,m) would be the sum of the diagonal elements of FS†(KmE), which is indeed the Szegö kernel of KmE.
Since AE,m−1/2Em=KmE we have
[TABLE]
where (ϕj)j∈J is an orthonormal basis for Em, where (ψj)j∈J=(AE,m−1/2ϕj)j∈J is an orthonormal basis for KmE and where ∣ψj)(ψj∣ is the associated rank-1 operator on Γ0(M;E(m),FS(Hm)⊗PE). That is,
The same argument gives that the expansion of ςVE(m)(ς˘VE(m)(f)) for general f follows from the expansion in [KMS1, Prop. 3.6].
∎
The following gives a geometric meaning to the compact operator PE−ATE:
Theorem 4.15**.**
[TABLE]
Proof.
Taking X=PE,m in (4.8) yields ςVE(m)(PE,m)=ςE(m)(ATE,m−1) and ςVE(m)(AE)=ςE(m)(PE,m)=PE. We obtain
[TABLE]
∎
5 Lifts of Yang–Mills metrics
5.1 Balanced metrics
The notion of balanced metrics on holomorphic vector bundles was introduced in [Wang1]. In this section we shall reformulate it in terms of Hilbert modules and frames.
Reall from §3.4.3 that if Em is an inner product on H0(M;E(m)) then FS(Em) denotes the projection over C∞(M) with a Parseval C∗-frame consisting of an orthonormal basis for Em.
Definition 5.1**.**
Let E be a holomorphic vector bundle over M with Aut(E)=C1E. Let m∈N be large enough so that dimH0(M;E)=χ(E(m)). A Hermitian metric BE(m)∈C0(M)⊗B(H0(ω,BE(m))) on E(m) is ω-balanced if
[TABLE]
In other words, BE(m) is ω-balanced if
(i)
BE(m) has a Parseval C∗-frame consisting of a basis for the vector space H0(M;E(m)) and
2. (ii)
if PE,m denotes the identity operator on the vector space H0(M;E(m)) then
[TABLE]
If Aut(E) is nontrivial then a Hermitian metric BE(m) on E(m) is weakly ω-balanced if BE(m) is the direct sum of ω-balanced metrics on the summands in some decomposition of E(m) into a direct sum of simple holomorphic vector bundles. If the summands have the same reduced Hilbert polynomials then BE(m) is ω-balanced.
In other words, BE(m) is weakly ω-balanced if it has a Parseval C∗-frame consisting of an orthonormal basis for the Hilbert space KmE:=H0(M,ω;E(m),BE(m)): in symbols BE(m)=FS(H0(ω,BE(m))). The defining properties (i) and (ii) of an ω-balanced metric are thus the same no matter what Aut(E) is, since (ii) requires the summands in any decomposition of E to have the same reduced Hilbert polynomial, viz. χ(E(m))/rankE.
By Remark 1.9, our notion of balanced metric coincides with that of [Wang1]. Indeed, (i) in Definition 5.1 says that BE(m)=FS(KmE) for some inner product KmE on H0(M;E(m)) while (ii) says that KmE=H0(ω,BE(m)).
When BE(m) is balanced we also say that the inner product (or Hilbert space) H0(ω,BE(m)) is balanced. Thus, an inner product Em on H0(M;E(m)) is balanced iff the L2-inner product of the Hermitian metric FS(Em) coincides with Em.
Remark 5.2**.**
A G-equivariant vector bundle need not admit an ω-balanced metric, since the irreducible summands need not have the same reduced Hilbert polynomials, but it always admis a weakly ω-balanced metric in the above sense (see [Moss4]).
Remark 5.3** (The normalization constant).**
Since BE(m) must have fiber trace equal to rankE, the only inner product on H0(M;E(m)) which can support a Parseval C∗-frame for BE(m) as orthonormal basis is the one in which the natural L2(BE(m),ω) inner product. If this inner product is scaled by χ(E(m))/rankE then the frame bound is scaled by χ(E(m))/rankE and the balancedness condition becomes to existence of a tight frame with frame constant χ(E(m))/rankE.
The balance condition reads BE(m)=FS(H0(ω,BE(m))).
Recall from §3.4.3 that this means that there is a basis (ψj)j∈J for the vector space H0(M;E(m)) such that
[TABLE]
If we have either a surjection A⊗CN→EN→0 or an embedding EN↪A⊗CN of graded A-modules then we could regard BE(m)(x) as an element
[TABLE]
The assumption that the surjection (or embedding) is a map of graded A-modules ensures that we still have BE(m)=FS(H0(ω,BE(m))) for the same holomorphic vector bundle E(m), up to holomorphic isomorphism.
Let us now investigate the consequences of this representation of the balanced metrics, first in the case of a surjection A⊗CN→EN→0.
Given the holomorphic structure on E there is an m0∈N0 such that E(m) is Castelnuovo–Mumford regular for all m≥m0. Thus, the graded vector space E≥m0:=⨁m≥m0H0(M;E(m)) is a finitely generated graded A-module and isomorphic to a graded quotient of A≥m0⊗H0(M;E(m0)). Idenfity E≥m0 with a vector subspace of A≥m0⊗H0(M;E(m0)). If we let Em0 be H0(M;E(m0)) endowed with some given inner product then the closure E≥m0 of E≥m0 in H≥m0⊗Em0 is a quotient module in the sense of Hilbert modules, if we endow it with the action given by compressing the A-action on H≥m0⊗Em0,
and the underlying graded A-module is isomorphic to E≥m0.
Now BE(m) can be viewed as a positive idempotent element of C0(M)⊗B(Hm⊗Em0). The operator PE,m in (5.1) is then the projection of Hm⊗Em0 onto the Hilbert subspace Em. Define a projection BmE∈C0(M)⊗B(Em0) by writing
[TABLE]
Then BmE defines E as smooth vector bundle for each m.
Using the explicit formula (3.15) for the Toeplitz map ς˘(m) we can rewrite (5.1) as
[TABLE]
with the constant
[TABLE]
If we have a balanced metric BE(m)=FS(Hm)⊗BmE on E(m) for each m≥m0 then
[TABLE]
where PE is the orthogonal projection of H≥m0⊗Em0 onto E≥m0.
5.2 Superharmonic lifts
We have seen hat if PE=FS(E0) is a projection in C0(M)⊗MN(C) which defines a holomorphic subbundle E⊂OM⊂CN then there is a natural associated quotient module EN with FS(Hm)⊗PE=FS(Em) for all m (Proposition 3.27). If the projection PE onto EN has continuous symbol ς(PE) then we have shown that ς(PE)=PE (Theorem 3.23). But we shall see later that ς(PE) is rarely continuous (Theorem 5.15).
Also, as we discussed, for any N×N-projection PE over L∞(M) the Toeplitz range Ranς˘(PE) is a projection onto a graded module quotient of HN⊗CN. And ς(Ranς˘(PE)) is continuous when PE is. But even if PE is over C∞(M) and even if the vector bundle E defined by PE is holomorphic it cannot hold that Ranς˘(PE) lifts PE unless possibly if E is globally generated.
However, there is a special class of Hermitian metrics which do have coinvariant lifts:
Lemma 5.4**.**
Let E be a slope-stable holomorphic vector bundle over M=G/K, and let PE be the Yang–Mills metric on E. Then the Ψ-superharmonic projection Ranς˘(PE) is a lift of PE:
[TABLE]
Proof.
From [Wang2] we know that there exists a sequence of metrics (BmE)m∈N0 on E such that FS(Hm)⊗BmE is an ω-balanced metric on E(m) for large enough m and
[TABLE]
in C0 (actually in C∞).
We can represent EN as a quotient of A⊗E0 which is a graded quotient up to a finite-dimensional subspace. Therefore we can embed EN as a vector subspace of HN⊗E0 whose closure is coinvariant up to a finite-dimensional subspace. We may choose the dimension of E0 large enough so that PE is an element of C0(M)⊗B(E0). The balanced metric BmE⊗FS(Hm) on E(m) has a Parseval C∗-frame given by elements of Em and hence can be regarded as an element of C0(M)⊗B(Hm⊗E0) as determined by our chosen embedding Em⊂Hm⊗E0. The projection BmE is an element of C0(M)⊗B(E0). The balance condition then says that cE,m−1ς˘(m)(BmE) equals the projection PE,m of Hm⊗E0 onto the embedded copy of Em.
Now ∥ς˘(m)(f)∥≤∥f∥ for all f∈C0(M), so
[TABLE]
i.e. ς˘(PE) and ∑mς˘(m)(BmE) differ by a compact operator. In turn this gives that ς˘(PE) and PE=∑mcE,m−1ς˘(m)(BmE) also differ by a compact, since cE,m−1=1+O(m−1). So PE is a lift of PE, i.e. ς(PE)=PE. In particular PE is a projection over TH(0). We want to show that PE differs from the range projection of ς˘(PE) only by a finite-rank operator. But PE is Ψ-superharmonic (up to finite-rank operators), so ς(PE)=PE gives its Ψ-harmonic part as ς˘(PE), so we are done by the uniquness of superharmonic lifts (Proposition 4.2).
∎
Theorem 5.5**.**
Let PE be a projection over C∞(M) defining a Hermitian Yang–Mills vector bundle E over M and set HNE:=Ranς˘(PE). Then the Cowen–Douglas sheaf ECD of HNE is analytically isomorphic over B∖{0} to the pullback EB∖{0} of E; as Hermitian holomorphic vector bundles we have
[TABLE]
where EB∖{0} is endowed with the Hermitian metric given by pullback of PE. Moreover, the subnormal tuple on the space KNE:=ς˘(PE)−1/2HNE is unitarily equivalent (up to finite-rank operators) to the multiplication tuple on the Hardy space H0(S,ω,FS(HN)⊗PE).
Proof.
We saw in the proof of Lemma 5.4 that HNE is (up to finite-dimensional subspaces) a completion of EN, and that the symbol ς(PE) of the projection PE:=Ranς˘(PE) onto HNE coincides with PE. So PE is a projection over TH(0). Theorem 3.23 gives that the Cowen–Douglas metric on ECD is given by CD(EN)=CD(HN)⊗PE, where PE is pulled back to a D×-equivariant function on B×{0}. This gives (5.3) and in particular the Cowen–Douglas bundle of HNE is isomorphic to the pullback of E.
In the proof of Theorem 4.12 we saw that HmE identifies via FS(Hm)⊗PE with the C-linear span Em of a C∗-frame ψ for FS(Hm)⊗PE. The space EN is thus a graded A-module whose algebraic part is precisely EN. (We stress that FS(Hm)⊗PE acting on C1⊗⊗Em⊂C0(M)⊗Em does not give holomorphic sections of E(m) but just some other C∗-frame for FS(Hm)⊗PE. Thus, when FS(HN)⊗PE acts on C0(S)⊗E0 it does not projects HNE to the copy of EN sitting in Γ0(S;E).)
As in the proof of Theorem 4.12 we denote by E~m the space EmE⊂Γ0(M;E(m),FS(Hm)⊗PE) endowed with the inner product of L2(ω,FS(Hm)⊗PE).
We saw that the subnormal tuple on the space KNE is unitarily equivalent (up to finite-rank operators) to the multiplication tuple on the subspace E~N of L2(S,ω;FS(HN)⊗PE).
So we only need to show that multiplication tuples on H0(S,ω;FS(HN)⊗PE) and E~N are unitarily equivalent. But we now that the underlying graded A-modules are isomorphic, and since H0(S,ω,FS(HN)⊗PE) and E~N sits as Hilbert subspaces of the same Hilbert space we can extend this isomorphism to a unitary operator from H0(S,ω,FS(HN)⊗PE) to E~N.
∎
Corollary 5.6**.**
Let E be a slope-stable vector bundle over M, and denote its associated graded A-module by EN:=⨁m∈N0H0(M;E(m)). Represent EN as a quotient A-module where the surjection A⊗E0→EN is grading-presering up to finite-dimensional vector spaces, and let [EN] be its closure of EN in HN⊗E0. Then the Cowen-Douglas sheaf ECD of [EN] is locally free boundary limit of the Cowen–Douglas projection ΠE for [EN] is the Yang–Mills metric on E.
Remark 5.7** (Balanced metric versus CD(Em)).**
Let E be a slope-stable holomorphic vector bundle over M=G/K and let EN:=Ranς˘(PE)) be the quotient module from Lemma 5.4. Recall that CD(Em)=CD(Hm)⊗PmE is the limit of the powers of the positive operator CD(Hm)⊗ς(m)(PE,m). If we use that same notation BmE as in the proof of Lemma 5.4 for the metrics on E converging to the Yang–Mills metric PE then we have cE,m−1ς(m)(ς˘(m)(BmE))=ς(m)(PE,m) and hence
[TABLE]
But ς(m)(ς˘(m)(BmE)) is the Berezin transform of BmE, so we have ς(m)(ς˘(m)(BmE))=BmE+O(m−1). The constant cE,m−1 is of the form 1+O(m−1). Therefore
[TABLE]
with limm∥KmE∥=0. We also know that, for all m≫0,
[TABLE]
The coinvariance of PE gives that, for m≫0,
[TABLE]
with CmE≥0. In contrast, KmE need not be positive and need not be zero on the range of BmE or the range of PE. For large m we know that ∥PE−BmE∥<1 in the norm of C0(M) so that ς(PE)(x) and BmE(x) are unitarily equivalent uniformly in x [Ols, Prop. 5.2.6]. The analytic embeddings of E(m) into OM⊗E0 given by FS(Hm)⊗PE and BmE are thus arbitrarily close as m gets large but they need not coincide for any finite m.
5.3 Subharmonic lifts
When the dual E∗ of E is globally generated we have an embedding E↪OM⊗H0(M;E∗) of holomorphic vector bundles, and hence an inclusion EN⊂A⊗H0(M;E∗) of graded A-modules. Still there is an m0∈N such that E(m) is regular for all m≥m0. So we can represent E≥m0 as a graded quotient of A⊗H0(M;E(m0)) as before and we obtain a graded quotient E≥m0 of HN⊗H0(M;E(m0)) by identifying E≥m0 with a vector subspace of A⊗H0(M;E(m0)) and completing it in the inner product of the Fock space. The coinvariant subspace E≥m0 of HN⊗H0(M;E(m0)) will have the same A-action as the completion of E≥m0 in A⊗H0(M;E∗) up to graded A-module isomorphism but as Hilbert A-modules they are very different: one is a quotient module and one is a submodule and this is a very important difference for Hilbert modules. For instance, if PE is the projection onto a quotient module then (id−Φ)(PE) is a finite-rank operator, while if PE projects out a submodule (id−Φ)(PE) is not of finite rank except in trivial cases [Guo3].
Suppose now that we have a balanced metric BE(m)=BmE⊗FS(Hm−m0) on E(m) for each m≥m0.
Since [EN]⊂HN⊗H0(M;E∗) is an embedding of graded A-modules we can, up to graded A-module isomorphism (or equivalently without changing the isomorphism class of the holomorphic vector bundle E) regard BE(m) as an element of C0(M)⊗B(Hm⊗H0(M;E∗)). The balance condition then becomes
[TABLE]
where IE=∑mIE,m is the projection onto the graded submodule [EN]⊂HN⊗H0(M;E∗). Note that IE is Ψ-subharmonic, in contrast to the Ψ-superharmonic PE obtained from the presentation of EN as quotient module.
We shall see that, in case the sequence (BmE)m≥m0 converge, both ς(IE) and ς(PE) are Yang–Mills metrics on holomorphic vector bundles isomorphic to E(m0), and for all practical purposes they coincide if we allow an analytic isomorphism to act on E so that they are metrics on the same vector bundle.
Lemma 5.8**.**
Let G be a smooth vector bundle over M=G/K admitting a slope-stable holomorphic structure GN=⨁m∈N0H0(M;G(m)). Suppose that G is a subbundle G⊂E of some Castelnuovo–Mumford regular holomorphic vector bundle E and choose an embedding GN⊂EN as graded A-module. Let IG be the projection onto the SE-invariant subspace [GN]⊂[EN]. Then the symbol of the ΨE-subharmonic projection IG defines G as smooth vector bundle as well as a Hermitian metric on G which is Yang–Mills with respect to a holomorphic structure isomorphic to GN.
Proof.
Given our embedding GN⊂EN we obtain the projection IG onto [GN]⊂[EN]⊂HN⊗E0 as
[TABLE]
for the unique ω-balancing metrics FS(Hm)⊗BmG on G(m) with respect to the holomorphic structure GN⊂EN. Let PG:=limm→∞BmG be the associated Yang–Mills metric on G. In the same way as in the proof of Lemma 5.4 we see that
[TABLE]
i.e. ς˘(PG) and ∑mς˘(m)(BmG) differ by a compact operator. In turn this gives that ς˘(PG) and IG=∑mcG,m−1ς˘(m)(BmG) differ by a compact, since cG,m−1=O(m−1). So IG is a lift of PG, i.e. ς(IG)=PG. In particular IG is a projection over TH(0).
∎
Note that the subspace [GN]⊂[EN]⊂HN⊗E0 is merely semi-invariant under the shift S on HN⊗E0.
Corollary 5.9**.**
Let G be a smooth vector bundle over M with a slope-stable holomorphic structure GN=⨁m∈N0H0(M;G(m)). Suppose that G∗ is globally generated. Then the Yang–Mills metric PG admits a Ψ-subharmonic lift.
Proof.
Since G∗ is globally generated is globally generated we can take E in Lemma 5.8 to be a trivial holomorphic vector bundle. This means that [GN] is a submodule of HN⊗G0 for some Hilbert space G0 and hence IG will be Ψ-subharmonic.
∎
5.4 Direct sums
If E=F⊕G is a direct sum of Hilbert A-modules then for the Serre sheaves we have [GoWe1, Prop. 7.14(3)]
[TABLE]
as OM-modules. Also, as in Remark 3.9, FN⊂EN is a reducing submodule if and only if for the Cowen–Douglas sheaves we have
[TABLE]
as Hermitian holomorphic vector bundles. In other words, iff
[TABLE]
Proposition 5.10** (Direct sums of Yang–Mills metrics).**
Suppose that PE is a projection over C∞(M) defining a holomorphic vector bundle E=F⊕G with slope-stable summands F and G, and that PE=PF+PG with PF and PG Yang–Mills metrics on F and G. Then
[TABLE]
Proof.
From Lemma 5.4 we get ς(PF)=PF and ς(PG)=PG for superharmonic projections PF and PG onto quotients FN and GN, and the Serre sheaves of these quotients are isomorphic to F and G as holomorphic vector bundles. Setting EN:=FN⊕GN we obtain E as the Serre sheaf of EN.
We can present EN as a quotient of HN⊗E0 where E0=F0⊕G0.
The ranges of ς˘(PF) and ς˘(PG) are orthogonal so, Ranς˘(PE)=Ranς˘(PF+PG) is the same as the projection PE:=PF+PG onto EN.
Thus PE=ς(PF)+ς(PG)=ς(PF+PG)=ς(PE) and the proposition holds.
∎
5.5 The nature of ς(PE)
If E is a torsionfree OM-module, denote by Gr(E) the torsionfree OM-module obtained by summing the successive quotients in the Harder–Narasimhan–Seshadri filtration of E (see [Jaco2, §2.1] for details). Thus Gr(E) is a direct sum of slope-stable torsionfree sheaves on M, and the summands have the same slope iff E is slope-semistable.
If E is a holomorphic vector bundle over M, a locally free subsheaf G⊂E is a subbundle iff the quotient E/G is locally free. So if Gr(E) is locally free then all the subsheaves in the Harder–Narasimhan–Seshadri filtration are by subbundles and this splits smoothly. Hence for an arbitrary holomorphic vector bundle E we have that Gr(E)≅E smoothly if and only if Gr(E) is locally free.
Theorem 5.11**.**
Let E be a holomorphic vector bundle over M=G/K, represent EN:=⨁m∈N0H0(M;E(m)) as a quotient of A⊗E0 for some Hilbert space E0, and let EN be the completion of EN in HN⊗E0. Let PE be the projection of HN⊗E0 onto a quotient module EN. Suppose that Gr(E) is locally free and let QE be the direct sum of the Yang–Mills metrics on the stable summands of Gr(E).
Then ς(PE)=QE. In particular ς(PE) is a matrix over C0(M)⊂L∞(M).
Proof.
We consider first the case when E is slope-semistable. Assume that E has a filtration 0→G→E with G a stable subbundle (a filtration with several subbundles can be treated by the same argument). The direct sum Gr(E) of stable quotients is then
[TABLE]
The stable vector bundles G and F:=E/G admit Yang–Mills metrics ς(PG) and ς(PF) obtained from Ψ-superharmonic projections PG and PF over TH(0). These are the projections onto the completions of GN:=⨁mH0(M;G(m)) and FN:=⨁mH0(M;F(m)) realized as quotient modules (recall Lemma 5.4).
The image of the projection Q:=PG+PF is the completion of the direct sum QN=GN⊕FN in a Fock inner product and ς(Q) is a Yang–Mills metric on Gr(E) as we saw in Proposition 5.10. Here QN=GN⊕FN is a direct sum of graded A-modules by definition.
We note that GN⊕FN equals EN as graded vector space (up to finite-dimensional subspaces), but GN is merely a submodule of EN and need not have an A-module complement. Therefore QN=(EN/GN)⊕GN need not be A-isomorphic to EN as graded A-module (under the present local freness assumption Gr(E)≅E we know that the pullbacks of Gr(E) and E are analytically isomorphic as vector bundles over B∖{0} but this need not be D×-equivariantly).
We realize EN as a quotient module EN and denote by IG the projection of EN onto the submodule GN:=[GN]. Let also PF denote the projection of EN onto the quotient module EN⊖GN=[FN].
Then
[TABLE]
is a direct sum of Yang–Mills metrics on the holomorphic direct sum G⊕F. Indeed, ς(IG) can be identified with ς(PG) by Lemma 5.8.
Now if E is not semistable we have a Harder–Narasimhan filtration by semistable subsheaves (assumed to be subbundles here). For the proof of the theorem we may assume it is given by 0→G→E. Set F:=E/G. We have PE=PG+PF and since F is semistable we know that ς(PF) is the direct sum of Yang–Mills metrics on Gr(F), and similarly for G. This gives the result.∎
Corollary 5.12**.**
Let EN be a range of a Ψ-superharmonic projection PE over TH(0)
and let ECD,M denote the holomorphic vector bundle over M such that ECD=OCD⊗ECD,M. Then ς(PE) is a Yang–Mills metric on ECD,M.
Proof.
Since ECD is locally free (see Theorem 3.23), the Serre sheaf E of EN is locally free and ς(PE) is a real-analytic metric on ECD,M. We have a factorization CD(EN)=CD(HN)⊗ς(PE) so ς(PE) defines ECD,M and its holomorphic structure. By Theorem 5.11 we have that ς(PE) is a Yang–Mills metric on Gr(E), so Gr(E) is analytically isomorphic to ECD,M and ς(PE) is a Yang–Mills metric on ECD,M. ∎
The next step would be to obtain a generalization Wang’s theorem (Lemma 1.4), namely that every torsionfree slope-stable sheaf has a “singular Yang–Mills metric” coming from a sequence of “singular balanced metrics”. That would prove:
Conjecture 5.13**.**
Theorem 5.11 is true without the assumption that Gr(E) is locally free, i.e. ς(PE) is always a metric on Gr(E) which is the direct sum of singular Yang–Mills metrics on the simple summands of Gr(E).
If this conjecture is true then we have:
Corollary 5.14**.**
For arbitrary holomorphic vector bundle E, letting PE be the projection onto a Fock completion of EN:=⨁m∈N0H0(M;E(m)) the symbol ς(PE) has entries C0(M)⊂L∞(M) if and only if Gr(E) is locally free.
5.6 Gieseker-stability and superharmonic lifts
With L∞(M) acting as multiplication operators on L2(M,ω) one can consider limits of sequences in L∞(M)⊗MN(C) in the strong operator topology.
Proposition 5.15**.**
Let E be a Gieseker-stable vector bundle and let (BmE)m≫0 be its sequence of balanced metrics. Then the projection
[TABLE]
exists as a matrix over L∞(M) and it coincides with ς(PE), where PE is the projection onto the completion of EN:=⨁mH0(M;E(m)) in Fock space.
Proof.
We have
[TABLE]
where we used the balance of each BmE for m≫0 in the penultimate line.
∎
For a vector bundle E which is Gieseker-stable but not slope-stable the limit limm→∞BmE does not exist in C∞ by [Wang2]. If it also fails to exist in C0 then the projection PE onto [EN] must be of the form PE=ς˘(PE)+CE with CE noncompact.
Conjecture 5.16**.**
Let E be a Gieseker-stable vector bundle and let (PmE)m≫0 be its sequence of balanced metrics. Then the projection
[TABLE]
defines Gr(E) and a singular Yang–Mills metric on Gr(E).
5.7 From balance to Gieseker-stability
We now give a more direct proof of one implication in the main theorem of [Wang1]:
Theorem 5.17**.**
Let E be a holomorphic vector bundle over M and suppose that E(m) admits an ω-balanced Hermitian metric for each m≫0. Then E is Gieseker-polystable.
Proof.
Fix m≫0. By assumption we have a balanced inner product HmE on H0(M;E(m)). Let (ψj)j∈J be an orthonormal basis for HmE. Let (⋅∣⋅) be the Hilbert C∗-structure on Γ∞(M;E(m)) obtained from the projection FS(HmE). Recall that FS(HmE)∈C∞(M)⊗B(HmE) can be represented by the matrix whose (j,k)th entry is the function (ψj∣ψk)∈C∞(M). Let
[TABLE]
be the matrix of rank-1 operators ∣ψj)(ψk∣ on Γ∞(M;E(m),FS(HmE)). Using EndΓ∞(M;Lm)≅C∞(M) we have the isomorphism
[TABLE]
and we shall identify FS†(HmE) with an endomorphism of Γ∞(M;E).
Recall that the state ωE:EndΓ∞(M;E)→C is defined on rank-1 endomorphisms by
[TABLE]
So balance of HmE says that
[TABLE]
for all j,k=1,…,dimHmE=χ(E(m)). Recall also that balance says that (ψj)j∈J is a Parseval frame for Γ∞(M;E(m),FS(HmE)), which under the isomorphism (5.8) means that
[TABLE]
where 1E is the identity in EndΓ∞(M;E).
For X∈B(HmE), define an endomorphism of Γ∞(M;E) by
[TABLE]
Then ςmE(1) is the frame operator of (ψj)j regarded as an element of EndΓ∞(M;E), which equals 1E by balance (5.10).
We also define, for each f∈EndΓ0(M;E), a Toeplitz-type operator on HmE by
[TABLE]
The resulting map ς˘E(m):EndΓ0(M;E)→B(HmE) is then unital by balance (5.9).
The maps ςE(m) and ς˘E(m) are adjoints with respect to ωE and ϕmE,
[TABLE]
and since they are both unital they therefore both intertwine the states ωE and ϕmE,
[TABLE]
Let G⊂E be an analytic subsheaf. Then GN:=⨁mH0(M;G(m)) is a graded submodule of EN:=⨁mH0(M;E(m)), and we denote by PG the projection of [EN] onto [GN].
If (ψj)j∈J is our balanced frame as before then there is a subset JG⊂J such that each ψjG:=ψj with j∈JG will be in Gm:=H0(M;G(m)) and these ψjG’s form a basis for Gm. So if PG is the projection acting on Γ∞(M;E) with image Γ∞(M;G) then PGψjG=ψjG for all j∈JG. So for j,k∈JG we obtain
[TABLE]
by balance. Let FN be the quotient EN/GN. Since (ψjG∣ψk) can be nonzero even for k∈/JG but ς˘E(m)(PG) is always positive there is a positive operator CG,m on Fm such that
[TABLE]
So we obtain
[TABLE]
This gives, for m large enough so that dimEm=χ(E(m)) and dimGm=χ(G(m)), that
[TABLE]
Equality χ(E(m))/rankE=χ(G(m))/rankG occurs iff ς˘E(m)(PG)=PG,m and this happens iff FS(HmE) splits into PF⊕PG with PG having (ψjG)j∈JG as Parseval C∗-frame, so that E splits holomorphically as E=F⊕G. This gives the statement.
∎
6 Equivariant vector bundles
In this section we specialize to the case of equivariant vector bundles over M=G/K. The quantization of these were initiated in [Hawk1], which we now build on. A new thing here is that we add new data: inner products on the quantum side and Hermitian metrics on the classical side. It turns out that these go very well with the quantization because of the equivariance, and in fact the existence of a Hermitian metric’ which“quantizes perfectly ’ is likely to chararacterize equivariant vector bundles, in a sense made more precise below.
Given any K-representation K we can form the vector bundle
[TABLE]
associated with the principal K-bundle G→M→0 and the represetation K. Such a vector bundle E is called G-equivariant [Snow1]. Every G-equivariant vector bundle comes with a natural holomorphic structure [Rama1, §3.2]. The space H0(M;E) of global holomorphic sections then carries a representation of G which is said to be induced from the representation K of the subgroup K [Bott1]. A G-equivariant vector bundle E=G×KK is irreducible if K is an irreducible K-representation. Then H0(M;E(m)) is an irreducible G-representation for all m≥0.
6.1 Quotient modules with equivariant Cowen–Douglas sheaves
6.1.1 Equivariant Cowen–Douglas metrics are balanced
If E is an irreducible G-equivariant vector bundle over M=G/K then each fiber E(x) carries an irreducible K-representation and a unique K-invariant inner product. This gives us a unique G-equivariant Hermitian metric PE on E. We also have a unique G-invariant inner product E0 on the G-representation H0(M;E). The evaluation H0(M;E)∋ψ→ψ(x)∈E(x) is G-equivariant so if it is surjective then E(x) sits as a Hilbert subspace of E0. The G-invariant Hermitian metric on E is then given by PE=FS(E0). It is known that PE is ω-Yang–Mills [Koba4].
Proposition 6.1**.**
Let PE be a projection over C0(M) defining a globally generated irreducible G-equivariant Hermitian vector bundle E, so that PE=FS(E0) for the G-invariant inner product E0 on H0(M;E). Then FS(Em)=FS(Hm)⊗PE is balanced on E(m) for each m∈N0. Moreover, the Cowen–Douglas metric of the quotient module EN:=Ranς˘(PE) is of the form
[TABLE]
and the graded A-module underlying EN is precisely EN:=⨁mH0(M;E(m)).
Proof.
As noticed in Proposition 3.27, we have FS(Em)=FS(Hm)⊗PE for all m.
The Haar orthogonality relations (see §2.1.2) say precisely that
[TABLE]
i.e. the Hilbert space H0(ω,FS(E0)) coincides with E0. In other words, the metric PE=FS(E0) is ω-balanced.
More generally, for each m∈N0, the metric FS(Em)=FS(Hm)⊗PE on E(m) is G-equivariant and hence balanced by the above argument. We thus have
[TABLE]
It follows that PE is the range projection of ς˘(PE) and that ς˘(PE) equals PE modulo compacts. Therefore (6.1) holds by Theorem 3.23.
As in the proof of Theorem 4.12 the vector space Em:=Ranς˘(m)(PE) coincides with the C-linear span Em of a Parseval frame for FS(Hm)⊗PE.
∎
6.1.2 l,mE is unital
Recall our unital completely positive maps ιm,l:B(Hm)→B(Hl) defined by
[TABLE]
where Vm,l is the isometric embedding of Hl into Hm⊗Hl−m. These can be generalized to vector-valued quotient modules. To simplify the notation we write ιm,l also for the induced map from B(Hm⊗CN) to B(Hl⊗CN), where we identify operators on HN⊗CN with N×N-matrices of operators on HN as before.
Let now PE be the projection of HN⊗CN onto a coinvariant subspace EN. Coinvariance gives ιm,lE(PE,m)≥PE,l. The operator PE,lιm,lE(PE,m)PE,l is thus an operator on El which is ≥PE,l. Since ιm,lE is unital it is contractive, so that we must have
[TABLE]
The map ιm,lE:B(Em)→B(El) defined by
[TABLE]
is therefore unital. From (6.2) we obtain the formula
[TABLE]
where Vm,lE:=Vm,l∣El. Since ιm,lE is unital, Vm,lE is an isometric embedding of El into Em⊗Hl−m. The adjoint is given by Vm,lE∗=PE,lVm,l∗∣Em⊗Hl−m.
The Hilbert space Hm carries an irreducible unitary representation of G. Endow Hm⊗CN with the unitary G-representation where G trivially on the factor CN.
Proposition 6.2**.**
Suppose that each Hilbert space Em⊂Hm⊗E0 is invariant under the G-action on Hm⊗E0. Then the isometries Vm,lE:El→Em⊗Hl are intertwiners of G-representations.
Proof.
As already noticed above, coinvariance ensures that Vm,lE is the restriction of Vm,l to Em. Since Em and El are G-invariant they carry G-representations by restriction of the G-representations on Hm⊗CN and Hl⊗CN respectively. So we obtain the proposition from the fact that Vm,l intertwines the G-representation on Hm⊗CN with that on Hl⊗CN.
∎
Let ϕmE be the normalized trace on B(Em),
[TABLE]
and define the completely positive map
[TABLE]
to be the adjoint of ιm,lE with respect to ϕmE and ϕlE. Basically by definition this means that
[TABLE]
Proposition 6.3**.**
Suppose that the Cowen–Douglas sheaf of EN is of the form ECD=OCD⊗EB∖{0} where EB∖{0} is the pullback to B∖{0} of a G-equivariant vector bundle E over M.
Then l,mE is unital.
Proof.
By assumption (6.1) holds and then, as before, the graded A-module underlying EN is precisely EN:=⨁mH0(M;E(m)). Thus each vector space Em is a G-representation.
As explained in [Hawk1, §C], for all l≥m≥0 the representation Em is contained as a vector space in the tensor product El⊗Hl−m∗. The G-invariant inner product on El⊗Hl−m∗ is obtained by averaging over the group G using the Haar state ω, and equals the Fock inner product on El⊗Hl−m∗ up to a scalar factor on each irreducible direct summand. Therefore there is an isometric embedding of Em into El⊗Hl−m∗,
[TABLE]
By assumption the G-representation on E0 is irreducible and this gives that the G-representation on Em=H0(M;E(m)) is irreducible for each m. Then Wl,mE and Vm,lE are unique and from [Hawk1, Eq. (5.9)] we have
[TABLE]
The rightmost formula shows that l,mE is unital, as asserted.
∎
Remark 6.4** (Reversed time evolution).**
Recall that the conjugate of an irreducible representation u of a compact group (or more generally, compact quantum group) G is an irreducible representation uˉ such that u⊗uˉ contains the trivial representation. The existence of a conjugate to each irreducible representation is one of the structural properties that characterize representation categories of compact quantum groups. Therefore we do not expect isometries Wl,mE:Em→El⊗Hl−m∗ to exist unless the Em’s are representations of some compact quantum group. In [An4] we interpreted the existence of the backward maps l,mE as a “quantum symmetry” in case the Hilbert spaces Em models the environment of some physical quantum system.
If Em is not irreducible then we again let ϕmE be the trace on B(Em) corresponding to the Haar state, i.e. the direct sum of the normalized traces on the irreducible direct summands. Then the adjoint l,mE of ιm,lE with respect to ϕmE and ϕlE is again unital. If all irreducible summands of E have the same reduced Hilbert polynomial χ(E(m))/rankE then these two definitions of l,mE coincide.
6.1.3 The (d+1)-isometry SE
Recall that if EN⊂HN⊗E0 is a graded subspace then we denote by SE=(SE,1,…,SE,n) the shift compressed to EN and consider the grading-preserving positive operator SE∗SE:=∑α=1nSE,α∗SE,α. We let ∣SE∣ be the positive square root of SE∗SE. In this section we obtain a generalization of some results in §2 (which are recovered by taking E to be the trivial line bundle). First of all, Proposition 6.3 gives:
Corollary 6.5**.**
Let SE be the shift on EN. Suppose that the Cowen–Douglas sheaf of EN descends to a G-equivariant vector bundle E on M=G/K and that all irreducible summands of E have the same reduced Hilbert polynomial χ(E(m))/rankE. Then ∣SE∣PE,m is a scalar for each m∈N0, viz.
Recall the maps Ψ and Φ∗ on B(HN) defined by Ψ(X):=∑α=1nTα∗XTα and Φ∗(X):=∑α=1nSα∗XSα, where S=∣S∣T is the shift on HN.
Proposition 6.6**.**
For any X=∑mXm∈Γb=∏mB(Hm) we have
[TABLE]
and
[TABLE]
for all m,p∈N0.
Proof.
We have
[TABLE]
and ϕm∘Ψr=ϕm+r. Hence the first result. The second follows from (id−Φ∗)p=∑r=0p(−1)r(rp)Φ∗r and Tr(Φ∗r(X)pm)=Tr(XΦr(pm))=Tr(Xpm+r).
∎
If EN is a quotient module then we have the shift tuple SE acting on EN, and as in §2.4.1 we can consider the operators
[TABLE]
where ΦE,∗(X):=∑α=1nSE,α∗XSE,α for all X∈B(EN). Since the backward shift S∗ on HN⊗E0 preserves the subspace EN we have
[TABLE]
where as usual Φ∗(X):=∑α=1nSα∗XSα.
Proposition 6.7**.**
For any graded quotient module EN and each p∈N0 the operator Bp(SE) satisfies
[TABLE]
for all m∈N0. For p≥d+1 we have
[TABLE]
Proof.
From Proposition 6.6 we have Tr((id−Φ∗)p(PE,m))=∑r=0p(−1)r(rp)Tr(PE,m+r). Now the Serre sheaf E of EN is Castelnuovo–Mumford regular, so
[TABLE]
for all m+r∈N0. Let δp is the pth iterate of the difference operator δ acting on sequences a=(a(m))m∈N0 as
[TABLE]
We have
[TABLE]
where χE(m):=χ(E(m)). The Euler characteristic χ(E(m)) is a polynomial in m of degree d, which is the same as saying that δpχE=0 for p≥d+1. So for p≥d+1 we obtain
[TABLE]
∎
Remark 6.8**.**
We could also consider the operators Bp(TE) of the rescaled tuple TE; these are given by Bp(TE)=(id−Ψ)p(PE).
The normalized trace ϕm(PE)=χ(E(m))/nm is not a polynomial in m. Therefore Proposition 6.6 does not imply that Tr(Bp(TE)pm) is zero for any finite p. Therefore TE is not a p-isometry for any p and ς˘(PE)=Ψ∞(PE) cannot be expressed as a finite sum ∑q=0p(qp)(id−Ψ)q(PE) for any p.
Proposition 6.9**.**
Let EN be a quotient module such that ECD=OCD⊗EB∖{0} where EB∖{0} is the pullback to B∖{0} of a G-equivariant vector bundle E over M. Then SE is a strict (d+1)-isometry: Bd(SE)=0 and
[TABLE]
Moreover, if E is irreducible then Bp(SE) acts as a scalar on each graded piece Em⊂EN for each p=0,…,d,
[TABLE]
and we have the Scatten-class estimate
[TABLE]
Proof.
Suppose first that E is irreducible. Then ΦE,∗(PE)=∣SE∣2 acts as a scalar on each graded piece Em. It follows that B1(SE)PE,m=(id−ΦE,∗)(PE)PE,m is a scalar, viz. ϕmE(B1(SE))PE,m. Hence also
[TABLE]
is a scalar, and so on. From this and Proposition 6.7 we see directly that Bp(SE)=0 for p≥d+1 when E is irreducible. For arbitrary equivariant E we have that EN is a direct sum of SE-reducing subspaces corresponding to the irreducible summands of E, so SE is a (d+1)-isometry for all equivariant vector bundles E.
from which the stated Schatten-class estimate on Bp(SE) follows.
∎
We see that Bp(SE) is zero precisely when Bp(SE) is trace-class.
6.1.4 Characterization of equivariance
Proposition 6.10**.**
Let EN be a quotient module with continuous symbol PE=ς(PE). Assume that the shift SE on EN has no reducing subspaces. Then the following are equivalent:
(a)
ς˘(m)(PE)=cE,mPE,m* for all m≫0.*
2. (b)
Em=cE,mH0(ω,FS(Hm)⊗PE)* for all m≫0.*
3. (c)
SE∗SEpm=dimEm+1/dimEm* for all m≫0.*
4. (d)
FS(H0(ω,FS(Hm)⊗PE))=FS(Hm)⊗PE* is ω-balanced for all m≫0.*
Proof.
The operator ς˘(m)(PE) compares the inner products Em and H0(ω,FS(Hm)⊗PE) (cf. Theorem 4.12 and its proof). So (a) is equivalent to (b). Clearly (a)⟺(d).
If the l,mE’s are unital for all l≥m then so is their limit cE,m−1ς˘(m):Γ∞(M;E)→B(Em) as l goes to infinity. So (c) implies (a).
If (b) holds then the fact that the multiplication tuple on H0(S,ω;PE) is a spherical isometry ensures that (c) holds (cf. the proof of Lemma 2.6).
This gives the proposition.
∎
We know that all conditions in Proposition 6.10 hold when EN comes from an equivariant vector bundle E.
We expect (c) in Proposition 6.10 to hold only if the vector bundle defined by PE is G-equivariant (cf. Remark 6.4). Therefore the equivalent conditions in Proposition 6.10 are likely to characterize the quotient modules which give rise to G-equivariant vector bundles over M.
6.2 Guo-stability
In this section we show, as asserted in the Introduction, that every G-equivariant vector bundle over G/K is a direct sum of vector bundles satisfying a stability condition (which we call Guo-stability) that is stronger than Gieseker-stability. This seems to be a new result.
Theorem 6.11**.**
Let E be a G-equivariant vector bundles over M and suppose that all irreducible summands of E have the same reduced Hilbert polynomial χ(E(m))/rankE. Then for every quotient sheaf E→F→0 and all m≫0 we have
[TABLE]
with equality iff F is a subbundle (in which case F is a direct summand of E). In particular, E is Gieseker-polystable.
Proof.
By replacing E with E(m0) for large enough m0 if necessary we may assume that EN:=⨁m∈N0H0(M;E(m)) is a graded quotient of A⊗CN. Similarly, whenever E→F→0 is a quotient sheaf we may assume that FN:=⨁m∈N0H0(M;F(m)) is a graded quotient of EN. Let EN and FN be the completions of EN and FN in the inner product of HN⊗CN. Then FN is an invariant subspace for the backward shift SE∗ on EN. We have thus encoded the quotient sheaf F as an SE∗-invariant subspace FN of EN, and conversely every SE∗-invariant subspace gives rise to a quotient of E (see §3.2.1).
Consider the unital completely positive map map
[TABLE]
By Corollary 6.5ΨE restricts to l,mE:B(Em+1)→B(Em): For B∈B(Em+1) we have
[TABLE]
We have seen that SE∗SE commutes with every grading-preserving operator on EN, and this ensures that SE,α∗ and SE,α∗(SE∗SE)−1/2 have the same invariant graded subspaces for each α∈{1,…,n}.
Since ΨE is unital, the assumption that FN is invariant under SE∗ is thus equivalent to ΨE(PF)≤PF with equality iff FN is reducing. For X∈B(El) we have ΨEl−m(X)=l,m(X) for all m≤l.
In terms of the maps l,mE the inequality ΨE(PF)≤PF reads l,mE(PF,l)≤PF,m for all l≥m. Using ϕmE∘l,mE=ϕlE we then obtain
[TABLE]
for all l≥m, with equality iff F≥m is reducing.
∎
Most likely the Guo-stability condition (6.4) is stronger than even slope-stability, and is a characteristic of G-equivariance (cf. Proposition 6.10).
Bibliography91
The reference list from the paper itself. Each links out to its DOI / PubMed record.
1[Ab Le 1] Abdullah B, Le T. The structure of m 𝑚 m -isometric weighted shift operators. Oper. Matrices. Vol 10, Issue 2, pp. 319-334 (2016).
2[AC Ki 1] Álvarez-Cónsul L, King A. A functorial construction of moduli of sheaves. Invent. Math. Vol 168, pp. 613-666 (2007).
3[An 4] Andersson A. Andersson A. Detailed balance as a quantum-group symmetry of Kraus operators. J. Math. Phys. Vol 59, Issue 2, 022107 (2018).
4[An 5] Andersson A. Dequantization via quantum channels. Lett. Math. Phys. Vol 106, Issue 10, pp. 1397-1414 (2016).
5[An 6] Andersson A. Berezin quantization of noncommutative projective varieties. ar Xiv: 1506.01454 (2015).
6[Arv 6c] Arveson W. Subalgebras of C ∗ superscript 𝐶 C^{*} -algebras III: Multivariable operator theory. Acta Math. Vol 181, pp. 159-228 (1998).
7[Arv 7a] Arveson W. The curvature of a Hilbert module over ℂ [ z 1 , … , z d ] ℂ subscript 𝑧 1 … subscript 𝑧 𝑑 \mathbb{C}[z_{1},\dots,z_{d}] . Proc. Natl. Acad. Sci. USA. Vol 96, 11096-11099 (1999).
8[Arv 7b] Arveson W. The curvature invariant of a Hilbert module over ℂ [ z 1 , … , z d ] ℂ subscript 𝑧 1 … subscript 𝑧 𝑑 \mathbb{C}[z_{1},\dots,z_{d}] . J. Reine Angew. Math. Vol 522, pp. 173-236 (2000).