Mathematical Research Letters 2, (1995) B-STRUCTURES ON G-BUNDLES AND LOCAL TRIVIALITY. V. G. Drinfeld and Carlos Simpson

Size: px
Start display at page:

Download "Mathematical Research Letters 2, (1995) B-STRUCTURES ON G-BUNDLES AND LOCAL TRIVIALITY. V. G. Drinfeld and Carlos Simpson"

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

More information

The moduli stack of vector bundles on a curve

The 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 information

On Mordell-Lang in Algebraic Groups of Unipotent Rank 1

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

More information

On the Hitchin morphism in positive characteristic

On 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 information

RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES RIMS A Note on an Anabelian Open Basis for a Smooth Variety. Yuichiro HOSHI.

RESEARCH 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 information

THE KEEL MORI THEOREM VIA STACKS

THE 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 information

A Note on Dormant Opers of Rank p 1 in Characteristic p

A 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 information

An Atlas For Bun r (X)

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

More information

Math 248B. Applications of base change for coherent cohomology

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

More information

1. Algebraic vector bundles. Affine Varieties

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

More information

On the geometric Langlands duality

On 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 information

Tamagawa Numbers in the Function Field Case (Lecture 2)

Tamagawa 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 information

1 Notations and Statement of the Main Results

1 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 information

Notes on p-divisible Groups

Notes 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 information

The Grothendieck-Katz Conjecture for certain locally symmetric varieties

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

More information

Math 249B. Tits systems

Math 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 information

MATH 233B, FLATNESS AND SMOOTHNESS.

MATH 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 information

Math 249B. Applications of Borel s theorem on Borel subgroups

Math 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 information

Cohomological Formulation (Lecture 3)

Cohomological 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 information

Proof of the Shafarevich conjecture

Proof 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 information

Azumaya Algebras. Dennis Presotto. November 4, Introduction: Central Simple Algebras

Azumaya 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 information

NOTES ON FLAT MORPHISMS AND THE FPQC TOPOLOGY

NOTES 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 information

A p-adic GEOMETRIC LANGLANDS CORRESPONDENCE FOR GL 1

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

More information

h M (T ). The natural isomorphism η : M h M determines an element U = η 1

h 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 information

Representations and Linear Actions

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

More information

MODULI SPACES OF CURVES

MODULI 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 information

SPACES OF RATIONAL CURVES IN COMPLETE INTERSECTIONS

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

More information

Motivic integration on Artin n-stacks

Motivic 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 information

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

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

More information

Abelian Varieties and the Fourier Mukai transformations (Foschungsseminar 2005)

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

More information

Rigidity, locally symmetric varieties and the Grothendieck-Katz Conjecture

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

More information

GEOMETRIC INVARIANT THEORY AND SYMPLECTIC QUOTIENTS

GEOMETRIC 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 information

Construction of M B, M Dol, M DR

Construction 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 information

Topics in Algebraic Geometry

Topics 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 information

ARITHMETICALLY COHEN-MACAULAY BUNDLES ON HYPERSURFACES

ARITHMETICALLY 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 information

3. Lecture 3. Y Z[1/p]Hom (Sch/k) (Y, X).

3. 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 information

EQUIVARIANT COHOMOLOGY. p : E B such that there exist a countable open covering {U i } i I of B and homeomorphisms

EQUIVARIANT 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 information

The Hecke category (part II Satake equivalence)

The 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 information

Artin Approximation and Proper Base Change

Artin 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 information

DETECTING RATIONAL COHOMOLOGY OF ALGEBRAIC GROUPS

DETECTING 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 information

The Line Bundles on Moduli Stacks of Principal Bundles on a Curve

The 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 information

Exercises 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 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 information

6. Lecture cdh and Nisnevich topologies. These are Grothendieck topologies which play an important role in Suslin-Voevodsky s approach to not

6. 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 information

A SHORT PROOF OF ROST NILPOTENCE VIA REFINED CORRESPONDENCES

A 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 information

Theta divisors and the Frobenius morphism

Theta 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 information

SPACES OF RATIONAL CURVES ON COMPLETE INTERSECTIONS

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

More information

Elliptic curves, Néron models, and duality

Elliptic 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 information

Fourier Mukai transforms II Orlov s criterion

Fourier 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 information

CHEAT SHEET: PROPERTIES OF MORPHISMS OF SCHEMES

CHEAT 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 information

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

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

More information

OFER GABBER, QING LIU, AND DINO LORENZINI

OFER 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 information

PICARD GROUPS OF MODULI PROBLEMS II

PICARD 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 information

ON DEGENERATIONS OF MODULI OF HITCHIN PAIRS

ON 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 information

Finiteness of the Moderate Rational Points of Once-punctured Elliptic Curves. Yuichiro Hoshi

Finiteness 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 information

arxiv:math/ v1 [math.ag] 17 Oct 2006

arxiv: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 information

LECTURE 7: STABLE RATIONALITY AND DECOMPOSITION OF THE DIAGONAL

LECTURE 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 information

D LY S NOTION OF ALGEBRAIC HYPERBOLICITY: GEOMETRICITY, BOUNDEDNESS, MODULI OF MAPS ARIYAN JAVANPEYKAR AND LJUDMILA KAMENOVA

D 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 information

Math 797W Homework 4

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

More information

Homology and Cohomology of Stacks (Lecture 7)

Homology 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 information

Another proof of the global F -regularity of Schubert varieties

Another 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 information

APPENDIX 2: AN INTRODUCTION TO ÉTALE COHOMOLOGY AND THE BRAUER GROUP

APPENDIX 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 information

Dieudonné Modules and p-divisible Groups

Dieudonné 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 information

NOTES ON PROCESI BUNDLES AND THE SYMPLECTIC MCKAY EQUIVALENCE

NOTES 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 information

Math 249B. Geometric Bruhat decomposition

Math 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 information

LINKED HOM SPACES BRIAN OSSERMAN

LINKED 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 information

Characteristic classes in the Chow ring

Characteristic 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 information

OLIVIER SERMAN. Theorem 1.1. The moduli space of rank 3 vector bundles over a curve of genus 2 is a local complete intersection.

OLIVIER 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 information

NOTES ON ABELIAN VARIETIES

NOTES 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 information

THE HITCHIN FIBRATION

THE 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 information

SEMISTABLE REDUCTION FOR ABELIAN VARIETIES

SEMISTABLE 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 information

On the Irreducibility of the Commuting Variety of the Symmetric Pair so p+2, so p so 2

On 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 information

On log flat descent. Luc Illusie, Chikara Nakayama, and Takeshi Tsuji

On 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 information

Irreducible subgroups of algebraic groups

Irreducible 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 information

Lecture 7: Etale Fundamental Group - Examples

Lecture 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 information

ARITHMETICALLY COHEN-MACAULAY BUNDLES ON THREE DIMENSIONAL HYPERSURFACES

ARITHMETICALLY 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 information

ALGEBRA EXERCISES, PhD EXAMINATION LEVEL

ALGEBRA 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 information

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 43

FOUNDATIONS 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 information

FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.

FILTERED 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 information

ALGEBRAIC GROUPS JEROEN SIJSLING

ALGEBRAIC 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 information

Chern classes à la Grothendieck

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

More information

Riemann surfaces with extra automorphisms and endomorphism rings of their Jacobians

Riemann 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 information

AN INTRODUCTION TO MODULI SPACES OF CURVES CONTENTS

AN 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 information

The Affine Grassmannian

The 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 information

a double cover branched along the smooth quadratic line complex

a 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 information

Some remarks on Frobenius and Lefschetz in étale cohomology

Some 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 information

ALGEBRAIC GROUPS. Disclaimer: There are millions of errors in these notes!

ALGEBRAIC 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 information

DEFORMATIONS VIA DIMENSION THEORY

DEFORMATIONS 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 information

ALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES

ALGEBRAIC 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 information

Rational sections and Serre s conjecture

Rational 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 information

INDRANIL BISWAS AND GEORG HEIN

INDRANIL 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 information

HARTSHORNE EXERCISES

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

More information

HYPERSURFACES IN PROJECTIVE SCHEMES AND A MOVING LEMMA

HYPERSURFACES 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 information

THE SMOOTH BASE CHANGE THEOREM

THE 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 information

Projective Schemes with Degenerate General Hyperplane Section II

Projective 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 information

ALGEBRAIC GROUPS J. WARNER

ALGEBRAIC 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 information

COMPLEX ALGEBRAIC SURFACES CLASS 9

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

More information

UNIVERSAL LOG STRUCTURES ON SEMI-STABLE VARIETIES

UNIVERSAL 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 information

Smooth morphisms. Peter Bruin 21 February 2007

Smooth 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 information

The Hitchin map, local to global

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

More information

Math 210C. The representation ring

Math 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