1 Recall. Algebraic Groups Seminar Andrei Frimu Talk 4: Cartier Duality
|
|
- Kellie Gordon
- 6 years ago
- Views:
Transcription
1 1 ecall Assume we have a locally small category C which admits finite products and has a final object, i.e. an object so that for every Z Ob(C), there exists a unique morphism Z. Note that two morphisms f, g Z G can then be identified uniquely with a morphism (f, g) : Z. Definition. A commutative group object in C is a pair consisting of an object G Ob(C) and a morphism : G such that for every object Z Ob(C), the map Mor(Z, G) Mor(Z, G) Mor(Z, G) sending (g, g ) (g, g ) defines a commutative group. There is an alternate description of commutative group objects which sheds more light on what associativity, commutativity, existence of identity and inverses means. Before we state the proposition, note that the existence of products implies the existence of a morphism σ : interchanging the two factors. Proposition. An object G Ob(C) and a morphism G constitute a commutative group object in C if and only if the following properties hold: Associativity: The following diagram is commutative: G id id G. Commutativity: The following diagram is commutative: G σ Identity element: There exists a morphism e : G such that the following diagram commutes G e id pr 2 G Inverses: There exists a morphism i : G G such that the following diagram commutes id i G diag e G where e is the morphism from the previous bullet point. 1
2 2 Affine Group Schemes Let ings be the category of commutative noetherian rings with 1. The morphisms of this category are ring homomorphisms preserving the identity. ecall that there is an (anti-)equivalence of categories between ings and the category Aff.Sch of affine schemes. ecall that an object A of ings together with a morphism A constitutes a unitary -algebra. Note that since A is a ring and the multiplication A A A is -bilinear, it induces an -module homomorphism : A A A as follows A A A A A This allows us to (equivalently) view a unitary -algebra A as an -module with two homomorphisms of -modules e A A A, satisfying (a a ) = (a a) (corresponding to multiplication in A being commutative) and (a (a a )) = ((a a ) a ) (corresponding to multiplication in A being associative) and (e(1) a) = a (corresponding to a e(1) = a). Denote the category of -algebras by -Alg. Then the (anti-)equivalence of categories ings and Aff.Sch restricts to an (anti-)equivalence of categories -Alg and Aff. -Sch. Definition. An affine commutative group scheme over Spec is a commutative group object in the category of affine schemes over Spec. Let G = Spec A be an affine commutative scheme over Spec. Then in particular A is a unitary -algebra. Combining the categorical definitions for unitary -algebras and commutative group object, we obtain the following diagram of -module homomorphisms: ɛ e A A A, m i The axioms satisfied by all the morphisms above turn A into a Hopf -algebra. Definition. A homomorphism of group schemes Φ : G H over Spec is a morphism in Aff. -Sch, such that the induced morphism Mor(Z, G) Mor(Z, H) is a homomorphism of groups for all Z Ob(Aff. -Sch). If G = Spec A and H = Spec B, this morphism corresponds to a homomorphism of -modules φ : B A such 2
3 that the following diagram commutes: ɛ A A A A A e A m A id i A φ φ φ ɛ B B B B B. e B m B i B Definition. The sum of two homomorphisms Φ, Ψ : G H is defined by the commutative diagram G diag Φ+Ψ H H Φ Φ H H 3 n,k and α p, Let s step aside from the course of the notes to define two objects of interest later. ecall that the multiplicative group over k is G m,k def = Spec k[t, T 1 ]. This is a group scheme, with co-multiplication m : k[t, T 1 ] k[t 1, T 1 1 ] k k[t 2, T 1 2 ] given by T T 1 T 2. Consider the homomorphism n id : G m,k G m,k induced by the map (on rings) k[t, T 1 ] k[t, T 1 ] sending t t n. We are interested in the fiber produce n,k = G m,k Gm,k Spec k in the diagram G m,k n id G m,k n,k Spec k where the map Spec k G m,k is induced from k[s, S 1 ] k sending S 1. For affine schemes, fiber products correspond to the tensor product of the corresponding rings, implying that n,k = Spec A, where A = k[t, T 1 ] k[s,s 1 ] k. Using T n 1 = S(1 1) = 1 S = 1 1, one concludes that A = k[t ]/(T n 1), hence n,k = Spec k[t ]/(T n 1). This is a group scheme with comultiplication m sending, just like for G m,k (but in different rings) T T 1 T 2. The other object we introduce is α n, = Spec [T ]/(T n ). This is a group scheme with comultiplication m : [T ]/(T n ) [T 1 ]/(T1 n ) [T 2 ]/(T2 n ) given by m(t ) = T T 2. Note that over a field of positive characteristic p, with n = p s, we have T ps 1 = (T 1) ps, and hence p s,k Spec k[u]/(u ps ) α p s,k, where we identified U = T 1. As a particular case, notice that we have established p,k α p,k as schemes over k. By the end of the lecture, we shall see that p,k and α p,k are not isomorphic in the category of affine commutative finite flat group schemes over Spec k. 3
4 4 Cartier Duality Assume now that G = Spec A is a group scheme, finite and flat over (i.e. that A is a locally free, finitelygenerated -module). Let A def = Hom (A, ) be the -dual of A. One can check that if we dualize the diagram following the definition of an affine commutative group scheme, one obtains the following diagram, under the identifications = and (A A) = A A : e ɛ A A A. i m The morphisms e, m,, ɛ and i satisfy the axioms of a cocommutative Hopf algebra with antipodism, and therefore G def = Spec A is an affine commutative finite flat group scheme over Spec. Definition. G is called the Cartier dual of G. If we have homomorphism Φ : G H of affine commutative finite flat group schemes over Spec corresponding to a homomorphism φ : B A, then φ induces φ : A B and thus a homomorphism of group schemes H G. Hence Cartier duality gives a contravariant functor from the category of affine group schemes to itself. This functor is additive, i.e. given Ψ, Φ : G H, then (Ψ + Φ) = Ψ + Φ. 5 Constant Group Schemes Let G be an additive finite abelian group. We want to exhibit a finite commutative group scheme associated to G. For that we take the disjoint union of G copies of the final object Spec = in the category of affine schemes over Spec. Let G (standard notation for group schemes) be G = Spec. g G Notation: Write (Spec ) g = Spec for the g-component of G. Exercise: Why is this a scheme over Spec? What is the unique morphism to the terminal object Spec? Exercise: G is finite and flat over Spec. As written, it is not obvious that this is a commutative group scheme over Spec. For that, note first that G G Spec. g,g G This follows from the fact that the product of two disjoint unions X = X α and Y = Y β of -schemes is the disjoint union of the products X α Y β (EGA, I.3.2.8) and from (Spec Spec ) Spec (EGA Chapter I.3.2.2). Define then the morphism : G by sending the component (Spec ) g,g of G G to the (Spec ) g+g component of G. 4
5 Exercise: The scheme G and the morphism define a commutative group scheme over Spec. The scheme G is also called the constant group scheme over with fiber G. Lemma. Let G def = {f : G f is a map of sets}. This is a ring, with addition and multiplication defined componentwise. The zero and the identity are the constant maps with value 0, respectively 1. Then G Spec( G ). Proof. This follows by induction from EGA I However, as it is necessary in the subsequent discussion, we can describe the isomorphisms between the two sides in the following way: As a convenience of notation, let g be a copy of the ring, and assume the g-component of G is (Spec ) g = Spec g. For every such component we have a morphism Spec g Spec( G ) induced by the ring homomorphism G g sending f to f(g) = g. This then induces a morphism φ : G Spec( G ). Conversely, we have a morphism ψ : Spec( G ) G, induced by the ring homomorphisms g G sending an element r = g to the map f : G satisfying f(g) = r and f(g ) = 0 for g g. Exercise: φ and ψ are isomorphisms, inverse to each other. In particular G r G r is Spec( G G ) and thus the map G G G is induced by the the comultiplication map m : G G G G G. Let s explicitly define this map. Let f G. From the map on components G G G defined above, one can deduce that m(f) is the map of G G sending (g, g ) to f(g + g ). The counit G is defined by ɛ(f) = f(0). The coinverse i : G G is, as expected, the map sending g f( g). Consider now the canonical basis {e g } of G given by e g : G such that e g (g) = 1 and e g (g ) = 0 for g g. Using the above, one can check that we have (e g e g ) = (e g if g = g ) and (0 otherwise) ɛ(e g ) = (1 if g = 0) and (0 otherwise) e(1) = e g g G m(e g ) = e g e g g g G i(e g ) = e g. To see what the Cartier dual of G is, let (ê g ) g G be the basis of ( G ) dual to the above basis, i.e. ê g (g ) = 1 5
6 if g = g and 0 if g g. Then the dual maps are given by (ê g ) = ê g ê g ɛ (1) = ê 0 e (ê g ) = 1 m (ê g ê g ) = ê g+g i (ê g ) = ê g. Proposition. The formulas for m and ɛ show that ( G ) is isomorphic to the group [G] as an -algebra, such that e corresponds to the usual augmentation map [G]. Example 1: G = Z/nZ Denote X def = ê 1. Then ( G ) [G] = [Z/nZ] = [X]/(X n 1). The comultiplication : ( G ) ( G ) ( G ) is (X) = X X, which we note is the same as what holds for n,. Thus (Z/nZ) n,. Dual of α p, : Assume has characteristic p and let A = [T ]/(T p ). ecall α p, = Spec A is a group scheme with comultiplication m(t ) = T T. Let e i be the basis (T i ) 0 i<p. Then we have (T i T j ) = (T i+j if i + j < p) and (0 otherwise) ɛ(t i ) = (1 if i = 0) and (0 otherwise) e(1) = T 0 m(t i ) = 0 j i i(t i ) = ( 1) i T i. ( ) i T i T i j j If {u i } is the dual basis of A. Then one can check that the -linear map A A sending u i to T i /i! is an isomorphism of Hopf algebras, and therefore (α p, ) α p,. We finish the talk with the following Proposition. Let k be any field with char k = p > 0. The the group schemes Z/pZ k, p,k and α p,k are pairwise non-isomorphic. Proof. The group scheme Z/pZ is isomorphic to Spec k p, so it is a reduced scheme, while p,k = Spec k[t ]/(T p k 1) and α p,k = Spec k[t ]/(T p ) are non-reduced, so they are distinct. As we have seen before p,k and α p,k are isomorphic as schemes. However as affine group schemes, they are not, for their Cartier duals are different from the previous two examples. 6
7 Bibliography [1] Finite Group Schemes, ichard Pink, CompleteNotes.pdf [2] Modular Forms and Fermat s Last Theorem, Chapter V, Finite Group Schemes 7
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 informationFALTINGS SEMINAR TALK. (rf)(a) = rf(a) = f(ra)
FALTINGS SEMINAR TALK SIMON RUBINSTEIN-SALZEDO 1. Cartier duality Let R be a commutative ring, and let G = Spec A be a commutative group scheme, where A is a finite flat algebra over R. Let A = Hom R mod
More informationFinite group schemes
Finite group schemes Johan M. Commelin October 27, 2014 Contents 1 References 1 2 Examples 2 2.1 Examples we have seen before.................... 2 2.2 Constant group schemes....................... 3 2.3
More informationMATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA
MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA These are notes for our first unit on the algebraic side of homological algebra. While this is the last topic (Chap XX) in the book, it makes sense to
More informationTHE QUANTUM DOUBLE AS A HOPF ALGEBRA
THE QUANTUM DOUBLE AS A HOPF ALGEBRA In this text we discuss the generalized quantum double construction. treatment of the results described without proofs in [2, Chpt. 3, 3]. We give several exercises
More informationp-divisible Groups Overview
p-divisible Groups V5A4 Selected Topics in Algebraic Geometry p-adic Hodge theory Masters lecture course, Universität Bonn, Winter Semester 2015/16, Wednesday 16.00 18.00, Seminar room 0.007 http://www.math.uni-bonn.de/people/morrow/ws1516/index.html
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 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 informationSupplement 2 to the paper Floating bundles and their applications
ariv:math/0104052v1 [math.at] 4 Apr 2001 Supplement 2 to the paper Floating bundles and their applications A.V. Ershov This paper is the supplement to the section 2 of the paper Floating bundles and their
More informationALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 9: SCHEMES AND THEIR MODULES.
ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 9: SCHEMES AND THEIR MODULES. ANDREW SALCH 1. Affine schemes. About notation: I am in the habit of writing f (U) instead of f 1 (U) for the preimage of a subset
More information2-DIMENSIONAL TOPOLOGICAL QUANTUM FIELD THEORIES AND FROBENIUS ALGEBRAS. Contents 1. The main theorem 1
2-DIMENSIONL TOPOLOGICL QUNTUM FIELD THEORIES ND FROBENIUS LGEBRS CROLINE TERRY bstract. Category theory provides a more abstract and thus more general setting for considering the structure of mathematical
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 informationIND-COHERENT SHEAVES AND SERRE DUALITY II. 1. Introduction
IND-COHERENT SHEAVES AND SERRE DUALITY II 1. Introduction Let X be a smooth projective variety over a field k of dimension n. Let V be a vector bundle on X. In this case, we have an isomorphism H i (X,
More informationand this makes M into an R-module by (1.2). 2
1. Modules Definition 1.1. Let R be a commutative ring. A module over R is set M together with a binary operation, denoted +, which makes M into an abelian group, with 0 as the identity element, together
More informationLectures on Galois Theory. Some steps of generalizations
= Introduction Lectures on Galois Theory. Some steps of generalizations Journée Galois UNICAMP 2011bis, ter Ubatuba?=== Content: Introduction I want to present you Galois theory in the more general frame
More informationCohomology and Base Change
Cohomology and Base Change Let A and B be abelian categories and T : A B and additive functor. We say T is half-exact if whenever 0 M M M 0 is an exact sequence of A-modules, the sequence T (M ) T (M)
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 informationRaynaud on F -vector schemes and prolongation
Raynaud on F -vector schemes and prolongation Melanie Matchett Wood November 7, 2010 1 Introduction and Motivation Given a finite, flat commutative group scheme G killed by p over R of mixed characteristic
More informationPROBLEMS, MATH 214A. Affine and quasi-affine varieties
PROBLEMS, MATH 214A k is an algebraically closed field Basic notions Affine and quasi-affine varieties 1. Let X A 2 be defined by x 2 + y 2 = 1 and x = 1. Find the ideal I(X). 2. Prove that the subset
More informationCATEGORICAL GROTHENDIECK RINGS AND PICARD GROUPS. Contents. 1. The ring K(R) and the group Pic(R)
CATEGORICAL GROTHENDIECK RINGS AND PICARD GROUPS J. P. MAY Contents 1. The ring K(R) and the group Pic(R) 1 2. Symmetric monoidal categories, K(C), and Pic(C) 2 3. The unit endomorphism ring R(C ) 5 4.
More informationSerre A -functors. Oleksandr Manzyuk. joint work with Volodymyr Lyubashenko. math.ct/ Notation. 1. Preliminaries on A -categories
Serre A -functors Oleksandr Manzyuk joint work with Volodymyr Lyubashenko math.ct/0701165 0. Notation 1. Preliminaries on A -categories 2. Serre functors 3. Serre A -functors 0. Notation k denotes a (ground)
More informationINTRO TO TENSOR PRODUCTS MATH 250B
INTRO TO TENSOR PRODUCTS MATH 250B ADAM TOPAZ 1. Definition of the Tensor Product Throughout this note, A will denote a commutative ring. Let M, N be two A-modules. For a third A-module Z, consider the
More informationIndCoh Seminar: Ind-coherent sheaves I
IndCoh Seminar: Ind-coherent sheaves I Justin Campbell March 11, 2016 1 Finiteness conditions 1.1 Fix a cocomplete category C (as usual category means -category ). This section contains a discussion of
More informationMATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA 23
MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA 23 6.4. Homotopy uniqueness of projective resolutions. Here I proved that the projective resolution of any R-module (or any object of an abelian category
More informationDe Rham Cohomology. Smooth singular cochains. (Hatcher, 2.1)
II. De Rham Cohomology There is an obvious similarity between the condition d o q 1 d q = 0 for the differentials in a singular chain complex and the condition d[q] o d[q 1] = 0 which is satisfied by the
More informationCategories and functors
Lecture 1 Categories and functors Definition 1.1 A category A consists of a collection ob(a) (whose elements are called the objects of A) for each A, B ob(a), a collection A(A, B) (whose elements are called
More informationBoolean Algebras, Boolean Rings and Stone s Representation Theorem
Boolean Algebras, Boolean Rings and Stone s Representation Theorem Hongtaek Jung December 27, 2017 Abstract This is a part of a supplementary note for a Logic and Set Theory course. The main goal is to
More informationThe Universal Coefficient Theorem
The Universal Coefficient Theorem Renzo s math 571 The Universal Coefficient Theorem relates homology and cohomology. It describes the k-th cohomology group with coefficients in a(n abelian) group G in
More informationNOTES ON CARTIER DUALITY
NOTES ON CARTIER DUALITY Let k be a commutative ring with, and let G = SpecA be a commutative finite locally free group scheme over k. We have the following k-linear maps unity i: k A, multiplication m:
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 informationDirect Limits. Mathematics 683, Fall 2013
Direct Limits Mathematics 683, Fall 2013 In this note we define direct limits and prove their basic properties. This notion is important in various places in algebra. In particular, in algebraic geometry
More informationSymbol Index Group GermAnal Ring AbMonoid
Symbol Index 409 Symbol Index Symbols of standard and uncontroversial usage are generally not included here. As in the word index, boldface page-numbers indicate pages where definitions are given. If a
More informationLecture 6: Etale Fundamental Group
Lecture 6: Etale Fundamental Group October 5, 2014 1 Review of the topological fundamental group and covering spaces 1.1 Topological fundamental group Suppose X is a path-connected topological space, and
More informationFrobenius Green functors
UC at Santa Cruz Algebra & Number Theory Seminar 30th April 2014 Topological Motivation: Morava K-theory and finite groups For each prime p and each natural number n there is a 2-periodic multiplicative
More informationCombinatorial Dyson-Schwinger equations and systems I Feynma. Feynman graphs, rooted trees and combinatorial Dyson-Schwinger equations
Combinatorial and systems I, rooted trees and combinatorial Potsdam November 2013 Combinatorial and systems I Feynma In QFT, one studies the behaviour of particles in a quantum fields. Several types of
More informationne varieties (continued)
Chapter 2 A ne varieties (continued) 2.1 Products For some problems its not very natural to restrict to irreducible varieties. So we broaden the previous story. Given an a ne algebraic set X A n k, we
More informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More 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 informationMatrix factorisations
28.08.2013 Outline Main Theorem (Eisenbud) Let R = S/(f ) be a hypersurface. Then MCM(R) MF S (f ) Survey of the talk: 1 Define hypersurfaces. Explain, why they fit in our setting. 2 Define. Prove, that
More informationn P say, then (X A Y ) P
COMMUTATIVE ALGEBRA 35 7.2. The Picard group of a ring. Definition. A line bundle over a ring A is a finitely generated projective A-module such that the rank function Spec A N is constant with value 1.
More informationGeometric deformation functors for p-divisible groups. Pietro Ploner
Geometric deformation functors for p-divisible groups Pietro Ploner 2 Contents 1 Deformation Theory 7 1.1 The absolute Galois group of a number field............ 7 1.2 The general representation setting.................
More informationThe Segre Embedding. Daniel Murfet May 16, 2006
The Segre Embedding Daniel Murfet May 16, 2006 Throughout this note all rings are commutative, and A is a fixed ring. If S, T are graded A-algebras then the tensor product S A T becomes a graded A-algebra
More informationHomotopy-theory techniques in commutative algebra
Homotopy-theory techniques in commutative algebra Department of Mathematical Sciences Kent State University 09 January 2007 Departmental Colloquium Joint with Lars W. Christensen arxiv: math.ac/0612301
More informationMATH 101A: ALGEBRA I PART C: TENSOR PRODUCT AND MULTILINEAR ALGEBRA. This is the title page for the notes on tensor products and multilinear algebra.
MATH 101A: ALGEBRA I PART C: TENSOR PRODUCT AND MULTILINEAR ALGEBRA This is the title page for the notes on tensor products and multilinear algebra. Contents 1. Bilinear forms and quadratic forms 1 1.1.
More informationCategorical quantum mechanics
Categorical quantum mechanics Chris Heunen 1 / 76 Categorical Quantum Mechanics? Study of compositional nature of (physical) systems Primitive notion: forming compound systems 2 / 76 Categorical Quantum
More informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More informationCourse 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra
Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................
More informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More informationINTRODUCTION TO FINITE GROUP SCHEMES
INTRODUCTION TO FINITE GROUP SCHEMES Contents 1. Tate s theorem 2 Exercises 5 2. Introduction to group schemes 5 Definition (as a functor) 6 Definition (as a group object) 6 Examples of group schemes 8
More informationDieudonné modules, part I: a study of primitively generated Hopf algebras
Dieudonné modules, part I: a study of primitively generated Hopf algebras Alan Koch Agnes Scott College May 23, 2016 Alan Koch (Agnes Scott College) 1 / 58 Outline 1 Overview 2 Primitive Elements 3 A Dieudonné
More informationThus we get. ρj. Nρj i = δ D(i),j.
1.51. The distinguished invertible object. Let C be a finite tensor category with classes of simple objects labeled by a set I. Since duals to projective objects are projective, we can define a map D :
More informationFactorization of birational maps for qe schemes in characteristic 0
Factorization of birational maps for qe schemes in characteristic 0 AMS special session on Algebraic Geometry joint work with M. Temkin (Hebrew University) Dan Abramovich Brown University October 24, 2014
More informationDEFINITIONS: OPERADS, ALGEBRAS AND MODULES. Let S be a symmetric monoidal category with product and unit object κ.
DEFINITIONS: OPERADS, ALGEBRAS AND MODULES J. P. MAY Let S be a symmetric monoidal category with product and unit object κ. Definition 1. An operad C in S consists of objects C (j), j 0, a unit map η :
More informationPushouts, Pullbacks and Their Properties
Pushouts, Pullbacks and Their Properties Joonwon Choi Abstract Graph rewriting has numerous applications, such as software engineering and biology techniques. This technique is theoretically based on pushouts
More informationSystems of linear equations. We start with some linear algebra. Let K be a field. We consider a system of linear homogeneous equations over K,
Systems of linear equations We start with some linear algebra. Let K be a field. We consider a system of linear homogeneous equations over K, f 11 t 1 +... + f 1n t n = 0, f 21 t 1 +... + f 2n t n = 0,.
More informationABSTRACT DIFFERENTIAL GEOMETRY VIA SHEAF THEORY
ABSTRACT DIFFERENTIAL GEOMETRY VIA SHEAF THEORY ARDA H. DEMIRHAN Abstract. We examine the conditions for uniqueness of differentials in the abstract setting of differential geometry. Then we ll come up
More informationwhich is a group homomorphism, such that if W V U, then
4. Sheaves Definition 4.1. Let X be a topological space. A presheaf of groups F on X is a a function which assigns to every open set U X a group F(U) and to every inclusion V U a restriction map, ρ UV
More informationDual Adjunctions Between Algebras and Coalgebras
Dual Adjunctions Between Algebras and Coalgebras Hans E. Porst Department of Mathematics University of Bremen, 28359 Bremen, Germany porst@math.uni-bremen.de Abstract It is shown that the dual algebra
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 informationREPRESENTATION THEORY, LECTURE 0. BASICS
REPRESENTATION THEORY, LECTURE 0. BASICS IVAN LOSEV Introduction The aim of this lecture is to recall some standard basic things about the representation theory of finite dimensional algebras and finite
More informationDecompositions of Modules and Comodules
Decompositions of Modules and Comodules Robert Wisbauer University of Düsseldorf, Germany Abstract It is well-known that any semiperfect A ring has a decomposition as a direct sum (product) of indecomposable
More informationLecture 4 Super Lie groups
Lecture 4 Super Lie groups In this lecture we want to take a closer look to supermanifolds with a group structure: Lie supergroups or super Lie groups. As in the ordinary setting, a super Lie group is
More informationFUNCTORS AND ADJUNCTIONS. 1. Functors
FUNCTORS AND ADJUNCTIONS Abstract. Graphs, quivers, natural transformations, adjunctions, Galois connections, Galois theory. 1.1. Graph maps. 1. Functors 1.1.1. Quivers. Quivers generalize directed graphs,
More informationSpring 2016, lecture notes by Maksym Fedorchuk 51
Spring 2016, lecture notes by Maksym Fedorchuk 51 10.2. Problem Set 2 Solution Problem. Prove the following statements. (1) The nilradical of a ring R is the intersection of all prime ideals of R. (2)
More informationNOTES ON TATE S p-divisible GROUPS. 1. Statement of purpose The aim here is simply to provide some details to some of the proofs in Tate s paper [T].
NOTES ON TATE S p-divisible GROUPS THOMAS J. HAINES 1. Statement of purpose The aim here is simply to provide some details to some of the proofs in Tate s paper [T]. 2. Tate s Section 2.2 2.1. Lemmas about
More information9 Direct products, direct sums, and free abelian groups
9 Direct products, direct sums, and free abelian groups 9.1 Definition. A direct product of a family of groups {G i } i I is a group i I G i defined as follows. As a set i I G i is the cartesian product
More informationCategory O and its basic properties
Category O and its basic properties Daniil Kalinov 1 Definitions Let g denote a semisimple Lie algebra over C with fixed Cartan and Borel subalgebras h b g. Define n = α>0 g α, n = α
More informationCOURSE NOTES: HOMOLOGICAL ALGEBRA
COURSE NOTES: HOMOLOGICAL ALGEBRA AMNON YEKUTIELI Contents 1. Introduction 1 2. Categories 2 3. Free Modules 13 4. Functors 18 5. Natural Transformations 23 6. Equivalence of Categories 29 7. Opposite
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 25
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 25 RAVI VAKIL CONTENTS 1. Quasicoherent sheaves 1 2. Quasicoherent sheaves form an abelian category 5 We began by recalling the distinguished affine base. Definition.
More informationLectures on Grothendieck Duality II: Derived Hom -Tensor adjointness. Local duality.
Lectures on Grothendieck Duality II: Derived Hom -Tensor adjointness. Local duality. Joseph Lipman Purdue University Department of Mathematics lipman@math.purdue.edu February 16, 2009 Joseph Lipman (Purdue
More informationarxiv: v2 [math.ra] 14 Sep 2016
ON THE NEGATIVE-ONE SHIFT FUNCTOR FOR FI-MODULES arxiv:1603.07974v2 [math.ra] 14 Sep 2016 WEE LIANG GAN Abstract. We show that the negative-one shift functor S 1 on the category of FI-modules is a left
More informationDuality, Residues, Fundamental class
Duality, Residues, Fundamental class Joseph Lipman Purdue University Department of Mathematics lipman@math.purdue.edu May 22, 2011 Joseph Lipman (Purdue University) Duality, Residues, Fundamental class
More informationLecture 3: Flat Morphisms
Lecture 3: Flat Morphisms September 29, 2014 1 A crash course on Properties of Schemes For more details on these properties, see [Hartshorne, II, 1-5]. 1.1 Open and Closed Subschemes If (X, O X ) is a
More informationCategory Theory. Categories. Definition.
Category Theory Category theory is a general mathematical theory of structures, systems of structures and relationships between systems of structures. It provides a unifying and economic mathematical modeling
More informationLecture 2 Sheaves and Functors
Lecture 2 Sheaves and Functors In this lecture we will introduce the basic concept of sheaf and we also will recall some of category theory. 1 Sheaves and locally ringed spaces The definition of sheaf
More informationSUMMER COURSE IN MOTIVIC HOMOTOPY THEORY
SUMMER COURSE IN MOTIVIC HOMOTOPY THEORY MARC LEVINE Contents 0. Introduction 1 1. The category of schemes 2 1.1. The spectrum of a commutative ring 2 1.2. Ringed spaces 5 1.3. Schemes 10 1.4. Schemes
More informationLectures on algebraic stacks
Rend. Mat. Appl. (7). Volume 38, (2017), 1 169 RENDICONTI DI MATEMATICA E DELLE SUE APPLICAZIONI Lectures on algebraic stacks Alberto Canonaco Abstract. These lectures give a detailed and almost self-contained
More informationMath 535a Homework 5
Math 535a Homework 5 Due Monday, March 20, 2017 by 5 pm Please remember to write down your name on your assignment. 1. Let (E, π E ) and (F, π F ) be (smooth) vector bundles over a common base M. A vector
More informationCONTINUITY. 1. Continuity 1.1. Preserving limits and colimits. Suppose that F : J C and R: C D are functors. Consider the limit diagrams.
CONTINUITY Abstract. Continuity, tensor products, complete lattices, the Tarski Fixed Point Theorem, existence of adjoints, Freyd s Adjoint Functor Theorem 1. Continuity 1.1. Preserving limits and colimits.
More informationTHE FROBENIUS FUNCTOR AND INJECTIVE MODULES
THE FOBENIUS FUNCTO AND INJECTIVE MODULES THOMAS MALEY Abstract. We investigate commutative Noetherian rings of prime characteristic such that the Frobenius functor applied to any injective module is again
More informationTranscendental Numbers and Hopf Algebras
Transcendental Numbers and Hopf Algebras Michel Waldschmidt Deutsch-Französischer Diskurs, Saarland University, July 4, 2003 1 Algebraic groups (commutative, linear, over Q) Exponential polynomials Transcendence
More informationLecture 9 - Faithfully Flat Descent
Lecture 9 - Faithfully Flat Descent October 15, 2014 1 Descent of morphisms In this lecture we study the concept of faithfully flat descent, which is the notion that to obtain an object on a scheme X,
More informationsset(x, Y ) n = sset(x [n], Y ).
1. Symmetric monoidal categories and enriched categories In practice, categories come in nature with more structure than just sets of morphisms. This extra structure is central to all of category theory,
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 informationA GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander
A GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander During the first three days of September, 1997, I had the privilege of giving a series of five lectures at the beginning of the School on Algebraic
More information3.1. Derivations. Let A be a commutative k-algebra. Let M be a left A-module. A derivation of A in M is a linear map D : A M such that
ALGEBRAIC GROUPS 33 3. Lie algebras Now we introduce the Lie algebra of an algebraic group. First, we need to do some more algebraic geometry to understand the tangent space to an algebraic variety at
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 information1 Replete topoi. X = Shv proét (X) X is locally weakly contractible (next lecture) X is replete. D(X ) is left complete. K D(X ) we have R lim
Reference: [BS] Bhatt, Scholze, The pro-étale topology for schemes In this lecture we consider replete topoi This is a nice class of topoi that include the pro-étale topos, and whose derived categories
More informationIntroduction and preliminaries Wouter Zomervrucht, Februari 26, 2014
Introduction and preliminaries Wouter Zomervrucht, Februari 26, 204. Introduction Theorem. Serre duality). Let k be a field, X a smooth projective scheme over k of relative dimension n, and F a locally
More informationp-divisible groups I 1 Introduction and motivation Tony Feng and Alex Bertolini Meli August 12, The prototypical example
p-divisible groups I Tony Feng and Alex Bertolini Meli August 12, 2016 1 Introduction and motivation 1.1 The prototypical example Let E be an elliptic curve over a eld k; imagine for the moment that k
More informationQuantum Groups and Link Invariants
Quantum Groups and Link Invariants Jenny August April 22, 2016 1 Introduction These notes are part of a seminar on topological field theories at the University of Edinburgh. In particular, this lecture
More informationINTRODUCTION TO PART V: CATEGORIES OF CORRESPONDENCES
INTRODUCTION TO PART V: CATEGORIES OF CORRESPONDENCES 1. Why correspondences? This part introduces one of the two main innovations in this book the (, 2)-category of correspondences as a way to encode
More informationMODULI PROBLEMS AND GEOMETRIC INVARIANT THEORY
MODULI PROBLEMS AND GEOMETRIC INVARIANT THEORY VICTORIA HOSKINS Abstract In this course, we study moduli problems in algebraic geometry and the construction of moduli spaces using geometric invariant theory.
More informationON THE ISOMORPHISM BETWEEN THE DUALIZING SHEAF AND THE CANONICAL SHEAF
ON THE ISOMORPHISM BETWEEN THE DUALIZING SHEAF AND THE CANONICAL SHEAF MATTHEW H. BAKER AND JÁNOS A. CSIRIK Abstract. We give a new proof of the isomorphism between the dualizing sheaf and the canonical
More informationA TALE OF TWO FUNCTORS. Marc Culler. 1. Hom and Tensor
A TALE OF TWO FUNCTORS Marc Culler 1. Hom and Tensor It was the best of times, it was the worst of times, it was the age of covariance, it was the age of contravariance, it was the epoch of homology, it
More informationCategories and Natural Transformations
Categories and Natural Transormations Ethan Jerzak 17 August 2007 1 Introduction The motivation or studying Category Theory is to ormalise the underlying similarities between a broad range o mathematical
More informationLECTURE X: KOSZUL DUALITY
LECTURE X: KOSZUL DUALITY Fix a prime number p and an integer n > 0, and let S vn denote the -category of v n -periodic spaces. Last semester, we proved the following theorem of Heuts: Theorem 1. The Bousfield-Kuhn
More informationLectures on Homological Algebra. Weizhe Zheng
Lectures on Homological Algebra Weizhe Zheng Morningside Center of Mathematics Academy of Mathematics and Systems Science, Chinese Academy of Sciences Beijing 100190, China University of the Chinese Academy
More informationFormal power series rings, inverse limits, and I-adic completions of rings
Formal power series rings, inverse limits, and I-adic completions of rings Formal semigroup rings and formal power series rings We next want to explore the notion of a (formal) power series ring in finitely
More information