Last week: proétale topology on X, with a map of sites ν : X proét X ét. Sheaves on X proét : O + X = ν O + X ét
|
|
- Catherine Doyle
- 5 years ago
- Views:
Transcription
1 INTEGRAL p-adi HODGE THEORY, TALK 3 (RATIONAL p-adi HODGE THEORY I, THE PRIMITIVE OMPARISON THEOREM) RAFFAEL SINGER (NOTES BY JAMES NEWTON) 1. Recap We x /Q p complete and algebraically closed, with tilt and x a pseudouniformiser ϖ with ϖ = p. X will be a proper smooth adic space over. Last week: proétale topology on X, with a map of sites ν : X proét X ét. Sheaves on X proét : O + X = ν O + X ét, O X = ν O Xét Ô+ X = lim O+ X /pn, Ô X = Ô+ X [ 1 p ] Ô+ = lim O + φ X /p, Ô+ = Ô+ [ 1 ϖ ] A inf,x = W (Ô+ ) Proposition 1.1. U = lim U i X proét anoid perfectoid, with U i = Spa(R i, R + i ). Set R + = (lim R + i ) (p-adic completion) and R = R+ [ 1 p ]. We have Ô+ X (U) = R+, Ô X (U) = R, Ô + (U) = R +, Ô (U) = R and A inf,x (U) = A inf (R, R + ) = W (R + ). H i (U, F) = 0 for i > 0 and F {Ô+a X, ÔX, Ô+a, Ô, Aa inf,x, O +a X /pn, Ô+a /p n } 2. Remarks on almost mathematics We have Abelian -categories of almost O -modules, or O a -modules (respectively, almost O - or A inf-modules). Roughly these are O -modules up to m-torsion (respectively, O -modules up to m -torsion or A inf -modules up to [m ]-torsion). Key things to know: The functor M M O from O -modules to -modules factors through the map M M a which takes an O -module to the associated O a -module. The functor ( ) a is exact, so it commutes with taking cohomology. Almost isomorphisms become isomorphisms after inverting p (respectively, ϖ or [ϖ]). Denition 2.1. An O -module is almost nitely generated (afg for short) if for all ɛ > 0 there exists r = r(ɛ) and a map with cokernel killed by p ɛ. O r M 1
2 2 We make a similar denition for O or A inf modules, replacing p by ϖ or [ϖ]. lassication: Fact. For every afg torsion O -module, there exists a unique sequence ɛ 1 ɛ 2 with ɛ i 0 such that M a = O /p ɛ1 O /p ɛ2 We let γ M = (ɛ 1, ɛ 2,...), which we call the sequence of elementary divisors of M. The function M γ M is subadditive in short exact sequences. More precisely, if we have a short exact sequence 0 M 1 M 2 M 3 0 then γ M2 γ M1 +γ M3, where addition is dened component-wise and the inequality means k k ɛ (2) i ɛ (1) i + ɛ (3) i for all k. i=1 i=1 3. The comparison theorem Theorem 3.1 ([1], Theorem 5.6). The map A inf A inf,x induces, for all i, isomorphisms (of almost A inf -modules) H i (X proét, Z p ) Zp A a inf = H i (X proét, A a inf,x). Here, A inf = A inf () is one of Fontaine's period rings. We'll suppress the proét subscript from now on. This is deduced from a mod p (and ϖ) version (Theorem 5.1 in [2]): H i (X, F p ) Fp O +a /p = H i (X, O +a X /p). ompare with the situation over the complex numbers: H i (X, O X ) (almost) never equals H i (X, ), e.g. by Hodge symmetry. [JN: On the other hand, if k is algebraically closed of characteristic p and X/k is proper then H i (X ét, k) = H i (X, O X ), by an argument (using the ArtinSchreier exact sequence) which essentially appears later in the talk] Raael's interpretation: O + X /p is trying to be a locally constant sheaf. Heuristically, if f is a bounded function on X, then for x y < δ we have f(x) f(y) < ɛ so f mod p is constant on some neighbourhood of x. Idea of proof (in more recent language): tilt X to get a diamond X /. Then we should have a RiemannHilbert correspondence between F p -local systems on X (for example, the constant sheaf F p ) and étale φ-modules over ÔX. Unwinding this should give H i (X, F p ) Fp = H i (X, ÔX ) 3.2. The actual proof. We're going to begin by assuming the H i (X, O + X /p) is an afg O /p-module. We will sketch the proof of this at the end of the talk. Now consider M k = H i (X, Ô+ /ϖ k ). We have exact sequences M 1 M k+1 M k and subadditivity of the elementary divisors implies that γ k+1 (k + 1)γ 1. On the other hand, we have φ k : M k O /ϖ k,φ O /ϖ pk = Mpk
3 3 induced by Frobenius on O + /ϖ k, so γ pk = pγ k. We deduce that we have γ k = kγ 1 for all k. Now it follows from the classication of torsion almost modules by elementary divisors that 0 M a 1 M a k+1 M a k 0 is short exact for all k. By induction, 0 Mj a Mj+k a Mk a 0 is short exact for all j, k. Dene M = lim M k. Taking the inverse limit of the above exact sequences we k get an exact sequence 0 M a ϖk M a Mk a 0. We deduce that M a is at, and also that M is afg (this follows from M 1 being afg by a successive approximation argument). The maps φ k induce an isomorphism φ : M O,φ O = M, and inverting ϖ we obtain an étale φ-module (M, φ) over. Since is algebraically closed the φ-module is trivial: we have M = ( ) r with φ on the right hand side given by the component-wise Frobenius. Since M is afg, the image M of M in M (which is almost isomorphic to M by atness) satises ϖ m (O )r M ϖ m (O )r for some m. Since M is φ- stable, if we apply φ k and take the limit we deduce that M is almost isomorphic to (O )r, and hence the same is true for M. To sum up, we have: Proposition 3.3. (M a, φ) = ((O a )r, φ), where the Frobenius on the right hand side acts component-wise. Recall that M a = lim H i (X, Ô+a /ϖ k ). Next we are going to show that the k natural map H i (X, Ô+a ) M a is an isomorphism. We use the following general X result: Lemma 3.4. Let F k be an inverse system of sheaves on a site T, and suppose we have a basis U for T such that (1) R i lim F k (U) = 0 for all i > 0 and U U. (2) H i (U, F k ) = 0 for all i > 0 and U U. Then R i lim F k = 0 for all i > 0 and H i (U, lim F k ) = 0 for all i > 0 and U U. We are going to apply this lemma with F k = Ô+a /ϖ k and the basis of anoid perfectoids for X proét. Recall that we have F k (U) = R + a /ϖ k (for R + the perfectoid ring associated to the anoid perfectoid U). The transition maps in the inverse system F k (U) are surjective, so this implies condition (1) of the lemma. The second condition was recalled at the start of today. We have Γ lim = lim Γ so we can compare the two Grothendieck spectral sequences computing the derived functors of this functor. The lemma tells us that R i lim F k = 0 for all i > 0, so on the one hand (using the spectral sequence for Γ lim) we get the cohomology groups H i (X, lim F k ) = H i (X, Ô+a ). On the other hand, we get lim H i (X, Ô+a /ϖ k ) note that the higher derived functors k R i lim H i (X, Ô+a /ϖ k ) vanish for i > 0 because the transition maps M k k+1 M k are surjective. Inverting ϖ, we deduce:
4 4 Proposition 3.5. We have a φ-equivariant isomorphism H i (X, Ô) = M = ( ) r where the φ action on the right hand side is component-wise. Now we use the ArtinSchreier exact sequence: 0 F p ÔX φ 1 ÔX 0. The associated long exact sequence in cohomology, together with the fact the φ 1 is surjective on H i 1 (X, Ô) = ( ) r (since is algebraically closed), implies that we have H i (X, F p ) = H i (X, ÔX )φ=1 and (since M a = (O a )r ) we have H i (X, F p ) Fp O a = H i (X, Ô+a ) Proof of the comparison theorem over A inf. We set F k = A a inf,x /pk. onsider the pair of short exact sequences: 0 Z/p Z/p k+1 Z/p k 0 0 F 1 F k+1 F k 0 omparing the long exact sequences in cohomology for both, by induction (using the ve lemma), we lift the isomorphism H i (X, F p ) Fp O a = H i (X, Ô+a ) to an isomorphism H i (X, Z/p k ) Zp A a inf = H i (X, F k ) for all k. We take the limit over k (using the lemma from earlier as before) to get Note that the sheaf Z p on X proét H i (X, Z p ) Zp A a inf = H i (X, A a inf,x). is (by denition) lim Z/p k. 4. Almost finite generation of H i (X, O + X /p) The idea is to rst show that if V V is a strict rational embedding of anoids (rational subsets of X) then the image of H i (V, O + X /p) Hi (V, O + X /p) is afg. Note that these cohomology groups are for the pro-étale topology. Here a strict embedding means "shrink in all directions". More precisely, there exist topological generators f i of O X (V ) such that f i V are topologically nilpotent. For i = 0 this statement is not so hard: if O + X (V ) is topologically generated (as an O -algebra) by nitely many functions f i which become topologically nilpotent in O + X (V ) then the f i are nilpotent in O + X /p(v ). So the image of O + X /p(v ) in O + X /p(v ) is generated (as an O /p-algebra) by nitely many nilpotent functions, and is hence a nitely generated O /p-module. Now properness of X implies that there are two nite covers by anoids, {V i } and } such that for all i V i V i is a strict rational embedding. Now we compare the two spectral sequences computing the cohomology of O + X /p on X using the covers: {V i
5 5 and We have E p,q 1 = H q (V (p+1), O + X /p) Hp+q (X, O + X /p) (E p,q 1 ) = H q (V (p+1), O + X /p) Hp+q (X, O + X /p) where V (p+1) denotes the disjoint union of the intersections of p+1 distinct members of the cover {V i }. Our strict embeddings induce maps E p,q 1 (E p,q 1 ) which are compatible with the identity map on the abutment of the spectral sequences. Since the image of E p,q 1 in (E p,q 1 ) is afg for all p and q, we can deduce that H i (X, O + X /p) is afg (in fact the argument is a bit elaborate, see Lemma 5.8 in [2]). References [1] Bhatt, B., Morrow, M. and Scholze, P. Integral p-adic Hodge theory, arxiv: [2] Scholze, P. p-adic Hodge theory for rigid-analytic varieties, arxiv:
PERIOD RINGS AND PERIOD SHEAVES (WITH HINTS)
PERIOD RINGS AND PERIOD SHEAVES (WITH HINTS) 1. Background Story The starting point of p-adic Hodge theory is the comparison conjectures (now theorems) between p-adic étale cohomology, de Rham cohomology,
More informationTHE MAIN CONSTRUCTION I
THE MAIN CONSTRUCTION I Contents 1. Introduction/ Notation 1 2. Motivation: the Cartier isomorphism 2 3. Definition of the map 3 4. Small algebras and almost purity 3 5. Cohomology of Z d p 5 6. Décalage
More informationPeter Scholze Notes by Tony Feng. This is proved by real analysis, and the main step is to represent de Rham cohomology classes by harmonic forms.
p-adic Hodge Theory Peter Scholze Notes by Tony Feng 1 Classical Hodge Theory Let X be a compact complex manifold. We discuss three properties of classical Hodge theory. Hodge decomposition. Hodge s theorem
More informationp-adic HODGE THEORY FOR RIGID-ANALYTIC VARIETIES
p-adic HODGE THEORY FOR RIGID-ANALYTIC VARIETIES PETER SCHOLZE Abstract. We give proofs of de Rham comparison isomorphisms for rigid-analytic varieties, with coefficients and in families. This relies on
More informationLECTURE IV: PERFECT PRISMS AND PERFECTOID RINGS
LECTURE IV: PERFECT PRISMS AND PERFECTOID RINGS In this lecture, we study the commutative algebra properties of perfect prisms. These turn out to be equivalent to perfectoid rings, and most of the lecture
More informationPERFECTOID SPACES: A SURVEY
1 PERFECTOID SPACES: A SURVEY PETER SCHOLZE Abstract. This paper, written in relation to the Current Developments in Mathematics 2012 Conference, discusses the recent papers on perfectoid spaces. Apart
More informationMicro-support of sheaves
Micro-support of sheaves Vincent Humilière 17/01/14 The microlocal theory of sheaves and in particular the denition of the micro-support is due to Kashiwara and Schapira (the main reference is their book
More informationAdic Spaces. 1 Huber rings. Notes by Tony Feng for a talk by Torsten Wedhorn. April 4, 2016
Adic Spaces Notes by ony Feng for a talk by orsten Wedhorn April 4, 2016 1 Huber rings he basic building blocks of adic spaces are Huber rings. Definition 1.1. A Huber ring is a topological ring A, such
More informationA review of the foundations of perfectoid spaces
A review of the foundations of erfectoid saces (Notes for some talks in the Fargues Fontaine curve study grou at Harvard, Oct./Nov. 2017) Matthew Morrow Abstract We give a reasonably detailed overview
More informationl-adic Representations
l-adic Representations S. M.-C. 26 October 2016 Our goal today is to understand l-adic Galois representations a bit better, mostly by relating them to representations appearing in geometry. First we ll
More informationCOURSE NOTES (ROUGH) ON MATH 36501, PERFECTOID SPACES
COURSE NOTES (ROUGH) ON MATH 36501, PERFECTOID SPACES ABSTRACT. Rough notes (to be updated frequently) for my topics course in fall 2018. Comments and corrections are very welcome! 1. INTRODUCTION Let
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 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 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 informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 2
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 2 RAVI VAKIL CONTENTS 1. Where we were 1 2. Yoneda s lemma 2 3. Limits and colimits 6 4. Adjoints 8 First, some bureaucratic details. We will move to 380-F for Monday
More informationEtale cohomology of fields by Johan M. Commelin, December 5, 2013
Etale cohomology of fields by Johan M. Commelin, December 5, 2013 Etale cohomology The canonical topology on a Grothendieck topos Let E be a Grothendieck topos. The canonical topology T on E is given in
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 informationPerfectoid spaces and their applications
Perfectoid spaces and their applications February 17-21, 2014 Contents 1 Almost ring theory 1 4 1.1 Almost mathematics................................ 4 1.2 Almost commutative algebra...........................
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 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 informationNotes on p-divisible Groups
Notes on p-divisible Groups March 24, 2006 This is a note for the talk in STAGE in MIT. The content is basically following the paper [T]. 1 Preliminaries and Notations Notation 1.1. Let R be a complete
More informationFORMAL GLUEING OF MODULE CATEGORIES
FORMAL GLUEING OF MODULE CATEGORIES BHARGAV BHATT Fix a noetherian scheme X, and a closed subscheme Z with complement U. Our goal is to explain a result of Artin that describes how coherent sheaves on
More informationIdentification of the graded pieces Kęstutis Česnavičius
Identification of the graded pieces Kęstutis Česnavičius 1. TP for quasiregular semiperfect algebras We fix a prime number p, recall that an F p -algebra R is perfect if its absolute Frobenius endomorphism
More informationPeriod maps, variations of p-adic Hodge structure, and Newton stratifications (research announcement)
Period maps, variations of p-adic Hodge structure, and Newton stratifications (research announcement) David Hansen January 28, 2016 1 Let X be a connected complex manifold, and let H =(H Z, Fil H Z Z O
More informationInfinite root stacks of logarithmic schemes
Infinite root stacks of logarithmic schemes Angelo Vistoli Scuola Normale Superiore, Pisa Joint work with Mattia Talpo, Max Planck Institute Brown University, May 2, 2014 1 Let X be a smooth projective
More informationLecture 8: The Field B dr
Lecture 8: The Field B dr October 29, 2018 Throughout this lecture, we fix a perfectoid field C of characteristic p, with valuation ring O C. Fix an element π C with 0 < π C < 1, and let B denote the completion
More informationBEZOUT S THEOREM CHRISTIAN KLEVDAL
BEZOUT S THEOREM CHRISTIAN KLEVDAL A weaker version of Bézout s theorem states that if C, D are projective plane curves of degrees c and d that intersect transversally, then C D = cd. The goal of this
More informationA QUOTIENT OF THE LUBIN TATE TOWER
A QUOTIENT OF THE LUBIN TATE TOWER JUDITH LUDWIG Abstract. In this article we show that the quotient M /B(Q p) of the Lubin Tate space at infinite level M by the Borel subgroup of upper triangular matrices
More informationDiscussion Session on p-divisible Groups
Discussion Session on p-divisible Groups Notes by Tony Feng April 7, 2016 These are notes from a discussion session of p-divisible groups. Some questions were posed by Dennis Gaitsgory, and then their
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 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 informationLecture 21: Crystalline cohomology and the de Rham-Witt complex
Lecture 21: Crystalline cohomology and the de Rham-Witt complex Paul VanKoughnett November 12, 2014 As we ve been saying, to understand K3 surfaces in characteristic p, and in particular to rediscover
More informationMATH 205B NOTES 2010 COMMUTATIVE ALGEBRA 53
MATH 205B NOTES 2010 COMMUTATIVE ALGEBRA 53 10. Completion The real numbers are the completion of the rational numbers with respect to the usual absolute value norm. This means that any Cauchy sequence
More informationSPEAKER: JOHN BERGDALL
November 24, 2014 HODGE TATE AND DE RHAM REPRESENTATIONS SPEAKER: JOHN BERGDALL My goal today is to just go over some results regarding Hodge-Tate and de Rham representations. We always let K/Q p be a
More informationTHE SHIMURA-TANIYAMA FORMULA AND p-divisible GROUPS
THE SHIMURA-TANIYAMA FORMULA AND p-divisible GROUPS DANIEL LITT Let us fix the following notation: 1. Notation and Introduction K is a number field; L is a CM field with totally real subfield L + ; (A,
More informationPerfectoid Spaces and their Applications
Perfectoid Spaces and their Applications Peter Scholze Abstract. We survey the theory of perfectoid spaces and its applications. Mathematics Subject Classification (2010). 14G20, 14C30, 14L05, 14G35, 11F03
More informationDRINFELD LEVEL STRUCTURES AND LUBIN-TATE SPACES. Przemysªaw Chojecki
DRINFELD LEVEL STRUCTURES AND LUBIN-TATE SPACES Przemysªaw Chojecki Le but principal de cet exposé est de demontrer la regularité des anneaux representants les foncteurs des deformations des groupes formels
More informationCurves on an algebraic surface II
Curves on an algebraic surface II Dylan Wilson October 1, 2014 (1) Last time, Paul constructed Curves X and Pic X for us. In this lecture, we d like to compute the dimension of the Picard group for an
More informationALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES
ALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES HONGHAO GAO FEBRUARY 7, 2014 Quasi-coherent and coherent sheaves Let X Spec k be a scheme. A presheaf over X is a contravariant functor from the category of open
More 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 informationOn torsion in the cohomology of locally symmetric varieties. Peter Scholze
On torsion in the cohomology of locally symmetric varieties Peter Scholze Abstract. The main result of this paper is the existence of Galois representations associated with the mod p (or mod p m ) cohomology
More informationThe pro-étale topology for schemes Oberseminar of the AG Schmidt, Wintersemester 2017
The pro-étale topology for schemes Oberseminar of the AG Schmidt, Wintersemester 2017 Pavel Sechin Time and place: Tuesday, 11:00-13:00, Room SR3, Mathematikon, Start: 24.10.2017 The étale topology is
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 informationGLUING STABILITY CONDITIONS
GLUING STABILITY CONDITIONS JOHN COLLINS AND ALEXANDER POLISHCHUK Stability conditions Definition. A stability condition σ is given by a pair (Z, P ), where Z : K 0 (D) C is a homomorphism from the Grothendieck
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 informationCalculating deformation rings
Calculating deformation rings Rebecca Bellovin 1 Introduction We are interested in computing local deformation rings away from p. That is, if L is a finite extension of Q l and is a 2-dimensional representation
More informationGeometry 9: Serre-Swan theorem
Geometry 9: Serre-Swan theorem Rules: You may choose to solve only hard exercises (marked with!, * and **) or ordinary ones (marked with! or unmarked), or both, if you want to have extra problems. To have
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 informationPARABOLIC SHEAVES ON LOGARITHMIC SCHEMES
PARABOLIC SHEAVES ON LOGARITHMIC SCHEMES Angelo Vistoli Scuola Normale Superiore Bordeaux, June 23, 2010 Joint work with Niels Borne Université de Lille 1 Let X be an algebraic variety over C, x 0 X. What
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 informationSome remarks on Frobenius and Lefschetz in étale cohomology
Some remarks on obenius and Lefschetz in étale cohomology Gabriel Chênevert January 5, 2004 In this lecture I will discuss some more or less related issues revolving around the main idea relating (étale)
More informationArtin Approximation and Proper Base Change
Artin Approximation and Proper Base Change Akshay Venkatesh November 9, 2016 1 Proper base change theorem We re going to talk through the proof of the Proper Base Change Theorem: Theorem 1.1. Let f : X
More information121B: ALGEBRAIC TOPOLOGY. Contents. 6. Poincaré Duality
121B: ALGEBRAIC TOPOLOGY Contents 6. Poincaré Duality 1 6.1. Manifolds 2 6.2. Orientation 3 6.3. Orientation sheaf 9 6.4. Cap product 11 6.5. Proof for good coverings 15 6.6. Direct limit 18 6.7. Proof
More informationTopics in Algebraic Geometry
Topics in Algebraic Geometry Nikitas Nikandros, 3928675, Utrecht University n.nikandros@students.uu.nl March 2, 2016 1 Introduction and motivation In this talk i will give an incomplete and at sometimes
More informationThe Hodge-Tate decomposition via perfectoid spaces Arizona Winter School Bhargav Bhatt
The Hodge-Tate decomposition via perfectoid spaces Arizona Winter School 2017 Bhargav Bhatt March 9, 2017 Contents 1 Lecture 1: Introduction 2 1.1 Statement and consequences of the Hodge-Tate decomposition................
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 information1. Motivation: search for a p-adic cohomology theory
AN INTRODUCTION TO RIGID COHOMOLOGY CHRISTOPHER LAZDA 1. Motivation: search for a p-adic cohomology theory Let k be a perfect field of characteristic p > 0, W = W (k) the ring of Witt vectors of k, and
More informationConstruction of M B, M Dol, M DR
Construction of M B, M Dol, M DR Hendrik Orem Talbot Workshop, Spring 2011 Contents 1 Some Moduli Space Theory 1 1.1 Moduli of Sheaves: Semistability and Boundedness.............. 1 1.2 Geometric Invariant
More informationINTEGRAL p-adic HODGE THEORY
INTEGRAL p-adic HODGE THEORY BHARGAV BHATT, MATTHEW MORROW, AND PETER SCHOLZE Abstract. We construct a new cohomology theory for proper smooth (formal) schemes over the ring of integers of C p. It takes
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 informationThe geometric Satake isomorphism for p-adic groups
The geometric Satake isomorphism for p-adic groups Xinwen Zhu Notes by Tony Feng 1 Geometric Satake Let me start by recalling a fundamental theorem in the Geometric Langlands Program, which is the Geometric
More informationAFFINE PUSHFORWARD AND SMOOTH PULLBACK FOR PERVERSE SHEAVES
AFFINE PUSHFORWARD AND SMOOTH PULLBACK FOR PERVERSE SHEAVES YEHAO ZHOU Conventions In this lecture note, a variety means a separated algebraic variety over complex numbers, and sheaves are C-linear. 1.
More informationToric coordinates in relative p-adic Hodge theory
Toric coordinates in relative p-adic Hodge theory Kiran S. Kedlaya in joint work with Ruochuan Liu Department of Mathematics, Massachusetts Institute of Technology Department of Mathematics, University
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 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 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 information1 Moduli spaces of polarized Hodge structures.
1 Moduli spaces of polarized Hodge structures. First of all, we briefly summarize the classical theory of the moduli spaces of polarized Hodge structures. 1.1 The moduli space M h = Γ\D h. Let n be an
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 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 informationINTERSECTION THEORY CLASS 6
INTERSECTION THEORY CLASS 6 RAVI VAKIL CONTENTS 1. Divisors 2 1.1. Crash course in Cartier divisors and invertible sheaves (aka line bundles) 3 1.2. Pseudo-divisors 3 2. Intersecting with divisors 4 2.1.
More informationTHE MONODROMY-WEIGHT CONJECTURE
THE MONODROMY-WEIGHT CONJECTURE DONU ARAPURA Deligne [D1] formulated his conjecture in 1970, simultaneously in the l-adic and Hodge theoretic settings. The Hodge theoretic statement, amounted to the existence
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 informationSHIMURA VARIETIES AND TAF
SHIMURA VARIETIES AND TAF PAUL VANKOUGHNETT 1. Introduction The primary source is chapter 6 of [?]. We ve spent a long time learning generalities about abelian varieties. In this talk (or two), we ll assemble
More informationProblems on adic spaces and perfectoid spaces
Problems on adic spaces and perfectoid spaces Yoichi Mieda 1 Topological rings and valuations Notation For a valuation v : A Γ {0} on a ring A, we write Γ v for the subgroup of Γ generated by {v(a) a A}
More informationA Dieudonné Theory for p-divisible Groups
A Dieudonné Theory for p-divisible Groups Thomas Zink 1 Introduction Let k be a perfect field of characteristic p > 0. We denote by W (k) the ring of Witt vectors. Let us denote by ξ F ξ, ξ W (k) the Frobenius
More informationDerived intersections and the Hodge theorem
Derived intersections and the Hodge theorem Abstract The algebraic Hodge theorem was proved in a beautiful 1987 paper by Deligne and Illusie, using positive characteristic methods. We argue that the central
More informationConstructible isocrystals (London 2015)
Constructible isocrystals (London 2015) Bernard Le Stum Université de Rennes 1 March 30, 2015 Contents The geometry behind Overconvergent connections Construtibility A correspondance Valuations (additive
More informationthe complete linear series of D. Notice that D = PH 0 (X; O X (D)). Given any subvectorspace V H 0 (X; O X (D)) there is a rational map given by V : X
2. Preliminaries 2.1. Divisors and line bundles. Let X be an irreducible complex variety of dimension n. The group of k-cycles on X is Z k (X) = fz linear combinations of subvarieties of dimension kg:
More informationAn Outline of Homology Theory
An Outline of Homology Theory Stephen A. Mitchell June 1997, revised October 2001 Note: These notes contain few examples and even fewer proofs. They are intended only as an outline, to be supplemented
More informationLECTURES ON DEFORMATIONS OF GALOIS REPRESENTATIONS. Mark Kisin
LECTURES ON DEFORMATIONS OF GALOIS REPRESENTATIONS Mark Kisin Lecture 5: Flat deformations (5.1) Flat deformations: Let K/Q p be a finite extension with residue field k. Let W = W (k) and K 0 = FrW. We
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 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 informationFundamental groups, polylogarithms, and Diophantine
Fundamental groups, polylogarithms, and Diophantine geometry 1 X: smooth variety over Q. So X defined by equations with rational coefficients. Topology Arithmetic of X Geometry 3 Serious aspects of the
More informationMotivic integration on Artin n-stacks
Motivic integration on Artin n-stacks Chetan Balwe Nov 13,2009 1 / 48 Prestacks (This treatment of stacks is due to B. Toën and G. Vezzosi.) Let S be a fixed base scheme. Let (Aff /S) be the category of
More informationJ. Huisman. Abstract. let bxc be the fundamental Z=2Z-homology class of X. We show that
On the dual of a real analytic hypersurface J. Huisman Abstract Let f be an immersion of a compact connected smooth real analytic variety X of dimension n into real projective space P n+1 (R). We say that
More informationHodge cohomology of invertible sheaves
Hodge cohomology of invertible sheaves Hélène Esnault and Arthur Ogus February 26, 2008 1 Introduction Let k be an algebraically closed field and let X/k be a smooth projective connected k-scheme. Let
More informationMIXED HODGE MODULES PAVEL SAFRONOV
MIED HODGE MODULES PAVEL SAFRONOV 1. Mixed Hodge theory 1.1. Pure Hodge structures. Let be a smooth projective complex variety and Ω the complex of sheaves of holomorphic differential forms with the de
More informationExtensions of motives and higher Chow groups
Extensions of motives and higher Chow groups A. J. Scholl Introduction This note has two purposes: the first is to give a somewhat different description of the higher cycle class map defined by Bloch [3]
More information5 Banach Algebras. 5.1 Invertibility and the Spectrum. Robert Oeckl FA NOTES 5 19/05/2010 1
Robert Oeckl FA NOTES 5 19/05/2010 1 5 Banach Algebras 5.1 Invertibility and the Spectrum Suppose X is a Banach space. Then we are often interested in (continuous) operators on this space, i.e, elements
More informationVERY ROUGH NOTES ON SPECTRAL DEFORMATION THEORY
VERY ROUGH NOTES ON SPECTRAL DEFORMATION THEORY 1. Classical Deformation Theory I want to begin with some classical deformation theory, before moving on to the spectral generalizations that constitute
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 informationBRIAN OSSERMAN. , let t be a coordinate for the line, and take θ = d. A differential form ω may be written as g(t)dt,
CONNECTIONS, CURVATURE, AND p-curvature BRIAN OSSERMAN 1. Classical theory We begin by describing the classical point of view on connections, their curvature, and p-curvature, in terms of maps of sheaves
More informationOn Faltings method of almost étale extensions
Proceedings of Symposia in Pure Mathematics On Faltings method of almost étale extensions Martin C. Olsson Contents 1. Introduction 1 2. Almost mathematics and the purity theorem 10 3. Galois cohomology
More informationAPPENDIX 2: AN INTRODUCTION TO ÉTALE COHOMOLOGY AND THE BRAUER GROUP
APPENDIX 2: AN INTRODUCTION TO ÉTALE COHOMOLOGY AND THE BRAUER GROUP In this appendix we review some basic facts about étale cohomology, give the definition of the (cohomological) Brauer group, and discuss
More informationON WITT VECTOR COHOMOLOGY FOR SINGULAR VARIETIES
ON WITT VECTOR COHOMOLOGY FOR SINGULAR VARIETIES PIERRE BERTHELOT, SPENCER BLOCH, AND HÉLÈNE ESNAULT Abstract. Over a perfect field k of characteristic p > 0, we construct a Witt vector cohomology with
More informationLECTURE 1: OVERVIEW. ; Q p ), where Y K
LECTURE 1: OVERVIEW 1. The Cohomology of Algebraic Varieties Let Y be a smooth proper variety defined over a field K of characteristic zero, and let K be an algebraic closure of K. Then one has two different
More informationCOMPLEX ALGEBRAIC SURFACES CLASS 9
COMPLEX ALGEBRAIC SURFACES CLASS 9 RAVI VAKIL CONTENTS 1. Construction of Castelnuovo s contraction map 1 2. Ruled surfaces 3 (At the end of last lecture I discussed the Weak Factorization Theorem, Resolution
More informationCrystalline Cohomology and Frobenius
Crystalline Cohomology and Frobenius Drew Moore References: Berthelot s Notes on Crystalline Cohomology, discussions with Matt Motivation Let X 0 be a proper, smooth variety over F p. Grothendieck s etale
More informationAlgebraic varieties. Chapter A ne varieties
Chapter 4 Algebraic varieties 4.1 A ne varieties Let k be a field. A ne n-space A n = A n k = kn. It s coordinate ring is simply the ring R = k[x 1,...,x n ]. Any polynomial can be evaluated at a point
More information