Lifting the Cartier transform of Ogus-Vologodsky. modulo p n. Daxin Xu. California Institute of Technology
|
|
- Josephine Long
- 5 years ago
- Views:
Transcription
1 Lifting the Cartier transform of Ogus-Vologodsky modulo p n Daxin Xu California Institute of Technology Riemann-Hilbert correspondences 2018, Padova
2 A theorem of Deligne-Illusie k a perfect field of characteristic p > 0, W ring of Witt vectors, σ : W W Frobenius endomorphism. X/k smooth, X = X k,σ k. X F X/k X F X Spec(k) σ X Spec(k) (i) If smooth W 2 -schemes X, X and F : X X a lifting of F X/k, then: ϕ F : i 0 Ω i X /k [ i] F X/k (Ω X/k, d). (ii) If a smooth lifting X of X sur W 2, then ϕ X : p 1 i=0 Ωi X /k [ i] F X/k (τ <p (Ω X/k, d)),
3 An analogue of Simpson correspondence for modules with integrable connection in positive characteristic. They provide a nonabelian generalisation of Deligne-Illusie s theorem. p-curvature: an important notion for MIC(X/k). For Der(X/k), p = (p-times) Der(X/k). Given an object (M, ) of MIC(X/k), we consider ψ : Der(X/k) End OX (M), ( ( )) p ( p ). ψ is F X -linear, i.e. ψ(g ) = g p, g O X. We obtain an O X -linear map, called p-curvature of : ψ : M M OX F X (Ω 1 X/k ) satisfying ψ ψ = 0 (can be viewed as a F -Higgs field).
4 Cartier descent Given an O X -module M, there exists a canonical connection 0 on F X/k (M ) defined by 0 (x m) = d(x) m, x O X, m M. The p-curvature of 0 is zero. Theorem (Cartier) Mod(O X ) { } OX -modules with integrable connection of zero p-curvature M (FX/k (M ), 0 ) M (M, )
5 Ogus and Vologodsky generalise this correspondence for modules with integrable connection satisfying some nilpotent conditions. For l 0, a Higgs module (M, θ) is nilpotent of level l, if an increasing filtration N of M such that N 0 = 0, N l+1 = M and that Gr N (θ) = 0, i.e. θ(n i ) N i 1 OX Ω 1 X/k. An O X -module with integrable connection is nilpotent of level l, if its p-curvature map is nilpotent of level l. Theorem (Ogus Vologodsky, a special case) Let l < p. A smooth lifting X of X over W 2 induces C 1 X : HIG l (X /k) MIC l (X/k). For (M, θ) HIG l (X /k) and (M, ) = C 1 X (M, θ), X induces an isomorphism in D(O X ) τ <p l (M OX Ω X /k ) F X/k (τ <p l (M OX Ω X/k )).
6 A local lifting due to Shiho To understand the relation between Cartier transform and p-adic Simpson correspondence, we need to lift C 1 modulo X p n. Shiho constructed a local lifting. X a smooth formal W-scheme with special fiber X. F : X X = X W,σ W a lifting of F X/k. Shiho s functor is defined on the category p-mic(x n / W n ) of O Xn -modules with integrable p-connection. A p-connection on an O Xn -module M is an W n -linear morphism : M Ω 1 X n/ W n OXn M such that (x m) = pd(x) m + x (m), x O Xn, m M. Integrability is defined in the same way for connection.
7 We have Im(dF X/k ) = 0. df can be divided by p df p : F (Ω 1 X / W ) Ω1 X/ W. Shiho s functor: Φ n : p-mic(x n/ W n ) MIC(X n / W n ) (M, ) (F (M), ) where : F (M) Ω 1 X n/ W n OXn F (M) is defined by (xf (m)) = x ( id df p )( F ( (m)) ) + dx F (m). for x O Xn, m M.
8 In the following, we will present Oyama s approach for the Cartier transform. Then we use this approach to lift the Cartier transform and globalize Shiho s construction. We define two categories E, E as follows: E objets (U, T, u) U open X, T flat formal W-scheme u : T (= T 1 ) U affine /k E objets (U, T, u) U open X, T flat formal W-scheme u : T U affine /k, T : the closed subscheme of T defined by {x x p = 0} topology: {(U i, T i ) (U, T)} i I of E (resp. E ) is a covering if U = i I U i, and T i TUi, i I, where T Ui = u 1 (U i ), u : T (= T ) U. Oyama topos: Ẽ, Ẽ, topos of sheaves on E, E.
9 A morphism of topoi realises the Cartier transform. (U, T, u) Ob(E ), F T /k : T T factor through T U F U/k u T F T /k U u T f T /k T T F T /k where u = u σ,k k. E : the first category associated to X. We obtain ρ : E E, (U, T, u) (U, T, u f T /k ). ρ is fully faithful, continuous and cocontinuous. Then it induces a morphism of topoi C X/ W : Ẽ Ẽ such that F Ẽ, C X/ W (F )(U, T) = F (ρ(u, T)).
10 Structural sheaf: the functor on E (resp. E ) (U, T, u) Γ(T, O Tn ) define a sheaf of rings O E,n (resp. O E,n ). We have C X/W (O E,n) = O E,n. An O E,n -module (resp. O E,n -module) F the data (i) (U, T, u) of E (resp. E ), an u (O Tn )-module F (U,T) of U zar. (ii) f : (U 1, T 1, u 1 ) (U 2, T 2, u 2 ) of E (resp. E ), an u 1 (O T1,n ) linear morphism c f : u 1 (O T1,n ) (u2 (O T2,n )) U1 (F (U2,T 2)) U1 F (U1,T 1), subject to some compatibility condition. (i) F is quasi-cohérent if (U, T), F (U,T) if quasi-coherent. (ii) F is a crystal if f, c f is an isomorphism.
11 Theorem (Oyama n = 1,X) C X/W, C X/W induces equivalences of categories C qcoh (O E,n) C qcoh (O E,n ). C X/ W : transformée de Cartier (modulo pn ) Suppose a smooth formal W-scheme X with X 1 = X. (X, X) define objects of E and E. We will present an interpretation of crystals in terms of O X -modules with stratification. Based on this interpretation, Oyama show that in the case n = 1, C X/ W coincides with C 1 X (Cartier transform defined by 2 X 2 ).
12 Interpretation of crystals in terms of modules with stratification We need the envelope of : X X 2 (= X W X) in E, E : We define R X, Q X two adic formal X 2 -schemes which are universal for the following properties: flat formal W-scheme Y, f : Y X 2 / W, if g : Y = (Y 1 ) X (resp. g : Y X) s.t. g Y Y f X X 2 f R X g Y Y f X X 2 (X, R X ) E and (X, Q X ) E q 1, q 2 : (X, R X ) (resp. (X, Q X )) (X, X). f Q X
13 A local description of O RX. Let t 1,, t d be local coordinates of X and set ξ i = 1 t i t i 1 O X 2. We have q i (O RX ) O X { ξ 1 p,, ξ d } i = 1, 2. p O RX, O QX are O X -bialgebras of X zar. Moreover, they are equipped with a Hopf algebra structure (comutiplication, counit, coinverse). Let A be a Hopf O X -algebra. An A-stratification on an O X -module M is an A-linear isomorphism ε : A OX,d 2 M M OX,d 1 A satisfying some cocycle conditions. { } C (O E,n ) OXn -modules + O RX -stratification F (F (X,X), c q2 c 1 q 1 ) { } C (O E,n ) OXn -modules + O QX -stratification
14 Let P X be the PD-envelope of : X X 2. We have P X,1 X and then by universal property we obtain an X 2 -morphism P X Q X. An integrable connection is equivalent to a O PX -stratification. The pullback of the above morphism induces a functor µ : C (O E,n ) MIC(X n / W n ). Similarly, there exists a canonical functor ν : C (O E,n ) p-mic(x n / W n ).
15 Proposition Suppose a lifting F : X X = X W,σ W of F X/k. The diagram C qcoh (O E,n) C X/ W C qcoh (O E,n ) µ p-mic(x n/ W n ) Φn MIC(X n / W) is commutative up to a functorial isomorphism, M C (O E,n): η F : Φ n (µ(m )) ν(c X/ W (M )). In this diagram C X/ W depends only on X, µ, ν depend on X, and Shiho s functor Φ n, the isomorphism η F rely on F : X X. Application of C X/ W : an intrinsic interpretation of Faltings relative Fontaine Laffaille modules and of the computation of their cohomology. ν
16 Thank You!
arxiv: v1 [math.ag] 17 May 2017
LIFTING THE CARTIER TRANSFORM OF OGUS-VOLOGODSKY MODULO n arxiv:1705.06241v1 [math.ag] 17 May 2017 DAXIN XU Abstract. Let W be the ring of the Witt vectors of a erfect field of characteristic, X a smooth
More informationarxiv: v1 [math.ag] 25 Feb 2018
ON HIGHER DIRECT IMAGES OF CONVERGENT ISOCRYSTALS arxiv:1802.09060v1 [math.ag] 25 Feb 2018 DAXIN XU Abstract. Let k be a perfect field of characteristic p > 0 and W the ring of Witt vectors of k. In this
More informationSEMISTABLE HIGGS BUNDLES, PERIODIC HIGGS BUNDLES AND REPRESENTATIONS OF ALGEBRAIC FUNDAMENTAL GROUPS
SEMISTABLE HIGGS BUNDLES, PERIODIC HIGGS BUNDLES AND REPRESENTATIONS OF ALGEBRAIC FUNDAMENTAL GROUPS GUITANG LAN, MAO SHENG, AND KANG ZUO Abstract. Let k be the algebraic closure of a finite field of odd
More informationNonabelian Hodge Theory in Characteristic p.
Nonabelian Hodge Theory in Characteristic p. A. Ogus and V. Vologodsky April 22, 2007 Abstract Given a scheme in characteristic p together with a lifting modulo p 2, we construct a functor from a category
More informationNon characteristic finiteness theorems in crystalline cohomology
Non characteristic finiteness theorems in crystalline cohomology 1 Non characteristic finiteness theorems in crystalline cohomology Pierre Berthelot Université de Rennes 1 I.H.É.S., September 23, 2015
More informationNonabelian Hodge Theory in Characteristic p.
Nonabelian Hodge Theory in Characteristic p. A. Ogus and V. Vologodsky September 29, 2007 Abstract Given a scheme in characteristic p together with a lifting modulo p 2, we construct a functor from a category
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 informationConvergent isocrystals on simply connected varieties
Convergent isocrystals on simply connected varieties Hélène Esnault and Atsushi Shiho April 12, 2016 Abstract It is conjectured by de Jong that, if X is a connected smooth projective variety over an algebraically
More informationDeformation theory of representable morphisms of algebraic stacks
Deformation theory of representable morphisms of algebraic stacks Martin C. Olsson School of Mathematics, Institute for Advanced Study, 1 Einstein Drive, Princeton, NJ 08540, molsson@math.ias.edu Received:
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 informationTunisian Journal of Mathematics an international publication organized by the Tunisian Mathematical Society
Tunisian Journal of Mathematics an international publication organized by the Tunisian Mathematical Society Grothendieck Messing deformation theory for varieties of K3 type Andreas Langer and Thomas Zink
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 informationUniformization of p-adic curves via Higgs-de Rham flows
Uniformization of p-adic curves via Higgs-de Rham flows Guitang Lan, Mao Sheng, Yanhong Yang, and Kang Zuo Abstract. Let k be an algebraic closure of a finite field of odd characteristic. We prove that
More informationA GEOMETRIC CONSTRUCTION OF SEMISTABLE EXTENSIONS OF CRYSTALLINE REPRESENTATIONS. 1. Introduction
A GEOMETRIC CONSTRUCTION OF SEMISTABLE EXTENSIONS OF CRYSTALLINE REPRESENTATIONS MARTIN OLSSON Abstract. We study unipotent fundamental groups for open varieties over p-adic fields with base point degenerating
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 informationTHE GAUSS-MANIN CONNECTION ON THE PERIODIC CYCLIC HOMOLOGY
THE GAUSS-MANIN CONNECTION ON THE PERIODIC CYCLIC HOMOLOGY ALEXANDER PETROV, DMITRY VAINTROB, AND VADIM VOLOGODSKY To Sasha Beilinson on his 60th birthday, with admiration Abstract. Let R be the algebra
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 informationA p-adic GEOMETRIC LANGLANDS CORRESPONDENCE FOR GL 1
A p-adic GEOMETRIC LANGLANDS CORRESPONDENCE FOR GL 1 ALEXANDER G.M. PAULIN Abstract. The (de Rham) geometric Langlands correspondence for GL n asserts that to an irreducible rank n integrable connection
More 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 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 informationarxiv: v1 [math.ag] 14 Feb 2008
Logarithmic nonabelian Hodge theory in characteristic p Daniel Schepler ariv:0802.1977v1 [math.ag] 14 Feb 2008 Abstract Given a morphism S of log schemes of characteristic p > 0 and a lifting /S of over
More informationA mini-course on crystalline cohomology
A mini-course on crystalline cohomology June 15, 2018 Haoyang Guo Abstract This is the lecture notes for the mini-course during June 11-15, 2018 at University of Michigan, about the crystalline cohomology.
More informationFUJIWARA S THEOREM FOR EQUIVARIANT CORRESPONDENCES
FUJIWARA S THEOREM FOR EQUIVARIANT CORRESPONDENCES MARTIN OLSSON 1. Statements of results The subject of this paper is a generalization to stacks of Fujiwara s theorem [10, 5.4.5] (formerly known as Deligne
More informationAn overview of D-modules: holonomic D-modules, b-functions, and V -filtrations
An overview of D-modules: holonomic D-modules, b-functions, and V -filtrations Mircea Mustaţă University of Michigan Mainz July 9, 2018 Mircea Mustaţă () An overview of D-modules Mainz July 9, 2018 1 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 informationSeminar on Crystalline Cohomology
Seminar on Crystalline Cohomology Yun Hao November 28, 2016 Contents 1 Divided Power Algebra October 31, 2016 1 1.1 Divided Power Structure.............................. 1 1.2 Extension of Divided Power
More informationOn a question of Pink and Roessler
On a question of Pink and Roessler Hélène Esnault and Arthur Ogus August 12, 2006 1 Questions Let k be a noetherian ring and let X/k be a smooth projective k-scheme. Let L be an invertible sheaf on X For
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 informationHODGE STRUCTURE ON THE FUNDAMENTAL GROUP AND ITS APPLICATION TO p-adic INTEGRATION
MOSCOW MATHEMATICAL JOURNAL Volume 3, Number 1, January March 2003, Pages 205 247 HODGE STRUCTURE ON THE FUNDAMENTAL GROUP AND ITS APPLICATION TO p-adic INTEGRATION VADIM VOLOGODSKY Abstract. We study
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 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 informationOn the Hitchin morphism in positive characteristic
On the Hitchin morphism in positive characteristic Yves Laszlo Christian Pauly July 10, 2003 Abstract Let X be a smooth projective curve over a field of characteristic p > 0. We show that the Hitchin morphism,
More informationCohomology jump loci of local systems
Cohomology jump loci of local systems Botong Wang Joint work with Nero Budur University of Notre Dame June 28 2013 Introduction Given a topological space X, we can associate some homotopy invariants to
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 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 informationRigid cohomology and its coefficients
Rigid cohomology and its coefficients Kiran S. Kedlaya Department of Mathematics, Massachusetts Institute of Technology p-adic Geometry and Homotopy Theory Loen, August 4, 2009 These slides can be found
More informationREVISITING THE DE RHAM-WITT COMPLEX
REVISITING THE DE RHAM-WITT COMPLEX BHARGAV BHATT, JACOB LURIE, AND AKHIL MATHEW Abstract. The goal of this paper is to offer a new construction of the de Rham-Witt complex of smooth varieties over perfect
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 information6. DE RHAM-WITT COMPLEX AND LOG CRYS- TALLINE COHOMOLOGY
6. DE RHAM-WITT COMPLEX AND LOG CRYS- TALLINE COHOMOLOGY α : L k : a fine log str. on s = Spec(k) W n (L) : Teichmüller lifting of L to W n (s) : W n (L) = L Ker(W n (k) k ) L W n (k) : a [α(a)] Example
More informationThe overconvergent site
The overconvergent site Bernard Le Stum 1 Université de Rennes 1 Version of April 15, 2011 1 bernard.le-stum@univ-rennes1.fr 2 Abstract We prove that rigid cohomology can be computed as the cohomology
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 informationWhat is an ind-coherent sheaf?
What is an ind-coherent sheaf? Harrison Chen March 8, 2018 0.1 Introduction All algebras in this note will be considered over a field k of characteristic zero (an assumption made in [Ga:IC]), so that we
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 informationTHE GAUSS-MANIN CONNECTION ON THE PERIODIC CYCLIC HOMOLOGY
THE GAUSS-MANIN CONNECTION ON THE PERIODIC CYCLIC HOMOLOGY ALEXANDER PETROV DMITRY VAINTROB VADIM VOLOGODSKY To Sasha Beilinson on his 60th birthday, with admiration Abstract. Let R be the algebra of functions
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 informationA Note on Dormant Opers of Rank p 1 in Characteristic p
A Note on Dormant Opers of Rank p 1 in Characteristic p Yuichiro Hoshi May 2017 Abstract. In the present paper, we prove that the set of equivalence classes of dormant opers of rank p 1 over a projective
More informationAlgebraic varieties and schemes over any scheme. Non singular varieties
Algebraic varieties and schemes over any scheme. Non singular varieties Trang June 16, 2010 1 Lecture 1 Let k be a field and k[x 1,..., x n ] the polynomial ring with coefficients in k. Then we have two
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 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 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 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 informationAn introduction to the Riemann-Hilbert Correspondence for Unit F -Crystals.
[Page 1] An introduction to the Riemann-Hilbert Correspondence for Unit F -Crystals. Matthew Emerton and Mark Kisin In memory of Bernie Dwork Introduction Let X be a smooth scheme over C, and (M, ) an
More informationMATH 233B, FLATNESS AND SMOOTHNESS.
MATH 233B, FLATNESS AND SMOOTHNESS. The discussion of smooth morphisms is one place were Hartshorne doesn t do a very good job. Here s a summary of this week s material. I ll also insert some (optional)
More informationarxiv: v1 [math.ag] 22 Nov 2017
arxiv:1711.08162v1 [math.ag] 22 Nov 2017 BASE CHANGE OF TWISTED FONTAINE-FALTINGS MODULES AND TWISTED HIGGS-DE RHAM FLOWS OVER VERY RAMIFIED VALUATION RINGS RUIRAN SUN, JINBANG YANG, AND KANG ZUO Abstract.
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 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 informationDEFORMATION THEORY. Candidato: Mattia Talpo. Relatore: Prof. Angelo Vistoli. Controrelatore: Dott. Michele Grassi
FACOLTÀ DI SCIENZE MATEMATICHE, FISICHE E NATURALI Dipartimento di Matematica DEFORMATION THEORY Tesi di Laurea Specialistica Candidato: Mattia Talpo Relatore: Prof. Angelo Vistoli Scuola Normale Superiore
More informationDescent 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 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 informationTowards an overconvergent Deligne-Kashiwara correspondence
Towards an overconvergent Deligne-Kashiwara correspondence Bernard Le Stum 1 (work in progress with Atsushi Shiho) Version of March 22, 2010 1 bernard.le-stum@univ-rennes1.fr Connections and local systems
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 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 informationDerived Algebraic Geometry XIV: Representability Theorems
Derived Algebraic Geometry XIV: Representability Theorems March 14, 2012 Contents 1 The Cotangent Complex 6 1.1 The Cotangent Complex of a Spectrally Ringed -Topos.................... 7 1.2 The Cotangent
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 informationThe absolute de Rham-Witt complex
The absolute de Rham-Witt complex Lars Hesselholt Introduction This note is a brief survey of the absolute de Rham-Witt complex. We explain the structure of this complex for a smooth scheme over a complete
More informationO-displays and π-divisible formal O-modules
Journal of Algebra 457 (2016) 129 193 Contents lists available at ScienceDirect Journal of Algebra www.elsevier.com/locate/jalgebra -displays and π-divisible formal -modules Tobias Ahsendorf a, Chuangxun
More informationLogarithmic Geometry c 2000 M. Cailotto, Permissions on last. v0.0 Send comments and corrections to
Geometria Superiore Reference Cards Logarithmic Geometry c 2000 M. Cailotto, Permissions on last. v0.0 Send comments and corrections to maurizio@math.unipd.it Logarithmic Structures. Pre-Log Structures.
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 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 informationDERIVED CATEGORIES: LECTURE 4. References
DERIVED CATEGORIES: LECTURE 4 EVGENY SHINDER References [Muk] Shigeru Mukai, Fourier functor and its application to the moduli of bundles on an abelian variety, Algebraic geometry, Sendai, 1985, 515 550,
More informationSome Fundamental Groups in Arithmetic Geometry
Some Fundamental Groups in Arithmetic Geometry Hélène Esnault, Freie Universität Berlin Utah, 27-29-30 July 2015 Hélène Esnault, Freie Universität Berlin Fundamental Groups Utah, 27-29-30 July 2015 1 /
More informationQUANTIZATION VIA DIFFERENTIAL OPERATORS ON STACKS
QUANTIZATION VIA DIFFERENTIAL OPERATORS ON STACKS SAM RASKIN 1. Differential operators on stacks 1.1. We will define a D-module of differential operators on a smooth stack and construct a symbol map when
More informationGauß-Manin Connection via Witt-Differentials
Gauß-Manin Connection via Witt-Differentials Andreas anger Thomas Zink October 20, 2004 We generalize ideas of Bloch [Bl] about de Rham-Witt connections to a relative situation, and apply this to construct
More informationNOTES ON FLAT MORPHISMS AND THE FPQC TOPOLOGY
NOTES ON FLAT MORPHISMS AND THE FPQC TOPOLOGY RUNE HAUGSENG The aim of these notes is to define flat and faithfully flat morphisms and review some of their important properties, and to define the fpqc
More informationRational points over finite fields for regular models of algebraic varieties of Hodge type 1
Annals of Mathematics 176 (2012), 413 508 http://dx.doi.org/10.4007/annals.2012.176.1.8 Rational points over finite fields for regular models of algebraic varieties of Hodge type 1 By Pierre Berthelot,
More information1 Flat, Smooth, Unramified, and Étale Morphisms
1 Flat, Smooth, Unramified, and Étale Morphisms 1.1 Flat morphisms Definition 1.1. An A-module M is flat if the (right-exact) functor A M is exact. It is faithfully flat if a complex of A-modules P N Q
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 informationOn the Logarithmic Riemann-Hilbert Correspondence
Documenta Math. 655 On the Logarithmic Riemann-Hilbert Correspondence Arthur Ogus Received: October 15, 2002 Revised: May 23, 2003 Abstract. We construct a classification of coherent sheaves with an integrable
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 informationConnecting Coinvariants
Connecting Coinvariants In his talk, Sasha taught us how to define the spaces of coinvariants: V 1,..., V n = V 1... V n g S out (0.1) for any V 1,..., V n KL κg and any finite set S P 1. In her talk,
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 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 informationPERIOD 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 Relative Proj Construction
The Relative Proj Construction Daniel Murfet October 5, 2006 Earlier we defined the Proj of a graded ring. In these notes we introduce a relative version of this construction, which is the Proj of a sheaf
More informationCOMPACTIFICATIONS OF MODULI OF ABELIAN VARIETIES: AN INTRODUCTION. 1. Introduction
COMPACTIFICATIONS OF MODULI OF ABELIAN VARIETIES: AN INTRODUCTION. MARTIN OLSSON Abstract. In this expository paper, we survey the various approaches to compactifying moduli stacks of polarized abelian
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 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 informationSTEENROD OPERATIONS IN ALGEBRAIC GEOMETRY
STEENROD OPERATIONS IN ALGEBRAIC GEOMETRY ALEXANDER MERKURJEV 1. Introduction Let p be a prime integer. For a pair of topological spaces A X we write H i (X, A; Z/pZ) for the i-th singular cohomology group
More informationTOWARDS NON ABELIAN P ADIC HODGE THEORY IN THE GOOD REDUCTION CASE. Contents
TOWARDS NON ABELIAN P ADIC HODGE THEORY IN THE GOOD REDUCTION CASE MARTIN C. OLSSON Abstract. We develop a non abelian version of P adic Hodge Theory for varieties (possible open with nice compactification
More informationLOCAL VS GLOBAL DEFINITION OF THE FUSION TENSOR PRODUCT
LOCAL VS GLOBAL DEFINITION OF THE FUSION TENSOR PRODUCT DENNIS GAITSGORY 1. Statement of the problem Throughout the talk, by a chiral module we shall understand a chiral D-module, unless explicitly stated
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 informationPERVERSE SHEAVES. Contents
PERVERSE SHEAVES SIDDHARTH VENKATESH Abstract. These are notes for a talk given in the MIT Graduate Seminar on D-modules and Perverse Sheaves in Fall 2015. In this talk, I define perverse sheaves on a
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 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 informationOn the Néron-Ogg-Shafarevich Criterion for K3 Surfaces. Submitted By: Yukihide Nakada. Supervisor: Prof. Bruno Chiarellotto
Università degli Studi di Padova Universität Duisburg-Essen ALGANT Master s Thesis On the Néron-Ogg-Shafarevich Criterion for K3 Surfaces Submitted By: Yukihide Nakada Supervisor: Prof. Bruno Chiarellotto
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 informationCHAPTER 1. Étale cohomology
CHAPTER 1 Étale cohomology This chapter summarizes the theory of the étale topology on schemes, culminating in the results on l-adic cohomology that are needed in the construction of Galois representations
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 informationCANONICAL EXTENSIONS OF NÉRON MODELS OF JACOBIANS
CANONICAL EXTENSIONS OF NÉRON MODELS OF JACOBIANS BRYDEN CAIS Abstract. Let A be the Néron model of an abelian variety A K over the fraction field K of a discrete valuation ring R. Due to work of Mazur-Messing,
More information