Math 248B. Base change morphisms
|
|
- Darcy Thomas
- 6 years ago
- Views:
Transcription
1 Math 248B. Base change morphisms 1. Motivation A basic operation with shea cohomology is pullback. For a continuous map o topological spaces : X X and an abelian shea F on X with (topological) pullback 1 F on X, there is a unique map o δ-unctors (1.1) H i (X, F ) H i (X, 1 F ) that is the usual pullback or i = 0. Example 1.1. When F is a constant shea A on X associated to an abelian group A, so the same holds or 1 F on X, then (or reasonable spaces) the general pullback construction in shea cohomology recovers the traditional pullback map H i (X, A) H i (X, A) as in algebraic topology. Also, i is a map o ringed spaces and F is an O X -module then we get the ringed-space pullback F := O X 1 O X 1 F and so a composite pullback map H i (X, F ) H i (X, 1 F ) H i (X, F ). Remark 1.2. In the topological case (with reasonable spaces) and in the scheme case (with quasi-coherent sheaves) we compute shea cohomology in terms o Čech theory. Sometimes there are natural pullback maps in Čech theory, and it is natural to wonder i the above pullback maps in shea cohomology obtained via abstract δ-unctor considerations are the same as what is computed more explicitly via Čech-theoretic methods. Let us state the desired compatibility in precise terms, and then we give a reerence or its proo. (This compatibility is implicit in some proos in Hartshorne s textbook Algebraic Geometry, although it is never stated there.) Consider a general map o ringed spaces as above; this could be topological spaces equipped with the structure shea Z, or complex maniolds, or schemes, and so on. Let F = F (so this is topological pullback in the topological case). Let U be an open covering o X, and U an open covering o X that reines the pullback open covering 1 (U). Then using pullback o sections, we get a natural map H i (U, F ) H i (U, F ). On the other hand, there are always natural maps rom Čech theory to derived unctor cohomology H i (U, F ) H i (X, F ), H i (U, F ) H i (X, F ) (obtained rom the Čech to derived unctor spectral sequence, or example), and there are isomorphisms in special cases: constant sheaves on maniolds and good covers (contractible open sets with contractible higher overlaps), quasi-coherent sheaves on separated schemes and aine open covers, coherent analytic sheaves on complex maniolds and Stein covers. Consider the diagram H i (U, F ) H i (U, F ) H i (X, F ) H i (X, F ) in which the vertical maps are the natural ones, the bottom is the abstract pullback, and the top is the concrete Čech-theoretic pullback. The compatibility we want to have is that this diagram commutes. This underlies many concrete calculations o pullback maps in shea cohomology. The commutativity o the diagram does hold in general, but the proo is not obvious. We reer the interested reader to EGA, 0 III, 12.1 (see especially the diagram ( )) or a proo. 1
2 2 In this handout, we want to discuss a relative version o the various pullback maps in shea cohomology. Consider a commutative diagram o ringed spaces (1.2) X e h X M h M and an O X -module F with pullback F := h F on X. The three main cases o interest to us are the topological case (using structure sheaves Z on everything, so F is an abelian shea on X and F is its topological pullback on X ), the scheme case (using quasi-coherent sheaves subject to some initeness hypotheses), and the holomorphic case with complex maniolds with a submersion. In this latter case, we are most interested in F locally ree o inite rank (i.e., associated to a vector bundle on X), so F is the corresponding vector bundle pullback along X X. In all three cases, the most important situations will have proper and (1.2) cartesian (i.e., X = X M M ), but we do not make any such assumptions at the outset. Remark 1.3. We use the ringed space language so that we can largely treat the topological and holomorphic cases at the same time, rather than write out everything twice. I G is an O M -module then its stalk G m is an O M,m -module, so in the locally ringed case we can kill m m to get a vector space G (m) := G m /m m G m over the residue ield at m. In the topological setting (with structure shea Z) we only have stalks. The higher direct images R i (F ) are O M -modules, and in class we constructed a natural map (1.3) R i (F ) m H i (X m, F Xm ) in the topological case and a C-linear map (1.4) R i (F )(m) H i (X m, F m ) in the holomorphic case (where F m on X m denotes the ringed-space pullback o F along X m X; this is not a stalk at m!). Note that the construction (1.4) makes sense more generally in the setting o locally ringed spaces (including both schemes and complex maniolds), as a linear map over the residue ield at m. Much as the higher direct image sheaves R i F will be a useul device to glue ibral cohomologies H i (X m, F m ) into a single global structure over M, or m M we seek to glue the ibral pullback cohomology maps H i (X h(m ), F h(m )) H i (X m, F m ) into a map involving higher direct images relative to and. More speciically, the aim o this handout is to deine and analyze the unctorial properties o a vast generalization: to any commutative square (1.2) we will associate canonical O M -linear morphisms (1.5) h R i (F ) R i (F ). These will be called base change morphisms when we are in the topological, scheme, or holomorphic cases and (1.2) is cartesian. Example 1.4. In the special case that h is the inclusion o a point and the let side o (1.2) is the m-iber o in the topological case (resp. scheme or holomorphic cases), the map (1.5) will recover (1.3) (resp. (1.4)). The generality o (1.5), allowing rather arbitrary h, is very useul. In 12 o Chapter III o Hartshorne (as well as the end o Vakil s notes) there is a discussion o (1.5) or certain cartesian diagrams o sheaves (with suitable F and proper ). The main point o that discussion is the understanding o ibral criteria o Grothendieck which imply that both sides o (1.5) are locally ree o inite rank and the map (1.5) is an isomorphism. These are called cohomology and base change theorems. They provide a precise sense in which ibral cohomologies H i (X m, F m ) can be said to vary nicely in m (under suitable ibral hypotheses!).
3 3 Remark 1.5. A conusing aspect o the discussion o cohomology and base change in Hartshorne s textbook is that the construction and unctorial properties o (1.5) are never systematically discussed there, yet they pervade the (omitted) rigorous details o many o the proos. Hence, in eect the present discussion logically precedes any treatment o the cohomology and base change in the scheme or holomorphic cases. Strictly speaking, Hartshorne only discusses the cohomology and base change theorems or projective ; the general case is in Vakil s notes (and also in EGA III). There are analogous results in the holomorphic setting, due to Kodaira Spencer and Grauert. In class we discussed some reasons why these results are useul in the analytic setting, and in our later study o elliptic curves over schemes we will ind them to be equally useul. Briely, whenever an argument with elliptic curves in the classical setting over a ield uses Riemann Roch, the proo o a corresponding result in the relative setting in either the holomorphic or scheme cases will use the theorems on cohomology and base change to reduce diicult problems in the relative setting to solved problems in the classical setting on ibers. 2. Constructions and examples To construct (1.5), irst observe that or any open U in M with preimage U = h 1 (U) in M, the preimage o X U := 1 (U) in X is X U := 1 (U ) due to the commutative o (1.2). Hence, there is a natural pullback map H i (X U, F ) H i (X U, F ). But in view o the description o higher direct images as sheaiications, there is a natural map H i (X U, F ) = H i ( 1 (U ), F ) (R i F )(U ) whose target is Γ(h 1 (U), R i F ) = Γ(U, h (R i F )). Summarizing, or open U in M we have constructed natural maps (2.1) H i ( 1 (U), F ) Γ(U, h (R i F )) which are easily checked to respect restriction in U. Since h (R i F ) is a shea whereas U H i ( 1 (U), F ) is merely a preshea whose sheaiication is R i F, by the universal property o sheaiication we obtain rom the maps (2.1) a natural map R i F h (R i F ) o sheaves on M. By the construction this is seen to be O M -linear, so by the adjointness o h and h we obtain an O M -linear map as in (1.5). This completes the construction. Example 2.1. Suppose that (1.2) is a diagram o topological spaces or locally ringed spaces (such as complex maniolds or schemes) with h the inclusion o a point m M. Then h G is the stalk G m in the topological case and is G (m) := G m /m m G m in the locally ringed space case. In this way, one sees upon unraveling the construction that (1.5) recovers (1.3) in the topological case and (1.4) in the locally ringed case. Example 2.2. I h is an open immersion and (1.2) is cartesian (i.e., X is the preimage o an open M M under the map : X M), then (1.5) is an isomorphism expressing the act that the ormation o higher direct image sheaves is local on the base. Example 2.3. In general, what is (1.5) saying at the level o stalks? For m M, the map on m -stalks has the orm O M,m O M,m lim H i (X U, F ) lim H i (X U, F ) where U varies through opens in M around h(m ) and U varies through opens in M around m. A special class o such U are the opens h 1 (U), and in act the m -stalk map is induced by the natural pullback maps (2.2) H i (X U, F ) H i (X h 1 (U), F ) linear over h : O M (U) (h O M )(U) = O M (h 1 (U)), as is checked by reviewing how (1.5) was constructed. This description is a reason that we regard (1.5) as a relativization o ordinary pullback maps in shea cohomology.
4 4 3. Functorial properties We conclude by discussing how (1.5) behaves with respect to δ-unctoriality in F and with respect to compositions in the horizontal and vertical directions: loosely speaking, unctional behavior with respect to composition in h and in. For the δ-unctoriality, suppose that M M and X X are lat maps o ringed spaces, such as submersions o maniolds, lat maps o schemes, or maps o topological spaces equipped with the structure shea Z. In such cases F is an exact unctor in F, so the target o (1.5) is a δ-unctor in F. Likewise, h is exact, so the source o (1.5) is δ-unctorial in F. This leads to: Proposition 3.1. When M M and X X are lat then (1.5) is a morphism o δ-unctors in F ; that is, it respects the δ-unctorial structure o both sides as we vary F in a short exact sequence o O X -modules. Proo. It suices to check the δ-unctorial compatibility ater passing to stalks. In view o the description on stalks given in Example 2.3, it suices to prove that (2.2) is a morphism o δ-unctors or each open U M. Renaming U as M (as we may clearly do), we are reduced to checking that the composite map H i (X, F ) H i (X, 1 F ) H i (X, F ) is a morphism o δ-unctors. This holds or the irst step by the very deinition o topological pullback in shea cohomology, and or the second step (which is deined to be the cohomology unctor applied to the natural map o sheaves 1 F F ) are use that cohomology is deined as a δ-unctor. The compatibility with respect to composition in h works out as ollows. Consider a concatenated pair o commutative squares X X X M h M h M and let h : M M denote h h. We then get the pullbacks F on X and F on X, so F is also naturally identiied with the pullback o F along X X. Thus, there are natural morphisms θ : h R i (F ) R i (F ), θ : h R i (F ) R i (F ), θ : h R i (F ) R i (F ). The consistency among these morphisms is given by: Proposition 3.2. The composition θ h (θ) is equal to θ. Proo. Again passing to stalks and arguing as in the preceding proo, we are reduced to the general unctoriality o shea cohomology pullback. That is, or a pair o maps o topological spaces h : X X and h : X X with composite h = h h and any abelian shea F on X, we claim that the composition o pullback maps H i (X, F ) H i (X, h 1 F ) H i (X, h 1 (h 1 F )) = H i (X, h 1 F ) is the pullback along h. (This is a act one should have really veriied at the beginning o the entire story, when irst introducing shea cohomology pullback and contemplating its unctorial behavior.) In view o the δ-unctoriality o everything in sight (as we vary F ), this problem reduces to the case i = 0, which is easily veriied. The case o behavior in the vertical direction is somewhat more subtle to even ormulate, and or our purposes will not be nearly as important as the horizontal compatibility in the preceding proposition.
5 5 Consider a commutative diagram o ringed spaces Y Y g X h X M and an O Y -module G. Thus, (1.5) provides a natural morphism h M h R i ( g) (G ) R i ( g ) (G ) where G is the ringed-space pullback o G along Y Y. There are Leray spectral sequences R p R q g (G ) R p+q ( g) (G ), R p g R q g (G ) R p+q ( g ) (G ), and when h and h are lat (so h and h are exact and hence commute with the ormation o kernels and images, as arise in the ormation o spectral sequences) it makes sense to ask i these spectral sequences are compatible with (1.5) relative to the smaller commutative squares. This is the content o: Proposition 3.3. When h and h are lat, the natural maps h (R p R q g (G )) R p h (R q g G ) R p R q g (G ) and h R n ( g) (G ) R n ( g ) (G ) are compatible with the ormation o the associated spectral sequences. Proo. By passing to stalks as in the two preceding proos, this again reduces to an assertion about pullback in topological shea cohomology: it commutes with the ormation o Leray spectral sequences such as H p (X, R q g G ) H p+q (Y, G ) and the analogue or X Y M. This in turn is seen by going back to how spectral sequences are constructed in terms o Cartan Eilenberg resolutions and how shea cohomology pullback may be computed in terms o injective resolutions (due to the characterization o the latter in terms o δ-unctoriality). We leave the details to the interested reader. g
Descent on the étale site Wouter Zomervrucht, October 14, 2014
Descent on the étale site Wouter Zomervrucht, October 14, 2014 We treat two eatures o the étale site: descent o morphisms and descent o quasi-coherent sheaves. All will also be true on the larger pp and
More informationMath 216A. A gluing construction of Proj(S)
Math 216A. A gluing construction o Proj(S) 1. Some basic deinitions Let S = n 0 S n be an N-graded ring (we ollows French terminology here, even though outside o France it is commonly accepted that N does
More informationMath 248B. Applications of base change for coherent cohomology
Math 248B. Applications of base change for coherent cohomology 1. Motivation Recall the following fundamental general theorem, the so-called cohomology and base change theorem: Theorem 1.1 (Grothendieck).
More informationSEPARATED AND PROPER MORPHISMS
SEPARATED AND PROPER MORPHISMS BRIAN OSSERMAN Last quarter, we introduced the closed diagonal condition or a prevariety to be a prevariety, and the universally closed condition or a variety to be complete.
More informationVALUATIVE CRITERIA FOR SEPARATED AND PROPER MORPHISMS
VALUATIVE CRITERIA FOR SEPARATED AND PROPER MORPHISMS BRIAN OSSERMAN Recall that or prevarieties, we had criteria or being a variety or or being complete in terms o existence and uniqueness o limits, where
More informationSEPARATED AND PROPER MORPHISMS
SEPARATED AND PROPER MORPHISMS BRIAN OSSERMAN The notions o separatedness and properness are the algebraic geometry analogues o the Hausdor condition and compactness in topology. For varieties over the
More informationVALUATIVE CRITERIA BRIAN OSSERMAN
VALUATIVE CRITERIA BRIAN OSSERMAN Intuitively, one can think o separatedness as (a relative version o) uniqueness o limits, and properness as (a relative version o) existence o (unique) limits. It is not
More informationCHOW S LEMMA. Matthew Emerton
CHOW LEMMA Matthew Emerton The aim o this note is to prove the ollowing orm o Chow s Lemma: uppose that : is a separated inite type morphism o Noetherian schemes. Then (or some suiciently large n) there
More informationMath 754 Chapter III: Fiber bundles. Classifying spaces. Applications
Math 754 Chapter III: Fiber bundles. Classiying spaces. Applications Laurențiu Maxim Department o Mathematics University o Wisconsin maxim@math.wisc.edu April 18, 2018 Contents 1 Fiber bundles 2 2 Principle
More informationMath 210B. Profinite group cohomology
Math 210B. Profinite group cohomology 1. Motivation Let {Γ i } be an inverse system of finite groups with surjective transition maps, and define Γ = Γ i equipped with its inverse it topology (i.e., the
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 informationCATEGORIES. 1.1 Introduction
1 CATEGORIES 1.1 Introduction What is category theory? As a irst approximation, one could say that category theory is the mathematical study o (abstract) algebras o unctions. Just as group theory is the
More informationIn the index (pages ), reduce all page numbers by 2.
Errata or Nilpotence and periodicity in stable homotopy theory (Annals O Mathematics Study No. 28, Princeton University Press, 992) by Douglas C. Ravenel, July 2, 997, edition. Most o these were ound by
More informationHSP SUBCATEGORIES OF EILENBERG-MOORE ALGEBRAS
HSP SUBCATEGORIES OF EILENBERG-MOORE ALGEBRAS MICHAEL BARR Abstract. Given a triple T on a complete category C and a actorization system E /M on the category o algebras, we show there is a 1-1 correspondence
More informationLIMITS AND COLIMITS. m : M X. in a category G of structured sets of some sort call them gadgets the image subset
5 LIMITS ND COLIMITS In this chapter we irst briely discuss some topics namely subobjects and pullbacks relating to the deinitions that we already have. This is partly in order to see how these are used,
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 informationALGEBRAIC K-THEORY HANDOUT 5: K 0 OF SCHEMES, THE LOCALIZATION SEQUENCE FOR G 0.
ALGEBRAIC K-THEORY HANDOUT 5: K 0 OF SCHEMES, THE LOCALIZATION SEQUENCE FOR G 0. ANDREW SALCH During the last lecture, we found that it is natural (even just for doing undergraduatelevel complex analysis!)
More informationTHE SMOOTH BASE CHANGE THEOREM
THE SMOOTH BASE CHANGE THEOREM AARON LANDESMAN CONTENTS 1. Introduction 2 1.1. Statement of the smooth base change theorem 2 1.2. Topological smooth base change 4 1.3. A useful case of smooth base change
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 24
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 24 RAVI VAKIL CONTENTS 1. Vector bundles and locally free sheaves 1 2. Toward quasicoherent sheaves: the distinguished affine base 5 Quasicoherent and coherent sheaves
More information2 Coherent D-Modules. 2.1 Good filtrations
2 Coherent D-Modules As described in the introduction, any system o linear partial dierential equations can be considered as a coherent D-module. In this chapter we ocus our attention on coherent D-modules
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 informationSpan, Cospan, and Other Double Categories
ariv:1201.3789v1 [math.ct] 18 Jan 2012 Span, Cospan, and Other Double Categories Susan Nieield July 19, 2018 Abstract Given a double category D such that D 0 has pushouts, we characterize oplax/lax adjunctions
More informationwhere Σ is a finite discrete Gal(K sep /K)-set unramified along U and F s is a finite Gal(k(s) sep /k(s))-subset
Classification of quasi-finite étale separated schemes As we saw in lecture, Zariski s Main Theorem provides a very visual picture of quasi-finite étale separated schemes X over a henselian local ring
More informationThe Clifford algebra and the Chevalley map - a computational approach (detailed version 1 ) Darij Grinberg Version 0.6 (3 June 2016). Not proofread!
The Cliord algebra and the Chevalley map - a computational approach detailed version 1 Darij Grinberg Version 0.6 3 June 2016. Not prooread! 1. Introduction: the Cliord algebra The theory o the Cliord
More informationD-Modules and Mixed Hodge Modules
D-Modules and Mixed Hodge Modules Notes by Takumi Murayama Fall 2016 and Winter 2017 Contents 1 September 19 (Harold Blum) 4 1.1 Deinitions [HTT08, 1.1]...................................... 4 1.2 The
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 informationTangent Categories. David M. Roberts, Urs Schreiber and Todd Trimble. September 5, 2007
Tangent Categories David M Roberts, Urs Schreiber and Todd Trimble September 5, 2007 Abstract For any n-category C we consider the sub-n-category T C C 2 o squares in C with pinned let boundary This resolves
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 information14 Lecture 14: Basic generallities on adic spaces
14 Lecture 14: Basic generallities on adic spaces 14.1 Introduction The aim of this lecture and the next two is to address general adic spaces and their connection to rigid geometry. 14.2 Two open questions
More informationINTERSECTION THEORY CLASS 17
INTERSECTION THEORY CLASS 17 RAVI VAKIL CONTENTS 1. Were we are 1 1.1. Reined Gysin omomorpisms i! 2 1.2. Excess intersection ormula 4 2. Local complete intersection morpisms 6 Were we re oin, by popular
More informationAlgebraic v.s. Analytic Point of View
Algebraic v.s. Analytic Point of View Ziwen Zhu September 19, 2015 In this talk, we will compare 3 different yet similar objects of interest in algebraic and complex geometry, namely algebraic variety,
More informationRepresentation Theory of Hopf Algebroids. Atsushi Yamaguchi
Representation Theory o H Algebroids Atsushi Yamaguchi Contents o this slide 1. Internal categories and H algebroids (7p) 2. Fibered category o modules (6p) 3. Representations o H algebroids (7p) 4. Restrictions
More informationBasic results on Grothendieck Duality
Basic results on Grothendieck Duality Joseph Lipman 1 Purdue University Department of Mathematics lipman@math.purdue.edu http://www.math.purdue.edu/ lipman November 2007 1 Supported in part by NSA Grant
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 informationCLASS NOTES MATH 527 (SPRING 2011) WEEK 6
CLASS NOTES MATH 527 (SPRING 2011) WEEK 6 BERTRAND GUILLOU 1. Mon, Feb. 21 Note that since we have C() = X A C (A) and the inclusion A C (A) at time 0 is a coibration, it ollows that the pushout map i
More informationSection Higher Direct Images of Sheaves
Section 3.8 - Higher Direct Images of Sheaves Daniel Murfet October 5, 2006 In this note we study the higher direct image functors R i f ( ) and the higher coinverse image functors R i f! ( ) which will
More informationAlgebraic Geometry I Lectures 22 and 23
Algebraic Geometry I Lectures 22 and 23 Amod Agashe December 4, 2008 1 Fibered Products (contd..) Recall the deinition o ibered products g!θ X S Y X Y π 2 π 1 S By the universal mapping property o ibered
More informationMath 797W Homework 4
Math 797W Homework 4 Paul Hacking December 5, 2016 We work over an algebraically closed field k. (1) Let F be a sheaf of abelian groups on a topological space X, and p X a point. Recall the definition
More informationDerived Algebraic Geometry IX: Closed Immersions
Derived Algebraic Geometry I: Closed Immersions November 5, 2011 Contents 1 Unramified Pregeometries and Closed Immersions 4 2 Resolutions of T-Structures 7 3 The Proof of Proposition 1.0.10 14 4 Closed
More informationINTERSECTION THEORY CLASSES 20 AND 21: BIVARIANT INTERSECTION THEORY
INTERSECTION THEORY CLASSES 20 AND 21: BIVARIANT INTERSECTION THEORY RAVI VAKIL CONTENTS 1. What we re doin this week 1 2. Precise statements 2 2.1. Basic operations and properties 4 3. Provin thins 6
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASSES 47 AND 48
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASSES 47 AND 48 RAVI VAKIL CONTENTS 1. The local criterion for flatness 1 2. Base-point-free, ample, very ample 2 3. Every ample on a proper has a tensor power that
More informationA NOTE ON SHEAVES WITHOUT SELF-EXTENSIONS ON THE PROJECTIVE n-space.
A NOTE ON SHEAVES WITHOUT SELF-EXTENSIONS ON THE PROJECTIVE n-space. DIETER HAPPEL AND DAN ZACHARIA Abstract. Let P n be the projective n space over the complex numbers. In this note we show that an indecomposable
More informationClassification of effective GKM graphs with combinatorial type K 4
Classiication o eective GKM graphs with combinatorial type K 4 Shintarô Kuroki Department o Applied Mathematics, Faculty o Science, Okayama Uniervsity o Science, 1-1 Ridai-cho Kita-ku, Okayama 700-0005,
More informationSHEAVES, STACKS, AND SHTUKAS
SHEAVES, STACKS, AND SHTUKAS KIRAN S. KEDLAYA These are extended notes rom a our-lecture series at the 2017 Arizona Winter School on the topic o perectoid spaces. The appendix describes the proposed student
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 43
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 43 RAVI VAKIL CONTENTS 1. Facts we ll soon know about curves 1 1. FACTS WE LL SOON KNOW ABOUT CURVES We almost know enough to say a lot of interesting things about
More informationSynopsis of material from EGA Chapter II, 3
Synopsis of material from EGA Chapter II, 3 3. Homogeneous spectrum of a sheaf of graded algebras 3.1. Homogeneous spectrum of a graded quasi-coherent O Y algebra. (3.1.1). Let Y be a prescheme. A sheaf
More informationNotes on Beilinson s How to glue perverse sheaves
Notes on Beilinson s How to glue perverse sheaves Ryan Reich June 4, 2009 In this paper I provide something o a skeleton key to A.A. Beilinson s How to glue perverse sheaves [1], which I ound hard to understand
More informationCategorical Background (Lecture 2)
Cateorical Backround (Lecture 2) February 2, 2011 In the last lecture, we stated the main theorem o simply-connected surery (at least or maniolds o dimension 4m), which hihlihts the importance o the sinature
More information0.1 Spec of a monoid
These notes were prepared to accompany the first lecture in a seminar on logarithmic geometry. As we shall see in later lectures, logarithmic geometry offers a natural approach to study semistable schemes.
More informationPerverse Sheaves. Bhargav Bhatt. Fall The goal of this class is to introduce perverse sheaves, and how to work with it; plus some applications.
Perverse Sheaves Bhargav Bhatt Fall 2015 1 September 8, 2015 The goal o this class is to introduce perverse sheaves, and how to work with it; plus some applications. Background For more background, see
More informationUniversity of Cape Town
The copyright o this thesis rests with the. No quotation rom it or inormation derived rom it is to be published without ull acknowledgement o the source. The thesis is to be used or private study or non-commercial
More informationMath 676. A compactness theorem for the idele group. and by the product formula it lies in the kernel (A K )1 of the continuous idelic norm
Math 676. A compactness theorem for the idele group 1. Introduction Let K be a global field, so K is naturally a discrete subgroup of the idele group A K and by the product formula it lies in the kernel
More informationTHE HOMOTOPY THEORY OF EQUIVALENCE RELATIONS
THE HOMOTOPY THEORY OF EQUIVALENCE RELATIONS FINNUR LÁRUSSON Abstract. We give a detailed exposition o the homotopy theory o equivalence relations, perhaps the simplest nontrivial example o a model structure.
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 informationGrothendieck construction for bicategories
Grothendieck construction or bicategories Igor Baković Rudjer Bošković Institute Abstract In this article, we give the generalization o the Grothendieck construction or pseudo unctors given in [5], which
More informationThree Descriptions of the Cohomology of Bun G (X) (Lecture 4)
Three Descriptions of the Cohomology of Bun G (X) (Lecture 4) February 5, 2014 Let k be an algebraically closed field, let X be a algebraic curve over k (always assumed to be smooth and complete), and
More informationThe concept of limit
Roberto s Notes on Dierential Calculus Chapter 1: Limits and continuity Section 1 The concept o limit What you need to know already: All basic concepts about unctions. What you can learn here: What limits
More informationPART II.1. IND-COHERENT SHEAVES ON SCHEMES
PART II.1. IND-COHERENT SHEAVES ON SCHEMES Contents Introduction 1 1. Ind-coherent sheaves on a scheme 2 1.1. Definition of the category 2 1.2. t-structure 3 2. The direct image functor 4 2.1. Direct image
More informationLECTURE 1: SOME GENERALITIES; 1 DIMENSIONAL EXAMPLES
LECTURE 1: SOME GENERALITIES; 1 DIMENSIONAL EAMPLES VIVEK SHENDE Historically, sheaves come from topology and analysis; subsequently they have played a fundamental role in algebraic geometry and certain
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 informationDERIVED CATEGORIES OF STACKS. Contents 1. Introduction 1 2. Conventions, notation, and abuse of language The lisse-étale and the flat-fppf sites
DERIVED CATEGORIES OF STACKS Contents 1. Introduction 1 2. Conventions, notation, and abuse of language 1 3. The lisse-étale and the flat-fppf sites 1 4. Derived categories of quasi-coherent modules 5
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 informationVariations on a Casselman-Osborne theme
Variations on a Casselman-Osborne theme Dragan Miličić Introduction This paper is inspired by two classical results in homological algebra o modules over an enveloping algebra lemmas o Casselman-Osborne
More informationSECTION 5: EILENBERG ZILBER EQUIVALENCES AND THE KÜNNETH THEOREMS
SECTION 5: EILENBERG ZILBER EQUIVALENCES AND THE KÜNNETH THEOREMS In this section we will prove the Künneth theorem which in principle allows us to calculate the (co)homology of product spaces as soon
More informationCS 361 Meeting 28 11/14/18
CS 361 Meeting 28 11/14/18 Announcements 1. Homework 9 due Friday Computation Histories 1. Some very interesting proos o undecidability rely on the technique o constructing a language that describes the
More informationMath 145. Codimension
Math 145. Codimension 1. Main result and some interesting examples In class we have seen that the dimension theory of an affine variety (irreducible!) is linked to the structure of the function field in
More informationA NOTE ON HENSEL S LEMMA IN SEVERAL VARIABLES
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 125, Number 11, November 1997, Pages 3185 3189 S 0002-9939(97)04112-9 A NOTE ON HENSEL S LEMMA IN SEVERAL VARIABLES BENJI FISHER (Communicated by
More informationWeil-étale Cohomology
Weil-étale Cohomology Igor Minevich March 13, 2012 Abstract We will be talking about a subject, almost no part of which is yet completely defined. I will introduce the Weil group, Grothendieck topologies
More informationHow to glue perverse sheaves
How to glue perverse sheaves A.A. Beilinson The aim o this note [0] is to give a short, sel-contained account o the vanishing cycle constructions o perverse sheaves; e.g., or the needs o [1]. It diers
More informationJoseph Muscat Categories. 1 December 2012
Joseph Muscat 2015 1 Categories joseph.muscat@um.edu.mt 1 December 2012 1 Objects and Morphisms category is a class o objects with morphisms : (a way o comparing/substituting/mapping/processing to ) such
More informationThe basics of frame theory
First version released on 30 June 2006 This version released on 30 June 2006 The basics o rame theory Harold Simmons The University o Manchester hsimmons@ manchester.ac.uk This is the irst part o a series
More informationSynopsis of material from EGA Chapter II, 4. Proposition (4.1.6). The canonical homomorphism ( ) is surjective [(3.2.4)].
Synopsis of material from EGA Chapter II, 4 4.1. Definition of projective bundles. 4. Projective bundles. Ample sheaves Definition (4.1.1). Let S(E) be the symmetric algebra of a quasi-coherent O Y -module.
More 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 informationAn Introduction to Spectral Sequences
An Introduction to Spectral Sequences Matt Booth December 4, 2016 This is the second half of a joint talk with Tim Weelinck. Tim introduced the concept of spectral sequences, and did some informal computations,
More informationGENERALIZED ABSTRACT NONSENSE: CATEGORY THEORY AND ADJUNCTIONS
GENERALIZED ABSTRACT NONSENSE: CATEGORY THEORY AND ADJUNCTIONS CHRIS HENDERSON Abstract. This paper will move through the basics o category theory, eventually deining natural transormations and adjunctions
More informationDELIGNE S THEOREMS ON DEGENERATION OF SPECTRAL SEQUENCES
DELIGNE S THEOREMS ON DEGENERATION OF SPECTRAL SEQUENCES YIFEI ZHAO Abstract. We present the proofs of Deligne s theorems on degeneration of the Leray spectral sequence, and the algebraic Hodge-de Rham
More information(C) The rationals and the reals as linearly ordered sets. Contents. 1 The characterizing results
(C) The rationals and the reals as linearly ordered sets We know that both Q and R are something special. When we think about about either o these we usually view it as a ield, or at least some kind o
More informationON COSTELLO S CONSTRUCTION OF THE WITTEN GENUS: L SPACES AND DG-MANIFOLDS
ON COSTELLO S CONSTRUCTION OF THE WITTEN GENUS: L SPACES AND DG-MANIFOLDS RYAN E GRADY 1. L SPACES An L space is a ringed space with a structure sheaf a sheaf L algebras, where an L algebra is the homotopical
More informationMADE-TO-ORDER WEAK FACTORIZATION SYSTEMS
MADE-TO-ORDER WEAK FACTORIZATION SYSTEMS EMILY RIEHL The aim o this note is to briely summarize techniques or building weak actorization systems whose right class is characterized by a particular liting
More informationLIMITS OF CATEGORIES, AND SHEAVES ON IND-SCHEMES
LIMITS OF CATEGORIES, AND SHEAVES ON IND-SCHEMES JONATHAN BARLEV 1. Inverse limits of categories This notes aim to describe the categorical framework for discussing quasi coherent sheaves and D-modules
More informationCHAPTER 0 PRELIMINARY MATERIAL. Paul Vojta. University of California, Berkeley. 18 February 1998
CHAPTER 0 PRELIMINARY MATERIAL Paul Vojta University of California, Berkeley 18 February 1998 This chapter gives some preliminary material on number theory and algebraic geometry. Section 1 gives basic
More informationRELATIVE AMPLENESS IN RIGID-ANALYTIC GEOMETRY
RELATIVE AMPLENESS IN RIGID-ANALYTIC GEOMETRY BRIAN CONRAD 1. Introduction 1.1. Motivation. The aim of this paper is to develop a rigid-analytic theory of relative ampleness for line bundles, and to record
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 informationIntroduction to Chiral Algebras
Introduction to Chiral Algebras Nick Rozenblyum Our goal will be to prove the fact that the algebra End(V ac) is commutative. The proof itself will be very easy - a version of the Eckmann Hilton argument
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 24
FOUNDATIONS OF ALGEBRAIC GEOMETR CLASS 24 RAVI VAKIL CONTENTS 1. Normalization, continued 1 2. Sheaf Spec 3 3. Sheaf Proj 4 Last day: Fibers of morphisms. Properties preserved by base change: open immersions,
More information1.5.4 Every abelian variety is a quotient of a Jacobian
16 1. Abelian Varieties: 10/10/03 notes by W. Stein 1.5.4 Every abelian variety is a quotient of a Jacobian Over an infinite field, every abelin variety can be obtained as a quotient of a Jacobian variety.
More informationSheafification Johan M. Commelin, October 15, 2013
heaiication Johan M. Commelin, October 15, 2013 Introduction Let C be a categor, equipped with a Grothendieck topolog J. Let 2 Ph(C) be a preshea. The purpose o these notes is to assign to a morphism to
More information1 Categories, Functors, and Natural Transformations. Discrete categories. A category is discrete when every arrow is an identity.
MacLane: Categories or Working Mathematician 1 Categories, Functors, and Natural Transormations 1.1 Axioms or Categories 1.2 Categories Discrete categories. A category is discrete when every arrow is an
More information18.727, Topics in Algebraic Geometry (rigid analytic geometry) Kiran S. Kedlaya, fall 2004 Kiehl s finiteness theorems
18.727, Topics in Algebraic Geometry (rigid analytic geometry) Kiran S. Kedlaya, fall 2004 Kiehl s finiteness theorems References: [FvdP, Chapter 4]. Again, Kiehl s original papers (in German) are: Der
More informationNORI FUNDAMENTAL GERBE OF ESSENTIALLY FINITE COVERS AND GALOIS CLOSURE OF TOWERS OF TORSORS
NORI FUNDAMENTAL GERBE OF ESSENTIALLY FINITE COVERS AND GALOIS CLOSURE OF TOWERS OF TORSORS MARCO ANTEI, INDRANIL BISWAS, MICHEL EMSALEM, FABIO TONINI, AND LEI ZHANG Abstract. We prove the existence o
More informationUNIVERSAL PROPERTY OF NON-ARCHIMEDEAN ANALYTIFICATION
UNIVERSAL PROPERTY OF NON-ARCHIMEDEAN ANALYTIFICATION BRIAN CONRAD 1. Introduction 1.1. Motivation. Over C and over non-archimedean fields, analytification of algebraic spaces is defined as the solution
More informationp-adic L-function of an ordinary weight 2 cusp form Measures on locally compact totally disconnected spaces
p-adic L-unction o an ordinary weight 2 cusp orm The ollowing exposition essentially summarizes one section o the excellent article [MS]. For any ixed cusp orm S 2 (Γ 0 (N), Q), we will associate a p-adic
More informationMath 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 informationProbabilistic Observations and Valuations (Extended Abstract) 1
Replace this ile with prentcsmacro.sty or your meeting, or with entcsmacro.sty or your meeting. Both can be ound at the ENTCS Macro Home Page. Probabilistic Observations and Valuations (Extended Abstract)
More informationMath 210B. Artin Rees and completions
Math 210B. Artin Rees and completions 1. Definitions and an example Let A be a ring, I an ideal, and M an A-module. In class we defined the I-adic completion of M to be M = lim M/I n M. We will soon show
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 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 informationExample: When describing where a function is increasing, decreasing or constant we use the x- axis values.
Business Calculus Lecture Notes (also Calculus With Applications or Business Math II) Chapter 3 Applications o Derivatives 31 Increasing and Decreasing Functions Inormal Deinition: A unction is increasing
More informationLocally G-ringed spaces and rigid spaces
18.727, Topics in Algebraic Geometry (rigid analytic geometry) Kiran S. Kedlaya, fall 2004 Rigid analytic spaces (at last!) We are now ready to talk about rigid analytic spaces in earnest. I ll give the
More information2. ETA EVALUATIONS USING WEBER FUNCTIONS. Introduction
. ETA EVALUATIONS USING WEBER FUNCTIONS Introduction So ar we have seen some o the methods or providing eta evaluations that appear in the literature and we have seen some o the interesting properties
More information