DOCSLIB.ORG

The Six-Functor Formalism for Rigid Analytic Motives

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
The Six-Functor Formalism for Rigid Analytic Motives THE SIX-FUNCTOR FORMALISM FOR RIGID ANALYTIC MOTIVES JOSEPH AYOUB, MARTIN GALLAUER, AND ALBERTO VEZZANI Abstract. Weoffer a systematic study of rigid analytic motives over general rigid analytic spaces, and we develop their six-functor formalism. A key ingredient is an extended proper base change theorem that we are able to justify by reducing to the case of algebraic motives. In fact, more generally, we develop a powerful technique for reducing questions about rigid analytic motives to questions about algebraic motives, which is likely to be useful in other contexts as well. We pay special attention to establishing our results without noetherianity assumptions on rigid analytic spaces. This is indeed possible using Raynaud’s approach to rigid analytic geometry. Contents Introduction 2 Notation and conventions 4 1. Formal and rigid analytic geometry 6 1.1. Recollections 6 1.2. Relation with adic spaces 10 1.3. Étale and smooth morphisms 11 1.4. Topologies 17 2. Rigid analytic motives 23 2.1. The construction 23 2.2. Previously available functoriality 29 2.3. Descent 36 2.4. Compact generation 40 2.5. Continuity, I. A preliminary result 46 2.6. Continuity,II.Approximationuptohomotopy 51 2.7. Quasi-compact base change 60 2.8. Stalks 63 2.9. (Semi-)separatedness 69 arXiv:2010.15004v1 [math.AG] 28 Oct 2020 2.10. Rigidity 74 3. Rigidanalyticmotivesasmodulesinformalmotives 79 3.1. Formal and algebraic motives 80 3.2. Descent, continuity and stalks, I. The case of formal motives 83 3.3. Statement of the main result 85 3.4. Construction of ξ⊗ 86 3.5. Descent, continuity and stalks, II. The case of χΛ-modules 91 e Key words and phrases. Motives (algebraic, formal and rigid analytic), six-functor formalism, proper base change theorem. The first author is partially supported by the Swiss National Science Foundation (SNF), project 200020_178729. The third author is partially supported by the Agence Nationale de la Recherche (ANR), projects ANR-14-CE25-0002 and ANR-18-CE40-0017. 1 3.6. Proof of the main result, I. Fully faithfulness 98 3.7. Proof of the main result, II. Sheafification 107 3.8. Complement 118 4. Thesix-functorformalismforrigidanalyticmotives 139 4.1. Extended proper base change theorem 139 4.2. Weak compactifications 147 4.3. The exceptional functors, I. Construction 150 4.4. The exceptional functors, II. Exchange 156 4.5. Projection formula 173 4.6. Compatibilitywiththeanalytificationfunctor 176 References 180 Introduction In this paper, we study rigid analytic motives over general rigid analytic spaces and we develop a six-functor formalism for them. We have tried to free our treatment from unnecessary hypotheses, and many of our main results hold in great generality, with the notable exception of Theorems 3.3.3(2) and 3.8.1 where we impose étale descent. (This is necessary for the former but might be superfluous for the latter.) In this introduction, we restrict to étale rigid analytic motives with rational coefficients, for which our results are the most complete.1 Rigid analytic motives were introduced in [Ayo15] as a natural extension of the notion of a motive associated to a scheme. Given a rigid analytic space S , we denote by RigDA´et(S ; Q) the -category of étale rigid analytic motives over S with rational coefficients. Given a morphism of rigid∞ analytic spaces f : T S , the functoriality of the construction yields an adjunction → f ∗ : RigDA´et(S ; Q) ⇄ RigDA´et(T; Q): f . (0.1) ∗ When f is locally of finite type, we construct in this paper another adjunction ! f! : RigDA´et(T; Q) ⇄ RigDA´et(S ; Q): f , (0.2) ! and show that the functors f ∗, f , f!, f , and Hom satisfy the usual properties of the six-functor formalism. In particular, we have∗ a base⊗ change theorem for direct images with compact support, i.e., an equivalence g∗ f f ′ g′∗ for every Cartesian square of rigid analytic spaces ◦ ! ≃ ! ◦ g′ T ′ / T f ′ f g S ′ / S with f locally of finite type. Also, we have an equivalence f! f , when f is proper, and an ! ≃ ∗ equivalence f f ∗(d)[2d], when f is smooth of pure relative dimension d. Of course, our six- functor formalism≃ matches the one developed by Huber [Hub96] for the étale cohomology of adic spaces. (Similar formalisms for étale cohomology were also developed by Berkovich [Ber93] and de Jong–van der Put [dJvdP96].) 1In fact, everything we say here holds more generally with coefficients in an arbitrary ring when the class of rigid analytic spaces is accordingly restricted. For instance, if one is only considering rigid analytic spaces over Qp of finite 1 étale cohomological dimension, the results discussed in the introduction are valid with Z[p− ]-coefficients. 2 A partial six-functor formalism for rigid analytic motives was obtained in [Ayo15, §1.4] at a minimal cost as an application of the theory developed in [Ayo07a, Chapitre 1]. Given a non- archimedean field K and a classical affinoid K-algebra A, the assignment sending a finite type an A-scheme X to the -category RigDA´et(X ; Q) is a stable homotopical functor in the sense of [Ayo07a, Définition∞ 1.4.1]. (Here Xan is the analytification of X.) Applying [Ayo07a, Scholie 1.4.2], we have in particular an adjunction as in (0.2) under the assumption that f is algebraizable, i.e., that f is the analytification of a morphism between finite type A-schemes, for some unspecified classical affinoid K-algebra A. Clearly, it is unnatural and unsatisfactory to restrict to algebraizable morphisms, and it is our objective in this paper to remove this restriction. The key ingredient for doing so is Theorem 4.1.4 which we may consider as an extended proper base change theorem for commuting direct images along proper maps and extension by zero along open immersions. It is worth noting that in the algebraic setting, the extended proper base change theorem is essentially a reformulation of the usual one, but this is far from true in the rigid analytic setting. In fact, the usual proper base change theorem in rigid analytic geometry is a particular case of the so-called quasi-compact base change theorem (see Theorem 2.7.1) which is an easier property. The extended proper base change theorem is already known if one restricts to projective mor- phisms and can be deduced from the partial six-functor formalism developed in [Ayo15, §1.4]. However, in the rigid analytic setting, it is not possible to deduce the general case of proper mor- phisms from the special case of projective morphisms. Indeed, the classical argument used in [SGAIV3, Exposé XII] for reducing the proper case to the projective case relies on Chow’s Lemma for which there is no analogue in rigid analytic geometry. (For instance, there are proper rigid an- alytic tori which are not algebraizable [FvdP04, §6.6].) Therefore, a new approach was necessary for proving Theorem 4.1.4 in general. Our approach is based on another contact point with algebraic geometry: instead of using the analytification functor from schemes to rigid analytic spaces, we go backward and associate to a rigid analytic space X the pro-scheme consisting of the special fibers of the different formal models of X. This was already exploited in [Ayo15, Chapitre 1] when proving that, for K = k((π)) with k a field of characteristic zero, there is an equivalence RigSH(K) quSH(k), with quSH(k) SH(G ) the sub- -category of quasi-unipotent motives; see [Ayo15,≃ Scholie 1.3.26] ⊂ mk ∞ for the precise statement. With K/K the extension of K obtained by adjoining an n-th root of π for every n N×, the previous equivalence gives rise to another equivalence ∈ e RigSH(K) SH(k; χ1), (0.3) ≃ where χ1 is a commutative algebra in SH(ke) and SH(k; χ1) is the -category of χ1-modules. G ∞ Moreover, χ1 is the cohomological motive of the pro-scheme ( mk)n N× where the transition map 1 ∈ corresponding to m n is elevation to the power nm− . In this paper, we will prove a vast gen- eralisation of the equivalence| (0.3). Roughly speaking, for a rigid analytic space S , we obtain a description of the -category RigDA (S ; Q) in terms of modules over commutative algebras in - ∞ ´et ∞ categories of algebraic motives. More precisely, we will show that the functor S RigDA´et(S ; Q) is equivalent to the étale sheaf associated to the functor 7→ S colim DA´et(Sσ; χSQ) S Mdl(S ) 7→ ∈ considered as a presheaf valued in presentable -categories. Here Mdl(S ) is the category of formal ∞ models of S , Sσ is the special fiber of the formal scheme S, χSQ is a commutative algebra in the -category DA´et(Sσ; Q) of motives over Sσ and DA´et(Sσ; χSQ) is the -category of modules ∞ 3 ∞ over χSQ. Moreover, the commutative algebra χSQ admits a concrete description. For precise statements, see Theorems 3.3.3 and 3.8.1. The above description of the -categories RigDA´et(S ; Q) can be used to deduce the extended proper base change theorem in∞ rigid analytic geometry (i.e., Theorem 4.1.4) from its algebraic analogue. In fact, it turns out that we only need a formal consequence of this description which happens to be also a key ingredient in its proof, namely Theorem 3.6.1 (see also Theorem 4.1.3). Once Theorem 4.1.4 is proven, it is easy to construct the adjunction (0.2). Besides the six-functor formalism, the paper contains several foundational results.
Load more

Recommended publications
  • Weights in Rigid Cohomology Applications to Unipotent F-Isocrystals
    ANNALES SCIENTIFIQUES DE L’É.N.S. BRUNO CHIARELLOTTO Weights in rigid cohomology applications to unipotent F-isocrystals Annales scientifiques de l’É.N.S. 4e série, tome 31, no 5 (1998), p. 683-715 <http://www.numdam.org/item?id=ASENS_1998_4_31_5_683_0> © Gauthier-Villars (Éditions scientifiques et médicales Elsevier), 1998, tous droits réservés. L’accès aux archives de la revue « Annales scientifiques de l’É.N.S. » (http://www. elsevier.com/locate/ansens) implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/conditions). Toute utilisation commerciale ou impression systé- matique est constitutive d’une infraction pénale. Toute copie ou impression de ce fi- chier doit contenir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/ Ann. scient. EC. Norm. Sup., ^ serie, t. 31, 1998, p. 683 a 715. WEIGHTS IN RIGID COHOMOLOGY APPLICATIONS TO UNIPOTENT F-ISOCRYSTALS BY BRUNO CHIARELLOTTO (*) ABSTRACT. - Let X be a smooth scheme defined over a finite field k. We show that the rigid cohomology groups H9, (X) are endowed with a weight filtration with respect to the Frobenius action. This is the crystalline analogue of the etale or classical theory. We apply the previous result to study the weight filtration on the crystalline realization of the mixed motive "(unipotent) fundamental group". We then study unipotent F-isocrystals endowed with weight filtration. © Elsevier, Paris RfisuM6. - Soit X un schema lisse defini sur un corp fini k. On montre que les groupes de cohomologie rigide, H9^ (X), admettent une filtration des poids par rapport a 1'action du Frobenius.
    [Show full text]
  • Rigid-Analytic Geometry and Abelian Varieties
    http://dx.doi.org/10.1090/conm/388/07262 Contemporary Mathematics Volume 388, 2005 Rigid-analytic geometry and the uniformization of abelian varieties Mihran Papikian ABSTRACT. The purpose of these notes is to introduce some basic notions of rigid-analytic geometry, with the aim of discussing the non-archimedean uniformizations of certain abelian varieties. 1. Introduction The methods of complex-analytic geometry provide a powerful tool in the study of algebraic geometry over C, especially with the help of Serre's GAGA theorems [Sl]. For many arithmetic questions one would like to have a similar theory over other fields which are complete for an absolute value, namely over non-archimedean fields. If one tries to use the metric of a non-archimedean field directly, then such a theory immediately runs into problems because the field is totally disconnected. It was John Tate who, in early 60's, understood how to build the theory in such a way that one obtains a reasonably well-behaved coherent sheaf theory and its cohomology [Tl]. This theory of so-called rigid-analytic spaces has many re- sults which are strikingly similar to algebraic and complex-analytic geometry. For example, one has the GAGA theorems over any non-archimedean ground field. Over the last few decades, rigid-analytic geometry has developed into a fun- damental tool in modern number theory. Among its impressive and diverse ap- plications one could mention the following: the Langlands correspondence relat- ing automorphic and Galois representations [D], [HT], [LRS], [Ca]; Mumford's work on degenerations and its generalizations [M2], [M3], [CF]; Ribet's proof that Shimura-Taniyama conjecture implies Fermat's Last Theorem [Ri]; fundamental groups of curves in positive characteristic [Ra]; the construction of abelian vari- eties with a given endomorphism algebra [OvdP]; and many others.
    [Show full text]
  • Algebra & Number Theory Vol. 7 (2013)
    Algebra & Number Theory Volume 7 2013 No. 3 msp Algebra & Number Theory msp.org/ant EDITORS MANAGING EDITOR EDITORIAL BOARD CHAIR Bjorn Poonen David Eisenbud Massachusetts Institute of Technology University of California Cambridge, USA Berkeley, USA BOARD OF EDITORS Georgia Benkart University of Wisconsin, Madison, USA Susan Montgomery University of Southern California, USA Dave Benson University of Aberdeen, Scotland Shigefumi Mori RIMS, Kyoto University, Japan Richard E. Borcherds University of California, Berkeley, USA Raman Parimala Emory University, USA John H. Coates University of Cambridge, UK Jonathan Pila University of Oxford, UK J-L. Colliot-Thélène CNRS, Université Paris-Sud, France Victor Reiner University of Minnesota, USA Brian D. Conrad University of Michigan, USA Karl Rubin University of California, Irvine, USA Hélène Esnault Freie Universität Berlin, Germany Peter Sarnak Princeton University, USA Hubert Flenner Ruhr-Universität, Germany Joseph H. Silverman Brown University, USA Edward Frenkel University of California, Berkeley, USA Michael Singer North Carolina State University, USA Andrew Granville Université de Montréal, Canada Vasudevan Srinivas Tata Inst. of Fund. Research, India Joseph Gubeladze San Francisco State University, USA J. Toby Stafford University of Michigan, USA Ehud Hrushovski Hebrew University, Israel Bernd Sturmfels University of California, Berkeley, USA Craig Huneke University of Virginia, USA Richard Taylor Harvard University, USA Mikhail Kapranov Yale University, USA Ravi Vakil Stanford University,
    [Show full text]
  • Crystalline Fundamental Groups II — Log Convergent Cohomology and Rigid Cohomology
    J. Math. Sci. Univ. Tokyo 9 (2002), 1–163. Crystalline Fundamental Groups II — Log Convergent Cohomology and Rigid Cohomology By Atsushi Shiho Abstract. In this paper, we investigate the log convergent coho- mology in detail. In particular, we prove the log convergent Poincar´e lemma and the comparison theorem between log convergent cohomology and rigid cohomology in the case that the coefficient is an F a-isocrystal. We also give applications to finiteness of rigid cohomology with coeffi- cient, Berthelot-Ogus theorem for crystalline fundamental groups and independence of compactification for crystalline fundamental groups. Contents Introduction 2 Conventions 8 Chapter 1. Preliminaries 9 1.1. A remark on log schemes 9 1.2. Stratifications and integrable connections on formal groupoids 17 1.3. Review of rigid analytic geometry 24 Chapter 2. Log Convergent Site Revisited 37 2.1. Log convergent site 37 2.2. Analytic cohomology of log schemes 56 2.3. Log convergent Poincar´e lemma 90 2.4. Log convergent cohomology and rigid cohomology 111 Chapter 3. Applications 135 3.1. Notes on finiteness of rigid cohomology 136 3.2. A remark on Berthelot-Ogus theorem for fundamental 2000 Mathematics Subject Classification. Primary 14F30;Secondary 14F35. The title of the previous version of this paper was Crystalline Fundamental Groups II — Overconvergent Isocrystals. 1 2 Atsushi Shiho groups 147 3.3. Independence of compactification for crystalline fundamental groups 150 References 161 Introduction This paper is the continuation of the previous paper [Shi]. In the previ- ous paper, we gave a definition of crystalline fundamental groups for certain fine log schemes over a perfect field of positive characteristic and proved some fundamental properties of them.
    [Show full text]
  • Arxiv:1402.0409V1 [Math.HO]
    THE PICARD SCHEME STEVEN L. KLEIMAN Abstract. This article introduces, informally, the substance and the spirit of Grothendieck’s theory of the Picard scheme, highlighting its elegant simplicity, natural generality, and ingenious originality against the larger historical record. 1. Introduction A scientific biography should be written in which we indicate the “flow” of mathematics ... discussing a certain aspect of Grothendieck’s work, indicating possible roots, then describing the leap Grothendieck made from those roots to general ideas, and finally setting forth the impact of those ideas. Frans Oort [60, p. 2] Alexander Grothendieck sketched his proof of the existence of the Picard scheme in his February 1962 Bourbaki talk. Then, in his May 1962 Bourbaki talk, he sketched his proofs of various general properties of the scheme. Shortly afterwards, these two talks were reprinted in [31], commonly known as FGA, along with his commentaries, which included statements of nine finiteness theorems that refine the single finiteness theorem in his May talk and answer several related questions. However, Grothendieck had already defined the Picard scheme, via the functor it represents, on pp.195-15,16 of his February 1960 Bourbaki talk. Furthermore, on p.212-01 of his February 1961 Bourbaki talk, he had announced that the scheme can be constructed by combining results on quotients sketched in that talk along with results on the Hilbert scheme to be sketched in his forthcoming May 1961 Bourbaki talk. Those three talks plus three earlier talks, which prepare the way, were also reprinted in [31]. arXiv:1402.0409v1 [math.HO] 3 Feb 2014 Moreover, Grothendieck noted in [31, p.
    [Show full text]
  • Arxiv:2101.10222V2 [Math.AG] 13 May 2021
    THE CONJECTURES OF ARTIN-TATE AND BIRCH-SWINNERTON-DYER STEPHEN LICHTENBAUM, NIRANJAN RAMACHANDRAN, AND TAKASHI SUZUKI ABSTRACT. We provide two proofs that the conjecture of Artin-Tate for a fibered surface is equivalent to the conjecture of Birch-Swinnerton-Dyer for the Jacobian of the generic fibre. As a byproduct, we obtain a new proof of a theorem of Geisser relating the orders of the Brauer group and the Tate-Shafarevich group. 1. INTRODUCTION AND STATEMENT OF RESULTS Let S be a smooth projective (geometrically connected) curve over T = Spec Fq and let X be a smooth proper surface over T with a flat proper morphism π : X → S with smooth geometrically connected generic fiber X0 over Spec Fq(S). Let J be the Jacobian of X0. Our main results are two proofs of the following result conjectured by Artin and Tate [Tat95, Conjecture (d)] : Theorem 1. The Artin-Tate conjecture for X is equivalent to the Birch-Swinnerton-Dyer conjecture for J. Recall that these conjectures concern two (conjecturally finite) groups: the Tate-Shafarevich group X(J/F ) of J and the Brauer group Br(X) of X. A result of Artin-Grothendieck [Gor79, Theorem 2.3] [Gro68, §4] is that X(J/F ) is finite if and only if Br(X) is finite. Our first proof is based on a beautiful result of Geisser [Gei20, Theorem 1.1] relating the conjectural finite orders of X(J/F ) and Br(X). The second (and very short) proof of Theorem 1 in §4 is completely due to the third-named author.
    [Show full text]
  • Fundamental Algebraic Geometry
    http://dx.doi.org/10.1090/surv/123 hematical Surveys and onographs olume 123 Fundamental Algebraic Geometry Grothendieck's FGA Explained Barbara Fantechi Lothar Gottsche Luc lllusie Steven L. Kleiman Nitin Nitsure AngeloVistoli American Mathematical Society U^VDED^ EDITORIAL COMMITTEE Jerry L. Bona Peter S. Landweber Michael G. Eastwood Michael P. Loss J. T. Stafford, Chair 2000 Mathematics Subject Classification. Primary 14-01, 14C20, 13D10, 14D15, 14K30, 18F10, 18D30. For additional information and updates on this book, visit www.ams.org/bookpages/surv-123 Library of Congress Cataloging-in-Publication Data Fundamental algebraic geometry : Grothendieck's FGA explained / Barbara Fantechi p. cm. — (Mathematical surveys and monographs, ISSN 0076-5376 ; v. 123) Includes bibliographical references and index. ISBN 0-8218-3541-6 (pbk. : acid-free paper) ISBN 0-8218-4245-5 (soft cover : acid-free paper) 1. Geometry, Algebraic. 2. Grothendieck groups. 3. Grothendieck categories. I Barbara, 1966- II. Mathematical surveys and monographs ; no. 123. QA564.F86 2005 516.3'5—dc22 2005053614 Copying and reprinting. Individual readers of this publication, and nonprofit libraries acting for them, are permitted to make fair use of the material, such as to copy a chapter for use in teaching or research. Permission is granted to quote brief passages from this publication in reviews, provided the customary acknowledgment of the source is given. Republication, systematic copying, or multiple reproduction of any material in this publication is permitted only under license from the American Mathematical Society. Requests for such permission should be addressed to the Acquisitions Department, American Mathematical Society, 201 Charles Street, Providence, Rhode Island 02904-2294, USA.
    [Show full text]
  • Local Uniformization of Rigid Spaces
    ALTERED LOCAL UNIFORMIZATION OF RIGID-ANALYTIC SPACES BOGDAN ZAVYALOV Abstract. We prove a version of Temkin's local altered uniformization theorem. We show that for any rig-smooth, quasi-compact and quasi-separated admissible formal OK -model X, there is a finite extension K0=K such that X locally admits a rig-´etalemorphism g : X0 ! X and a OK0 OK0 00 0 0 rig-isomorphism h: X ! X with X being a successive semi-stable curve fibration over OK0 and 00 0 X being a poly-stable formal OK0 -scheme. Moreover, X admits an action of a finite group G such 0 0 that g : X ! X is G-invariant, and the adic generic fiber X 0 becomes a G-torsor over its quasi- OK0 K 0 0 compact open image U = g 0 (X 0 ). Also, we study properties of the quotient map X =G ! X K K OK0 and show that it can be obtained as a composition of open immersions and rig-isomorphisms. 1. Introduction 1.1. Historical Overview. A celebrated stable modification theorem [DM69] of P. Deligne and D. Mumford says that given a discrete valuation ring R and a smooth proper curve X over the fraction 0 field K, there is a finite separable extension K ⊂ K such that the base change XK0 extends to a semi-stable curve over the integral closure of R in K0. This theorem is crucial for many geometric and arithmetic applications since it allows one to reduce many questions about curves over the fraction field K of R to questions about semi-stable curves over a finite separable extension of K.
    [Show full text]
  • NÉRON MODELS 1. Introduction Néron Models Were Introduced by André Néron (1922-1985) in His Seminar at the IHES in 1961. He
    NERON´ MODELS DINO LORENZINI Abstract. N´eronmodels were introduced by Andr´eN´eronin his seminar at the IHES in 1961. This article gives a brief survey of past and recent results in this very useful theory. KEYWORDS N´eronmodel, weak N´eronmodel, abelian variety, group scheme, elliptic curve, semi-stable reduction, Jacobian, group of components. MATHEMATICS SUBJECT CLASSIFICATION: 14K15, 11G10, 14L15 1. Introduction N´eronmodels were introduced by Andr´eN´eron(1922-1985) in his seminar at the IHES in 1961. He gave a summary of his results in a 1961 Bourbaki seminar [81], and a longer summary was published in 1962 in Crelle's journal [82]. N´eron'sown full account of his theory is found in [83]. Unfortunately, this article1 is not completely written in the modern language of algebraic geometry. N´eron'sinitial motivation for studying models of abelian varieties was his study of heights (see [84], and [56], chapters 5 and 10-12, for a modern account). In [83], N´eronmentions his work on heights2 by referring to a talk that he gave at the International Congress in Edinburgh in 1958. I have been unable to locate a written version of this talk. A result attributed to N´eronin [54], Corollary 3, written by Serge Lang in 1963, might be a result that N´erondiscussed in 1958. See also page 438 of [55]. There is a vast literature on the theory of N´eronmodels. The first mention of N´eron models completely in the language of schemes may be in an article of Jean-Pierre Serre at the International Congress in Stockholm in 1962 ([94], page 195).
    [Show full text]
  • 1. Affinoid Algebras and Tate's P-Adic Analytic Spaces
    1. Affinoid algebras and Tate’s p-adic analytic spaces : a brief survey 1.1. Introduction. (rigid) p-adic analytic geometry has been discovered by Tate after his study of elliptic curves over Qp with multiplicative reduction. This theory is a p-adic analogue of complex analytic geometry. There is however an important difference between the complex and p-adic theory of analytic functions m coming from the presence of too many locally constant functions on Zp , which are locally analytic in any reasonable sense. A locally ringed topological space which is n locally isomorphic to (Zp , sheaf of locally analytic function) is called a Qp-analytic manifold, and it is NOT a rigid analytic space in the sense of Tate. It is for instance always totally disconnected as a topological space, which already prevents from doing interesting geometry Tate actually has a related notion of "woobly analytic space" (espace analytique bancal en francais) that he opposes to its "rigid analytic space". We strongly recommend to read Tate’s inventiones paper "Rigid analytic spaces" and to glance through Bosch-Guntzer-Remmert "Non archimedean analysis" for more details (especially for G-topologies). For a nice introduction to this and other approaches, we recommend Conrad’s notes on rigid analytic geometry on his web page. For the purposes of this course, we shall use the language of rigid analytic ge- ometry when studying families of modular forms and when studying the generic fiber of deformation rings (see below). The eigencurve for instance will be a rigid analytic curve. Our aim here is to give the general ideas of Tate’s definition of a rigid analytic space.
    [Show full text]
  • FORMAL SCHEMES and FORMAL GROUPS Contents 1. Introduction 2
    FORMAL SCHEMES AND FORMAL GROUPS NEIL P. STRICKLAND Contents 1. Introduction 2 1.1. Notation and conventions 3 1.2. Even periodic ring spectra 3 2. Schemes 3 2.1. Points and sections 6 2.2. Colimits of schemes 8 2.3. Subschemes 9 2.4. Zariski spectra and geometric points 11 2.5. Nilpotents, idempotents and connectivity 12 2.6. Sheaves, modules and vector bundles 13 2.7. Faithful flatness and descent 16 2.8. Schemes of maps 22 2.9. Gradings 24 3. Non-affine schemes 25 4. Formal schemes 28 4.1. (Co)limits of formal schemes 29 4.2. Solid formal schemes 31 4.3. Formal schemes over a given base 33 4.4. Formal subschemes 35 4.5. Idempotents and formal schemes 38 4.6. Sheaves over formal schemes 39 4.7. Formal faithful flatness 40 4.8. Coalgebraic formal schemes 42 4.9. More mapping schemes 46 5. Formal curves 49 5.1. Divisors on formal curves 49 5.2. Weierstrass preparation 53 5.3. Formal differentials 56 5.4. Residues 57 6. Formal groups 59 6.1. Group objects in general categories 59 6.2. Free formal groups 63 6.3. Schemes of homomorphisms 65 6.4. Cartier duality 66 6.5. Torsors 67 7. Ordinary formal groups 69 Date: November 17, 2000. 1 2 NEIL P. STRICKLAND 7.1. Heights 70 7.2. Logarithms 72 7.3. Divisors 72 8. Formal schemes in algebraic topology 73 8.1. Even periodic ring spectra 73 8.2. Schemes associated to spaces 74 8.3.
    [Show full text]
  • Issue 118 ISSN 1027-488X
    NEWSLETTER OF THE EUROPEAN MATHEMATICAL SOCIETY S E European M M Mathematical E S Society December 2020 Issue 118 ISSN 1027-488X Obituary Sir Vaughan Jones Interviews Hillel Furstenberg Gregory Margulis Discussion Women in Editorial Boards Books published by the Individual members of the EMS, member S societies or societies with a reciprocity agree- E European ment (such as the American, Australian and M M Mathematical Canadian Mathematical Societies) are entitled to a discount of 20% on any book purchases, if E S Society ordered directly at the EMS Publishing House. Recent books in the EMS Monographs in Mathematics series Massimiliano Berti (SISSA, Trieste, Italy) and Philippe Bolle (Avignon Université, France) Quasi-Periodic Solutions of Nonlinear Wave Equations on the d-Dimensional Torus 978-3-03719-211-5. 2020. 374 pages. Hardcover. 16.5 x 23.5 cm. 69.00 Euro Many partial differential equations (PDEs) arising in physics, such as the nonlinear wave equation and the Schrödinger equation, can be viewed as infinite-dimensional Hamiltonian systems. In the last thirty years, several existence results of time quasi-periodic solutions have been proved adopting a “dynamical systems” point of view. Most of them deal with equations in one space dimension, whereas for multidimensional PDEs a satisfactory picture is still under construction. An updated introduction to the now rich subject of KAM theory for PDEs is provided in the first part of this research monograph. We then focus on the nonlinear wave equation, endowed with periodic boundary conditions. The main result of the monograph proves the bifurcation of small amplitude finite-dimensional invariant tori for this equation, in any space dimension.
    [Show full text]