On the curvature of vortex moduli spaces

We use algebraic topology to investigate local curvature properties of the moduli spaces of gauged vortices on a closed Riemann surface. After computing the homotopy type of the universal cover of the moduli spaces (which are symmetric products of the surface), we prove that, for genus g>1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$g>1$$\end{document}, the holomorphic bisectional curvature of the vortex metrics cannot always be nonnegative in the multivortex case, and this property extends to all Kähler metrics on certain symmetric products. Our result rules out an established and natural conjecture on the geometry of the moduli spaces.


Introduction
Gauged vortices [28,39] are of interest as static, stable configurations in various classical gauge field theories with topological solitons. In their simplest realisation, they are defined as solutions (d A , φ) to the vortex equations∂ for the Hamiltonian action of the structure group on the fibres (each equipped with the standard, U(1)-invariant symplectic form), which we fix to be, in a unitary trivialisation, where τ ∈ R. Both vortex equations (1) and (2) are invariant under the group of (unitary) gauge transformations (d A , φ) → (d A + u −1 du, u −1 φ), u ∈ Aut (L) ∼ = C ∞ ( , U(1)), and one is usually interested in solutions up to this action. For most of the discussion in this paper, we shall consider to be a connected, oriented, closed surface of genus g ≥ 1, and sometimes we will denote it by g for emphasis. Although our focus will be on line bundles, the vortex equations above make sense in much broader contexts, and this has been used to compute and generalise the Gromov-Witten invariants [3,13]. The positive integer k := 1 2π i F A expresses the first Chern class c 1 (L) ∈ H 2 ( ; Z) ∼ = Z in units of the fundamental class, and it can be thought of as a quantised magnetic charge or vortex number. So k is the degree of the effective divisor associated to the holomorphic section φ, whose zeroes (counting multiplicities) correspond to locations of individual vortex cores on the surface. It follows directly from (2) that a metric on can only support k vortices provided τ Vol( ) ≥ 4πk, independently of the choice of Hermitian structure on the line bundle. (We use Vol( ) to denote the total area of the surface.) Conversely, Bradlow [11] and García-Prada [19] showed that, if the strict inequality τ Vol( ) > 4πk (4) is satisfied, one can construct a vortex solution from any effective divisor of degree k. Thus the moduli space M k,g of k-vortex solutions on = g up to gauge transformations is the symmetric product M k,g ∼ = Sym k ( g ) := ( g ) k /S k .
(Here S k denotes the symmetric group on k letters, acting on the Cartesian product ( g ) k by permuting the factors.) All these spaces are smooth manifolds, equipped with a natural complex structure induced from the one on g . We will always assume the parameter τ to be fixed and to satisfy τ > 4π k Vol( ) , whenever we refer to a moduli space of vortices. In gauge theory, the result (5) already has interesting consequences at the purely topological level (see [15] for an application); but it turns out that the moduli spaces of vortices have a richer structure, as they also support natural Riemannian metrics. On the tangent space to a vortex represented by (d A , φ), one can define this metric pointwise as the restriction of the L 2 -metric to solutions (Ȧ,φ) of the linearised vortex equations about (d A , φ) orthogonal to the orbit of the gauge group. One can show that the natural complex structure is an isometry of this metric, and the two define a Kähler structure [46]. Alternatively, one can understand these Kähler structures in terms of the symplectic (or Kähler) reduction of the L 2 -metric on the affine space of all fields, with respect to the Hamiltonian action of the group of gauge transformations [19].
The geometry of the vortex metrics has been a focus of interest, since it has a whole range of consequences to the physical behaviour of vortices, which is very hard to study otherwise. For instance, the geodesic flow associated to these metrics gives a good approximation to slow scattering in the abelian Higgs model [52], and the corresponding symplectic form is relevant to construct other dynamical systems with potentially interesting applications [14,35]. Natural extensions of these basic mechanical models might include fermions, or extra potential terms that are covariant with respect to the moduli space metrics, in order to model particular phenomenology. Such extra terms will typically be nonlinear and involve the curvature of the Levi-Civita connection associated to the metric on the moduli space [43]. More generally, curvature properties have implications for spectral geometry, which becomes relevant when one goes on to discuss supersymmetric quantum mechanics, or to construct improved approximations to the dynamics in the underlying classical field theories.
Computing the metrics on the moduli spaces is still a very difficult task. Samols [46] was able to write down a local formula in terms of the moduli, using a remarkable localisation argument in the spirit of previous work by Strachan [51]. From a version of Samols' formula for closed surfaces, one has been able to extract some global information-for example, the symplectic volume [36] of the moduli spaces, their total scalar curvature [2], and other integrals [45] which provide information about vortex interactions [16]. All these quantities are determined by the Kähler class; in contrast, qualitative information about the local geometry, such as more detailed curvature properties, has proven more difficult to obtain. In [38], Manton and Speight described two alternative schemes of studying vortex metrics in the regime of large separation among k ≥ 2 vortex cores on the Euclidean plane = C. These yield an asymptotic Kähler metric whose coefficients can be written in terms of Bessel functions, and from it one calculates the corresponding Ricci tensor. This can be seen to be positive semi-definite (at every point), with two-dimensional kernel consisting of the directions associated to rigid translations, and it leads to a scalar curvature Scal which is strictly positive everywhere.
In this paper, we address curvature properties of the moduli spaces that are consistent with the topological consequences of the result (5), and which are in a sense stronger than the sign of the Ricci curvature. The sectional curvature tensor carries all the curvature information about a Riemannian manifold, but in complex geometry it is natural to restrict it to tangent 2-planes that are invariant under the complex structure J , and this is what is called the holomorphic sectional curvature. Particularly suitable for considerations relating topology to curvature in Kähler geometry is the holomorphic bisectional curvature introduced by Goldberg and Kobayashi [22], which carries more information than the holomorphic sectional curvature but less information than the sectional curvature. Following the conventions in [42], it is defined for J -invariant 2-planes σ, σ in the tangent space at a point by where X, X are nonzero real vectors contained in σ, σ , respectively, and ·, · denotes the Kähler metric. (Clearly, this definition is independent of the real vectors chosen.) With respect to a basis of normal holomorphic vector fields containing vectors ξ, ξ along σ, σ , (6) can also be described as the component R ξξξ ξ of the Riemann tensor in holomorphic coordinates. It is easy to see [22] that positivity (or negativity) of the holomorphic bisectional curvature implies positivity (or negativity) of both the Ricci tensor and the holomorphic sectional curvature, the latter being simply given by H (σ ) = B(σ, σ ). We say that a Kähler metric has nonnegative holomorphic bisectional curvature if B is positive or zero at every point, for all choices of J -invariant 2-planes. Our main result is the following: Theorem 1.1 If g > 1 and 1 ≤ k ≤ 2g − 2, no Kähler metric on Sym k ( g ) can have nonnegative holomorphic bisectional curvature.
Of course, this result applies to the L 2 -metric of vortices described above and is independent of the choice of metric and complex structure on , as well as of the Hermitian inner product on L. Theorem 1.1 is somehow unexpected in the light of what is known about the curvature behaviour of related moduli spaces with their natural Kähler structures. For example, the moduli spaces of Higgs bundles over a compact Riemann surface carry natural metrics [25]. Fibre-integral type formulas for their curvature tensors have been obtained using deformation theory in terms of representatives of Kodaira-Spencer classes, from which one can deduce that these metrics do have nonnegative holomorphic sectional curvature [8]. Similar positivity results have been established for the curvature of natural metrics on moduli spaces of unitary bundles and holomorphic vector bundles over a compact Riemann surface [7,9]. All these results build up on earlier work of Itoh on the geometry of spaces of anti-selfdual connections [27]; see also Takhtajan and Zograf [53] and Jost and Peng [29].
An immediate application of Theorem 1.1 is that it rules out a natural conjecture of Biswas and Schumacher stated in Ref. [10] as Corollary 8.2 (without proof); the authors assert that a related metric on the moduli space of stable triples (E 1 , E 2 , ϕ) associated to solutions of coupled vortex equations [12,20] should have nonnegative holomorphic bisectional curvature.
Here, E i (i = 1, 2) are holomorphic vector bundles over a closed Riemann surface and ϕ : E 2 → E 1 an O -linear holomorphic map. If one takes E 2 to be the trivial vector bundle, ϕ can be identified with a section φ : → E 1 (which determines the morphism ϕ by fibrewise multiplication) satisfying (1), and the coupled vortex equations reduce to the vortex equation (2). Thus gauged vortices are recovered as a special case, and our result above provides counter-examples of this conjecture in the nontrivial multivortex case. In fact, in the case k = 1, for which M 1 (as a complex manifold) is itself, and assuming g ≥ 2, this assertion also follows trivially from the theorem of Gauß-Bonnet, since the Gauß curvature and the holomorphic bisectional curvature on a Riemann surface can easily be seen to coincide. For this reason, our interest will be strictly in the situation where k > 1.
The strategy of proof of Theorem 1.1 in our paper is the following. If Sym k ( g ) had a Kähler metric with nonnegative holomorphic bisectional curvature, so would its universal cover Sym k ( g ). Using classification results (specifically, "rigidity" results obtained by Mok in the 1980s, cf. [42]), this would imply that all homology groups of the universal covering space would be finitely generated. But we can compute these groups using algebraic topology, and it turns out that, if 1 < k ≤ 2g − 2, the middle homology groups H k ( Sym k ( g ); Z) are not finitely generated.
It was pointed out to us that an alternative proof of Theorem 1.1 can be presented, based on results obtained by Fang [17] on the characterisation of compact Kähler manifolds whose holomorphic bisectional curvature satisfies a condition that is weaker than the notion of nonnegativity used in the present paper. This argument explores the fact that the Albanese variety [23] of Sym k ( ) coincides with the Jacobian variety of . General properties of Abelian varieties then imply that, if Sym k ( ) had nonnegative holomorphic bisectional curvature, it would have to be a holomorphic fibration over this Jacobian, as a consequence of Fang's Theorem C in [17]; but this leads to a contradiction for the range of values of k considered in the hypothesis of Theorem 1.1. Since the argument of proof sketched in the preceding paragraph is more constructive, in the sense that it produces new information on the topology of vortex moduli spaces as by-product, we believe that our preference for the strategy of proof using Mok's rigidity results, as given in the present paper, is not unjustified. We are also aware of [6].

Remark 1.2
There is another point of view on the calculations in this paper. Our main strategy to prove Theorem 1.1 is to study the topology of the universal cover of the moduli space of vortices-and this cover has independent interest, since it plays an important role at the level of quantisation. To be more precise: the structure of supersymmetric quantum field theories is reflected in the topology and the Hodge theory of the universal covers of their classical moduli spaces. One famous instance of this is provided by the beautiful Sen conjectures [49]. There is a purely mathematical formulation of these conjectures, which amounts to precise statements about L 2 -cohomology of the universal covers of the moduli spaces of centred magnetic monopoles in R 3 . The dimension of L 2 -cohomology groups gives information about the spectrum of bound states at the lowest energy level, which can therefore be extracted directly from the underlying classical field theory. A variety of methods has been used to prove part of these assertions [26,47,48,50]. There is a striking analogy between this body of results and some of the topological underpinnings of our paper. In particular, from Theorem 4.7 below one can establish vanishing results for certain L 2 -Betti numbers and then, using standard techniques [32], compute the nontrivial L 2 -Betti numbers of the moduli spaces we are considering is this paper. In ongoing work, we study the L 2 -cohomology for vortices in the same spirit as the papers [47,48] mentioned above address the Sen conjectures for monopoles.
Let us present the layout of this paper. We start by sketching standard topological results on the symmetric products of a closed oriented surface in Sect. 2. There is a cell decomposition of Sym k ( ) due to Kallel and Salvatore; in Sect. 3 we recall this construction, and show how to lift it to obtain a cell decomposition of the universal cover, for which we can write down the cellular chain complex. In Sect. 4, we do the algebraic computation that calculates the homology groups of this chain complex. For completeness, we determine the homotopy type of the universal cover in Sect. 5. In Sect. 6 we conclude the proof of Theorem 1.1, and make some final remarks about vortices in Sect. 7.

Remark 1.3
After this work was completed, Indranil Biswas wrote a paper [5] proving that the hypothesis k ≤ 2g − 2 in our Theorem 1.1 is in fact unnecessary, using arguments in algebraic geometry which apply strictly to the case k > 2g − 2.

Symmetric products of a closed oriented surface
For a smooth closed oriented surface and a positive integer k, the k-fold symmetric product Sym k ( ) := k /S k is a smooth, compact 2k-dimensional manifold. If is a complex curve (i.e. is given a complex structure), then Sym k ( ) inherits a complex structure, and it parametrizes degree-k effective divisors on . This justifies the importance of these spaces in classical algebraic geometry, and also why they appear as moduli spaces of k-vortices on . Our main goal in this paper is to prove a curvature property for Kähler metrics on these manifolds which is implied by the topology of their universal covers. To begin with, we shall recall some standard facts about the topology of the symmetric products themselves, and make some preliminary observations that situate our main topological results within the algebraic-geometric context.
The cohomology ring of Sym k ( ) was computed by Macdonald [33], and we will quote the result here for completeness. Suppose that ≡ g has genus g ≥ 1. Start by fixing a symplectic basis {x 1 , . . . x g , y 1 , . . . , y g } for H 1 ( g ; Z) ∼ = Z 2g , i.e. 1-cycles for which the relations for the intersection pairing are satisfied. (This basis is unique up to a base change in Sp 2g Z.) The Poincaré-dual basis then generates the integral cohomology ring of g , where we use labels (mod 2g) such that all cup products are determined by the relations is the fundamental class (see [18]). Macdonald shows [33] that H * (Sym k ( g ); Z) ∼ = H * (( g ) k ; Z) S k , and this is described as follows. For each 1 ≤ ≤ k, let π : ( g ) k → g denote the projection onto the th factor and consider the classes which satisfy the following relations in degree two: We sum over the label and obtain the classes For convenience, we also define Then we have [4,33]: If k > 2(g − 1), all relations (8) are generated by the one with J = N g and r = k − 2g + 1.
, they are generated by those for which r ∈ {0, 1} and equality holds in (9).
Of course, the homology of Sym k ( ) can be read off from this result by Poincaré duality, since these spaces are orientable as complex manifolds. A more refined approach to this calculation was presented by Kallel and Salvatore [31], where a certain homotopy equivalence Sym k ( ) → Sym k ( ) is introduced via a quotienting procedure, together with an explicit cell decomposition of Sym k ( ); then the cell homology of the quotient space can be used to compute the homology of the symmetric products themselves. The Kallel-Salvatore construction will play an important rôle in our discussion, and we shall review it in Sect. 3.
To understand the structure of the universal covers Sym k ( ), one might start by fixing a complex structure on , together with a basepoint p ∈ and a basis of holomorphic 1-forms. These data define an Abel-Jacobi map [23] for each k ≥ 1, which can be interpreted as mapping divisors of degree k on to equivalence classes of holomorphic line bundles. Holomorphic sections of these bundles (modulo multiplication by scalars) vanish at the k points the divisors specify, counted with multiplicities. If k > 2g − 2 = deg K , then there are no special divisors of degree k (i.e. all divisors correspond to invertible sheaves with vanishing first cohomology group). Riemann-Roch then implies that the corresponding spaces of global sections have dimension k − g + 1. Thus we can interpret the pre-image of each line bundle via the map (10) as a space of sections modulo scalar multiplication; so the Abel-Jacobi map is a fibre bundle with typical fibre CP k−g in this situation. The Jacobian variety Jac( ) is a real 2g-torus, and one can draw the diagram : (where the dashed maps exist by the elementary lifting criterion of covering maps [24]). Thus we conclude that for k > 2g − 2 the universal cover Sym k ( ) is itself a CP k−g -bundle over a contractible space, and it has therefore the same homotopy type as the fibres. (Notice that Sym k 0 ∼ = CP k , which is simply connected, so this result is trivially true for g = 0.) However, when k ≤ 2g − 2 this analysis no longer applies and the topology is more complicated, as the dimension of the fibres of (10) will jump on special divisors. We shall establish that, in this case, the universal cover Sym k ( ) turns out to have the same homotopy type as the wedge sum of a complex projective space (whose dimension may be larger than k − g) and an infinite bouquet of k-spheres -cf. Theorem 5.4.
A basic fact that we shall use below is the following result: A proof by M. Roth was presented in [4]. This involves looking at the map → Sym k ( ) given by z → z + (k − 1) p (for a fixed basepoint p ∈ ) and showing that it induces a surjection of fundamental groups, with Abelian image and kernel [π 1 ( ), π 1 ( )].
In the rest of this paper, we will always use x 1 , . . . , x g , y 1 , . . . , y g to denote generators of the fundamental group π of the symmetric product Sym k ( g ). These generators can be regarded as images of a standard basis for H 1 ( g ; Z) as in (7) under the isomorphism in Proposition 2.2.

A cell decomposition of the universal cover
In [31], Kallel and Salvatore define a quotient map r : Sym k ( ) → Sym k ( ), where = g is a closed oriented surface of genus g . They prove that this quotient map is a homotopy equivalence, and give a cell decomposition of Sym k ( ). They use this cell decomposition to compute the homology of Sym k ( ), and thus the homology of Sym k ( ).
Our main goal in this section is to explain how this cell decomposition can be lifted to study the universal covers Sym k ( ), and to describe the associated cell complex. We begin by recalling the original construction in some detail; there is nothing new in our presentation, except maybe that we make an effort to be gentle to non-topologists. After lifting this construction, we will prove the following theorem: Theorem 3.1 Let be a closed Riemann surface of genus g. Let Sym ∞ ( ) be the space The degrees of the generators x i , y i are 0, the degrees of the generators e i , f i are 1, and the degree of γ s is s. The boundary map is given by

multiplicative grading F such that the gradings of e i and f i equal 1, and the grading of γ s equals s/2. Then the cellular chain complex of
The more technical algebraic terms used in the statement of this theorem will be clarified in the subsections below.

Recollection of a construction by Kallel and Salvatore
This is a general construction which for any two-dimensional CW-complex Y and any natural number k produces a CW-complex Sym k (Y ), together with a homotopy equivalence r : It uses special properties of cells of dimensions one and two, and the arguments we shall present do not seem to have an obvious direct generalisation to higher dimensions.
We will mainly be interested in the special case where Y is a cell decomposition of a closed oriented surface with one 0-cell, 2g 1-cells and one 2-cell. It is convenient to do the construction in two steps, first treating the 1-skeleton of the surface. We will denote this 1-skeleton by X , so that Thus X is a one-dimensional CW-complex with one 0-cell. Chose the basepoint v 0 ∈ X to be the point it represents. The 1-cells of X come with characteristic maps φ i : D 1 i → X . We pick a basepoint in the boundary of each D 1 . All attaching maps are automatically basepoint-preserving. The k-fold product X k has a corresponding cell decomposition; the cells are indexed by sequences I = (i 1 , . . . , i k ), where each i j is the index of a 1-cell in X . Let D I = D k . The characteristic maps of the cells are just products These characteristic maps are also basepoint-preserving. The s-skeleton of X k is built inductively by attaching s-cells to the (s − 1)-skeleton: The action of the symmetric group S k on X k preserves the s-skeleton. We obtain a decomposition A free orbit of cells in X k under S k will contribute a single cell to this pushout. More generally, if a cell in X k is built from l times the 0-cell, and k − l distinct 1-cells, its S k -orbit will consist of k l cells. Each open cell in this orbit will map homeomorphically to Sk s (X k )/S k . The union of the corresponding closed cells forms a subspace Sym k (X ) ⊂ Sym k (X ), which has a CW-structure, with the cells we have just described. The inclusion of this subspace is a homotopy equivalence, and there exists a retraction (which is also a homotopy equivalence) This completes the construction for a 1-dimensional CW-complex X with a single 0-cell. The next step is to extend the construction to the case when the CW-complex also has 2-cells. Actually, as we have already said, in this paper we are only interested in the cell structure on a closed surface , formed by gluing a single 2-cell onto a bouquet of circles, and we will specialize to this later.
We have to produce characteristic maps of cells. To generate such maps, we use concatenation, which is the obvious map and which we also write as μ(x, y) = x * y. As in the 1-dimensional case, we do not give the symmetric product itself a cell structure, but we produce a cell complex which is homotopy equivalent to the symmetric product. Following [31], given a 2-complex Y whose 1-skeleton X = Sk 1 Y is a CW-complex with a single 0-cell, we define Sym k (Y ) as the quotient of Sym k (Y ) which for x, x ∈ Sym l (X ) and y ∈ Sym k−l (Y ) identifies x * y with x * y, if x and x have the same image in Sym l (X ). The quotient map is a homotopy equivalence. In this case, there is no corresponding inclusion of Sym k (Y ) into Sym k (Y ), so r is not a deformation retraction to a subspace. The retraction (12) is compatible with concatenation (11), so there are commutative diagrams The attaching maps of cells are given in the following fashion. The cells in Sym k (X ) = Sym k (Sk 1 Y ) are products of distinct 1-cells There is also the 2-cell in Y = X ∪ e 2 with characteristic map γ 2 : D 2 → Y . We can assume that γ 2 is basepoint-preserving. Using concatenation, it produces cells of all even dimensions Finally, we can concatenate the cells in Sym k− j (X ) with γ j for 1 ≤ j ≤ g. This produces a complete list of cells in a cell decomposition of Sym k (Y ). Note that every characteristic map is basepoint-preserving. The homology of Sym k (Y ) can be computed as the homology of the corresponding cellular chain complex C * (Sym k (Y )), whose chain group C n (Sym k (Y )) has a basis indexed by the n-cells (see for instance Chapter 2.2 of [24] for the definition of chain complexes and a discussion of cellular homology). We note that concatenation induces a commutative product In particular, multiplication with the basepoint v 0 ∈ Sym k (Y ) induces stabilization maps i : Sym k (Y ) → Sym k+l (Y ). By the description of the cells of Sym k (Y ), this map identifies Sym k (Y ) with a subcomplex of Sym k+l (Y ). It follows that the induced map of chain groups The multiplication passes to a graded commutative product of chain groups Here, graded commutative means that ). Moreover, the differential in the cellular chain complex is a derivation with respect to this product. That is, if a ∈ C m (Sym k (Y )) and b ∈ C n (Sym l (Y )), then ∂μ k,l * (a ⊗ b) = μ k,l * (∂a ⊗ b) + (−1) k μ k,l * (a ⊗ ∂b).

This product exhibits lim
−→ k C * (Sym k (Y )) as a graded commutative ring, containing C * (Sym k (Y )) as a direct summand. Note that this summand is not closed under ring multiplication. Since the boundary map is a derivation, lim −→ k C * (Sym k (Y )) is a differential graded algebra (DGA), i.e. a graded algebra together with a chain complex structure whose differential preserves the algebraic structure (see [21], Chapter V.3).

Example 3.2
If S 1 is the CW-complex with one 0-cell and one 1-cell e 1 , then for any k ≥ 1 the stabilization map is a homeomorphism onto its image. The ring lim k C * (Sym k (S 1 )) equals the exterior algebra [e 1 ] = Z[e 1 ]/e 2 1 = 0. The differential is trivial, and for k ≥ 1 the inclusion map We now specialize to the case we really are interested in. So let Y be a cell decomposition of a surface g of genus g, with one 0-cell v 0 , 2g 1-cells and one 2-cell. We choose the 1-cells in sets of pairs e i , f i , 1 ≤ i ≤ g, and let the 2-cell D 2 be attached by the word 1≤i≤g (e i f i e −1 i f −1 i ). We can assume that the loop e i represents x i (considered as class in H 1 ( ; Z)) and that the loop f i represents y i (see Sect. 2). We also chose a basepoint in the boundary of each standard disc D n (n = 1, 2).
Let (Sym k (X )) be the characteristic map of the 2-cell. Taking powers of this map, and dividing by the action of the symmetric group, we obtain maps We abusively denote the corresponding cycles by γ 2n . According to Example 3.3, the inclusion X = Sk 1 (Y ) ⊂ Y induces an inclusion has degree k!. It follows that (γ 2 ) k = k!γ 2k , and consequently that The relation (13) means that the characteristic map γ 2 of the 2-cell generates a subalgebra in the cellular chain complex that is isomorphic to what is called a gamma-algebra, and which we will denote by [γ 2 ] following general practice. More concretely, as a group [γ 2 ] is the free Abelian group generated by the classes γ 2n for n ∈ N 0 . This comes with a grading, generated additively from the prescription that γ 2 has degree two; so γ 2n has degree 2n. The multiplication is defined on generators exactly by the relation (13).
It follows from the definitions that The differential on e 1 is trivial by naturality. Since γ 2 is the top cell in g , the differential on γ 2 is zero. It follows from the Leibniz rule that ∂(k!γ 2 k) = ∂(γ k 2 ) = k!(γ 2 ) k−1 ∂γ 2 = 0. Since the chain groups are free groups, it follows that ∂γ k = 0, and thus that the differential is trivial. If we introduce the grading deg( ) exactly consists of the classes in grading ≤ k.
Because the differential is trivial, the chain groups agree with the homology groups. This completes the computation in [31] of the homology of Sym k ( ).

The cell decomposition of Sym k (Y ) studied in the previous subsection lifts to a cell decomposition of the universal cover
for k ≥ 2. Each cell of Sym k (Y ) lifts to a free π-orbit of cells in the universal cover. In particular, the basepoint v 0 ∈ Sym k (Y ) is covered by a free π-orbit of points. Pick one of the points in this orbit to be the basepoint of U k (Y ).
For k ∈ {0, 1} we similarly consider the covering U k (Y ) of Sym k (Y ) corresponding to π. So U 0 (Y ) equals π as a discrete set, and U 1 (Y ) is the simply connected covering of Y determined by the kernel of the Hurewicz map. Note that there is a short exact sequence of monoids:

We lift the basepoint to 0 ∈ π. The cells of Sym k (Y ) lift to cells of U n (Y ). More precisely, the characteristic maps of the cells in Sym k (Y ) lifts to character maps of cells in U n (Y ).
Recall that each cell of positive dimension contains the basepoint in its boundary, and there is a unique basepoint preserving lifting of the characteristic map. By abuse of notation, we use the same notation for a based cell and its based lifting. We obtain all cells in U n (Y ) by translating these cells by the elements of π. It follows that we have a CW-structure on U n ( ) with cells α * v k 0 * e i 1 * · · · * e i l * f j 1 * · · · f j m * γ s , where α ∈ π and k + j + m + s = n. The cellular chain groups are . The differentials are derivations. Since e i is the path representing x i , we have that ∂e i = x i −1, and similarly ∂ f i = y i − 1. The differential of γ 2 is given by tracing the boundary of the lifted cell. For concreteness, we draw the lifted cell for the particular case of a genus two surface including the names of all cells in its boundary. The 0-cell gv 0 is denoted by the corresponding group element g: and since ∂ is a derivation, that Let us write λ :

Homology computations
In this section and the next, X n will denote a one-dimensional CW-complex with n onecells; Y g will denote a two-dimensional complex Y g := X 2g ∪ e 2 such that Y g is homotopy equivalent to the closed Riemann surface of genus g that we call g . That is, Y g is a choice of a CW-structure on g .
The universal cover of the symmetric product Sym k ( ) which we denote Sym k ( g ), is homotopy equivalent to the universal cover of Sym k (Y g ). Restricting this universal cover to the symmetric product of the one skeleton X 2g of Y g , we obtain a (not universal) cov- The total space of this cover has a CW-structure as a subcomplex of U k (Y g ). In Theorem 3.1 we used this CW-structure to determine a chain complex whose homology equals the homology of U k (Y g ). In this section, we shall compute the homology of that chain complex. The strategy of the computation will be as follows. We first compute the homology of U k (X 2g ); this is done in Lemma 4.3. Then we relate H * (U k (Y g )) to the homology of U k (X 2g ) in Lemma 4.5. In order to complete the calculation, we have to do some homological algebra. The main step of this homological calculation is collected in Lemma 4.6, before stating and proving our main Theorem 4.7. (This calculation can also be formulated using spectral sequences, but we prefer to keep the formal machinery as elementary as we can.) Let X = X n be a wedge of n copies of the circle. The cellular homology complex corresponding to the cell decomposition of the symmetric product that we discussed in Sect. 3 can, as explained there, be identified with the DGA Here , and [ψ 1 , . . . , ψ n ] is the exterior algebra on the generators ψ i , each of degree 1.
This chain complex computes the homology of lim . To obtain the homology of C * (U k (X n )), we have to take the subcomplex corresponding to classes of grading ≤ k. Fortunately, the grading agrees with the internal grading, so the subcomplex We will use this complex to compute the homology of U k (X n ).
Remark 4.2 If 0 ≤ k < n, K k is not finitely generated as an Abelian group. In fact, C k (X n ) contains no Z[π ]-torsion, so that any nontrivial element of K k ⊂ C k (X n ) generates a free Z[π ]-submodule of rank one. As an Abelian group, this submodule is free on infinitely many generators. An example of a nontrivial element in K k for 0 ≤ k < n is ∂(ψ 1 ψ 2 · · · ψ k+1 ).

Lemma 4.3 Assume that k ≥ 2.
Proof The untruncated chain complex is the tensor product of n copies of the chain complex The homology of this chain complex is Z, generated by the class 1 in dimension 0, so by Künneth's formula (see [34] Chapter V, Theorem 10.1), the homology of C * (X n ) also consists of Z in dimension 0. The lemma follows on comparing this with the homology of the truncated chain complex.

The cellular chain complex
) generated by cells of grading ≤ k, where the grading is multiplicative on the cells, the gradings of x i and y i are zero, the gradings of e i and f i are 1, and the grading of each γ 2i is i. This time, the grading does not agree with the internal grading because the internal grading of γ 2i is 2i, not i.
There is a natural chain of CW-complexes Each inclusion is the inclusion of a subcomplex. There is a corresponding sequence of cellular chain complexes. Let Q k = C * U k (Y g )/C * U k−1 (Y g ) be the quotient chain complex. We consider C * (X 2g ) as a subcomplex of C * (Y g ), using the identifications x i = ψ i , y j = ψ g+ j for 1 ≤ i, j ≤ g.

Lemma 4.4 The homology of the chain complex Q k is concentrated in one dimension. More precisely
Proof The chain complex Q k is given by Because ∂γ i = λγ i−2 , this chain complex is isomorphic to the chain complex We first consider the corresponding complex and claim that its cohomology is 0 except in degree 2g, where the cohomology is Z. We can write the complex C * (X 2g ) as a tensor product where the boundary maps are multiplication by is a copy of Z generated by f i , and the cohomology of Z[y ±1 i ] ⊗ [e i ] is a copy of Z generated by e i ; actually, there is a short exact sequence It follows from the Künneth formula that the cohomology of C * is a single copy of Z generated by ( 1≤ j≤g e j )( 1≤i≤g f i ).
We now return to the truncated chain complex (15). This chain complex is exact, except at C k (X 2g ) if k < 2g and at C 2g (X 2g ) if k ≥ 2g. The lemma follows.

Lemma 4.5 Let
be the boundary map.
Proof The long exact sequence breaks up into shorter exact sequences, since H i (Q k ) is only nontrivial in a single dimension. We need to consider several cases separately. When k ≤ 2g, we have isomorphisms (I.1) The case k ≤ 2g and i > k: If i > 2k, then C i (U k (Y g )) = 0, so certainly H i (C * U k (Y g )) = 0. It follows by downwards induction from this and from (16) that if k ≤ 2g and i > k, then H i (C * U k (Y g )) = 0. (I. 2) The case k ≤ 2g and i = k: It follows from case (I.1) that H k (C * U k−1 (Y g )) ∼ = 0, so that by (17) the group H k (C * U k (Y g )) is isomorphic to the kernel of the map Moreover, it also follows from (17) Putting these facts together, we obtain that if k ≤ 2g, then H k (C * U k (Y g )) is isomorphic to the kernel of the composite map Using Lemma 4.4 completes the proof of the lemma for these values of i, g and k.
(I.3) The case k ≤ 2g and i < k: Because of (16) it is sufficient to compute H k−1 (C * U k (Y g )). This can be read off from the following diagram with exact rows: Now we turn to the cases when k > 2g. The lemma claims that under this assumption Using Lemma 4.4 and the short exact sequence of chain complexes 0 → C * U k−1 (Y g ) → C * U k (Y g ) → Q k → 0 we see that, for k > 2g, we have isomorphisms (II.1) The case k > 2g and i ≥ 2k − 2g + 1: In this case, i > 2g. It follows from case (I.1) above that H i (C * U 2g (Y g )) ∼ = 0, so we obtain from (18) that and consequently From the short exact sequence 0 3) The case k > 2g, i ≤ 2k − 2g − 2: This follows from case II.2 together with the isomorphisms (18).
Before we prove our main theorem we need one more technical lemma. For 1 ≤ m ≤ g, let σ m := Proof We consider the complex Let B 0 be the image of ∂ : C 1 (X 2g ) → C 0 (X 2g ). There is a short exact sequence of cochain complexes: Let H i be the cohomology of the cochain complex Actually, we can find a generator for each of the homology groups inductively. The first claim is that H 1 is generated by λ. This follows from the long exact sequence (20), by the definition of the boundary map (see e.g. [24] Chapter 2). Assume inductively that H 2m−1 is generated by λσ m−1 . The group H 2m+1 is generated by the image of λσ m−1 under the boundary map of the long exact sequence of (20). To compute this boundary, we first find a chain in C 2g−1 (X 2g ) that maps to the cycle λσ m−1 ; σ m is up to sign such a chain: By the definition of the boundary map, H 2m+1 is generated by the product of λ with σ m , which completes the induction. This finishes the computation of the cohomology of the cochain complex (19). This cohomology agrees with the cohomology of K * except in degrees 0 and 1. To complete the proof of the lemma, we now only have to check that it is true for those two dimensions as well. But this also follows from our computation, and the fact that since K 0 = C 0 (X 2g ), there is a short exact sequence At this point we are able to prove the main theorem of this section.

Theorem 4.7 Let k ≥ 2. Then
Proof In the notations of Lemma 4.5 we have to compute the groups ker ∂ k and ker ∂ k /im∂ k−1 . Consider the following commutative diagram (notation as in the proof of Lemma 4.6): We claim that, if k ≥ 2, then the two columns and the horizontal row are exact. The exactness of the left column follows since q k+1 : C k+1 → K k is surjective. The exactness of the horizontal row and the right vertical column is easy to check by diagram chasing. For instance, to prove exactness of the horizontal row at Since λa = λ 2 b = 0, a represents a homology class in H k . From the diagram above follows that This proves the theorem for the case k = i.
In the case k = i, the same computation proves that, if i < k ≤ 2g, one has Together with Lemma 4.5, this completes the proof of the theorem.
We now wish to make a few remarks on these groups: Lemma 4.8 (1) K k /λK k and λK k are free Abelian groups.
Proof (1) λK k ⊂ K k+1 ⊂ C k+1 (X 2g ), so as a subgroup of a free Abelian group, it is free Abelian. The canonical short exact sequence (2) Since K 2g = 0, we obviously have that K 2g /λK 2g−1 is trivial. Let a ∈ K 2g−1 ; we want to show that λa is trivial. But a = ∂b for some b ∈ C 2g , so λa = λ∂b = ∂(λb). Since λb ∈ C 2g+1 = 0, this class is zero. (3) We need to show that if 2 ≤ k ≤ 2g − 2, then λK k is a nontrivial group. Pick integers 1 < i 1 < i 2 < · · · < i m ≤ g, 1 < j 1 < j 2 < · · · < j n ≤ g such that m + n = k. This can be done, since k ≤ 2g − 2. Let a = e 1 e i 1 . . . e i m f i 1 . . . f j n ∈ C k+1 . The point is that this is a monomial in e and f such that e 1 occurs, but f 1 does not occur. We claim that λ∂a is a nontrivial element of λK k . To see that it is nontrivial, consider the homomorphism F : C * → [e 1 , . . . , e g , f 1 , . . . , f g ] given by F( It follows that λK k = 0. Moreover, λK k ⊂ C n+1 as a submodule over the group ring Z[π ]. There are no zero divisors in this ring, so any nontrivial element of C n+1 generates a copy of Z[π ], which is not finitely generated as an Abelian group. It follows that λK k cannot be finitely generated.

Remark 4.9
For even k, we have a short exact sequence of modules This sequence is split as a short exact sequence of groups, but it is not split as a sequence of In particular, for k = 2, Lemma 9 of [30] shows that for g = 2 we have , which does not contain a submodule isomorphic to Z. However, the result is compatible with ours. If is the augmentation map, there is an isomorphism α : K k /λK k−1 → ker(η).
For the purposes of this paper, the main outcome of our homology computations is the following consequence of Lemma 4.8: Corollary 4.10 Let be a closed, oriented surface of genus g > 1. Assume that 2 ≤ k ≤ 2g − 2. Let Sym k ( ) denote the universal cover of the k-fold symmetric product of . The homology group H k ( Sym k ( ); Z) is a free Abelian group, but it is not finitely generated.

The homotopy type of Sym k ( )
In this section, we determine the homotopy type of the universal cover of the symmetric products of a closed oriented surface. Although not directly relevant to the proof of our main result, we include this calculation for the sake of completeness.
Furthermore, U k (X n ) is homotopy equivalent to a wedge of spheres of dimension k.
Proof According to Lemma 4.3, U k (X n ) has trivial homology in dimensions less than k.
Since it is also simply connected by definition, Hurewicz's theorem says that the Hurewicz map is an isomorphism. The statements about homotopy groups follow from this and the computation in Lemma 4.3 of the cellullar homology of U k (X ). To prove the last statement, chose a family of generators { f α } α∈A for π k (U k (X )). This family defines a homology equivalence f = ∨ f α : ∨S k α → U k (X ). Since both its source and the target are simply connected, f is a homotopy equivalence.
Remark 5.2 Theorem 5.1 is compatible with [31], Lemma 3, which states that Sym k (X ) is homeomorphic to the k-skeleton of the torus T 2g .
Proof If k ≥ 2g, we know from a theorem by Mattuck [40] that U k (Y g ) Sym k ( g ) is homotopy equivalent to CP k−g . We only have to consider the case that k < 2g. The stabilisation map defines a map This map is an isomorphism on homology in dimensions ≤ k − 1, and by Lemma 4.3 and Theorem 4.7 we have an exact sequence We can chose a free subgroup of H k (U k (X 2g )) that maps isomorphically to the image of H k (U k (X 2g )) inside H k (U k (Y g )). The Hurewicz map identifies this subgroup with a free subgroup of π k (U k (X 2g )). Let I be a set of generators for this subgroup. Each generator corresponds to a homotopy class of based maps S k → U k (X 2g ). Together, they define a map f : ∨ i∈I S k → U k (Y g ) such that s • f is homotopically trivial. We intend to show that C( f ) is homotopy equivalent to CP m . The long exact homology sequence of the cofibration defining C( f ) already shows that at least its homology is correct: The homotopy trivialisation of the composite s • f defines a map s from the cofibre C( f ) to CP ∞ . By obstruction theory, the obstructions to factoring this map over CP m lie in the groups H j (C( f ), π j−1 (S 2m+1 )). Since these groups are all trivial, we can find a map h : C( f ) → CP m such that s is homotopic to i • h. It follows that h induces isomorphism on all homology groups. The assertion in the theorem now follows from this and from Whitehead's theorem.
This result is sufficient to determine the homotopy type of U k (Y g ).

Theorem 5.4 There are homotopy equivalences
where m and I are as in Lemma 5.3.
Proof According to Lemma 5.3 we have a cofibration sequence up to homotopy We construct a splitting s, up to homotopy, of the map h : U k (Y ) → CP m . That is, a map s : CP m → U k (Y g ) such that the composite s • f is homotopic to the identity. The existence of this splitting is guaranteed by obstruction theory, since the obstructions to the splitting are in the trivial groups H i (CP m , π i (C( f ), U n ( g )).
Consider the diagram, commutative up to homotopy The top row is a cofibration up to homotopy. It follows that the map f ∨s : ∨ i∈I S n ∨CP m → U n (Y g ) is a homotopy equivalence.

Rigidity and holomorphic bisectional curvature
After the topological digression of the three preceding sections, we are equipped to give a proof of Theorem 1.1. We start by recalling the following rigidity result of Mok [41,42]: where e is the Euclidean metric, ϑ i are Kähler metrics of nonnegative holomorphic bisectional curvature, and h j are canonical metrics on compact irreducible Hermitian symmetric spaces H j of rank > 1.
Recall that a Hermitian symmetric space is a Riemannian symmetric space G/H for a Lie group G, equipped with a parallel complex structure with respect to which the metric is Hermitian; so the complex structure is preserved by H and there is an underlying Kähler structure.
The following is an easy consequence of the classification: Proposition 6.2 Let M be a compact Kähler manifold with nonnegative holomorphic bisectional curvature. Then the total singular homology H * (M; Z) of its universal cover is finitely generated (as an Abelian group).
Proof According to the decomposition of Theorem 6.1, the universal coverM is homotopy equivalent to a product All factors are compact manifolds, so their product is also a compact manifold. But the homology of a compact manifold is finitely generated in every dimension. (see e.g. [24], Appendix, Corollary A9 and Corollary A8).
Proof of Theorem 1. 1 We fix positive integers g and k such that 1 < k < 2g−1, and consider the case of the moduli space of vortices M = Sym k ( g ). Combining Proposition 6.2 with Corollary 4.10, Theorem 1.1 follows immediately in the situation where k > 1. But as we saw in the end of the Introduction, the case k = 1 is trivial.

Vortices on hyperelliptic surfaces
In this final section, we let be a hyperelliptic Riemann surface of genus g ≥ 2 -for example, any smooth complex curve of genus g = 2. Recall that Sym k ( ) is a manifold such that, for k ≥ 2, π 1 (Sym k ( )) ∼ = Z 2g (see Lemma 2.2). In [31], the second homotopy group of this space is discussed. In particular, Lemma 9 of this paper says that In the present work, we have generalised this formula to higher homotopy groups in Theorem 5.1. The hyperelliptic condition can be characterised by saying that admits a holomorphic involution σ : −→ such that p : → /{ p ∼ σ ( p)} is a branched cover over S 2 ∼ = /{ p ∼ σ ( p)}; whenever such map σ exists, it is unique. Given σ or p, there is an obvious holomorphic map α : S 2 −→ Sym 2 ( ) (24) which sends a point of the base S 2 of p to the two (possibly equal) points on covering it. The domain of this map can be interpreted as a projective line parametrising all effective divisors in a g 1 2 (i.e. pencil of degree two, cf. [1]) associated to the hyperelliptic structure. In Lemma 5 of Ref. [30], the image h * ([α]) in H 2 (Sym 2 ( ); Z) of the homotopy class represented by (24) under the Hurewicz map is computed. It is further found that this image is a non-torsion element of the second homology group H 2 (Sym 2 ( ); Z), so [α] and all its integral multiples define nontrivial elements of the second homotopy group π 2 (Sym 2 ( )).
Notice that the hyperelliptic involution σ induces another involution map σ (2) : Sym 2 ( ) −→ Sym 2 ( ), defined on degree two divisors on by x + y → σ (x) + σ (y). Clearly, the set of fixed points of this map σ (2) is the image of the map α in (24). We have the following result: The image of the map α is a noncontractible holomorphic 2-sphere in the moduli space of two vortices on . If the map σ (2) is an isometry of the vortex metric on Sym 2 ( ), then this 2-sphere is totally geodesic.
Proof The argument we have just given above already impies that α(S 2 ) is not contractible in Sym 2 ( ). Since α is holomorphic, it embeds the 2-sphere as a complex submanifold. It is a general result in Riemannian geometry that, if the the set of fixed points of an isometry form a submanifold, it is necessarily totally geodesic -this follows easily from the Picard-Lindelöf theorem applied to geodesic flow (see Appendix A in [44]).
The induced L 2 -metric gives a shape to this 2-sphere, whose geometry would be interesting to understand. In [37], it is shown that, as τ → 4π k Vol( g ) (the "dissolving limit"), the metric degenerates: null-vectors appear precisely along the tangent directions to this 2-sphere as the limit is attained. A number of natural questions can be asked, for example: which metrics on will ensure that this sphere is round, or that it admits nontrivial isometries?