Mathematical Research Letters 2, (1995) B-STRUCTURES ON G-BUNDLES AND LOCAL TRIVIALITY. V. G. Drinfeld and Carlos Simpson
|
|
- Emery Webster
- 6 years ago
- Views:
Transcription
1 Mathematical Research Letters 2, (1995) B-STRUCTURES ON G-BUNDLES AND LOCAL TRIVIALITY V. G. Drinfeld and Carlos Simpson 1. Let G be a split reductive group scheme over Z (recall that for any algebraically closed field k there is a bijection G G k between isomorphism classes of such group schemes and isomorphism classes of connected reductive algebraic groups over k). Let B be a Borel subgroup of G. Let S be a scheme and X a smooth proper scheme over S with connected geometric fibers of pure dimension 1. Our goal is to prove the following theorems. Theorem 1. Any G-bundle on X admits a B-structure after a suitable surjective etale base change S S. Theorem 2. Any G-bundle on X becomes Zariski-locally trivial after a suitable etale base change S S. Theorem 3. Suppose that G is semisimple. Let D be a subscheme of X such that the projection D S is an isomorphism. Set U := X \ D. Then for any G-bundle F on X its restriction to U becomes trivial after a suitable faithfully flat base change S S with S being locally of finite presentation over S. IfS is a scheme over Z[n 1 ] where n is the order of π 1 (G(C)) then S can be chosen to be etale over S. 2. Remarks. a) Theorem 2 follows from Theorem 1 because a B- bundle on any scheme is Zariski-locally trivial. b) If S is the spectrum of an algebraically closed field Theorems 1-3 are well known (of course in this case base change is not necessary). In this situation Theorem 3 was proved in [6], while Theorems 1 and 2 follow from the triviality of G-bundles over the generic point of X. The triviality of the Galois cohomology H 1 (k(x),g) was conjectured by J. P. Serre and proved by R. Steinberg [9] and A. Borel and T. A. Springer [3]. Note that Steinberg s result is for a perfect field of dimension 1 inconvenient here since k(x) is not perfect in characteristic p (whereas of course it is of dimension 1). The restriction to perfect fields was due to the need to have G Received October 9, The first author was partially supported by INTAS grant No and DKNT grant No. 11.3/
2 824 V. G. DRINFELD AND CARLOS SIMPSON split, which doesn t matter here, and the need to apply Rosenlicht s density theorem. The density theorem was improved by A. Grothendieck [4] and A. Borel and T.A. Springer ([2] Theorem A) to eliminate the perfect hypothesis. The resulting stronger version of Steinberg s result is announced in [3] section 8.6. c) Theorem 3 is an answer to a question by A. Beauville and Y. Laszlo. They proved Theorem 3 for G = SL(n) ([1], Lemma 3.5). They showed that in this case it is enough to localize with respect to the Zariski topology of S. Theorem 3 is used in [1, 7] to prove the uniformization theorem. d) Since we localize with respect to the etale topology of S the splitness assumption on G is not essential in Theorems 1-3 (in the situation of Theorem 1 one can define the notion of B-structure even if G has no Borel subgroups). e) If S is a scheme over an algebraically closed field k then Theorems 1-3 hold for G-bundles where G is a connected affine algebraic group over k which in the case of Theorem 3 must have the property Hom(G,G m )=0. This easily follows from Theorems 1-3 for G-bundles (the unipotent radical of G does not matter). 3. Theorem 1 for G follows from Theorem 1 for G/Z 0 where Z 0 is the connected component of the center Z G. The same holds for Theorem 2, which also follows from Theorem 1. So we will suppose hereinafter that G is semisimple. We will also assume that all the fibers of X S have the same genus g. 4. Fix a Cartan subgroup H B. Let α i : H G m, i, be the simple roots. Denote by ᾱ i the corresponding morphisms B G m. For a B-bundle E on a smooth projective curve over a field denote by deg i (E) the degree of the G m -bundle associated to E and ᾱ i. Let F be a principal G-bundle on X (G acts on the scheme F from the right). B-structures on F can be identified with sections of F/B X. Consider the functor Φ that associates to a scheme T over S the set of B-structures on F S T considered as a G-bundle on X S T. Identifying a section with its graph, the theory of Hilbert schemes shows that Φ is representable by a scheme M F locally of finite presentation over S. To a point y M F there corresponds a B-bundle E y on the fiber of X over the image of y in S. Set d i (y) :=deg i (E y ). The functions d i are locally constant. Set M + F := {y M F : d i (y) < min(1, 2 2g),i }. Proposition 1. The morphism M + F Proposition 2. The morphism M + F S is smooth. S is surjective.
3 B-STRUCTURES ON G-BUNDLES AND LOCAL TRIVIALITY 825 These propositions imply that for some surjective etale morphism S S there exists an S-morphism S M F. This is precisely Theorem 1. Proof of Proposition 1. Let k be a field, y M F (k). Let s S(k) be the image of y and X s the fiber of X over s. The point y corresponds to a section σ : X s F/B of the morphism F/B X. Standard deformation theory shows that the morphism M F S is smooth in a neighbourhood of y provided H 1 (X s,σ Θ) = 0 where Θ denotes the relative tangent bundle of F/B over X. σ Θ is the vector bundle associated to the B-bundle E y on X s corresponding to y and the B-module Lie(G)/Lie(B). So it is easy to see that if deg i (E y ) < min(1, 2 2g) for all i then H 1 (X s,σ Θ) = 0, Q.E.D. 5. The following statement is stronger than Proposition 2. Proposition 3. Let Y be a smooth projective curve over an algebraically closed field k and F a G-bundle on Y. Then for any number N there is a B-structure on F such that for the corresponding B-bundle E one has deg i (E) < N for all i. Proof. 1) It does not matter which F to consider. Indeed, according to [9] [3] a G-bundle on Y is trivial over the generic point of Y.SoifFand F are G-bundles on Y there is an isomorphism h between the restrictions of F and F to Y \ R for some finite R Y.Ifhis fixed then a B-structure on F induces a B-structure on F and for the corresponding B-bundles E and E the inequalities c <deg i (E) deg i (E ) <chold for some c depending only on the singularities of h. 2) So we can assume that F is trivial. 3) Since F is trivial we can assume that G is simply connected (otherwise the inverse image B of B in the universal covering G is a Borel; let F be the trivial G -bundle, then a B -bundle which induces the G -bundle F must induce a B-bundle which induces F ) and Y = P 1 (choose a finite morphism f : Y P 1 and consider those B-structures on the trivial G-bundle on Y which are pullbacks via f of B-structures on the trivial G-bundle on P 1 ). 4) Denote by Bun B the stack of B-bundles on P 1. Let Bun n B be the open subset of Bun B corresponding to B-bundles E such that deg i (E) =n for all i. There is an integer m>0 such that Bun n B if m n. Choose n so that Bun n B, n< N, n<0. According to Proposition 1 the natural morphism Bun n B Bun G is smooth. So its image U is open and non-empty. Since Y = P 1 trivial G-bundles form an open substack V of Bun G. Since G is simply connected Bun G is irreducible (see Appendix). So U V, Q.E.D.
4 826 V. G. DRINFELD AND CARLOS SIMPSON Remark. If char k = 0 one can replace steps 3 and 4 of the above proof by the following argument. There is a homomorphism r :SL(2) G Q such that 1) r maps diagonal matrices to H Q and upper-triangular matrices to B Q, 2)α i (r(diag(t, t 1 )) = t m i, i, where m i are positive (e.g., the principal homomorphism SL(2) G Q has these properties). Using r one reduces the problem for the trivial G-bundle to that for the trivial SL(2)-bundle. The latter problem is trivial:if G = SL(2) then a B- structure on the trivial G-bundle is just a morphism f : Y (G/B) k = Pk 1 and the only condition is that deg f should be big enough. We do not know whether this argument works if char k Proof of Theorem 3. We can assume that S is affine. According to Theorem 1 one can also suppose that F comes from a B-bundle E. Denote by E the H-bundle obtained from E via the homomorphism B H and by F 1 the G-bundle coming from E. Since U is affine E and the B-bundle obtained from E via the embedding H B are isomorphic over U. So the restrictions of F and F 1 to U are isomorphic. Therefore one can assume that F comes from an H-bundle E. Let us reduce the problem to the case where G is simply connected. Set A = Hom(H, G m ). E defines a section u : S Hom(A, Pic X) where Pic X denotes the relative Picard scheme of X/S and Hom denotes the scheme of homomorphisms. One can assume that u(s) Hom(A, Pic 0 X) (otherwise change E without changing its restriction to U). Let G be the universal cover of G, H the preimage of H in G, A := Hom(H,G m ). A is a subgroup of A and its index is equal to the order n of Ker(G G). The morphism Hom(A, Pic 0 X) Hom(A, Pic 0 X) is flat, finite, and of finite presentation; if S is a scheme over Z[n 1 ] it is etale. Denote by S the fibered product of S and Hom(A, Pic 0 X) over Hom(A, Pic 0 X). The pullback of E to X S S can be lifted to an H -bundle locally with respect to the Zariski topology of S. So one can assume that G is simply connected and F comes from an H-bundle E. Since G is simply connected Hom(G m,h) is freely generated by simple coroots. So it suffices to show that if H- bundles E 1 and E 2 differ by the image of some G m -bundle via a coroot ˇα : G m H then the G-bundles corresponding to E 1 and E 2 are isomorphic locally over S. In fact we will show that it is true for G replaced by the subgroup L G generated by H and r(sl(2)) where r :SL(2) G corresponds to ˇα. It is easy to show that either L = SL(2) T or L = GL(2) T where T and T are tori. In the first case it suffices to show that the restriction to U of an SL(2)-bundle on X is trivial locally over S. In the second case it is enough to show that that the restriction to U of two GL(2)-bundles on X with the same determinant are isomorphic locally over S. The first
5 B-STRUCTURES ON G-BUNDLES AND LOCAL TRIVIALITY 827 statement is proved by Beauville-Laszlo ([1], Lemma 3.5). The proof of the second statement is quite similar (in both cases Zariski localization is enough). 7. In the proof of Theorems 2 and 3 we used Theorem 1. Actually we could use the following weaker version of Theorem 1, which can be proved without using Propositions 2 and 3. Proposition 4. In the situation of Theorem 3 for any G-bundle F on X there is a surjective etale base change S S and a G-bundle F on X S S such that the inverse images of F and F on U S S are isomorphic and F has a B-structure. Proof (inspired by [5] p. 364, lines 26-34). We can assume that S is strictly henselian, i.e., S is the spectrum of a strictly henselian ring (in this case base change is not necessary). Let s be the closed point of S, X s the fiber of X over s, and F s the restriction of F to X s. According to [9] [3] the restriction of F s to the generic point of X s is trivial. So F s has a B-structure, i.e., it comes from a B-bundle E on X s. Since the restriction of E to U s := U X s comes from an H-bundle it is easy to construct a B-bundle E on X s such that the restrictions of E and E to U s are isomorphic and deg i (E ) < min(1, 2 2g) for all i (see Section 4 for the definition of deg i ). Denote by F s the G-bundle on X s corresponding to E. The restrictions of F s and F s to U s are isomorphic. We will construct a G-bundle F on X such that the restrictions of F and F to U are isomorphic and the restriction of F to X s is equal to F s. According to Proposition 1 such F automatically has a B-structure. For every scheme X etale over X denote by M( X) the set of isomorphism classes of pairs consisting of a G-bundle F on X and an isomorphism f between the inverse images of F and F on U X X. Then M( X) =H 0 ( X,j j G/G) where G is the (etale) sheaf of automorphisms of F and j : U X. (To see this note first that pairs (F,f) have no nontrivial automorphisms, consequently that M is the etale sheaf associated to the presheaf M 0 where M 0 ( X) M( X) is the subset of pairs (F,f) with F isomorphic to the inverse image of F, and finally that M 0 ( X) =H 0 ( X,j j G)/H 0 ( X,G).) In particular we have M(X) = H 0 (X, j j G/G) =H 0 (D, i (j j G/G)) where i : D X. Since D S is strictly henselian M(X) = (j j G) w /G w where w is the point of D over s and G w is the stalk of G at w. Fix a trivialization of F over an etale neighbourhood of w and a local equation t = 0 defining D X. These data define isomorphisms G w = G(A{t}), (j j G) w = G(A{t}[t 1 ]) where A = H 0 (S, O S ) and A{t} is the henselization of A[t] at the maximal ideal containing t. F s defines an element of G(k{t}[t 1 ])/G(k{t})
6 828 V. G. DRINFELD AND CARLOS SIMPSON where k is the residue field of A, and we have to lift it to an element of G(A{t}[t 1 ])/G(A{t}). This can be done, e.g., using the Iwasawa decomposition G(k{t}[t 1 ]) = B(k{t}[t 1 ])G(k{t}). Appendix Let Y be a smooth connected projective curve over an algebraically closed field k. Denote by Bun G the stack of G-bundles on Y. The following statement is well known but we could not find a reference with a proof valid for all G without the assumption char k =0. Proposition 5. If G is simply connected then Bun G is irreducible. Proof. A well known deformation-theoretic argument shows that Bun G is smooth, so it suffices to show that Bun G is connected. The morphism Bun B Bun G is surjective, so the mapping π 0 (Bun B ) π 0 (Bun G )is also surjective. The mapping π 0 (Bun H ) π 0 (Bun B ) is bijective (use the homomorphism B H to prove injectivity; surjectivity follows from the existence of a family of endomorphisms f t : B B, t A 1, such that f 1 = id and f 0 (B) =H:just set f t (b) :=λ(t)bλ(t) 1 where λ Hom(G m,h) is a strictly dominant coweight). Since G is simply connected π 0 (Bun H ) = Hom(G m,h) can be identified with the coroot lattice. So a standard argument (see, e.g., the end of Section 6) shows that it suffices to prove the connectedness of the stack of rank 2 vector bundles with a fixed determinant M. Given two such vector bundles L 1 and L 2 there is a line bundle A such that L 1 Aand L 2 Aare generated by their global sections. Then according to a lemma due to Serre ([8], p.27, Lemma 24) there exist exact sequences 0 A ( 1) L i M A 0, i=1, 2. So L 1 and L 2 belong to a family of bundles parametrized by the space Ext(M A, A ( 1) ), which is connected, Q.E.D. Remark. In the proof of Theorem 3 we used Proposition 5 in the particular case Y = P 1. In this case there is another proof of Proposition 5:use the well known theorem that all G-bundles on P 1 come from H- bundles, then compute the dimension of the automorphism group of each G-bundle and use the fact that all components of Bun G have the same dimension d = dim G.
7 B-STRUCTURES ON G-BUNDLES AND LOCAL TRIVIALITY 829 Acknowledgements The authors are grateful to A. Beauville and Y. Laszlo for a stimulating question and to A. A. Beilinson and V. A. Ginzburg for useful discussions. References 1. A. Beauville and Y. Laszlo, Conformal blocks and generalized theta functions, Commun. Math. Physics 164 (1994), A. Borel and T.A. Springer, Rationality properties of linear algebraic groups, Proc. Symp. Pure Math. A.M.S. 9 (1966), A. Borel and T.A. Springer, Rationality properties of linear algebraic groups II, Tôhoku Math. J. 20 (1968), M. Demazure and A. Grothendieck, Schémas en groupes, S.G.A G. Faltings, A proof for the Verlinde formula, Journal of Algebraic Geometry 3 (1994), G. Harder, Halbeinfache Gruppenschemata über Dedekindringen, Invent. Math. 4 (1967), Y. Laszlo and C. Sorger, The line bundles on the moduli of parabolic G-bundles over curves and their sections, to appear 8. C. S. Seshadri, Fibrés vectoriels sur les courbes algébriques, Astérisque 96 (1982) 9. R. Steinberg, Regular elements of semisimple algebraic groups, Publ. Math. IHES 25 (1965), Physico-Technical Institute of Low Temperatures, Lenin Avenue 47, Kharkov-164, Ukraine Laboratoire Emile Picard, UFR-MIG, Université Paul Sabatier, Toulouse CEDEX, France address: simpson@cict.fr
Math 249B. Nilpotence of connected solvable groups
Math 249B. Nilpotence of connected solvable groups 1. Motivation and examples In abstract group theory, the descending central series {C i (G)} of a group G is defined recursively by C 0 (G) = G and C
More informationThe moduli stack of vector bundles on a curve
The moduli stack of vector bundles on a curve Norbert Hoffmann norbert.hoffmann@fu-berlin.de Abstract This expository text tries to explain briefly and not too technically the notions of stack and algebraic
More informationOn Mordell-Lang in Algebraic Groups of Unipotent Rank 1
On Mordell-Lang in Algebraic Groups of Unipotent Rank 1 Paul Vojta University of California, Berkeley and ICERM (work in progress) Abstract. In the previous ICERM workshop, Tom Scanlon raised the question
More informationOn the Hitchin morphism in positive characteristic
On the Hitchin morphism in positive characteristic Yves Laszlo Christian Pauly July 10, 2003 Abstract Let X be a smooth projective curve over a field of characteristic p > 0. We show that the Hitchin morphism,
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 informationTHE KEEL MORI THEOREM VIA STACKS
THE KEEL MORI THEOREM VIA STACKS BRIAN CONRAD 1. Introduction Let X be an Artin stack (always assumed to have quasi-compact and separated diagonal over Spec Z; cf. [2, 1.3]). A coarse moduli space for
More informationA Note on Dormant Opers of Rank p 1 in Characteristic p
A Note on Dormant Opers of Rank p 1 in Characteristic p Yuichiro Hoshi May 2017 Abstract. In the present paper, we prove that the set of equivalence classes of dormant opers of rank p 1 over a projective
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 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 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 informationOn the geometric Langlands duality
On the geometric Langlands duality Peter Fiebig Emmy Noether Zentrum Universität Erlangen Nürnberg Schwerpunkttagung Bad Honnef April 2010 Outline This lecture will give an overview on the following topics:
More informationTamagawa Numbers in the Function Field Case (Lecture 2)
Tamagawa Numbers in the Function Field Case (Lecture 2) February 5, 204 In the previous lecture, we defined the Tamagawa measure associated to a connected semisimple algebraic group G over the field Q
More information1 Notations and Statement of the Main Results
An introduction to algebraic fundamental groups 1 Notations and Statement of the Main Results Throughout the talk, all schemes are locally Noetherian. All maps are of locally finite type. There two main
More informationNotes on p-divisible Groups
Notes on p-divisible Groups March 24, 2006 This is a note for the talk in STAGE in MIT. The content is basically following the paper [T]. 1 Preliminaries and Notations Notation 1.1. Let R be a complete
More informationThe Grothendieck-Katz Conjecture for certain locally symmetric varieties
The Grothendieck-Katz Conjecture for certain locally symmetric varieties Benson Farb and Mark Kisin August 20, 2008 Abstract Using Margulis results on lattices in semi-simple Lie groups, we prove the Grothendieck-
More informationMath 249B. Tits systems
Math 249B. Tits systems 1. Introduction Let (G, T ) be a split connected reductive group over a field k, and Φ = Φ(G, T ). Fix a positive system of roots Φ + Φ, and let B be the unique Borel k-subgroup
More informationMATH 233B, FLATNESS AND SMOOTHNESS.
MATH 233B, FLATNESS AND SMOOTHNESS. The discussion of smooth morphisms is one place were Hartshorne doesn t do a very good job. Here s a summary of this week s material. I ll also insert some (optional)
More informationMath 249B. Applications of Borel s theorem on Borel subgroups
Math 249B. Applications of Borel s theorem on Borel subgroups 1. Motivation In class we proved the important theorem of Borel that if G is a connected linear algebraic group over an algebraically closed
More informationCohomological Formulation (Lecture 3)
Cohomological Formulation (Lecture 3) February 5, 204 Let F q be a finite field with q elements, let X be an algebraic curve over F q, and let be a smooth affine group scheme over X with connected fibers.
More informationProof of the Shafarevich conjecture
Proof of the Shafarevich conjecture Rebecca Bellovin We have an isogeny of degree l h φ : B 1 B 2 of abelian varieties over K isogenous to A. We wish to show that h(b 1 ) = h(b 2 ). By filtering the kernel
More informationAzumaya Algebras. Dennis Presotto. November 4, Introduction: Central Simple Algebras
Azumaya Algebras Dennis Presotto November 4, 2015 1 Introduction: Central Simple Algebras Azumaya algebras are introduced as generalized or global versions of central simple algebras. So the first part
More informationNOTES ON FLAT MORPHISMS AND THE FPQC TOPOLOGY
NOTES ON FLAT MORPHISMS AND THE FPQC TOPOLOGY RUNE HAUGSENG The aim of these notes is to define flat and faithfully flat morphisms and review some of their important properties, and to define the fpqc
More informationA p-adic GEOMETRIC LANGLANDS CORRESPONDENCE FOR GL 1
A p-adic GEOMETRIC LANGLANDS CORRESPONDENCE FOR GL 1 ALEXANDER G.M. PAULIN Abstract. The (de Rham) geometric Langlands correspondence for GL n asserts that to an irreducible rank n integrable connection
More 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 informationRepresentations and Linear Actions
Representations and Linear Actions Definition 0.1. Let G be an S-group. A representation of G is a morphism of S-groups φ G GL(n, S) for some n. We say φ is faithful if it is a monomorphism (in the category
More 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 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 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 informationwhere Σ is a finite discrete Gal(K sep /K)-set unramified along U and F s is a finite Gal(k(s) sep /k(s))-subset
Classification of quasi-finite étale separated schemes As we saw in lecture, Zariski s Main Theorem provides a very visual picture of quasi-finite étale separated schemes X over a henselian local ring
More informationAbelian Varieties and the Fourier Mukai transformations (Foschungsseminar 2005)
Abelian Varieties and the Fourier Mukai transformations (Foschungsseminar 2005) U. Bunke April 27, 2005 Contents 1 Abelian varieties 2 1.1 Basic definitions................................. 2 1.2 Examples
More informationRigidity, locally symmetric varieties and the Grothendieck-Katz Conjecture
Rigidity, locally symmetric varieties and the Grothendieck-Katz Conjecture Benson Farb and Mark Kisin May 8, 2009 Abstract Using Margulis s results on lattices in semisimple Lie groups, we prove the Grothendieck-
More informationGEOMETRIC INVARIANT THEORY AND SYMPLECTIC QUOTIENTS
GEOMETRIC INVARIANT THEORY AND SYMPLECTIC QUOTIENTS VICTORIA HOSKINS 1. Introduction In this course we study methods for constructing quotients of group actions in algebraic and symplectic geometry and
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 informationTopics in Algebraic Geometry
Topics in Algebraic Geometry Nikitas Nikandros, 3928675, Utrecht University n.nikandros@students.uu.nl March 2, 2016 1 Introduction and motivation In this talk i will give an incomplete and at sometimes
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 information3. Lecture 3. Y Z[1/p]Hom (Sch/k) (Y, X).
3. Lecture 3 3.1. Freely generate qfh-sheaves. We recall that if F is a homotopy invariant presheaf with transfers in the sense of the last lecture, then we have a well defined pairing F(X) H 0 (X/S) F(S)
More informationEQUIVARIANT COHOMOLOGY. p : E B such that there exist a countable open covering {U i } i I of B and homeomorphisms
EQUIVARIANT COHOMOLOGY MARTINA LANINI AND TINA KANSTRUP 1. Quick intro Let G be a topological group (i.e. a group which is also a topological space and whose operations are continuous maps) and let X be
More informationThe Hecke category (part II Satake equivalence)
The Hecke category (part II Satake equivalence) Ryan Reich 23 February 2010 In last week s lecture, we discussed the Hecke category Sph of spherical, or (Ô)-equivariant D-modules on the affine grassmannian
More informationArtin Approximation and Proper Base Change
Artin Approximation and Proper Base Change Akshay Venkatesh November 9, 2016 1 Proper base change theorem We re going to talk through the proof of the Proper Base Change Theorem: Theorem 1.1. Let f : X
More informationDETECTING RATIONAL COHOMOLOGY OF ALGEBRAIC GROUPS
DETECTING RATIONAL COHOMOLOGY OF ALGEBRAIC GROUPS EDWARD T. CLINE, BRIAN J. PARSHALL AND LEONARD L. SCOTT Let G be a connected, semisimple algebraic group defined over an algebraically closed field k of
More informationThe Line Bundles on Moduli Stacks of Principal Bundles on a Curve
Documenta Math. 35 The Line Bundles on Moduli Stacks of Principal Bundles on a Curve Indranil Biswas and Norbert Hoffmann 1 Received: August 6, 2009 Communicated by Ulf Rehmann Abstract. Let G be an affine
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 information6. Lecture cdh and Nisnevich topologies. These are Grothendieck topologies which play an important role in Suslin-Voevodsky s approach to not
6. Lecture 6 6.1. cdh and Nisnevich topologies. These are Grothendieck topologies which play an important role in Suslin-Voevodsky s approach to not only motivic cohomology, but also to Morel-Voevodsky
More informationA SHORT PROOF OF ROST NILPOTENCE VIA REFINED CORRESPONDENCES
A SHORT PROOF OF ROST NILPOTENCE VIA REFINED CORRESPONDENCES PATRICK BROSNAN Abstract. I generalize the standard notion of the composition g f of correspondences f : X Y and g : Y Z to the case that X
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 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 informationElliptic curves, Néron models, and duality
Elliptic curves, Néron models, and duality Jean Gillibert Durham, Pure Maths Colloquium 26th February 2007 1 Elliptic curves and Weierstrass equations Let K be a field Definition: An elliptic curve over
More informationFourier Mukai transforms II Orlov s criterion
Fourier Mukai transforms II Orlov s criterion Gregor Bruns 07.01.2015 1 Orlov s criterion In this note we re going to rely heavily on the projection formula, discussed earlier in Rostislav s talk) and
More informationCHEAT SHEET: PROPERTIES OF MORPHISMS OF SCHEMES
CHEAT SHEET: PROPERTIES OF MORPHISMS OF SCHEMES BRIAN OSSERMAN The purpose of this cheat sheet is to provide an easy reference for definitions of various properties of morphisms of schemes, and basic results
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 informationOFER GABBER, QING LIU, AND DINO LORENZINI
PERIOD, INDEX, AND AN INVARIANT OF GROTHENDIECK FOR RELATIVE CURVES OFER GABBER, QING LIU, AND DINO LORENZINI 1. An invariant of Grothendieck for relative curves Let S be a noetherian regular connected
More informationPICARD GROUPS OF MODULI PROBLEMS II
PICARD GROUPS OF MODULI PROBLEMS II DANIEL LI 1. Recap Let s briefly recall what we did last time. I discussed the stack BG m, as classifying line bundles by analyzing the sense in which line bundles may
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 informationFiniteness of the Moderate Rational Points of Once-punctured Elliptic Curves. Yuichiro Hoshi
Hokkaido Mathematical Journal ol. 45 (2016) p. 271 291 Finiteness of the Moderate Rational Points of Once-punctured Elliptic Curves uichiro Hoshi (Received February 28, 2014; Revised June 12, 2014) Abstract.
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 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 informationD LY S NOTION OF ALGEBRAIC HYPERBOLICITY: GEOMETRICITY, BOUNDEDNESS, MODULI OF MAPS ARIYAN JAVANPEYKAR AND LJUDMILA KAMENOVA
DEMAILLY S NOTION OF ALGEBRAIC HYPERBOLICITY: GEOMETRICITY, BOUNDEDNESS, MODULI OF MAPS ARIYAN JAVANPEYKAR AND LJUDMILA KAMENOVA Abstract. Demailly s conjecture, which is a consequence of the Green Griffiths
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 informationHomology and Cohomology of Stacks (Lecture 7)
Homology and Cohomology of Stacks (Lecture 7) February 19, 2014 In this course, we will need to discuss the l-adic homology and cohomology of algebro-geometric objects of a more general nature than algebraic
More informationAnother proof of the global F -regularity of Schubert varieties
Another proof of the global F -regularity of Schubert varieties Mitsuyasu Hashimoto Abstract Recently, Lauritzen, Raben-Pedersen and Thomsen proved that Schubert varieties are globally F -regular. We give
More informationAPPENDIX 2: AN INTRODUCTION TO ÉTALE COHOMOLOGY AND THE BRAUER GROUP
APPENDIX 2: AN INTRODUCTION TO ÉTALE COHOMOLOGY AND THE BRAUER GROUP In this appendix we review some basic facts about étale cohomology, give the definition of the (cohomological) Brauer group, and discuss
More informationDieudonné Modules and p-divisible Groups
Dieudonné Modules and p-divisible Groups Brian Lawrence September 26, 2014 The notion of l-adic Tate modules, for primes l away from the characteristic of the ground field, is incredibly useful. The analogous
More informationNOTES ON PROCESI BUNDLES AND THE SYMPLECTIC MCKAY EQUIVALENCE
NOTES ON PROCESI BUNDLES AND THE SYMPLECTIC MCKAY EQUIVALENCE GUFANG ZHAO Contents 1. Introduction 1 2. What is a Procesi bundle 2 3. Derived equivalences from exceptional objects 4 4. Splitting of the
More informationMath 249B. Geometric Bruhat decomposition
Math 249B. Geometric Bruhat decomposition 1. Introduction Let (G, T ) be a split connected reductive group over a field k, and Φ = Φ(G, T ). Fix a positive system of roots Φ Φ, and let B be the unique
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 informationCharacteristic classes in the Chow ring
arxiv:alg-geom/9412008v1 10 Dec 1994 Characteristic classes in the Chow ring Dan Edidin and William Graham Department of Mathematics University of Chicago Chicago IL 60637 Let G be a reductive algebraic
More informationOLIVIER SERMAN. Theorem 1.1. The moduli space of rank 3 vector bundles over a curve of genus 2 is a local complete intersection.
LOCAL STRUCTURE OF SU C (3) FOR A CURVE OF GENUS 2 OLIVIER SERMAN Abstract. The aim of this note is to give a precise description of the local structure of the moduli space SU C (3) of rank 3 vector bundles
More informationNOTES ON ABELIAN VARIETIES
NOTES ON ABELIAN VARIETIES YICHAO TIAN AND WEIZHE ZHENG We fix a field k and an algebraic closure k of k. A variety over k is a geometrically integral and separated scheme of finite type over k. If X and
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 informationSEMISTABLE REDUCTION FOR ABELIAN VARIETIES
SEMISTABLE REDUCTION FOR ABELIAN VARIETIES BRIAN CONRAD 1. Introduction The semistable reduction theorem for curves was discussed in Christian s notes. In these notes, we will use that result to prove
More informationOn the Irreducibility of the Commuting Variety of the Symmetric Pair so p+2, so p so 2
Journal of Lie Theory Volume 16 (2006) 57 65 c 2006 Heldermann Verlag On the Irreducibility of the Commuting Variety of the Symmetric Pair so p+2, so p so 2 Hervé Sabourin and Rupert W.T. Yu Communicated
More informationOn log flat descent. Luc Illusie, Chikara Nakayama, and Takeshi Tsuji
On log flat descent Luc Illusie, Chikara Nakayama, and Takeshi Tsuji Abstract We prove the log flat descent of log étaleness, log smoothness, and log flatness for log schemes. Contents 1. Review of log
More informationIrreducible subgroups of algebraic groups
Irreducible subgroups of algebraic groups Martin W. Liebeck Department of Mathematics Imperial College London SW7 2BZ England Donna M. Testerman Department of Mathematics University of Lausanne Switzerland
More informationLecture 7: Etale Fundamental Group - Examples
Lecture 7: Etale Fundamental Group - Examples October 15, 2014 In this lecture our only goal is to give lots of examples of etale fundamental groups so that the reader gets some feel for them. Some of
More informationARITHMETICALLY COHEN-MACAULAY BUNDLES ON THREE DIMENSIONAL HYPERSURFACES
ARITHMETICALLY COHEN-MACAULAY BUNDLES ON THREE DIMENSIONAL HYPERSURFACES N. MOHAN KUMAR, A. P. RAO, AND G. V. RAVINDRA Abstract. We prove that any rank two arithmetically Cohen- Macaulay vector bundle
More informationALGEBRA EXERCISES, PhD EXAMINATION LEVEL
ALGEBRA EXERCISES, PhD EXAMINATION LEVEL 1. Suppose that G is a finite group. (a) Prove that if G is nilpotent, and H is any proper subgroup, then H is a proper subgroup of its normalizer. (b) Use (a)
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 informationFILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.
FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0
More informationALGEBRAIC GROUPS JEROEN SIJSLING
ALGEBRAIC GROUPS JEROEN SIJSLING The goal of these notes is to introduce and motivate some notions from the theory of group schemes. For the sake of simplicity, we restrict to algebraic groups (as defined
More informationChern classes à la Grothendieck
Chern classes à la Grothendieck Theo Raedschelders October 16, 2014 Abstract In this note we introduce Chern classes based on Grothendieck s 1958 paper [4]. His approach is completely formal and he deduces
More informationRiemann surfaces with extra automorphisms and endomorphism rings of their Jacobians
Riemann surfaces with extra automorphisms and endomorphism rings of their Jacobians T. Shaska Oakland University Rochester, MI, 48309 April 14, 2018 Problem Let X be an algebraic curve defined over a field
More informationAN INTRODUCTION TO MODULI SPACES OF CURVES CONTENTS
AN INTRODUCTION TO MODULI SPACES OF CURVES MAARTEN HOEVE ABSTRACT. Notes for a talk in the seminar on modular forms and moduli spaces in Leiden on October 24, 2007. CONTENTS 1. Introduction 1 1.1. References
More informationThe Affine Grassmannian
1 The Affine Grassmannian Chris Elliott March 7, 2013 1 Introduction The affine Grassmannian is an important object that comes up when one studies moduli spaces of the form Bun G (X), where X is an 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 informationSome remarks on Frobenius and Lefschetz in étale cohomology
Some remarks on obenius and Lefschetz in étale cohomology Gabriel Chênevert January 5, 2004 In this lecture I will discuss some more or less related issues revolving around the main idea relating (étale)
More informationALGEBRAIC GROUPS. Disclaimer: There are millions of errors in these notes!
ALGEBRAIC GROUPS Disclaimer: There are millions of errors in these notes! 1. Some algebraic geometry The subject of algebraic groups depends on the interaction between algebraic geometry and group theory.
More informationDEFORMATIONS VIA DIMENSION THEORY
DEFORMATIONS VIA DIMENSION THEORY BRIAN OSSERMAN Abstract. We show that standard arguments for deformations based on dimension counts can also be applied over a (not necessarily Noetherian) valuation ring
More informationALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES
ALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES HONGHAO GAO FEBRUARY 7, 2014 Quasi-coherent and coherent sheaves Let X Spec k be a scheme. A presheaf over X is a contravariant functor from the category of open
More informationRational sections and Serre s conjecture
FREIE UNIVERSITÄT BERLIN FORSCHUNGSSEMINAR SS 15 Rational sections and Serre s conjecture Lei Zhang March 20, 2015 Recall the following conjecture of Serre. INTRODUCTION Conjecture. Let K be a perfect
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 informationHARTSHORNE EXERCISES
HARTSHORNE EXERCISES J. WARNER Hartshorne, Exercise I.5.6. Blowing Up Curve Singularities (a) Let Y be the cusp x 3 = y 2 + x 4 + y 4 or the node xy = x 6 + y 6. Show that the curve Ỹ obtained by blowing
More informationHYPERSURFACES IN PROJECTIVE SCHEMES AND A MOVING LEMMA
HYPERSURFACES IN PROJECTIVE SCHEMES AND A MOVING LEMMA OFER GABBER, QING LIU, AND DINO LORENZINI Abstract. Let X/S be a quasi-projective morphism over an affine base. We develop in this article a technique
More informationTHE SMOOTH BASE CHANGE THEOREM
THE SMOOTH BASE CHANGE THEOREM AARON LANDESMAN CONTENTS 1. Introduction 2 1.1. Statement of the smooth base change theorem 2 1.2. Topological smooth base change 4 1.3. A useful case of smooth base change
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 informationALGEBRAIC GROUPS J. WARNER
ALGEBRAIC GROUPS J. WARNER Let k be an algebraically closed field. varieties unless otherwise stated. 1. Definitions and Examples For simplicity we will work strictly with affine Definition 1.1. An algebraic
More informationCOMPLEX ALGEBRAIC SURFACES CLASS 9
COMPLEX ALGEBRAIC SURFACES CLASS 9 RAVI VAKIL CONTENTS 1. Construction of Castelnuovo s contraction map 1 2. Ruled surfaces 3 (At the end of last lecture I discussed the Weak Factorization Theorem, Resolution
More informationUNIVERSAL LOG STRUCTURES ON SEMI-STABLE VARIETIES
UNIVERSAL LOG STRUCTURES ON SEMI-STABLE VARIETIES MARTIN C. OLSSON Abstract. Fix a morphism of schemes f : X S which is flat, proper, and fiber-by-fiber semi-stable. Let IV LS be the functor on the category
More informationSmooth morphisms. Peter Bruin 21 February 2007
Smooth morphisms Peter Bruin 21 February 2007 Introduction The goal of this talk is to define smooth morphisms of schemes, which are one of the main ingredients in Néron s fundamental theorem [BLR, 1.3,
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 informationMath 210C. The representation ring
Math 210C. The representation ring 1. Introduction Let G be a nontrivial connected compact Lie group that is semisimple and simply connected (e.g., SU(n) for n 2, Sp(n) for n 1, or Spin(n) for n 3). Let
More information