LECTURES ON DEFORMATIONS OF GALOIS REPRESENTATIONS. Mark Kisin
|
|
- Magnus Piers Malone
- 5 years ago
- Views:
Transcription
1 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 consider a finite dimensional F-vector space equipped with a continuous action of G K. Fix an algebraic closure K of K, and let G K = Gal( K/K). Recall that a representation of G K on a finite abelian p-group is called flat if it arises from a finite flat group scheme over O K. The following result is due to Ramakrishna [Ra]: Proposition (5.1.1). Let A AR W and V A in D VF (A). There exists a quotient A fl of A such that for any morphism A A in AR W, V A =: V A A A is flat if and only if A A factors through A fl. Proof. First note that if V is a finite abelian p-group equipped with a continuous action of G K and V is flat, then any G K -stable subgroup V V is flat. Indeed, suppose V = G(O K) think of V, V as finite étale group schemes over K. If G is the closure of V in G, then V = G (O K). This remark shows that if θ : A A is a morphism in AR W then V A is flat if and only if V θ(a) is flat. Similarly, if I, J A are ideals and V A/I and V A/J is flat then V A/I J V A/I V A/J is flat. Corollary (5.1.2). Let D fl V F D VF denote the sub-functor corresponding to flat deformations. Then D fl V F D VF is relatively representable. Proof. In the language of groupoids this just means that if ξ in D VF, then (DV fl F ) ξ is representable, and this follows from (5.1.1). (5.2) Weakly admissible modules and Smoothness of the generic fibre: Proposition (5.2.1). Suppose that D VF is pro-represented by R VF and let RV fl F be the quotient of R VF which pro-represents DV fl F. Let E/W (F)[1/p] be a finite extension and x : RV fl F [1/p] E be a point such that ker x has residue field E. Write R x fl (resp. R x ) for the completion of RV fl F [1/p] (resp. R VF [1/p]) at x. For any Artinian quotient ɛ : R x B denote the specialization of the universal deformation by R VF B. Then ɛ factors through R fl V F if and only if V B factors through R fl x if and only if V B arises from a p-divisible group. Moreover this condition holds if and only if V B is crystalline. 1 Typeset by AMS-TEX
2 2 MARK KISIN Proof. Let B be in AR E and denote by Int B the set of finite O E -subalgebras A B. Then R VF B factors through some A in Int B. Denote by V A the induced G K representation. Then V B arises from a p-divisible group if and only if V A does. By a result of Raynaud [Ray, 2.3.1], V A arises from a p-divisible group if and only if V A /p n V A is flat for n 1. This is equivalent to asking that V A A A/m n A be flat for n 1, or that V A A A/m n A is in Dfl (A/m n A ). For the final statement we use Breuil s result that a crystalline representation with all Hodge-Tate weights equal to 0, 1 arises from a p-divisible group [Br, Thm ], [Ki 4, 2.2.6]. (5.2.2) The deformation theoretic description of R fl x allows us to show that this ring is always formally smooth over E, and hence that R fl V F [1/p] is formally smooth over W (F)[1/p]. To prove this we need a little preparation (see [Ki 3]). For any weakly admissible filtered ϕ-module D over K, denote by C (D) the complex C (D) the complex concentrated in degrees 0, 1. D (1 ϕ,id) D D K /Fil 0 D K Lemma (5.2.3). There is a canonical isomorphism Ext 1 w.adm(1, D) H 1 (C (D)). where 1 = K 0 denotes the unit object in the category of weakly admissible module. Proof. Let 0 D D 1 0 be an extension. Let d Fil 0 D be a lift of 1 1. Note that DK /Fil 0 D K D K /Fil 0 DK, so we may regard d D K /Fil 0 D K. Moreover (1 ϕ)( d) D. We associate the class ((1 ϕ) d, d) H 1 (C (D)) to the given extension. If (d 0, d 1 ) D D K /Fil 0 D K we construct an extension of 1 by D by setting D = D 1 on underlying K 0 -vector spaces and defining ϕ on D by ϕ(1) = 1 + d 0 and the filtration by Fil i DK = Fil i D K + K d 1 i 0 and Fil i DK = Fil i D K if i > 0. One checks that these two constructions induce the required isomorphism and its inverse. (5.2.4) Let E/Q p be a finite extension, and D E a weakly admissible filtered ϕ- module over K, equipped with an action of E. For B in AR E we denote by D DE (B) the category of weakly admissible filtered filtered ϕ-modules D B, equipped with an action of B, and an isomorphism D B B E D, such that D and gr D K are free B-modules. For V E a crystalline representation on a finite dimensional E-vector space, and B in AR E we denote by D cris (V B ) the category of crystalline deformations of V E to B.
3 LECTURES ON DEFORMATIONS OF GALOIS REPRESENTATIONS 3 Lemma (5.2.5). Let V E be as above and D E = D cris (V E ). Then D cris induces an equivalences of groupoids over AR E D VE DDE. Moreover each of these groupoids is formally smooth. Proof. The proof of the first statement is formally similar to (5.3.5) below, and left as an exercise to the reader. The formal smoothness can be proved by a deformation theoretic argument using (5.2.3) and the fact that H 2 (C (add E )) = 0. Proposition (5.2.6). In the notation of (5.2.1), let D E = D cris (V E ). The E- algebra R fl x is formally smooth of dimension dim E H 1 (C (add x )) = 1 + dim E D K /Fil 0 D K. Proof. By (5.2.1) R x fl pro-represents D VE, which is equivalent to D DE formally smooth by (5.2.5). The dimension of R x fl is equal to and hence dim E Ext 1 cris(v E, V E ) = dim E Ext 1 w.adm(d E, D E ) = dim E Ext 1 w.adm(1, add x ) = dim E H 1 (C (add)) = 1 + dim E D K /Fil 0 D K. Here the first term means crystalline self extensions of V E, as a representation of E[G K ], the second last equality follows from (5.2.3), and the final one from the fact that the Euler characteristic of a finite complex is equal to that of its cohomology. (5.3) The Fontaine-Laffaille functor and Smoothness when e = 1: Recall the Fontaine-Laffaille category MF 1 tor whose objects consist of a finite, torsion W - module M, together with a submodule M 1 M, and Frobenius semi-linear maps such that (1) ϕ M 1 = pϕ 1. (2) ϕ(m) + ϕ 1 (M 1 ) = M. ϕ : M M and ϕ 1 : M 1 M MF 1 tor is an abelian subcategory of the category of filtered W -modules of finite length [FL, ]. In particular, any morphism on MF 1 tor is strict for filtrations. Note also that if p M = 0, then ϕ(m 1 ) = 0, and so comparing the lengths of the two sides of (2) above shows that ϕ 1 is injective and ϕ(m) ϕ 1 (M 1 ) M. Theorem (5.3.1). (Fontaine-Laffaille, Raynaud) Suppose that K = K 0 and p > 2. Then there exist equivalences of abelian categories MF 1 tor {f.flat group schemes/w } {flat repns. of G K }. FL Proof. The first equivalence is obtained by composing the anti-equivalence [FL, 9,11] with Cartier duality. The second follows from Raynaud s result [Ray, 3.3.6] that when e(k/k 0 ) < p 1 the functor G G(O K) is fully faithful and the category of finite flat group schemes over O K is abelian.
4 4 MARK KISIN (5.3.2) We will need a little more information about the functor FL. For a finite flat group scheme G over W we denote by t G the tangent space of G W k, and by G the Cartier dual of G. The contravariant version of the functor is constructed via the theory of Honda systems, which is an extension of Dieudonné theory (which classifies finite flat group schemes over k) [FL, 9.7]. In particular, if G killed by p, and M = FL(G), there is an exact sequence 0 (t G σ 1 M t G 0 where σ denote the Frobenius on W. Moreover the linear map 1 ϕ 1 : M 1 σ 1 M identifies M 1 with with t G. In particular dim k M 1 = dim k ϕ 1 (M 1 ) = dim k t G. Now suppose that G is a p-divisible group, T p G its Tate module, and G its Cartier dual. Write V p G = T p G Zp Q p. Then D(G) := D cris (T p G)(1) Hom GK (T p G, B cris ) is a weakly admissible module whose associated graded is zero except in degrees 0, 1. The lattice T p G V p G corresponds to a strongly divisible lattice M D cris (T p G) with M/pM canonically isomorphic to FL(G[p]) as an object of MF 1 tor. In particular (5.3.3) dim K0 Fil 1 D(G) = rk OK0 Fil 1 M = dim k M 1 = dim k t G [p]. Theorem (5.3.4). Suppose K = K 0 and p > 2. Then D fl V F is formally smooth. If G F denote the unique finite flat model of V F, G F denotes its Cartier dual, and t G F denotes the tangent space of G F, then dim F D fl V F (F[ɛ]) = 1 + dim F t GF dim F t G F. Proof. Let M F in MF 1 tor denote the object corresponding to V F. Then M F is naturally an F-vector space by the full faithfulness of (5.2.1). Let D MF denote the groupoid over AR W (F) such that D MF (A) is the category of objects M A in MF 1 tor equipped with an action of A, such that such that M A is a finite free A-module and M 1 is an A-module direct summand, and an isomorphism M A A F M F in MF 1 tor. Lemma (5.3.5). The Fontaine-Laffaille functor of (5.2.1) induces an equivalence of categories FL : D MF D fl VF. Proof. If M A is in D MF (A) let V A be its image under FL. As FL is exact V A is finite free over A. Indeed, for any finite A-module N we have (5.3.4) FL(M A ) A N FL(M A A N). This is obvious if N is free over A, and the general case follows by choosing a presentation of N by free modules. As the right hand side is an exact functor in N,
5 LECTURES ON DEFORMATIONS OF GALOIS REPRESENTATIONS 5 so is the left hand side, which shows that V A is a free A-module. Applying (5.3.4) with N = F, one also sees that V A is naturally a deformation of V F. Conversely if V A is in DV fl F, and M A MF 1 tor satisfies FL(M A ) V A, then M A is an A-module by the full faithfulness of FL, and since MF 1 tor is abelian, the same argument as above shows that M A is free over A, and that MA 1 M A is an A-module direct summand (5.3.6) We return to the proof of (5.3.4). By the lemma to prove the formal smoothness of DV fl F it suffices to prove the formal smoothness of D MF. Let A be in AR W (F), I A an ideal and M A/I in D MF (A/I). We have to show that M A/I lifts to an object of D MF (A). First choose a lifting of the A/I-module M A/I to an A-module M A, and a submodule MA 1 M A which is a direct summand and lifts MA/I 1. Next let L A/I = ϕ 1 (MA/I 1 ), and choose a lift of L A/I to a direct summand L A M A and a lift of the composite ϕ (M A ) ϕ (M A/I ) 1 ϕ1 M A/I to L A. Finally one checks that the map 1 pϕ 1 : ϕ (MA 1 ) M A admits an extension to a map ϕ (M A ) M A which induces the given map ϕ (M A/I ) M A/I. (5.3.7) It remains to check that the dimension of DV fl F has the claimed dimension. We could do this directly by computing the dimension of D MF (F[ɛ]), however it is simpler to use our computation of the dimension of the generic fibre of RV fl F. Let x : RV fl F [1/p] E be a surjective map, where E is a finite extension of Q p. Write V x for the corresponding crystalline representation. Since we already know that RV fl F is smooth, we need to compute the dimension of the tangent space of R fl V F [1/p] at x. Let D x = D cris (V x ). Using (5.2.6) and (5.3.3)one sees that this dimension is dim E (D x /Fil 1 D x )dim E Fil 1 D x = 1 + dim F t G dim F t G. Exercises: Exercise 1: Formulate and prove Proposition (5.2.1) for framed deformations. Exercise 2: Check that the two constructions used to define the isomorphism Ext 1 w.adm(1, D) H 1 (C (D)) in (5.2.3) are well defined and inverse. Exercise 3: Give an explicit description of the isomorphism Ext 1 w.adm(1, add) Ext 1 w.adm(d, D) used in (5.2.6). Exercise 4: Show that the functor D DE in (5.2.5) is formally smooth. Exercise 5: Show that the category MF 1 tor is equivalent to the category of finite Honda systems defined in Conrad s lectures. This is slightly tricky [FL, 9.4]. 1 The computation becomes slightly easier if E = W (F)[1/p], which we may assume as R fl V F is formally smooth.
6 6 MARK KISIN References [Br] C.Breuil, Groupes p-divisibles, groupes finis et modules filtrés, Ann. Math. 152 (2000), [FL] J-M. Fontaine, G. Laffaille, Construction de représentations p-adiques, Ann. Sci. ENS 15 (1982), [Ki 3] M. Kisin, Potentially semi-stable deformation rings, J. AMS 21 (2008), [Ki 4] Crystalline representations and F -crystals, Algebraic Geometry and Number Theory, Prog. Math 253, Birk auser, 2006, pp [Ra] R. Ramakrishna, On a variation of Mazur s deformation functor, Comp. Math. 87 (1993), [Ray] M. Raynaud, Schémas en groupes de type (p,..., p), Bull. SMF 102 (1974),
LECTURES ON DEFORMATIONS OF GALOIS REPRESENTATIONS. Mark Kisin
LECTURES ON DEFORMATIONS OF GALOIS REPRESENTATIONS Mark Kisin Lecture 1: Deformations of Representations of pro-finite groups (1.1) Throughout these notes p will be a rational prime and F a finite field
More informationA NOTE ON POTENTIAL DIAGONALIZABILITY OF CRYSTALLINE REPRESENTATIONS
A NOTE ON POTENTIAL DIAGONALIZABILITY OF CRYSTALLINE REPRESENTATIONS HUI GAO, TONG LIU 1 Abstract. Let K 0 /Q p be a finite unramified extension and G K0 denote the Galois group Gal(Q p /K 0 ). We show
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 informationDieudonné Modules and p-divisible Groups
Dieudonné Modules and p-divisible Groups Brian Lawrence September 26, 2014 The notion of l-adic Tate modules, for primes l away from the characteristic of the ground field, is incredibly useful. The analogous
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 informationON LATTICES IN SEMI-STABLE REPRESENTATIONS: A PROOF OF A CONJECTURE OF BREUIL
ON LATTICES IN SEMI-STABLE REPRESENTATIONS: A PROOF OF A CONJECTURE OF BREUIL TONG LIU ABSTRACT. For p 3 an odd prime and a nonnegative integer r p 2, we prove a conjecture of Breuil on lattices in semi-stable
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 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 informationTORSION p-adic GALOIS REPRESENTATIONS
TORSION p-adic GALOIS REPRESENTATIONS TONG LIU Abstract. Let p be a prime, K a finite extension of Q p and T a finite free Z p-representation of Gal( K/K). We prove that T Zp Q p is semi-stable (resp.,
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 informationInjective Modules and Matlis Duality
Appendix A Injective Modules and Matlis Duality Notes on 24 Hours of Local Cohomology William D. Taylor We take R to be a commutative ring, and will discuss the theory of injective R-modules. The following
More informationINJECTIVE MODULES: PREPARATORY MATERIAL FOR THE SNOWBIRD SUMMER SCHOOL ON COMMUTATIVE ALGEBRA
INJECTIVE MODULES: PREPARATORY MATERIAL FOR THE SNOWBIRD SUMMER SCHOOL ON COMMUTATIVE ALGEBRA These notes are intended to give the reader an idea what injective modules are, where they show up, and, to
More informationNotes on Dieudonné Modules
Notes on Dieudonné Modules Jesse Kass November 30, 2005 The goal of Dieudonné theory is to classify all finite commutative p-groups over a perfect field of characteristic p. The following notes are an
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 informationF -crystalline representation and Kisin module. October 4th, 2015
Bryden Cais University of Arizona Purdue University October 4th, 2015 Basic Settings Let k be a perfect field of characteristic p with ring of Witt vectors W := W (k), write K 0 := W [1/p] and let K /K
More informationSeminar on Rapoport-Zink spaces
Prof. Dr. U. Görtz SS 2017 Seminar on Rapoport-Zink spaces In this seminar, we want to understand (part of) the book [RZ] by Rapoport and Zink. More precisely, we will study the definition and properties
More information3. Categories and Functors We recall the definition of a category: Definition 3.1. A category C is the data of two collections. The first collection
3. Categories and Functors We recall the definition of a category: Definition 3.1. A category C is the data of two collections. The first collection is called the objects of C and is denoted Obj(C). Given
More informationPRODUCING GEOMETRIC DEFORMATIONS OF ORTHOGONAL AND SYMPLECTIC GALOIS REPRESENTATIONS
PRODUCING GEOMETRIC DEFORMATIONS OF ORTHOGONA AND SYMPECTIC GAOIS REPRESENTATIONS JEREMY BOOHER Abstract. For a representation of the absolute Galois group of the rationals over a finite field of characteristic
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 informationThe Grothendieck-Katz Conjecture for certain locally symmetric varieties
The Grothendieck-Katz Conjecture for certain locally symmetric varieties Benson Farb and Mark Kisin August 20, 2008 Abstract Using Margulis results on lattices in semi-simple Lie groups, we prove the Grothendieck-
More informationLECTURE 2. Hilbert Symbols
LECTURE 2 Hilbert Symbols Let be a local field over Q p (though any local field suffices) with char() 2. Note that this includes fields over Q 2, since it is the characteristic of the field, and not the
More informationUn fil d Ariane pour ce workshop 1
Un fil d Ariane pour ce workshop 1 (Main Tools) Modularity Lifting Theorems MLT for residually reducible representations [SW1], MLT for potentially Barsotti-Tate deformations [K1], (MLT for crystalline
More informationMATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA 23
MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA 23 6.4. Homotopy uniqueness of projective resolutions. Here I proved that the projective resolution of any R-module (or any object of an abelian category
More informationIntegral Models for Shimura Varieties of Abelian Type
Integral Models for Shimura Varieties of Abelian Type The Harvard community has made this article openly available. Please share how this access benefits you. Your story matters. Citation Published Version
More informationINTRO TO TENSOR PRODUCTS MATH 250B
INTRO TO TENSOR PRODUCTS MATH 250B ADAM TOPAZ 1. Definition of the Tensor Product Throughout this note, A will denote a commutative ring. Let M, N be two A-modules. For a third A-module Z, consider the
More informationMathematisches Institut, Seminars, (Y. Tschinkel, ed.), p Universität Göttingen,
Mathematisches Institut, Seminars, (Y. Tschinkel, ed.), p. 99 108 Universität Göttingen, 2004-05 FINITE FLAT COMMUTATIVE GROUP SCHEMES OVER COMPLETE DISCRETE VALUATION FIELDS: CLASSIFICATION, STRUCTURAL
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 informationDraft: July 15, 2007 ORDINARY PARTS OF ADMISSIBLE REPRESENTATIONS OF p-adic REDUCTIVE GROUPS I. DEFINITION AND FIRST PROPERTIES
Draft: July 15, 2007 ORDINARY PARTS OF ADISSIBLE REPRESENTATIONS OF p-adic REDUCTIVE ROUPS I. DEFINITION AND FIRST PROPERTIES ATTHEW EERTON Contents 1. Introduction 1 2. Representations of p-adic analytic
More informationNOTES ON TATE S p-divisible GROUPS. 1. Statement of purpose The aim here is simply to provide some details to some of the proofs in Tate s paper [T].
NOTES ON TATE S p-divisible GROUPS THOMAS J. HAINES 1. Statement of purpose The aim here is simply to provide some details to some of the proofs in Tate s paper [T]. 2. Tate s Section 2.2 2.1. Lemmas about
More 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 informationFINITE GROUP SCHEMES OVER BASES WITH LOW RAMIFICATION
FINITE GROUP SCHEMES OVER BSES WITH LOW RMIFICTION BRIN CONRD bstract. Let be a complete characteristic (0, p) discrete valuation ring with absolute ramification degree e and a perfect residue field. We
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 informationCoherent sheaves on elliptic curves.
Coherent sheaves on elliptic curves. Aleksei Pakharev April 5, 2017 Abstract We describe the abelian category of coherent sheaves on an elliptic curve, and construct an action of a central extension of
More informationarxiv: v1 [math.ag] 2 Oct 2009
THE GENERALIZED BURNSIDE THEOREM IN NONCOMMUTATIVE DEFORMATION THEORY arxiv:09100340v1 [mathag] 2 Oct 2009 EIVIND ERIKSEN Abstract Let A be an associative algebra over a field k, and let M be a finite
More informationCommutative algebraic groups up to isogeny
Commutative algebraic groups up to isogeny Michel Brion Abstract Consider the abelian category C k of commutative algebraic groups over a field k. By results of Serre and Oort, C k has homological dimension
More informationRAMIFIED DEFORMATION PROBLEMS
RAMIFIED DEFORMATION PROBLEMS BRIAN CONRAD Introduction The proof of the semistable Taniyama-Shimura Conjecture by Wiles [22] and Taylor-Wiles [21] uses as its central tool the deformation theory of Galois
More informationLecture 6: Etale Fundamental Group
Lecture 6: Etale Fundamental Group October 5, 2014 1 Review of the topological fundamental group and covering spaces 1.1 Topological fundamental group Suppose X is a path-connected topological space, and
More informationLevel Structures of Drinfeld Modules Closing a Small Gap
Level Structures of Drinfeld Modules Closing a Small Gap Stefan Wiedmann Göttingen 2009 Contents 1 Drinfeld Modules 2 1.1 Basic Definitions............................ 2 1.2 Division Points and Level Structures................
More informationOn the modular curve X 0 (23)
On the modular curve X 0 (23) René Schoof Abstract. The Jacobian J 0(23) of the modular curve X 0(23) is a semi-stable abelian variety over Q with good reduction outside 23. It is simple. We prove that
More informationBreuil s classification of p-divisible groups over regular local rings of arbitrary dimension
Breuil s classification of p-divisible groups over regular local rings of arbitrary dimension Adrian Vasiu and Thomas Zink September 2, 2009 To appear in Advanced Studies in Pure Mathematics, Algebraic
More informationBRAUER GROUPS 073W. This is a chapter of the Stacks Project, version 74eb6f76, compiled on May 29, 2018.
BRAUER GROUPS 073W Contents 1. Introduction 1 2. Noncommutative algebras 1 3. Wedderburn s theorem 2 4. Lemmas on algebras 2 5. The Brauer group of a field 4 6. Skolem-Noether 5 7. The centralizer theorem
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 informationIsogeny invariance of the BSD conjecture
Isogeny invariance of the BSD conjecture Akshay Venkatesh October 30, 2015 1 Examples The BSD conjecture predicts that for an elliptic curve E over Q with E(Q) of rank r 0, where L (r) (1, E) r! = ( p
More informationp-divisible GROUPS 1. p-divisible groups and finite group schemes Here are two related problems with the algebraic geometry of formal groups.
p-divisible GROUPS PAUL VANKOUGHNETT 1. p-divisible groups and finite group schemes Here are two related problems with the algebraic geometry of formal groups. Problem 1. The height of a formal group is
More informationRaynaud on F -vector schemes and prolongation
Raynaud on F -vector schemes and prolongation Melanie Matchett Wood November 7, 2010 1 Introduction and Motivation Given a finite, flat commutative group scheme G killed by p over R of mixed characteristic
More 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 informationDerivations and differentials
Derivations and differentials Johan Commelin April 24, 2012 In the following text all rings are commutative with 1, unless otherwise specified. 1 Modules of derivations Let A be a ring, α : A B an A algebra,
More informationDraft: February 26, 2010 ORDINARY PARTS OF ADMISSIBLE REPRESENTATIONS OF p-adic REDUCTIVE GROUPS I. DEFINITION AND FIRST PROPERTIES
Draft: February 26, 2010 ORDINARY PARTS OF ADISSIBLE REPRESENTATIONS OF p-adic REDUCTIVE ROUPS I. DEFINITION AND FIRST PROPERTIES ATTHEW EERTON Contents 1. Introduction 1 2. Representations of p-adic analytic
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 informationCategories and functors
Lecture 1 Categories and functors Definition 1.1 A category A consists of a collection ob(a) (whose elements are called the objects of A) for each A, B ob(a), a collection A(A, B) (whose elements are called
More informationA Version of the Grothendieck Conjecture for p-adic Local Fields
A Version of the Grothendieck Conjecture for p-adic Local Fields by Shinichi MOCHIZUKI* Section 0: Introduction The purpose of this paper is to prove an absolute version of the Grothendieck Conjecture
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 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 informationCover Page. Author: Yan, Qijun Title: Adapted deformations and the Ekedahl-Oort stratifications of Shimura varieties Date:
Cover Page The handle http://hdl.handle.net/1887/56255 holds various files of this Leiden University dissertation Author: Yan, Qijun Title: Adapted deformations and the Ekedahl-Oort stratifications of
More informationThe study of 2-dimensional p-adic Galois deformations in the l p case
The study of 2-dimensional p-adic Galois deformations in the l p case Vincent Pilloni April 22, 2008 Abstract We introduce the language and give the classical results from the theory of deformations :
More informationNOTES ON BASIC HOMOLOGICAL ALGEBRA 0 L M N 0
NOTES ON BASIC HOMOLOGICAL ALGEBRA ANDREW BAKER 1. Chain complexes and their homology Let R be a ring and Mod R the category of right R-modules; a very similar discussion can be had for the category of
More informationNotes on the definitions of group cohomology and homology.
Notes on the definitions of group cohomology and homology. Kevin Buzzard February 9, 2012 VERY sloppy notes on homology and cohomology. Needs work in several places. Last updated 3/12/07. 1 Derived functors.
More informationHungry, Hungry Homology
September 27, 2017 Motiving Problem: Algebra Problem (Preliminary Version) Given two groups A, C, does there exist a group E so that A E and E /A = C? If such an group exists, we call E an extension of
More informationLECTURE 4: SOERGEL S THEOREM AND SOERGEL BIMODULES
LECTURE 4: SOERGEL S THEOREM AND SOERGEL BIMODULES DMYTRO MATVIEIEVSKYI Abstract. These are notes for a talk given at the MIT-Northeastern Graduate Student Seminar on category O and Soergel bimodules,
More informationMath 210B. The bar resolution
Math 210B. The bar resolution 1. Motivation Let G be a group. In class we saw that the functorial identification of M G with Hom Z[G] (Z, M) for G-modules M (where Z is viewed as a G-module with trivial
More informationGALOIS DEFORMATION THEORY FOR NORM FIELDS AND FLAT DEFORMATION RINGS
GLOIS DEFORMTION THEORY FOR NORM FIELDS ND FLT DEFORMTION RINGS WNSU KIM bstract. Let K be a finite extension of Q p, and choose a uniformizer π K, and put K := K( p π). We introduce a new technique using
More informationn P say, then (X A Y ) P
COMMUTATIVE ALGEBRA 35 7.2. The Picard group of a ring. Definition. A line bundle over a ring A is a finitely generated projective A-module such that the rank function Spec A N is constant with value 1.
More informationFILTRATION ASSOCIATED TO TORSION SEMI-STABLE REPRESENTATIONS
Ann. Inst. Fourier, Grenoble Article à paraître. FILTRATION ASSOCIATED TO TORSION SEMI-STABLE REPRESENTATIONS by Tong LIU (*) Abstract. Let p be an odd prime, K a finite extension of Q p and G := Gal(Q
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 informationTheta divisors and the Frobenius morphism
Theta divisors and the Frobenius morphism David A. Madore Abstract We introduce theta divisors for vector bundles and relate them to the ordinariness of curves in characteristic p > 0. We prove, following
More informationEndomorphism Rings of Abelian Varieties and their Representations
Endomorphism Rings of Abelian Varieties and their Representations Chloe Martindale 30 October 2013 These notes are based on the notes written by Peter Bruin for his talks in the Complex Multiplication
More informationCOHEN-MACAULAY RINGS SELECTED EXERCISES. 1. Problem 1.1.9
COHEN-MACAULAY RINGS SELECTED EXERCISES KELLER VANDEBOGERT 1. Problem 1.1.9 Proceed by induction, and suppose x R is a U and N-regular element for the base case. Suppose now that xm = 0 for some m M. We
More informationDIEUDONNÉ CRYSTALS AND WACH MODULES FOR p-divisible GROUPS
DIEUDONNÉ CRYSTALS AND WACH MODULES FOR p-divisible GROUPS BRYDEN CAIS AND EIKE LAU Abstract. Let k be a perfect field of characteristic p > 2 and K an extension of F = Frac W (k) contained in some F (µ
More informationLECTURE 11: SOERGEL BIMODULES
LECTURE 11: SOERGEL BIMODULES IVAN LOSEV Introduction In this lecture we continue to study the category O 0 and explain some ideas towards the proof of the Kazhdan-Lusztig conjecture. We start by introducing
More informationp-divisible Groups: Definitions and Examples
p-divisible Groups: Definitions and Examples Dylan Attwell-Duval Department of Mathematics and Statistics McGill University Montreal, Quebec attwellduval@math.mcgill.ca April 18, 2013 Connected vs. étale
More informationFILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.
FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0
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 informationCATEGORY THEORY. Cats have been around for 70 years. Eilenberg + Mac Lane =. Cats are about building bridges between different parts of maths.
CATEGORY THEORY PROFESSOR PETER JOHNSTONE Cats have been around for 70 years. Eilenberg + Mac Lane =. Cats are about building bridges between different parts of maths. Definition 1.1. A category C consists
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 informationStructures of AS-regular Algebras
Structures of AS-regular Algebras Hiroyuki Minamoto and Izuru Mori Abstract In this paper, we define a notion of AS-Gorenstein algebra for N-graded algebras, and show that symmetric AS-regular algebras
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 informationTCC Homological Algebra: Assignment #3 (Solutions)
TCC Homological Algebra: Assignment #3 (Solutions) David Loeffler, d.a.loeffler@warwick.ac.uk 30th November 2016 This is the third of 4 problem sheets. Solutions should be submitted to me (via any appropriate
More informationDraft: January 2, 2006 ON THE INTERPOLATION OF SYSTEMS OF EIGENVALUES ATTACHED TO AUTOMORPHIC HECKE EIGENFORMS
Draft: January 2, 2006 ON THE INTERPOLATION OF SYSTEMS OF EIGENVALUES ATTACHED TO AUTOMORPHIC HECKE EIGENFORMS Matthew Emerton Northwestern University To Barry Mazur, for his 65th birthday Contents 1.
More informationRigidity, locally symmetric varieties and the Grothendieck-Katz Conjecture
Rigidity, locally symmetric varieties and the Grothendieck-Katz Conjecture Benson Farb and Mark Kisin May 8, 2009 Abstract Using Margulis s results on lattices in semisimple Lie groups, we prove the Grothendieck-
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 informationOn the Maximal Unramified Quotients of. and Logarithmic Hodge Witt Sheaves
Documenta Math. 833 On the Maximal Unramified Quotients of p-adic Étale Cohomology Groups and Logarithmic Hodge Witt Sheaves Dedicated to Professor K. Kato on his 50th birthday Takeshi Tsuji Received:
More informationClassification of Dieudonné Modules up to Isogeny
McGill University April 2013 The Motivation Why up to Isogeny? Easier problem might shed light on the harder problem. The theory might actually be nicer. Fits in well with a different perspective on Shimura
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 informationARITHMETIC OF CURVES OVER TWO DIMENSIONAL LOCAL FIELD
1 ARITHMETIC OF CURVES OVER TWO DIMENSIONAL LOCAL FIELD BELGACEM DRAOUIL Abstract. We study the class field theory of curve defined over two dimensional local field. The approch used here is a combination
More informationNOTES ON PROCESI BUNDLES AND THE SYMPLECTIC MCKAY EQUIVALENCE
NOTES ON PROCESI BUNDLES AND THE SYMPLECTIC MCKAY EQUIVALENCE GUFANG ZHAO Contents 1. Introduction 1 2. What is a Procesi bundle 2 3. Derived equivalences from exceptional objects 4 4. Splitting of the
More informationLecture 5: Schlessinger s criterion and deformation conditions
Lecture 5: Schlessinger s criterion and deformation conditions Brandon Levin October 30, 2009 1. What does it take to be representable? We have been discussing for several weeks deformation problems, and
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 information1.6.1 What are Néron Models?
18 1. Abelian Varieties: 10/20/03 notes by W. Stein 1.6.1 What are Néron Models? Suppose E is an elliptic curve over Q. If is the minimal discriminant of E, then E has good reduction at p for all p, in
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 informationLECTURES ON SYMPLECTIC REFLECTION ALGEBRAS
LECTURES ON SYMPLECTIC REFLECTION ALGEBRAS IVAN LOSEV 18. Category O for rational Cherednik algebra We begin to study the representation theory of Rational Chrednik algebras. Perhaps, the class of representations
More informationThe Diamond Category of a Locally Discrete Ordered Set.
The Diamond Category of a Locally Discrete Ordered Set Claus Michael Ringel Let k be a field Let I be a ordered set (what we call an ordered set is sometimes also said to be a totally ordered set or a
More informationA thesis submitted in conformity with the requirements for the degree of Doctor of Philosophy Graduate Department of Mathematics University of Toronto
On mod p local-global compability for unramified GL 3 by John Enns A thesis submitted in conformity with the requirements for the degree of Doctor of Philosophy Graduate Department of Mathematics University
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 informationMATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA
MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA These are notes for our first unit on the algebraic side of homological algebra. While this is the last topic (Chap XX) in the book, it makes sense to
More informationDifferent Constructions of Universal Deformation Rings
Different Constructions of Universal Deformation Rings Math 847: A Proof of Fermat s Last Theorem, Spring 2013 Rachel Davis Contents 1 Introduction 1 1.1 Representability.......................... 2 2
More informationRAMIFICATION CORRESPONDENCE OF FINITE FLAT GROUP SCHEMES OVER EQUAL AND MIXED CHARACTERISTIC LOCAL FIELDS
RAMIFICATION CORRESPONDENCE OF FINITE FLAT GROUP SCHEMES OVER EQUAL AND MIXED CHARACTERISTIC LOCAL FIELDS SHIN HATTORI Abstract. Let p > 2 be a rational prime, k be a perfect field of characteristic p
More informationIn the special case where Y = BP is the classifying space of a finite p-group, we say that f is a p-subgroup inclusion.
Definition 1 A map f : Y X between connected spaces is called a homotopy monomorphism at p if its homotopy fibre F is BZ/p-local for every choice of basepoint. In the special case where Y = BP is the classifying
More informationFrom Crystalline to Unitary Representations
Contemporary Mathematics From Crystalline to Unitary Representations Enno Nagel Abstract. We review for the unacquainted a key construction in the p- adic Langlands program: The functor from the category
More informationMorava K-theory of BG: the good, the bad and the MacKey
Morava K-theory of BG: the good, the bad and the MacKey Ruhr-Universität Bochum 15th May 2012 Recollections on Galois extensions of commutative rings Let R, S be commutative rings with a ring monomorphism
More informationMath 210C. The representation ring
Math 210C. The representation ring 1. Introduction Let G be a nontrivial connected compact Lie group that is semisimple and simply connected (e.g., SU(n) for n 2, Sp(n) for n 1, or Spin(n) for n 3). Let
More information