SEMINAR NOTES: GBUNDLES, STACKS AND BG (SEPT. 15, 2009)


 Lilian Sparks
 1 years ago
 Views:
Transcription
1 SEMINAR NOTES: GBUNDLES, STACKS AND (SEPT. 15, 2009) DENNIS GAITSGORY 1. Gbundles 1.1. Let G be an affine algebraic group over a ground field k. We assume that k is algebraically closed. Definition 1.2. A Gbundle P over a scheme is a sheaf on the category Sch/ (i.e., the category of schemes over with a flat topology) which is a torsor for the sheaf of groups Y/ Hom(Y, G), in the flat topology. Let Y/ be a scheme, such that Γ(Y, P). Choosing a section, we obtain a Cech 1cocycle on φ : Y Y with values in G. Definition 1.3. A Gbundle over is a scheme over, acted on by G, such that, locally in the flat topology, is isomorphic to the product, i.e., there exists a faithfully flat morphism Y, such that Ỹ := Y Y G as Gschemes. Let s see why the two definitions are equivalent. Having we define P to be the sheaf Y/ Hom (Y, ) = Hom Y (Y, Ỹ ). Going in the opposite direction, let Y be a faithfully flat cover such that Γ(Y, P). Set Ỹ = Y G. The Cech cocycle φ introduced above defines a descent datum for Ỹ with respect to Y. The same construction also establishes the following: given a Gbundle P and a scheme Z acted on by G, we can form a scheme Z P := G\( Z) over. We call it the fiberbundle over associated to P and the Gscheme Z. Remark 1.4. Technically speaking, for this construction to work we need to assume something about Z. E.g., if Z affine is always OK. More generally, we can take Z projective or quasiprojective endowed with a polarization (i.e., an ample line bundle), which is Gequivariant. This assumption will always be satisfied in our example, where Z is of the form G/G 1 for a subgroup G 1 G. Here is yet one more equivalent definition: Definition 1.5. A Gbundle over is a scheme over, acted on by G, such that is faithfully flat, and the morphism G (where the first component is the projection G, and the second component is the action map), is an isomorphism. It is easy to see that if satisfies Definition 1.3, then it also satisfies Definition 1.5: indeed, it s enough to check the corresponding properties after a faithfully flat base change Y, when the statement is evident b/c we are in the product situation. Vice versa, having satisfying Definition 1.5, we can take Y :=, and it satisfies Definition 1.3. Date: September 18,
2 2 DENNIS GAITSGORY 1.6. Assume now that G is smooth (always true if we are in char. 0). In this case we claim that every Gtorsor is locally trivial in the smooth (and, hence, the étale) topology. Indeed, the map is smooth (b/c it becomes such after a faithfully flat base change). So, Y := is the soughtfor smooth map, over which Ỹ is isomorphic to the product Y G. To get the étale triviality, having a smooth map Y, locally in Y, we can factor it as Y A n with the first arrow étale. The soughtfor scheme Y, étale over, is Y, corresponding to any point a A n. A n 1.7. Let G = GL n. We claim that a GL n bundle is the same as a rankn vector bundle. In one direction, having a GL n bundle P, we define the vector bundle E := E 0 P, where E0 is the standard ndimensional representation of GL n, and the subscript P means the associated bundle construction introduced above. In the other direction, given a vector bundle E, we define a GL n torsor that assigns to Y the set Isom Y (E 0 Y, E Y ), where E 0 Y is the trivial rankn bundle Our goal is to prove the following: Proposition 1.9. A Gbundle on is the same as a tensor (=braided monoidal) exact functor Rep(G) Vect, where Rep(G) is the tensor category of finitedimensional representations of G, and Vect is the tensor category of vector bundles on. Proof. In one direction, having a Gbundle P, we define a functor : Rep(G) Vect by V V P (again, the associated bundle construction). In the opposite direction, let be a tensor functor as above. We are going to produce a Gscheme over. Consider the ring of functions on G, denoted Reg(G), viewed as a (infinitedimensional) representation of G with respect to the leftregular action of G. We have Reg(G) lim V i, where V i are finitedimensional representations. It is easy to see that the commutative ring structure on Reg(G) endows the quasicoherent sheaf A := (Reg(G)) := lim (V i ) with a commutative multiplication. Set := Spec (A). The rightregular action of G on Reg(G) defines a Gaction on as a scheme over. Since all (V i ) are vector bundles, and, in particular, flat, so is A. By the exactness of, we have a short exact sequence of quasicoherent sheaves on : 0 O A (Reg(G)/k) 0, where k denotes the trivial representation. Since (Reg(G)/k) is O flat (by the same argument as above), for any point x, we obtain that the map k A x is injective. In particular, A x 0. Hence, is faithfully flat over. inally, However, for any V Rep(G), A O A = (Reg(G)) O (Reg(G)) (Reg(G) Reg(G)). V Reg(G) Reg(G) V,
3 SEMINAR NOTES: GBUNDLES, STACKS AND (SEPT. 15, 2009) 3 as Grepresentations, where V is the vector space underlying the representation V. In particular, Reg(G) Reg(G) Reg(G) Reg(G), and, hence, A O A A Reg(G), compatible with the algebra structure. So G. Moreover, the latter isomorphism respects the actions of G on both sides, and hence, satisfies Definition A refresher on stacks Here we ll just repeat the main points from Toly s talk Unless specified otherwise, we ll consider the category of affine schemes of finite type Aff ft, which is the same as the opposite category of finitely generated kalgebras. We consider presheaves of groupoids on Aff ft, i.e., assignments S Aff ft (S), where (S) is a groupoid; for every α : S 1 S 2 a functor (α) : (S 2 ) (S 1 ), for any α : S 1 S 2 and β : S 2 S 3 a natural transformation (automatically an isomorphism of functors, as we re dealing with groupoids) (α, β) : (α) (β) (β α), such that the natural condition holds for 3fold compositions. Sometimes we ll write α instead of (α), as we think of it as the pullback. Morphisms between presheaves are defined naturally: for two presheaves 1, 2 a morphism f is a datum for every S Aff ft of a functor f(s) : 1 (S) 2 (S), and for every α : S 1 S 2 of a natural transformation f(s 2 ) 1 (α) 2 (α) f(s 1 ), compatible with the data of 1 (α, β), 2 (α, β). Morphisms 1 2 form a category. Isomorphisms should also be understood naturally: f : 1 2 : g are mutually inverse iff f g and g f are isomorphic to the identity selffunctors of of 2 and 1, respectively. or three presheaves and morphisms f : : g we form the Cartesian product 1 3 naturally: ( 1 3 )(S) is the category of triples 2 2 {a 1 1 (S), a 3 3 (S), γ : f(a 1 ) g(a 3 ) 3 (S)}. Morphisms between such triples are defined naturally: they must respect the data of γ Note that every presheaf of sets can be viewed as a presheaf of groupoids. or a scheme we define the presheaf to be one corresponding to the presheaf of sets S Hom(S, ). Yoneda s lemma says that for an affine scheme S, the category Hom(S, ) is naturally equivalent to (S). We say that is schematic if it is equivalent to a presheaf of the form where is a scheme.
4 4 DENNIS GAITSGORY 2.3. We say that a map of presheaves f : is schematic if its fibers are schemes. We formalize this idea as follows: we require that for every S Aff ft and a (S), thought of as a map of presheaves S, the Cartesian product S is a schematic presheaf. Again, by Yoneda, the map of presheaves S S corresponds to a map of schemes S S, where S is such that S S. or a schematic map of presheaves it makes sense to require that it be an open embedding/closed embedding/affine/projective/flat/smooth. etc. In fact, any property of morphisms stable with respect to the base make sense. By definition, this means that the corresponding property holds for the map of schemes S S above for any S with a map to Let S be an affine scheme, a presheaf, and a 1, a 2 be two objects of (S). Consider the presheaf Isom S (a 1, a 2 ) := S. By definition, for S Aff ft, the category Isom S (a 1, a 2 )(S ) is discrete (i.e., equivalent to a set) and consists of a data α : S S and an isomorphism α (a 1 ) α (a 2 ). (This explains the name Isom.) 2.5. We say that a presheaf is a sheaf if the following two conditions are satisfied. irst, we require that for every S, a 1, a 2 (S), the presheaf of sets on Aff ft /S given by Isom S (a 1, a 2 ) be a sheaf in the flat topology. Secondly, we require that for a faithfully flat map α : S S Aff ft, we have descent for (S ) with respect to α. To formulate what this means think of the example (S) = QCoh(S), and formulate the assertion in abstract terms We say that a sheaf of groupoids is an algebraic stack if the following two additional conditions hold. Condition 1 says that the diagonal map be schematic. This is tautologically equivalent to the following: for any S Aff ft and a 1, a 2 (S), the presheaf Isom S (a 1, a 2 ) (which is a sheaf by the assumption that is a sheaf of groupoids) must be schematic. Condition 1 can be reformulated (less tautologically) as follows: for any S Aff ft and a (S) the corresponding morphism S is schematic. By definitoon, this is equivalent to requiring that for S 1, S 2 Aff ft and a i (S i ), the Cartesian product be schematic. S 1 S 2 The equivalence of the two versions of Condition 1 is established as follows. or satisfying the first version, and S 1, S 2, a i (S i ) we have: S 1 S 2 (S 1 S 2 ). Vice versa, for satisfying the second version, S Aff ft and a 1, a 2 (S), we have Isom S (a 1, a 2 ) S S S (S S).
5 SEMINAR NOTES: GBUNDLES, STACKS AND (SEPT. 15, 2009) 5 A nonexample. Show that the sheaf (S) := Coh(S) doesn t satisfy the above condition. Condition 2 for being an algebraic stack is: there exists an affine scheme endowed with a smooth and surjective map. Note that by the first condition, any map is schematic, so the notion of smoothness and surjectivity makes sense. Our main example of an algebraic stack is, discussed below. 3. The stack Here again, we ll repeat some points from Toly s talk Let G be an affine (smooth) algebraic group as above. We define the presheaf as follows: for a (affine) scheme, we set () to be the groupoid of Gbundles on. The fact that this presheaf is a sheaf follows from the usual descent theory Let s check the first condition of algebraicity. or a scheme and two maps to, i.e., for two principal Gbundles P 1 and P 2, we have to show that the sheaf of sets Isom (P 1, P 2 ) is representable by a scheme. Exercise 3.3. Show that Isom (P 1, P 2 ) is represented by the scheme G P1 P 2. (Here we regard G as a scheme acted on by the group G G, and we are applying the associated bundle construction with respect to the G Gtorsor P 1 P 2 ). Thus, the above exercise implies that Condition 1 for being an algebraic stack holds Let s check the second condition. We claim that the tautological map pt corresponding to the trivial Gbundle on pt is smooth and surjective. Let be a (affine) scheme mapping to, that is we have a Gbundle P over. We need to compute the Cartesian product pt, which is a scheme by Condition 1, and show that its projection to is smooth. Exercise 3.5. Deduce from Exercise 3.3 that Gbundle P. pt identifies with the total space of the 3.6. Let now Z be a scheme acted on by G. We define the stack quotient G\Z as follows: Hom(S, G\Z) is the groupoid of pairs (, α), where is a Gbundle on, and α is a G equivariant map Z. (Note that for Z = pt we recover G\ pt.) It is easy the assignment S Hom(S, G\Z) is a sheaf of groupoids. Exercise 3.7. Check Condition 1 for being an algebraic stack. To check Condition 2, note that we have the tautological map Z G\Z, corresponding to the trivial Gbundle on Z and the action map Z G Z Z. We claim that this map is smooth and surjective. Indeed, fix an point (, α : Z) of G\Z. Exercise 3.8. Show that Z is canonically isomorphic to. G\Z 3.9. Assume for a moment that the action of G on Z is free. By definition, this means that there exists a scheme Y with a Gbundle P such that Ỹ Z, as schemes acted on by G. Exercise Show that in the above case, the stack G\Z is representable by the scheme Y. So, in this case it s OK to write Y G\Z, i.e., the two ways to understand the quotient (as a scheme and as a stack), coincide.
6 6 DENNIS GAITSGORY Assume that Z satisfies the technical assumption from the Remark 1.4. Consider the canonical map of stacks G\Z. We claim that this morphism is schematic. Indeed, fix an point P of, and consider the Cartesian product G\Z. Exercise Show that G\Z Z P, the associated bundle Let us generalize the above setup slightly. Let Z 1 Z 2 be a map of Gschemes. We obtain the corresponding map of stacks G\Z 1 G\Z 2. In particular, for Z 1 = Z and Z 2 = pt we recover the above map G\Z. Let us make the following technical assumption: Z 1 is polarized quasiprojective over Z 2 in a Gequivariant way. This means that there exists a Gequivariant line bundle on Z 1, which is ample relative to Z 2. This assumption will be satisfied in all the example of interest, since our schemes will be explicitly quasiprojective. We claim that in the above case, the map G\Z 1 G\Z 2 is schematic, and in fact quasiprojective. Indeed, fix an point (, Z 2 ) of G\Z 2, and consider the Cartesian product: G\Z 2 G\Z 1. Exercise (a) Show that the action of G on Z 2 Z 1 is free. More precisely, show that one can descend Z 2 Z 1, viewed as a scheme over, to a scheme over. (b) Show that the resulting scheme G\( Z 2 Z 1 ) identifies with G\Z 2 G\Z Let G 1 G 2 be a homomorphism of algebraic groups. In this case we have a natural morphism of algebraic stacks 1 2. Assume now that G 1 G 2 is injective. We claim that in this case, the morphism 1 2 is schematic (and quasiprojective). Indeed, fix an point of 2, i.e., a G 2 bundle P 2 on. We ask: what is the Cartesian product 2 1? or a scheme to map it to 2 1 means to fix a map and choose a reduction of the G 2 bundle P 2 := P 2 to the subgroup G 1. Exercise Identify 1 with (G 2 /G 1 ) P2 (again, the associated bundle construction), where we view the quotient G 2 /G 1 as a scheme acted on by G 2 2. Here is another way to view the map 1 2 : Exercise Identify the stack 1 with G 2 \(G 2 /G 1 ), and the map 1 2 with the map G 2 \(G 2 /G 1 ) 2. Deduce Exercise 3.16 from Exercise 3.12.
A result of Gabber. by A.J. de Jong
A result of Gabber by A.J. de Jong 1 The result Let X be a scheme endowed with an ample invertible sheaf L. See EGA II, Definition 4.5.3. In particular, X is supposed quasicompact and separated. 1.1 Theorem.
More informationFIBER PRODUCTS AND ZARISKI SHEAVES
FIBER PRODUCTS AND ZARISKI SHEAVES BRIAN OSSERMAN 1. Fiber products and Zariski sheaves We recall the definition of a fiber product: Definition 1.1. Let C be a category, and X, Y, Z objects of C. Fix also
More informationLifting abelian schemes: theorems of SerreTate and Grothendieck
Lifting abelian schemes: theorems of SerreTate and Grothendieck Gabriel Dospinescu Remark 0.1. J ai décidé d écrire ces notes en anglais, car il y a trop d accents auxquels il faut faire gaffe... 1 The
More informationProof. The map. G n i. where d is the degree of D.
7. Divisors Definition 7.1. We say that a scheme X is regular in codimension one if every local ring of dimension one is regular, that is, the quotient m/m 2 is one dimensional, where m is the unique maximal
More informationAlgebraic Geometry. Keerthi Madapusi
Algebraic Geometry Keerthi Madapusi Contents Chapter 1. Schemes 5 1. Spec of a Ring 5 2. Schemes 11 3. The Affine Communication Lemma 13 4. A Criterion for Affineness 15 5. Irreducibility and Connectedness
More informationFIBER BUNDLES AND UNIVALENCE
FIBER BUNDLES AND UNIVALENCE TALK BY IEKE MOERDIJK; NOTES BY CHRIS KAPULKIN This talk presents a proof that a universal Kan fibration is univalent. The talk was given by Ieke Moerdijk during the conference
More informationOPERS. The geometric Langlands correspondence conjectures a correspondence
OPERS JONATHAN BARLEV The geometric Langlands correspondence conjectures a correspondence QcolocsysL Gx)) = DmodBun G )) on the level of derived categories. As remarked previously in theseminar,toeach
More informationSEMINAR NOTES: HITCHIN FIBERS AND AFFINE SPRINGER FIBERS, OCTOBER 29 AND NOVEMBER 5, 2009
SEMINAR NOTES: HITCHIN FIBERS AND AFFINE SPRINGER FIBERS, OCTOBER 29 AND NOVEMBER 5, 2009 ROMAN BEZRUKAVNVIKOV 1. Affine Springer fibers The goal of the talk is to introduce affine Springer fibers and
More informationNOTES ON CATEGORIES AND FUNCTORS
NOTES ON CATEGORIES AND FUNCTORS These notes collect basic definitions and facts about categories and functors that have been mentioned in the Homological Algebra course. For further reading about category
More informationÉtale groupoids and their morphisms
Étale groupoids and their morphisms Ganna Kudryavtseva University of Ljubljana Semigroup Representations 2013 Edinburgh Ganna Kudryavtseva (Ljubljana) Étale groupoids and their morphisms April 11, 2013
More informationA CONSTRUCTION OF THE UNIVERSAL COVER AS A FIBER BUNDLE
A CONSTRUCTION OF THE UNIVERSAL COVER AS A FIBER BUNDLE DANIEL A. RAMRAS In these notes we present a construction of the universal cover of a path connected, locally path connected, and semilocally simply
More informationMath 231b Lecture 35. G. Quick
Math 231b Lecture 35 G. Quick 35. Lecture 35: Sphere bundles and the Adams conjecture 35.1. Sphere bundles. Let X be a connected finite cell complex. We saw that the Jhomomorphism could be defined by
More informationINFINITEDIMENSIONAL LINEAR ALGEBRA, ETC.
INFINITEDIMENSIONAL LINEAR ALGEBRA, ETC. DUSTIN CLAUSEN Thanks to Dennis for explaining this stuff to me. Orientation. Let s start by remembering where we are and where we re going. Let X be a smooth,
More information9. Quotient Groups Given a group G and a subgroup H, under what circumstances can we find a homomorphism φ: G G ', such that H is the kernel of φ?
9. Quotient Groups Given a group G and a subgroup H, under what circumstances can we find a homomorphism φ: G G ', such that H is the kernel of φ? Clearly a necessary condition is that H is normal in G.
More informationSOME PROPERTIES OF FIBER PRODUCT PRESERVING BUNDLE FUNCTORS
SOME PROPERTIES OF FIBER PRODUCT PRESERVING BUNDLE FUNCTORS Ivan Kolář Abstract. Let F be a fiber product preserving bundle functor on the category FM m of the proper base order r. We deduce that the rth
More informationOn the existence of Gequivariant maps
CADERNOS DE MATEMÁTICA 12, 69 76 May (2011) ARTIGO NÚMERO SMA# 345 On the existence of Gequivariant maps Denise de Mattos * Departamento de Matemática, Instituto de Ciências Matemáticas e de Computação,
More informationArkansas Tech University MATH 4033: Elementary Modern Algebra Dr. Marcel B. Finan
Arkansas Tech University MATH 4033: Elementary Modern Algebra Dr. Marcel B. Finan 3 Binary Operations We are used to addition and multiplication of real numbers. These operations combine two real numbers
More informationApplying this to X = A n K it follows that Cl(U) = 0. So we get an exact sequence
3. Divisors on toric varieties We start with computing the class group of a toric variety. Recall that the class group is the group of Weil divisors modulo linear equivalence. We denote the class group
More informationAlgebraic KTheory of Ring Spectra (Lecture 19)
Algebraic KTheory of ing Spectra (Lecture 19) October 17, 2014 Let be an associative ring spectrum (here by associative we mean A or associative up to coherent homotopy; homotopy associativity is not
More informationCellular objects and Shelah s singular compactness theorem
Cellular objects and Shelah s singular compactness theorem Logic Colloquium 2015 Helsinki Tibor Beke 1 Jiří Rosický 2 1 University of Massachusetts tibor beke@uml.edu 2 Masaryk University Brno rosicky@math.muni.cz
More informationMathematics Course 111: Algebra I Part IV: Vector Spaces
Mathematics Course 111: Algebra I Part IV: Vector Spaces D. R. Wilkins Academic Year 19967 9 Vector Spaces A vector space over some field K is an algebraic structure consisting of a set V on which are
More informationBABY VERMA MODULES FOR RATIONAL CHEREDNIK ALGEBRAS
BABY VERMA MODULES FOR RATIONAL CHEREDNIK ALGEBRAS SETH SHELLEYABRAHAMSON Abstract. These are notes for a talk in the MITNortheastern Spring 2015 Geometric Representation Theory Seminar. The main source
More informationNotes on Localisation of gmodules
Notes on Localisation of gmodules Aron Heleodoro January 12, 2014 Let g be a semisimple Lie algebra over a field k. One is normally interested in representation of g, i.e. gmodules. If g were commutative,
More informationChapter 7. Homotopy. 7.1 Basic concepts of homotopy. Example: z dz. z dz = but
Chapter 7 Homotopy 7. Basic concepts of homotopy Example: but γ z dz = γ z dz γ 2 z dz γ 3 z dz. Why? The domain of /z is C 0}. We can deform γ continuously into γ 2 without leaving C 0}. Intuitively,
More informationFair testing vs. must testing in a fair setting
Fair testing vs. must testing in a fair setting Tom Hirschowitz and Damien Pous Amsterdam, Novembre 2010 Laboratoire de Mathématiques Université de Savoie UMR 5127 Tom Hirschowitz and Damien Pous Fair
More informationLecture Notes for the Summer School on Algebraic Geometry and Number Theory Galatasaray University, Istanbul, Turkey June 2 10, 2014
Lecture Notes for the Summer School on Algebraic Geometry and Number Theory Galatasaray University, Istanbul, Turkey June 2 10, 2014 INTRODUCTION TO SHEAVES LORING W. TU Introduced in the 1940s by Leray
More informationA SURVEY OF CATEGORICAL CONCEPTS
A SURVEY OF CATEGORICAL CONCEPTS EMILY RIEHL Abstract. This survey is intended as a concise introduction to the basic concepts, terminology, and, most importantly, philosophy of category theory by carefully
More informationFiber bundles and nonabelian cohomology
Fiber bundles and nonabelian cohomology Nicolas Addington April 22, 2007 Abstract The transition maps of a fiber bundle are often said to satisfy the cocycle condition. If we take this terminology seriously
More informationEXERCISES FOR THE COURSE MATH 570, FALL 2010
EXERCISES FOR THE COURSE MATH 570, FALL 2010 EYAL Z. GOREN (1) Let G be a group and H Z(G) a subgroup such that G/H is cyclic. Prove that G is abelian. Conclude that every group of order p 2 (p a prime
More informationCOHOMOLOGY OF GROUPS
Actes, Congrès intern. Math., 1970. Tome 2, p. 47 à 51. COHOMOLOGY OF GROUPS by Daniel QUILLEN * This is a report of research done at the Institute for Advanced Study the past year. It includes some general
More informationDIVISORS AND LINE BUNDLES
DIVISORS AND LINE BUNDLES TONY PERKINS 1. Cartier divisors An analytic hypersurface of M is a subset V M such that for each point x V there exists an open set U x M containing x and a holomorphic function
More informationKenji Matsuki and Martin Olsson
Mathematical Research Letters 12, 207 217 (2005) KAWAMATA VIEHWEG VANISHING AS KODAIRA VANISHING FOR STACKS Kenji Matsuki and Martin Olsson Abstract. We associate to a pair (X, D), consisting of a smooth
More informationarxiv:math/0402080v1 [math.nt] 5 Feb 2004
BIEXTENSIONS OF 1MOTIVES BY 1MOTIVES arxiv:math/0402080v1 [math.nt] 5 Feb 2004 CRISTIANA BERTOLIN Abstract. Let S be a scheme. In this paper, we define the notion of biextensions of 1motives by 1motives.
More informationREPRESENTATION THEORY WEEK 12
REPRESENTATION THEORY WEEK 12 1. Reflection functors Let Q be a quiver. We say a vertex i Q 0 is +admissible if all arrows containing i have i as a target. If all arrows containing i have i as a source,
More informationFUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES
FUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES CHRISTOPHER HEIL 1. Cosets and the Quotient Space Any vector space is an abelian group under the operation of vector addition. So, if you are have studied
More informationRIGIDITY OF HOLOMORPHIC MAPS BETWEEN FIBER SPACES
RIGIDITY OF HOLOMORPHIC MAPS BETWEEN FIBER SPACES GAUTAM BHARALI AND INDRANIL BISWAS Abstract. In the study of holomorphic maps, the term rigidity refers to certain types of results that give us very specific
More informationDerived categories of coherent sheaves and equivalences between them
Russian Math. Surveys 58:3 511 591 Uspekhi Mat. Nauk 58:3 89 172 c 2003 RAS(DoM) and LMS DOI 10.1070/RM2003v058n03ABEH000629 To the blessed memory of Andrei Nikolaevich Tyurin Derived categories of coherent
More informationLinear Maps. Isaiah Lankham, Bruno Nachtergaele, Anne Schilling (February 5, 2007)
MAT067 University of California, Davis Winter 2007 Linear Maps Isaiah Lankham, Bruno Nachtergaele, Anne Schilling (February 5, 2007) As we have discussed in the lecture on What is Linear Algebra? one of
More informationFinite dimensional topological vector spaces
Chapter 3 Finite dimensional topological vector spaces 3.1 Finite dimensional Hausdorff t.v.s. Let X be a vector space over the field K of real or complex numbers. We know from linear algebra that the
More informationMatrix Representations of Linear Transformations and Changes of Coordinates
Matrix Representations of Linear Transformations and Changes of Coordinates 01 Subspaces and Bases 011 Definitions A subspace V of R n is a subset of R n that contains the zero element and is closed under
More informationLecture 4 Cohomological operations on theories of rational type.
Lecture 4 Cohomological operations on theories of rational type. 4.1 Main Theorem The Main Result which permits to describe operations from a theory of rational type elsewhere is the following: Theorem
More informationGalois representations with open image
Galois representations with open image Ralph Greenberg University of Washington Seattle, Washington, USA May 7th, 2011 Introduction This talk will be about representations of the absolute Galois group
More informationGROUP ALGEBRAS. ANDREI YAFAEV
GROUP ALGEBRAS. ANDREI YAFAEV We will associate a certain algebra to a finite group and prove that it is semisimple. Then we will apply Wedderburn s theory to its study. Definition 0.1. Let G be a finite
More informationOn The Existence Of Flips
On The Existence Of Flips Hacon and McKernan s paper, arxiv alggeom/0507597 Brian Lehmann, February 2007 1 Introduction References: Hacon and McKernan s paper, as above. Kollár and Mori, Birational Geometry
More informationINTRODUCTION TO ALGEBRAIC GEOMETRY, CLASS 24
INTRODUCTION TO ALGEBRAIC GEOMETRY, CLASS 24 RAVI VAKIL Contents 1. Degree of a line bundle / invertible sheaf 1 1.1. Last time 1 1.2. New material 2 2. The sheaf of differentials of a nonsingular curve
More informationFundamental Groups of Schemes. Lei Yang
Fundamental Groups of Schemes Master thesis under the supervision of Jilong Tong Lei Yang Universite Bordeaux 1 Email address: lyang0176@gmailcom Chapter 1 Introduction 3 Chapter 2 Galois categories 5
More informationG S X ρ. id G ρ G S X
Chapter IV. Quotients by group schemes. When we work with group schemes the question naturally arises if constructions from group theory can also be carried out in the context of group schemes. For instance,
More informationDeformations of gerbes on smooth manifolds
Deformations of gerbes on smooth manifolds Paul Bressler, Alexander Gorokhovsky, Ryszard Nest, Boris Tsygan Abstract. We identify the 2groupoid of deformations of a gerbe on a C manifold with the Deligne
More informationContinued Fractions and the Euclidean Algorithm
Continued Fractions and the Euclidean Algorithm Lecture notes prepared for MATH 326, Spring 997 Department of Mathematics and Statistics University at Albany William F Hammond Table of Contents Introduction
More informationBUNDLES, CLASSIFYING SPACES AND CHARACTERISTIC CLASSES
BUNDLES, CLASSIFYING SPACES AND CHARACTERISTIC CLASSES CHRIS KOTTKE Contents Introduction 1 1. Bundles 2 1.1. Pullback 2 1.2. Sections 3 1.3. Fiber bundles as fibrations 4 2. Vector bundles 4 2.1. Whitney
More informationFIBRATION SEQUENCES AND PULLBACK SQUARES. Contents. 2. Connectivity and fiber sequences. 3
FIRTION SEQUENES ND PULLK SQURES RY MLKIEWIH bstract. We lay out some foundational facts about fibration sequences and pullback squares of topological spaces. We pay careful attention to connectivity ranges
More informationClassification of Fiber Bundles over the Riemann Sphere
Classification of Fiber Bundles over the Riemann Sphere João Pedro Correia Matias Dissertação para obtenção do Grau de Mestre em Matemática e Aplicações Júri Presidente: Professor Doutor Miguel Abreu Orientador:
More informationAnalytic cohomology groups in top degrees of Zariski open sets in P n
Analytic cohomology groups in top degrees of Zariski open sets in P n Gabriel Chiriacescu, Mihnea Colţoiu, Cezar Joiţa Dedicated to Professor Cabiria Andreian Cazacu on her 80 th birthday 1 Introduction
More informationMathematics for Computer Science
Mathematics for Computer Science Lecture 2: Functions and equinumerous sets Areces, Blackburn and Figueira TALARIS team INRIA Nancy Grand Est Contact: patrick.blackburn@loria.fr Course website: http://www.loria.fr/~blackbur/courses/math
More informationACTA UNIVERSITATIS APULENSIS No 15/2008 PRODUCTS OF MULTIALGEBRAS AND THEIR FUNDAMENTAL ALGEBRAS. Cosmin Pelea
ACTA UNIVERSITATIS APULENSIS No 15/2008 PRODUCTS OF MULTIALGEBRAS AND THEIR FUNDAMENTAL ALGEBRAS Cosmin Pelea Abstract. An important tool in the hyperstructure theory is the fundamental relation. The factorization
More informationIntroduction to Characteristic Classes
UNIVERSITY OF COPENHAGEN Faculty of Science Department of Mathematical Sciences Mauricio Esteban Gómez López Introduction to Characteristic Classes Supervisors: Jesper Michael Møller, Ryszard Nest 1 Abstract
More informationCONSEQUENCES OF THE SYLOW THEOREMS
CONSEQUENCES OF THE SYLOW THEOREMS KEITH CONRAD For a group theorist, Sylow s Theorem is such a basic tool, and so fundamental, that it is used almost without thinking, like breathing. Geoff Robinson 1.
More informationA numerable cover of a topological space X is one which possesses a partition of unity.
Chapter 1 I. Fibre Bundles 1.1 Definitions Definition 1.1.1 Let X be a topological space and let {U j } j J be an open cover of X. A partition of unity relative to the cover {U j } j J consists of a set
More informationA SURVEY OF ALGEBRAIC COBORDISM
A SURVEY OF ALGEBRAIC COBORDISM MARC LEVINE Abstract. This paper is based on the author s lecture at the ICM Satellite Conference in Algebra at Suzhou University, August 30September 2, 2002, describing
More informationFiber bundles. Chapter 23. c Amitabha Lahiri: Lecture Notes on Differential Geometry for Physicists 2011
Chapter 23 Fiber bundles Consider a manifold M with the tangent bundle T M = P M T P M. Let us look at this more closely. T M can be thought of as the original manifold M with a tangent space stuck at
More informationGroup Theory. Contents
Group Theory Contents Chapter 1: Review... 2 Chapter 2: Permutation Groups and Group Actions... 3 Orbits and Transitivity... 6 Specific Actions The Right regular and coset actions... 8 The Conjugation
More information88 CHAPTER 2. VECTOR FUNCTIONS. . First, we need to compute T (s). a By definition, r (s) T (s) = 1 a sin s a. sin s a, cos s a
88 CHAPTER. VECTOR FUNCTIONS.4 Curvature.4.1 Definitions and Examples The notion of curvature measures how sharply a curve bends. We would expect the curvature to be 0 for a straight line, to be very small
More information13 Infinite Sets. 13.1 Injections, Surjections, and Bijections. mcsftl 2010/9/8 0:40 page 379 #385
mcsftl 2010/9/8 0:40 page 379 #385 13 Infinite Sets So you might be wondering how much is there to say about an infinite set other than, well, it has an infinite number of elements. Of course, an infinite
More informationThe cover SU(2) SO(3) and related topics
The cover SU(2) SO(3) and related topics Iordan Ganev December 2011 Abstract The subgroup U of unit quaternions is isomorphic to SU(2) and is a double cover of SO(3). This allows a simple computation of
More informationChapter 7: Products and quotients
Chapter 7: Products and quotients Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 42, Spring 24 M. Macauley (Clemson) Chapter 7: Products
More informationLecture 16 : Relations and Functions DRAFT
CS/Math 240: Introduction to Discrete Mathematics 3/29/2011 Lecture 16 : Relations and Functions Instructor: Dieter van Melkebeek Scribe: Dalibor Zelený DRAFT In Lecture 3, we described a correspondence
More informationOn the Classification of Topological Field Theories (Draft)
On the Classification of Topological Field Theories (Draft) Jacob Lurie May 10, 2009 Our goal in this article is to give an expository account of some recent work on the classification of topological field
More informationMathematical Research Letters 1, 249 255 (1994) MAPPING CLASS GROUPS ARE AUTOMATIC. Lee Mosher
Mathematical Research Letters 1, 249 255 (1994) MAPPING CLASS GROUPS ARE AUTOMATIC Lee Mosher Let S be a compact surface, possibly with the extra structure of an orientation or a finite set of distinguished
More information3. Prime and maximal ideals. 3.1. Definitions and Examples.
COMMUTATIVE ALGEBRA 5 3.1. Definitions and Examples. 3. Prime and maximal ideals Definition. An ideal P in a ring A is called prime if P A and if for every pair x, y of elements in A\P we have xy P. Equivalently,
More informationTOPOLOGY: THE JOURNEY INTO SEPARATION AXIOMS
TOPOLOGY: THE JOURNEY INTO SEPARATION AXIOMS VIPUL NAIK Abstract. In this journey, we are going to explore the so called separation axioms in greater detail. We shall try to understand how these axioms
More informationarxiv: v2 [math.ag] 10 Jul 2011
DEGREE FORMULA FOR THE EULER CHARACTERISTIC OLIVIER HAUTION arxiv:1103.4076v2 [math.ag] 10 Jul 2011 Abstract. We give a proof of the degree formula for the Euler characteristic previously obtained by Kirill
More informationMathematische Zeitschrift
Math. Z. (212 27:871 887 DOI 1.17/s291832 Mathematische Zeitschrift Modular properties of nodal curves on K3 surfaces Mihai Halic Received: 25 April 21 / Accepted: 28 November 21 / Published online:
More informationBhargava s cube law and cohomology
and cohomology Wouter Zomervrucht Diamant symposium, May 27, 2016 Universiteit Leiden & Freie Universität Berlin History Binary quadratic forms Class groups Wouter Zomervrucht and cohomology 2/22 History
More informationI. GROUPS: BASIC DEFINITIONS AND EXAMPLES
I GROUPS: BASIC DEFINITIONS AND EXAMPLES Definition 1: An operation on a set G is a function : G G G Definition 2: A group is a set G which is equipped with an operation and a special element e G, called
More informationBasic theory of group schemes.
Chapter III. Basic theory of group schemes. As we have seen in the previous chapter, group schemes come naturally into play in the study of abelian varieties. For example, if we look at kernels of homomorphisms
More informationTable of Contents. Introduction... 1 Chapter 1. Vector Bundles... 4. Chapter 2. K Theory... 38. Chapter 3. Characteristic Classes...
Table of Contents Introduction.............................. 1 Chapter 1. Vector Bundles.................... 4 1.1. Basic Definitions and Constructions............ 6 Sections 7. Direct Sums 9. Inner Products
More informationA NOTE ON TRIVIAL FIBRATIONS
A NOTE ON TRIVIAL FIBRATIONS Petar Pavešić Fakulteta za Matematiko in Fiziko, Univerza v Ljubljani, Jadranska 19, 1111 Ljubljana, Slovenija petar.pavesic@fmf.unilj.si Abstract We study the conditions
More informationINTRODUCTION TO ALGEBRAIC GEOMETRY, CLASS 16
INTRODUCTION TO ALGEBRAIC GEOMETRY, CLASS 16 RAVI VAKIL Contents 1. Valuation rings (and nonsingular points of curves) 1 1.1. Completions 2 1.2. A big result from commutative algebra 3 Problem sets back.
More information5. Linear algebra I: dimension
5. Linear algebra I: dimension 5.1 Some simple results 5.2 Bases and dimension 5.3 Homomorphisms and dimension 1. Some simple results Several observations should be made. Once stated explicitly, the proofs
More information8.1 Examples, definitions, and basic properties
8 De Rham cohomology Last updated: May 21, 211. 8.1 Examples, definitions, and basic properties A kform ω Ω k (M) is closed if dω =. It is exact if there is a (k 1)form σ Ω k 1 (M) such that dσ = ω.
More informationSets of Fibre Homotopy Classes and Twisted Order Parameter Spaces
Communications in Mathematical Physics ManuscriptNr. (will be inserted by hand later) Sets of Fibre Homotopy Classes and Twisted Order Parameter Spaces Stefan BechtluftSachs, Marco Hien Naturwissenschaftliche
More informationIntroduction to Topology
Introduction to Topology Tomoo Matsumura November 30, 2010 Contents 1 Topological spaces 3 1.1 Basis of a Topology......................................... 3 1.2 Comparing Topologies.......................................
More informationMA651 Topology. Lecture 6. Separation Axioms.
MA651 Topology. Lecture 6. Separation Axioms. This text is based on the following books: Fundamental concepts of topology by Peter O Neil Elements of Mathematics: General Topology by Nicolas Bourbaki Counterexamples
More informationA Topology Primer. Preface. Lecture Notes 2001/2002. Klaus Wirthmüller. http://www.mathematik.unikl.de/ wirthm/de/top.html
A Topology Primer Lecture Notes 2001/2002 Klaus Wirthmüller http://www.mathematik.unikl.de/ wirthm/de/top.html Preface These lecture notes were written to accompany my introductory courses of topology
More informationVector Spaces II: Finite Dimensional Linear Algebra 1
John Nachbar September 2, 2014 Vector Spaces II: Finite Dimensional Linear Algebra 1 1 Definitions and Basic Theorems. For basic properties and notation for R N, see the notes Vector Spaces I. Definition
More informationCLUSTER ALGEBRAS AND CATEGORIFICATION TALKS: QUIVERS AND AUSLANDERREITEN THEORY
CLUSTER ALGEBRAS AND CATEGORIFICATION TALKS: QUIVERS AND AUSLANDERREITEN THEORY ANDREW T. CARROLL Notes for this talk come primarily from two sources: M. Barot, ICTP Notes Representations of Quivers,
More informationMath 504, Fall 2013 HW 3
Math 504, Fall 013 HW 3 1. Let F = F (x) be the field of rational functions over the field of order. Show that the extension K = F(x 1/6 ) of F is equal to F( x, x 1/3 ). Show that F(x 1/3 ) is separable
More informationApplications of Methods of Proof
CHAPTER 4 Applications of Methods of Proof 1. Set Operations 1.1. Set Operations. The settheoretic operations, intersection, union, and complementation, defined in Chapter 1.1 Introduction to Sets are
More informationCONNECTIONS ON PRINCIPAL GBUNDLES
CONNECTIONS ON PRINCIPAL GBUNDLES RAHUL SHAH Abstract. We will describe connections on principal Gbundles via two perspectives: that of distributions and that of connection 1forms. We will show that
More informationALGORITHMS FOR ALGEBRAIC CURVES
ALGORITHMS FOR ALGEBRAIC CURVES SUMMARY OF LECTURE 4 1. SCHOOF S ALGORITHM Let K be a finite field with q elements. Let p be its characteristic. Let X be an elliptic curve over K. To simplify we assume
More informationLet H and J be as in the above lemma. The result of the lemma shows that the integral
Let and be as in the above lemma. The result of the lemma shows that the integral ( f(x, y)dy) dx is well defined; we denote it by f(x, y)dydx. By symmetry, also the integral ( f(x, y)dx) dy is well defined;
More informationClassification of Bundles
CHAPTER 2 Classification of Bundles In this chapter we prove Steenrod s classification theorem of principal G  bundles, and the corresponding classification theorem of vector bundles. This theorem states
More informationGalois Theory III. 3.1. Splitting fields.
Galois Theory III. 3.1. Splitting fields. We know how to construct a field extension L of a given field K where a given irreducible polynomial P (X) K[X] has a root. We need a field extension of K where
More informationChapter 10. Abstract algebra
Chapter 10. Abstract algebra C.O.S. Sorzano Biomedical Engineering December 17, 2013 10. Abstract algebra December 17, 2013 1 / 62 Outline 10 Abstract algebra Sets Relations and functions Partitions and
More informationIntroduction to CATEGORY THEORY and CATEGORICAL LOGIC
Introduction to CATEGORY THEORY and CATEGORICAL LOGIC Thomas Streicher SS 03 and WS 03/04 Contents 1 Categories 5 2 Functors and Natural Transformations 9 3 Subcategories, Full and Faithful Functors, Equivalences
More informationFINITE DIMENSIONAL ORDERED VECTOR SPACES WITH RIESZ INTERPOLATION AND EFFROSSHEN S UNIMODULARITY CONJECTURE AARON TIKUISIS
FINITE DIMENSIONAL ORDERED VECTOR SPACES WITH RIESZ INTERPOLATION AND EFFROSSHEN S UNIMODULARITY CONJECTURE AARON TIKUISIS Abstract. It is shown that, for any field F R, any ordered vector space structure
More informationParametric Domaintheoretic models of Linear Abadi & Plotkin Logic
Parametric Domaintheoretic models of Linear Abadi & Plotkin Logic Lars Birkedal Rasmus Ejlers Møgelberg Rasmus Lerchedahl Petersen IT University Technical Report Series TR007 ISSN 600 600 February 00
More informationMATH 4330/5330, Fourier Analysis Section 11, The Discrete Fourier Transform
MATH 433/533, Fourier Analysis Section 11, The Discrete Fourier Transform Now, instead of considering functions defined on a continuous domain, like the interval [, 1) or the whole real line R, we wish
More informationEVALUATION FIBER SEQUENCE AND HOMOTOPY COMMUTATIVITY MITSUNOBU TSUTAYA
EVALUATION FIBER SEQUENCE AND HOMOTOPY COMMUTATIVITY MITSUNOBU TSUTAYA Abstract. We review the relation between the evaluation fiber sequence of mapping spaces and the various higher homotopy commutativities.
More informationThe Tangent Bundle. Jimmie Lawson Department of Mathematics Louisiana State University. Spring, 2006
The Tangent Bundle Jimmie Lawson Department of Mathematics Louisiana State University Spring, 2006 1 The Tangent Bundle on R n The tangent bundle gives a manifold structure to the set of tangent vectors
More information