A GENERALIZED QUOT SCHEME AND MEROMORPHIC VORTICES
|
|
- Brice Thompson
- 5 years ago
- Views:
Transcription
1 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 r and two nonnegative integers d p and d z. Consider all pairs of the form (F, f), where F is a holomorphic vector bundle on of rank r and degree d z d p, and f : O r F is a meromorphic homomorphism which an isomorphism outside a finite subset of and has pole (respectively, zero) of total degree d p (respectively, d z ). Two such pairs (F 1, f 1 ) and (F 2, f 2 ) are called isomorphic if there is a holomorphic isomorphism of F 1 with F 2 over that takes f 1 to f 2. We construct a natural compactification of the moduli space equivalence classes pairs of the above type. The Poincaré polynomial of this compactification is computed. 1. Introduction Take a compact connected Riemann surface. Fix positive integers r and d. Consider pairs of the form (E, f), where E is a holomorphic vector bundle on of rank r and degree d, and f : O r E is an O linear homomorphism which is an isomorphism outside a finite subset of. This implies that the total degree of zeros of f is d. Two such pairs (E 1, f 1 ) and (E 2, f 2 ) are called equivalent if there is a holomorphic isomorphism φ : E 1 E 2 such that φ f 1 = f 2. Such pairs are examples of vortices [BDW], [Br], [BR], [Ba], [EINOS]. For any pair (E, f) of the above type, consider the dual homomorphism f : E (O r ) = O r. The quotient O r /image(f ) is an element of the Quot scheme Quot(r, d) that parametrizes all torsion quotients of O r of degree d. Conversely, given any torsion quotient O r of degree d, consider the homomorphism O r ψ T = (O r ) ψ kernel(ψ) 2000 Mathematics Subject Classification. 14H60, 14D21, 14D23. Key words and phrases. Generalized Quot scheme, meromorphic vortices, moduli space, Poincaré polynomial. 1
2 2 I. BISWAS, A. DHILLON, J. HURTUBISE, AND R. A. WENTWORTH induced by the inclusion kernel(ψ) O r. The pair (kernel(ψ), ψ ) is clearly of the above type. Therefore, the moduli space of equivalence classes of pairs (E, f) is identified with the Quot scheme Quot(r, d). Here we consider pairs of the form (E, f), where E is a holomorphic vector bundle on of rank r and degree d, and f : O r E is an O linear meromorphic homomorphism which is an isomorphism outside a finite subset of. We assume that the total degree of the poles of the meromorphic homomorphism is d p. This implies that the total degree of the zeros of the meromorphic homomorphism is d + d p. As before, two such pairs (E 1, f 1 ) and (E 2, f 2 ) will be called equivalent if there is a holomorphic isomorphism φ : E 1 E 2 such that φ f 1 = f 2. The equivalence classes of pairs can be considered as examples of meromorphic vortices. We construct a natural compactification of the moduli space of these meromorphic vortices. We compute the Poincaré polynomial of this compactification. 2. Notations and Conventions Let S be a scheme and Y S a smooth projective morphism. Given a coherent sheaf F on Y flat over S and a numerical polynomial r(t), we denote by Quot(F/S, r(t)) the Grothendieck Quot scheme over S parametrizing quotients of F with Hilbert polynomial r(t) [Gr]. There is a universal exact sequence on Quot(F/S, r(t)) S Y 0 K univ Quot(F/S,r(t)) π Y F Q univ Quot(F/S,r(t)) 0, where π Y : Quot(F/S, r(t)) S Y Y is the natural projection. Often we will just drop the subscripts and write K univ or Q univ instead. This construction is well behaved with respect to pull-backs, so let us record the following: Lemma 2.1. For any morphism g : T S, the base change holds. Quot(g F/T, r(t)) = Quot(F/S, r(t)) S T Proof. This follows by examining the corresponding representable functors. We will mostly be interested in the case where Y S is a smooth, connected and of relative dimension one, that is a relative curve, and F is locally free of rank r. Further, we will only consider torsion quotients of rank zero and degree d. This Quot scheme will be denoted by Quot(F/S, d). When r = 1 and S is a point, then the d-th symmetric power of Y. Quot(O, d) = Sym d (Y ),
3 A GENERALIZED QUOT SCHEME AND MEROMORPHIC VORTICES 3 Given an positive integer d by a partition of length k > 0 of d we mean a sequence P = (p 1, p 2,, p k ) of non-negative integers with k i=1 p i = d. For such a partition define d(p) := k i=1 (i 1)p i. We will write Sym P (Y ) = Sym p 1 (Y ) Sym pr (Y ). 3. A relative Quot scheme Let be a compact connected Riemann surface. Let E and F be two holomorphic vector bundles on of common rank r. Take a dense open subset U, such that the complement S := \ U is a finite set, and take an isomorphism of coherent analytic sheaves f : E U F U over U. This homomorphism f will be called meromorphic if there is a positive integer n such that f extends to a homomorphism of coherent analytic sheaves f : E F O (ns) F over, where S is the reduced divisor defined by the finite subset S. Note that since the divisor S is effective, we have F F O (ns). Therefore, f is meromorphic if and only if the homomorphism f is algebraic with respect to the algebraic structures on E U and F U given by the algebraic structures on E and F respectively. Take a meromorphic homomorphism f as above. We note that the extension f is uniquely determined by f because f and f coincide over U. The inverse image E(f) := f 1 (F) E (recall that F F O (ns)) is clearly independent of the choice of n. We note that both E(f) and f(e(f)) are holomorphic vector bundles on because they are coherent analytic subsheaves of holomorphic vector bundles. Both of then are of rank r, and the restriction (3.1) f E(f) : E(f) f(e(f)) is an isomorphism of holomorphic vector bundles. Define (3.2) Q p (f) := E/E(f) and Q z (f) := F/( f(e(f))) (the subscripts p and z stand for pole and zero respectively). We note that both Q p (f) and Q z (f) are torsion coherent analytic sheaves on. In particular, their supports are finite subsets of. From (3.2) it follows that (3.3) degree(q p (f)) = degree(e) degree(e(f)) and degree(q z (f)) = degree(f) degree( f(e(f))). Fix positive integers r, d p and d z. Set the domain E to be the trivial vector bundle O r of rank r. Consider all triples of the form (F, U, f), where F is a holomorphic vector bundle on of rank r, U is the complement of a finite subset of, and f : O r U = O r U F U is a meromorphic homomorphism such that degree(q p (f)) = d p and degree(q z (f)) = d z.
4 4 I. BISWAS, A. DHILLON, J. HURTUBISE, AND R. A. WENTWORTH Since f E(f) in (3.1) is an isomorphism, from (3.3) we conclude that (3.4) degree(f) = d z d p + degree(o r ) = d z d p. Two such triples (F 1, U 1, f 1 ) and (F 2, U 2, f 2 ) will be called equivalent if there is a holomorphic isomorphism of vector bundles over such that β : F 1 F 2 β (f 1 U1 U 2 ) = f 2 U1 U 2. Therefore, the equivalence class of (F, U, f) depends only on (F, f) and it is independent of U. More precisely, (F, U, f) is equivalent to (F, W, f W ) for every W U such that the complement U \ W is a finite set. Let (3.5) Q 0 = Q 0 (r, d p, d z ) be the space of all equivalence classes of triples of the above form. We will embed Q 0 as a Zariski open subset of a smooth complex projective variety. Take any triple (F, U, f) as above that is represented by a point of Q 0. Consider the short exact sequence (3.6) 0 E(f) := kernel(q p ) E = O r q p Qp (f) 0, where q p denotes the projection to the quotient in (3.2). We also have E(f) = f(e(f)) F (recall that f E(f) in (3.1) is an isomorphism). Let (3.7) 0 F E(f) be the dual of the above inclusion of E(f) in F. From (3.6) we have degree(e(f) ) = degree(q p (f)) = d p. Therefore, from (3.4) it follows that degree(e(f) /F ) = degree(e(f) ) degree(f ) = d p + d z d p = d z as degree(f ) = degree(f). These imply that we can recover the equivalence class of (F, f) once we know the following two: the torsion quotient Q p (f) of O r of degree d p, and the torsion quotient E(f) /F of E(f) of degree d z. (It should be clarified that knowing the torsion quotient Q p (f) means knowing the sheaf Q p (f) along with the surjective homomorphism O r Q p(f); similarly knowing the torsion quotient E(f) /F means knowing the sheaf E(f) /F along with the surjective homomorphism from E(f) to it.) Indeed, once we know Q p (f), we know the kernel E(f) and hence know E(f) ; if we know the quotient E(f) /F, then we know the subsheaf F of E(f). The dual of this inclusion F E(f), namely the homomorphism E(f) F,
5 A GENERALIZED QUOT SCHEME AND MEROMORPHIC VORTICES 5 gives the meromorphic homomorphism f. In other words, we have the diagram 0 0 E(f) O r Q p 0 f F Q z 0 Let Quot(r, d p ) be the Quot scheme parametrizing the torsion quotients of O r of degree d p. We have the tautological short exact sequence of coherent analytic sheaves on Q(r, d p ) (3.8) 0 K univ p O r Quniv 0, where p is the projection of Quot(r, d p ) to. We write K = K univ. Now consider the dual vector bundle K Quot(r, d p ) p Q Quot(r, dp ), where p Q is the natural projection. Using p Q, we will consider K as a family of vector bundles on parametrized by Quot(r, d p ). For any point y Quot(r, d p ), the vector bundle K {y} over will be denoted by K y. Let (3.9) ϕ : Quot(r, d p, d z ) := Quot(K / Quot(r, d p ), d z ) Q(r, d p ) be the relative Quot scheme over Quot(r, d p ), for the family K, parametrizing the torsion quotients of degree d z. Therefore, for any point y Quot(r, d p ), the fiber ϕ 1 (y) is the Quot scheme parametrizing the torsion quotients of degree d z of the vector bundle K y. Both Quot(r, d p ) and the fibers of ϕ are irreducible smooth projective varieties. The morphism ϕ is smooth. Therefore, the projective variety Quot(r, d p, d z ) is irreducible and smooth. Consider Q 0 defined in (3.5). We have a map η : Q 0 Quot(r, d p ) that sends any triple (F, U, f) Q 0 to the point representing the quotient Q p (f) in (3.6). Let (3.10) η : Q 0 Quot(K, d z ) = Quot(r, d p, d z ) be the map that sends any point α = (F, U, f) Q 0 to the point of ϕ 1 (η (α)) that represents the quotient E(f) /F in (3.7). This map η is injective because, as observed earlier, the equivalence class of the pair (F, f) can be recovered from the quotient Q p (f) of O r and the quotient E(f) /F of E(f). The image of η is clearly a Zariski open subset of Quot(r, d p, d z ).
6 6 I. BISWAS, A. DHILLON, J. HURTUBISE, AND R. A. WENTWORTH Let r K r p O r = p O be the r-th exterior power of the homomorphism in (3.8). Considering it as a family of subsheaves of O of degree d p parametrized by Quot(r, d p ), we have the corresponding classifying morphism Let δ 1 : Quot(r, d p ) Quot(1, d p ) = Sym dp (). (3.11) δ 1 := δ 1 ϕ : Quot(r, d p, d z ) =: Q Sym dp () be the composition, where ϕ is constructed in (3.9). Next, consider the tautological subsheaf S (Id ϕ) K on Q. Let r S r (Id ϕ) K be the r-th exterior power of the above inclusion. Let (3.12) δ 2 : Q Sym dz () be the morphism that sends any y Q to the scheme theoretic support of the quotient sheaf ( r (Id ϕ) K ϕ(y))/( r S {y} ). Now define the morphism (3.13) δ := (δ 1, δ 2 ) : Quot(r, d p, d q ) = Q Sym dp () Sym dz (), where δ 1 and δ 2 are constructed in (3.11) and (3.12) respectively. It can be shown that δ is surjective. In fact, in Section 4 we will construct, and use, a section of δ. Remark 3.1. Let M (r, d z d p ) denote the moduli stack of vector bundles on of rank r and degree d z d p. Since there is a universal bundle over Quot(r, d p, d q ), we get a morphism Quot(r, d p, d q ) M (r, d z d p ). 4. Fundamental group of Quot(r, d p, d z ) Proposition 4.1. The homomorphism between fundamental groups induced by the morphism δ in (3.13) is an isomorphism. Proof. We will first construct a section of δ. Let D(d p ) Sym dp () be the divisor consisting of all (x, {y 1,, y dp }) such that x {y 1,, y dp }. Then the subsheaf O Sym dp () ( D(d p)) O r 1 Sym dp () O r Sym dp () produces a classifying morphism (4.1) θ 1 : Sym dp () Quot(r, d p ). Let ξ 1 (respectively, ξ 2 ) denote the projection of Sym dp () Sym dz () to Sym dp () (respectively, Sym dz ()). Like before, D(d z ) Sym dp () be the divisor consisting of all (x, {y 1,, y dz }) such that x {y 1,, y dz }. The subsheaf ((Id ξ 1 ) (O Sym dp () (D(d p))) (Id ξ 2 ) (O Sym dz () ( D(d z))))
7 A GENERALIZED QUOT SCHEME AND MEROMORPHIC VORTICES 7 (O r 1 Sym dp ()Sym dz () ) (Id ξ 1 ) (O Sym dp () ( D(d p)) O r 1 Sym dp () ) produces a classifying morphism (4.2) θ : Sym dp () Sym dz () Quot(r, d p, d q ). We note that ϕ θ = θ 1, where ϕ and θ 1 are the morphisms constructed in (3.9) and (4.1) respectively. It is straightforward to check that (4.3) δ θ = Id Sym dp () Sym dz (), where δ is constructed in (3.13). In view of this section θ, we conclude that the induced homomorphism between fundamental groups δ : π 1 (Quot(r, d p, d q )) π 1 (Sym dp () Sym dz ()) is surjective (the base points of fundamental groups are suppressed in the notation). Let (4.4) U Sym dp () Sym dz ()) be the Zariski open subset consisting of all (x, y) = ({x 1,, x dp }, {y 1,, y dz }) Sym dp () Sym dz ()) such that the d p + d z points {x 1,, x dp, y 1,, y dz } are all distinct, equivalently, the effective divisor x + y is reduced. Let (4.5) θ 0 := θ U : U Quot(r, d p, d z ) be the restriction of the map θ in (4.2). Also, consider the restriction (4.6) δ 0 := δ δ 1 (U) : δ 1 (U) U. is the projective space parametrizing the hyperplanes in C r and P r 1 C is the projective space parametrizing the lines in C r (so P r 1 C parametrizes the hyperplanes in (C r ) ). From the homotopy exact sequence associated to δ 0 it follows that the induced homomorphism of fundamental groups Every fiber of δ 0 is identified with (P r 1 C (P r 1 )dp C, where P r 1 )dz C δ 0, : π 1 (δ 1 (U)) π 1 (U) is an isomorphism. The variety Quot(r, d p, d z ) is smooth, and δ 1 (U) is a nonempty Zariski open subset of it. Therefore, the homomorphism ι : π 1 (δ 1 (U)) π 1 (Quot(r, d p, d z )) induced by the inclusion ι : ϕ 1 (U) Quot(r, d p, d z ) is surjective. isomorphism, this implies that the homomorphism θ 0, : π 1 (U) π 1 (Quot(r, d p, d z )) Since δ 0, is an induced in θ 0 in (4.5) is surjective. Since θ 0 extends to θ, this immediately implies that the homomorphism θ : π 1 (Sym dp () Sym dz ()) π 1 (Quot(r, d p, d z ) induced in θ in (4.2) is surjective. Since θ is surjective, and the composition δ θ is injective (see (4.3)) we conclude that δ is also injective.
8 8 I. BISWAS, A. DHILLON, J. HURTUBISE, AND R. A. WENTWORTH 5. Cohomology of Quot(r, d p, d z ) 5.1. Generalization of a theorem of Bifet. Let S 1, S 2,, S k be a smooth connected projective varieties over C. Fix some line bundles L i on S i of relative degree d i over S i. In other words deg(l i s ) = d i for each point s S i. Set S = S 1 S k. Let be the natural projection. Define Let π Si : S S i L i := π S i L i. φ : Quot( i Li /S, d) S be the relative Quot scheme that parametrizes the torsion quotients of degree d. So for any s = (s 1,, s k ) S, the fiber φ 1 (s) parametrizes the torsion quotients of k i=1l i si of degree d. By deformation theory, φ is a smooth morphism of relative dimension kd, so Quot( i Li /S, d) is smooth of dimension dim(s) + kd. The torus G k m acts on Quot( i Li /S, d) via its action on k L i=1 i. For any positive integer p, let Quot(L i /S i, p) S i denote the relative Quot scheme parametrizing the torsion quotients of L i /S i of degree p. So the fiber of Quot(L i /S i, p) over any s S i parametrizes the torsion quotients of L i s of degree p. Proposition 5.1. There is a bijection between the partitions P = (p 1, p 2,, p k ) of d of length k and the connected components of the fixed point loci of the G k m action on Quot( i Li /S, d). The component corresponding to the partition k i=1 p i = d is the product of Quot schemes Quot(L /S, P) := Quot(L 1 /S 1, p 1 ) Quot(L 2 /S 2, p 2 )... Quot(L k /S k, p k ) with the obvious structure morphism to S. Proof. On applies the argument used to prove Lemme 1 in [Bif]. As all schemes and morphisms are assumed to be projective it is possible to choose a one parameter subgroup G m G k m so that Quot( i Li /S, d) Gm = Quot( i Li /S, d) Gk m. Further, the above one-parameter subgroup can be chosen to be given by an increasing sequence of weights λ 1 < λ 2 <... < λ k. There is an induced action of G m on the tangent space at a fixed point x. The action preserves the normal space to the fixed point locus and we wish to describe the subspace of positive weights. Take a partition P = (p 1,, p k ) of D. As before, let Quot(L /S, P) Quot( i Li /S, d) Gk m
9 A GENERALIZED QUOT SCHEME AND MEROMORPHIC VORTICES 9 be the connected component corresponding to P. For a point x Quot(L /S, P), its image in S i will be denoted by x i. The line bundle L i xi on will be denoted by L x i. The point x i is given by the exact sequence 0 L x i O ( D i ) L x i O Di 0 where D i is an effective divisor on with deg D i = p i. The relative tangent bundle for the projection φ is k T x Quot( i Li /S, d)/s = Hom(L x i O ( D i ), O Dj ). i,j=1 On the other hand, the relative tangent space to the fixed point locus Quot(L /S, P) is k T x Quot(L /S, P)/S = Hom(L x i O ( D i ), O Di ). Consequently, the normal bundle N to Quot(L /S, P) Quot( i Li /S, d) is i=1 N x = i j Hom(L x i O ( D i, O Dj ). Also, the subspace of positive weights is N + x = i<j Hom(L x i O ( D i, O Dj ) because the torus acts on Hom(L x i O ( D i, O Dj ) with weight λ j λ i. It follows that k d(p) := dim N x + = (i 1)p i. Proposition 5.2. The Quot schemes for line bundles Quot(L i /S i, p i ) = Quot(O/S i, p i ) = Sym p i () S i. The Poincaré polynomial of Quot( i Li /S, d) is given by i=1 P (Quot( i Li /S, d), t) = P = P t 2d(P) P (Quot(L i /S i, p i ), t) t 2d(P) P (S i, t)p (Sym p i (), t), where the sum is over all partitions of d of length k. Proof. The isomorphism Quot(O/S i, p i ) Quot(L i /S i, p i ) is by tensoring exact sequences with L i. The second equality is via (2.1). We need to recall the theorems of [Bia] and [Ki] in our present context. The torus action determines two stratifications of the variety Quot( i Li /S, d). The strata are in bijection with connected components of the fixed point locus which are in turn in bijection with partitions of d of length k. Given such a partition P, its corresponding strata are Quot(L /S, P) + := {x lim t 0 t.x Quot(L /S, P)}
10 10 I. BISWAS, A. DHILLON, J. HURTUBISE, AND R. A. WENTWORTH and Quot(L /S, P) := {x lim t.x Quot(L /S, P)}. t Both of these stratifications are known to be perfect. There are affine fibrations Quot(L /S, P) + Quot(L /S, P) and Quot(L /S, P) Quot(L /S, P) of relative dimensions dim N x + and dim Nx respectively, where x Quot(L /S, P) is an arbitrary closed point. It follows that the codimension of Quot(L /S, P) is dim N x + which gives the above formula for the Poincare polynomial The cohomology of Quot(r, d p, d z ). In this subsection we describe the Poincaré polynomial of Quot(r, d p, d z ). Consider the morphism ϕ in (3.9). There is a natural action of the torus G r m on the target Quot(O r, d p ) = Q(r, d p ). This action clearly lifts to the domain Quot(r, d p, d z ) for ϕ. The previous subsection provides us with a decomposition and an induced formula for the Poincaré polynomial of Quot(r, d p, d z ). Let us recall it quickly in the present context. There is a bijection between connected components of fixed point locus and partitions of d p of length r. Given a partition P = (p 1, p 2,, p r ), the corresponding component of Quot(O r, d p ) Gm is Quot(O, p 1 ) Quot(O, p r ) = Sym p 1 () Sym pr () There are universal divisors Dp univ i corresponding to P, that is = Sym P. inside Sym p i (). The component of Quot(r, d p, d z ) Gr m φ 1 (Sym p 1 () Sym p 2 () Sym pr ()) is then identified with Quot( i O Sym p i() (Dp univ i )/ Sym p i (), d z ). As the morphism ϕ in (3.9) is smooth, and smooth morphisms preserve codimension, we obtain the following formula for the Poincaré polynomial: (5.1) P (Quot(r, d p, d z ), t) = t 2d(P) P (Quot( i O Sym p i() (Dp univ i )/ Sym p i (), d z ), t). P To complete the calculation we need to compute the Poincaré polynomials of Quot( i O Sym p i() (D univ p i )/ Sym P (), d z ). Once again Proposition 5.2 applies. The connected components of the fixed point loci are in bijection with partitions of d z of length r. Given a partition Q = (q 1,, q r ), the corresponding connected component is Quot(O Sym p 1 () ( D p1 )/ Sym p 1 (), q 1 ) Quot(O Sym pr () ( D pr )/ Sym pr (), q r ) which is canonically isomorphic to Sym P,Q := Sym p 1 () Sym pr () Sym q 1 () Sym qr (). We obtain the following formula: P (Quot( i OSym p i () (Dp univ i )/ Sym P (), d z )) = Q t 2d(Q) P (Sym P,Q (), t). Putting this all together we obtain the following:
11 A GENERALIZED QUOT SCHEME AND MEROMORPHIC VORTICES 11 Theorem 5.3. The Poincaré polynomial for Quot(r, d p, d z ) is P (Quot(r, d p, d z ), t) = P t 2[d(P)+d(Q)] P (Sym P (), t)p (Sym Q (), t), Q where P varies over all partitions of d p of length r and Q varies over all partitions of d z of length r. Poincaré polynomial of Sym n () is the coefficient of t n in (1 + tx) 2g (1 t)(1 tx 2 ), where g is the genus of [Ma, p. 322, (4.3)]. Using this and Theorem 5.3 we get an explicit expression for P (Quot(r, d p, d z ), t). Acknowledgements We thank the National University of Singapore for its hospitality. References [Ba] J.M. Baptista, On the L 2 -metric of vortex moduli spaces, Nucl. Phys. B 844 (2011), [BDW] A. Bertram, G. Daskalopoulos and R. Wentworth, Gromov invariants for holomorphic maps from Riemann surfaces to Grassmannians, Jour. Amer. Math. Soc. 9 (1996) [Bia] A. Bia lynicki-birula, Some theorems on actions of algebraic groups, Ann. of Math. 98 (1973), [Bif] E. Bifet, Sur les points fixes schéma Quot O /,k sous l action du tore G r m,k, Com. Ren. Math. Acad. Sci. Paris 309 (1989), [BR] I. Biswas and N. M. Romão, Moduli of vortices and Grassmann manifolds, Comm. Math. Phy. 320 (2013), [Br] S. Bradlow, Vortices in holomorphic line bundles over closed Kähler manifolds, Commun. Math. Phys. 135 (1990), [EINOS] M. Eto, Y. Isozumi, M. Nitta, K. Ohashi and N. Sakai, Solitons in the Higgs phase: the moduli matrix approach, J. Phys. A: Math. Gen. 39 (2006), [Gr] A. Grothendieck, Techniques de construction et théorèmes d existence en géométrie algébrique. IV. Les schémas de Hilbert, Séminaire Bourbaki, Vol. 6, Exp. No. 221, [Ki] F. Kirwan, Intersection homology and torus actions, Jour. Amer. Math. Soc. 1 (1988), [Ma] I. G. Macdonald, Symmetric products of an algebraic curve, Topology 1 (1962),
12 12 I. BISWAS, A. DHILLON, J. HURTUBISE, AND R. A. WENTWORTH School of Mathematics, Tata Institute of Fundamental Research, Homi Bhabha Road, Bombay , India address: Department of Mathematics, Middlesex College, University of Western Ontario, London, ON N6A 5B7, Canada address: Department of Mathematics, McGill University, Burnside Hall, 805 Sherbrooke St. W., Montreal, Que. H3A 0B9, Canada address: Department of Mathematics, University of Maryland, College Park, MD 20742, USA address:
HOMOMORPHISMS 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 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 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 informationThe Atiyah bundle and connections on a principal bundle
Proc. Indian Acad. Sci. (Math. Sci.) Vol. 120, No. 3, June 2010, pp. 299 316. Indian Academy of Sciences The Atiyah bundle and connections on a principal bundle INDRANIL BISWAS School of Mathematics, Tata
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 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 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 information1. 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 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 informationINDRANIL BISWAS AND GEORG HEIN
GENERALIZATION OF A CRITERION FOR SEMISTABLE VECTOR BUNDLES INDRANIL BISWAS AND GEORG HEIN Abstract. It is known that a vector bundle E on a smooth projective curve Y defined over an algebraically closed
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 informationMath 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 informationarxiv:math/ v1 [math.ag] 18 Oct 2003
Proc. Indian Acad. Sci. (Math. Sci.) Vol. 113, No. 2, May 2003, pp. 139 152. Printed in India The Jacobian of a nonorientable Klein surface arxiv:math/0310288v1 [math.ag] 18 Oct 2003 PABLO ARÉS-GASTESI
More information2 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
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
More information1 Moduli spaces of polarized Hodge structures.
1 Moduli spaces of polarized Hodge structures. First of all, we briefly summarize the classical theory of the moduli spaces of polarized Hodge structures. 1.1 The moduli space M h = Γ\D h. Let n be an
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 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 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 informationMODULI SPACES OF CONNECTIONS ON A RIEMANN SURFACE
MODULI SPACES OF CONNECTIONS ON A RIEMANN SURFACE INDRANIL BISWAS AND VICENTE MUÑOZ Abstract. Let E be a holomorphic vector bundle over a compact connected Riemann surface X. The vector bundle E admits
More informationAlgebraic 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 informationStable 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 informationVector 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 informationh M (T ). The natural isomorphism η : M h M determines an element U = η 1
MODULI PROBLEMS AND GEOMETRIC INVARIANT THEORY 7 2.3. Fine moduli spaces. The ideal situation is when there is a scheme that represents our given moduli functor. Definition 2.15. Let M : Sch Set be a moduli
More informationAPPENDIX 3: AN OVERVIEW OF CHOW GROUPS
APPENDIX 3: AN OVERVIEW OF CHOW GROUPS We review in this appendix some basic definitions and results that we need about Chow groups. For details and proofs we refer to [Ful98]. In particular, we discuss
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 informationAn 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 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 informationTHE 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 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 informationSERRE FINITENESS AND SERRE VANISHING FOR NON-COMMUTATIVE P 1 -BUNDLES ADAM NYMAN
SERRE FINITENESS AND SERRE VANISHING FOR NON-COMMUTATIVE P 1 -BUNDLES ADAM NYMAN Abstract. Suppose X is a smooth projective scheme of finite type over a field K, E is a locally free O X -bimodule of rank
More informationNodal symplectic spheres in CP 2 with positive self intersection
Nodal symplectic spheres in CP 2 with positive self intersection Jean-François BARRAUD barraud@picard.ups-tlse.fr Abstract 1 : Let ω be the canonical Kähler structure on CP 2 We prove that any ω-symplectic
More informationBetti 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 informationOral 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 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 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 informationON DEGENERATIONS OF MODULI OF HITCHIN PAIRS
ELECRONIC RESEARCH ANNOUNCEMENS IN MAHEMAICAL SCIENCES Volume 20, Pages 105 110 S 1935-9179 AIMS (2013) doi:10.3934/era.2013.20.105 ON DEGENERAIONS OF MODULI OF HICHIN PAIRS V. BALAJI, P. BARIK, AND D.S.
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 informationChern 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 informationSynopsis 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 informationGeometry 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 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 informationAPPENDIX 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 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: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 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 informationRIEMANN 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 informationQuasi Riemann surfaces II. Questions, comments, speculations
Quasi Riemann surfaces II. Questions, comments, speculations Daniel Friedan New High Energy Theory Center, Rutgers University and Natural Science Institute, The University of Iceland dfriedan@gmail.com
More informationRIMS-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 informationVector Bundles on Algebraic Varieties
Vector Bundles on Algebraic Varieties Aaron Pribadi December 14, 2010 Informally, a vector bundle associates a vector space with each point of another space. Vector bundles may be constructed over general
More informationARITHMETICALLY COHEN-MACAULAY BUNDLES ON HYPERSURFACES
ARITHMETICALLY COHEN-MACAULAY BUNDLES ON HYPERSURFACES N. MOHAN KUMAR, A. P. RAO, AND G. V. RAVINDRA Abstract. We prove that any rank two arithmetically Cohen- Macaulay vector bundle on a general hypersurface
More informationTitleOn manifolds with trivial logarithm. Citation Osaka Journal of Mathematics. 41(2)
TitleOn manifolds with trivial logarithm Author(s) Winkelmann, Jorg Citation Osaka Journal of Mathematics. 41(2) Issue 2004-06 Date Text Version publisher URL http://hdl.handle.net/11094/7844 DOI Rights
More informationRecall for an n n matrix A = (a ij ), its trace is defined by. a jj. It has properties: In particular, if B is non-singular n n matrix,
Chern characters Recall for an n n matrix A = (a ij ), its trace is defined by tr(a) = n a jj. j=1 It has properties: tr(a + B) = tr(a) + tr(b), tr(ab) = tr(ba). In particular, if B is non-singular n n
More informationTHE MODULI OF SUBALGEBRAS OF THE FULL MATRIX RING OF DEGREE 3
THE MODULI OF SUBALGEBRAS OF THE FULL MATRIX RING OF DEGREE 3 KAZUNORI NAKAMOTO AND TAKESHI TORII Abstract. There exist 26 equivalence classes of k-subalgebras of M 3 (k) for any algebraically closed field
More informationSTABLE BASE LOCUS DECOMPOSITIONS OF KONTSEVICH MODULI SPACES
STABLE BASE LOCUS DECOMPOSITIONS OF KONTSEVICH MODULI SPACES DAWEI CHEN AND IZZET COSKUN Abstract. In this paper, we determine the stable base locus decomposition of the Kontsevich moduli spaces of degree
More informationProjective Schemes with Degenerate General Hyperplane Section II
Beiträge zur Algebra und Geometrie Contributions to Algebra and Geometry Volume 44 (2003), No. 1, 111-126. Projective Schemes with Degenerate General Hyperplane Section II E. Ballico N. Chiarli S. Greco
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 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 informationThe Pennsylvania State University The Graduate School Eberly College of Science AN ASYMPTOTIC MUKAI MODEL OF M 6
The Pennsylvania State University The Graduate School Eberly College of Science AN ASYMPTOTIC MUKAI MODEL OF M 6 A Dissertation in Mathematics by Evgeny Mayanskiy c 2013 Evgeny Mayanskiy Submitted in Partial
More informationALGEBRAIC GEOMETRY I, FALL 2016.
ALGEBRAIC GEOMETRY I, FALL 2016. DIVISORS. 1. Weil and Cartier divisors Let X be an algebraic variety. Define a Weil divisor on X as a formal (finite) linear combination of irreducible subvarieties of
More informationThe 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 informationCohomology jump loci of quasi-projective varieties
Cohomology jump loci of quasi-projective varieties Botong Wang joint work with Nero Budur University of Notre Dame June 27 2013 Motivation What topological spaces are homeomorphic (or homotopy equivalent)
More informationh : P 2[n] P 2(n). The morphism h is birational and gives a crepant desingularization of the symmetric product P 2(n).
THE MINIMAL MODEL PROGRAM FOR THE HILBERT SCHEME OF POINTS ON P AND BRIDGELAND STABILITY IZZET COSKUN 1. Introduction This is joint work with Daniele Arcara, Aaron Bertram and Jack Huizenga. I will describe
More informationRESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES RIMS A Note on an Anabelian Open Basis for a Smooth Variety. Yuichiro HOSHI.
RIMS-1898 A Note on an Anabelian Open Basis for a Smooth Variety By Yuichiro HOSHI January 2019 RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES KYOTO UNIVERSITY, Kyoto, Japan A Note on an Anabelian Open Basis
More informationMath 231b Lecture 16. G. Quick
Math 231b Lecture 16 G. Quick 16. Lecture 16: Chern classes for complex vector bundles 16.1. Orientations. From now on we will shift our focus to complex vector bundles. Much of the theory for real vector
More informationAn overview of D-modules: holonomic D-modules, b-functions, and V -filtrations
An overview of D-modules: holonomic D-modules, b-functions, and V -filtrations Mircea Mustaţă University of Michigan Mainz July 9, 2018 Mircea Mustaţă () An overview of D-modules Mainz July 9, 2018 1 The
More informationON THE MAPPING CLASS GROUP ACTION ON THE COHOMOLOGY OF THE REPRESENTATION SPACE OF A SURFACE
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 124, Number 6, June 1996 ON THE MAPPING CLASS GROUP ACTION ON THE COHOMOLOGY OF THE REPRESENTATION SPACE OF A SURFACE INDRANIL BISWAS (Communicated
More informationA 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 informationExercises of the Algebraic Geometry course held by Prof. Ugo Bruzzo. Alex Massarenti
Exercises of the Algebraic Geometry course held by Prof. Ugo Bruzzo Alex Massarenti SISSA, VIA BONOMEA 265, 34136 TRIESTE, ITALY E-mail address: alex.massarenti@sissa.it These notes collect a series of
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 informationThe derived category of a GIT quotient
September 28, 2012 Table of contents 1 Geometric invariant theory 2 3 What is geometric invariant theory (GIT)? Let a reductive group G act on a smooth quasiprojective (preferably projective-over-affine)
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 informationTHE HITCHIN FIBRATION
THE HITCHIN FIBRATION Seminar talk based on part of Ngô Bao Châu s preprint: Le lemme fondamental pour les algèbres de Lie [2]. Here X is a smooth connected projective curve over a field k whose genus
More informationLectures on Galois Theory. Some steps of generalizations
= Introduction Lectures on Galois Theory. Some steps of generalizations Journée Galois UNICAMP 2011bis, ter Ubatuba?=== Content: Introduction I want to present you Galois theory in the more general frame
More informationZero-cycles on surfaces
Erasmus Mundus ALGANT Master thesis Zero-cycles on surfaces Author: Maxim Mornev Advisor: Dr. François Charles Orsay, 2013 Contents 1 Notation and conventions 3 2 The conjecture of Bloch 4 3 Algebraic
More informationa double cover branched along the smooth quadratic line complex
QUADRATIC LINE COMPLEXES OLIVIER DEBARRE Abstract. In this talk, a quadratic line complex is the intersection, in its Plücker embedding, of the Grassmannian of lines in an 4-dimensional projective space
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 informationThree 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 informationSTABLE BASE LOCUS DECOMPOSITIONS OF KONTSEVICH MODULI SPACES
STABLE BASE LOCUS DECOMPOSITIONS OF KONTSEVICH MODULI SPACES DAWEI CHEN AND IZZET COSKUN Contents 1. Introduction 1 2. Preliminary definitions and background 3 3. Degree two maps to Grassmannians 4 4.
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 informationPorteous 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 informationMotivic integration on Artin n-stacks
Motivic integration on Artin n-stacks Chetan Balwe Nov 13,2009 1 / 48 Prestacks (This treatment of stacks is due to B. Toën and G. Vezzosi.) Let S be a fixed base scheme. Let (Aff /S) be the category of
More informationTwo constructions of the moduli space of vector bundles on an algebraic curve
Two constructions of the moduli space of vector bundles on an algebraic curve Georg Hein November 17, 2003 Abstract We present two constructions to obtain the coarse moduli space of semistable vector bundles
More informationNormality of secant varieties
Normality of secant varieties Brooke Ullery Joint Mathematics Meetings January 6, 2016 Brooke Ullery (Joint Mathematics Meetings) Normality of secant varieties January 6, 2016 1 / 11 Introduction Let X
More informationWild ramification and the characteristic cycle of an l-adic sheaf
Wild ramification and the characteristic cycle of an l-adic sheaf Takeshi Saito March 14 (Chicago), 23 (Toronto), 2007 Abstract The graded quotients of the logarithmic higher ramification groups of a local
More informationLECTURE 7: STABLE RATIONALITY AND DECOMPOSITION OF THE DIAGONAL
LECTURE 7: STABLE RATIONALITY AND DECOMPOSITION OF THE DIAGONAL In this lecture we discuss a criterion for non-stable-rationality based on the decomposition of the diagonal in the Chow group. This criterion
More informationCohomology jump loci of local systems
Cohomology jump loci of local systems Botong Wang Joint work with Nero Budur University of Notre Dame June 28 2013 Introduction Given a topological space X, we can associate some homotopy invariants to
More informationConstruction of M B, M Dol, M DR
Construction of M B, M Dol, M DR Hendrik Orem Talbot Workshop, Spring 2011 Contents 1 Some Moduli Space Theory 1 1.1 Moduli of Sheaves: Semistability and Boundedness.............. 1 1.2 Geometric Invariant
More informationAFFINE PUSHFORWARD AND SMOOTH PULLBACK FOR PERVERSE SHEAVES
AFFINE PUSHFORWARD AND SMOOTH PULLBACK FOR PERVERSE SHEAVES YEHAO ZHOU Conventions In this lecture note, a variety means a separated algebraic variety over complex numbers, and sheaves are C-linear. 1.
More informationHodge Theory of Maps
Hodge Theory of Maps Migliorini and de Cataldo June 24, 2010 1 Migliorini 1 - Hodge Theory of Maps The existence of a Kähler form give strong topological constraints via Hodge theory. Can we get similar
More informationDONAGI-MARKMAN CUBIC FOR HITCHIN SYSTEMS arxiv:math/ v2 [math.ag] 24 Oct 2006
DONAGI-MARKMAN CUBIC FOR HITCHIN SYSTEMS arxiv:math/0607060v2 [math.ag] 24 Oct 2006 DAVID BALDUZZI Abstract. The Donagi-Markman cubic is the differential of the period map for algebraic completely integrable
More informationThe 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 informationParabolic sheaves, root stacks and the Kato-Nakayama space
Parabolic sheaves, root stacks and the Kato-Nakayama space Mattia Talpo UBC Vancouver February 2016 Outline Parabolic sheaves as sheaves on stacks of roots, and log geometry. Partly joint with A. Vistoli,
More informationMath 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 informationDeterminant Bundle in a Family of Curves, after A. Beilinson and V. Schechtman
Commun. Math. Phys. 211, 359 363 2000) Communications in Mathematical Physics Springer-Verlag 2000 Determinant Bundle in a Family of Curves, after A. Beilinson and V. Schechtman Hélène snault 1, I-Hsun
More informationHyperkähler geometry lecture 3
Hyperkähler geometry lecture 3 Misha Verbitsky Cohomology in Mathematics and Physics Euler Institute, September 25, 2013, St. Petersburg 1 Broom Bridge Here as he walked by on the 16th of October 1843
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 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 informationBEZOUT S THEOREM CHRISTIAN KLEVDAL
BEZOUT S THEOREM CHRISTIAN KLEVDAL A weaker version of Bézout s theorem states that if C, D are projective plane curves of degrees c and d that intersect transversally, then C D = cd. The goal of this
More informationCHAPTER 1. TOPOLOGY OF ALGEBRAIC VARIETIES, HODGE DECOMPOSITION, AND APPLICATIONS. Contents
CHAPTER 1. TOPOLOGY OF ALGEBRAIC VARIETIES, HODGE DECOMPOSITION, AND APPLICATIONS Contents 1. The Lefschetz hyperplane theorem 1 2. The Hodge decomposition 4 3. Hodge numbers in smooth families 6 4. Birationally
More informationMODULI OF ALGEBRAIC SL 3 -VECTOR BUNDLES OVER ADJOINT REPRESENTATION
Masuda, K. Osaka J. Math. 38 (200), 50 506 MODULI OF ALGEBRAIC SL 3 -VECTOR BUNDLES OVER ADJOINT REPRESENTATION KAYO MASUDA (Received June 2, 999). Introduction and result Let be a reductive complex algebraic
More information