arxiv: v4 [math.dg] 15 Sep 2009

Size: px
Start display at page:

Download "arxiv: v4 [math.dg] 15 Sep 2009"

Transcription

1 INSTANTONS AND CURVES ON CLASS VII SURFACES ANDREI TELEMAN arxiv: v4 [math.dg] 15 Sep 2009 Dedicated to the memory of my father Kostake Teleman Abstract. We develop a general strategy, based on gauge theoretical methods, to prove existence of curves on class VII surfaces. We prove that, for b 2 = 2, every minimal class VII surface has a cycle of rational curves hence, by a result of Nakamura, is a global deformation of a one parameter family of blown up primary Hopf surfaces. The case b 2 = 1 was solved in [Te2]. The fundamental object intervening in our strategy is the moduli space M pst (0, K) of polystable bundles E with c 2 (E) = 0, det(e) = K. For large b 2 the geometry of this moduli space becomes very complicated. The case b 2 = 2 treated here in detail requires new ideas and difficult techniques of both complex geometric and gauge theoretical nature. We explain the substantial obstacles which must be overcome in order to extend our methods to the case b 2 3. Contents 0. Introduction 1 1. General results Holomorphic bundles with c 2 = 0, det = K on class VII surfaces Morphisms of extensions Stable bundles defined by line bundles on double covers The moduli spaces M pst D (E), M a(e) ASD. Topological properties The moduli space M pst (0, K) in the case b 2 = Universal families Grothendieck-Riemann-Roch computations End of the proof 44 References Introduction The classification problem for class VII surfaces is a very difficult, still unsolved problem. Solving this problem would finally fill the most defying gap in the Enriques-Kodaira classification table. By analogy with the class of algebraic surfaces with kod =, one expects this class to be actually very small. This idea is supported by the classification in the case b 2 = 0, which is known: any class VII surface with b 2 = 0 is either a Hopf surface or an Inoue surface [Bo1], [Bo2], [Te1], [LY]. On the other hand, solving completely the classification problem for this class of surfaces has been considered for a long time to be a hopeless goal; the difficulty comes from the lack of lower dimensional complex geometric objects: for Date: June 13,

2 2 ANDREI TELEMAN instance, it is not known (and there exists no method to decide) whether a minimal class VII surface with b 2 > 0 possesses a holomorphic curve, a non-constant entire curve, or a holomorphic foliation. In his remarkable article [Na2] Nakamura, inspired by the previous work of Kato ([Ka1], [Ka2], [Ka3]), and Dloussky [D1], stated a courageous conjecture, which would in principle solve the classification problem for class VII surfaces, as we explain below: The GSS conjecture: Any minimal class VII surface with b 2 > 0 contains a global spherical shell. We recall that a (bidimensional) spherical shell is an open surface which is biholomorphic to a standard neighborhood of S 3 in C 2. A global spherical shell (GSS) in a surface X is an open submanifold Σ of X which is a spherical shell and such that X \ Σ is connected. Minimal class VII surfaces which allow GSS s (which are usually called GSS surfaces, or Kato surfaces) are well understood; in particular it is known that any such surface is a degeneration of a holomorphic family of blown up primary Hopf surfaces, in particular it is diffeomorphic to such a blown up Hopf surface. Moreover, Kato showed [Ka1] that any GSS surface can be obtained by a very simple construction: First one considers a modification m = m b... m 1 : ˆD b D of the standard disk D C 2, where m 1 : ˆD1 D is the blowing up at 0 D, and m k is obtained inductively by blowing up in ˆD k 1 a point of its (-1)-curve. Second, one performs a holomorphic surgery S to the resulting manifold ˆD b in the following way: one removes a closed ball around a point p ˆD b belonging to the last exceptional curve of m, and then identifies holomorphically the two ends of the resulting manifold (which are both spherical shells). Choosing in a suitable way the identification map s, one gets a minimal surface. The isomorphism class of the resulting surface is determined by two parameters: the modification m and the identification map s. Note however that Kato s simple description of GSS surfaces does not immediately yield a clear description of the moduli space of GSS surfaces, because different pairs (m, s) can produce isomorphic surfaces. Nevertheless this shows that, in principle, the complete classification of GSS surfaces can be obtained with classical methods, so the GSS conjecture would solve in principle the classification problem for the whole class VII. The existence of a GSS reduces to the existence of sufficiently many curves. This is an important progress which is due to several mathematicians (Kato, Nakamura, Dloussky, Dloussky-Oeljeklaus-Toma) who worked on the subject in the last decades. More precisely one has Theorem 0.1. (1) If a minimal class VII surface X with b 2 (X) > 0 admits b 2 (X) rational curves, then it also has a global spherical shell. (2) If a minimal class VII surface X admits a numerically pluri-anticanonical divisor, i.e. a non-empty curve C such that c 1 (O(C)) Z 0 c 1 (K) mod Tors. then it also has a global spherical shell. (3) If a minimal class VII surface X admits a cycle of curves, then it is a global deformation (a degeneration) of a one parameter family of blown up primary Hopf surfaces.

3 INSTANTONS AND CURVES ON CLASS VII SURFACES 3 Here by cycle we mean either a smooth elliptic curve or a cycle of rational curves (which includes a rational curve with an ordinary double point). The first statement is the remarkable positive solution due to Dloussky-Oeljeklaus-Toma [DOT] of Kato s conjecture; this conjecture had been solved earlier in the case b 2 = 1 by Nakamura [Na1]. The second statement is a recent result of G. Dloussky [D2], whereas the third is due to Nakamura [Na2]. This important theorem shows that, as soon as a minimal class VII surface X with b 2 (X) > 0 admits a cycle, it belongs to the known component of the moduli space. In our previous article [Te2] we proved, using techniques from Donaldson theory, that any class VII surface with b 2 = 1 has curves; using the results of Nakamura [Na1] or Dloussky-Oeljeklaus-Toma cited above, this implies that the global spherical shell conjecture holds in the case b 2 = 1. Since the GSS surfaces in the case b 2 = 1 are very well understood, this solves completely the classification problem in this case. The method used in [Te2] can be extended to higher b 2, and we believe that, at least for small b 2, it should give the existence of a cycle. Our general strategy has two steps: Claim 1: If X is a minimal class VII surface with no cycle and b 2 (X) > 0, then, for suitable Gauduchon metrics, the moduli space M pst (0, K) of polystable bundles E on X with c 2 = 0 and det(e) = K has a smooth compact connected component Y M st (0, K), which contains a non-empty finite subset of filtrable points. M pst (0, K) is endowed with the topology induced by the Kobayashi-Hitchin correspondence from the corresponding moduli spaces of instantons. We will see that this moduli space is always compact (see section 1.4); this is easy to see for b 2 3, because in this case the lower strata in the Uhlenbeck compactification are automatically empty [Te2]. This moduli space is not a complex space, but its stable part M st (0, K) is an open subset with a natural complex space structure. Y will be defined as the connected component of the canonical extension A, which, by definition, is the (essentially unique) non-split extension of the form 0 K i0 A p0 O 0, (1) and is stable when deg g (K) < 0 and X has no cycle of curves. The condition deg g (K) < 0 is not restrictive; we will show that there exist Gauduchon metrics with this property. Claim 2: The existence of such a component Y leads to a contradiction. Both claims might be surprising, and one can wonder how we came to these statements. The first claim is an obvious consequence of the following more precise statement, which has been checked for b 2 {1, 2}: Consider the subspace M st Mpst (0, K) consisting of those stable bundles which can be written as a line bundle extension whose kernel (left hand term) has torsion Chern class. Claim 1 : If X is a minimal class VII surface with no cycle and b 2 (X) > 0 then, for a Gauduchon metric g with deg g (K) < 0, the closure M st of Mst in Mpst (0, K) is open in M pst (0, K) and contains all filtrable polystable bundles except the bundles

4 4 ANDREI TELEMAN of the form A R, R 2 = O. These bundles are stable but do not belong to M st. This implies that the connected component Y of A in M pst (0, K) is contained in the stable part and is a smooth compact manifold which contains a finite nonempty set of filtrable bundles, so it has the properties stated in Claim 1. The main purpose of this article is to show that our 2-step strategy works in the case b 2 = 2. Therefore, we will prove the following result: Theorem 0.2. Any minimal class VII surface with b 2 = 2 has a cycle of curves, so it is a global deformation of a family of blown up Hopf surfaces. We explain now in a geometric, non-technical way how Claim 1 will be proved for b 2 = 2. We suppose for simplicity that π 1 (X) Z; in this case the cohomology group H 2 (X, Z) is torsion free and, by Donaldson s first theorem [Do2], is isomorphic to Z 2 endowed with the standard negative definite intersection form. Let (e 1, e 2 ) be an orthonormal basis of H 2 (X, Z) such that e 1 + e 2 = c 1 (X) = c 1 (K). Consider first the spaces M st, Mpst of stable, respectively polystable extensions E of the form 0 L E K L 0 (2) with c 1 (L) = 0. It is easy to see that, under our assumptions, M st can be identified with D P 1, where D Pic 0 (X) C is the subset of line bundles satisfying the inequality deg g (L) < 1 2 deg g(k). D is a punctured disk. M pst can be identified with the space obtained from the product D P 1 by collapsing to a point each fiber over the circle D. The circle R of collapsed fibers is one of the two components of the subspace of reductions (split polystable bundles) M red (0, K). One also has two 1-dimensional families of extensions corresponding to the cases c 1 (L) = e i. When X has no curve in the classes ±(e 1 e 2 ) (assume this for simplicity!), the corresponding loci of polystable bundles M pst {i} can be identified with two punctured closed disks D i := D i \ {0 i }; the subspaces M st {i} of stable bundles of these types are identified with D i. There is a natural isomorphism between the two boundaries D i, and the points which correspond via this isomorphism represent isomorphic split polystable bundles. Therefore, one has to glue the punctured closed disks D i along their boundaries and get a 2-sphere minus two points S \ {0 1, 0 2 }, which is the second piece of our moduli space. The circle R given by the identified boundaries D i is the second component of M red (0, K). There are two more filtrable bundles in our moduli space, namely the two bundles of the form A R with R 2 = O. These bundles are stable under the assumption that deg g (K) < 0 and X has no cycle. Therefore we also have a 0-dimensional subspace of stable bundles. M st {1,2} Using another classical construction method for bundles, one gets two more points, namely the push-forwards B 1, B 2 of two line bundles on a double cover X of X (see section 1.3). These points are fixed under the involution ρ given by tensoring with the flat Z 2 -connection defined by the generator ρ of H 1 (X, Z 2 ). Under our assumptions (lack of curves!), the four pieces M pst, S \{0 1, 0 2 }, {B 1 }, {B 2 } are disjoint. Note now that there is an obvious way to put together these pieces

5 INSTANTONS AND CURVES ON CLASS VII SURFACES 5 B 1 P 1 missing fibre st 1 M st M { } identify the fibre M st { 2 } B 2 in order to get a compact space (this looks like solving a puzzle!): one identifies B 1, B 2 with the missing points 0 1, 0 2 of S \ {0 1, 0 2 } and afterwards puts the obtained sphere S at the place of the missing fiber of the P 1 -fibration M st D (see the picture nearby). The result is a topological space homeomorphic to S 4. Knowing that M st is obtained in the described way, it will be easy to prove that it is open and that it does not contain any bundle of the form A R. For the first statement it suffices to compare the local topology of our 4-sphere to the local topology of M pst (0, K) prescribed by deformation theory; for the second it suffices to show that a bundle A R does not belong to any of the four pieces; this follows easily using again our assumption concerning non-existence of curves. Therefore, the idea of proving Claim 1 (so also Claim 1) is very clear: solving our puzzle game yields a compact component of the moduli space; the two elements of M {1,2} are not needed in the construction of this compact component, so they belong to a new component (or to two new components). However, the fact that our 4-sphere (the space obtained solving the puzzle game in the most natural way) is indeed the closure of M st is difficult to prove. The point is that one has absolutely no control on extensions of the form (2) when deg g (L), because the volume of the section defined by L in the projective bundle P(E) tends to as deg g (L). In other words, there exists no method to prove that a certain family of extensions is contained in the closure of another family, so incidence relations between families of extensions are difficult to understand and prove. This is one of the major difficulties in understanding the global geometry of moduli spaces of bundles on non-kählerian surfaces. The fact that the above construction gives indeed the closure of M st will follow from:

6 6 ANDREI TELEMAN (1) The holomorphic structure of M st (0, K) extends across R (see sect ) and, with respect to the extended holomorphic structure, the complement D of M pst in M pst (0, K) is a divisor. (2) The circles R and R belong to the same component of the moduli space. This important result will be obtained using the Donaldson µ class associated with a generator of H 1 (X, Z)/Tors and a gauge theoretical cobordism argument. We still have an important detail to explain: Why did we use the two ρ-fixed points B 1, B 2 in solving our puzzle (which should produce the closure M st ) and not, for instance, the two filtrable elements of M st {1,2} or two non-filtrable bundles? The point is that the involution ρ acts non-trivially on the divisor D, which in our simplified case is a projective line. Therefore this divisor contains the two fixed points of this involution. Note that without assuming π 1 (X) Z the structure of our moduli space will a priori be slightly more complicated. Two complications arise: (1) M st contains a disjoint union of components M c associated with classes c Tors(H 2 (X, Z)). (2) It is difficult to prescribe the number of fixed points of the involution induced by ρ on each component (see section 1.3). However one can easily prove that each component M c can be obtained from the product D P 1 by collapsing the fibers over D to points as above, and applying a (possibly empty) sequence of blow ups in points lying above the center of the disk. The fiber over this center will be a tree D c of rational curves, one of which, say D 0 c, contains a circle of reductions and consists of extensions of types {1} or {2} and two fixed points of ρ. This will slightly complicate our argument, because we will also have to rule out the case when the bundle A belongs to an irreducible component D 1 c D 0 c of the tree D c. But we will see that such a component (if it exists) consists generically of non-filtrable bundles, so it suffices to apply Corollary 5.3 in [Te2], which shows that there cannot exist a family of rank 2-simple bundles over X parameterized by a closed Riemann surface which contains both filtrable and non-filtrable bundles. Note that the existence of a cycle implies π 1 (X) = Z by Nakamura s theorem (see Theorem 0.1, 3. above) hence, a posteriori, the moduli space M pst (0, K) is just a 4-sphere, as explained above. The first section contains general results concerning moduli spaces of polystable bundles (projectively ASD connections) on non-kählerian surfaces. These results will play an important role in the future attempts to solve the GSS conjecture in its full generality. Particular attention will be given to the topological properties of moduli spaces of projectively ASD connections on general Riemannian 4-manifolds with b + = 0, and to the structure of these moduli spaces around the reduction loci. The second section is dedicated to the geometry of the moduli space M st (0, K) in the case b 2 = 2. In this section we will prove Claim 1 in full generality (without any assumption on π 1 (X)) following the geometric ideas explained above. The following sections are dedicated to Claim 2: the appearance of a smooth compact component in the moduli space leads to a contradiction. This contradiction will be obtained in several steps as follows: In the third section we will show that the embedding Y M st (0, K) has a universal family F Y X. This result will enable us in the

7 INSTANTONS AND CURVES ON CLASS VII SURFACES 7 fourth section to apply the Grothendieck-Riemann-Roch theorem to the sheaves F, End 0 (F) and the projection Y X Y ; this will give us important information about the Chern classes of the family F and about the Chern classes of Y itself. The most important result is a parity theorem: the first Chern class of Y is even modulo torsion, i.e. its image in H 2 (Y, Q) belongs to the image of 2H 2 (Y, Z). This is a very restrictive condition; it implies for instance that Y is minimal. On the other hand, using the results in [Te2], we see that Y cannot be covered by curves, so a(y ) = 0. Therefore, we are left with very few possibilities: a class VII surface with b 2 = 0, a K3 surface, or a torus. The case when Y is a class VII surface requires a careful examination. This case will be treated in the fifth section, which contains the final arguments. The other two cases (a K3 surface or a torus) are Kählerian, so they can be ruled out using the results in [Te5]; we will explain briefly the arguments used in [Te5] for completeness. Therefore we make use essentially of the theory of surfaces, so it is not clear yet how to generalize our arguments to larger b 2. On the other hand, by the results in [LT1], the regular part of any moduli space of stable bundles over a Gauduchon compact manifold is a strong KT (Kähler with torsion) manifold. Therefore, future progress in the classification of this class of manifolds will be very useful for extending our program to class VII surfaces with arbitrary b 2. Acknowledgements: I have benefited from useful discussions with many mathematicians, who took their time trying to answer my questions and to follow my arguments. I am especially indebted to Nicholas Buchdahl for his careful and professional comments. He kindly pointed out to me that the compactness theorem stated in [Te3] holds for arbitrary b 2 (see Theorem 1.11) and came with a short proof of Lemma 2.3. I learnt a lot about the properties of the known class VII surfaces from Georges Dloussky, Karl Oeljeklaus and Matei Toma, who also explained me their recent result about surfaces with b 2 curves. I also had extensive discussions with Martin Lübke about moduli spaces of holomorphic bundles on non-kählerian surfaces and their properties. I thank Simon Donaldson, Richard Thomas, Stefan Bauer and Kim Froyshov for their interest in my work, their encouragements, and for giving me the opportunity to give talks about my results on class VII surfaces at Imperial College and Bielefeld University. 1. General results 1.1. Holomorphic bundles with c 2 = 0, det = K on class VII surfaces. In this section we prove several general results concerning 2-bundles with c 2 = 0, det = K on class VII surfaces. Let X be a class VII surface with second Betti number b. Since b + 2 (X) = 0, the intersection form q X : H 2 (X, Z)/Tors H 2 (X, Z)/Tors Z is definite so, by Donaldson s first theorem [Do2], it is trivial over Z. Put k := c 1 (K) = c 1 (X). Since k := k mod Tors is a characteristic element for q X and k 2 = b, it follows easily that there exists a unique (up to order) basis (e 1,..., e b ) in the free Z-module

8 8 ANDREI TELEMAN H 2 (X, Z)/Tors such that e i e j = δ ij, k b = e i. i=1 For instance, when X is a primary Hopf surface blown up at b simple points, e i are just the Poincaré duals of the exceptional divisors mod Tors. For a subset we put I {1,..., b} =: I 0, e I := i I e i, Ī := I 0 \ I. The connected components Pic c, c H 2 (X, Z) = NS(X, Z) of the Picard group Pic of X are isomorphic to C. We put Pic T := Pic c, c Tors Pic c, Pic e := c e for a class e H 2 (X, Z)/Tors. Let g be a Gauduchon metric on X. We will use the notations Pic c <d, Pic e <d, Pic T <d etc. for the subspaces of Pic c, Pic T, Pic e defined by the inequality deg g (L) < d. Similarly for the subscripts d, = d. We recall that a holomorphic vector bundle on a compact Gauduchon manifold is called polystable if it is either stable, or it decomposes as a direct sum of stable bundles of the same slope [LT1]. Consider the moduli space M pst (0, K) of holomorphic, g-polystable rank 2- bundles E on X with c 2 (E) = 0 and det(e) = K. The geometry of this moduli space plays a fundamental role in our arguments. The idea to use this moduli space is surprising and might look artificial; the point is that, whereas for a class VII surface with no curves the classical complex geometric methods fail, a lot can be said about the corresponding moduli space M pst (0, K), and the geometry of this space carries important information about the base surface. The characteristic number (E) := 4c 2 (E) c 1 (E) 2 of a bundle E with these invariants is b 2 (X) and, by the Riemann Roch theorem, it follows that the expected complex dimension of the moduli space is also b 2 (X). As explained in [Te2], this moduli space can be identified with a moduli space of oriented projectively ASD unitary connections via the Kobayashi-Hitchin correspondence. We will endow this moduli space with the topology induced by this identification (see section 1.4 for the main properties of this topology). One should not expect this moduli space to be a complex space: in the non- Kählerian framework, moduli spaces of instantons have complicated singularities around the reductions, and these singularities are not of a complex geometric nature (see [Te2] and section 1.4 in this article). Denote by M red (0, K) the subspace of reductions (of split poystable bundles) in M pst (0, K). The open subspace M st (0, K) = M pst (0, K) \ M red (0, K) is a complex space [LT1]. It is important to note that M pst (0, K) comes with a natural involution. Indeed, the group H 1 (X, Z)/2H 1 (X, Z) Z 2 is a subgroup of H 1 (X, Z 2 ), and the latter can be identified with the group of flat line bundles with structure group {±1} S 1 (see [Te2]). We denote by ρ the generator of H 1 (X, Z)/2H 1 (X, Z), by ρ the

9 INSTANTONS AND CURVES ON CLASS VII SURFACES 9 corresponding involution on M pst (0, K), and by M ρ (0, K) the fixed point set of this involution. We will see that its points correspond to stable bundles whose pull-back to the double cover X ρ associated with ρ are split (see section 1.3). The filtrable bundles E with c 2 = 0, det(e) K can be easily described as extensions. More precisely, as in Proposition 3.2 [Te2] one can show that Proposition 1.1. Let E be a rank 2-bundle on X with c 2 (E) = 0 and det(e) = K. Then any rank 1 subsheaf L of E with torsion free quotient is a line subbundle of E and has c 1 (L) e I for some I I 0. In particular, if E is filtrable, it is the central term of an extension 0 L E K L 0, (3) where c 1 (L) e I for some I I 0. We recall that an Enoki surface is a minimal class V II surface with b 2 > 0 which has a non-trivial effective divisor D > 0 with D D = 0 (or, equivalently, with c 1 (O(D)) Tors). By the Main Theorem of [E] it is known that any Enoki surface is an exceptional compactification of an affine line bundle over an elliptic curve and contains a global spherical shell (so also a cycle). Therefore, these surfaces belong to the known list, so they are not interesting for our purposes. Recall also an important vanishing result (see Lemma [Na3]): Lemma 1.2. On a minimal class VII surface one has H 0 (U) = 0 U Pic(X) with k c 1 (U) < 0. (4) Proof: It suffices to note that k c 1 (O(C)) 0 for every irreducible curve C. This follows easily from the genus formula (see [BHPV] p. 85) taking into account that the intersection form of X is negative definite. Using Proposition 1.1 and the vanishing lemma stated above, one gets easily the following important regularity result: Proposition 1.3. Let X be a minimal class VII surface with b 2 (X) > 0 which is not an Enoki surface, and let E be a rank 2-holomorphic bundle on X with c 2 (E) = 0, det(e) = K. Then H 2 (End 0 (E)) = 0 except when E is an extension of K R by R, where R 2 O. Proof: An element ϕ H 0 (End 0 (E) K) \ {0} defines a section det(ϕ) H 0 (K 2 ), and this space vanishes for class VII surfaces. Therefore ker(ϕ) is a rank 1 subsheaf of E, so E is filtrable. By Proposition 1.1, E fits into an exact sequence of type (3) with L Pic e I for some I I 0. Consider the diagram 0 L 0 K L α id α E ϕ K E β K L 0 id β K 2 L 0. Case 1. (id β) ϕ α 0. The morphism (id β) ϕ α can be regarded as an element of H 0 (K 2 L 2 ). Using Lemma 1.2 we obtain H 0 (K 2 L 2 ) = 0, except perhaps when I = I 0, in which case the Chern class of K 2 L 2 is torsion. But X is not an Enoki surface, so we conclude that in fact H 0 (K 2 L 2 ) = 0, except only when L 2 = K 2. But in this case, any non-trivial morphism L K 2 L is an isomorphism. (5)

10 10 ANDREI TELEMAN Therefore, if (β id) ϕ α did not vanish, it would split the second exact sequence, so the first would be also split. This gives E = L (K L ), where the second summand is a square root of O. Case 2. (id β) ϕ α = 0. In this case ϕ maps ker(β) L into ker(id β) K L. Since H 0 (K) = 0, the induced morphism between the two kernels will vanish, hence there exists a well-defined morphism ψ : K L K E such that ϕ = ψ β. The composition (id β) ψ vanishes (again because H 0 (K) = 0), so ψ factorizes as ψ = (id α) χ for a morphism χ : K L K L, which can be regarded as a section in H 0 (L 2 ). By the same vanishing Lemma 1.2, one has H 0 (L 2 ) = 0 except when I =. Since X is not an Enoki surface, ϕ can be non-zero only when L 2 O. Finally we recall a result proved in [Te3]. This result answers the question whether the canonical extension A can be written as an extension in a different way, and shows that the answer to this question is related to the existence of a cycle in X. The result is (see [Te3] Corollary 4.10, Proposition 4.11). Proposition 1.4. If the bundle A can be written as an extension 0 M i A p K M 1 0 (6) in which the kernel ker(p) A does not coincide with the standard kernel ker(p 0 ) of the canonical extension (1), then there exists a non-empty effective divisor D such that: (1) M O( D), (2) K O D (D) O D. (3) c 1 (O( D)) = e I mod Tors for a subset I I 0. (4) h 0 (K O D (D)) h 0 (K O(D)) = 1 Moreover, one of the following holds (1) D is a cycle, (2) O( D) K (i.e. D is an anti-canonical divisor). Note that any anti-canonical divisor contains a cycle (see [Na1] Lemma 12.4). We include a self-contained proof of Proposition 1.4 for completeness: Proof: Since ker(p) A does not coincide with the kernel ker(p 0 ) A of the standard exact sequence (1) the composition p 0 i : M O is non-zero. On the other hand it cannot be an isomorphism because, if it was, i would define a right splitting of (1). Therefore the image of p 0 i is the ideal sheaf of a non-empty effective divisor D and p 0 i defines an isomorphism M O( D) O, which proves the first statement. Since all the sheaves in (1) are locally free, we obtain an exact sequence i 0 K D 0 p D A D 0 D O D 0. of locally free sheaves on D. Since p D 0 i D = 0, the restriction i D : M D A D factorizes as i D = i D 0 j D for a morphism j D : M D K D. But i is a bundle embedding, so the induced maps between fibers M(x) A(x) are all injective. This shows that j D (x) 0 for every x D, so j D defines a trivialization of the line bundle (K M ) D K O D (D). Note that the argument is also valid when D

11 INSTANTONS AND CURVES ON CLASS VII SURFACES 11 is non-reduced. This proves follows directly from Proposition 1.1. Consider now the commutative diagram H 0 (K O(D)) H 0 (K O D (D)) u H 0 (A) H 0 (O) H 1 (K) a v H 0 (A(D)) H 0 (O(D)) D H 1 (K O(D)) where the horizontal exact sequences are associated with the short exact sequence (1) and its tensor product with O(D), whereas the vertical exact sequence is associated with the short exact sequence 0 K K O(D) K O D (D) 0. The morphism i : O( D) A can be regarded as a lift of the canonical section s = a(1) to H 0 (A(D)). Therefore D (a(1)) = 0, so v( (1)) = 0. But (1) H 1 (K) C is the extension invariant of the extension (1), which is non-zero by the definition of this extension. The vertical exact sequence yields an exact sequence 0 = H 0 (K) H 0 (K O(D)) H 0 (K O D (D)) H 1 (K) C 0, which proves 4. Taking into account that a(x) = 0 we have h 0 (K O(D)) 1, so there are two possibilities: 1. h 0 (K O(D)) = 0, h 0 (K O D (D)) = h 1 (O D ) = 1. Using Lemma 2.7 in [Na1] and the obvious inequality h 1 (O Dred ) h 1 (O D ) (the canonical map H 1 (O D ) H 1 (O Dred ) is surjective), we get h 1 (O Dred ) = 1. Let 0 < C D red be a minimal divisor such that h 1 (O C ) = 1. By Lemma 2.3 in [Na1] the divisor C is a cycle. Write D = C + E with E 0. Denoting N := K O(D) and noting that h 2 (N ) = h 0 (O( D)) = 0 we get an exact sequence 0 H 0 (N ( C)) H 0 (N ) H 0 (N C ) H 1 (N ( C)) H 1 (N ) H 1 (N C ) H 2 (N ( C)) 0 We know that N is trivial on D, so it is also trivial on C D. Therefore h 1 (N C ) = h 1 (O C ) = 1. Note that c 1 (N ) = e Ī (where Ī := I 0 \ I), so χ(n ) = 0 by the Riemann-Roch theorem. We have assumed h 0 (N ) = 0 and we know h 2 (N ) = 0, so h 1 (N ) = 0. Therefore h 2 (N ( C)) = h 1 (O C ) = 1. But h 2 (N ( C)) = h 0 (K N (C)) = h 0 ( E). This shows that E = 0, so D coincides with the cycle C. 2. h 0 (K O(D)) = 1, h 0 (K O D (D)) = h 1 (O D ) = 2. Since c 1 (K O(D)) = e Ī and H 0 (K O(D)) 0, we get by the vanishing Lemma 1.2 that Ī =, so K O(D) is a flat line bundle. When X is not an Enoki surface it follows already that O( D) K. When X is an Enoki surface, it follows easily that in fact X is a parabolic Inoue surface and D = E + C, where E is the elliptic curve of X and C is its numerically trivial cycle; it is well-known that this sum is anti-canonical (see [Te3] for details). For every I I 0 we have a family F I of extensions; the elements of F I which will be called extensions of type I are in 1-1 correspondence with pairs (L, ε), where L Pic e I and ε H 1 (L 2 K ), so F I is naturally a linear space over

12 12 ANDREI TELEMAN Pic e I. We will denote by E(L, ε) the central term of the extension associated with the pair (L, ε). For L Pic e I one has χ(l 2 K ) = 1 2 (e I e Ī )( 2e Ī ) = (b I ) (b := b 2 (X)), so the dimension of the generic fiber of this linear space is b I ; the dimension of the fiber H 1 (L 2 K ) jumps when h 0 (L 2 K ) or h 0 (L 2 K 2 ) > 0. It might happen that the same bundle can be written as extension in many ways, so in general the loci M st I of stable bundles defined by the elements of F I might have intersection points. Therefore, it is important to have general rules to decide whether two different extensions have isomorphic central terms. This problem will be addressed in the following section in a general framework Morphisms of extensions. In this section we will address the following questions: Under which conditions are the central terms of two different line bundle extensions isomorphic? Is the central term of a given non-trivial line bundle extension simple? Let L, L, M, M line bundles on a compact manifold X. Consider a diagram of the form with exact lines. 0 L α E β M 0 ϕ 0 L α E β M 0 Proposition 1.5. Suppose that β ϕ α = 0. Then (1) There exist morphisms u : L L, v : M M making commutative the diagram (7). (2) If ϕ : E E is an isomorphism, then u and v are isomorphisms. (3) If H 0 (L L ) = 0 then ϕ : E E is induced by a morphism M E, so it cannot be an isomorphism. (4) If H 0 (M M ) = 0, then ϕ : E E is induced by a morphism E L, so it cannot be an isomorphism. (5) If H 0 (L L ) = 0 and H 0 (M M ) = 0, then any morphism ϕ : E E is induced by a morphism M L. Proof: 1. Since β ϕ α = 0, ϕ maps L to L (defining a morphism u : L L ) and induces a morphism v : M M. 2. It is easy to show that, when ϕ is an isomorphism, u will be a monomorphism and v an epimorphism. But any epimorphism of locally free rank 1 sheaves is an isomorphism. Diagram chasing shows that u is also surjective. 3. Suppose that H 0 (L L ) = 0. In this case u = 0, so ϕ vanishes on L, hence it is induced by a morphism ν : M E. (7)

13 INSTANTONS AND CURVES ON CLASS VII SURFACES Suppose that H 0 (M M ) = 0. In this case v = 0, so the image of ϕ is contained in ker(β ) = L, hence ϕ is induced by a morphism µ : E L. 5. Suppose that H 0 (L L ) = H 0 (M M ) = 0. Then β ν = 0, hence im(ν) is contained in L, proving that ϕ is induced by a morphism M L. Lemma 1.6. If L M and the second exact sequence is non-trivial, then one has always β ϕ α = 0 hence the conclusions of Proposition 1.5 hold. Proof: We can suppose L = M. If β ϕ α 0, the composition β ϕ α would be an isomorphism, hence a suitable scalar multiple of ϕ α would split the second exact sequence. Corollary 1.7. [extensions with isomorphic determinants and central terms] Suppose that in (7) one has L M L M D and ϕ : E E is an isomorphism. Denote by ε H 1 (M L ), ε H 1 (M L ) the invariants associated with the two extensions. Then one of the following holds: (1) There exists isomorphisms u : L L, v : M M making (7) commutative. In this case ε = H 1 (w)(ε ) where w : M L M L is the isomorphism induced by the pair (u, v). (2) D L L is not trivial and H 0 (D L L ) 0. (3) D L L is trivial and ε = ε = 0. Proof: When β ϕ α = 0, the statement 1. will hold by Proposition 1.5. When β ϕ α 0 and M L D L L is not trivial, 2. holds obviously. Finally, when β ϕ α 0 and M L is trivial, we see using Lemma 1.6 that the second exact sequence splits, hence ε = 0. Changing the roles and noting that M L M L we obtain ε = 0. Corollary 1.8. Let L, M be two line bundles on X. (1) Denote by E, E the middle terms of the extensions associated with ε, ε H 1 (M L). Suppose H 0 (L M) = 0. Then E E if and only if ε, ε are conjugate modulo C. (2) Suppose H 0 (L M) = 0, H 0 (M L) = 0. Then any nontrivial extension of M by L is simple. Proof: The first statement is a particular case of Corollary 1.7, 1. For the second, let 0 L α E β M 0 be a nontrivial extension, and ϕ : E E a bundle morphism. By Proposition 1.5 (1) and the first assumption there exist morphisms u : L L, v : M M such that ϕ α = α u, v β = β ϕ. Since M is a line bundle, we can write v = ζid M, for a constant ζ C. The endomorphism ψ := ϕ ζid E has the property β ψ = β (ϕ ζid E ) = v β ζβ = 0, so it factorizes as ψ = α µ for a morphism µ : E L. Note that µ α : L L cannot be an isomorphism because, if it was, a suitable scalar multiple of µ would split the first exact sequence. Therefore µ α = 0, so µ vanishes on α(l), which

14 14 ANDREI TELEMAN shows that it is induced by a morphism M L. This implies µ = 0 by our second assumption Stable bundles defined by line bundles on double covers. Let (X, g) be a compact Gauduchon manifold and ρ H 1 (X, Z 2 ) \ {0}. Let π ρ : Xρ X be the corresponding double cover, ι its canonical involution, and L ρ the holomorphic line bundle on X defined by ρ (regarded as a representation π 1 (X) {±1} C ). A push-forward 2-bundle (i.e. a bundle of the form (π ρ ) (M), where M is a holomorphic line bundle on X ρ ) is always polystable. Indeed, choosing a Hermitian- Einstein metric h on M with respect to the ι-invariant metric πρ(g), one gets a Hermitian-Einstein metric ι (h) on ι (M) (with the same Einstein constant as h), hence a Hermitian-Einstein metric h ι (h) on M ι (M) = πρ((π ρ ) (M)) which descends to (π ρ ) (M). Conversely, one has the well known Theorem 1.9. Let E be a stable rank 2-bundle on X, such that E L ρ E. Then there exists a line bundle M on X ρ such that (1) [π ρ ] (M) E. (2) π ρ(e) = M ι (M). Proof: Consider the sheaf of O X -algebras A := [π ρ ] (O Xρ ) = O X L ρ. The category of O Xρ -modules is equivalent (via the functor [π ρ ] ) with the category of A-modules. Composing with the obvious automorphism (u, v) (u, v) of A one gets a functor ( ) on the category of A-modules, which corresponds to the functor ι ( ) on the category of O Xρ -modules. Let now f : E L ρ E be an isomorphism. The composition f (f id Lρ ) : E L 2 ρ = E E is an automorphism of E, which is stable, hence simple. Multiplying f by a constant if necessary, we can assume that this composition is id E. Therefore, f defines the structure of a locally free rank 1 A-module M on the sheaf associated with E. This proves 1. The bundle π ρ(e) corresponds to the A-module E OX A, which can be easily identified with M M. So π ρ(e) M ι (M). Suppose now that X is a class VII surface with π 1 (X) Z, b 2 (X) = b, let ρ be the non-trivial element of H 1 (X, Z 2 ) Z 2, and π : X X the corresponding double cover. X will also be a class VII surface with π1 ( X) Z and, comparing the Euler characteristics, we get b 2 ( X) = 2b. We denote by K, K the corresponding canonical line bundles and by k, k = πρ(k) their Chern classes. By the coefficients formula the groups H 2 (X, Z), H 2 ( X, Z) are both torsion free. As explained in section 1.1 we can write k = b i=1 e i, k = 2b s=1 f s where e i e j = δ ij, f s f t = δ st. Put ẽ i := π (e i ). Using the formulae k = i ẽ i = s f s, ẽ i ẽ j = 2δ i,j, ẽ i k = 2, we see that there exists a partition {1,..., 2b} = n i=1 J i in subsets J i with J i = 2 such that ẽ i = s J i f s. Writing J i = {e i, e i } we obtain an orthonormal basis (e 1, e 1,..., e b, e b ) of H2 ( X, Z) such that ẽ i = e i + e i. The morphism ι leaves invariant each set {e i, e i }. The Lefschetz fixed point theorem gives Tr(ι : H 2 ( X) H 2 ( X)) = 0, which implies ι (e i ) = e i for any i.

15 INSTANTONS AND CURVES ON CLASS VII SURFACES 15 Proposition Let X be a class VII surface with π 1 (X) Z. Then (1) A line bundle M Pic( X) satisfies c 1 ([π ρ ] (M)) = k, c 2 ([π ρ ] (M)) = 0 if and only if there exists I {1,..., b} such that c 1 (M) = e I + e Ī. (2) For every I {1,..., b} there exists a unique line bundle M I Pic e I +e Ī ( X) such that det([π ρ ] (M I )) K, c 2 ([π ρ ] (M I )) = 0. (3) The involution ρ on the moduli space M st (0, K) has 2 b 1 fixed points. Proof: Write c 1 (M) =: c = i n i e i + j n j e j. M satisfies the conditions in 1. if and only if c (ι c) = 0 and c + ι (c) = k. This is equivalent to the system n i + n i = 1 i {1,..., n}, i n in i = 0. We get i n i (1 n i ) = 0, hence n i {0, 1}. This proves the first statement. For the second, the pull-back morphism Pic 0 (X) Pic 0 ( X) is surjective and its kernel is generated by the non-trivial square root R of the trivial line bundle O. Fix M 0 Pic e I +e Ī ( X). Since det([π ρ ] (M 0 π (L))) det((π ρ ) (M 0 ) L) det([π ρ ] (M 0 )) L 2, we find two flat line bundles L 1, L 2 = L 1 R Pic 0 (X) for which it holds det([π ρ ] (M 0 π (L i ))) K. Since π (R) is trivial, the claim is proved. For the third statement, note that [π ρ ] (M I ) is stable and that [π ρ ] (M I ) [π ρ ] (M J ) if and only if either J = I or J = Ī. This follows easily by taking the pull-back of the bundles [π ρ ] (M I ) to X. Note that without assuming π 1 (X) Z, counting the fixed points of the involution ρ : M st (0, K) M st (0, K) becomes very difficult The moduli spaces M pst D (E), M a(e) ASD. Topological properties. The results obtained so far allow us to describe certain pieces of our moduli space: spaces of reductions, spaces of extensions and spaces of fixed points under the natural involution ρ. In order to understand how these pieces fit together, we need several important general results about the topology of the moduli spaces of polystable rank 2-bundles on non-kählerian complex surfaces. Let (E, h) be a Hermitian rank 2-bundle with c 2 (E) = c on a compact Gauduchon surface (X, g). We fix a holomorphic structure D on the determinant line bundle D := det(e) and denote by M pst D (E) the moduli space of polystable holomorphic structures E on E with det(e) = D (of polystable D-oriented holomorphic structures). Two such structures are considered equivalent if they are equivalent modulo the action of complex gauge group G C := Γ(X, SL(E)). This moduli space plays a fundamental role in this article. Its points correspond bijectively to isomorphism classes of polystable holomorphic bundles F with c 2 (F) = c, det(f) D, so we will also use the notation M pst (c, D) (used more frequently in the complex geometric literature) for this space. Denote by a A(det(E)) the Chern connection of the pair (D, det(h)). As in [Te2] we denote by A a (E) (respectively A a (E) ) the space of (irreducible) a- oriented Hermitian connections, i.e. the space of (irreducible) Hermitian connections A on E with det(a) = a. We denote as usually B a (E) := A a(e) / G, B a(e) := A a(e) / G

16 16 ANDREI TELEMAN the infinite dimensional quotients of these spaces by the (real) gauge group G := Γ(X, SU(E)) of (E, h). The latter quotient becomes a Banach manifold after suitable Sobolev completions [DK]. It is convenient to use the action of the quotient group Ḡ := G/{±id E} which is effective on A a (E) and has trivial stabilizers at the irreducible connections. Let A ASD a (E) (respectively A ASD a (E) ) be the subspace of (irreducible) solutions of the projectively ASD equation (F 0 A) + = 0, (ASD) and M ASD a (E) := A ASD a (E)/G, M ASD a (E) := A ASD a (E) /G the corresponding moduli spaces. In this formula G := Γ(X, SU(E)) denotes the (real) gauge group of (E, h). As explained in the introduction and in [Te2], M pst D (E) is endowed with the topology which makes the bijection M ASD a (E) M pst D (E) given by the Kobayashi- Hitchin correspondence ([Do1], [Te2] [Bu1], [LY], [LT1]) a homeomorphism. Via this correspondence M st D (E) corresponds to MASD a (E), so it is open in M pst D (E). M st D (E) can also be identified with an open subspace of the moduli space Ms D (E) of simple D-oriented holomorphic structures on E, so it has a natural complex space structure inherited from M s D (E). In general this structure does not extend to M pst (E). Understanding the local structure of Mpst(E) around the split D polystable bundles in the non-kählerian framework is a difficult task. The difficulty is the following: whereas the germ of M st D (E) at a stable point E Mst D (E) can be identified with the universal deformation of E in the sense of holomorphic deformation theory, the local structure at a split polystable bundle (a reduction) cannot be understood using only complex geometric methods. For instance, the moduli space described in [Te2] contains a finite union of circles of split polystable bundles; although any such bundle E has H 2 (End 0 (E)) = 0 (so it satisfies the naive complex geometric regularity condition ) it gives a boundary point in the moduli space (which is a union of compact disks bounded by circles of regular reductions). In this section we will discuss topological properties of the moduli spaces M pst D (E) on non-kählerian surfaces, namely: (1) compactness properties, (2) the structure of such moduli spaces around reduction loci, (3) the restriction of the Donaldson µ-classes to a boundary of a standard neighborhood of a reduction locus. Compactness has already been discussed in [Te2]. Here we will give a more general result due to Nicholas Buchdahl. The structure of the ASD instanton moduli spaces around reduction loci and the behavior of the Donaldson µ-classes around these loci have been extensively studied in [Te4] with gauge theoretical methods. For completeness we will give here short, self-contained proofs of the results we need. We will not make use of the general (but difficult) results about normal neighborhoods of reduction loci in B a [Te4]; instead, in sections 1.4.2, we will blow up the reduction loci in a Donaldson moduli space, and we will show that the Donaldson µ-classes extend to the blow up. As explained in the introduction, we are interested in the classes µ(γ) associated with elements γ H 1 (X, Z)/Tors. The result we need states that, if X is a class VII surface with b 2 (X) = 2 and γ is a generator of H 1 (X, Z)/Tors, then the restriction of µ(γ) to the (suitably oriented) D

17 INSTANTONS AND CURVES ON CLASS VII SURFACES 17 boundary of a standard neighborhood of a circle of reductions is the fundamental class of this boundary. This result will give us important information about the position of the circles of reductions in the moduli space (see Proposition 2.8). The results in sections 1.4.2, hold under the assumption that the reductions are regular, i.e. that the second cohomology spaces of their deformation elliptic complexes vanish. It is important to have a complex geometric criterion for this regularity condition, which can be checked for instantons associated with split polystable bundles. This problem will be addressed in section 1.4.4, in which we will compare the deformation elliptic complex of a split polystable bundle to the deformation elliptic complex of the corresponding reducible instanton. The main result states that, on non-kählerian surfaces, the second cohomology spaces of the two complexes can be identified. Note that this result does not hold in the Kählerian case: on a Kählerian surface a reducible instanton has always non-vanishing second cohomology (so it can never be regular), see Corollary In section we will apply our general results to the moduli space M pst (0, K) on a class VII surface with b 2 = 2, and we will show that (for suitable Gauduchon metrics) this moduli space is a topological 4-manifold and that the complex structure of M st (0, K) is smooth and extends smoothly across a part of the reduction locus Compactness properties. Endowed with the topology induced by the Kobayashi-Hitchin correspondence M pst D (E) has the following important properties inherited from M ASD a (E) (see [DK]): (1) It is Hausdorff in all cases, (2) It is compact when (E) := 4c 2 (E) c 1 (E) 2 3. The second statement follows easily using the general properties of the Uhlenbeck compactification of an instanton moduli space, and the well-known Chern class inequality for bundles admitting projectively ASD connections [DK], [Te2]: when (E) 3 all lower strata in the Uhlenbeck compactification are automatically (E) will be compact. For the class of moduli spaces on which we will focus in this article, one has the following general result 1 : empty, so M ASD a Theorem Let X be a class VII surface, K its canonical line bundle, and K the underlying C -line bundle of K. Let (E, h) be a Hermitian rank 2-bundle on X with c 2 (E) = 0, det(e) = K. Then M pst K (E) is compact. Proof: We have to prove that M ASD a (E) is compact, where a is the Chern connection of the pair (K, det(h)). One has (E) = c 1 (K) 2 = b 2 (X), so the statement is obvious for b 2 (X) 3. For the general case, note that a stratum in the Uhlenbeck compactification of M ASD a (E) has the form S k (X) M ASD a (E k ), where S k (X) stands for the k-th symmetric power of X, det(e k ) = det(e) = K, and c 2 (E k ) = c 2 (E) k = k. We claim that M ASD a (E k ) = for any k > 0. Using again the Kobayashi-Hitchin correspondence, it suffices to prove that there does not exist any holomorphic 2-bundle E on X with det(e) = K, and c 2 (E) < 0. Identifying E with the corresponding locally free coherent sheaf, and using the Riemann-Roch 1 In the first version of this article we stated this compactness result only for b2 3; this case is sufficient for the purposes of this article and has already been explained in [Te2]. The fact that this result can be extended to the case b 2 (X) > 3 has been noticed by Nicholas Buchdahl.

18 18 ANDREI TELEMAN theorem, one obtains easily χ(e) > 0, so h 0 (E) > 0 or h 0 (K E ) > 0. In both cases E would be filtrable, so it would fit into an exact sequence of the form 0 L E K L I Z 0, for a holomorphic line bundle L on X and a codimension 2 locally complete intersection Z X. We use now the same method as in the proof of Proposition 3.2 [Te2]: Writing c 1 (L) = l i e i mod Tors (where (e i ) i is the basis considered in section 1.1 and l i Z), one obtains 0 > c 2 (E) = Z + b 2(X) i=1 l i (l i 1), which is obviously a contradiction The structure of M ASD a (E) around the reductions. Let (X, g) be a closed, connected, oriented Riemannian 4-manifold with b + (X) = 0, (E, h) a Hermitian rank 2-bundle on X, L E a line subbundle of E (endowed with the induced metric). A connection A A a (E) will be called L-reducible if it admits a parallel line subbundle L E isomorphic to L. The goal of this section is to describe the moduli space M ASD a In [Te4] we have shown that A neighborhood of M ASD a (E) around the subspace M ASD a (E) L of L-reducible instantons. (E) around the reduction locus M ASD a (E) L can be identified with the moduli space associated with an abelian moduli problem of Seiberg- Witten type. This identification has two important consequences: It describes explicitly a fundamental system of open neighborhoods of the reduction locus M ASD a (E) L in M ASD a (E), called standard neighborhoods. Under suitable regularity conditions any such neighborhood can be identified with the total space of a fiber bundle whose basis is a b 1 -dimensional torus, and whose fiber is a cone over a complex projective space. This generalizes the well-known theorem concerning the structure of a Donaldson moduli space around an isolated reduction [FU], [DK]. It allows to compute explicitly the restriction of the Donaldson µ-classes to the boundary of a standard neighborhood of M ASD a (E) L in M ASD a (E). We explain this formalism briefly. Put M := L and S := L M L 2 D, where D := det(e). The gauge group G L := Aut(L) C (X, S 1 ) acts on the space of Hermitian connections A(L) in the usual way u(d b ) = u d b u 1 = d b u 1 du, and on the space A 1 (S) of S-valued 1-forms via the map Aut(L) = C (X, S 1 ) u u 2 C (X, S 1 ) = Aut(S) induced by the identification S = L 2 D. The affine map Ψ : A(L) A 1 (S) A a (E) defined by ( ) b α Φ(b, α) = A b,α := α a b is equivariant with respect to the group morphism ψ : G L := Aut(L) C (X, S 1 ) G, u ( u 0 ) 0 u 1.

Instantons and curves on class VII surfaces

Instantons and curves on class VII surfaces ANNALS OF MATHEMATICS Instantons and curves on class VII surfaces By Andrei Teleman SECOND SERIES, VOL. 172, NO. 3 November, 2010 anmaah Annals of Mathematics, 172 (2010), 1749 1804 Instantons and curves

More information

Holomorphic line bundles

Holomorphic line bundles Chapter 2 Holomorphic line bundles In the absence of non-constant holomorphic functions X! C on a compact complex manifold, we turn to the next best thing, holomorphic sections of line bundles (i.e., rank

More information

Mathematical Research Letters 2, (1995) A VANISHING THEOREM FOR SEIBERG-WITTEN INVARIANTS. Shuguang Wang

Mathematical Research Letters 2, (1995) A VANISHING THEOREM FOR SEIBERG-WITTEN INVARIANTS. Shuguang Wang Mathematical Research Letters 2, 305 310 (1995) A VANISHING THEOREM FOR SEIBERG-WITTEN INVARIANTS Shuguang Wang Abstract. It is shown that the quotients of Kähler surfaces under free anti-holomorphic involutions

More information

Higgs Bundles and Character Varieties

Higgs Bundles and Character Varieties Higgs Bundles and Character Varieties David Baraglia The University of Adelaide Adelaide, Australia 29 May 2014 GEAR Junior Retreat, University of Michigan David Baraglia (ADL) Higgs Bundles and Character

More information

Chern numbers and Hilbert Modular Varieties

Chern numbers and Hilbert Modular Varieties Chern numbers and Hilbert Modular Varieties Dylan Attwell-Duval Department of Mathematics and Statistics McGill University Montreal, Quebec attwellduval@math.mcgill.ca April 9, 2011 A Topological Point

More information

Donaldson Invariants and Moduli of Yang-Mills Instantons

Donaldson Invariants and Moduli of Yang-Mills Instantons Donaldson Invariants and Moduli of Yang-Mills Instantons Lincoln College Oxford University (slides posted at users.ox.ac.uk/ linc4221) The ASD Equation in Low Dimensions, 17 November 2017 Moduli and Invariants

More information

LECTURE 6: J-HOLOMORPHIC CURVES AND APPLICATIONS

LECTURE 6: J-HOLOMORPHIC CURVES AND APPLICATIONS LECTURE 6: J-HOLOMORPHIC CURVES AND APPLICATIONS WEIMIN CHEN, UMASS, SPRING 07 1. Basic elements of J-holomorphic curve theory Let (M, ω) be a symplectic manifold of dimension 2n, and let J J (M, ω) be

More information

FAKE PROJECTIVE SPACES AND FAKE TORI

FAKE PROJECTIVE SPACES AND FAKE TORI FAKE PROJECTIVE SPACES AND FAKE TORI OLIVIER DEBARRE Abstract. Hirzebruch and Kodaira proved in 1957 that when n is odd, any compact Kähler manifold X which is homeomorphic to P n is isomorphic to P n.

More information

Broken pencils and four-manifold invariants. Tim Perutz (Cambridge)

Broken pencils and four-manifold invariants. Tim Perutz (Cambridge) Broken pencils and four-manifold invariants Tim Perutz (Cambridge) Aim This talk is about a project to construct and study a symplectic substitute for gauge theory in 2, 3 and 4 dimensions. The 3- and

More information

Generalized Hitchin-Kobayashi correspondence and Weil-Petersson current

Generalized Hitchin-Kobayashi correspondence and Weil-Petersson current Author, F., and S. Author. (2015) Generalized Hitchin-Kobayashi correspondence and Weil-Petersson current, International Mathematics Research Notices, Vol. 2015, Article ID rnn999, 7 pages. doi:10.1093/imrn/rnn999

More information

Chern classes à la Grothendieck

Chern classes à la Grothendieck Chern classes à la Grothendieck Theo Raedschelders October 16, 2014 Abstract In this note we introduce Chern classes based on Grothendieck s 1958 paper [4]. His approach is completely formal and he deduces

More information

Classifying complex surfaces and symplectic 4-manifolds

Classifying complex surfaces and symplectic 4-manifolds Classifying complex surfaces and symplectic 4-manifolds UT Austin, September 18, 2012 First Cut Seminar Basics Symplectic 4-manifolds Definition A symplectic 4-manifold (X, ω) is an oriented, smooth, 4-dimensional

More information

The Canonical Sheaf. Stefano Filipazzi. September 14, 2015

The Canonical Sheaf. Stefano Filipazzi. September 14, 2015 The Canonical Sheaf Stefano Filipazzi September 14, 015 These notes are supposed to be a handout for the student seminar in algebraic geometry at the University of Utah. In this seminar, we will go over

More information

Stable bundles with small c 2 over 2-dimensional complex tori

Stable bundles with small c 2 over 2-dimensional complex tori Stable bundles with small c 2 over 2-dimensional complex tori Matei Toma Universität Osnabrück, Fachbereich Mathematik/Informatik, 49069 Osnabrück, Germany and Institute of Mathematics of the Romanian

More information

The Grothendieck-Katz Conjecture for certain locally symmetric varieties

The Grothendieck-Katz Conjecture for certain locally symmetric varieties The Grothendieck-Katz Conjecture for certain locally symmetric varieties Benson Farb and Mark Kisin August 20, 2008 Abstract Using Margulis results on lattices in semi-simple Lie groups, we prove the Grothendieck-

More information

Porteous s Formula for Maps between Coherent Sheaves

Porteous s Formula for Maps between Coherent Sheaves Michigan Math. J. 52 (2004) Porteous s Formula for Maps between Coherent Sheaves Steven P. Diaz 1. Introduction Recall what the Thom Porteous formula for vector bundles tells us (see [2, Sec. 14.4] for

More information

Algebraic v.s. Analytic Point of View

Algebraic v.s. Analytic Point of View Algebraic v.s. Analytic Point of View Ziwen Zhu September 19, 2015 In this talk, we will compare 3 different yet similar objects of interest in algebraic and complex geometry, namely algebraic variety,

More information

arxiv: v1 [math.ag] 13 Mar 2019

arxiv: v1 [math.ag] 13 Mar 2019 THE CONSTRUCTION PROBLEM FOR HODGE NUMBERS MODULO AN INTEGER MATTHIAS PAULSEN AND STEFAN SCHREIEDER arxiv:1903.05430v1 [math.ag] 13 Mar 2019 Abstract. For any integer m 2 and any dimension n 1, we show

More information

Isogeny invariance of the BSD conjecture

Isogeny invariance of the BSD conjecture Isogeny invariance of the BSD conjecture Akshay Venkatesh October 30, 2015 1 Examples The BSD conjecture predicts that for an elliptic curve E over Q with E(Q) of rank r 0, where L (r) (1, E) r! = ( p

More information

ON A THEOREM OF CAMPANA AND PĂUN

ON A THEOREM OF CAMPANA AND PĂUN ON A THEOREM OF CAMPANA AND PĂUN CHRISTIAN SCHNELL Abstract. Let X be a smooth projective variety over the complex numbers, and X a reduced divisor with normal crossings. We present a slightly simplified

More information

Math 6510 Homework 10

Math 6510 Homework 10 2.2 Problems 9 Problem. Compute the homology group of the following 2-complexes X: a) The quotient of S 2 obtained by identifying north and south poles to a point b) S 1 (S 1 S 1 ) c) The space obtained

More information

LECTURE 5: SOME BASIC CONSTRUCTIONS IN SYMPLECTIC TOPOLOGY

LECTURE 5: SOME BASIC CONSTRUCTIONS IN SYMPLECTIC TOPOLOGY LECTURE 5: SOME BASIC CONSTRUCTIONS IN SYMPLECTIC TOPOLOGY WEIMIN CHEN, UMASS, SPRING 07 1. Blowing up and symplectic cutting In complex geometry the blowing-up operation amounts to replace a point in

More information

Constructing compact 8-manifolds with holonomy Spin(7)

Constructing compact 8-manifolds with holonomy Spin(7) Constructing compact 8-manifolds with holonomy Spin(7) Dominic Joyce, Oxford University Simons Collaboration meeting, Imperial College, June 2017. Based on Invent. math. 123 (1996), 507 552; J. Diff. Geom.

More information

COMPLEX ALGEBRAIC SURFACES CLASS 9

COMPLEX ALGEBRAIC SURFACES CLASS 9 COMPLEX ALGEBRAIC SURFACES CLASS 9 RAVI VAKIL CONTENTS 1. Construction of Castelnuovo s contraction map 1 2. Ruled surfaces 3 (At the end of last lecture I discussed the Weak Factorization Theorem, Resolution

More information

Math 249B. Nilpotence of connected solvable groups

Math 249B. Nilpotence of connected solvable groups Math 249B. Nilpotence of connected solvable groups 1. Motivation and examples In abstract group theory, the descending central series {C i (G)} of a group G is defined recursively by C 0 (G) = G and C

More information

A GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander

A GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander A GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander During the first three days of September, 1997, I had the privilege of giving a series of five lectures at the beginning of the School on Algebraic

More information

Geometry 2: Manifolds and sheaves

Geometry 2: Manifolds and sheaves Rules:Exam problems would be similar to ones marked with! sign. It is recommended to solve all unmarked and!-problems or to find the solution online. It s better to do it in order starting from the beginning,

More information

The topology of symplectic four-manifolds

The topology of symplectic four-manifolds The topology of symplectic four-manifolds Michael Usher January 12, 2007 Definition A symplectic manifold is a pair (M, ω) where 1 M is a smooth manifold of some even dimension 2n. 2 ω Ω 2 (M) is a two-form

More information

APPENDIX 1: REVIEW OF SINGULAR COHOMOLOGY

APPENDIX 1: REVIEW OF SINGULAR COHOMOLOGY APPENDIX 1: REVIEW OF SINGULAR COHOMOLOGY In this appendix we begin with a brief review of some basic facts about singular homology and cohomology. For details and proofs, we refer to [Mun84]. We then

More information

INSTANTON MODULI AND COMPACTIFICATION MATTHEW MAHOWALD

INSTANTON MODULI AND COMPACTIFICATION MATTHEW MAHOWALD INSTANTON MODULI AND COMPACTIFICATION MATTHEW MAHOWALD () Instanton (definition) (2) ADHM construction (3) Compactification. Instantons.. Notation. Throughout this talk, we will use the following notation:

More information

where Σ is a finite discrete Gal(K sep /K)-set unramified along U and F s is a finite Gal(k(s) sep /k(s))-subset

where Σ is a finite discrete Gal(K sep /K)-set unramified along U and F s is a finite Gal(k(s) sep /k(s))-subset Classification of quasi-finite étale separated schemes As we saw in lecture, Zariski s Main Theorem provides a very visual picture of quasi-finite étale separated schemes X over a henselian local ring

More information

Geometry 9: Serre-Swan theorem

Geometry 9: Serre-Swan theorem Geometry 9: Serre-Swan theorem Rules: You may choose to solve only hard exercises (marked with!, * and **) or ordinary ones (marked with! or unmarked), or both, if you want to have extra problems. To have

More information

September 27, :51 WSPC/INSTRUCTION FILE biswas-loftin. Hermitian Einstein connections on principal bundles over flat affine manifolds

September 27, :51 WSPC/INSTRUCTION FILE biswas-loftin. Hermitian Einstein connections on principal bundles over flat affine manifolds International Journal of Mathematics c World Scientific Publishing Company Hermitian Einstein connections on principal bundles over flat affine manifolds Indranil Biswas School of Mathematics Tata Institute

More information

Rational Curves On K3 Surfaces

Rational Curves On K3 Surfaces Rational Curves On K3 Surfaces Jun Li Department of Mathematics Stanford University Conference in honor of Peter Li Overview of the talk The problem: existence of rational curves on a K3 surface The conjecture:

More information

Special cubic fourfolds

Special cubic fourfolds Special cubic fourfolds 1 Hodge diamonds Let X be a cubic fourfold, h H 2 (X, Z) be the (Poincaré dual to the) hyperplane class. We have h 4 = deg(x) = 3. By the Lefschetz hyperplane theorem, one knows

More information

Determinant lines and determinant line bundles

Determinant lines and determinant line bundles CHAPTER Determinant lines and determinant line bundles This appendix is an exposition of G. Segal s work sketched in [?] on determinant line bundles over the moduli spaces of Riemann surfaces with parametrized

More information

A p-adic GEOMETRIC LANGLANDS CORRESPONDENCE FOR GL 1

A p-adic GEOMETRIC LANGLANDS CORRESPONDENCE FOR GL 1 A p-adic GEOMETRIC LANGLANDS CORRESPONDENCE FOR GL 1 ALEXANDER G.M. PAULIN Abstract. The (de Rham) geometric Langlands correspondence for GL n asserts that to an irreducible rank n integrable connection

More information

Segre classes of tautological bundles on Hilbert schemes of surfaces

Segre classes of tautological bundles on Hilbert schemes of surfaces Segre classes of tautological bundles on Hilbert schemes of surfaces Claire Voisin Abstract We first give an alternative proof, based on a simple geometric argument, of a result of Marian, Oprea and Pandharipande

More information

Algebraic Geometry. Andreas Gathmann. Class Notes TU Kaiserslautern 2014

Algebraic Geometry. Andreas Gathmann. Class Notes TU Kaiserslautern 2014 Algebraic Geometry Andreas Gathmann Class Notes TU Kaiserslautern 2014 Contents 0. Introduction......................... 3 1. Affine Varieties........................ 9 2. The Zariski Topology......................

More information

LECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE

LECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE LECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE JOHANNES EBERT 1.1. October 11th. 1. Recapitulation from differential topology Definition 1.1. Let M m, N n, be two smooth manifolds

More information

3. The Sheaf of Regular Functions

3. The Sheaf of Regular Functions 24 Andreas Gathmann 3. The Sheaf of Regular Functions After having defined affine varieties, our next goal must be to say what kind of maps between them we want to consider as morphisms, i. e. as nice

More information

1. Algebraic vector bundles. Affine Varieties

1. Algebraic vector bundles. Affine Varieties 0. Brief overview Cycles and bundles are intrinsic invariants of algebraic varieties Close connections going back to Grothendieck Work with quasi-projective varieties over a field k Affine Varieties 1.

More information

A TASTE OF TWO-DIMENSIONAL COMPLEX ALGEBRAIC GEOMETRY. We also have an isomorphism of holomorphic vector bundles

A TASTE OF TWO-DIMENSIONAL COMPLEX ALGEBRAIC GEOMETRY. We also have an isomorphism of holomorphic vector bundles A TASTE OF TWO-DIMENSIONAL COMPLEX ALGEBRAIC GEOMETRY LIVIU I. NICOLAESCU ABSTRACT. These are notes for a talk at a topology seminar at ND.. GENERAL FACTS In the sequel, for simplicity we denote the complex

More information

Cohomology of the Mumford Quotient

Cohomology of the Mumford Quotient Cohomology of the Mumford Quotient Maxim Braverman Abstract. Let X be a smooth projective variety acted on by a reductive group G. Let L be a positive G-equivariant line bundle over X. We use a Witten

More information

Linear connections on Lie groups

Linear connections on Lie groups Linear connections on Lie groups The affine space of linear connections on a compact Lie group G contains a distinguished line segment with endpoints the connections L and R which make left (resp. right)

More information

Abelian Varieties and the Fourier Mukai transformations (Foschungsseminar 2005)

Abelian Varieties and the Fourier Mukai transformations (Foschungsseminar 2005) Abelian Varieties and the Fourier Mukai transformations (Foschungsseminar 2005) U. Bunke April 27, 2005 Contents 1 Abelian varieties 2 1.1 Basic definitions................................. 2 1.2 Examples

More information

Proof of Langlands for GL(2), II

Proof of Langlands for GL(2), II Proof of Langlands for GL(), II Notes by Tony Feng for a talk by Jochen Heinloth April 8, 016 1 Overview Let X/F q be a smooth, projective, geometrically connected curve. The aim is to show that if E is

More information

Space of surjective morphisms between projective varieties

Space of surjective morphisms between projective varieties Space of surjective morphisms between projective varieties -Talk at AMC2005, Singapore- Jun-Muk Hwang Korea Institute for Advanced Study 207-43 Cheongryangri-dong Seoul, 130-722, Korea jmhwang@kias.re.kr

More information

RIEMANN S INEQUALITY AND RIEMANN-ROCH

RIEMANN S INEQUALITY AND RIEMANN-ROCH RIEMANN S INEQUALITY AND RIEMANN-ROCH DONU ARAPURA Fix a compact connected Riemann surface X of genus g. Riemann s inequality gives a sufficient condition to construct meromorphic functions with prescribed

More information

ALGEBRAICALLY TRIVIAL, BUT TOPOLOGICALLY NON-TRIVIAL MAP. Contents 1. Introduction 1

ALGEBRAICALLY TRIVIAL, BUT TOPOLOGICALLY NON-TRIVIAL MAP. Contents 1. Introduction 1 ALGEBRAICALLY TRIVIAL, BUT TOPOLOGICALLY NON-TRIVIAL MAP HONG GYUN KIM Abstract. I studied the construction of an algebraically trivial, but topologically non-trivial map by Hopf map p : S 3 S 2 and a

More information

Math 215B: Solutions 3

Math 215B: Solutions 3 Math 215B: Solutions 3 (1) For this problem you may assume the classification of smooth one-dimensional manifolds: Any compact smooth one-dimensional manifold is diffeomorphic to a finite disjoint union

More information

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 24

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 24 FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 24 RAVI VAKIL CONTENTS 1. Vector bundles and locally free sheaves 1 2. Toward quasicoherent sheaves: the distinguished affine base 5 Quasicoherent and coherent sheaves

More information

Stable bundles on CP 3 and special holonomies

Stable bundles on CP 3 and special holonomies Stable bundles on CP 3 and special holonomies Misha Verbitsky Géométrie des variétés complexes IV CIRM, Luminy, Oct 26, 2010 1 Hyperkähler manifolds DEFINITION: A hyperkähler structure on a manifold M

More information

The tangent space to an enumerative problem

The tangent space to an enumerative problem The tangent space to an enumerative problem Prakash Belkale Department of Mathematics University of North Carolina at Chapel Hill North Carolina, USA belkale@email.unc.edu ICM, Hyderabad 2010. Enumerative

More information

Representations and Linear Actions

Representations and Linear Actions Representations and Linear Actions Definition 0.1. Let G be an S-group. A representation of G is a morphism of S-groups φ G GL(n, S) for some n. We say φ is faithful if it is a monomorphism (in the category

More information

Math 248B. Applications of base change for coherent cohomology

Math 248B. Applications of base change for coherent cohomology Math 248B. Applications of base change for coherent cohomology 1. Motivation Recall the following fundamental general theorem, the so-called cohomology and base change theorem: Theorem 1.1 (Grothendieck).

More information

SPACES OF RATIONAL CURVES IN COMPLETE INTERSECTIONS

SPACES OF RATIONAL CURVES IN COMPLETE INTERSECTIONS SPACES OF RATIONAL CURVES IN COMPLETE INTERSECTIONS ROYA BEHESHTI AND N. MOHAN KUMAR Abstract. We prove that the space of smooth rational curves of degree e in a general complete intersection of multidegree

More information

Generalized Tian-Todorov theorems

Generalized Tian-Todorov theorems Generalized Tian-Todorov theorems M.Kontsevich 1 The classical Tian-Todorov theorem Recall the classical Tian-Todorov theorem (see [4],[5]) about the smoothness of the moduli spaces of Calabi-Yau manifolds:

More information

Stable maps and Quot schemes

Stable maps and Quot schemes Stable maps and Quot schemes Mihnea Popa and Mike Roth Contents 1. Introduction........................................ 1 2. Basic Setup........................................ 4 3. Dimension Estimates

More information

ON THE NUMBER AND BOUNDEDNESS OF LOG MINIMAL MODELS OF GENERAL TYPE

ON THE NUMBER AND BOUNDEDNESS OF LOG MINIMAL MODELS OF GENERAL TYPE ON THE NUMBER AND BOUNDEDNESS OF LOG MINIMAL MODELS OF GENERAL TYPE DILETTA MARTINELLI, STEFAN SCHREIEDER, AND LUCA TASIN Abstract. We show that the number of marked minimal models of an n-dimensional

More information

A CRITERION FOR A DEGREE-ONE HOLOMORPHIC MAP TO BE A BIHOLOMORPHISM. 1. Introduction

A CRITERION FOR A DEGREE-ONE HOLOMORPHIC MAP TO BE A BIHOLOMORPHISM. 1. Introduction A CRITERION FOR A DEGREE-ONE HOLOMORPHIC MAP TO BE A BIHOLOMORPHISM GAUTAM BHARALI, INDRANIL BISWAS, AND GEORG SCHUMACHER Abstract. Let X and Y be compact connected complex manifolds of the same dimension

More information

An Atlas For Bun r (X)

An Atlas For Bun r (X) An Atlas For Bun r (X) As told by Dennis Gaitsgory to Nir Avni October 28, 2009 1 Bun r (X) Is Not Of Finite Type The goal of this lecture is to find a smooth atlas locally of finite type for the stack

More information

Uniformization in several complex variables.

Uniformization in several complex variables. Uniformization in several complex variables. Grenoble. April, 16, 2009. Transmitted to IMPA (Rio de Janeiro). Philippe Eyssidieux. Institut Fourier, Université Joseph Fourier (Grenoble 1). 1 The uniformization

More information

On Mordell-Lang in Algebraic Groups of Unipotent Rank 1

On Mordell-Lang in Algebraic Groups of Unipotent Rank 1 On Mordell-Lang in Algebraic Groups of Unipotent Rank 1 Paul Vojta University of California, Berkeley and ICERM (work in progress) Abstract. In the previous ICERM workshop, Tom Scanlon raised the question

More information

L E C T U R E N O T E S O N H O M O T O P Y T H E O R Y A N D A P P L I C AT I O N S

L E C T U R E N O T E S O N H O M O T O P Y T H E O R Y A N D A P P L I C AT I O N S L A U R E N T I U M A X I M U N I V E R S I T Y O F W I S C O N S I N - M A D I S O N L E C T U R E N O T E S O N H O M O T O P Y T H E O R Y A N D A P P L I C AT I O N S i Contents 1 Basics of Homotopy

More information

Synopsis of material from EGA Chapter II, 4. Proposition (4.1.6). The canonical homomorphism ( ) is surjective [(3.2.4)].

Synopsis of material from EGA Chapter II, 4. Proposition (4.1.6). The canonical homomorphism ( ) is surjective [(3.2.4)]. Synopsis of material from EGA Chapter II, 4 4.1. Definition of projective bundles. 4. Projective bundles. Ample sheaves Definition (4.1.1). Let S(E) be the symmetric algebra of a quasi-coherent O Y -module.

More information

Math 797W Homework 4

Math 797W Homework 4 Math 797W Homework 4 Paul Hacking December 5, 2016 We work over an algebraically closed field k. (1) Let F be a sheaf of abelian groups on a topological space X, and p X a point. Recall the definition

More information

HARTSHORNE EXERCISES

HARTSHORNE EXERCISES HARTSHORNE EXERCISES J. WARNER Hartshorne, Exercise I.5.6. Blowing Up Curve Singularities (a) Let Y be the cusp x 3 = y 2 + x 4 + y 4 or the node xy = x 6 + y 6. Show that the curve Ỹ obtained by blowing

More information

EXISTENCE THEORY FOR HARMONIC METRICS

EXISTENCE THEORY FOR HARMONIC METRICS EXISTENCE THEORY FOR HARMONIC METRICS These are the notes of a talk given by the author in Asheville at the workshop Higgs bundles and Harmonic maps in January 2015. It aims to sketch the proof of the

More information

Three Descriptions of the Cohomology of Bun G (X) (Lecture 4)

Three Descriptions of the Cohomology of Bun G (X) (Lecture 4) Three Descriptions of the Cohomology of Bun G (X) (Lecture 4) February 5, 2014 Let k be an algebraically closed field, let X be a algebraic curve over k (always assumed to be smooth and complete), and

More information

Algebraic geometry versus Kähler geometry

Algebraic geometry versus Kähler geometry Algebraic geometry versus Kähler geometry Claire Voisin CNRS, Institut de mathématiques de Jussieu Contents 0 Introduction 1 1 Hodge theory 2 1.1 The Hodge decomposition............................. 2

More information

9. Birational Maps and Blowing Up

9. Birational Maps and Blowing Up 72 Andreas Gathmann 9. Birational Maps and Blowing Up In the course of this class we have already seen many examples of varieties that are almost the same in the sense that they contain isomorphic dense

More information

Diagonal Subschemes and Vector Bundles

Diagonal Subschemes and Vector Bundles Pure and Applied Mathematics Quarterly Volume 4, Number 4 (Special Issue: In honor of Jean-Pierre Serre, Part 1 of 2 ) 1233 1278, 2008 Diagonal Subschemes and Vector Bundles Piotr Pragacz, Vasudevan Srinivas

More information

Vector bundles in Algebraic Geometry Enrique Arrondo. 1. The notion of vector bundle

Vector bundles in Algebraic Geometry Enrique Arrondo. 1. The notion of vector bundle Vector bundles in Algebraic Geometry Enrique Arrondo Notes(* prepared for the First Summer School on Complex Geometry (Villarrica, Chile 7-9 December 2010 1 The notion of vector bundle In affine geometry,

More information

Kähler manifolds and variations of Hodge structures

Kähler manifolds and variations of Hodge structures Kähler manifolds and variations of Hodge structures October 21, 2013 1 Some amazing facts about Kähler manifolds The best source for this is Claire Voisin s wonderful book Hodge Theory and Complex Algebraic

More information

Algebraic Curves and Riemann Surfaces

Algebraic Curves and Riemann Surfaces Algebraic Curves and Riemann Surfaces Rick Miranda Graduate Studies in Mathematics Volume 5 If American Mathematical Society Contents Preface xix Chapter I. Riemann Surfaces: Basic Definitions 1 1. Complex

More information

Transverse Euler Classes of Foliations on Non-atomic Foliation Cycles Steven HURDER & Yoshihiko MITSUMATSU. 1 Introduction

Transverse Euler Classes of Foliations on Non-atomic Foliation Cycles Steven HURDER & Yoshihiko MITSUMATSU. 1 Introduction 1 Transverse Euler Classes of Foliations on Non-atomic Foliation Cycles Steven HURDER & Yoshihiko MITSUMATSU 1 Introduction The main purpose of this article is to give a geometric proof of the following

More information

The Hitchin map, local to global

The Hitchin map, local to global The Hitchin map, local to global Andrei Negut Let X be a smooth projective curve of genus g > 1, a semisimple group and Bun = Bun (X) the moduli stack of principal bundles on X. In this talk, we will present

More information

THE VORTEX EQUATION ON AFFINE MANIFOLDS. 1. Introduction

THE VORTEX EQUATION ON AFFINE MANIFOLDS. 1. Introduction THE VORTEX EQUATION ON AFFINE MANIFOLDS INDRANIL BISWAS, JOHN LOFTIN, AND MATTHIAS STEMMLER Abstract. Let M be a compact connected special affine manifold equipped with an affine Gauduchon metric. We show

More information

The Strominger Yau Zaslow conjecture

The Strominger Yau Zaslow conjecture The Strominger Yau Zaslow conjecture Paul Hacking 10/16/09 1 Background 1.1 Kähler metrics Let X be a complex manifold of dimension n, and M the underlying smooth manifold with (integrable) almost complex

More information

Betti numbers of abelian covers

Betti numbers of abelian covers Betti numbers of abelian covers Alex Suciu Northeastern University Geometry and Topology Seminar University of Wisconsin May 6, 2011 Alex Suciu (Northeastern University) Betti numbers of abelian covers

More information

SEPARABLE RATIONAL CONNECTEDNESS AND STABILITY

SEPARABLE RATIONAL CONNECTEDNESS AND STABILITY SEPARABLE RATIONAL CONNECTEDNESS AND STABILIT ZHIU TIAN Abstract. In this short note we prove that in many cases the failure of a variety to be separably rationally connected is caused by the instability

More information

Topological properties

Topological properties CHAPTER 4 Topological properties 1. Connectedness Definitions and examples Basic properties Connected components Connected versus path connected, again 2. Compactness Definition and first examples Topological

More information

HYPERKÄHLER MANIFOLDS

HYPERKÄHLER MANIFOLDS HYPERKÄHLER MANIFOLDS PAVEL SAFRONOV, TALK AT 2011 TALBOT WORKSHOP 1.1. Basic definitions. 1. Hyperkähler manifolds Definition. A hyperkähler manifold is a C Riemannian manifold together with three covariantly

More information

Rigidity, locally symmetric varieties and the Grothendieck-Katz Conjecture

Rigidity, locally symmetric varieties and the Grothendieck-Katz Conjecture Rigidity, locally symmetric varieties and the Grothendieck-Katz Conjecture Benson Farb and Mark Kisin May 8, 2009 Abstract Using Margulis s results on lattices in semisimple Lie groups, we prove the Grothendieck-

More information

Donaldson and Seiberg-Witten theory and their relation to N = 2 SYM

Donaldson and Seiberg-Witten theory and their relation to N = 2 SYM Donaldson and Seiberg-Witten theory and their relation to N = SYM Brian Williams April 3, 013 We ve began to see what it means to twist a supersymmetric field theory. I will review Donaldson theory and

More information

CW-complexes. Stephen A. Mitchell. November 1997

CW-complexes. Stephen A. Mitchell. November 1997 CW-complexes Stephen A. Mitchell November 1997 A CW-complex is first of all a Hausdorff space X equipped with a collection of characteristic maps φ n α : D n X. Here n ranges over the nonnegative integers,

More information

SPACES OF RATIONAL CURVES ON COMPLETE INTERSECTIONS

SPACES OF RATIONAL CURVES ON COMPLETE INTERSECTIONS SPACES OF RATIONAL CURVES ON COMPLETE INTERSECTIONS ROYA BEHESHTI AND N. MOHAN KUMAR Abstract. We prove that the space of smooth rational curves of degree e on a general complete intersection of multidegree

More information

RIMS-1743 K3 SURFACES OF GENUS SIXTEEN. Shigeru MUKAI. February 2012 RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES. KYOTO UNIVERSITY, Kyoto, Japan

RIMS-1743 K3 SURFACES OF GENUS SIXTEEN. Shigeru MUKAI. February 2012 RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES. KYOTO UNIVERSITY, Kyoto, Japan RIMS-1743 K3 SURFACES OF GENUS SIXTEEN By Shigeru MUKAI February 2012 RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES KYOTO UNIVERSITY, Kyoto, Japan K3 SURFACES OF GENUS SIXTEEN SHIGERU MUKAI Abstract. The

More information

Coherent sheaves on elliptic curves.

Coherent sheaves on elliptic curves. Coherent sheaves on elliptic curves. Aleksei Pakharev April 5, 2017 Abstract We describe the abelian category of coherent sheaves on an elliptic curve, and construct an action of a central extension of

More information

Topological K-theory, Lecture 3

Topological K-theory, Lecture 3 Topological K-theory, Lecture 3 Matan Prasma March 2, 2015 1 Applications of the classification theorem continued Let us see how the classification theorem can further be used. Example 1. The bundle γ

More information

Oral exam practice problems: Algebraic Geometry

Oral exam practice problems: Algebraic Geometry Oral exam practice problems: Algebraic Geometry Alberto García Raboso TP1. Let Q 1 and Q 2 be the quadric hypersurfaces in P n given by the equations f 1 x 2 0 + + x 2 n = 0 f 2 a 0 x 2 0 + + a n x 2 n

More information

ON THE NUMBER AND BOUNDEDNESS OF LOG MINIMAL MODELS OF GENERAL TYPE

ON THE NUMBER AND BOUNDEDNESS OF LOG MINIMAL MODELS OF GENERAL TYPE ON THE NUMBER AND BOUNDEDNESS OF LOG MINIMAL MODELS OF GENERAL TYPE DILETTA MARTINELLI, STEFAN SCHREIEDER, AND LUCA TASIN Abstract. We show that the number of marked minimal models of an n-dimensional

More information

The Real Grassmannian Gr(2, 4)

The Real Grassmannian Gr(2, 4) The Real Grassmannian Gr(2, 4) We discuss the topology of the real Grassmannian Gr(2, 4) of 2-planes in R 4 and its double cover Gr + (2, 4) by the Grassmannian of oriented 2-planes They are compact four-manifolds

More information

Patrick Iglesias-Zemmour

Patrick Iglesias-Zemmour Mathematical Surveys and Monographs Volume 185 Diffeology Patrick Iglesias-Zemmour American Mathematical Society Contents Preface xvii Chapter 1. Diffeology and Diffeological Spaces 1 Linguistic Preliminaries

More information

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 48

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 48 FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 48 RAVI VAKIL CONTENTS 1. A little more about cubic plane curves 1 2. Line bundles of degree 4, and Poncelet s Porism 1 3. Fun counterexamples using elliptic curves

More information

Pullbacks of hyperplane sections for Lagrangian fibrations are primitive

Pullbacks of hyperplane sections for Lagrangian fibrations are primitive Pullbacks of hyperplane sections for Lagrangian fibrations are primitive Ljudmila Kamenova, Misha Verbitsky 1 Dedicated to Professor Claire Voisin Abstract. Let p : M B be a Lagrangian fibration on a hyperkähler

More information

Algebraic Geometry. Andreas Gathmann. Notes for a class. taught at the University of Kaiserslautern 2002/2003

Algebraic Geometry. Andreas Gathmann. Notes for a class. taught at the University of Kaiserslautern 2002/2003 Algebraic Geometry Andreas Gathmann Notes for a class taught at the University of Kaiserslautern 2002/2003 CONTENTS 0. Introduction 1 0.1. What is algebraic geometry? 1 0.2. Exercises 6 1. Affine varieties

More information

MODULI OF VECTOR BUNDLES ON CURVES AND GENERALIZED THETA DIVISORS

MODULI OF VECTOR BUNDLES ON CURVES AND GENERALIZED THETA DIVISORS MODULI OF VECTOR BUNDLES ON CURVES AND GENERALIZED THETA DIVISORS MIHNEA POPA 1. Lecture II: Moduli spaces and generalized theta divisors 1.1. The moduli space. Back to the boundedness problem: we want

More information

On the Diffeomorphism Group of S 1 S 2. Allen Hatcher

On the Diffeomorphism Group of S 1 S 2. Allen Hatcher On the Diffeomorphism Group of S 1 S 2 Allen Hatcher This is a revision, written in December 2003, of a paper of the same title that appeared in the Proceedings of the AMS 83 (1981), 427-430. The main

More information