On the connected components of the moduli space of equivariant minimal surfaces in CHCHCH 2 .

An equivariant minimal surface in CH n is a minimal map of the Poincaré disc into CH n which intertwines two actions of the fundamental group of a closed surface (cid:2) : a Fuchsian representation on the disc and an irreducible action by isometries on CH n . The moduli space of these can been studied by relating it to the nilpotent cone in each moduli space of PU ( n , 1 ) - Higgsbundlesovertheconformalsurfacecorrespondingtothemap.Byprovidinganecessary conditionforpointsonthisnilpotentconetobesmooththisarticleshowsthatawayfromthe pointscorrespondingtobranchedminimalimmersionsor ± -holomorphic immersions the moduli space is smooth. The argument is easily adapted to show that for RH n the full space of (unbranched) immersions is smooth. For CH 2 we show that the connected components of the moduli space of minimal immersions are indexed by the Toledo invariant and the Euler number of the normal bundle of the immersion. This is achieved by studying the limit points of the C × -action on the nilpotent cone. It is shown that the limit points as t → 0 lead only to branched minimal immersions or ± -holomorphic immersions. In particular, the Euler number of the normal bundle can only jump by passing through branched minimal maps.


Introduction
Let be a closed oriented surface of genus g ≥ 2 and let N be a noncompact irreducible symmetric space. Denote by G the identity component of the isometry group of N . By an equivariant minimal surface we mean a minimal immersion f : D → N of the Poincaré disc D which intertwines the action of a Fuchsian representation c : π 1 → Aut(D) with an irreducible representation ρ : π 1 → G. By a theorem of Corlette [5] (generalising a theorem of Donaldson for N = RH 3 [6]), the triple ( f , c, ρ) is uniquely determined by the pair (c, ρ), and if one considers that f is essentially unchanged by pre-composition or post-composition by isometries, then one only needs the conjugacy classes of c and ρ.
points (points p ∈ for which f * T 1,0 p is a subspace of either T CH 2 or T CH 2 ). These give effective divisors, D 2 and D 1 respectively. From [18] their degrees d j = deg(D j ) satisfy 0 ≤ 2d 1 + d 2 < 6(g − 1), 0 ≤ d 1 + 2d 2 < 6(g − 1), (1.2) where T ⊥ is the normal bundle of f , which means the quotient of T D ⊥ ⊂ f −1 T CH 2 by the natural action of π 1 . The inequalities are necessary and sufficient conditions for the existence of minimal immersions which are not ±-holomorphic. In particular, the degrees d 1 , d 2 are equivalent information to the pair τ and χ(T ⊥ ). For holomorphic immersions the only topological invariant is the Toledo invariant, which determines χ(T ⊥ ) through . (1.3) This follows by taking the quotient of the direct sum of holomorphic bundles f −1 T CH 2 = T 1,0 D ⊕ T D ⊥ by the π 1 -action. Let V(d 1 , d 2 ) ⊂ V denote the subset of those immersions whose divisors have these degrees fixed. It was shown in [18] that each V(d 1 , d 2 ) can be parametrised by a smooth connected complex manifold of dimension 8(g−1) (actually in [18] we included the branched minimal immersions, which occur when D 1 ∩ D 2 = ∅, but as these are described by a complex analytic subvariety removing these does not affect the connectedness of V(d 1 , d 2 )). In Lemma 5.1 below we show that the parametrisation in [18] is smoothly compatible with the structure it inherits from Theorem 1.1. Since V(d 1 , d 2 ) all have the same dimension they are therefore the connected components of V. To establish the connected components of M( , CH 2 ) it remains to see how these fit together with points of W. Set W τ = W ∩ M( , CH 2 ) τ for each τ . We need only consider τ ≥ 0 since M( , CH 2 ) carries a natural real involution For 0 < τ < 2(g − 1) the connected components of M( , CH 2 ) τ are V(d 1 , d 2 ) with d 1 = 0 and V(0, d 2 ) ∪ W τ , while M( , CH 2 ) τ = W τ for τ = 2(g − 1).
In particular, the connected components are indexed by τ and χ(T ⊥ ): when d 1 = 0 the two equations (1.1) become the single equation (1.3).
This theorem is proved through a complete description of the limit points of the C × -action t · (E, ) = (E, t ) on PU (2, 1)-Higgs bundles, for both t → ∞ and t → 0. As well as proving the theorem, it gives us information about how the closures of the connected components fit together inside the space M( , CH 2 ) which includes all branched minimal immersions. On the Higgs bundle side this corresponds to the space of all (c, E, ) for which (E, ) lies in the nilpotent cone N c excluding the locus = 0 (since this corresponds to constant maps). Each N c is known to be stratified by the unstable manifolds of the downwards Morse flow for the Higgs field energy 2 L 2 : for each connected component C of critical points these agree with It was conjectured in [18], and is proven below, that except when C consists of local minima (there is precisely one such C for each τ and it equals W τ ) these unstable manifolds correspond to the fibres of the analytic family V(d 1 , d 2 ) over T g . We understand how these fit together by examining the limit in the opposite direction, as t → 0. It is well-known that when E is semi-stable (as a vector bundle) the limit lim t→0 (E, t ) must have = 0 and therefore this can only occur when τ = 0. When E is strictly unstable (and assuming τ ≥ 0 without loss of generality) we show that either (E, 1 ) is a Hodge bundle, in which case this is limit, or the limit is determined by the maximal destabilizing line subbundle of V and always corresponds to a branched minimal immersion.
Thus we have the the following geometric picture of how these pieces fit together. Each fibre over c of the space M( , CH 2 ) τ is a union of these unstable manifolds, and their closures intersect either at branched minimal surfaces or at ±-holomorphic surfaces. Removing these leaves a disjoint union of components V(d 1 , d 2 ), one for each critical manifold of non-minima. In particular, one cannot pass from one component V(d 1 , d 2 ) to another in M( , CH 2 ) without forcing the minimal immersion to branch somewhere. Another way of saying this is that χ(T ⊥ ) can jump but only by passing through branched maps.

Definitions
Let C n,1 denote C n+1 equipped with the pseudo-Hermitian inner product characterised by Let e 1 , . . . , e n+1 denote the standard basis vectors for C n+1 . We model CH n on the space of lines in CP n generated by a negative definite vector and fix a base point o = [e n+1 ]. Throughout this article we set G = PU (n, 1), the group of orientation preserving isometries of CH n , and let H U (n) denote the maximal compact subgroup which fixes the base point o. The Lie algebra g = su(n, 1) of G has Cartan decomposition g = h ⊕ m corresponding to the decomposition of elements where A ∈ u(n), a = − tr(A), u ∈ C n and u † is the Hermitian transpose. Let be a closed oriented surface of genus g ≥ 2 and let D denote the Poincaré disc thought of as the universal cover of (note that D CH 1 ). A Fuchsian representation c : π 1 → PU (1, 1) equips with a complex structure which will be denoted c . We will assume this complex structure is compatible with the orientation of and hence the set of conjugacy classes of such Fuchsian representations can be identified with the Teichmüller space T g of . An equivariant minimal surface in CH n is the equivalence class [ f , c, ρ] of a triple consisting of a Fuchsian representation c, an indecomposable representation ρ : π 1 → G and a minimal immersion f : D → CH n which intertwines the actions of c and ρ, i.e., Equivalence is with respect to the action of PU (1, 1) × G by conjugation on (c, ρ) and the corresponding natural action on f . Indecomposability of ρ means exactly that its image does not lie in a proper subgroup of G. By the same argument as [17,Lemma 2.3] it is equivalent to the condition that f is linearly full (i.e., its image does not lie in a totally geodesic copy of CH k for k < n).

Remark 2.1
We could also say ρ is irreducible in its standard real representation on C n,1 , although there is the potential for confusion with other meanings of irreducibility (say, for the adjoint representation of the complexification G C ).
We use M( , CH n ) to denote the set of equivariant minimal surfaces and give it the topology of its natural embedding into the product of Teichmüller space with the character variety R(π 1 , G) of reductive representations of π 1 into G modulo conjugacy. This map is injective by Corlette's uniqueness theorem for equivariant harmonic maps under these conditions [5]. We will denote by M( c , CH n ) the fibre over fixed c ∈ T g . Recall that, for each choice of c, non-abelian Hodge theory provides a homeomorphism between R(π 1 , G) and the moduli space H( c , G) of polystable G-Higgs bundles over c (and this homeomorphism is analytic away from singularities). Indeed, for any simple noncompact G there is a homeomorphism between T g × R(π 1 , G) and the universal Higgs bundle moduli space H(C g , G) over T g [1, Thm 7.5] (here C g denotes the universal Teichmüller curve over T g ). This is a complex analytic space for which the fibre over c ∈ T g is biholomorphic to H( c , G). This homeomorphism is smooth about smooth points and therefore we obtain an embedding when G = PU (n, 1). This equips M( , CH n ) with a complex analytic structure. We can easily characterise the image of F . Recall that in the projective equivalence class of the G-Higgs bundle (E, ), E can be taken to have the form V ⊕ C where V is a holomorphic rank n bundle over c and C denotes the trivial line bundle. The Higgs field satisfies ∈ (Hom(C, V ) ⊕ Hom(V , C)) ⊗ K , and we will write = ( 1 , 2 ) to indicate the two components for this decomposition. It is well-known that the harmonic map corresponding to (E, ) is weakly conformal (therefore branched minimal) when tr( 2 ) = 0. The branch points correspond exactly to the zeroes of . Consequently we have the following elementary observation. Each equivariant minimal surface ( f , c, ρ) has associated to it the Toledo invariant τ of ρ and we denote the subset of triples with fixed τ by M( , CH n ) τ . Our convention will be that τ = − 2 n+1 deg(V ) so that |τ | ≤ 2(g − 1): this matches Toledo's original definition and is the one used in [18].
We will also write M( , CH n ) as a disjoint union V ∪ W where W consists of all ±holomorphic immersions and V is the complement. Each of these has its subsets V τ , W τ containing those elements with fixed Toledo invariant. We note that under the non-abelian Hodge correspondence elements of W correspond to Higgs bundles with 2 = 0 for τ > 0 or 1 = 0 for τ < 0. Since we always have = 0 we know W 0 = ∅. Note that W τ corresponds to the length two Hodge bundles [18], which are the minima of the Higgs field energy 2 L 2 [4].
From [18] we know that when n = 2 the space V is a disjoint union of subsets V(d 1 , d 2 ), corresponding to PU (2, 1)-Higgs bundles for which V and are determined by an exact sequence [18] There is a one-to-one correspondence between Higgs bundles of this type and data (c, D 1 , D 2 , ξ) where ξ is the extension class of this extension: this was used in [18] to give each V(d 1 , d 2 ) the structure of a complex manifold of dimension 5(g − 1). Finally, we will want to consider the strictly larger space M( , CH 2 ) which includes additionally the branched minimal immersions. Under F it maps to the locus tr( 2 ) = 0 excluding the Higgs bundles with = 0. We will writeV andW when we extend V and W to include branched minimal immersions of the respective types. The total space is disconnected into Toledo invariant pieces M( , CH 2 ) τ and for τ = 0 each of these is connected. This follows from the fact that for τ = 0 each fibre over c ∈ T g agrees with the component N c τ of the nilpotent cone in Toledo invariant τ , and these are connected by the downwards Morse flow. For τ = 0 this fibre is N c 0 without the locus = 0. Since this locus is the critical manifold of minima we can no longer use the Morse flow argument, and an understanding of the connected components would require a different approach.

Smooth points of M(6, N)
For N = CH n or RH n let V ⊂ M( , N ) denote the subvariety of points where neither j is identically zero. For RH n this is the whole space while for CH n it consists of the equivariant minimal surfaces which are not ±-holomorphic. Because we assume ρ is indecomposable there are no singular points of T g × R(π 1 , G) in V.
Recall that C g denotes the universal Teichmüller curve over T g . If we denote by H 0 (C g , K 2 ) the bundle over T g with fibre H 0 ( c , K 2 ) then the map is complex analytic. We will denote its zero locus (i.e., the preimage of the zero section of H 0 (C g , K 2 )) by N : for real rank one groups like PU (n, 1) and SO 0 (n, 1) this is the union ∪ c∈T g N c of all nilpotent cones.
Let N o ⊂ N denote the open subvariety for which vanishes nowhere and neither j is identically zero. Then N o is the image of V in H(C g , G) and Theorem 1.1 is the statement that N o is smooth. We will prove this by showing that points of N o are regular points of I.
is a regular point of I c , the restriction of I to the fibre over c. We do this by generalising an argument used by Hitchin for SL(2, C)-Higgs bundles [12] to compute the rank of dI c . For this we must recall the hypercohomology description of the tangent space to H( c , G) [3].
Let P → c denote the principal H C -bundle whose associated bundle is E, and let P(h C ), P(m C ) denote the holomorphic h C and m C bundles associated by the adjoint action of H C on these subspaces of g C . One knows from [3] that when (E, ) is stable the tangent space at this point is isomorphic to the first hypercohomology H 1 (A * ) of the complex where A 0 is the sheaf of local sections of P(h C ) and A 1 is the sheaf of local sections of P(m C ) ⊗ K . As Hitchin [12] points out, by considering the "second" spectral sequence for the hypercohomology of A * (i.e., the spectral sequence for the filtration by the degree of Cech cochains) one obtains an isomorphism for H 1 (A * ) involving the kernel and cokernel sheaves namely, Now let B denote the Killing form on g C , specifically B(η, ξ ) = tr(ad η ad ξ). By adjoint invariance B( , ad (η)) = 0 for all η, so that we have a well defined map of sheaves and an induced map from H 0 (Coker) to H 0 (K 2 ). When pre-composed with the projection of Proof When Coker is rank one B( , ·) vanishes precisely at the zeroes of with the same divisor of zeroes, D, and hence Coker is maximal rank, and hence dI has maximal rank, if and only if has no zeroes. Now our aim is to show that ad has corank 1 for points of V. First we do the case N = CH n . Lemma 3.2 For G = PU (n, 1), when neither j is identically zero the map ad has corank one.
Proof Following [18], since tr( 2 ) = 0 we have 2 • 1 = 0, and so we have a sequence where D j is the divisor of zeroes of j . About each point p ∈ we can choose a local holomorphic chart (U , z) and a local holomorphic frame σ 1 , . . . , σ n for V over U satisfying Here k, l are, respectively, the degrees of D 1 and D 2 at the point p and σ 0 denotes a local trivialising section of the trivial bundle. With respect to this frame is represented as a local section of End(E) ⊗ K by dz, (3.6) where in the second expression the standard basis vectors e 1 , . . . , e n for C n have been used to write the matrix in block form. Let χ be a local holomorphic section of P(h C ), identified with a locally holomorphic h C -valued function. We compute hold. In components these equations are We see that this gives 2n − 1 independent equations since A n1 = 0 appears twice. Hence ad ξ has rank 2n − 1 = dim m C − 1.
Now we deal with the case N = RH n and follow the description of the Higgs bundles for this case given in [17]. These have the form E = V ⊕ C where V has det(V ) = C and carries a non-degenerate quadratic form Q V . In this case 2 = 1 where the transpose is with respect to Q V . It follows that for f to be an immersion both j vanish nowhere so both divisors D 1 , D 2 are trivial. As a smooth bundle V splits into a direct sum K −1 ⊕ W ⊕ K and with respect to this splitting we can write Then is represented by ξ in (3.6) with k = l = 0. For the Lie algebra we use , and the transpose is the usual matrix transpose. The appropriate (complexified) symmetric space decomposition is obtained from the Cartan decomposition (2.1) above:

Lemma 3.3
For G = SO 0 (n, 1) the map ad has corank one.
Proof Following the same arguments as for CH n above but applied to so(Q, 1) it suffices to show that the map ad ξ : h C Q → m C Q has corank 1. Using the equations (3.7) but with χ ∈ m C Q we we see that the image of ad ξ is isomorphic to The symmetry A t = −AQ A implies that A n1 = 0 and this is the only condition Ae 1 must satisfy. Therefore im(ad ξ) has codimension one in m C Q .
To complete the proof of Theorem 1.1 we note that at regular points the dimension of (R(π 1 , G)).
Here dim (R(π 1 , G)) means the dimension of the smooth open subvariety of indecomposable representations. This has real dimension (2g − 2) dim(G). It is well-known that C × acts on G-Higgs bundles by t · (E, ) = (E, t ), t ∈ C × , and that the fixed points of this action are Hodge bundles, i.e., one can write E = ⊕ m j=1 E j so that : E j → E j+1 ⊗ K with E m+1 = 0. The integer m is called the length of the Hodge bundle. It is also well-known that these fixed points are exactly the critical points of the Higgs field energy E(E, ) = 2 L 2 . Given one of the connected components C of C × -fixed points define By a theorem of Kirwan these agree with, respectively, the stable and unstable manifolds of C along the downwards Morse flow (gradient flow of − grad E). One knows that ∪ C S C equals H( c , G) while ∪ C U C equals the nilpotent cone N c .
Our aim in this section is to identify the limit points as t → ∞ and t → 0 inside M( , CH 2 ).
First we note that if j = 0 for either j = 1 or j = 2, the pair (E, ) is plainly a Hodge bundle of length 2, hence a C × -fixed point. So our interest is when neither j vanishes identically. In this case, using (2.4), as a C ∞ -bundle (4.1) The∂-operator for the holomorphic structure of V can be written with respect to this smooth splitting as∂ where β is a smooth (0, 1)-form taking values in Hom(K (−D 2 ), K −1 (D 1 ))): its Dolbeault cohomology class [β] corresponds to the extension class in H 1 (K −2 (D 1 + D 2 )) which determines the extension (2.4). When [β] = 0 it is easy to check that this gives a Hodge bundle [18], which we will denote by (E ∞ , ∞ ). Here E ∞ = V ∞ ⊕ C where V ∞ is the holomorphically split bundle (4.1) and are the natural inclusion and projection respectively. Notice that ∞ = as a map on smooth bundles.
The proof is essentially the same as the proof of Prop. 4.9 in [17].
Proof We perform a gauge transformation. Set Let E t denote the holomorphic bundle for this∂-operator.
Recall that in [18] the data (c, by fixing the degrees of the divisors. Let V(d 1 , d 2 ) denote the closure of this in V, i.e., where D 1 , D 2 can have points in common. By [18] this is a complex analytic family over Teichmüller space: let V c (d 1 , d 2 ) denote the fibre over c ∈ T g . The previous lemma shows that, under the map from V c (d 1 , d 2 ) to Higgs bundles over c , (c, D 1 , D 2 , [t −2 β]) maps to (E, t ) and therefore the limit as t → ∞ is given by the trivial extension for V . Given that this parametrisation of Higgs bundles is smooth (which is proved in Lemma 5.1 below) we have the following corollary, which was conjectured in [18].

the trivial extension).
Now we turn to limits as t → 0. For a stable Higgs bundle (E, ) with Toledo invariant τ with E = V ⊕ C we note that τ = − 2 3 deg(V ) in our convention. Since the dual Higgs bundle has opposite Toledo invariant we may assume that τ ≥ 0. where ϕ is the projection of 1 : C → V ⊗ K to the quotient.

. Suppose (E, ) is not a Hodge bundle and therefore is given by a nontrivial extension of the form (2.4) for effective divisors D
(iv) τ ≥ 0, V is unstable and its maximal destabilizing line subbundle L has deg(L) > 1

deg(V ). In this case there is a positive divisor D so that L, V /L have the isomorphisms in (iii) but now (E 0 , 0 ) is a length three Hodge bundle of the form
where 0 1 is the projection of 1 to (V /L) ⊗ K , and 0 2 is the restriction of 2 to L.
In case (i) the limit corresponds to a constant harmonic map. In all other cases except (ii) with d 1 = 0 (i.e., 1 has no zeroes) the limit corresponds to a branched minimal surface. In case (iii) these are branched holomorphic maps to a totally geodesic CH 1 in CH 2 . [20], which is polystable and hence the limit in moduli space. In particular, note that either V is polystable and E = Gr(E), or V is strictly semistable and a non-trivial extension of its maximal degree line subbundle L of degree 0. Then a Jordan-Hölder filtration for E is L ⊂ L⊕C ⊂ E and Gr(E) = L⊕C⊕V /L. (ii) In this case write the holomorphic structure and Higgs field for (E, t ) in block decomposition with respect to E = V ⊕ C: A simple computation shows that for This gives a C ∞ -isomorphism E V /L ⊕ L ⊕ C. With respect to such a decomposition we can write Using the gauge transformation a straighforward calculation gives Setting t = 0 gives (4.5). Note that ϕ = ϕ 13 is the projection of 1 : K −1 (D 1 ) → V onto V /L and has divisor of zeroes D 1 + D since it vanishes when either 1 = 0 or at the support of im 1 ∩ L. But 2 • 1 = 0 so the support of D is all the points at which im 1 is not zero but lies in L.
(iv) As in the previous case we first show that the proposed limit (4.6) is a stable Higgs bundle. Since the only proper 0 invariant subbundles are V /L and V /L ⊕ C, and since deg(V ) ≤ 0, the stability condition is the single inequality 1 2 Now to show this gives the limit we use the same argument as part (iii) but with In this case Setting t = 0 gives (4.6) with 0 1 = ϕ 13 , the projection of 1 onto (V /L)⊗ K , and 0 2 = ϕ 32 , the restriction of 2 to L. The latter has zeroes D 2 + D by definition, and the former has zeroes D 1 + D for the same reason as in part (iii).
Note that this argument works perfectly well even when D 1 , D 2 already have points in common (although D will not be the full branch point divisor in that case), and it tells us something about singularities of the nilpotent cone. When C consists of length three Hodge bundles U C is smooth and of dimension 5(g − 1): this follows either from the Morse index calculation of Gothen [9,Prop 3.2] or the dimension count in [18] for V c (d 1 , d 2 ), given Corollary 4.2. Any point on C which is a limit point as t → 0 (i.e., from some U C for C = C) lies on both the stable and unstable manifolds of C, which are transverse, and therefore the tangent space at this point has dimension greater than U C . Thus such limit points are singular points of the nilpotent cone. We can ask whether every length three Hodge bundle of the form (4.6) (i.e., with common divisor D) is such a singular point. The answer is no: by the following result there are many such Hodge bundles which are not limit points. Recall from [18] that the necessary and sufficient conditions for (4.6) to give a stable Higgs bundle are the inequalities 0 ≤ 2d 1 + d 2 < 6(g − 1), 0 ≤ d 1 + 2d 2 < 6(g − 1), (4.8) where d j = deg(D j + D).  1). Then the Hodge bundle with V given by (4.6) does not lie at the limit as t → 0 of a C × -orbit in a different unstable manifold.
Proof First, the two inequalities imply that (4.6) corresponds to a stable Higgs bundle with τ ≥ 0. By Prop. 4.3 such a limit can only be obtained from case (iv), where V has unique maximal destabilizing line subbundle L K (−D 2 ) and V /L K −1 (D 1 ). The existence of this requires using Serre duality. But the right hand dimension is zero whenever deg(K −1 (D 1 + D 2 )) < 0, i.e., when d 1 + d 2 < 2(g − 1).

Connected components of M(6, CH CH CH 2 )
Our aim is to prove Theorem 1.2. First we must recall some more facts from [18]. From [18] d 2 ) where the non-negative integers d 1 , d 2 satisfy the inequalities (4.8). Points of V(d 1 , d 2 ) are parametrised by the data (c, D 1 , D 2 , ξ) where D 1 , D 2 are effective divisors of degree d 1 , d 2 and ξ denotes the extension class for the extension (2.4). This class can be freely chosen in H 1 ( c , K −2 (D 1 + D 2 )) and this parametrisation gives V(d 1 , d 2 ) the structure of a complex analytic family over c ∈ T g . The fibre over c ∈ T g , which we will denote by V c (d 1 , d 2 ), is the holomorphic vector bundle over We need to show first that this parametrisation is smooth with respect to the smooth structure of M( , CH 2 ) given above, which uses its embedding in T g × R(π 1 , G). Since we are always dealing with points which are smooth in the latter we can use the nonabelian Hodge correspondence to identify the smooth locus of R(π 1 , G) with the smooth locus of Higgs bundle moduli space H( c , G). It therefore suffices to prove the following lemma.

Lemma 5.1 For each fixed c ∈ T g we get a holomorphic embedding
by assigning to (D 1 , D 2 , ξ) the Higgs bundle (E, ) for which E = V ⊕ C where V and arise from the extension ξ using (2.4).
We know from [18] that Z is one-to-one, so it suffices to show that it is a holomorphic immersion.
Before we begin the proof we need to fix a convention for which way to represent 1cocycles with values in a vector bundle. For a vector bundle F with model fibre A and local transition relations ψ i = a i j ψ j between local trivialisations ψ i over a Leray cover {U i }, let (ξ i j , U i , U j ) be a 1-cocycle for a class in H 1 (F), i.e., ξ i j ∈ (U i ∩ U j , F) satisfy ξ i j + ξ jk = ξ ik . Then we choose to represent this by the local functions and the 1-cocycle conditions are equivalent to Note that the opposite convention, to use ψ j (ξ i j ) instead, is used in Gunning [11]. In what follows we need this for H 1 (A 0 ) and H 1 (K −2 (D 1 + D 2 )).
Proof To describe the map Z concretely about a point (D 1 , D 2 , ξ), let P 1 , . . . , P d be the points in the support of D 1 + D 2 and let U 0 , . . . , U d be the Leray cover of c for which each U j for j ≥ 1 is an open disc about P j , with U j ∩ U k = ∅ for j = k, and U 0 ∩ U j is an annulus excluding an open disc about P j . Since V is determined by the extension class ξ , V has 1-cocycle g = {(g 0 j , U 0 , U j ) : 1 ≤ j ≤ d} given by Here, for j ≥ 1, z j is a local parameter in U j centred at P j and n j is the degree of D 1 at P j while m j is the degree of D 2 at P j . By dz 0 we simply mean a non-vanishing holomorphic 1-form on U 0 . By ξ 0 j we mean the local section of K −2 (D 1 + D 2 ) over U 0 ∩ U j which comprises a 1-cocycle representing the extension class ξ . The 1-cocycle g determines a trivialisation χ j of V , and dual χ * j of V * , over U j . When we think of the Higgs field components as 1 ∈ H 0 (V ⊗ K ) and 2 ∈ H 0 (V * ⊗ K ) these satisfy and for j ≥ 1 An open neighbourhood around D 1 ∈ S d 1 c (respectively D 2 ∈ S d 2 c ) is determined by collection of monic polynomials z n j j + u j (z j ) (respectively z m j j + v j (z j )) whose zeroes lie in U j . Note that if P j is not in the support of D 1 then n j = 0 and u j is the zero polynomial (and likewise for m j , v j when P j is not in the support of D 2 ). The coefficients of the polynomials u j (z j ), v j (z j ) provide a local chart about (D 1 , D 2 ). At a pair (D 1 , D 2 ) in this neighbourhood of (D 1 , D 2 ) any ξ ∈ H 1 (K −2 (D 1 + D 2 )) can be represented by a 1-cocycle {(ξ 0 j , U 0 , U j )}.
The map Z maps (D 1 , D 2 , ξ ) to the Higgs bundle constructed as above but with z n j j replaced by z n j j + u j (z j ), z m k k replaced by z m k k + v k (z k ), and ξ 0 j replaced by ξ 0 j . It is easy to see that smooth variations of these parameters result in smooth variations of the Higgs bundle.
Our aim now is to show that dZ has trivial kernel at each point. First we describe the tangent space to V c (d 1 , d 2 ) at a given point.
we can fix a local trivialisation over a neighbourhood of (D 1 , D 2 , ξ) and identify the tangent space at that point with We will write elements of this in the form (w, y, η). Further, the vector w (and similarly y) can be described as follows. It is well-known that where m P j ⊂ O P j is the maximal ideal of locally holomorphic functions about P j which vanish at P j . We will identify and therefore write w ∈ T D 1 S d 1 c as a tuple w = (w 1 , . . . , w k ) of polynomials. This is tangent to the curve D 1 (t) on S d 1 c for which D 1 (t) is the divisor of zeroes given by the locally defined polynomial z n j j + tw j (z j ) in U j (for t sufficiently close to zero). Given such a tangent vector (w, y, ξ), let (D 1 (t), D 2 (t), ξ(t)) be the curve it is tangent to, obtained as above using u j = tw j , v j = t y j and ξ(t) = ξ + tη (using the local trivialisation of V c (d 1 , d 2 )). Let Z(t) = (E(t), (t)) denote the image curve, with E(t) = V (t) ⊕ C, and let g 0 j (t) denote the transition functions for V (t), in the form (5.1). These have entries In particular, χ 0 ( 1 ), χ * 0 ( 2 ) are time-independent. The derivative Z (0) is represented by a hypercohomology class in following [3]. Specifically, it is the class of a pair (A, B) for which A is represented by the 1-cocyle where we have dropped the Cech cocycle subscripts for notational simplicity. If we write B = (B 1 , B 2 ) where B j = j (0) then explicit calculation gives If Z (0) = 0 there must exist C ∈ C 0 (A 0 ) for which A = δC and B = [ , C]. We may assume C is represented by an upper triangular 0-cocycle of the form where the entries are holomorphic functions in U j . The Lie bracket [ , C] corresponds to the pair (−C 1 , 2 C) and calculation gives Comparing this with (5.4), since deg(w j ) < n j and deg(y j ) < m j it follows that B = [ , C] if and only if both sides are zero, i.e., a j = 0 = c j and w j , y j are both identically zero. This in turn means that the 1-cocycle in (5.3), which represents A, is Thus the kernel of dZ is trivial.
It follows that each V(d 1 , d 2 ) is smooth and connected as a submanifold of V, and each is open since they have the same dimension. Thus we conclude: To complete the proof of Theorem 1.2 we need two more lemmas. Both concern τ > 0. The first says that Proof It suffices to prove that this is true for each fixed conformal structure c. So fix c and τ > 0, and let C be the critical manifold of minima for the Higgs field energy E = 2 L 2 for this value of τ . Let C 0 ⊂ C be the open subset of Higgs bundles for which has no zeroes. Let C be the critical manifold of E for which V c (d 1 , d 2 ) corresponds to U C , the closure of the unstable manifold of the downward gradient flow of E (equally, the unstable manifold for the C × -action). The assertion is that U C ∩ C 0 = ∅ whenever d 1 = 0. Suppose (E, ) ∈ U C ∩ C 0 , then it is the limit of a sequence (E k , k ) of Higgs bundles in U C . We may assume without loss of generality that each k 2 L 2 lies below the penultimate critical value of E, and therefore all (E k , k ) lie in the stable manifold S C . Taking the limit as t → 0 is a continuous map (since π : S C → C is a vector bundle) and therefore t k ). By Prop. 4.3 each 0 k has zeroes unless d 1 = 0. Therefore (E, ) lies in the closed subset C \ C 0 .

Lemma 5.4 For every choice of
Proof Since d 1 = 0 the Higgs bundle (E, ) must correspond to an extension of the form where deg(D 2 ) = d 2 . By Prop. 4.3(ii) it suffices to show we can find such an extension for which V is a stable bundle. This is equivalent to the existence of an extension for which s(λ) = deg(λ) − 2 max deg(L) ≥ 1, where the maximum is taken over all line subbundles of λ. Note that such extensions are parametrised by the space is a proper subvariety. Since deg(K 3 (−D 2 )) > 2(g − 1) the Riemann-Roch theorem gives the dimension of PH 0 (K 3 (−D 2 )) * as 5(g − 1) − d 2 − 1 = d + g − 2. By [13] this secant variety has dimension d + s − 3 ≤ d − 1 is therefore a proper subvariety for g ≥ 2.

Open questions
Now that we understand the overall structure of M( , CH 2 ) there are some important questions which deserve attention. I want to focus mainly on those that come from considering the natural projection The domain and codomain have the same "typical" dimension. Goldman and Wentworth [8] proved that the image contains all convex cocompact representations, and for PU (2, 1) convex cocompact is equivalent to (complex hyperbolic) quasi-Fuchsian (equally, quasiisometric embedding; equally, Anosov embedding [10]). These representations are interesting because they act properly discontinuously on CH 2 , so that in our context taking the quotient by this action produces a compact minimal surface in a locally symmetric space.
In general the set of Anosov representations is open [14, Thm 2.1], but very little is known about the structure of the set quasi-Fuchsian representations for PU (2, 1), aside from Toledo's proof that all representations with maximal invariant are actually C-Fuchsian (they factor through PU (1, 1) → PU (2, 1)). For non-maximal Toledo invariant: (i) The Hodge bundles with d 1 = 0 = d 2 correspond to totally geodesic Lagrangian embeddings: these lie at the "top" of V(0, 0) with respect to the downwards Morse flow. Under F 2 they map to so-called R-Fuchsian representations, those which factor through SO(2, 1) ⊂ PU (2,1). In a open tubular neighbourhood of these lie the almost R-Fuchsian minimal surfaces of [18] whose representations were shown to be quasi-Fuchsian. The map F 2 is invertible on this open neighbourhood. Parker & Platis [19] also constructed an open neighbourhood of quasi-Fuchsian representations around the R-Fuchsian representations using a different construction. (ii) Goldman et al. [7] constructed quasi-Fuchsian representations for every even value of the Toledo invariant by glueing together disc bundles to construct the quotient spaces of CH 2 . Anan'in et al. [2] constructed different hyperbolic disc bundles for every nonmaximal value of the Toledo invariant, which they conjecture possess holomorphic (therefore minimal) sections. The corresponding representations are discrete and faithful.
With these facts in mind, the main questions are: (i) What properties of an equivariant minimal immersion ensure that the representation is quasi-Fuchsian? One expects that it must be a proper embedding, but is this sufficient? (ii) When does F 2 fail to be injective, and what characterises the condition dF 2 = 0? (iii) For the hyperbolic disc bundles in [2,7] we are told their Toledo invariant and Euler number. Each admits at least one equivariant minimal immersion: how is χ(T ⊥ ) related to that Euler number? One expects them to be equal.