AMS Classification (2000): 32G13, 32J15.
Acknowledgement: I wish to thank the referee for his remarks which helped me to improve the exposition.
1. Introduction
Moduli spaces of holomorphic vector bundles over compact complex manifolds have been extensively studied. A case of particular interest, where much has been proved is the case when the base is a smooth projective surface [HL]. With respect to an ample polarization on one considers the moduli space of slope-stable holomorphic vector bundles of rank , determinant and second Chern class . One issue about it, of capital importance for Donaldson theory for instance, is the existence of βmodularβ compactifications. Two such compactifications of have been constructed: the Gieseker compactification of semi-stable torsion free sheaves and the Uhlenbeck compactification of ideal Hermite-Einstein connections. Both are projective, although the second one is constructed in the framework of gauge theory.
In the more general case of a compact complex surface equipped with a Gauduchon metric, a degree function on with respect to may be defined, hence a (slope) stability notion for torsion-free coherent sheaves on [LT]. Under some supplementary condition, which essentially demands that every semi-stable sheaf with the given invariants is already stable, it was shown in [Tom01] that the moduli space of stable torsion free sheaves with invariants is compact. This is a complex analytic space and provides a modular compactification of which may be thought as an analogue of the Gieseker compactification. In general however is not compact and this is related to the fact
that the Uhlenbeck compactification, which always exists, may admit no compatible complex space structure.
The study of the moduli spaces of holomorphic vector bundles allowed Andrei Teleman in [Tel05], [Tel10] to make a breakthrough towards a complete classification of non-KΓ€hlerian compact complex surfaces. One of the main issues of his study was the lack of compactness of in his situation.
The purpose of this note is to show the non-compactness of in the case when is a blown-up primary Hopf surface. The case of blown-up Hopf surfaces is particularly important in light of Telemanβs main result from [Tel10]. Indeed, it follows from loc. cit. that all minimal surfaces with , are deformations of blown-up Hopf surfaces, still their complete classification is not yet available. In fact our non-compactness result was used by SchΓΆbel in [Sch08] via a deformation argument in order to describe when is a minimal surface with , . This type of argument is an indication that the part of Telemanβs program dealing with non-compactness phenomena should work also for .
2. Families of extensions
We consider a primary Hopf surface and to be blown-up at
points , . We shall denote by
the blowing down morphism and by
the exceptional divisor. Vector bundles will not
be distinguished from their sheaves of holomorphic sections.
One has and
is the product of with the free abelian group generated
by , β¦, . Therefore any invertible sheaf on
has the form for some and
, . We shall write shortly for it.
In particular .
For any rank two coherent sheaf on a compact complex surface
one defines the discriminant:
|
|
|
Recall that for a torsion free coherent sheaf on a non-algebraic surface one always has
|
|
|
Proposition 2.1.
Let be a torsion free sheaf of rank two on with and . Then:
-
(1)
is locally free and .
-
(2)
There are no torsion free sheaves of rank two on with and .
-
(3)
is the central term of an extension of the form
|
|
|
where and with .
Proof.
It is clear that .
One has . By Riemann-Roch we compute and as follows
|
|
|
|
|
|
Combining this with and with the inequality we get
|
|
|
and
|
|
|
In particular has to be locally free since otherwise we would have
.
We also get an exact sequence on :
|
|
|
showing that and is locally free.
If were a torsion free sheaf of rank two on with and , then the
same computations as before would give , which is absurd.
Now , hence cannot be stable with respect to any Gauduchon metric
on . Otherwise there would exist
some irreducible -valued representation of the fundamental group of which is
cyclic infinite, cf. [Pla95]. But this is not the case. Thus admits some coherent subsheaf of rank one which implies that also admits one. This leads to the existence of an exact sequence of the form:
|
|
|
where , are line bundles on and is a locally complete intersection subspace of codimension two of . Now if were not empty the vector bundle would have the same determinant as but a strictly lower second Chern class, which would contradict our second assertion. Thus must be empty.
We may write now for some and , . Then and . The last sum vanishes if and only if each is zero or one, which proves our last claim.
β
We are thus interested in extensions of the type
|
|
|
as in Proposition 2.1.
Proposition 2.2.
Let be an element of and with . Then the dimension of the projective space of non-trivial extensions of by
is , where
when or when and
. Otherwise .
In particular the dimensions of the above spaces of extensions do not exceed , unless or .
If is not an elliptic surface, the maximal dimension for such a space is and it is attained
precisely when and .
Proof.
The dimension of the projective space of non-trivial extensions of by
is computed as follows
|
|
|
|
|
|
|
|
|
|
|
|
whence our claim.
β
3. The main result
Definition 3.1.
A coarse family of vector bundles over an analytic space parameterized by an analytic space
is a family of isomorphy classes of holomorphic vector bundles over together with a covering of
by open subsets such that over each there exists a holomorphic vector bundle
with for all .
We say that the coarse family is effective if the restricted families over the -s
are effective in the usual sense.
Theorem 3.2.
Let be the blow-up of a primary Hopf surface at points and fix a Gauduchon metric
on . Let be a compact irreducible analytic space parameterizing a coarse
family of semi-stable rank vector bundles with determinant and vanishing second Chern class
on . Suppose that a non-empty open part of
effectively parameterizes simple vector bundles.
Then .
Proof.
Let be the vector bundles of the given coarse family.
Under the above assumptions and notations
we first prove that the vector bundles are also organized in a coarse family
over . For this it is enough to check that are locally free
over . This statement is local around a point ,
so suppose for the moment that
and are just small neighbourhoods of the points and .
We may also assume that is irreducible and
non-singular.
We view as the zero set of a section of the pullback of
to
and consider some locally free extension
of to , cf. [Bu00] Lemma 2.2.
Denote by the projection
and by the embedding of into .
From Proposition 2.1 it follows that the restriction of to an exceptional divisor is isomorphic to
. By semi-continuity the splitting type
of over each vertical line will remain . Over
we have an exact sequence:
|
|
|
whose push-forward through gives:
|
|
|
Thus will be locally free
as an extension of locally free terms.
Consider now the rank vector bundles over . In the proof of Proposition 2.1 we have seen that they cannot be stable with respect to any Gauduchon metric on . Thus each allows some destabilizing subsheaf
in . The compactness of will allow us to
find such a destabilizing subsheaf in an
uniform way:
Recall first that and that
the degree map on with respect to a Gauduchon metric on corresponds to a positive constant times the logarithm of the absolute value defined
on , hence any two degree maps are proportional, [LT] 1.3.15. In fact we shall use the degree map induced by on via the embedding .
We denote by the line bundle on
which corresponds to . The analytic subspace
is proper over but doesnβt cover , otherwise we would get
subbundles of arbitrarily high degree whose pullbacks to would contradict the
semi-stability of some . Thus the projection of to is an analytic subspace of contained in a punctured closed disc of .
It follows the existence of a with and
for all .
The composition
will factorize through a line bundle giving an extension
|
|
|
as in Proposition 2.1. Therefore there will be a nontrivial morphism
on , hence
. From Proposition 2.2 it follows that dimension of the projective space of extensions
of the above form
is at most in this case. Note also that the possible line bundles appearing in such extensions run through a countable subset of .
Now each in our family is the middle term of such an extension. Using the effectivity hypothesis on our family and the universal property of the moduli space of simple sheaves, we see
that the open part of which effectively parameterizes simple vector bundles
must be covered by the images of an at most countable number of
spaces of extensions of dimensions
less than . This entails .
β
The following corollary is an immediate consequence of our considerations and of the usual dimension estimate for , [Tom01].
Corollary 3.3.
The moduli space of stable torsion free sheaves of rank two, determinant and vanishing second Chern class on coincides with , has dimension at least and contains no compact component.
Remark that there are choices of Gauduchon metrics such that is not empty. Indeed it was shown in [Tel06] that there even exist metrics such that the central term of the unique βcanonical extensionβ
|
|
|
is stable.