On the Witt Vector Frobenius

Total Page:16

File Type:pdf, Size:1020Kb

On the Witt Vector Frobenius ON THE WITT VECTOR FROBENIUS CHRISTOPHER DAVIS AND KIRAN S. KEDLAYA Abstract. We study the kernel and cokernel of the Frobenius map on the p-typical Witt vectors of a commutative ring, not necessarily of characteristic p. We give many equivalent conditions to surjectivity of the Frobenus map on both finite and infinite length Witt vectors. In particular, surjectivity on finite Witt vectors turns out to be stable under certain integral extensions; this provides a clean formulation of a strong generalization of Faltings's almost purity theorem from p-adic Hodge theory, incorporating recent improvements by Kedlaya{Liu and by Scholze. Introduction Fix a prime number p. To each ring R (always assumed commutative and with unit), we may associate in a functorial manner the ring of p-typical Witt vectors over R, denoted W (R), and an endomorphism F of W (R) called the Frobenius endomorphism. The ring W (R) is set-theoretically an infinite product of copies of R, but with an exotic ring structure when p is not a unit in R; for example, for R a perfect ring of characteristic p, W (R) is the unique strict p-ring with ∼ W (R)=pW (R) = R. In particular, for R = Fp, W (R) = Zp. In this paper, we study the kernel and cokernel of the Frobenius endomorphism on W (R). In case p = 0 in R, this map is induced by functoriality from the Frobenius endomorphism of R, and in particular is injective when R is reduced and bijective when R is perfect. If p 6= 0 in R, the Frobenius map is somewhat more mysterious. To begin with, it is never injective; it is easy to construct many elements of the kernel. On the other hand, Frobenius is surjective in some cases, although these seem to be somewhat artificial; the simplest nontrivial example we have found is the valuation subring of a spherical completion of Qp. While surjectivity of Frobenius on full Witt vectors is rather rare, some weaker conditions turn out to be more relevant to applications. For instance, one can view the full ring of Witt vectors as an inverse limit of finite-length truncations, and surjectivity of Frobenius on finite levels is satisfied quite often. For instance, this holds for R equal to the ring of integers in any infinite algebraic extension of Q which is sufficiently ramified at p (e.g., the p-cyclotomic extension). In fact, this condition can be used to give a purely ring-theoretic formulation of a very strong generalization of Faltings's almost purity theorem [2]. The theorem of Faltings features prominently in the theory of comparison isomorphisms in p-adic Hodge Date: October 1, 2012. 2010 Mathematics Subject Classification. Primary 13F35. Davis was supported by the Max-Planck-Institut f¨urMathematik (Bonn). Kedlaya was sup- ported by NSF (CAREER grant DMS-0545904, grant DMS-1101343), DARPA (grant HR0011- 09-1-0048), MIT (NEC Fund, Green professorship), UCSD (Warschawski professorship). 1 2 CHRISTOPHER DAVIS AND KIRAN S. KEDLAYA theory; the generalization in question emerged recently from work of the second author and Liu [9] and of Scholze [11]. One principal motivation for studying the Frobenius on Witt vectors is to reframe p-adic Hodge theory in terms of Witt vectors of characteristic 0 rings, and ultimately to globalize the constructions with an eye towards study of global ´etalecohomology, K-theory, and L-functions. We will pursue these goals in subsequent papers. 1. Witt vectors Throughout this section, let R denote an arbitrary commutative ring. For more details on the construction of p-typical Witt vectors, see [7, Section 0.1] or [5, Section 17]; the latter treats big Witt vectors as well as p-typical Witt vectors. Definition 1.1. For each nonnegative integer n, the ring Wpn (R) is defined to n+1 have underlying set Wpn (R) := R with an exotic ring structure characterized by functoriality in R and the property that for i = 0; : : : ; n, the pi-th ghost component map wpi : Wpn (R) ! R defined by pi pi−1 i wpi (r1; rp; : : : ; rpn ) = r1 + prp + ··· + p rpi is a ring homomorphism. These rings carry Frobenius homomorphisms F : Wpn+1 (R) ! Wpn (R); again functorial in R, such that for i = 0; : : : ; n, we have wpi ◦F = wpi+1 . Moreover, there are additive Verschiebung maps V : Wpn (R) ! Wpn+1 (R) defined by the formula V (r1; : : : ; rpn ) = (0; r1; : : : ; rpn ). There is a natural restriction map Wpn+1 (R) ! Wpn (R) obtained by forgetting the last component; define W (R) to be the inverse limit of the Wpn (R) via these restriction maps. The Frobenius homomorphisms at finite levels then collate to de- fine another Frobenius homomorphism F : W (R) ! W (R); there is also a collated Verschiebung map V : W (R) ! W (R). The ghost component maps also collate to define a ghost map: w : W (R) ! RN. We equip the target with component-wise ring operations; the map w is then a ring homomorphism. In either Wpn (R) or W (R), an element of the form (r; 0; 0;::: ) is called a Teichm¨uller element and denoted [r]. These elements are multiplicative: for all r1; r2 2 R,[r1r2] = [r1][r2]. We will need the following properties of Witt vectors for R arbitrary (not neces- sarily of characteristic p). See [6, Lemma 1.5]. Here and in what follows, we write x for a Witt vector with components x1; xp;::: . (a) For r 2 R, F ([r]) = [rp]. (b) For x 2 Wpn (R), (F ◦ V )(x) = px. (c) For x 2 Wpn (R) and y 2 Wpn+1 (R), V (xF (y)) = V (x)y. Pn i (d) For x 2 Wpn (R), x = i=0 V ([xpi ]). Remark 1.2. A standard method of proving identities about Witt vectors and their operations is reduction to the universal case: take R to be a polynomial ring in many variables over Z, form Witt vectors whose components are distinct variables, then verify the desired identities at the level of ghost components. This suffices because R is now p-torsion-free, so the ghost map is injective. We will need a couple of other p-divisibility properties. We first prove the fol- lowing lemma. ON THE WITT VECTOR FROBENIUS 3 Lemma 1.3. In W (Z=p2Z), we have p = (p; (−1)p−1; 0; 0;::: ) = [p] + V ([(−1)p−1]): p p−1 Proof. Write p = (x1; xp;::: ) 2 W (Z). Then x1 = p and xp = (p−p )=p = 1−p , which is congruent to 1 mod p2 if p > 2 and to 3 mod 4 if p = 2. We now show by 2 induction on n that for each n ≥ 1, we have xpi ≡ 0 mod p for 2 ≤ i ≤ n. The base case n = 1 is vacuously true. For the induction step, considering the pn-th ghost component of p, write n−1 n pn pn−1 X i pn−i p xpn = −x1 + p(1 − xp ) − p xpi : i=2 To complete the induction, it suffices to check that each term on the right side has p-adic valuation at least n + 2. This is clear for the first term because pn ≥ n + 2. p−1 p−1 p 3 For the second term we have xp ≡ (−1) mod p and so xp ≡ 1 mod p (we pn−1 3+n−2 treat p = 2 and p > 2 separately). We then have xp ≡ 1 mod p , so the second term is indeed divisible by pn+2. For the terms in the sum, the claim is n−i again clear because i + 2p ≥ i + 2(n − i + 1) ≥ n + 2. Lemma 1.4. Take x; y 2 W (R) with F (x) = y. p (a) For each nonnegative integer i, we have ypi = xpi +pxpi+1 +pfpi (x1; : : : ; xpi ) where fpi is a certain universal polynomial with coefficients in Z which is i+1 j homogeneous of degree p for the weighting in which xpj has weight p . pi+1 (b) For i ≥ 1, the coefficient of x1 in fpi equals 0. pi (c) For i ≥ 2, the coefficient of xp in fpi is divisible by p. p p−2 (d) The coefficient of xp in fp equals −p modulo p. (e) For p = 2 and i ≥ 2, f2i belongs to the ideal generated by the elements 2 2; x1; x2 − x4; x8; : : : ; x2i : Proof. By reduction to the universal case, we see that ypi equals a universal polyno- i+1 mial in x1; : : : ; xpi+1 with coefficients in Z which is homogeneous of degree p for p the given weighting. This polynomial is congruent to xpi modulo p by [7, (1.3.5)]. Each of the remaining assertions concerns a particular coefficient of this polynomial, and so may be checked after setting all other variables to 0. To finish checking (a), we must check that fpi does not depend on xpi+1 . We assume x1 = ··· = xpi = 0, i+1 i so that x = V ([xpi+1 ]); then F (x) = pV ([xpi+1 ]) = (0;:::; 0; pxpi+1 ). To check (b), we may assume that xp = xp2 = ··· = xpi = 0, so that x = [x1]. p In this case, F (x) = [x1], so the claim follows. To check (c), we may assume that x1 = xp2 = xp3 = ··· = xpi = 0, so that x = V ([xp]). In this case, the claim is 2 that ypi ≡ 0 mod p for i ≥ 2. Since F (x) = p[xp], by homogeneity it is sufficient to check the claim for xp = 1. In this case, it follows from Lemma 1.3.
Recommended publications
  • THE TESTIDEALS PACKAGE for MACAULAY2 1. Introduction This Paper Describes Methods for Computing Objects and Numerical Invariants
    THE TESTIDEALS PACKAGE FOR MACAULAY2 ALBERTO F. BOIX, DANIEL J. HERNANDEZ,´ ZHIBEK KADYRSIZOVA, MORDECHAI KATZMAN, SARA MALEC, MARCUS ROBINSON, KARL SCHWEDE, DANIEL SMOLKIN, PEDRO TEIXEIRA, AND EMILY E. WITT Abstract. This note describes a Macaulay2 package for computations in prime characteristic commutative algebra. This includes Frobenius powers and roots, p−e-linear and pe-linear maps, singularities defined in terms of these maps, different types of test ideals and modules, and ideals compatible with a given p−e-linear map. 1. Introduction This paper describes methods for computing objects and numerical invariants in prime characteristic commutative algebra, implemented in the package TestIdeals for the computer algebra system Macaulay2 [GS]. A ring R of prime characteristic p comes equipped with the Frobenius endomorphism F : R −! R given by F (x) = xp; which is the basis for many constructions and methods. Notably, the Frobenius endomorphism can be used to detect whether a ring is regular [Kun69], and fur- ther, to quantify how far a ring is from being regular, measuring the severity of a singularity. In this direction, two notable applications of the Frobenius endomorphism are the theory of tight closure (see [HH90, Hoc07] for an introduction) and the resulting theory of test ideals (see the survey [ST12]). These methods are used by a wide group of commutative algebraists and algebraic geometers. The TestIdeals package was started during a Macaulay2 development work- shop in 2012, hosted by Wake Forest University. The package, at that time called PosChar, aimed at providing a unified and efficient set of tools to study singulari- ties in characteristic p > 0, and in particular, collecting and implementing several algorithms that had been described in research papers.
    [Show full text]
  • On Witt Vector Cohomology for Singular Varieties
    ON WITT VECTOR COHOMOLOGY FOR SINGULAR VARIETIES PIERRE BERTHELOT, SPENCER BLOCH, AND HEL´ ENE` ESNAULT Abstract. Over a perfect field k of characteristic p > 0, we con- struct a “Witt vector cohomology with compact supports” for sep- arated k-schemes of finite type, extending (after tensorisation with Q) the classical theory for proper k-schemes. We define a canonical morphism from rigid cohomology with compact supports to Witt vector cohomology with compact supports, and we prove that it provides an identification between the latter and the slope < 1 part of the former. Over a finite field, this allows one to compute con- gruences for the number of rational points in special examples. In particular, the congruence modulo the cardinality of the finite field of the number of rational points of a theta divisor on an abelian variety does not depend on the choice of the theta divisor. This answers positively a question by J.-P. Serre. Contents 1. Introduction 1 2. Witt vector cohomology with compact supports 6 3. A descent theorem 17 4. Witt vector cohomology and rigid cohomology 21 5. Proof of the main theorem 28 6. Applications and examples 33 References 41 1. Introduction Let k be a perfect field of characteristic p > 0, W = W (k), K = Frac(W ). If X is a proper and smooth variety defined over k, the theory of the de Rham-Witt complex and the degeneration of the slope spectral sequence provide a functorial isomorphism ([6, III, 3.5], [20, II, 3.5]) ∗ <1 ∼ ∗ (1.1) Hcrys(X/K) −−→ H (X, W OX )K , Date: October 12, 2005.
    [Show full text]
  • The Structure of the Group of Rational Points of an Abelian Variety Over a Finite Field
    THE STRUCTURE OF THE GROUP OF RATIONAL POINTS OF AN ABELIAN VARIETY OVER A FINITE FIELD CALEB SPRINGER Abstract. Let A be a simple abelian variety of dimension g defined over a finite field Fq with Frobenius endomorphism π. This paper describes the structure of the group of rational points A(Fqn ), for all n 1, as a module over the ring R of endomorphisms which are defined ≥ over Fq, under certain technical conditions. If [Q(π): Q]=2g and R is a Gorenstein ring, n F n then A( q ) ∼= R/R(π 1). This includes the case when A is ordinary and has maximal real multiplication. Otherwise,− if Z is the center of R and (πn 1)Z is the product of d n − invertible prime ideals in Z, then A(Fqn ) = R/R(π 1) where d =2g/[Q(π): Q]. Finally, ∼ − we deduce the structure of A(Fq) as a module over R under similar conditions. These results generalize results of Lenstra for elliptic curves. 1. Introduction Given an abelian variety A over a finite field Fq, one may view the group of rational points A(Fq) as a module over the ring EndFq (A) of endomorphisms defined over Fq. Lenstra completely described this module structure for elliptic curves over finite fields in the following theorem. In addition to being useful and interesting in its own right, this theorem also determines a fortiori the underlying abelian group structure of A(Fq) purely in terms of the endomorphism ring. The latter perspective has been leveraged for the sake of computational number theory and cryptography; see, for example, the work of Galbraith [6, Lemma 1], Ionica and Joux [8, §2.3], and Kohel [12, Chapter 4].
    [Show full text]
  • Frobenius Maps of Abelian Varieties and Finding Roots of Unity in Finite Fields J
    Frobenius Maps of Abelian Varieties and Finding Roots of Unity in Finite Fields J. Pila “If ’twere done when ’tis done, then ’twere well / It were done quickly.” –Macbeth. Abstract. We give a generalization to Abelian varieties over finite fields of the algorithm of Schoof for elliptic curves. Schoof showed that for an elliptic curve E over Fq given by a Weierstrass equation one can compute the number of Fq– rational points of E in time O((log q)9). Our result is the following. Let A be an Abelian variety over Fq. Then one can compute the characteristic polynomial of the Frobenius endomorphism of A in time O((log q)∆) where ∆ and the implied constant depend only on the dimension of the embedding space of A, the number of equations defining A and the addition law, and their degrees. The method, generalizing that of Schoof, is to use the machinery developed by Weil to prove the Riemann hypothesis for Abelian varieties. By means of this theory, the calculation is reduced to ideal theoretic computations in a ring of polynomials in several variables over Fq. As applications we show how to count the rational points on the reductions modulo primes p of a fixed curve over Q in time polynomial in log p; we show also that, for a fixed prime `, we can compute the `th roots of unity mod p, when they exist, in polynomial time in log p. This generalizes Schoof’s application of his algorithm to find square roots of a fixed integer x mod p. 1.
    [Show full text]
  • The Frobenius Endomorphism and Multiplicities
    The Frobenius Endomorphism and Multiplicities by Linquan Ma A dissertation submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy (Mathematics) in The University of Michigan 2014 Doctoral Committee: Professor Melvin Hochster, Chair Professor Hyman Bass Professor Harm Derksen Professor Mircea Mustat¸˘a Professor Karen E. Smith To my parents ii ACKNOWLEDGEMENTS First and foremost, I would like to express my deep gratitude to my advisor, Mel Hochster, for his constant support and encouragement. His ingenious ideas and invaluable advice have helped me a lot in my research throughout the years. I would like to thank Hyman Bass, Harm Derksen, Mircea Mustat¸˘a,and Karen Smith for being my dissertation committee members. I am particularly thankful to Mircea Mustat¸˘aand Karen Smith for teaching me many algebraic geometry courses and answering my questions. I want to thank Karl Schwede and Wenliang Zhang, for answering numerous of my questions and for lots of inspirational discussions in mathematics. It is a pleasure to thank Zhixian Zhu, Xin Zhou, Felipe P´erez,Yefeng Shen and Sijun Liu for many helpful mathematical conversations throughout the years. I am also grateful to all my friends at Peking University and University of Michigan. Special thanks go to Jingchen Wu, for being a great friend and especially for organizing the Crosstalk shows that add color to my mathematical life. We are an excellent \couple" in Crosstalk! Last but definitely not least, I would like to thank my parents for their kind support and encouragement. iii TABLE OF CONTENTS DEDICATION :::::::::::::::::::::::::::::::::::::::::: ii ACKNOWLEDGEMENTS :::::::::::::::::::::::::::::::::: iii CHAPTER I.
    [Show full text]
  • Motives Over Fp
    Motives over Fp J.S. Milne July 22, 2006 Abstract In April, 2006, Kontsevich asked me whether the category of motives over Fp (p prime), has a fibre functor over a number field of finite degree since he had a conjecture that more-or-less implied this. This article is my response. Unfortunately, since the results are generally negative or inconclusive, they are of little interest except perhaps for the question they raise on the existence of a cyclic extension of Q having certain properties (see Question 6.5). Let k be a finite field. Starting from any suitable class S of algebraic varieties over k including the abelian varieties and using the correspondences defined by algebraic cycles modulo numerical equivalence, we obtain a graded tannakian category Mot.k/ of motives. Let Mot0.k/ be the subcategory of motives of weight 0 and assume that the Tate conjecture holds for the varieties in S. For a simple motive X, D End.X/ is a division algebra with centre the subfield D F QŒX generated by the Frobenius endomorphism X of X and D 1 rank.X/ ŒD F 2 ŒF Q: D W W Therefore, D can act on a Q-vector space of dimension rank.X/ only if it is commutative. Since this is never the case for the motive of a supersingular elliptic curve or of the abelian variety obtained by restriction of scalars from such a curve, there cannot be a Q-valued fibre functor on the full category Mot.k/. Let k Fq. Then, for each prime v of F , D 8 1=2 if v is real and X has odd weight ˆ < ordv.X / invv.D/ ŒFv Qp if v p (1) D ˆ ordv.q/ W j :ˆ 0 otherwise (Tate’s formula; see Milne 1994, 2.16).
    [Show full text]
  • The Grothendieck Ring of Varieties and of the Theory of Algebraically Closed Fields
    THE GROTHENDIECK RING OF VARIETIES AND OF THE THEORY OF ALGEBRAICALLY CLOSED FIELDS TIBOR BEKE ABSTRACT. In each characteristic, there is a canonical homomorphism from the Grothendieck ring of varieties to the Grothendieck ring of sets definable in the theory of algebraically closed fields. We prove that this homomorphism is an isomorphism in characteristic zero. In positive characteristics, we exhibit specific elements in the kernel of the corresponding homomorphism of Grothendieck semirings. The comparison of these two Grothendieck rings in positive characteristics seems to be an open question, related to the difficult problem of cancellativity of the Grothendieck semigroup of varieties. 1. INTRODUCTION Of the many occurrences of Grothendieck rings in algebraic geometry, there are two closely related ones that are the subjects of this note. One is Grothendieck’s original definition: the gener- ators are isomorphism classes of varieties, and the relations stem from open-closed decompositions into subvarieties. See Bittner [Bit04] for a careful discussion and presentation in terms of smooth varieties, and Looijenga [Loo02] for how localizations and completions of this ring give rise to motivic measures. The other definition originates in geometric model theory, as an instance of the Grothendieck ring of models of a first-order theory. Here, in line with the general aims of model theory, the objects of study are formulas of first order logic, and the subsets of an ambient model they define. The natural notion of morphism becomes a definable map, and in the Grothendieck ring of definable sets, it is natural to permit as relations all definable decompositions. Let us specialize to the theory of algebraically closed fields.
    [Show full text]
  • On P-Adic Unit-Root Formulas
    On p-adic unit-root formulas Masha Vlasenko Abstract For a multivariate Laurent polynomial f (x) with coefficients in a ring R we construct a sequence of matrices with entries in R whose reductions modulo p give iterates of the Hasse–Witt operation for the hypersurface of zeroes of the reduc- tion of f (x) modulo p. We show that our matrices satisfy a system of congruences modulo powers of p. If the Hasse–Witt operation is invertible these congruences yield p-adic limit formulas, which conjecturally describe the Gauss–Manin connec- tion and the Frobenius operator on the the slope 0 part of a crystal attached to f (x). We also apply our results on congruences to integrality of formal group laws of Artin–Mazur kind. 1 Hasse–Witt matrix Let X=Fq be a smooth projective variety of dimension n over a finite field with q = pa elements. The congruence formula due to Katz (see [1]) states that modulo p the zeta function of X is described as n a i (−1)i+1 Z(X=Fq;T) ≡ ∏det(1 − T · F jH (X;OX )) mod p; (1) i=0 i where H (X;OX ) is the cohomology of X with coefficients in the structure sheaf OX and F is the Frobenius map, the p-linear vector space map induced by h 7! hp on p p the structure sheaf (p-linear means F (bs + ct) = b F (s) + c F (t) for b;c 2 Fq i and s;t 2 H (X;OX )). When X is a complete intersection the only interesting term n in formula (1) is given by H (X;OX ).
    [Show full text]
  • Entropy and Witt Construction 8 2.1
    CHARACTERISTIC 1, ENTROPY AND THE ABSOLUTE POINT ALAIN CONNES AND CATERINA CONSANI Abstract. We show that the mathematical meaning of working in character- istic one is directly connected to the fields of idempotent analysis and tropical algebraic geometry and we relate this idea to the notion of the absolute point Spec F1. After introducing the notion of \perfect" semi-ring of characteristic one, we explain how to adapt the construction of the Witt ring in characteris- tic p > 1 to the limit case of characteristic one. This construction also unveils an interesting connection with entropy and thermodynamics, while shedding a new light on the classical Witt construction itself. We simplify our earlier construction of the geometric realization of an F1-scheme and extend our ear- lier computations of the zeta function to cover the case of F1-schemes with torsion. Then, we show that the study of the additive structures on monoids provides a natural map M 7! A(M) from monoids to sets which comes close to fulfill the requirements for the hypothetical curve Spec Z over the absolute point Spec F1. Finally, we test the computation of the zeta function on elliptic curves over the rational numbers. Contents 1. Introduction 2 2. Working in characteristic 1: Entropy and Witt construction 8 2.1. Additive structure 8 2.2. Characteristic p = 2 10 2.3. Characteristic p = 1 and idempotent analysis 12 2.4. Witt ring in characteristic p = 1 and entropy 17 2.5. The Witt ring in characteristic p > 1 revisited 20 2.6. B, F1 and the \absolute point" 22 3.
    [Show full text]
  • Arxiv:1803.03229V2 [Math.AC] 8 Sep 2018 N H Perfection, the and Aia Fr(O Xml,Rcudb -Dclycmlt) T R Map Complete)
    REGULAR RINGS AND PERFECT(OID) ALGEBRAS BHARGAV BHATT, SRIKANTH B. IYENGAR, AND LINQUAN MA Happy Birthday Gennady! ABSTRACT. We prove a p-adic analog of Kunz’s theorem: a p-adically complete noether- ian ring is regular exactly when it admits a faithfully flat map to a perfectoid ring. This result is deduced from a more precise statement on detecting finiteness of projective di- mension of finitely generated modules over noetherian rings via maps to perfectoid rings. We also establish a version of the p-adic Kunz’s theorem where the flatness hypothesis is relaxed to almost flatness. 1. INTRODUCTION This paper explores some homological properties of perfect(oid) algebras over commu- tative noetherian rings. A commutative ring of positive characteristic p is called perfect if its Frobenius endomorphism is an isomorphism. Perfectoid rings are generalizations of perfect rings to mixed characteristic (Definition 3.5). Their most important features for our work are: if A is a perfectoid ring, then √pA is a flat ideal, A/√pA is a perfect ring, and finitely generated radical ideals in A containing p have finite flat dimension (Lemma 3.7). One of our main results is that over a noetherian local ring R, any perfectoid R-algebra A with mA = A detects finiteness of homological dimension of R-modules. More precisely, 6 R given such an A, if a finitely generated R-module M satisfies Tor j (A,M)= 0 for j 0, then M has a finite free resolution by R-modules (Theorem 4.1). The crucial property≫ of A that is responsible for this phenomenon is isolated in Theorem 2.1, which identifies a large class of modules that can detect finiteness of homological dimension over local rings.
    [Show full text]
  • Abstract Commutative Endomorphism Rings Of
    ABSTRACT Title of dissertation: COMMUTATIVE ENDOMORPHISM RINGS OF SIMPLE ABELIAN VARIETIES OVER FINITE FIELDS Jeremy Bradford, Doctor of Philosophy, 2012 Dissertation directed by: Professor Lawrence C. Washington Department of Mathematics In this thesis we look at simple abelian varieties defined over a finite field k = Fpn with Endk(A) commutative. We derive a formula that connects the p- rank r(A) with the splitting behavior of p in E = Q(π), where π is a root of the characteristic polynomial of the Frobenius endomorphism. We show how this formula can be used to explicitly list all possible splitting behaviors of p in OE, and we do so for abelian varieties of dimension less than or equal to four defined over Fp. We then look for when p divides [OE : Z[π; π¯]]. This allows us to prove that the endomorphism ring of an absolutely simple abelian surface is maximal at p when p ≥ 3. We also derive a condition that guarantees that p divides [OE : Z[π; π¯]]. Last, we explicitly describe the structure of some intermediate subrings of p-power index between Z[π; π¯] and OE when A is an abelian 3-fold with r(A) = 1. COMMUTATIVE ENDOMORPHISM RINGS OF SIMPLE ABELIAN VARIETIES OVER FINITE FIELDS by Jeremy Bradford Dissertation submitted to the Faculty of the Graduate School of the University of Maryland, College Park in partial fulfillment of the requirements for the degree of Doctor of Philosophy 2012 Advisory Committee: Professor Lawrence C. Washington, Chair/Advisor Professor Patrick Brosnan Professor William Gasarch Professor Niranjan Ramachandran Professor Harry Tamvakis Table of Contents 1 Introduction 1 2 Background 5 2.1 Abelian Varieties .
    [Show full text]
  • Witt Vectors and a Question of Keating and Rudnick
    WITT VECTORS AND A QUESTION OF KEATING AND RUDNICK NICHOLAS M. KATZ 1. Introduction We work over a finite field k = Fq inside a fixed algebraic closure k, and fix an integer n ≥ 2. We form the k-algebra B := k[X]=(Xn+1): Following Keating and Rudnick, we say that a character × × Λ: B ! C is \even" if it is trivial on the subgroup k×. The quotient group B×=k× is the group of \big" Witt vectors mod Xn+1 with values in k. Recall that for any ring A, the group BigW itt(A) is simply the abelian group 1 + XA[[X]] of formal series with constant term 1, under multiplication of formal series. In this group, the ele- ments 1 + Xn+1A[[X]] form a subgroup; the quotient by this subgroup is BigW ittn(A): n+1 BigW ittn(A) := (1 + XA[[X]])=(1 + X A[[X]]): We will restrict this functor A 7! BigW ittn(A) to variable k-algebras A. In this way, BigW ittn becomes a commutative unipotent group- scheme over k. The Lang torsor construction 1 − F robk : BigW ittn ! BigW ittn defines a finite ´etalecover of BigW ittn by itself, with structural group BigW itt(k). Given a character Λ of BigW ittn(k), the pushout of this torsor by Λ gives the lisse, rank one Artin-Schrier-Wtt sheaf LΛ on BigW itt. We have a morphism of k-schemes 1 n+1 A ! BigW ittn; t 7! 1 − tX mod X : The pullback of LΛ by this morphism is, by definition, the lisse, rank one sheaf LΛ(1−tX) on the affine t-line.
    [Show full text]