DOCSLIB.ORG

The Tate Conjecture Over Finite Fields (AIM Talk)

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
The Tate Conjecture Over Finite Fields (AIM Talk) The Tate conjecture over finite fields (AIM talk) J.S. Milne Abstract These are my notes for a talk at the The Tate Conjecture workshop at the American Institute of Mathematics in Palo Alto, CA, July 23–July 27, 2007, somewhat revised and expanded. The intent of the talk was to review what is known and to suggest directions for research. v1 (September 19, 2007): first version on the web. v2 (October 10, 2007): revised and expanded. v2.1 (November 7, 2007) Minor fixes. v2.2 (May 7, 2008) Sections 1 and 5 rewritten; other minor changes. Contents 1 The conjecture, and some folklore 2 2 Divisors on abelian varieties 6 3 K3 surfaces 10 4 Algebraic classes have the Tannaka property 10 5 Groups acting on the cohomology 11 6 The Hodge conjecture and the Tate conjecture 13 7 Rational Tate classes 16 8 Reduction to the case of codimension 2 18 9 The Hodge standard conjecture 21 10 On the existence of a good theory of rational Tate classes 22 Conventions All varieties are smooth and projective. Complex conjugation on C is denoted by . The symbol F denotes an algebraic closure of Fp, and ` always denotes a prime p. On the other hand, l is ¤ allowed to equal p. For a variety X, H .X/ L H i .X/ and H 2 .X/. / L H 2i .X/.i/; D i D i both are graded algebras. The group of algebraic cycles of codimension r on a variety X (free Z- module generated by the closed irreducible subvarieties of codimension r) is denoted Zr .X/, and c denotes the cycle class map c Zr .X/ H 2r .X/.r/. I denote a canonical (or a specifically given) W ! isomorphism by . ' MSC2000: 14C25, 11G25 1 1 THE CONJECTURE, AND SOME FOLKLORE 2 1 The conjecture, and some folklore Statements Let X be a variety over F. A model X1 of X over a finite subfield k1 of F gives rise to a commutative diagram: r c 2r Z .X/ H .X; Q`.r// x ! x ? ? ? ? r c 2r Z .X1/ H .X1; Q`.r//: ! Every algebraic cycle X arises from an algebraic cycle on some X1, and so the image of the cycle class map is contained in r def [ 2r Gal.F=k1/ T `.X/ H .X; Q`.r// : D X1=k1 In his talk at the AMS Summer Institute at Woods Hole in July, 1964, Tate conjectured a converse:1 r r TATE CONJECTURE T .X; `/. The Q`-vector space T `.X/ is spanned by the classes of algebraic r r cycles on X, i.e., c.Z .X// Q` T .X/. D ` r r 2r Let A`.X/ be the Q-span of the image of the cycle class map c Z.X/ H .X; Q`.r//, and, r W ! r for a model X1 of X over a finite subfield k1 of F, let A`.X1/ be the subspace of A`.X/ spanned r r r Gal. =k / r r by the image of Z .X1/ A .X/. Then A .X/ F 1 A .X1/, and so Conjecture T .X; `/ ! ` ` D ` implies that r 2r Gal.F=k1/ c.Z .X1// Q` H .X; Q`.r// : (1) D On the other hand, if (1) holds for all models of X over (sufficiently large) finite subfields of F, then Conjecture T r .X; `/ is true. def L r 2 Let T .X/ T .X/ — it is a Q`-subalgebra of H .X; Q`. // whose elements ` D 0 r dim X ` are called the Tate classesÄ Ä on X. I write T r .X/ (resp. T .X; `/, resp. T .X/) for the statement that Conjecture T r .X; `/ is true for all ` (resp. all r, resp. all r and `), and call it the Tate conjecture. In the same talk, Tate mentioned the following “conjectural statement”: CONJECTURE Er .X; `/ (EQUALITY OF EQUIVALENCE RELATIONS). The kernel of the cycle class r r 2r map c Z .X/ H .X; Q`.r// consists exactly of the cycles numerically equivalent to zero. W ! Equivalently: the pairing r dim X r A .X/ A .X/ Q ` ` ! defined by cup-product is nondegenerate. Both conjectures are existence statements for algebraic classes. It is well known that Conjecture E1.X/ holds for all X (see Tate 1994, 5). Let X be a variety over F. The choice of a model of X over a finite subfield of F defines a n Frobenius map X X. For example, for a model X1 P over Fq, acts as W ! q q .a1 a2 : : :/ .a a : : :/ X1.F/ X1.F/; X1.F/ X.F/: W W 7! 1W 2W W ! ' 1Tate’s talk is included in the mimeographed proceedings of the conference, which were distributed by the AMS to only a select few. Despite their great historical importance — for example, they contain the only written statement by Artin and Verdier of their duality theorem, and the only written account by Serre and Tate of their lifting theorem — the AMS has ignored all requests to make the proceedings more widely available. Fortunately, Tate’s talk was reprinted in the proceedings of an earlier conference (Arithmetical algebraic geometry. Proceedings of a Conference held at Purdue University, December 5–7, 1963. Edited by O. F. G. Schilling, Harper & Row, Publishers, New York 1965). 1 THE CONJECTURE, AND SOME FOLKLORE 3 Any such map will be called a Frobenius map of X (or a q-Frobenius map if it is defined by a model n n n2N n1N over Fq). If 1 and 2 are p 1 - and p 2 -Frobenius maps of X, then for some 1 D 2 N > 1.2 For a Frobenius map of X, we use a subscript a to denote the generalized eigenspace with eigenvalue a, i.e., S Ker . a/N : N CONJECTURE S r .X; `/ (PARTIAL SEMISIMPLICITY). Every Frobenius map of X acts semisim- 2r ply on H .X; Q`.r//1 (i.e., it acts as 1). 0 Weil proved (1948, 70, Theor´ eme` 38) that, for an abelian variety A over F, End .A/ is a 1 semisimple Q-algebra, from which it follows that the Frobenius maps act semisimply on H .A; Q`/ i Vi 1 and on all the cohomology groups H .A; Q`/ H .A; Q`/. In particular, Conjecture S.X/ ' holds when X is an abelian variety over F. The Frobenius endomorphism 1 of X defined by a model X1=Fq acts on the etale´ cohomology q r of X as the inverse of the canonical generator x x of Gal.F=Fq/, and so T `.X/ consists of the 2r 7! elements of H .X; Q`.r// fixed by some Frobenius map of X. Folklore THEOREM 1.4. Let X be a variety over F of dimension d, and let r N. The following statements 2 are equivalent: (a) T r .X; `/ and Er .X; `/ are true for a single `. r r d r (b) T .X; `/, S .X; `/, and T .X; `/ are true for a single `. r r r d r d r (c) T .X; `/, E .X; `/, S .X; `/, E .X; `/, and T .X; `/ are true for all `, and the Q- r r r subspace A`.X/ of T `.X/ generated by the algebraic classes is a Q-structure on T` .X/, i.e., r r A .X/ Q` T .X/. ` ˝Q ' ` (d) the order of the pole of the zeta function Z.X; t/ at t q r is equal to the rank of the group D of numerical equivalence classes of algebraic cycles of codimension r. Of course, the key point is that, for a model X1=Fq of X, the characteristic polynomial of acting on H .X; Q`/ has integer coefficients independent of ` p, which was not proved until nine years ¤ after Tate made his conjecture (by Deligne). That (d) follows from the remaining conditions and Deligne’s result is stated already by Tate in his Woods Hole talk (p101 of Tate 1965). Its proof involves only linear algebra — see Tate 1994, 2. I call statement (d) of the Theorem the full Tate conjecture. 2d THEOREM 1.5. Let X be a variety over F of dimension d. If S .X X; `/ is true, then every Frobenius map acts semisimply on H .X; Q`/. r PROOF. If a occurs as an eigenvalue of on H .X; Q`/, then 1=a occurs as an eigenvalue of on 2d r H .X; Q`.d// (by Poincare´ duality), and r 2d r 2d H .X; Q`/a H .X; Q`.d//1=a H .X X; Q`.d//1 ˝ (Kunneth¨ formula), from which the claim follows. 2 Some authors use “Tate conjecture” to mean the full Tate conjecture rather than Conjecture T , often without making this explicit. 2 Because any two models of X become isomorphic over a finite subfield of F, and the Frobenius map is replaced ŒK k1 by W when the model X1=k1 is replaced by X1K =K. 1 THE CONJECTURE, AND SOME FOLKLORE 4 Does the Tate conjecture hold integrally? Let r r 2r T .X; Z`/ T .X/ H .X; Z`.r//: ` D ` \ r 2r Thus T` .X; Z`/ consists of the elements of H .X; Z`.r// fixed by some Frobenius element. One can then ask whether r r c.Z .X// Z` T .X; Z`/: (2) D ` r 2r Since T `.X; Z`/ contains the torsion subgroup of H .X; Z`.r//, and Atiyah and Hirzebruch (1962) had recently shown that not all torsion classes in Betti cohomology are algebraic, Tate was not tempted to conjecture (2).
Load more

Recommended publications
  • Algebraic Cycles from a Computational Point of View
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Theoretical Computer Science 392 (2008) 128–140 www.elsevier.com/locate/tcs Algebraic cycles from a computational point of view Carlos Simpson CNRS, Laboratoire J. A. Dieudonne´ UMR 6621, Universite´ de Nice-Sophia Antipolis, 06108 Nice, France Abstract The Hodge conjecture implies decidability of the question whether a given topological cycle on a smooth projective variety over the field of algebraic complex numbers can be represented by an algebraic cycle. We discuss some details concerning this observation, and then propose that it suggests going on to actually implement an algorithmic search for algebraic representatives of classes which are known to be Hodge classes. c 2007 Elsevier B.V. All rights reserved. Keywords: Algebraic cycle; Hodge cycle; Decidability; Computation 1. Introduction Consider the question of representability of a topological cycle by an algebraic cycle on a smooth complex projective variety. In this paper we point out that the Hodge conjecture would imply that this question is decidable for varieties defined over Q. This is intuitively well-known to specialists in algebraic cycles. It is interesting in the context of the present discussion, because on the one hand it shows a relationship between an important question in algebraic geometry and the logic of computation, and on the other hand it leads to the idea of implementing a computer search for algebraic cycles as we discuss in the last section. This kind of consideration is classical in many areas of geometry. For example, the question of deciding whether a curve defined over Z has any Z-valued points was Hilbert’s tenth problem, shown to be undecidable in [10,51, 39].
    [Show full text]
  • Hodge-Theoretic Invariants for Algebraic Cycles
    HODGE-THEORETIC INVARIANTS FOR ALGEBRAIC CYCLES MARK GREEN∗ AND PHILLIP GRIFFITHS Abstract. In this paper we use Hodge theory to define a filtration on the Chow groups of a smooth, projective algebraic variety. Assuming the gen- eralized Hodge conjecture and a conjecture of Bloch-Beilinson, we show that this filtration terminates at the codimension of the algebraic cycle class, thus providing a complete set of period-type invariants for a rational equivalence class of algebraic cycles. Outline (1) Introduction (2) Spreads; explanation of the idea p (3) Construction of the filtration on CH (X)Q (4) Interpretations and proofs (5) Remarks and examples (6) Appendix: Reformation of the construction 1. Introduction Some years ago, inspired by earlier work of Bloch, Beilinson (cf. [R]) proposed a series of conjectures whose affirmative resolution would have far reaching conse- quences on our understanding of the Chow groups of a smooth projective algebraic variety X. For any abelian group G, denoting by GQ the image of G in G⊗Z Q, these P conjectures would have the following implications for the Chow group CH (X)Q: (I) There is a filtration p 0 p 1 p (1.1) CH (X)Q = F CH (X)Q ⊃ F CH (X)Q p p p+1 p ⊃ · · · ⊃ F CH (X)Q ⊃ F CH (X)Q = 0 whose successive quotients m p m p m+1 p (1.2) Gr CH (X)Q = F CH (X)Q=F CH (X)Q may be described Hodge-theoretically.1 The first two steps in the conjectural filtration (??) are defined classically: If p 2p 0 : CH (X)Q ! H (X; Q) is the cycle class map, then 1 p F CH (X)Q = ker 0 : Setting in general m p p m p F CH (X) = CH (X) \ F CH (X)Q ; ∗Research partially supported by NSF grant DMS 9970307.
    [Show full text]
  • Tate's Conjecture, Algebraic Cycles and Rational K-Theory In
    K-Theory 13: 109–122, 1998. 109 © 1998 Kluwer Academic Publishers. Printed in the Netherlands. Tate’s Conjecture, Algebraic Cycles and Rational K-Theory in Characteristic p THOMAS GEISSER? Institute for Experimental Mathematics, Ellernstr. 29, 45326 Essen, Germany e-mail: [email protected] (Received: May 1997) Abstract. The purpose of this article is to discuss conjectures on motives, algebraic cycles and K-theory of smooth projective varieties over finite fields. We give a characterization of Tate’s conjecture in terms of motives and their Frobenius endomorphism. This is used to prove that if Tate’s conjecture holds and rational and numerical equivalence over finite fields agree, then higher rational K-groups of smooth projective varieties over finite fields vanish (Parshin’s conjecture). Parshin’s conjecture in turn implies a conjecture of Beilinson and Kahn giving bounds on rational K-groups of fields in finite characteristic. We derive further consequences from this result. Mathematics Subject Classifications (1991). 19E08, 14C35, 19E15. Key words: higher algebraic K-theory, Milnor K-theory, finite fields, Tate’s conjecture, Beilinson’s conjecture, Parshin’s conjecture, Chow groups. 1. Introduction There are three results which allow to deduce properties of the category of motives for numerical equivalence: Deligne’s proof of the Weil conjectures, Jannsen’s semi- simplicity theorem, and the existence of the Frobenius automorphism πM for motives M. If one further assumes Tate’s conjecture, one can give a very precise description of this category (Milne [10]). For example, simple motives are determined by their Frobenius endomorphism, and one can recover the endomorphism algebra with the Frobenius.
    [Show full text]
  • Monodromy and the Tate Conjecture-1
    Monodromy and the Tate conjecture-1 Monodromy and ttthe Tattte conjjjecttture::: Piiicard numbers and Mordellllll-Weiiilll ranks iiin famiiillliiies A. Johan de Jong and Nicholas M. Katz Intttroductttiiion We use results of Deligne on …-adic monodromy and equidistribution, combined with elementary facts about the eigenvalues of elements in the orthogonal group, to give upper bounds for the average "middle Picard number" in various equicharacteristic families of even dimensional hypersurfaces, cf. 6.11, 6.12, 6.14, 7.6, 8.12. We also give upper bounds for the average Mordell- Weil rank of the Jacobian of the generic fibre in various equicharacteristic families of surfaces fibred over @1, cf. 9.7, 9.8. If the relevant Tate Conjecture holds, each upper bound we find for an average is in fact equal to that average The paper is organized as follows: 1.0 Review of the Tate Conjecture 2.0 The Tate Conjecture over a finite field 3.0 Middle-dimensional cohomology 4.0 Hypersurface sections of a fixed ambient variety 5.0 Smooth hypersurfaces in projective space 6.0 Families of smooth hypersurfaces in projective space 7.0 Families of smooth hypersurfaces in products of projective spaces 8.0 Hypersurfaces in @1≠@n as families over @1 9.0 Mordell-Weil rank in families of Jacobians References 1...0 Reviiiew of ttthe Tattte Conjjjecttture 1.1 Let us begin by recalling the general Tate Conjectures about algebraic cycles on varieties over finitely generated ground fields, cf. Tate's articles [Tate-Alg] and [Tate-Conj]. We start with a field k, a separable closure äk of k, and Gal(äk/k) its absolute galois group.
    [Show full text]
  • Arxiv:1810.06480V3 [Math.AG] 10 May 2021 1.2.1
    A NOTE ON THE BEHAVIOUR OF THE TATE CONJECTURE UNDER FINITELY GENERATED FIELD EXTENSIONS EMILIANO AMBROSI ABSTRACT. We show that the `-adic Tate conjecture for divisors on smooth proper varieties over finitely generated fields of positive characteristic follows from the `-adic Tate conjecture for divisors on smooth projective surfaces over finite fields. Similar results for cycles of higher codimension are given. 1. INTRODUCTION Let k be a field of characteristic p ≥ 0 with algebraic closure k and write π1(k) for the absolute Galois group of k.A k-variety is a reduced scheme, separated and of finite type over k. For a k-variety Z i write Zk := Z ×k k and CH (Zk) for the group of algebraic cycles of codimension i modulo rational equivalence. Let ` 6= p be a prime. 1.1. Conjectures. Recall the following versions of the Grothendieck-Serre-Tate conjectures ([Tat65], [And04, Section 7.3]): Conjecture 1.1.1. If k is finitely generated and Z is a smooth proper k-variety, then: • T (Z; i; `): The `-adic cycle class map [ 0 c : CHi(Z ) ⊗ ! H2i(Z ; (i))π1(k ) Zk k Q` k Q` [k0:k]<+1 is surjective; 2i • S(Z; i; `): The action of π1(k) on H (Zk; Q`(i)) is semisimple; 2i π1(k) 2i • WS(Z; i; `): The inclusion H (Zk; Q`(i)) ⊆ H (Zk; Q`(i)) admits a π1(k)-equivariant splitting. For a field K, one says that T (K; i; `) holds if for every finite field extension K ⊆ L and every smooth proper L-variety Z, T (Z; i; `) holds.
    [Show full text]
  • Algebraic Cycles on Generic Abelian Varieties Compositio Mathematica, Tome 100, No 1 (1996), P
    COMPOSITIO MATHEMATICA NAJMUDDIN FAKHRUDDIN Algebraic cycles on generic abelian varieties Compositio Mathematica, tome 100, no 1 (1996), p. 101-119 <http://www.numdam.org/item?id=CM_1996__100_1_101_0> © Foundation Compositio Mathematica, 1996, tous droits réservés. L’accès aux archives de la revue « Compositio Mathematica » (http: //http://www.compositio.nl/) implique l’accord avec les conditions gé- nérales d’utilisation (http://www.numdam.org/conditions). Toute utilisa- tion commerciale ou impression systématique est constitutive d’une in- fraction pénale. Toute copie ou impression de ce fichier doit conte- nir 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/ Compositio Mathematica 100: 101-119,1996. 101 © 1996 KluwerAcademic Publishers. Printed in the Netherlands. Algebraic cycles on generic Abelian varieties NAJMUDDIN FAKHRUDDIN Department of Mathematics, the University of Chicago, Chicago, Illinois, USA Received 9 September 1994; accepted in final form 2 May 1995 Abstract. We formulate a conjecture about the Chow groups of generic Abelian varieties and prove it in a few cases. 1. Introduction In this paper we study the rational Chow groups of generic abelian varieties. More precisely we try to answer the following question: For which integers d do there exist "interesting" cycles of codimension d on the generic abelian variety of dimension g? By "interesting" cycles we mean cycles which are not in the subring of the Chow ring generated by divisors or cycles which are homologically equivalent to zero but not algebraically equivalent to zero. As background we recall that G. Ceresa [5] has shown that for the generic abelian variety of dimension three there exist codimen- sion two cycles which are homologically equivalent to zero but not algebraically equivalent to zero.
    [Show full text]
  • A REMARK on UNIFORM BOUNDEDNESS for BRAUER GROUPS 1. Introduction 1.1. Let K Be a Field of Characteristic P ≥ 0 and Let K Be A
    A REMARK ON UNIFORM BOUNDEDNESS FOR BRAUER GROUPS ANNA CADORET AND FRANC¸OIS CHARLES Abstract. The Tate conjecture for divisors on varieties over number fields is equivalent to finiteness of `-primary torsion in the Brauer group. We show that this finiteness is actually uniform in one-dimensional families for varieties that satisfy the Tate conjecture for divisors { e.g. abelian varieties and K3 surfaces. 1. Introduction 1.1. Let k be a field of characteristic p ≥ 0 and let k be a separable closure of k. Let X be a smooth proper variety over k. For any prime number ` 6= p, consider the cycle class map 2 c1 : Pic(Xk) ⊗ Q` ! H (Xk; Q`(1)): 2 The absolute Galois group Gal(k=k) of k acts naturally on the ´etalecohomology group H (Xk; Q`(1)), and the image of the cycle class map c1 is contained in the group [ 2 U H (Xk; Q`(1)) ; U where U runs through the open subgroups of Gal(k=k). We say that X satisfies the `-adic Tate conjecture for divisors if the image of c1 is equal to the group above. As is well-known, the Tate conjecture for divisors is related to finiteness results for the Brauer group. Indeed, given X and ` as above, X satisfies the `-adic Tate conjecture for divisors if and only if for every subgroup U of finite index in Gal(k=k), the group U 1 Br(Xk) [` ] is finite. 1.2. In this paper, we investigate whether one might be able to find uniform bounds on the Brauer groups above when the variety X varies in a family.
    [Show full text]
  • The Mumford-Tate Conjecture for Drinfeld-Modules
    MUMFORD-TATE CONJECTURE 1 THE MUMFORD-TATE CONJECTURE FOR DRINFELD-MODULES by Richard PINK* Abstract Consider the Galois representation on the Tate module of a Drinfeld module over a finitely generated field in generic characteristic. The main object of this paper is to determine the image of Galois in this representation, up to commensurability. We also determine the Dirichlet density of the set of places of prescribed reduction type, such as places of ordinary reduction. §0. Introduction Let F be a finitely generated field of transcendence degree 1 over a finite field of characteristic p. Fix a place ∞ of F , and let A be the ring of elements of F which are regular outside ∞. Consider a finitely generated extension K of F and a Drinfeld module ϕ : A → EndK (Ga) of rank n ≥ 1 (cf. Drinfeld [10]). In other words K is a finitely generated field of transcendence degree ≥ 1 over Fp, and ϕ has “generic characteristic”. sep Let K ⊂ K¯ denote a separable, respectively algebraic closure of K. Let Fλ denote the completion of F at a place λ. If λ 6= ∞ we have a continuous representation sep ρλ : Gal(K /K) −→ GLn(Fλ) Communicated by Y. Ihara, September 20, 1996. 1991 Mathematics Subject Classifications: 11G09, 11R58, 11R45 * Fakult¨at f¨ur Mathematik und Informatik, Universit¨at Mannheim, D-68131 Mannheim, Germany 2 RICHARD PINK which describes the Galois action on the λ-adic Tate module of ϕ. The main goal of this article is to give a qualitative characterization of the image of ρλ. Here the term “qualitative” refers to properties that are shared by all open subgroups, i.e.
    [Show full text]
  • JOINT CNU-USTC-SUST SEMINAR on P-ADIC DEFORMATION of ALGEBRAIC CYCLE CLASSES AFTER BLOCH-ESNAULT-KERZ
    JOINT CNU-USTC-SUST SEMINAR ON p-ADIC DEFORMATION OF ALGEBRAIC CYCLE CLASSES AFTER BLOCH-ESNAULT-KERZ 1. Introduction Our joint seminar program is to understand the paper [4] that study the p-adic variation of Hodge conjecture of Fontaine-Messing ([6], see also [4, Conjecture 1.2]) which states roughly as follows: For simplicity, let X=W be a smooth pro- jective scheme, with W = W (k) the Witt ring of a perfect field k of characteristic 1 p > 0. If the crystalline cycle class of an algebraic cycle Z1 in the special fiber X1 = X × k has the correct Hodge level under the canonical isomorphism of Berthelot-Ogus ∗ ∼ ∗ (1.0.1) Hcris(X1=W ) = HdR(X=W ); then it can be lifted to an algebraic cycle Z of X. This problem is known when the dimension of an cycle is zero dimensional (trivial by smoothness) and codi- mension one case (Betherlot-Ogus [2, Theorem 3.8]). The article [4] proved that, under some technical condition arising from integral p-adic Hodge theory, once the Hodge level is correct, the cycle can be formally lifted to the p-adic formal scheme X = \ lim "X ⊗ W=pn of X, and it remains to be an open problem that · −!n whether there exists some formal lifting which is algebraic. The p-adic variation of Hodge conjecture is a p-adic analogue of the infinites- imal variation of Hodge conjecture ([4, Conjecture 1.1]): in this conjecture the base ring is the formal disk, i.e., the spectrum of k[[t]] where k is a character- istic zero field, and the Berthelot-Ogus isomorphism (1.0.1) is replaced by the trivialization of Gauß-Manin connection over the formal disk ([13, Proposition 8.9]) ∗ ∼ ∗ (1.0.2) (HdR(X1=k) ⊗ k[[t]]; id ⊗ d) = (HdR(X=k[[t]]); rGM): It can be shown that the infinitesimal variation of Hodge conjecture is equivalent to the original version of Grothendieck on variation of Hodge conjecture ([11], page 103 footnote), which is indeed a direct consequence of Hodge conjecture after Deligne's global invariant cycle theorem.
    [Show full text]
  • Introduction to Motives
    Introduction to motives Sujatha Ramdorai and Jorge Plazas With an appendix by Matilde Marcolli Abstract. This article is based on the lectures of the same tittle given by the first author during the instructional workshop of the program \number theory and physics" at ESI Vienna during March 2009. An account of the topics treated during the lectures can be found in [24] where the categorical aspects of the theory are stressed. Although naturally overlapping, these two independent articles serve as complements to each other. In the present article we focus on the construction of the category of pure motives starting from the category of smooth projective varieties. The necessary preliminary material is discussed. Early accounts of the theory were given in Manin [21] and Kleiman [19], the material presented here reflects to some extent their treatment of the main aspects of the theory. We also survey the theory of endomotives developed in [5], this provides a link between the theory of motives and tools from quantum statistical mechanics which play an important role in results connecting number theory and noncommutative geometry. An extended appendix (by Matilde Marcolli) further elaborates these ideas and reviews the role of motives in noncommutative geometry. Introduction Various cohomology theories play a central role in algebraic geometry, these co- homology theories share common properties and can in some cases be related by specific comparison morphisms. A cohomology theory with coefficients in a ring R is given by a contra-variant functor H from the category of algebraic varieties over a field k to the category of graded R-algebras (or more generally to a R-linear tensor category).
    [Show full text]
  • Algebraic Cycles and Topology of Real Enriques Surfaces
    Compositio Mathematica 110: 215±237, 1998. 215 c 1998 Kluwer Academic Publishers. Printed in the Netherlands. Algebraic cycles and topology of real Enriques surfaces ?? FRED ERIC MANGOLTE1 ? and JOOST VAN HAMEL2 1Laboratoire de Mathematiques, Universite de Savoie, 73376 Le Bourget du Lac Cedex, France; e-mail: [email protected] 2Institute of Mathematics, University of Utrecht, Budapestlaan 6, 3584 CD Utrecht, The Netherlands; e-mail: [email protected] Received:14 May 1996; accepted in ®nal form 22 October 1996 H Y R; Z= Abstract. For a real Enriques surface Y we prove that every homology class in 1 2 can be R represented by a real algebraic curve if and only if all connected components of Y are orientable. Furthermore, we give a characterization of real Enriques surfaces which are Galois-Maximal and/or Y Z-Galois-Maximal and we determine the Brauer group of any real Enriques surface . Mathematics Subject Classi®cations (1991): 14C25 14P25 14J28 13A20. Key words: Algebraic cycles, real algebraic surfaces, Enriques surfaces, Galois-Maximality, Brauer group. 1. Introduction Y C Let Y be a complex algebraic surface. Let us denote by the set of closed points alg H Y C ; Z of Y endowed with the Euclidean topology and let 2 be the subgroup Y C ; Z of the homology group H2 generated by the fundamental classes of Y algebraic curves on Y .If is an Enriques surface, we have alg Y C ; Z=H YC;Z: H2 2 One of the goals of the present paper is to prove a similar property for real Enriques surfaces with orientable real part.
    [Show full text]
  • Sato-Tate Distributions
    SATO-TATE DISTRIBUTIONS ANDREW V.SUTHERLAND ABSTRACT. In this expository article we explore the relationship between Galois representations, motivic L-functions, Mumford-Tate groups, and Sato-Tate groups, and we give an explicit formulation of the Sato- Tate conjecture for abelian varieties as an equidistribution statement relative to the Sato-Tate group. We then discuss the classification of Sato-Tate groups of abelian varieties of dimension g 3 and compute some of the corresponding trace distributions. This article is based on a series of lectures≤ presented at the 2016 Arizona Winter School held at the Southwest Center for Arithmetic Geometry. 1. AN INTRODUCTION TO SATO-TATE DISTRIBUTIONS Before discussing the Sato-Tate conjecture and Sato-Tate distributions in the context of abelian vari- eties, let us first consider the more familiar setting of Artin motives (varieties of dimension zero). 1.1. A first example. Let f Z[x] be a squarefree polynomial of degree d. For each prime p, let 2 fp (Z=pZ)[x] Fp[x] denote the reduction of f modulo p, and define 2 ' Nf (p) := # x Fp : fp(x) = 0 , f 2 g which we note is an integer between 0 and d. We would like to understand how Nf (p) varies with p. 3 The table below shows the values of Nf (p) when f (x) = x x + 1 for primes p 60: − ≤ p : 2 3 5 7 11 13 17 19 23 29 31 37 41 43 47 53 59 Nf (p) 00111011200101013 There does not appear to be any obvious pattern (and we should know not to expect one, because the Galois group of f is nonabelian).
    [Show full text]