SPEAKER: JOHN BERGDALL
|
|
- Ambrose Burke
- 5 years ago
- Views:
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) 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 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 informationLECTURES ON DEFORMATIONS OF GALOIS REPRESENTATIONS. Mark Kisin
LECTURES ON DEFORMATIONS OF GALOIS REPRESENTATIONS Mark Kisin Lecture 5: Flat deformations (5.1) Flat deformations: Let K/Q p be a finite extension with residue field k. Let W = W (k) and K 0 = FrW. We
More 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 informationThe 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 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 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 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 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 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 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 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 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 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 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 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 informationA 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 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 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 information5. 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 informationWhat 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 informationp-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 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 informationAN 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 informationMath 210B. Profinite group cohomology
Math 210B. Profinite group cohomology 1. Motivation Let {Γ i } be an inverse system of finite groups with surjective transition maps, and define Γ = Γ i equipped with its inverse it topology (i.e., the
More information58 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 informationAlgebraic 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 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 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 informationThe 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 informationIwasawa 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 informationMATH 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 informationPresentation 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 informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 2
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 2 RAVI VAKIL CONTENTS 1. Where we were 1 2. Yoneda s lemma 2 3. Limits and colimits 6 4. Adjoints 8 First, some bureaucratic details. We will move to 380-F for Monday
More 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 informationLast 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 informationLecture 8: The Field B dr
Lecture 8: The Field B dr October 29, 2018 Throughout this lecture, we fix a perfectoid field C of characteristic p, with valuation ring O C. Fix an element π C with 0 < π C < 1, and let B denote the completion
More informationTheory 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 informationp-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 information48 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 informationPICARD 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 informationThe 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 informationThe 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 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 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 informationWorkshop 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 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 information1 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 informationVERY ROUGH NOTES ON SPECTRAL DEFORMATION THEORY
VERY ROUGH NOTES ON SPECTRAL DEFORMATION THEORY 1. Classical Deformation Theory I want to begin with some classical deformation theory, before moving on to the spectral generalizations that constitute
More informationMATH 205B NOTES 2010 COMMUTATIVE ALGEBRA 53
MATH 205B NOTES 2010 COMMUTATIVE ALGEBRA 53 10. Completion The real numbers are the completion of the rational numbers with respect to the usual absolute value norm. This means that any Cauchy sequence
More information14 Lecture 14: Basic generallities on adic spaces
14 Lecture 14: Basic generallities on adic spaces 14.1 Introduction The aim of this lecture and the next two is to address general adic spaces and their connection to rigid geometry. 14.2 Two open questions
More 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 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 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 informationON 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 informationSurjectivity 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 informationCOMMUTATIVE 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 informationDe 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 informationHONDA-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 informationElliptic 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 informationCLASS 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 informationNOTES 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 informationFormal power series rings, inverse limits, and I-adic completions of rings
Formal power series rings, inverse limits, and I-adic completions of rings Formal semigroup rings and formal power series rings We next want to explore the notion of a (formal) power series ring in finitely
More informationON 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 informationGalois 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 informationMATH 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 informationThe 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 informationSome remarks on Frobenius and Lefschetz in étale cohomology
Some remarks on obenius and Lefschetz in étale cohomology Gabriel Chênevert January 5, 2004 In this lecture I will discuss some more or less related issues revolving around the main idea relating (étale)
More information1.5.4 Every abelian variety is a quotient of a Jacobian
16 1. Abelian Varieties: 10/10/03 notes by W. Stein 1.5.4 Every abelian variety is a quotient of a Jacobian Over an infinite field, every abelin variety can be obtained as a quotient of a Jacobian variety.
More informationLECTURE 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 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 informationForschungsseminar 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 informationTHE 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 informationHomework 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 informationGEOMETRIC 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 informationCategorifying 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 informationAzumaya 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 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 informationFROM 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 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 informationProof 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 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 informationFOUNDATIONS 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 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 informationAlgebraic 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 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 informationp,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 information10 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 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 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 informationAssume 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 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 informationTopological 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 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 informationThe geometric Satake isomorphism for p-adic groups
The geometric Satake isomorphism for p-adic groups Xinwen Zhu Notes by Tony Feng 1 Geometric Satake Let me start by recalling a fundamental theorem in the Geometric Langlands Program, which is the Geometric
More 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 informationOdds 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 informationDESCENT 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 informationLECTURE 1: OVERVIEW. ; Q p ), where Y K
LECTURE 1: OVERVIEW 1. The Cohomology of Algebraic Varieties Let Y be a smooth proper variety defined over a field K of characteristic zero, and let K be an algebraic closure of K. Then one has two different
More 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 information