SPEAKER: JOHN BERGDALL

Size: px
Start display at page:

Download "SPEAKER: JOHN BERGDALL"

Transcription

1 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 finite extension and let C = C K be the completion of an algebraic closure. I m going to go the opposite of Rob Pollack and do some formalism first and then an example at the end Hodge-Tate representations. In his talk, Robert Sayer defined a period ring B HT = C[t, t 1 ] where the Galois action of a local Galois group G K is given by g(t) = χ cycl (g)t. Using Fontaine s formalism we have a period functor A remark on the graded part: we define D HT : Rep Qp (G K ) graded K-vector spaces V (V Qp B HT ) G K. Gr i D HT (V ) = (V Qp t i C) G K The point about saying it this way is that the grading is functorial in V V (as you can obviously see). By Fontaine s formalism of admissible representations we have dim K D HT (V ) dim Qp V and a representation is Hodge-Tate (by definition) if and only if this inequality is an equality. In that case one defines the Hodge-Tate weights of V as the indices i such that Gr i D HT (V ) 0. Example 1. (a) Q p (n) has a unique Hodge-Tate weight n. (b) If G is a p-divisible group over K of height h and dimension d then the Tate-module T (G) has Hodge-Tate weights 1 (with multiplicity d) and 0 with multiplicity h d (see [2, Corollary 2, 4]) (c) As some exercises you can easily compute the Hodge-Tate weights of V W or V if V and W are Hodge-Tate de Rham represenations. There was a slightly more sophisticated period ring, called B dr, that Ben Fischer and David Corwin constructed over the last two lectures. Let me recall the properties: (a) B dr is a complete discretely valued field with residue field C. It has a continuous action of G K. (b) If B + dr B dr is the valuation ring of B dr then the map B + dr C is G K-equivariant and the kernel is generated by an element t such that Z p t Z p (1). (c) B dr is filtered by powers of its maximal ideal t i B + dr B dr. The associated graded of this filtration is Gr B dr = t i B + dr /ti+1 B + dr B HT i Z in a G K -equivariant way. Since B dr is a field, it is automatically a (Q p, G K )-regular ring in the sense of Rob Sayer s talk and thus we have a good notion of B dr -admissible representation, called de Rham representations. A little subtle here is that in order to make things concrete we need to know what B G K dr is. Lemma 2. B G K dr = K. Proof. This follows formally from the property Ben discussed last time that Gr B dr = B HT and B G K HT = K. Now let D dr (V ) = (V B dr ) G K. By the previous lemma this is a K-vector space and using Fontaine s formalism we have the following definition. Definition. V is de Rham if dim K D dr (V ) = dim Qp V. 1

2 Just as with Hodge-Tate representations there is a special category that D dr takes values. Indeed, B dr is filtered by { t i B + dr} and so if V is a representation we define Fil i D dr (V ) = (V Qp t i B + dr )G K. Note the similarity between Fil i D dr (V ) and Gr i D HT (V ). As one can see easily from the definition, if V V is a morphism of representations then the corresponding morphism D dr (V ) D dr (V ) respects the filtration. Moreover, if i is given then the natural map t i B + dr /ti+1 B + dr C(i) defines a natural sequence What I d like to say is that the diagram of functors 0 Fil i+1 D dr (V ) Fil i D dr (V ) Gr i D HT (V ) Rep Qp (G K ) D dr {filtered K-vector spaces} D HT {graded K-vector spaces} commutes. Is that quite right? I have to show that Fil i D dr (V )/ Fil i+1 D dr (V ) = Gr i D HT (V ). Hmmm...this isn t quite obvious. Before moving on, let me make a remark. Remark. The Fontaine formalism implies that dim K D dr (V ) is finite-dimensional. Further investigation into the definition of Fil D dr (V ) (e.g. the fact that tensor products have only finitely many terms) show that the filtration Fil D dr (V ) is both exhaustive (stably equal to D dr (V ) for i small) and separated (vanishes for i large). Proposition. Suppose that V is de Rham. Then V is Hodge-Tate and Fil i D dr (V )/ Fil i+1 D dr (V ) = Gr i D HT (V ). In particular, the Hodge-Tate weights of V are the indices i such that Fil i D dr (V ) Fil i+1 D dr (V ). Proof. We re going to use the Fontaine formlism. The short exact sequence above implies that Gr D dr (V ) = i Z Fil i D dr (V )/ Fil i+1 D dr (V ) D HT (V ). Since the filtration is exhaustive and separated we get dim K D dr (V ) = dim K Gr D dr (V ) dim K D HT (V ). Now use that V is de Rham. Then the left hand side is dim Qp V and thus dim Qp V dim K D HT (V ). But the other inequality is Fontaine s formalism. Thus V is Hodge-Tate. Moreover, we get an equality of the maps in the first line and so the moreover follows. The converse of the proposition is more subtle. One way to understand this is to use the following easy to remember criterion. Proposition 3. Suppose that K /K is a complete discretely valued extension inside C. Then V is de Rham if and only if V GK is de Rham. To be clear, since maybe K is some infinite extension, such as the maximal unramified extension of K, this means that dim K (V Qp B dr ) G K = dim Qp V dim K (V Qp B dr ) G K = dim Qp V It s really a wonderful result. One way to prove it is to study the canonical map (1) D dr,k (V ) K K D dr,k (V ) where D dr, (V ) is computed with respect to G. I m not going to prove this, it is [1, Proposition 6.3.8] but let me say two things: (a) First, it should be stressed that this is a feature (albeit a bad one) of B dr containing a copy of K and a continuous copy of discretely valued extension K K K. 2

3 (b) That last bit is really the key (so that you can apply what Brinon and Conrad called unramified descent ) (c) The canonical map (1) is an isomorphism of all V, not just de Rham V. Here is a corollary whose proof is so simple it helps remember the previous proposition. Note: we will see that the corollary is false if de Rham is replaced by crystalline. Corollary 4. Suppose that η : G K Q p is a character. Then η is de Rham if and only if η is Hodge-Tate. Proof. We already showed that de Rham implies Hodge-Tate. We now have to show that Hodge-Tate implies de Rham. Since η is Hodge-Tate there exists some i such that D HT (η) = (C p (i) η) G K is onedimensional. Replace η by χ i cyclη and we may assume that i = 0. Thus the Hodge-Tate assumption becomes C(η) G K = K. By Tate s theorem, η is finitely ramified. Thus there exists a complete disceretely valued extension K such that η GK = 1 (e.g. make a finite extension K /K to make η unramified then pass to K nr ). But this implies that η GK is de Rham (since the trivial character is obviously de Rham). We finish by the proposition then. One can be explicit in the previous example I think. But I don t have the energy right now to explain this; I ll do an explicit example of the Tate curve instead. We ve seen that de Rham implies Hodge-Tate and that the converse holds for dimension one objects. It does not hold in general. Proposition 5. There exists representations which are de Rham but not Hodge-Tate. More specifically any non-split extension 0 Q p (r) V Q p 0 with r < 0 is Hodge-Tate but not de Rham. Remark. More can be said. A computation of Bloch and Kato (I m not sure if this is historically first) says that: If r < 0 then every class in H 1 (G K, Q p (r)) is Hodge-Tate but not de Rham If r 1 then every class in H 1 (G K, Q p (r)) is de Rham If r = 0 then there exists a unique line of classes in H 1 (G K, Q p ) which are de Rham. Actually, it isn t that hard to prove the middle one. See [1, Example 6.3.6]. What I d like to do is be super explicit about it the case where r = 1 and the class is the p-adic representation attached to a curve with split multiplicative reduction. I think Kummer theory can tell you the same argument for every class The Tate curve example. Let E/K be a curve with split multiplicative reduction and use Tate s p-adic uniformization E(K) K /q Z (some q K and q < 1) to describe a p-adic representation T p (E) = ε, ϑ where ε = (1, ζ p, ζ p 2,... ) is a compatible choice of roots of unity and ϑ = (q, q 1/p, q 1/p2,... ) is a compatible choice of p-power roots of q. In a matrix we have that an element g G K acts by a matrix ( ) χ(g) c(g) g 0 1 where c Z p is defined so that g(q 1/pn )/q 1/pn c(g) mod pn = ζp. It s a one-cocycle in n H1 (G K, Q p (1)) (or Z p (1), whatever). If you like, you can say that g(ϑ) = c(g)ε + ϑ as elements of T p (E). This will be important in a moment. I write V p (E) = T p (E) Zp Q p. Notice that ε and ϑ are elements of our perfect local domain R = lim O C. And thus they have Teichmüller lifts [ε] and [ϑ] to W (R). Furthermore, note that when viewed as elements of R we have the equation g(ϑ) = ε c(g) ϑ. Anyways, the ubiquitous element t B + dr was defined as log([ε]) = n+1 ([ε] 1)n ( 1) n n 1 3 B + dr

4 This was ok, remember, because we checked ahead of time that [ε] 1 ker(θ). Oh yeah, let me remind you that there was this surjective θ map θ : W (R) O C θ([x]) x (0) In particular, the element [ϑ] q B + dr also lands inside the kernel of θ. Let s define the element u q = log([ϑ]). What does this even mean? Here is what I mean: n+1 ([ϑ]/q 1)n log([ϑ]/q) = ( 1) n n=1 converges in the ring B dr because [ϑ] q ker(θ) W (R) and thus [ϑ]/q 1 ker(θ) W (R)[1/p]. And now what we mean by u q is the element Lemma 6. g(u q ) = u q + c(g)tfor all g G K. u q = log(q) + log([ϑ]/q) B dr. Proof. First, g(log q) = log q so that term stays where it is. For the other one we have g(log([ϑ]/q)) = log([g(ϑ)]/q) = log([ε c(g) ϑ]/q) = c(g)t + log([ϑ]/q). Of course, there is the qualification that one has to use carefully the topology of convergence on B dr to justify the formal manipulation (but this was needed even to deal with t...). Theorem 7. V p (E) is de Rham. Proof. We need to show that (V p (E) B dr ) G K is two-dimensional. Consider first the element x = ε t 1 V p (E) B dr. We easily see that g(x) = x for all g G K. The other fixed vector is slightly trickier. Here is what we do. We consider the element u q /t = a q and we compute the Galois action. We get Thus, This is the other fixed vector. g(u q /t) = χ(g) 1 t 1 (u q + c(g)t) = χ(g) 1 (u q /t + c(g)). g(ϑ 1 ε u q /t) = c(g)ε + ϑ 1 χ(g)ε χ(g) 1 (u q /t + c(g)) = ϑ 1 ε u q /t. You might ask about what this u q /t means. I m pretty sure that u q tb + dr and so a q is an element in B + dr. It s image α q = θ(a q ) under θ is an element of C p. And what u q /t is is a lift of the Hodge-Tate period α q (V p (E) C) G K to B dr Closing thoughts. Recall that at the beginning of the seminar we decided that it would be important to understand a p-adic analog of the Néron-Ogg-Shafarevich criterion relating good reduction of abelian varieties to the unramified-ness of local Galois representations away from the residue characteristic. Either the insensitivity of being de Rham to finitely ramified extensions, or the formal calculation in cohomology, or this Tate curve example, show that being de Rham is too coarse of a property to be a good substitute. Compare with [1, p. 81]. The final step in the seminar is to remedy this by the introduction of the crystalline and semi-stable rings. Roughly speaking, a defect of B dr is that is the natural Frobenius operator on W (R) lifting the p-power map on R does not preserve ker(θ). For example ϕ([ε] 1) = [ε p ] 1 = ζ p 1 0. And so we have to introduce a smaller ring B crys B dr which will have this property. In the process the structure gets tightened quite a bit. Unfortunately, B crys misses the Tate curve examples (as it should: 4

5 those correspond to bad reduction!). To get the ring B st, one that will detect Tate curves, we just add in all the Tate periods I just computed (it turns out you need just one). References [1] O. Brinon and B. Conrad. CMI summer school notes on p-adic hodge theory, Lectures at CMI Summer School 2009, also available at B Conrad s website. [2] J. T. Tate. p-divisible groups. In Proc. Conf. Local Fields (Driebergen, 1966), pages Springer, Berlin,

PERIOD RINGS AND PERIOD SHEAVES (WITH HINTS)

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 information

Notes on p-divisible Groups

Notes on p-divisible Groups Notes on p-divisible Groups March 24, 2006 This is a note for the talk in STAGE in MIT. The content is basically following the paper [T]. 1 Preliminaries and Notations Notation 1.1. Let R be a complete

More information

LECTURES ON DEFORMATIONS OF GALOIS REPRESENTATIONS. Mark Kisin

LECTURES 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 information

Peter 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.

Peter 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 information

The Néron Ogg Shafarevich criterion Erik Visse

The Néron Ogg Shafarevich criterion Erik Visse The Néron Ogg Shafarevich criterion Erik Visse February 17, 2017 These are notes from the seminar on abelian varieties and good reductions held in Amsterdam late 2016 and early 2017. The website for the

More information

l-adic Representations

l-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 information

Algebraic Geometry Spring 2009

Algebraic 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 information

A Version of the Grothendieck Conjecture for p-adic Local Fields

A 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 information

Lecture 21: Crystalline cohomology and the de Rham-Witt complex

Lecture 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 information

F -crystalline representation and Kisin module. October 4th, 2015

F -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 information

LECTURE 2. Hilbert Symbols

LECTURE 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 information

THE SHIMURA-TANIYAMA FORMULA AND p-divisible GROUPS

THE 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 information

Toric coordinates in relative p-adic Hodge theory

Toric 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 information

Dieudonné Modules and p-divisible Groups

Dieudonné 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 information

LECTURE IV: PERFECT PRISMS AND PERFECTOID RINGS

LECTURE 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 information

Discussion Session on p-divisible Groups

Discussion 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 information

A BRIEF INTRODUCTION TO LOCAL FIELDS

A BRIEF INTRODUCTION TO LOCAL FIELDS A BRIEF INTRODUCTION TO LOCAL FIELDS TOM WESTON The purpose of these notes is to give a survey of the basic Galois theory of local fields and number fields. We cover much of the same material as [2, Chapters

More information

Smooth morphisms. Peter Bruin 21 February 2007

Smooth 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 information

A NOTE ON POTENTIAL DIAGONALIZABILITY OF CRYSTALLINE REPRESENTATIONS

A 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 information

5. Kato s higher local class field theory

5. Kato s higher local class field theory ISSN 1464-8997 (on line) 1464-8989 (printed) 53 Geometry & Topology Monographs Volume 3: Invitation to higher local fields Part I, section 5, pages 53 60 5. Kato s higher local class field theory Masato

More information

What is the Langlands program all about?

What is the Langlands program all about? What is the Langlands program all about? Laurent Lafforgue November 13, 2013 Hua Loo-Keng Distinguished Lecture Academy of Mathematics and Systems Science, Chinese Academy of Sciences This talk is mainly

More information

p-adic Galois representations and elliptic curves

p-adic Galois representations and elliptic curves Abhinandan p-adic Galois representations and elliptic curves Advisor: Prof. Nicola Mazzari Master Thesis, July 2018 Notations N, the set of natural numbers. Z, the set of integers. Q, the set of rational

More information

Raynaud on F -vector schemes and prolongation

Raynaud 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 information

AN INTRODUCTION TO THE THEORY OF p-adic REPRESENTATIONS. Laurent Berger

AN INTRODUCTION TO THE THEORY OF p-adic REPRESENTATIONS. Laurent Berger AN INTRODUCTION TO THE THEORY OF p-adic REPRESENTATIONS by Laurent Berger Abstract. This informal article is an expanded version of two lectures given in Padova during the Dwork Trimester in June 2001.

More information

Math 210B. Profinite group cohomology

Math 210B. Profinite group cohomology Math 210B. Profinite group cohomology 1. Motivation Let {Γ i } be an inverse system of finite groups with surjective transition maps, and define Γ = Γ i equipped with its inverse it topology (i.e., the

More information

58 CHAPTER 2. COMPUTATIONAL METHODS

58 CHAPTER 2. COMPUTATIONAL METHODS 58 CHAPTER 2. COMPUTATIONAL METHODS 23 Hom and Lim We will now develop more properties of the tensor product: its relationship to homomorphisms and to direct limits. The tensor product arose in our study

More information

Algebraic Number Theory Notes: Local Fields

Algebraic Number Theory Notes: Local Fields Algebraic Number Theory Notes: Local Fields Sam Mundy These notes are meant to serve as quick introduction to local fields, in a way which does not pass through general global fields. Here all topological

More information

Tunisian 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 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 information

1.6.1 What are Néron Models?

1.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 information

The Adjoint Functor Theorem.

The Adjoint Functor Theorem. The Adjoint Functor Theorem. Kevin Buzzard February 7, 2012 Last modified 17/06/2002. 1 Introduction. The existence of free groups is immediate from the Adjoint Functor Theorem. Whilst I ve long believed

More information

Iwasawa algebras and duality

Iwasawa algebras and duality Iwasawa algebras and duality Romyar Sharifi University of Arizona March 6, 2013 Idea of the main result Goal of Talk (joint with Meng Fai Lim) Provide an analogue of Poitou-Tate duality which 1 takes place

More information

MATH G9906 RESEARCH SEMINAR IN NUMBER THEORY (SPRING 2014) LECTURE 1 (FEBRUARY 7, 2014) ERIC URBAN

MATH G9906 RESEARCH SEMINAR IN NUMBER THEORY (SPRING 2014) LECTURE 1 (FEBRUARY 7, 2014) ERIC URBAN MATH G9906 RESEARCH SEMINAR IN NUMBER THEORY (SPRING 014) LECTURE 1 (FEBRUARY 7, 014) ERIC URBAN NOTES TAKEN BY PAK-HIN LEE 1. Introduction The goal of this research seminar is to learn the theory of p-adic

More information

Presentation 1

Presentation 1 18.704 Presentation 1 Jesse Selover March 5, 2015 We re going to try to cover a pretty strange result. It might seem unmotivated if I do a bad job, so I m going to try to do my best. The overarching theme

More information

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 2

FOUNDATIONS 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 information

Identification of the graded pieces Kęstutis Česnavičius

Identification 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 information

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

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 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

More information

Lecture 8: The Field B dr

Lecture 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 information

Theory of p-adic Galois Representations

Theory of p-adic Galois Representations Jean-Marc Fontaine and Yi Ouyang Theory of p-adic Galois Representations Springer Contents 0 Preliminary................................................ 1 0.1 Inverse limits and Galois theory...........................

More information

p-divisible Groups and the Chromatic Filtration

p-divisible Groups and the Chromatic Filtration p-divisible Groups and the Chromatic Filtration January 20, 2010 1 Chromatic Homotopy Theory Some problems in homotopy theory involve studying the interaction between generalized cohomology theories. This

More information

48 CHAPTER 2. COMPUTATIONAL METHODS

48 CHAPTER 2. COMPUTATIONAL METHODS 48 CHAPTER 2. COMPUTATIONAL METHODS You get a much simpler result: Away from 2, even projective spaces look like points, and odd projective spaces look like spheres! I d like to generalize this process

More information

PICARD GROUPS OF MODULI PROBLEMS II

PICARD GROUPS OF MODULI PROBLEMS II PICARD GROUPS OF MODULI PROBLEMS II DANIEL LI 1. Recap Let s briefly recall what we did last time. I discussed the stack BG m, as classifying line bundles by analyzing the sense in which line bundles may

More information

The Steenrod algebra

The Steenrod algebra The Steenrod algebra Paul VanKoughnett January 25, 2016 References are the first few chapters of Mosher and Tangora, and if you can read French, Serre s Cohomologie modulo 2 des complexes d Eilenberg-MacLane

More information

The Major Problems in Group Representation Theory

The Major Problems in Group Representation Theory The Major Problems in Group Representation Theory David A. Craven 18th November 2009 In group representation theory, there are many unsolved conjectures, most of which try to understand the involved relationship

More information

Non characteristic finiteness theorems in crystalline cohomology

Non 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 information

QUANTIZATION VIA DIFFERENTIAL OPERATORS ON STACKS

QUANTIZATION 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 information

Workshop on Serre s Modularity Conjecture: the level one case

Workshop on Serre s Modularity Conjecture: the level one case Workshop on Serre s Modularity Conjecture: the level one case UC Berkeley Monte Verità 13 May 2009 Notation We consider Serre-type representations of G = Gal(Q/Q). They will always be 2-dimensional, continuous

More information

The absolute de Rham-Witt complex

The 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 information

1 Separability and splitting fields

1 Separability and splitting fields Supplementary field theory notes E/F is a finite field extension throughout. We also fix an algebraic closure F in which all our extensions live, although it will rarely be explicitly mentioned. Further

More information

VERY ROUGH NOTES ON SPECTRAL DEFORMATION THEORY

VERY 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 information

MATH 205B NOTES 2010 COMMUTATIVE ALGEBRA 53

MATH 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 information

14 Lecture 14: Basic generallities on adic spaces

14 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 information

Endomorphism Rings of Abelian Varieties and their Representations

Endomorphism 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 information

where Σ 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

where Σ 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 information

From Crystalline to Unitary Representations

From 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 information

ON p-adic REPRESENTATIONS OF Gal(Q p /Q p ) WITH OPEN IMAGE

ON p-adic REPRESENTATIONS OF Gal(Q p /Q p ) WITH OPEN IMAGE ON p-adic REPRESENTATIONS OF Gal(Q p /Q p ) WITH OPEN IMAGE KEENAN KIDWELL 1. Introduction Let p be a prime. Recently Greenberg has given a novel representation-theoretic criterion for an absolutely irreducible

More information

Surjectivity in Honda-Tate

Surjectivity in Honda-Tate Surjectivity in Honda-Tate Brian Lawrence May 5, 2014 1 Introduction Let F q be a finite field with q = p a elements, p prime. Given any simple Abelian variety A over F q, we have seen that the characteristic

More information

COMMUTATIVE ALGEBRA LECTURE 1: SOME CATEGORY THEORY

COMMUTATIVE ALGEBRA LECTURE 1: SOME CATEGORY THEORY COMMUTATIVE ALGEBRA LECTURE 1: SOME CATEGORY THEORY VIVEK SHENDE A ring is a set R with two binary operations, an addition + and a multiplication. Always there should be an identity 0 for addition, an

More information

De Rham Cohomology. Smooth singular cochains. (Hatcher, 2.1)

De Rham Cohomology. Smooth singular cochains. (Hatcher, 2.1) II. De Rham Cohomology There is an obvious similarity between the condition d o q 1 d q = 0 for the differentials in a singular chain complex and the condition d[q] o d[q 1] = 0 which is satisfied by the

More information

HONDA-TATE THEOREM FOR ELLIPTIC CURVES

HONDA-TATE THEOREM FOR ELLIPTIC CURVES HONDA-TATE THEOREM FOR ELLIPTIC CURVES MIHRAN PAPIKIAN 1. Introduction These are the notes from a reading seminar for graduate students that I organised at Penn State during the 2011-12 academic year.

More information

Elliptic Curves over p-adic Fields

Elliptic Curves over p-adic Fields Elliptic Curves over p-adic Fields Robert L. Benedetto Amherst College University of Connecticut Saturday, May 17, 2014 Quick review of p-adic numbers The p-adic absolute value p on Q has 0 p = 0 and r

More information

CLASS FIELD THEORY WEEK Motivation

CLASS FIELD THEORY WEEK Motivation CLASS FIELD THEORY WEEK 1 JAVIER FRESÁN 1. Motivation In a 1640 letter to Mersenne, Fermat proved the following: Theorem 1.1 (Fermat). A prime number p distinct from 2 is a sum of two squares if and only

More information

NOTES IN COMMUTATIVE ALGEBRA: PART 2

NOTES IN COMMUTATIVE ALGEBRA: PART 2 NOTES IN COMMUTATIVE ALGEBRA: PART 2 KELLER VANDEBOGERT 1. Completion of a Ring/Module Here we shall consider two seemingly different constructions for the completion of a module and show that indeed they

More information

Formal power series rings, inverse limits, and I-adic completions of rings

Formal power series rings, inverse limits, and I-adic completions of rings Formal power series rings, inverse limits, and I-adic completions of rings Formal semigroup rings and formal power series rings We next want to explore the notion of a (formal) power series ring in finitely

More information

ON THE CLASSIFICATION OF RANK 1 GROUPS OVER NON ARCHIMEDEAN LOCAL FIELDS

ON THE CLASSIFICATION OF RANK 1 GROUPS OVER NON ARCHIMEDEAN LOCAL FIELDS ON THE CLASSIFICATION OF RANK 1 GROUPS OVER NON ARCHIMEDEAN LOCAL FIELDS LISA CARBONE Abstract. We outline the classification of K rank 1 groups over non archimedean local fields K up to strict isogeny,

More information

Galois groups with restricted ramification

Galois groups with restricted ramification Galois groups with restricted ramification Romyar Sharifi Harvard University 1 Unique factorization: Let K be a number field, a finite extension of the rational numbers Q. The ring of integers O K of K

More information

MATH 115, SUMMER 2012 LECTURE 12

MATH 115, SUMMER 2012 LECTURE 12 MATH 115, SUMMER 2012 LECTURE 12 JAMES MCIVOR - last time - we used hensel s lemma to go from roots of polynomial equations mod p to roots mod p 2, mod p 3, etc. - from there we can use CRT to construct

More information

The Kronecker-Weber Theorem

The Kronecker-Weber Theorem The Kronecker-Weber Theorem November 30, 2007 Let us begin with the local statement. Theorem 1 Let K/Q p be an abelian extension. Then K is contained in a cyclotomic extension of Q p. Proof: We give the

More information

Some remarks on Frobenius and Lefschetz in étale cohomology

Some 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 information

1.5.4 Every abelian variety is a quotient of a Jacobian

1.5.4 Every abelian variety is a quotient of a Jacobian 16 1. Abelian Varieties: 10/10/03 notes by W. Stein 1.5.4 Every abelian variety is a quotient of a Jacobian Over an infinite field, every abelin variety can be obtained as a quotient of a Jacobian variety.

More information

LECTURE 3: RELATIVE SINGULAR HOMOLOGY

LECTURE 3: RELATIVE SINGULAR HOMOLOGY LECTURE 3: RELATIVE SINGULAR HOMOLOGY In this lecture we want to cover some basic concepts from homological algebra. These prove to be very helpful in our discussion of singular homology. The following

More information

FALTINGS SEMINAR TALK. (rf)(a) = rf(a) = f(ra)

FALTINGS 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 information

Forschungsseminar p-adic periods and derived de Rham Cohomology after Beilinson

Forschungsseminar p-adic periods and derived de Rham Cohomology after Beilinson Forschungsseminar p-adic periods and derived de Rham Cohomology after Beilinson Organizers: Lars Kindler and Kay Rülling Sommersemester 13 Introduction If X is a smooth scheme over the complex numbers,

More information

THE ARTIN-TATE PAIRING ON THE BRAUER GROUP OF A SURFACE

THE ARTIN-TATE PAIRING ON THE BRAUER GROUP OF A SURFACE THE ARTIN-TATE PAIRING ON THE BRAUER GROUP OF A SURFACE TONY FENG Abstract. There is a canonical pairing on the Brauer group of a surface over a finite field, and an old conjecture of Tate predicts that

More information

Homework 2 - Math 603 Fall 05 Solutions

Homework 2 - Math 603 Fall 05 Solutions Homework 2 - Math 603 Fall 05 Solutions 1. (a): In the notation of Atiyah-Macdonald, Prop. 5.17, we have B n j=1 Av j. Since A is Noetherian, this implies that B is f.g. as an A-module. (b): By Noether

More information

GEOMETRIC CLASS FIELD THEORY I

GEOMETRIC CLASS FIELD THEORY I GEOMETRIC CLASS FIELD THEORY I TONY FENG 1. Classical class field theory 1.1. The Artin map. Let s start off by reviewing the classical origins of class field theory. The motivating problem is basically

More information

Categorifying quantum knot invariants

Categorifying quantum knot invariants Categorifying quantum knot invariants Ben Webster U. of Oregon November 26, 2010 Ben Webster (U. of Oregon) Categorifying quantum knot invariants November 26, 2010 1 / 26 This talk is online at http://pages.uoregon.edu/bwebster/rims-iii.pdf.

More information

Azumaya Algebras. Dennis Presotto. November 4, Introduction: Central Simple Algebras

Azumaya Algebras. Dennis Presotto. November 4, Introduction: Central Simple Algebras Azumaya Algebras Dennis Presotto November 4, 2015 1 Introduction: Central Simple Algebras Azumaya algebras are introduced as generalized or global versions of central simple algebras. So the first part

More information

On the modular curve X 0 (23)

On 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 information

FROM CHABAUTY S METHOD TO KIM S NON-ABELIAN CHABAUTY S METHOD

FROM CHABAUTY S METHOD TO KIM S NON-ABELIAN CHABAUTY S METHOD FROM CHABAUTY S METHOD TO KIM S NON-ABELIAN CHABAUTY S METHOD DAVID CORWIN Contents Notation 2 1. Classical Chabauty-Coleman-Skolem 2 1.1. Chabauty s Method 2 1.2. Non-Proper Curves and Siegel s Theorem

More information

Lecture 5: Schlessinger s criterion and deformation conditions

Lecture 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 information

Proof of the Shafarevich conjecture

Proof of the Shafarevich conjecture Proof of the Shafarevich conjecture Rebecca Bellovin We have an isogeny of degree l h φ : B 1 B 2 of abelian varieties over K isogenous to A. We wish to show that h(b 1 ) = h(b 2 ). By filtering the kernel

More information

FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.

FILTERED 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 information

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 26

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 26 FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 26 RAVI VAKIL CONTENTS 1. Proper morphisms 1 Last day: separatedness, definition of variety. Today: proper morphisms. I said a little more about separatedness of

More information

A Dieudonné Theory for p-divisible Groups

A 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 information

Algebraic Hecke Characters

Algebraic Hecke Characters Algebraic Hecke Characters Motivation This motivation was inspired by the excellent article [Serre-Tate, 7]. Our goal is to prove the main theorem of complex multiplication. The Galois theoretic formulation

More information

TCC Homological Algebra: Assignment #3 (Solutions)

TCC 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 information

p,q H (X), H (Y ) ), where the index p has the same meaning as the

p,q H (X), H (Y ) ), where the index p has the same meaning as the There are two Eilenberg-Moore spectral sequences that we shall consider, one for homology and the other for cohomology. In contrast with the situation for the Serre spectral sequence, for the Eilenberg-Moore

More information

10 l-adic representations

10 l-adic representations 0 l-adic representations We fix a prime l. Artin representations are not enough; l-adic representations with infinite images naturally appear in geometry. Definition 0.. Let K be any field. An l-adic Galois

More information

Cohomology and Base Change

Cohomology 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 information

Notes on the definitions of group cohomology and homology.

Notes 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 information

Assume the left square is a pushout. Then the right square is a pushout if and only if the big rectangle is.

Assume the left square is a pushout. Then the right square is a pushout if and only if the big rectangle is. COMMUTATIVE ALGERA LECTURE 2: MORE CATEGORY THEORY VIVEK SHENDE Last time we learned about Yoneda s lemma, and various universal constructions initial and final objects, products and coproducts (which

More information

On a question of Pink and Roessler

On 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 information

Topological Logarithmic Structures

Topological Logarithmic Structures Department of Mathematics University of Oslo 25th Nordic and 1st British Nordic Congress of Mathematicians Oslo, June 2009 Outline 1 2 3 Outline Pre-log rings Pre-log S-algebras Repleteness 1 2 3 Pre-log

More information

Algebraic Geometry Spring 2009

Algebraic 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 information

The geometric Satake isomorphism for p-adic groups

The 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 information

Un fil d Ariane pour ce workshop 1

Un 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 information

Odds and ends on equivariant cohomology and traces

Odds and ends on equivariant cohomology and traces Odds and ends on equivariant cohomology and traces Weizhe Zheng Columbia University International Congress of Chinese Mathematicians Tsinghua University, Beijing December 18, 2010 Joint work with Luc Illusie.

More information

DESCENT THEORY (JOE RABINOFF S EXPOSITION)

DESCENT THEORY (JOE RABINOFF S EXPOSITION) DESCENT THEORY (JOE RABINOFF S EXPOSITION) RAVI VAKIL 1. FEBRUARY 21 Background: EGA IV.2. Descent theory = notions that are local in the fpqc topology. (Remark: we aren t assuming finite presentation,

More information

LECTURE 1: OVERVIEW. ; Q p ), where Y K

LECTURE 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 information

Algebraic Geometry Spring 2009

Algebraic 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 information