2 G. D. DASKALOPOULOS AND R. A. WENTWORTH general, is not true. Thus, unlike the case of divisors, there are situations where k?1 0 and W k?1 = ;. r;d
|
|
- Charlotte Fisher
- 6 years ago
- Views:
Transcription
1 ON THE BRILL-NOETHER PROBLEM FOR VECTOR BUNDLES GEORGIOS D. DASKALOPOULOS AND RICHARD A. WENTWORTH Abstract. On an arbitrary compact Riemann surface, necessary and sucient conditions are found for the existence of semistable vector bundles with slope between zero and one and a prescribed number of linearly independent holomorphic sections. Existence is achieved by minimizing the Yang-Mills-Higgs functional. 1. Introduction In this note we exhibit the existence of semistable vector bundles on compact Riemann surfaces with a prescribed number of linearly independent holomorphic sections. This may be regarded as a higher rank version of the classical Brill-Noether problem for line bundles. Fix a compact Riemann surface of genus g 2 and integers r and d satisfying (1.1) 0 d r ; r 2 : Then the main result may be stated as follows: Main Theorem. Let k be a positive integer and suppose that r and d satisfy (1.1). Then the necessary and sucient conditions for the existence of a semistable bundle of rank r and degree d on with at least k linearly independent holomorphic sections are k r and if d 6= 0, r d + (r? k)g. That such a criterion should hold was originally conjectured by Newstead. By analogy with the classical situation of special divisors (cf. [1, 7]) one can dene the higher rank version of the Brill-Noether number: (1.2) k?1 r;d = r2 (g? 1) + 1? k(k? d + r(g? 1)) : Then k?1 is the formal dimension of the locus W k?1 in the moduli space of r;d r;d semistable bundles of rank r and degree d. W k?1 is dened as the closure of r;d the set of stable bundles with at least k linearly independent sections. Note that the condition in the Main Theorem implies that k?1 1, except in r;d the trivial case d = 0 where W k?1 is necessarily empty. The converse, in r;d Date: September 16, 1996 (revised) Mathematics Subject Classication. Primary: 14J60; Secondary: 14D20. Supported in part by NSF grant DMS Supported in part by NSF grant DMS and a Sloan Fellowship. 1
2 2 G. D. DASKALOPOULOS AND R. A. WENTWORTH general, is not true. Thus, unlike the case of divisors, there are situations where k?1 0 and W k?1 = ;. r;d r;d By a dimension counting argument, we can also give a statement, rst proved by Brambila Paz, et. al., concerning the existence of stable bundles: Corollary. (see [5]) For 0 < d < r and r d + (r? k)g, there exists a stable bundle of rank r and degree d with at least k linearly independent holomorphic sections. Instead of the constructive approach to theorems of this type taken in references [9, 10], we use a variational method. More precisely, we study the Morse theory of the Yang-Mills-Higgs functional (cf. [3]). The idea is simply the following: Let (A i ; ~' i ) be a minimizing sequence with respect to the Yang-Mill-Higgs functional (2.1). Here, ~' i = (' i 1 ; : : : ; 'i k ) is a k- tuple of linearly independent holomorphic sections with respect to A i. If the sequence converges to a solution to the k--vortex equation, then for an appropriate choice of the limiting holomorphic structure is semistable (cf. [2]). Otherwise, we show that under the assumptions of the Main Theorem there exist \negative directions" which contradict the fact that the sequence is minimizing. The energy estimates used closely follow [6]. However, an extra combinatorial argument is needed to ensure that the bundles constructed have the correct number of holomorphic sections, and this is where the assumption r d + (r? k)g is needed. Acknowledgements. We would like to thank L. Brambila Paz for introducing us to this problem and for several useful discussions during the preparation of this note. Finally, we are grateful for the warm hospitality of UAM, Mexico and the Max-Planck Institute in Bonn, where a portion of this work was completed. 2. The Yang-Mills-Higgs Functional Let, d, and r be as in the Introduction, and let k be a positive integer. Let E be a xed hermitian vector bundle on of rank r and degree d. Let A denote the space of hermitian connections on E, 0 (E) the space of smooth sections of E, and H A 0 (E) k the subspace consisting of holomorphic k-pairs. Thus, H = (A; ~' = (' 1 ; : : : ; ' k )) : D 00 A ' i = 0; i = 1; : : : ; k : Given a real parameter, we dene the Yang-Mills-Higgs functional: (2.1) f : A 0 (E) k?! R f (A; ~') = kf A k 2 + kd A ' i k ' i '? I i? 2d
3 BRILL-NOETHER PROBLEM FOR VECTOR BUNDLES 3 In the above, the k k denotes L 2 norms. Using a Weitzenbock formula we obtain (cf. [3, Theorem 4.2]) f (A; ~') = 2 kda' 00 i k 2 +?1FA + p 1 2 ' i ' i? 2 2 I and therefore the absolute minimum of f consists of holomorphic k-pairs satisfying the k--vortex equations discussed in [2]. Proposition 2.1. (i) The L 2 -gradient of f? r(a;~') f 1 = D A F A + 1 2? r(a;~') f is given by? DA ' j '? ' j j D A ' j 2;i = A' i? 2 ' i h' i ; ' j i' j (ii) If (A; ~') 2 H, then under the usual identication 1 (; ad E) ' 0;1 (; End E), we have? r(a;~') f? r(a;~') f 1 =?D00 A p?1f A ;i = p?1f A (' i )? 2 ' i ' j ' j 1 A h' i ; ' j i' j (iii) If (A; ~') 2 H is a critical point of f, then either (I) ~' 0 and A is a direct sum of Hermitian-Yang-Mills connections (not necessarily of the same slope), or (II) A splits as A = A 0 A Q on E = E 0 E Q, where (A 0 ; ~') solves the k--vortex equations and A Q is a direct sum of Hermitian-Yang-Mills connections (not necessarily of the same slope). Proof. (i) is a standard calculation, and (ii) follows from (i) via the Kahler identities. We are going to prove (iii). If (A; ~') is critical, then since p P?1FA + 1 k 2 ' j ' j is a self-adjoint holomorphic endomorphism, it must give a splitting A = A 0 A` according to its distinct (constant) eigenvalues 0 ; : : : ; `. Write p?1fa = P k ' j ' j + 0 I C 0 1 I..... C A : 0 ` I ;
4 4 G. D. DASKALOPOULOS AND R. A. WENTWORTH Thus, 0 = p?1f A (' i )? 2 ' i h' i ; ' j i' j =? 1 h' i ; ' j i' j + 0 ' i? 2 2 ' i = 0? ' i ; 2 h' i ; ' j i' j from which we obtain either Case I or Case II, depending upon whether ~' 0. Next, recall that H is an innite dimensional complex analytic variety whose tangent space is given by the kernel of a certain dierential dened in [2, 3.15]. Moreover, H is preserved by the action of the complex gauge group G C. We have the following: Proposition 2.2. If (A; ~') 2 H, then r (A;~') f is tangent to the orbits of G C. In particular, r (A;~') f is tangent to H itself. Proof. Set u = p P?1F A k ' j '? j 2I. By Proposition 2.1 (ii) we have that r (A;~') f = d 1 (u), where d 1 is the dierential dened in [2, 3.15]. The Proposition follows. Because of Proposition 2.2, the critical points of the functional f restricted to H are characterized by Proposition 2.1 (iii). A solution (A(t); ~'(t)), t 2 [0; t 0 ) to the initial value ~' (A;~') f ; (A(0); ~'(0)) = (A 0 ; ~' 0 ) ; is called the L 2 -gradient ow of f starting at (A 0 ; ~' 0 ). Notice that (2.3) d dt f (A(t); ~'(t)) =? r(a(t);~'(t)) f 2 ; and so the energy decreases along the L 2 -gradient ow. Proposition 2.3. Given (A 0 ; ~' 0 ) 2 H, there is a t 0 > 0 such that the L 2 -gradient ow exists for 0 t < t 0. Proof. The proof is an application of the implicit function theorem as in [8]. Finally, we recall from [3, 4, 2] that a holomorphic k-pair (A; ~') 2 H is called -stable if for all holomorphic subbundles 0 6= F E, (F ) < ; and for all proper holomorphic subbundles E ' E containing each ' i, (E=E ' ) >. Here, denotes the Shatz slope = deg=rank. The version of the theorem of Bradlow, Tiwari that we shall need is the following (see [2] for more details):
5 BRILL-NOETHER PROBLEM FOR VECTOR BUNDLES 5 Proposition 2.4. For generic values of the parameter, a holomorphic k- pair (A; ~') is -stable if and only if there exists a pair ( e A; ~~'), related to (A; ~') by an element of G C, satisfying the k--vortex equations: p?1f ea ~' i ~' i? 2 I = 0 : Moreover, such a solution is unique up to real gauge equivalence. 3. Technical Lemmas In this section we collect several results needed for the proof of the Main Theorem. Throughout, E will denote a holomorphic bundle of rank r and degree d on the compact Riemann surface. Lemma 3.1. Let E be as above with 0 d r and h 0 (E) = k. If either (i) E is semistable, or (ii) E satises the k--vortex equation for some 0 < < 1 and E does not contain the trivial bundle as a split factor; then k r and if d 6= 0, r d + (r? k)g. Proof. We rst show that k r. Suppose k r. Thus, E has at least r linearly independent holomorphic sections. If the sections generate E at every point, then E ' O r ; in which case d = 0 and k = r. Suppose the sections fail to generate, so that we can nd a point p 2 and a section of E vanishing at p. Thus E contains O(p) as a subsheaf, which is a contradiction to (ii) (see the denition of -stability above). If (i) is assumed, then E is strictly semistable with d = r, and the bound k r follows from induction on the rank. Note that the second inequality is also satised in this case. Assume 0 < d < r. In both cases (i) and (ii) we obtain 0! O k?! E! F! 0, where F is locally free. By dualizing and taking the resulting long exact sequence in cohomology, we nd 0?! H 0 (F )?! H 0 (E )?! H 0 (O k )?! H 1 (F ) : We are going to show that H 0 (E ) = 0. The result then follows by the Riemann-Roch formula. For (i), H 0 (E ) = 0 by semistability. For (ii), note rst that = 0. For if not, there would be a section s : O! E with s = 6= 0. But could not have any zeros, and so O would be a split factor in E ; hence, also in E. Secondly, we show that H 0 (F ) = 0. Let L F be a subbundle. Then -stability immediately implies c 1 (L ) > > 0. Thus, in particular, F cannot contain O as a subsheaf. This completes the proof. Lemma 3.2. Let E 1, E 2 be holomorphic bundles of rank r 1 ; r 2 and degree d 1 ; d 2, satisfying 0 1 = d 1 =r 1 d 2 =r 2 = 2 1. Suppose h 0 (E 1 ) = k 1 r 1, h 0 (E 2 ) = k 2 r 2, and Furthermore, d 2 + (r 2? k 2? 1)g < r 2 d 2 + (r 2? k 2 )g :
6 6 G. D. DASKALOPOULOS AND R. A. WENTWORTH If d 1 6= 0 assume r 1 d 1 + (r 1? k 1 )g, and k 1 r 2 6= k 2 r 1. If d 1 = 0 and k 1 = r 1, assume r 2 < d 2 + (r 2? k 2 )g. Then there exists a nontrivial extension 0! E 1! E! E 2! 0 such that h 0 (E) = k 1 + k 2. Proof. If k 2 = 0, the result follows from Riemann-Roch. Suppose k 2 1. The condition that the k 2 sections of E 2 lift for some nontrivial extension is k 2 h 1 (E 1 ) < h 1 (E 1 E2 ). Notice that h 1 (E 1 ) = h 0 (E 1 )? d 1 + r 1 (g? 1) = k 1? d 1 + r 1 (g? 1) h 1 (E 1 E 2) = h 0 (E 1 E 2) + r 1 r 2 ( 2? 1 + g? 1) hence, it suces to show that (3.1) or equivalently, that (3.2) r 1 r 2 ( 2? 1 + g? 1) ; k 2 (k 1? d 1 + r 1 (g? 1)) < r 1 r 2 ( 2? 1 + g? 1) ; r 1 (d 2? r 2 + (r 2? k 2 )g)? r 2 d 1 + k 2 d 1? k 1 k 2 + k 2 r 1 > 0 : Now if k 2 = r 2 = d 2, then (3.2) is trivially satised by the hypotheses. Similarly for d 1 = 0. So assume k 2 r 2? 1, d 1 6= 0. Write d 2 = r 2? (r 2? k 2 )g + p, where 0 p < g by assumption. On the other hand, d 1 r 1 d 2 r 2 (d 1 + (r 1? k 1 )g) r 2? (r 2? k 2 )g + p r 2 where if p = 0 then either the rst or the second inequality is strict. This is equivalent to? d 1p g + k 1p + (r 1? k 1 )(r 2? k 2 )(g? 1) r 1 p? r 2 d 1 + k 2 d 1? k 1 k 2 + k 2 r 1 ; and < if p = 0. Therefore, (3.2) will follow from (3.3)? d 1p g + k 1p + (r 1? k 1 )(r 2? k 2 )(g? 1) > 0 ( if p = 0.) Now if p = 0 then (3.3) is trivially satised. Assume that 1 p g? 1. Then? d 1p g + k 1p + (r 1? k 1 )(r 2? k 2 )(g? 1) >?d 1 + r 1 p? (r 1? k 1 )p + (r 1? k 1 )(r 2? k 2 )(g? 1) (r 1? d 1 ) + (r 1? k 1 )(r 2? k 2? 1)(g? 1) 0 ; which proves (3.3), (3.2), and hence the Lemma. In order to get an upper bound on the inmum of the Yang-Mills-Higgs functional in the next section, we shall need the following construction and energy estimate:
7 BRILL-NOETHER PROBLEM FOR VECTOR BUNDLES 7 Lemma 3.3. Assume 0 < d < r, k 1, and r d + (r? k)g. Let F be a holomorphic bundle of degree d and rank r? 1 with h 0 (F ) = k? 1. Then there exists a non-split extension 0! O! E! F! 0 with h 0 (E) = k. Proof. The condition for all of the sections of F to lift is (k? 1)h 1 (O) < h 1 (F ) () g(k? 1) < d + (r? 1)(g? 1) and hence the result. () r < d + (r? k)g + 1 ; Proposition 3.4 (cf. [6, Prop. 3.5]). Let E 1 ; E 2 be hermitian bundles with slope 1 ; 2. Let A 1 ; A 2 be hermitian connections on E 1 ; E 2, and ~' 1 ; ~' 2 be k 1 and k 2 tuples of holomorphic sections. Set k = k 1 + k 2. Let 1 ; 2 and be real numbers satisfying 1 1 < 2 2, and assume that (A 1 ; ~' 1 ) and (A 2 ; ~' 2 ) satisfy the 1 and 2 vortex equations, respectively. Set E = E 1 E 2, ' i = (' 1 i ; 0) for i = 1; : : : ; k 1, and ' k1 +i = (0; ' 2 i ) for i = 1; : : : ; k 2. Then there exist constants " 1 ; " 2 ; > 0 such that for all with kk = " 1, k ~ k " 2, and A = 2 H 0;1 (; Hom(E 2 ; E 1 )) ; ~ 2 0 (E) k ; A1 ; ~' + 0 A ~ 2 H ; 2 it follows that f (A ; ~' + ~ ) < f (A 1 A 2 ; ~')?. Proof. By assumption, It follows that p?1fa1 A p?1fa` k X 1 Xk` ' 1 j ('1 j ) '` j ('` j) = 2 I` ; ` = 1; 2 : k X 2 ' 2 j ('2 j)? 2 I 1 =? 2 I ? 2 I 2 The argument of [6, pp ] shows that there is a constant " 1 such that for and A as in the statement, f? A ; ' 1 1; : : : ; ' 1 k 1 ; ' 2 1; : : : ; ' 2 k 2 < f? A1 A 2 ; ' 1 1; : : : ; ' 1 k 1 ; ' 2 1; : : : ; ' 2 k 2 : Now if we take " 2 suciently small the Proposition follows (note that which norms we use is irrelevant, since and ~' + ~ satisfy elliptic equations, and hence the L 2 norm is equivalent to any other).
8 8 G. D. DASKALOPOULOS AND R. A. WENTWORTH 4. Proof of the Main Theorem Necessity of the conditions follows from Lemma 3.1, and suciency for d = 0 or d = r is clear as well, simply by taking direct sums of trivial line bundles or eective divisors of degree 1, respectively. To prove suciency in general, we shall proceed by induction on the rank. The case r = 2, d = 1 is clear from a direct construction. Assume the Main Theorem holds for bundles of rank < r. We show that it holds for r as well. Let H H denote the subspace of k-pairs (A; ~' = (' 1 ; : : : ; ' k )) such that the sections ' 1 ; : : : ; ' k are linearly independent. Fix as in Assumption 1 of [4], i.e. (E) < = (E) + < +, where + is the smallest possible slope greater that = (E) of a subbundle of E (note that 0 < < 1 and that we also normalize the volume of to be 4). Lemma 4.1. Let m = inf H f. Then 0 m < =(r? 1). Proof. Let F be a vector bundle of degree d and rank r? 1. Then by the inductive hypothesis, Lemma 3.2, and Proposition 2.4, we may assume there exist hermitian connections A 1 and A 2 on O and F, respectively, and holomorphic sections ' 1 6= 0 in H 0 (; O), and ' 2 ; : : : ; ' k linearly independent sections in H 0 (; F ), such that (A 1 ; ' 1 ) and (A 2 ; ' 2 ; : : : ; ' k ) satisfy the 1 and 2 vortex equations, respectively, for 1 =, 2 = d=(r? 1) +. It follows from Lemma 3.3 and Proposition 3.4 that there is a nontrivial extension : 0! O! E! F! 0, an > 0, and a (smooth) ~ such that (A ; ~' + ~ ) 2 H and f (A ; ~' + ~ ) < f (A 1 A 2 ; ' 1 ; : : : ; ' k )? d r? 1? d 2 I F r = 1 2? < r? 1 : Let (A i ; ~' i ) be a minimizing sequence in H. Thus, f (A i ; ~' i )! m. By weak compactness (more precisely, see the argument in [4, Lemma 5.2]) there is a subsequence converging to (A 1 ; ~' 1 ) in the C 1 topology. By the continuity of f with respect to the C 1 topology, Propositions 2.3 and 2.2, and equation (2.3), it follows that (A 1 ; ~' 1 ) is a critical point of f. If the holomorphic structure E 1 dened by A 1 is semistable, then by semicontinuity of cohomology we are nished. We therefore assume E 1 is unstable and derive a contradiction. According to Proposition 2.1 (iii) we must consider the following cases: (I) (II) ~' 1 = 0 ; ~' 1 6= 0 ; E 1 = E 1 E` E 1 = E ' E 1 E` Set j = (E j ), and assume 1 < < `. If ` > 1, then f (A 1 ; ~' 1 ) (`? ) 2 r` (`? 1) 2 r` r` r? 1 > m ;
9 BRILL-NOETHER PROBLEM FOR VECTOR BUNDLES 9 contradicting Lemma 4.1. Similarly, if 1 < 0, then f (A 1 ; ~' 1 ) ( 1? ) 2 r 1 ( 1 ) 2 r 1 r 1 r? 1 > m ; also a contradiction. We therefore rule out these possibilities. We will consider Cases I and II separately. Case I. Let k i = h 0 (E i ). By semicontinuity of cohomology, P` k i k. If ` = 1, then we may replace E` by a Hermitian-Yang-Mills bundle b E` with exactly ^k` = r` sections. Hence, we may assume that d` + (r`? ^k`? 1)g < r` d` + (r`? ^k`)g : For 1 < i < `, the inductive hypothesis implies that we may replace E i by a Hermitian-Yang-Mills bundle Ei b with h 0 ( Ei b ) = ^k di + r i (g? 1) i = ; g the maximal number of sections allowed for d i ; r i, and g. Note that (4.1) d i + (r i? ^k i? 1)g < r i d i + (r i? ^k i )g : If 1 6= 0, then we can replace E 1 by E1 b as above. If 1 = 0, we may replace E 1 with O r 1, with ^k 1 = r 1 k 1 sections. By our choices of ^k i, P` ^k i P` k i k. Let 0 1 < < s < s+1 < < ` 1. Suppose rst that s 6= 0. By Lemma 3.2 there is a nontrivial extension 0! Es b! G! be s+1! 0, with h 0 (G) = ^k s + ^k s+1. Thus, h 0 b E1 b Es?1 G b Es+1 b E` = `X ^k i k : On the other hand, by Proposition 3.4 there is a hermitian connection on be 1 Es?1 b G Es+1 b E` b and linearly independent sections ' 1 ; : : : ; ' k such that f (A; ~') < f (A 1 ; 0) = m, contradicting the minimality of (A 1 ; 0). Now suppose s = 1 = 0, < i for 2 i `. If for any 2 i ` we have r i < d i + (r i? ^k i )g, then by Lemma 3.2 there is a nontrivial extension 0! E1 b! G! Ei b! 0, with h 0 (G) = ^k 1 + ^k i, and Proposition 3.4 yields a contradiction as before. Suppose that for all 2 i `, r i = d i + (r i? ^k i )g. We claim that P` ^k i > k. For if P` ^k i = k, then P` i=2 (r i? ^k i ) = r? k, and hence r > `X i=2 r i = `X i=2 d i + (r i? ^k i )g = d + (r? k)g ; a contradiction. Thus, we may replace b E1 by a bundle b E 0 1 having ^k 0 1 = ^k 1?1 sections. According to Lemma 3.2 there is a nontrivial extension 0! b E 0 1!
10 10 G. D. DASKALOPOULOS AND R. A. WENTWORTH G! b E2! 0, with h 0 (G) = ^k ^k 2, ^k P` i=2 ^k i k, and Proposition 3.4 yields a contradiction as before. Case II. First notice that by the invariance of the Yang-Mills-Higgs equations under the natural action by U(k), we may assume that ' 1 ; : : : ; '1 k form an L 2 -orthogonal set of sections. In particular, we may assume that there exists s k such that ' 1 ; : : : ; '1 s are linearly independent and ' 1 s+1 ; : : : ; '1 k 0. Write E ' = E 0 ' O t, where E 0 ' contains no split factor of O. Set k i = h 0 (E i ), k ' = h 0 (E ' ), k 0 ' = h 0 (E') 0 = k '? t. By semicontinuity of cohomology, k ' + P` k i k. As in Case I, we may replace each E i by a Hermitian-Yang-Mills bundle Ei b such that h 0 ( Ei b ) = ^k i k i, and (4.1) is satised for i = 1; : : : ; `. On the other hand, since E ' satises the k--vortex equation for = + as above, it follows that E 0 ' is -stable. Therefore, 0 6= (E') 0 = (E); and since < 1, we obtain from Lemma 3.1 that r 0 ' d ' + (r 0 '? k')g. 0 Finally, notice that since E 1 is unstable, ` >. We may now apply Lemma 3.2 to E 0 ' and E` b to obtain a nontrivial extension 0! E 0! G! b ' E`! 0, with h 0 (G) = k 0 ' + ^k`. It follows that h 0 G O t E1 b E`?1 b `X = k ' + ^k i k : By Proposition 3.4 there is a hermitian connection A on GO t b E1 be`?1 and linearly independent sections ' 1 ; : : : ; ' k extending ' 1 1 ; : : : ; '1 s such that f (A; ~') < f (A 1 ; ~' 1 ) = m, again contradicting the minimality of m. This completes the proof of the Main Theorem. 5. Proof of the Corollary Let B denote the set of gauge equivalence classes of solutions to the k--vortex equation for bundles of rank r and degree d, where is chosen as in the proof of the Main Theorem. Let B denote the open subset of pairs (E; ' 1 ; : : : ; ' k ) such that the ' i are linearly independent as sections of E. By the Main Theorem and Lemma 3.2 it follows that B is nonempty. One can therefore show as in [2, 4] that B is a smooth complex manifold of dimension r 2 (g? 1) + k(d? r(g? 1)) with a holomorphic map : B! M(r; d), where M(r; d) is the moduli space of semistable bundles of rank r and degree d and where the map sends a pair [E; ~'] to [E]. Let B 0 B denote the subset where the bundle E is stable. Proposition 5.1. Let W k?1 denote the closure of (B 0 r;d ) in M(r; d). If B 0 k?1 6= ;, then every irreducible component of W has dimension k?1 = r;d r;d r 2 (g? 1) + 1? k(k? d + r(g? 1)). Proof. Consider rst a pair [E; ~'] 2 B 0 where h 0 (E) = k. Notice that B 0 is smooth. Moreover, dim [E;~'] B 0 = dim ([E]) W k?1 r;d + dim?1 ([E])
11 BRILL-NOETHER PROBLEM FOR VECTOR BUNDLES 11 and the dimension formula holds, since dim?1 ([E]) = k 2?1. Since h 0 (E) = k is an open condition in W k?1, the Proposition follows from r;d Lemma 5.2. Suppose that E 0 is a semistable (resp. stable) bundle of rank r, degree d, 0 < d r, and h 0 (E 0 ) = k 1. Then there exists a sequence of semistable (resp. stable) bundles E j of the same rank and degree with h 0 (E) = k? 1 and E j! E 0 in M(r; d). Proof. By Lemma 3.1, k r. The case where d = r and E 0 is strictly semistable is trivial. In the other cases, k < r, and we may write 0 : 0! O k! E 0! F! 0 ; where by assumption the connecting homomorphism 0 : H 0 (F )! H 1 (O k ) is injective. Consider fl t : t 2 Dg a smooth local family of line bundles parametrized by the open unit disk D C and satisfying L 0 = O and H 0 (L t ) = 0, t 6= 0. Set G t = O k?1 L t. The semistability of E 0 implies that H 0 (F G t ) = 0. Hence, fh 1 (F G t ) : t 2 Dg denes a smooth vector bundle V over D. Let = f(t) : t 2 Dg be a nowhere vanishing section of V with (0) = 0. Then denes a smooth family of nonsplit extensions 0! G t! E t! F! 0 and a smooth family of connecting homomorphisms t : H 0 (F )?! H 1 (G t ) 0;1 (U) ; where U is the trivial rank k, C 1 vector bundle on. By assumption, 0 is injective; hence, t is injective for small t. It follows that h 0 (E t ) = k? 1 for small t. Furthermore, since E 0 is semistable (resp. stable) then E t is also semistable (resp. stable) for small t. Continuing with the proof of the Corollary, we rst take care of a borderline situation: Lemma 5.3. If r = d+(r?k)g, 0 < d < r, then there exists a stable bundle of rank r and degree d with k linearly independent holomorphic sections. Proof. Note that k < r. Let F be a stable bundle of rank r? k and degree d. Consider an extension : 0! O k! E! F! 0 ; obtained by choosing a basis for H 1 (F ). We claim that any such E is stable. For suppose there is a proper semistable quotient E! Q! 0 with (Q) (E). By the stability of F we also have (Q) 0. Let ` be the rank of the image of the induced map O k! Q. Note that by the choice of we cannot have Q ' O `, and so from Lemma 3.1 we obtain a locally free quotient Q 0 ' Q=O ` of F. Again applying Lemma 3.1 we nd (Q 0 ) = deg Q rk Q? ` (Q) 1? (Q) g (E) 1? (E) g = (F ) : By the stability of F we must have Q 0 ' F, which contradicts the properness of Q.
12 12 G. D. DASKALOPOULOS AND R. A. WENTWORTH The proof of the Corollary is completed by the following Lemma 5.4. Let d and r be as in the statement of the Corollary. We choose k to be the maximal integer such that r d + (r? k)g. By Lemma 5.3, we may also assume r < d + (r? k)g. Let B B be as above. Then no irreducible component of the image of B under the map can be contained in M(r 1 ; d 1 ) M(r 2 ; d 2 ) M(r; d) for any choice of integers r 1 ; r 2 ; d 1 ; d 2 satisfying r 1 + r 2 = r, d 1 + d 2 = d, and d 1 =r 1 = d 2 =r 2 = d=r. Proof. Assume the image of is contained in such a locus; we shall derive a contradiction. Let [E; ~'] 2 B, and suppose (E; ~') ' E 1 E 2. By semicontinuity of cohomology, k k 1 + k 2, where k i = h 0 (E i ). On the other hand, notice that d 1? (r 1? k 1? 1)g < r 1, and d 2? (r 2? k 2? 1)g < r 2, since otherwise by Lemma 3.1, r d + (r? (k + 1))g, contradicting the maximality of k. Now as in the proof of Lemma 3.2 (see (3.1)) we obtain (5.1) (5.2) k 2 (k 1? d 1 + r 1 (g? 1)) < r 1 r 2 (g? 1)? 1 ; k 1 (k 2? d 2 + r 2 (g? 1)) < r 1 r 2 (g? 1)? 1 : On the other hand, we may assume that E 1 and E 2 are stable and nonisomorphic (otherwise the inequalities are even sharper), and by Proposition 5.1 we may assume E 1 E 2 lies in a subvariety S M(r 1 ; d 1 ) M(r 2 ; d 2 ) of dimension at most k 1?1 r 1 ;d 1 + k 2?1 r 2 ;d 2. Finally, we have (5.3) dim [E;~'] B dim [E1 E 2 ] S + dim?1 ([E 1 E 2 ]) : Since?1 ([E 1 E 2 ]) consists of extensions E of E 2 by E 1 such that the sections of E 2 lift, or vice versa, together with k sections of E, it follows that ( (5.4) dim?1 ([E 1 E 2 ]) = max h 1 (E1 E 2)? k 1 h 1 (E 2 ) + k 2? 1 h 1 (E2 E 1)? k 2 h 1 (E 1 ) + k 2? 1 : By combining (5.3) and (5.4) we obtain either or k 1 (k 2? d 2 + r 2 (g? 1)) r 1 r 2 (g? 1)? 1 k 2 (k 1? d 1 + r 1 (g? 1)) r 1 r 2 (g? 1)? 1 ; contradicting either (5.1) or (5.2). This completes the proof of the Lemma. References [1] E. Arbarello, M. Cornalba, P. Griths, and J. Harris, \Geometry of Algebraic Curves," Springer-Verlag, New York, [2] A. Bertram, G. Daskalopoulos, and R. Wentworth, Gromov invariants for holomorphic maps from Riemann surfaces to Grassmannians, JAMS 9, [3] S. Bradlow, Special metrics and stability for holomorphic bundles with global sections, J. Di. Geom. 33 (1991),
13 BRILL-NOETHER PROBLEM FOR VECTOR BUNDLES 13 [4] S. Bradlow and G. Daskalopoulos, Moduli of stable pairs for holomorphic bundles over Riemann surfaces, Int. J. of Math. 2 (1991), [5] L. Brambila Paz, I. Grzegorczyk, and P. Newstead, Geography of Brill-Noether loci for small slope, to appear in the Journal of Algebraic Geometry. [6] G. Daskalopoulos, The topology of the space of stable bundles on a Riemann surface, J. Di. Geom. 36 (1992), [7] P. Newstead, Vector bundles on algebraic curves, problem list prepared by Europroj, [8] J. Rade, On the Yang-Mills heat equation in two and three dimensions, J. Reine. Angew. Math. 431 (1992), [9] N. Sundaram, Special divisors and vector bundles, T^ohoku Math. J. 39 (1987), [10] M. Teixidor I Bigas, Brill-Noether theory for stable vector bundles, Duke Math. J. 62 (1991), Department of Mathematics, Brown University, Providence, RI address: daskal@gauss.math.brown.edu Department of Mathematics, University of California, Irvine, CA address: raw@math.uci.edu
Existence of coherent systems of rank two and dimension four
Collect. Math. 58, 2 (2007), 193 198 c 2007 Universitat de Barcelona Existence of coherent systems of rank two and dimension four Montserrat Teixidor i Bigas Mathematics Department, Tufts University, Medford
More informationAPPROXIMATE YANG MILLS HIGGS METRICS ON FLAT HIGGS BUNDLES OVER AN AFFINE MANIFOLD. 1. Introduction
APPROXIMATE YANG MILLS HIGGS METRICS ON FLAT HIGGS BUNDLES OVER AN AFFINE MANIFOLD INDRANIL BISWAS, JOHN LOFTIN, AND MATTHIAS STEMMLER Abstract. Given a flat Higgs vector bundle (E,, ϕ) over a compact
More informationStable 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 informationMorse theory and stable pairs
Richard A. SCGAS 2010 Joint with Introduction Georgios Daskalopoulos (Brown University) Jonathan Weitsman (Northeastern University) Graeme Wilkin (University of Colorado) Outline Introduction 1 Introduction
More informationSpecial determinants in higher-rank Brill-Noether theory
Special determinants in higher-rank Brill-Noether theory Brian Osserman University of California, Davis March 12, 2011 1 Classical Brill-Noether theory Let C be a smooth, projective curve of genus g over
More informationLINKED ALTERNATING FORMS AND LINKED SYMPLECTIC GRASSMANNIANS
LINKED ALTERNATING FORMS AND LINKED SYMPLECTIC GRASSMANNIANS BRIAN OSSERMAN AND MONTSERRAT TEIXIDOR I BIGAS Abstract. Motivated by applications to higher-rank Brill-Noether theory and the Bertram-Feinberg-Mukai
More informationLINKED HOM SPACES BRIAN OSSERMAN
LINKED HOM SPACES BRIAN OSSERMAN Abstract. In this note, we describe a theory of linked Hom spaces which complements that of linked Grassmannians. Given two chains of vector bundles linked by maps in both
More informationON THE INTERSECTION THEORY OF QUOT SCHEMES AND MODULI OF BUNDLES WITH SECTIONS
ON THE INTERSECTION THEORY OF QUOT SCHEMES AND MODULI OF BUNDLES WITH SECTIONS ALINA MARIAN Abstract. We consider a class of tautological top intersection products on the moduli space of stable pairs consisting
More informationSome Remarks on Prill s Problem
AFFINE ALGEBRAIC GEOMETRY pp. 287 292 Some Remarks on Prill s Problem Abstract. N. Mohan Kumar If f : X Y is a non-constant map of smooth curves over C and if there is a degree two map π : X C where C
More informationarxiv:math/ v1 [math.ag] 17 Oct 2006
Remark on a conjecture of Mukai Arnaud BEAUVILLE Introduction arxiv:math/0610516v1 [math.ag] 17 Oct 2006 The conjecture mentioned in the title appears actually as a question in [M] (Problem 4.11): Conjecture.
More informationHolomorphic 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 informationthe complete linear series of D. Notice that D = PH 0 (X; O X (D)). Given any subvectorspace V H 0 (X; O X (D)) there is a rational map given by V : X
2. Preliminaries 2.1. Divisors and line bundles. Let X be an irreducible complex variety of dimension n. The group of k-cycles on X is Z k (X) = fz linear combinations of subvarieties of dimension kg:
More informationON 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 informationThe Rationality of Certain Moduli Spaces of Curves of Genus 3
The Rationality of Certain Moduli Spaces of Curves of Genus 3 Ingrid Bauer and Fabrizio Catanese Mathematisches Institut Universität Bayreuth, NW II D-95440 Bayreuth, Germany Ingrid.Bauer@uni-bayreuth.de,
More informationarxiv: v2 [math.ag] 15 Oct 2014
TANGENT SPACES OF MULTIPLY SYMPLECTIC GRASSMANNIANS arxiv:131.1657v [math.ag] 15 Oct 014 NAIZHEN ZHANG Abstract. It is a natural question to ask whether two or more symplectic Grassmannians sitting inside
More informationIf F is a divisor class on the blowing up X of P 2 at n 8 general points p 1,..., p n P 2,
Proc. Amer. Math. Soc. 124, 727--733 (1996) Rational Surfaces with K 2 > 0 Brian Harbourne Department of Mathematics and Statistics University of Nebraska-Lincoln Lincoln, NE 68588-0323 email: bharbourne@unl.edu
More informationF. LAYTIMI AND D.S. NAGARAJ
REMARKS ON RAMANUJAM-KAWAMATA-VIEHWEG VANISHING THEOREM arxiv:1702.04476v1 [math.ag] 15 Feb 2017 F. LAYTIMI AND D.S. NAGARAJ Abstract. In this article weproveageneralresult on anef vector bundle E on a
More informationTHE REPRESENTATION THEORY, GEOMETRY, AND COMBINATORICS OF BRANCHED COVERS
THE REPRESENTATION THEORY, GEOMETRY, AND COMBINATORICS OF BRANCHED COVERS BRIAN OSSERMAN Abstract. The study of branched covers of the Riemann sphere has connections to many fields. We recall the classical
More informationA Criterion for Flatness of Sections of Adjoint Bundle of a Holomorphic Principal Bundle over a Riemann Surface
Documenta Math. 111 A Criterion for Flatness of Sections of Adjoint Bundle of a Holomorphic Principal Bundle over a Riemann Surface Indranil Biswas Received: August 8, 2013 Communicated by Edward Frenkel
More informationarxiv:alg-geom/ v2 9 Jun 1993
GROMOV INVARIANTS FOR HOLOMORPHIC MAPS FROM RIEMANN SURFACES TO GRASSMANNIANS arxiv:alg-geom/9306005v2 9 Jun 1993 Aaron Bertram 1 Georgios Daskalopoulos Richard Wentworth 2 Dedicated to Professor Raoul
More informationSemistable Representations of Quivers
Semistable Representations of Quivers Ana Bălibanu Let Q be a finite quiver with no oriented cycles, I its set of vertices, k an algebraically closed field, and Mod k Q the category of finite-dimensional
More informationA GENERALIZED QUOT SCHEME AND MEROMORPHIC VORTICES
A GENERALIZED QUOT SCHEME AND MEROMORPHIC VORTICES INDRANIL BISWAS, AJNEET DHILLON, JACQUES HURTUBISE, AND RICHARD A. WENTWORTH Abstract. Let be a compact connected Riemann surface. Fix a positive integer
More informationarxiv: v2 [math.ag] 5 Jun 2018
A Brief Survey of Higgs Bundles 1 21/03/2018 Ronald A. Zúñiga-Rojas 2 Centro de Investigaciones Matemáticas y Metamatemáticas CIMM Universidad de Costa Rica UCR San José 11501, Costa Rica e-mail: ronald.zunigarojas@ucr.ac.cr
More informationCR SINGULAR IMAGES OF GENERIC SUBMANIFOLDS UNDER HOLOMORPHIC MAPS
CR SINGULAR IMAGES OF GENERIC SUBMANIFOLDS UNDER HOLOMORPHIC MAPS JIŘÍ LEBL, ANDRÉ MINOR, RAVI SHROFF, DUONG SON, AND YUAN ZHANG Abstract. The purpose of this paper is to organize some results on the local
More informationON NEARLY SEMIFREE CIRCLE ACTIONS
ON NEARLY SEMIFREE CIRCLE ACTIONS DUSA MCDUFF AND SUSAN TOLMAN Abstract. Recall that an effective circle action is semifree if the stabilizer subgroup of each point is connected. We show that if (M, ω)
More informationStability of the Poincaré Bundle
arxiv:alg-geom/9506011v1 15 Jun 1995 Stability of the Poincaré Bundle V. Balaji, L. Brambila Paz and P. E. Newstead 30 May 1995 Abstract Let C beanonsingularprojective curveof genus g 2 definedover the
More informationNon-uniruledness results for spaces of rational curves in hypersurfaces
Non-uniruledness results for spaces of rational curves in hypersurfaces Roya Beheshti Abstract We prove that the sweeping components of the space of smooth rational curves in a smooth hypersurface of degree
More informationDeformations of trianalytic subvarieties nal version, Oct Deformations of trianalytic subvarieties of. hyperkahler manifolds.
Deformations of trianalytic subvarieties of hyperkahler manifolds. Misha Verbitsky, 1 verbit@thelema.dnttm.rssi.ru, verbit@math.ias.edu Contents Let M be a compact complex manifold equipped with a hyperkahler
More informationHOMOMORPHISMS OF VECTOR BUNDLES ON CURVES AND PARABOLIC VECTOR BUNDLES ON A SYMMETRIC PRODUCT
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 140, Number 9, September 2012, Pages 3017 3024 S 0002-9939(2012)11227-4 Article electronically published on January 24, 2012 HOMOMORPHISMS OF VECTOR
More informationarxiv:alg-geom/ v2 14 Nov 1997
ON A CONJECTURE OF LANGE. arxiv:alg-geom/9710019v2 14 Nov 1997 BARBARA RUSSO MONTSERRAT TEIXIDOR I BIGAS Introduction Let C be a projective non-singular curve of genus g 2. Let E be a vector bundle of
More informationSPACES 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 informationMathematical 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 informationUniform K-stability of pairs
Uniform K-stability of pairs Gang Tian Peking University Let G = SL(N + 1, C) with two representations V, W over Q. For any v V\{0} and any one-parameter subgroup λ of G, we can associate a weight w λ
More informationPacific Journal of Mathematics
Pacific Journal of Mathematics THE MODULI OF FLAT PU(2,1) STRUCTURES ON RIEMANN SURFACES Eugene Z. Xia Volume 195 No. 1 September 2000 PACIFIC JOURNAL OF MATHEMATICS Vol. 195, No. 1, 2000 THE MODULI OF
More informationTHE FUNDAMENTAL GROUP OF MANIFOLDS OF POSITIVE ISOTROPIC CURVATURE AND SURFACE GROUPS
THE FUNDAMENTAL GROUP OF MANIFOLDS OF POSITIVE ISOTROPIC CURVATURE AND SURFACE GROUPS AILANA FRASER AND JON WOLFSON Abstract. In this paper we study the topology of compact manifolds of positive isotropic
More informationREAL INSTANTONS, DIRAC OPERATORS AND QUATERNIONIC CLASSIFYING SPACES PAUL NORBURY AND MARC SANDERS Abstract. Let M(k; SO(n)) be the moduli space of ba
REAL INSTANTONS, DIRAC OPERATORS AND QUATERNIONIC CLASSIFYING SPACES PAUL NORBURY AND MARC SANDERS Abstract. Let M(k; SO(n)) be the moduli space of based gauge equivalence classes of SO(n) instantons on
More informationCOMMON COMPLEMENTS OF TWO SUBSPACES OF A HILBERT SPACE
COMMON COMPLEMENTS OF TWO SUBSPACES OF A HILBERT SPACE MICHAEL LAUZON AND SERGEI TREIL Abstract. In this paper we find a necessary and sufficient condition for two closed subspaces, X and Y, of a Hilbert
More informationDIMENSION ESTIMATES FOR HILBERT SCHEMES AND EFFECTIVE BASE POINT FREENESS ON MODULI SPACES OF VECTOR BUNDLES ON CURVES.
DIMENSION ESTIMATES FOR HILBERT SCHEMES AND EFFECTIVE BASE POINT FREENESS ON MODULI SPACES OF VECTOR BUNDLES ON CURVES MIHNEA POPA Introduction It is a well established fact that the solutions of many
More informationKODAIRA DIMENSION OF LEFSCHETZ FIBRATIONS OVER TORI
KODAIRA DIMENSION OF LEFSCHETZ FIBRATIONS OVER TORI JOSEF G. DORFMEISTER Abstract. The Kodaira dimension for Lefschetz fibrations was defined in [1]. In this note we show that there exists no Lefschetz
More informationOn a conjecture of Fujita Miguel A. Barja 0. Introduction Let Y be a smooth projective variety. Let M = O Y (D) be an invertible sheaf. There are seve
On a conjecture of Fujita Miguel A. Barja 0. Introduction Let Y be a smooth projective variety. Let M = O Y (D) be an invertible sheaf. There are several notions of positivity for M. M is said to be nef
More informationSEPARABLE 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 information2 Garrett: `A Good Spectral Theorem' 1. von Neumann algebras, density theorem The commutant of a subring S of a ring R is S 0 = fr 2 R : rs = sr; 8s 2
1 A Good Spectral Theorem c1996, Paul Garrett, garrett@math.umn.edu version February 12, 1996 1 Measurable Hilbert bundles Measurable Banach bundles Direct integrals of Hilbert spaces Trivializing Hilbert
More informationSeptember 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 informationNOTES ON HOLOMORPHIC PRINCIPAL BUNDLES OVER A COMPACT KÄHLER MANIFOLD
NOTES ON HOLOMORPHIC PRINCIPAL BUNDLES OVER A COMPACT KÄHLER MANIFOLD INDRANIL BISWAS Abstract. Our aim is to review some recent results on holomorphic principal bundles over a compact Kähler manifold.
More informationMoment map flows and the Hecke correspondence for quivers
and the Hecke correspondence for quivers International Workshop on Geometry and Representation Theory Hong Kong University, 6 November 2013 The Grassmannian and flag varieties Correspondences in Morse
More informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More informationFree divisors on metric graphs
Free divisors on metric graphs Marc Coppens Abstract On a metric graph we introduce the notion of a free divisor as a replacement for the notion of a base point free complete linear system on a curve.
More informationALGEBRAIC HYPERBOLICITY OF THE VERY GENERAL QUINTIC SURFACE IN P 3
ALGEBRAIC HYPERBOLICITY OF THE VERY GENERAL QUINTIC SURFACE IN P 3 IZZET COSKUN AND ERIC RIEDL Abstract. We prove that a curve of degree dk on a very general surface of degree d 5 in P 3 has geometric
More informationEXISTENCE 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 informationGeneralized 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 informationMODULI SPACES OF CURVES
MODULI SPACES OF CURVES SCOTT NOLLET Abstract. My goal is to introduce vocabulary and present examples that will help graduate students to better follow lectures at TAGS 2018. Assuming some background
More informationLifting to non-integral idempotents
Journal of Pure and Applied Algebra 162 (2001) 359 366 www.elsevier.com/locate/jpaa Lifting to non-integral idempotents Georey R. Robinson School of Mathematics and Statistics, University of Birmingham,
More informationDoc. Math. J. DMV 321 Chern Classes of Fibered Products of Surfaces Mina Teicher Received: March 16, 1998 Revised: September 18, 1998 Communicated by
Doc. Math. J. DMV 31 Chern Classes of Fibered Products of Surfaces Mina Teicher Received: March 16, 1998 Revised: September 18, 1998 Communicated by Thomas Peternell Abstract. In this paper we introduce
More informationSPACES 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 information5 Banach Algebras. 5.1 Invertibility and the Spectrum. Robert Oeckl FA NOTES 5 19/05/2010 1
Robert Oeckl FA NOTES 5 19/05/2010 1 5 Banach Algebras 5.1 Invertibility and the Spectrum Suppose X is a Banach space. Then we are often interested in (continuous) operators on this space, i.e, elements
More informationTheta divisors and the Frobenius morphism
Theta divisors and the Frobenius morphism David A. Madore Abstract We introduce theta divisors for vector bundles and relate them to the ordinariness of curves in characteristic p > 0. We prove, following
More informationCOMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY
COMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY BRIAN OSSERMAN Classical algebraic geometers studied algebraic varieties over the complex numbers. In this setting, they didn t have to worry about the Zariski
More informationScalar curvature and the Thurston norm
Scalar curvature and the Thurston norm P. B. Kronheimer 1 andt.s.mrowka 2 Harvard University, CAMBRIDGE MA 02138 Massachusetts Institute of Technology, CAMBRIDGE MA 02139 1. Introduction Let Y be a closed,
More informationarxiv: 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 informationON STABILITY OF NON-DOMINATION UNDER TAKING PRODUCTS
ON STABILITY OF NON-DOMINATION UNDER TAKING PRODUCTS D. KOTSCHICK, C. LÖH, AND C. NEOFYTIDIS ABSTRACT. We show that non-domination results for targets that are not dominated by products are stable under
More informationLECTURE 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 informationDIVISOR THEORY ON TROPICAL AND LOG SMOOTH CURVES
DIVISOR THEORY ON TROPICAL AND LOG SMOOTH CURVES MATTIA TALPO Abstract. Tropical geometry is a relatively new branch of algebraic geometry, that aims to prove facts about algebraic varieties by studying
More informationPacific Journal of Mathematics
Pacific Journal of Mathematics STABLE REFLEXIVE SHEAVES ON SMOOTH PROJECTIVE 3-FOLDS PETER VERMEIRE Volume 219 No. 2 April 2005 PACIFIC JOURNAL OF MATHEMATICS Vol. 219, No. 2, 2005 STABLE REFLEXIVE SHEAVES
More informationLecture 1. Toric Varieties: Basics
Lecture 1. Toric Varieties: Basics Taras Panov Lomonosov Moscow State University Summer School Current Developments in Geometry Novosibirsk, 27 August1 September 2018 Taras Panov (Moscow University) Lecture
More informationRational curves on general type hypersurfaces
Rational curves on general type hypersurfaces Eric Riedl and David Yang May 5, 01 Abstract We develop a technique that allows us to prove results about subvarieties of general type hypersurfaces. As an
More informationTHE MAPPING CLASS GROUP ACTS REDUCIBLY ON SU(n)-CHARACTER VARIETIES
THE MAPPING CLASS GROUP ACTS REDUCIBLY ON SU(n)-CHARACTER VARIETIES WILLIAM M. GOLDMAN Abstract. When G is a connected compact Lie group, and π is a closed surface group, then Hom(π, G)/G contains an open
More informationGEORGIOS D. DASKALOPOULOS AND RICHARD A. WENTWORTH. Dedicated to Professor Karen K. Uhlenbeck, on the occasion of her 60th birthday.
CONVERGENCE PROPERTIES OF THE YANG-MILLS FLOW ON KÄHLER SURFACES GEORGIOS D. DASKALOPOULOS AND RICHARD A. WENTWORTH Dedicated to Professor Karen K. Uhlenbeck, on the occasion of her 60th birthday. Abstract.
More informationA Gauss-Bonnet theorem for constructible sheaves on reductive groups
A Gauss-Bonnet theorem for constructible sheaves on reductive groups V. Kiritchenko 1 Introduction In this paper, we prove an analog of the Gauss-Bonnet formula for constructible sheaves on reductive groups.
More informationFinite generation of pluricanonical rings
University of Utah January, 2007 Outline of the talk 1 Introduction Outline of the talk 1 Introduction 2 Outline of the talk 1 Introduction 2 3 The main Theorem Curves Surfaces Outline of the talk 1 Introduction
More informationL19: Fredholm theory. where E u = u T X and J u = Formally, J-holomorphic curves are just 1
L19: Fredholm theory We want to understand how to make moduli spaces of J-holomorphic curves, and once we have them, how to make them smooth and compute their dimensions. Fix (X, ω, J) and, for definiteness,
More informationA 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 informationA NEW BOUND FOR THE EFFECTIVE MATSUSAKA BIG THEOREM
Houston Journal of Mathematics c 2002 University of Houston Volume 28, No 2, 2002 A NEW BOUND FOR THE EFFECTIVE MATSUSAKA BIG THEOREM YUM-TONG SIU Dedicated to Professor Shiing-shen Chern on his 90th Birthday
More informationwhere m is the maximal ideal of O X,p. Note that m/m 2 is a vector space. Suppose that we are given a morphism
8. Smoothness and the Zariski tangent space We want to give an algebraic notion of the tangent space. In differential geometry, tangent vectors are equivalence classes of maps of intervals in R into the
More informationNOTES ON DIVISORS AND RIEMANN-ROCH
NOTES ON DIVISORS AND RIEMANN-ROCH NILAY KUMAR Recall that due to the maximum principle, there are no nonconstant holomorphic functions on a compact complex manifold. The next best objects to study, as
More informationMath 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 information11. Dimension. 96 Andreas Gathmann
96 Andreas Gathmann 11. Dimension We have already met several situations in this course in which it seemed to be desirable to have a notion of dimension (of a variety, or more generally of a ring): for
More informationON FOURIER-MUKAI TRANSFORM ON THE COMPACT VARIETY OF RULED SURFACES
ON FOURIER-MUKAI TRANSFORM ON THE COMPACT VARIETY OF RULED SURFACES CRISTINA MARTÍNEZ Abstract. Let C be a projective irreducible non-singular curve over an algebraic closed field k of characteristic 0.
More informationOn an algebra related to orbit-counting. Peter J. Cameron. Queen Mary and Westeld College. London E1 4NS U.K. Abstract
On an algebra related to orbit-counting Peter J. Cameron School of Mathematical Sciences Queen Mary and Westeld College London E1 4NS U.K. Abstract With any permutation group G on an innite set is associated
More informationRearrangements and polar factorisation of countably degenerate functions G.R. Burton, School of Mathematical Sciences, University of Bath, Claverton D
Rearrangements and polar factorisation of countably degenerate functions G.R. Burton, School of Mathematical Sciences, University of Bath, Claverton Down, Bath BA2 7AY, U.K. R.J. Douglas, Isaac Newton
More informationRICCI SOLITONS ON COMPACT KAHLER SURFACES. Thomas Ivey
RICCI SOLITONS ON COMPACT KAHLER SURFACES Thomas Ivey Abstract. We classify the Kähler metrics on compact manifolds of complex dimension two that are solitons for the constant-volume Ricci flow, assuming
More informationVector Space Basics. 1 Abstract Vector Spaces. 1. (commutativity of vector addition) u + v = v + u. 2. (associativity of vector addition)
Vector Space Basics (Remark: these notes are highly formal and may be a useful reference to some students however I am also posting Ray Heitmann's notes to Canvas for students interested in a direct computational
More informationJ. Huisman. Abstract. let bxc be the fundamental Z=2Z-homology class of X. We show that
On the dual of a real analytic hypersurface J. Huisman Abstract Let f be an immersion of a compact connected smooth real analytic variety X of dimension n into real projective space P n+1 (R). We say that
More informationLANGLANDS FOR GL(2): GALOIS TO AUTOMORPHIC, III (D APRÈS DRINFELD)
LANGLANDS FOR GL(2): GALOIS TO AUTOMORPHIC, III (D APRÈS DRINFELD) TONY FENG 1. Recollections Let ω be a meromorphic differential on X and ψ 0 : F q Q l be an additive character. Last time we produced
More informationENOKI S INJECTIVITY THEOREM (PRIVATE NOTE) Contents 1. Preliminaries 1 2. Enoki s injectivity theorem 2 References 5
ENOKI S INJECTIVITY THEOREM (PRIVATE NOTE) OSAMU FUJINO Contents 1. Preliminaries 1 2. Enoki s injectivity theorem 2 References 5 1. Preliminaries Let us recall the basic notion of the complex geometry.
More informationDonaldson 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 informationSemistability of certain bundles on a quintic Calabi-Yau threefold.
Semistability of certain bundles on a quintic Calabi-Yau threefold. Maria Chiara Brambilla Dipartimento di Matematica e Applicazioni per l Architettura, Università di Firenze, piazza Ghiberti, 27, 50122
More informationOn the intersection theory of the moduli space of rank two bundles
On the intersection theory of the moduli space of rank two bundles Alina Marian a, Dragos Oprea b,1 a Yale University, P.O. Box 208283, New Haven, CT, 06520-8283, USA b M.I.T, 77 Massachusetts Avenue,
More informationTheorem 5.3. Let E/F, E = F (u), be a simple field extension. Then u is algebraic if and only if E/F is finite. In this case, [E : F ] = deg f u.
5. Fields 5.1. Field extensions. Let F E be a subfield of the field E. We also describe this situation by saying that E is an extension field of F, and we write E/F to express this fact. If E/F is a field
More informationMODULI SPACES OF COHERENT SYSTEMS OF SMALL SLOPE ON ALGEBRAIC CURVES
MODULI SPACES OF COHERENT SYSTEMS OF SMALL SLOPE ON ALGEBRAIC CURVES S. B. BRADLOW, O. GARCÍA-PRADA, V. MERCAT, V. MUÑOZ, AND P. E. NEWSTEAD Abstract. Let C be an alebraic curve of enus 2. A coherent system
More informationModuli stacks of vector bundles on curves and the King Schofield rationality proof
Moduli stacks of vector bundles on curves and the King Schofield rationality proof Norbert Hoffmann September 10, 2004 Introduction Let C be a connected smooth projective curve of genus g 2 over an algebraically
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 43
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 43 RAVI VAKIL CONTENTS 1. Facts we ll soon know about curves 1 1. FACTS WE LL SOON KNOW ABOUT CURVES We almost know enough to say a lot of interesting things about
More informationCriteria for existence of semigroup homomorphisms and projective rank functions. George M. Bergman
Criteria for existence of semigroup homomorphisms and projective rank functions George M. Bergman Suppose A, S, and T are semigroups, e: A S and f: A T semigroup homomorphisms, and X a generating set for
More informationHYPERKÄ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 informationCONSIDERATION OF COMPACT MINIMAL SURFACES IN 4-DIMENSIONAL FLAT TORI IN TERMS OF DEGENERATE GAUSS MAP
CONSIDERATION OF COMPACT MINIMAL SURFACES IN 4-DIMENSIONAL FLAT TORI IN TERMS OF DEGENERATE GAUSS MAP TOSHIHIRO SHODA Abstract. In this paper, we study a compact minimal surface in a 4-dimensional flat
More information(1.) For any subset P S we denote by L(P ) the abelian group of integral relations between elements of P, i.e. L(P ) := ker Z P! span Z P S S : For ea
Torsion of dierentials on toric varieties Klaus Altmann Institut fur reine Mathematik, Humboldt-Universitat zu Berlin Ziegelstr. 13a, D-10099 Berlin, Germany. E-mail: altmann@mathematik.hu-berlin.de Abstract
More informationDefinitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations
Page 1 Definitions Tuesday, May 8, 2018 12:23 AM Notations " " means "equals, by definition" the set of all real numbers the set of integers Denote a function from a set to a set by Denote the image of
More informationLINEAR EQUATIONS WITH UNKNOWNS FROM A MULTIPLICATIVE GROUP IN A FUNCTION FIELD. To Professor Wolfgang Schmidt on his 75th birthday
LINEAR EQUATIONS WITH UNKNOWNS FROM A MULTIPLICATIVE GROUP IN A FUNCTION FIELD JAN-HENDRIK EVERTSE AND UMBERTO ZANNIER To Professor Wolfgang Schmidt on his 75th birthday 1. Introduction Let K be a field
More informationGeometry of the theta divisor of a compactified jacobian
J. Eur. Math. Soc. 11, 1385 1427 c European Mathematical Society 2009 Lucia Caporaso Geometry of the theta divisor of a compactified jacobian Received October 16, 2007 and in revised form February 21,
More informationStability of the Tangent Bundle of the Wonderful Compactification of an Adjoint Group
Documenta Math. 1465 Stability of the Tangent Bundle of the Wonderful Compactification of an Adjoint Group Indranil Biswas and S. Senthamarai Kannan Received: April 3, 2013 Communicated by Thomas Peternell
More informationThe 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