DOCSLIB.ORG

Variations on a Theorem of Tate Stefan Patrikis

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Variations on a Theorem of Tate Stefan Patrikis Variations on a theorem of Tate Stefan Patrikis Princeton University,Department of Mathematics,Fine Hall,Washington Road,Princeton, NJ 08544 Current address: Department of Mathematics, The University of Utah, Salt Lake City, UT 84112 E-mail address: [email protected] URL: http://www.math.utah.edu/~patrikis/ NumberTheory Jul 31 2016 19:25:06 EDT Version 4 - Submitted to MEMO 2000 Mathematics Subject Classification. Primary 11R39, 11F80, 14C15 Key words and phrases. Galois representations, algebraic automorphic representations, motives for motivated cycles, monodromy, Kuga-Satake construction, hyperkahler¨ varieties Partially supported by an NDSEG fellowship and NSF grant DMS-1303928. Abstract. Let F be a number field. These notes explore Galois-theoretic, automorphic, and mo- tivic analogues and refinements of Tate’s basic result that continuous projective representations Gal(F=F) ! PGLn(C) lift to GLn(C). We take special interest in the interaction of this result with al- gebraicity (for automorphic representations) and geometricity (in the sense of Fontaine-Mazur). On the motivic side, we study refinements and generalizations of the classical Kuga-Satake construction. Some auxiliary results touch on: possible infinity-types of algebraic automorphic representations; comparison of the automorphic and Galois “Tannakian formalisms”; monodromy (independence- of-`) questions for abstract Galois representations. NumberTheory Jul 31 2016 19:25:06 EDT Version 4 - Submitted to MEMO Contents Chapter 1. Introduction 1 1.1. Introduction 1 1.2. What is assumed of the reader: background references 11 1.2.1. Automorphic representations 11 1.2.2. `-adic Galois representations 12 1.2.3. Motives 12 1.2.4. Connecting the dots 12 1.3. Acknowledgments 14 1.4. Notation 15 Chapter 2. Foundations & examples 17 2.1. Review of lifting results 17 2.2. `-adic Hodge theory preliminaries 23 2.2.1. Basics 23 2.2.2. Labeled Hodge-Tate-Sen weights 25 2.2.3. Induction and `-adic Hodge theory 27 2.3. GL1 27 2.3.1. The automorphic side 27 2.3.2. Galois GL1 33 2.4. Coefficients: generalizing Weil’s CM descent of type A Hecke characters 36 2.4.1. Coefficients in Hodge theory 36 2.4.2. CM descent 37 2.5. W-algebraic representations 39 2.6. Further examples: the Hilbert modular case and GL2 × GL2 −! GL4 43 2.6.1. General results on the GL2 × GL2 −! GL4 functorial transfer 43 2.6.2. The Hilbert modular case 46 2.6.3. A couple of questions 50 2.7. Galois lifting: Hilbert modular case 50 2.7.1. Outline 50 2.7.2. GL2(Q`) ! PGL2(Q`) 51 2.8. Spin examples 54 Chapter 3. Galois and automorphic lifting 61 3.1. Lifting W-algebraic representations 61 3.1.1. Notation and central character calculation 61 3.1.2. Generalities on lifting from G(AF) to Ge(AF) 63 3.1.3. Algebraicity of lifts: the ideal case 67 iii NumberTheory Jul 31 2016 19:25:06 EDT Version 4 - Submitted to MEMO 3.2. Galois lifting: the general case 70 3.3. Applications: comparing the automorphic and Galois formalisms 77 3.3.1. Notions of automorphy 78 3.3.2. Automorphy of projective representations 79 3.4. Monodromy of abstract Galois representations 86 3.4.1. A general decomposition 86 3.4.2. Lie-multiplicity-free representations 88 Chapter 4. Motivic lifting 95 4.1. Motivated cycles: generalities 95 4.1.1. Lifting Hodge structures 95 4.1.2. Motives for homological equivalence and the Tannakian formalism 97 4.1.2.1. Neutral Tannakian categories 98 4.1.2.2. Homological motives 101 4.1.3. Motivated cycles 103 4.1.4. Motives with coefficients 107 4.1.5. Hodge symmetry in MF;E 108 4.1.6. Motivic lifting: the potentially CM case 112 4.2. Motivic lifting: the hyperkahler¨ case 115 4.2.1. Setup 115 4.2.2. The Kuga-Satake construction 117 4.2.3. A simple case 121 4.2.4. Arithmetic descent: preliminary reduction 124 4.2.5. Arithmetic descent: the generic case 126 4.2.6. Non-generic cases: dim(TQ) odd 129 4.2.7. Non-generic cases: dim TQ even 131 4.3. Towards a generalized Kuga-Satake theory 132 4.3.1. A conjecture 132 4.3.2. Motivic lifting: abelian varieties 133 4.3.3. Coda 137 Index of symbols 139 Index of terms and concepts 141 Bibliography 143 iv NumberTheory Jul 31 2016 19:25:06 EDT Version 4 - Submitted to MEMO CHAPTER 1 Introduction 1.1. Introduction Let F be a number field, with ΓF = Gal(F=F) its Galois group relative to a choice of algebraic 2 closure. Tate’s theorem that H (ΓF; Q=Z) vanishes (see [Ser77, Theorem 4] or Theorem 2.1.1 be- × low) encodes one of the basic features of the representation theory of ΓF: since coker(µ1(C) ! C ) 2 × is uniquely divisible, H (ΓF; C ) vanishes as well, and therefore all obstructions to lifting projec- tive representations ΓF ! PGLn(C) vanish. More generally, as explained in [Con11] (Lemma 2.1.4 below), for any surjection He H of linear algebraic groups over Q` with central torus kernel, any homomorphism ΓF ! H(Q`) lifts (continuously) to He(Q`). The simplicity of Tate’s theorem is striking: replacing Q=Z by some finite group Z=m of coefficients, the vanishing result breaks down. Two other groups, more or less fanciful, extend ΓF and conjecturally encode the key struc- tural features of, respectively, automorphic representations and (pure) motives. The more remote automorphic Langlands group, LF, at present exists primarily as heuristic, whereas the motivic Galois group GF would take precise form granted Grothendieck’s Standard Conjectures, and in the meantime can be approximated by certain unconditional substitutes, for instance via Deligne’s theory of absolute Hodge cycles, or Andre’s´ theory of motivated cycles (see x4.1.3). In either case, however, we can ask for an analogue of Tate’s lifting theorem and attempt to prove unconditional results. The basic project of this book is to pursue these analogies wherever they may lead; the fundamental importance of Tate’s theorem is affirmed by the fruitfulness of these investigations, which lead us to reconsider and reinvigorate classic works of Weil ([Wei56]) and Kuga and Satake ([KS67]). We begin by translating the heuristic lifting problem for the (conjectural) automorphic Lang- lands group into a concrete and well-defined question about automorphic representations. Let G ⊂ Ge be an inclusion of connected reductive F-groups having the same derived group; basic cases to keep in mind are SLn ⊂ GLn or Sp2n ⊂ GSp2n. For simplicity, we will throughout assume these groups are split, although many of the results described continue to hold in greater generality. We let G_ and Ge_ denote the respective Langlands dual groups, which are related by a surjective _ _ _ homomorphism Ge ! G whose kernel is a central torus in Ge (in the SLn ⊂ GLn case, this dual homomorphism is the usual surjection GLn(C) ! PGLn(C)); thus on the dual side we have a setup analogous to the one in Tate’s lifting theorem, and indeed the whole point of the Lang- lands group LF is that, loosely, automorphic representations of G(AF) should correspond to maps _ LF ! G . The automorphic analogue of Tate’s theorem is then the assertion that automorphic representations of G(AF) extend to automorphic representations of Ge(AF), i.e. the fibers of the functorial transfer associated to Ge_ ! G_ are non-empty. We show (Proposition 3.1.4) that cusp- idal representations of G(AF) do indeed lift to Ge(AF). This result is elementary, but our analogies insist that we investigate it further. For instance, the analogous lifting result is false for GF, and 1 NumberTheory Jul 31 2016 19:25:06 EDT Version 4 - Submitted to MEMO a priori there is no reason to believe that ‘lifting problems’ for the three groups ΓF; LF, and GF should qualitatively admit the same answer: a general automorphic representation has seemingly no connection with either `-adic representations or motives; and a general `-adic representation has no apparent connection with classical automorphic representations or motives. Two quite distinct kinds of transcendence–one complex, one `-adic–prevent these overlapping theories from being reduced to one another. A key problem, therefore, is to identify the overlap and ask how the lifting problem behaves when restricted to this (at least conjectural) common ground; it is only in posing this refined form of the lifting problem that the relevant structures emerge. What automorphic representations, then, do we expect to correspond to `-adic Galois represen- tations or motives? Putting off for the time being precise definitions, we now informally state the fundamental conjectures, due to Fontaine-Mazur, Langlands, Tate, Serre, and Grothendieck, that lay out the basic expectations. Conjecture 1.1.1 (Preliminary form: see Conjecture 1.2.1 for the precise version). There is a bijection, characterized by local compatibilities, between • “Algebraic” cuspidal automorphic representations of GLn(AF). • Irreducible “geometric” Galois representations ΓF ! GLn(Q`). • Irreducible pure motives over F (with Q-coefficients). (The only direction of this correspondence whose construction is known is from motives to Galois representations: simply take `-adic cohomology.) This book will focus on studying the analogues of Tate’s lifting theorem at this conjectural intersection of the three subjects of automor- phic forms, motives, and Galois representations. The automorphic and Galois-theoretic aspects will be more or less fully treated, and we will find that the motivic aspect is a deep and largely unconsidered problem; but our Galois-theoretic and automorphic investigations will allow us to frame a precise conjectural response to the motivic lifting question.
Load more

Recommended publications
  • Algebraic Hecke Characters and Compatible Systems of Abelian Mod P Galois Representations Over Global fields
    Algebraic Hecke characters and compatible systems of abelian mod p Galois representations over global fields Gebhard B¨ockle January 28, 2010 Abstract In [Kh1, Kh2, Kh3], C. Khare showed that any strictly compatible systems of semisimple abelian mod p Galois representations of a number field arises from a unique finite set of algebraic Hecke Characters. In this article, we consider a similar problem for arbitrary global fields. We give a definition of Hecke character which in the function field setting is more general than previous definitions by Goss and Gross and define a corresponding notion of compatible system of mod p Galois representations. In this context we present a unified proof of the analog of Khare's result for arbitrary global fields. In a sequel we shall apply this result to compatible systems arising from Drinfeld modular forms, and thereby attach Hecke characters to cuspidal Drinfeld Hecke eigenforms. 1 Introduction In [Kh1, Kh2, Kh3], C. Khare studied compatible systems of abelian mod p Galois rep- resentations of a number field. He showed that the semisimplification of any such arises from a direct sum of algebraic Hecke characters, as was suggested by the framework of motives. On the one hand, this result shows that with minimal assumptions such as only knowing the mod p reductions, one can reconstruct a motive from an abelian compati- ble system. On the other hand, which is also remarkable, the association of the Hecke characters to the compatible systems is based on fairly elementary tools from algebraic number theory. The first such association was based on deep transcendence results by Henniart [He] and Waldschmidt [Wa] following work of Serre [Se].
    [Show full text]
  • Hecke Characters, Classically and Idelically
    HECKE CHARACTERS CLASSICALLY AND IDELICALLY` Hecke's original definition of a Gr¨ossencharakter, which we will call a Hecke character from now on, is set in the classical algebraic number theory environment. The definition is as it must be to establish the analytic continuation and functional equation for a general number field L-function X Y L(χ, s) = χ(a)Na−s = (1 − χ(p)Np−s)−1 a p analogous to Dirichlet L-functions. But the classical generalization of a Dirich- let character to a Hecke character is complicated because it must take units and nonprincipal ideals into account, and it is difficult to motivate other than the fact that it is what works. By contrast, the definition of a Hecke character in the id`elic context is simple and natural. This writeup explains the compatibility of the two definitions. Most of the ideas here were made clear to me by a talk that David Rohrlich gave at PCMI in 2009. Others were explained to me by Paul Garrett. The following notation is in effect throughout: • k denotes a number field and O is its ring of integers. • J denotes the id`elegroup of k. • v denotes a place of k, nonarchimedean or archimedean. 1. A Multiplicative Group Revisited This initial section is a warmup whose terminology and result will fit into what follows. By analogy to Dirichlet characters, we might think of groups of the form (O=f)×; f an ideal of O as the natural domains of characters associated to the number field k. This idea is na¨ıve, because O needn't have unique factorization, but as a starting point we define a group that is naturally isomorphic to the group in the previous display.
    [Show full text]
  • MAPPING STACKS and CATEGORICAL NOTIONS of PROPERNESS Contents 1. Introduction 2 1.1. Introduction to the Introduction 2 1.2
    MAPPING STACKS AND CATEGORICAL NOTIONS OF PROPERNESS DANIEL HALPERN-LEISTNER AND ANATOLY PREYGEL Abstract. One fundamental consequence of a scheme being proper is that there is an algebraic space classifying maps from it to any other finite type scheme, and this result has been extended to proper stacks. We observe, however, that it also holds for many examples where the source is a geometric stack, such as a global quotient. In our investigation, we are lead naturally to certain properties of the derived category of a stack which guarantee that the mapping stack from it to any geometric finite type stack is algebraic. We develop methods for establishing these properties in a large class of examples. Along the way, we introduce a notion of projective morphism of algebraic stacks, and prove strong h-descent results which hold in the setting of derived algebraic geometry but not in classical algebraic geometry. Contents 1. Introduction 2 1.1. Introduction to the introduction2 1.2. Mapping out of stacks which are \proper enough"3 1.3. Techniques for establishing (GE) and (L)5 1.4. A long list of examples6 1.5. Comparison with previous results7 1.6. Notation and conventions8 1.7. Author's note 9 2. Artin's criteria for mapping stacks 10 2.1. Weil restriction of affine stacks 11 2.2. Deformation theory of the mapping stack 12 2.3. Integrability via the Tannakian formalism 16 2.4. Derived representability from classical representability 19 2.5. Application: (pGE) and the moduli of perfect complexes 21 3. Perfect Grothendieck existence 23 3.1.
    [Show full text]
  • Nonvanishing of Hecke L-Functions and Bloch-Kato P
    NONVANISHING OF HECKE L{FUNCTIONS AND BLOCH-KATO p-SELMER GROUPS ARIANNA IANNUZZI, BYOUNG DU KIM, RIAD MASRI, ALEXANDER MATHERS, MARIA ROSS, AND WEI-LUN TSAI Abstract. The canonical Hecke characters in the sense of Rohrlich form a set of algebraic Hecke characters with important arithmetic properties. In this paper, we prove that for an asymptotic density of 100% of imaginary quadratic fields K within certain general families, the number of canonical Hecke characters of K whose L{function has a nonvanishing central value is jdisc(K)jδ for some absolute constant δ > 0. We then prove an analogous density result for the number of canonical Hecke characters of K whose associated Bloch-Kato p-Selmer group is finite. Among other things, our proofs rely on recent work of Ellenberg, Pierce, and Wood on bounds for torsion in class groups, and a careful study of the main conjecture of Iwasawa theory for imaginary quadratic fields. 1. Introduction and statement of results p Let K = Q( −D) be an imaginary quadratic field of discriminant −D with D > 3 and D ≡ 3 mod 4. Let OK be the ring of integers and letp "(n) = (−D=n) = (n=D) be the Kronecker symbol. × We view " as a quadratic character of (OK = −DOK ) via the isomorphism p ∼ Z=DZ = OK = −DOK : p A canonical Hecke character of K is a Hecke character k of conductor −DOK satisfying p 2k−1 + k(αOK ) = "(α)α for (αOK ; −DOK ) = 1; k 2 Z (1.1) (see [R2]). The number of such characters equals the class number h(−D) of K.
    [Show full text]
  • Notes on the Riemann Hypothesis Ricardo Pérez-Marco
    Notes on the Riemann Hypothesis Ricardo Pérez-Marco To cite this version: Ricardo Pérez-Marco. Notes on the Riemann Hypothesis. 2018. hal-01713875 HAL Id: hal-01713875 https://hal.archives-ouvertes.fr/hal-01713875 Preprint submitted on 21 Feb 2018 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. NOTES ON THE RIEMANN HYPOTHESIS RICARDO PEREZ-MARCO´ Abstract. Our aim is to give an introduction to the Riemann Hypothesis and a panoramic view of the world of zeta and L-functions. We first review Riemann's foundational article and discuss the mathematical background of the time and his possible motivations for making his famous conjecture. We discuss some of the most relevant developments after Riemann that have contributed to a better understanding of the conjecture. Contents 1. Euler transalgebraic world. 2 2. Riemann's article. 8 2.1. Meromorphic extension. 8 2.2. Value at negative integers. 10 2.3. First proof of the functional equation. 11 2.4. Second proof of the functional equation. 12 2.5. The Riemann Hypothesis. 13 2.6. The Law of Prime Numbers. 17 3. On Riemann zeta-function after Riemann.
    [Show full text]
  • Notes on Tannakian Categories
    NOTES ON TANNAKIAN CATEGORIES JOSE´ SIMENTAL Abstract. These are notes for an expository talk at the course “Differential Equations and Quantum Groups" given by Prof. Valerio Toledano Laredo at Northeastern University, Spring 2016. We give a quick introduction to the Tannakian formalism for algebraic groups. The purpose of these notes if to give a quick introduction to the Tannakian formalism for algebraic groups, as developed by Deligne in [D]. This is a very powerful technique. For example, it is a cornerstone in the proof of geometric Satake by Mirkovi´c-Vilonenthat gives an equivalence of tensor categories between the category of perverse sheaves on the affine Grassmannian of a reductive algebraic group G and the category of representations of the Langlands dual Gb, see [MV]. Our plan is as follows. First, in Section 1 we give a rather quick introduction to representations of al- gebraic groups, following [J]. The first main result of the theory says that we can completely recover an algebraic group by its category of representations, see Theorem 1.12. After that, in Section 2 we formalize some properties of the category of representations of an algebraic group G into the notion of a Tannakian category. The second main result says that every Tannakian category is equivalent to the category of repre- sentations of an appropriate algebraic group. Our first definition of a Tannakian category, however, involves the existence of a functor that may not be easy to construct. In Section 3 we give a result, due to Deligne, that gives a more intrinsic characterization of Tannakian categories in linear-algebraic terms.
    [Show full text]
  • Tate's Thesis
    学士学位论文 Tate 的论文 作者姓名： 刘浩浩 学科专业： 数学与应用数学 导师姓名： Benoît Stroh 教授 欧阳毅 教授 完成时间： 二〇一九年五月一日 University of Science and Technology of China A dissertation for bachelor’s degree Tate’s Thesis Author: Haohao Liu Speciality: Mathematics and Applied Mathematics Supervisors: Prof. Benoît Stroh, Prof. Yi Ouyang Finished time: May 1, 2019 中国科学技术大学本科毕业论文 Acknowledgements 撰写论文期间，我得到了两位老师的指导，他们是：中国科学技术大学的欧 阳毅教授和巴黎六大的 Benoît Stroh 教授。我感谢欧阳老师所给的选题建议，让 我有机会仔细学习 Tate’s thesis 这一优美而重要的工作。欧阳老师也为我提供了 关于参考资料的宝贵意见，论文修改也花费了他诸多时间。Stroh 老师具体指导 我的学习，他看待问题观点新颖，和他的讨论每每让我眼前一亮。他指出我理解 的不足，并且制定了论文的具体内容。在此对两位老师深表谢意。 Please send me an email if you note any mistakes: [email protected]. 中国科学技术大学本科毕业论文 Contents 中文内容摘要 ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ 3 英文内容摘要 ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ 4 Chapter 1 简介/Introduction ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ 6 Chapter 2 经典理论/Classical Theory ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ 7 2.1 Dedekind zeta function ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ 7 2.1.1 General Minkowski space ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ 7 2.1.2 Functional equation ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ 10 2.2 Zeta function of global function field ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ 12 2.2.1 Rational expression ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ 15 2.2.2 Functional equation ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ 16 2.3 Dirichlet L­function ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ ꞏ
    [Show full text]
  • Homotopical and Higher Categorical Structures in Algebraic Geometry
    Homotopical and Higher Categorical Structures in Algebraic Geometry Bertrand To¨en CNRS UMR 6621 Universit´ede Nice, Math´ematiques Parc Valrose 06108 Nice Cedex 2 France arXiv:math/0312262v2 [math.AG] 31 Dec 2003 M´emoire de Synth`ese en vue de l’obtention de l’ Habilitation a Diriger les Recherches 1 Je d´edie ce m´emoire `aBeussa la mignonne. 2 Pour ce qui est des choses humaines, ne pas rire, ne pas pleurer, ne pas s’indigner, mais comprendre. Spinoza Ce dont on ne peut parler, il faut le taire. Wittgenstein Ce que ces gens l`asont cryptiques ! Simpson 3 Avertissements La pr´esent m´emoire est une version ´etendue du m´emoire de synth`ese d’habilitation originellement r´edig´epour la soutenance du 16 Mai 2003. Le chapitre §5 n’apparaissait pas dans la version originale, bien que son contenu ´etait pr´esent´e sous forme forte- ment r´esum´e. 4 Contents 0 Introduction 7 1 Homotopy theories 11 2 Segal categories 16 2.1 Segalcategoriesandmodelcategories . 16 2.2 K-Theory ................................. 21 2.3 StableSegalcategories . .. .. 23 2.4 Hochschild cohomology of Segal categories . 24 2.5 Segalcategoriesandd´erivateurs . 27 3 Segal categories, stacks and homotopy theory 29 3.1 Segaltopoi................................. 29 3.2 HomotopytypeofSegaltopoi . 32 4 Homotopical algebraic geometry 35 4.1 HAG:Thegeneraltheory. 38 4.2 DAG:Derivedalgebraicgeometry . 40 4.3 UDAG: Unbounded derived algebraic geometry . 43 4.4 BNAG:Bravenewalgebraicgeometry . 46 5 Tannakian duality for Segal categories 47 5.1 TensorSegalcategories . 49 5.2 Stacksoffiberfunctors . .. .. 55 5.3 TheTannakianduality .......................... 58 5.4 Comparison with usual Tannakian duality .
    [Show full text]
  • Algebraic Hecke Characters Motivation
    Algebraic Hecke Characters Motivation This motivation was inspired by the excellent article [Serre-Tate, x 7]. Our goal is to prove the main theorem of complex multiplication. The Galois theoretic formulation is as follows: Theorem (Main Theorem of Complex Multiplication). Let (A; α) be a CM abelian variety over a number field K ⊂ Q; and let (L; Φ) be its CM-type. (i) The reflex field E ⊂ Q is contained in K: × (ii) There exists a unique algebraic Hecke character : AK ! L such that for each `; the continuous homomorphism ab × φ` : Gal(K =K) ! L` −1 φ`(a) = (a)alg(a` ) ab is equal to the `-adic representation of Gal(K =K) on the `-adic Tate module V`(A): (iii) The algebraic part of is alg = NΦ ◦ NmK=E; where NΦ : ResE=QGm ! ResL=QGm denotes the reflex norm. (v) If v is a finite place of K where A has good reduction, say A/κv; then for any uniformizer πv of OKv ; we have (πv) = F rA;qv ; where #κv = qv: Let's meditate on this statement to understand the need for algebraic Hecke characters. We start with (v): Because A=K has CM by L; we have a diagram 0 redv 0 i : L,! End (A) −−! End (AL) where the second map is the reduction at v map. The second map is injective. Indeed, for any m prime to qv;A[m] is a finite etale group scheme over OKv ; for such group schemes, the reduction map is always isomorphism. Now F rA;qv commutes with every kv endomorphism of A: In particular, it centralizes the image of i in End0(A): But because A is CM, so in particular, [iL : Q] = 2 dim(A); we must have 1 0 F rA;qv 2 im(i): Let πv 2 L denote the unique preimage of F rA;qv : All Galois representations φ` on 0 V`(A) are completely encoded in the collection fπvg; by the Chebotarev density theorem.
    [Show full text]
  • Birch and Swinnerton-Dyer Conjecture in the Complex Multiplication Case
    BIRCH AND SWINNERTON-DYER CONJECTURE IN THE COMPLEX MULTIPLICATION CASE AND THE CONGRUENT NUMBER PROBLEM KAZUMA MORITA Abstract. For an elliptic curve E over K, the Birch and Swinnerton-Dyer conjecture predicts that the rank of Mordell-Weil group E(K) is equal to the order of the zero of L(E/K ,s) at s = 1. In this paper, we shall give a proof for elliptic curves with complex multiplications. The key method of the proof is to reduce the Galois action of infinite order on the Tate module of an elliptic curve to that of finite order by using the p-adic Hodge theory. As a corollary, we can determine whether a given natural number is a congruent number (con- gruent number problem). This problem is one of the oldest unsolved problems in mathematics. 1. Introduction A natural number N is called a congruent number if it is the area of a rational right-angled triangle. To determine whether N is a congruent number is a difficult problem which can be traced back at least a millennium and is the oldest major unsolved problem in number theory. For example, it is easy to verify that 6 is a congruent number since the sides lengths (3, 4, 5) give the right-angled triangle whose area is 6. Furthermore, 5 and 7 are shown to be congruent numbers by Fibonacci and Euler. On the other hand, Fermat showed that the square numbers are never congruent numbers and, based on this experience, led to the famous Fermat’s conjecture. In modern language, a natural number N is a congruent number if and only if there exists a rational point (x, y) with y =6 0 on the elliptic arXiv:1803.11074v3 [math.NT] 30 May 2019 curve y2 = x3 − N 2x.
    [Show full text]
  • Modified Mixed Realizations, New Additive Invariants, and Periods Of
    MODIFIED MIXED REALIZATIONS, NEW ADDITIVE INVARIANTS, AND PERIODS OF DG CATEGORIES GONC¸ALO TABUADA Abstract. To every scheme, not necessarily smooth neither proper, we can associate its different mixed realizations (de Rham, Betti, ´etale, Hodge, etc) as well as its ring of periods. In this note, following an insight of Kontsevich, we prove that, after suitable modifications, these classical constructions can be extended from schemes to the broad setting of dg categories. This leads to new additive invariants of dg categories, which we compute in the case of differential operators, as well as to a theory of periods of dg categories. Among other applications, we prove that the ring of periods of a scheme is invariant under projective homological duality. Along the way, we explicitly describe the modified mixed realizations using the Tannakian formalism. 1. Modified mixed realizations Given a perfect field k and a commutative Q-algebra R, Voevodsky introduced in [49, §2] the category of geometric mixed motives DMgm(k; R). By construction, this R-linear rigid symmetric monoidal triangulated category comes equipped with a ⊗-functor M(−)R : Sm(k) → DMgm(k; R), defined on smooth k-schemes of finite type, and with a ⊗-invertible object T := R(1)[2] called the Tate motive. Moreover, when k is of characteristic zero, the preceding functor can be extended from Sm(k) to the category Sch(k) of all k-schemes of finite type. Recall also the construction of Voevodsky’s big category of mixed motives DM(k; R). This R-linear symmet- ric monoidal triangulated category admits arbitrary direct sums and DMgm(k; R) identifies with its full triangulated subcategory of compact objects.
    [Show full text]
  • L-Functions and Non-Abelian Class Field Theory, from Artin to Langlands
    L-functions and non-abelian class field theory, from Artin to Langlands James W. Cogdell∗ Introduction Emil Artin spent the first 15 years of his career in Hamburg. Andr´eWeil charac- terized this period of Artin's career as a \love affair with the zeta function" [77]. Claude Chevalley, in his obituary of Artin [14], pointed out that Artin's use of zeta functions was to discover exact algebraic facts as opposed to estimates or approxi- mate evaluations. In particular, it seems clear to me that during this period Artin was quite interested in using the Artin L-functions as a tool for finding a non- abelian class field theory, expressed as the desire to extend results from relative abelian extensions to general extensions of number fields. Artin introduced his L-functions attached to characters of the Galois group in 1923 in hopes of developing a non-abelian class field theory. Instead, through them he was led to formulate and prove the Artin Reciprocity Law - the crowning achievement of abelian class field theory. But Artin never lost interest in pursuing a non-abelian class field theory. At the Princeton University Bicentennial Conference on the Problems of Mathematics held in 1946 \Artin stated that `My own belief is that we know it already, though no one will believe me { that whatever can be said about non-Abelian class field theory follows from what we know now, since it depends on the behavior of the broad field over the intermediate fields { and there are sufficiently many Abelian cases.' The critical thing is learning how to pass from a prime in an intermediate field to a prime in a large field.
    [Show full text]