A review of the foundations of perfectoid spaces
|
|
- Bruno Hunter
- 5 years ago
- Views:
Transcription
1 A review of the foundations of erfectoid saces (Notes for some talks in the Fargues Fontaine curve study grou at Harvard, Oct./Nov. 2017) Matthew Morrow Abstract We give a reasonably detailed overview of the various tilting corresondences for erfectoid rings, the almost urity theorem, almost vanishing theorems, etc. We largely follow Scholze s Perfectoid saces and Etale cohomology of diamonds, together with a tiny amount of Bhatt M. Scholze s Integral -adic Hodge theory in order to formulate some results in terms of integral erfectoid rings rather than erfectoid Tate rings. I ve also benefited a lot from Bhatt s Lecture notes for a class on erfectoid saces. Fix a rime number forever. 1 Integral erfectoid rings Let A be a comlete toological ring. We say that A is integral erfectoid if and only if there exists a non-zero-divisor (for simlicity otherwise condition (iii) should be modified, but for our goal of studying erfectoid Tate rings the non-zero-divisor case is sufficient) π A such that (a) the toology on A is the π-adic toology; (b) π A; (c) Φ : A/πA A/π A, a a It is convenient, though not standard, to call any such element π a erfectoid seudo-uniformiser (u). Lemma 1.1. Let A be integral erfectoid, and π A a erfectoid seudo-uniformiser. Then: (i) Every element of A/πA is a th -ower (n.b., this is not a characteristic ring). (ii) If an element a A[ 1 π ] satisfies a A, then a A. (iii) After multilying π by a unit it admits a comatible sequence of -ower roots π 1/, π 1/2, A. Proof. (i): Using the surjectivity of Φ, a simle induction lets us write any a A as an infinite sum a = i 0 a i πi for some a i A; but this is ( i 0 a iπ i ) mod πa. (ii): Let l 0 be the smallest integer such that π l a A. Assuming that l > 0, we get a contradiction by noting that π l a π l A π A, whence π l a πa by condition (c), and so π l 1 a A. (iii): Recall that if B is any -adically comlete ring, then the natural ma lim B x x B/B is an isomorhism of monoids; alying this to the rings A and A/πA, we lim x x 1
2 deduce that the natural ma lim A lim x x x x A/πA is an isomorhism. Since we have just shown that x x is surjective on A/π, it follows that there exists a comatible sequence a, a 1/, a 1/s, A such that a π mod πa; therefore a = uπ for some u 1+A A. Lemma 1.2. Let A be integral erfectoid, and ϖ A any element satisfying (a) and (b). Then ϖ is a erfectoid seudo-uniformiser. Proof. It follows from Lemma 1.1(i) that every element of A/A is a th -ower; hence every element of its quotient A/ϖ A is a th -ower. It remains to rove that Φ : A/ϖA A/ϖ A is injective. Let π A be a erfectoid seudo-unifomiser. The fact that π and ϖ define the same toology easily imlies that ϖ is a non-zero-divisor and that A[ 1 ϖ ] = A[ 1 π ]. If a A satisfies a ϖ A, then (a/ϖ) A[ 1 π ] satisfies (a/ϖ) A, and it then follows from Lemma 1.1(ii) that in fact a ϖa as desired. Lemma 1.3. Suose A is a comlete toological ring such that A = 0. Then A is integral erfectoid if and only if it is erfect and the toology is π-adic for some non-zero-divisor π A. Proof. Condition (b) is clearly vacuous, while (c) imlies by a trivial inductive argument and taking the limit. 1.1 The tilt of an integral erfectoid ring Definition 1.4. The tilt of an integral erfectoid ring A is A := lim ϕ A/A, equied with the inverse limit toology (A/A is of course given the quotient toology). Lemma 1.5. Let A be an integral erfectoid ring. Then: (i) the usual well-defined ma of monoids # : A A, (a 0, a 1,... ) lim i ã i i ã i A are arbitrary lifts of the elements a i A/A) is continuous; (where (ii) the usual isomorhisms of monoids lim A a a A = lim A/A lim A/πA are ϕ ϕ homeomorhisms, where π A is any element defining the toology which divides. (iii) A is also an integral erfectoid ring. Proof. Given (1,..., 1, a n+1, a n+2,... ) lim A/πA, any chosen lifts ã ϕ i satisfy ã i n i 1 mod πa for i > n, whence ã i i 1 mod π n A; taking the limit shows that the shar is 1 mod π n A. This roves that # : lim A/πA A is continuous, from which (i) and (ii) easily follow. ϕ (iii) Let π A be a erfectoid seudo-uniformiser admitting -ower roots; let π = (π, π 1/,..., ) A be the corresonding element of A. Note that if a A satisfies a πa then (aπ ( 1)/ ) π A, whence aπ ( 1)/ πa and so a π 1/ A; similarly, by induction, if a n πa then a π 1/n A. Therefore we have exact sequences 0 π 1 1/n A/πA A/πA π1/n A/πA ϕn A/πA 0 for each n 1, which are comatible over different n (wrt. ϕ acting on the left three terms, and id on the right-most term). Taking lim clearly kills the left-most term (since ϕ(ϕ 1 1/n ) πa) n and so we obtain a short exact sequence 0 A π A mod π A/πA 0. 2
3 Therefore π is a non-zero-divisor of A. Since A lim A/πA is a homeomorhism, a basis of oen neighbourhoods of 0 A is ϕ given by the kernels of (# mod π) ϕ n, for n 1; but these kernels are π n (since π is a non-zero-divisor, A is erfect, and we have roved it when n = 0), thereby showing that the toology on A is the π -adic toology. By the revious lemma, A is integral erfectoid. 1.2 Fontaine s ma θ Proosition 1.6 (Fontaine). Let A be an integral erfectoid ring. (i) There is a unique ring homomorhism which sends [a] to a # for each a A. θ : W (A ) A (ii) θ is surjective and its kernel is generated by a non-zero-divisor. (iii) An element ξ Ker θ is a generator if and only if its Witt vector exansion ξ = (ξ 0, ξ 1,... ) has the roerty that ξ 1 is a unit of A. (iv) W (A ) is Ker θ-adically comlete. Proof. Since any element α W (A ) may be written uniquely as α = i 0 [a i] i = (a 0, a 1, a 2,... ) where a i A, the content of (i) is the assertion that α i 0 a# i i is a ring homomorhism. In rincile this can be checked directly using the olynomial exressions for addition and multilication of Witt vectors; alternatively see Lemma 3.2 of Integral -adic Hodge theory (we do not reroduce the roof here). (ii): Since W (A) is -adically comlete and A is -adically searated, to rove surjectivity it is enough to show that θ is surjective mod. But the Frobenius is surjective mod A and A lim x x A/A, so any element of A is a shar mod ; this is clearly enough. Now we construct a ossible generator of the kernel; let π A be a erfectoid seudouniformiser admitting -ower roots. Since π A and θ is surjective, we may write = π θ( x) for some x W (A ), whence ξ := + [π ] x Ker θ. Since W (A ) is [π ]-adically comlete and A is θ([π ]) = π-torsion-free, one easily sees that θ : W (A )/ξ A is an isomorhism if and only if it becomes an isomorhism when we mod out by [π ]; but then it identifies with A /π A # mod π A/πA (note that ([π ], ξ) = ([π ], )), which we saw was an isomorhism in the roof of Lemma 1.5(iii). We must also show that ξ is a non-zero-divisor, so suose that α W (A ) satisfies ξf = 0. Since ξ divides m + [π ] m x m we deduce ( m + [π ] m x m )α = 0, and so m α [π ] m W (A ); writing α = (a 0, a 1,... ) in Witt coordinates and exanding, this shows that a m i π m+i 1m A for all i 0. But A is erfect so this means a i π i+1m, and then letting m shows a i = 0 for all i 0, i.e., α = 0. (Note: this argument actually showed that W (C) is ξ-torsion-free, where C is any erfect A algebra which is π -adicallly searated; this will be useful later.) (iii): First note that the Witt vector exansion of our element ξ looks like (ξ 0, ξ 1,... ) = + [π ] x = (0, 1, 0, 0,... ) + (π x 0, π 2 x 1,... ) = (π x 0, 1 + π 2 x 1,... ), 3
4 in articular ξ 1 is a unit. Now let ξ = (ξ 0, ξ 1,... ) Ker θ be another element (whence ξ # 0 A and so ξ 0 π A ), and write ξ = αξ = (a 0, a 1,... )(ξ 0, ξ 1,... ) = (a 0 ξ 0, a 1 ξ 0 + a 0 ξ 1,... ). Then ξ is also a generator if and only if α is a unit, which is equivalent to a 0 being a unit, which is equivalent to ξ 1 = a 1ξ 0 + a 0 ξ 1 being a unit (since ξ 0 π A, ξ 1 is a unit, and A is π -adically comlete). (iv): W (A ) is ([π ], )-adically comlete, since each W m (A ) = W (A )/ m is [π ]-adically comlete; therefore it is a fortiori ξ-adicially comlete. 1.3 Tilting corresondence for integral erfectoid rings We begin with some remarks on toologies. Given a toological ring R, we always equi W r (R) with the roduct toology having identified it with R r (if the toology on R is π-adic, then the toology on W r (R) is the [π]-adic toology), and then W (R) = lim W r r (R) with the inverse limit toology (if R is erfect then this is the ([π], )-adic toology). Note that if A is integral erfectoid then, under these toologies, the ma θ : W (A ) A is continuous and oen, since (θ([π ]), ) = πa, i.e., W (A )/ Ker θ A is an isomorhism of toological rings. Given an integral erfectoid ring A, when we seak of an integral erfectoid A-algebra B we mean that B is an A-algebra which is integral erfectoid and whose toology comes from A, i.e., is πb-adic for any π A defining the toology on A (equivalently, by Lemma 1.2, any u of A is also a u of B). Theorem 1.7 (Tilting corresondence integral erfectoid rings). Fix an integral erfectoid ring A. Then tilting induces an equivalence of categories integral erfectoid A-algerbras integral erfectoid A -algebras, B B, with inverse given by sending an integral erfectoid A -algebra C to C # := W (C) W (A ),θ A (toologised as a quotient of W (C) following the above conventions). This equivalence is comatible with almost isomorhisms (i.e., kernel and cokernel killed by all toologically nilotent elements of A, res. A ). Proof. Let π A be a erfectoid seudo-uniformiser admitting -ower-roots, and π the associated u of A ; also let ξ = + [π ] x W (A ) be the generator of Ker(θ : W (A ) A) constructed in the revious roosition. Suose first that B is an integral erfectoid A-algebra. Then the image of ξ in W (B ) certainly lands in the kernel of θ B (i.e., the θ-ma for the integral erfectoid B), and condition (iii) of the revious roosition immediately shows that it is a generator of this ideal (since A B sends units to units); i.e., the diagram W (B ) θ B B W (A ) θa A is a ushout and so B # = B. For the moment this is only an identification of A-algebras, but the next aragrah will shows that the toologies coincide (both have the π-adic toology), i.e., # inverts tilting. 4
5 Now let C be an integral erfectoid A -algebra. As exlained in the aragrah immediately above the theorem, Lemma 1.2 imlies that π is also a u of C, and thus the toology we have ut on C # is (θ([π ]), )-adic toology, i.e., the π-adic toology. We must show that C is an integral erfectoid ring. First we check that π is a non-zero-divisor of C # π, i.e., that W (C)/ξW (C) has no [π ]- torsion. As mentioned arenthetically in the roof of art (ii) of the revious roosition, the argument there shows that ξ is a non-zero-divisor of W (C); since [π ] is also a non-zero-divisor, it enough show that W (C)/[π ]W (C) has no non-zero ξ-torsion. But ξ mod [π ] and is a non-zero-divisor of W (C), so this is equivalent to π being a non-zero-divisor of W (C)/ = C, which is indeed the case. Next, noting that ([π ], ξ) = ([π ], ) and ([π ], ξ) = ([π ], ) in W (C), the ma Φ : C # /πc # C # /π C # identifies with Φ : C/π C C/π C, which is an isomorhism since C is erfectoid. Thus the toological ring C # satisfies all the conditions to be integral erfectoid, excet we do not know yet that it is π-adically comlete (it follows formally that it is derived π-adically comlete, so it would be enough to show it is π-adically searated, but I do not see an exlicit argument...). So let Ĉ# be its π-adic comletion, which is an integral erfectoid A-algebra. Then there are identifications Ĉ# /πĉ# = C # /πc # = C/π C (the second of which comes from the revious aragrah), and taking lim x x shows that Ĉ# = C as integral erfectoid A -algebras. Since we have already roved that # inverts tilting, we aly # to deduce that Ĉ # = C #, i.e., C # was already comlete, and hence it is an integral erfectoid A-algebra. This argument has therefore also shown that C # = C, i.e., tilting inverts #. 5
δ(xy) = φ(x)δ(y) + y p δ(x). (1)
LECTURE II: δ-rings Fix a rime. In this lecture, we discuss some asects of the theory of δ-rings. This theory rovides a good language to talk about rings with a lift of Frobenius modulo. Some of the material
More informationAn Overview of Witt Vectors
An Overview of Witt Vectors Daniel Finkel December 7, 2007 Abstract This aer offers a brief overview of the basics of Witt vectors. As an alication, we summarize work of Bartolo and Falcone to rove that
More information3 Properties of Dedekind domains
18.785 Number theory I Fall 2016 Lecture #3 09/15/2016 3 Proerties of Dedekind domains In the revious lecture we defined a Dedekind domain as a noetherian domain A that satisfies either of the following
More informationMobius Functions, Legendre Symbols, and Discriminants
Mobius Functions, Legendre Symbols, and Discriminants 1 Introduction Zev Chonoles, Erick Knight, Tim Kunisky Over the integers, there are two key number-theoretic functions that take on values of 1, 1,
More informationElementary Analysis in Q p
Elementary Analysis in Q Hannah Hutter, May Szedlák, Phili Wirth November 17, 2011 This reort follows very closely the book of Svetlana Katok 1. 1 Sequences and Series In this section we will see some
More informationTHE FUNDAMENTAL EXACT SEQUENCES AND THE SCHEMATIC CURVE
THE FUNDAMENTAL EXACT SEQUENCES AND THE SCHEMATIC CURVE 1. The sace Y ad and X ad 1.1. Notation. In this talk we continue with the following notation from revious talks: (1) Let C be an algebraically closed
More informationDISCRIMINANTS IN TOWERS
DISCRIMINANTS IN TOWERS JOSEPH RABINOFF Let A be a Dedekind domain with fraction field F, let K/F be a finite searable extension field, and let B be the integral closure of A in K. In this note, we will
More informationQuaternionic Projective Space (Lecture 34)
Quaternionic Projective Sace (Lecture 34) July 11, 2008 The three-shere S 3 can be identified with SU(2), and therefore has the structure of a toological grou. In this lecture, we will address the question
More informationAlgebraic number theory LTCC Solutions to Problem Sheet 2
Algebraic number theory LTCC 008 Solutions to Problem Sheet ) Let m be a square-free integer and K = Q m). The embeddings K C are given by σ a + b m) = a + b m and σ a + b m) = a b m. If m mod 4) then
More informationMATH 210A, FALL 2017 HW 5 SOLUTIONS WRITTEN BY DAN DORE
MATH 20A, FALL 207 HW 5 SOLUTIONS WRITTEN BY DAN DORE (If you find any errors, lease email ddore@stanford.edu) Question. Let R = Z[t]/(t 2 ). Regard Z as an R-module by letting t act by the identity. Comute
More informationOn the Rank of the Elliptic Curve y 2 = x(x p)(x 2)
On the Rank of the Ellitic Curve y = x(x )(x ) Jeffrey Hatley Aril 9, 009 Abstract An ellitic curve E defined over Q is an algebraic variety which forms a finitely generated abelian grou, and the structure
More informationLECTURE IV: PERFECT PRISMS AND PERFECTOID RINGS
LECTURE IV: PERFECT PRISMS AND PERFECTOID RINGS In this lecture, we study the commutative algebra properties of perfect prisms. These turn out to be equivalent to perfectoid rings, and most of the lecture
More informationMATH 3240Q Introduction to Number Theory Homework 7
As long as algebra and geometry have been searated, their rogress have been slow and their uses limited; but when these two sciences have been united, they have lent each mutual forces, and have marched
More informationMA3H1 TOPICS IN NUMBER THEORY PART III
MA3H1 TOPICS IN NUMBER THEORY PART III SAMIR SIKSEK 1. Congruences Modulo m In quadratic recirocity we studied congruences of the form x 2 a (mod ). We now turn our attention to situations where is relaced
More informationClass Field Theory. Peter Stevenhagen. 1. Class Field Theory for Q
Class Field Theory Peter Stevenhagen Class field theory is the study of extensions Q K L K ab K = Q, where L/K is a finite abelian extension with Galois grou G. 1. Class Field Theory for Q First we discuss
More informationRINGS OF INTEGERS WITHOUT A POWER BASIS
RINGS OF INTEGERS WITHOUT A POWER BASIS KEITH CONRAD Let K be a number field, with degree n and ring of integers O K. When O K = Z[α] for some α O K, the set {1, α,..., α n 1 } is a Z-basis of O K. We
More informationLast week: proétale topology on X, with a map of sites ν : X proét X ét. Sheaves on X proét : O + X = ν O + X ét
INTEGRAL p-adi HODGE THEORY, TALK 3 (RATIONAL p-adi HODGE THEORY I, THE PRIMITIVE OMPARISON THEOREM) RAFFAEL SINGER (NOTES BY JAMES NEWTON) 1. Recap We x /Q p complete and algebraically closed, with tilt
More informationRECIPROCITY, BRAUER GROUPS AND QUADRATIC FORMS OVER NUMBER FIELDS
RECIPROCITY, BRAUER GROUPS AND QUADRATIC FORMS OVER NUMBER FIELDS THOMAS POGUNTKE Abstract. Artin s recirocity law is a vast generalization of quadratic recirocity and contains a lot of information about
More information2 Asymptotic density and Dirichlet density
8.785: Analytic Number Theory, MIT, sring 2007 (K.S. Kedlaya) Primes in arithmetic rogressions In this unit, we first rove Dirichlet s theorem on rimes in arithmetic rogressions. We then rove the rime
More information2 Asymptotic density and Dirichlet density
8.785: Analytic Number Theory, MIT, sring 2007 (K.S. Kedlaya) Primes in arithmetic rogressions In this unit, we first rove Dirichlet s theorem on rimes in arithmetic rogressions. We then rove the rime
More informationMersenne and Fermat Numbers
NUMBER THEORY CHARLES LEYTEM Mersenne and Fermat Numbers CONTENTS 1. The Little Fermat theorem 2 2. Mersenne numbers 2 3. Fermat numbers 4 4. An IMO roblem 5 1 2 CHARLES LEYTEM 1. THE LITTLE FERMAT THEOREM
More informationMath 4400/6400 Homework #8 solutions. 1. Let P be an odd integer (not necessarily prime). Show that modulo 2,
MATH 4400 roblems. Math 4400/6400 Homework # solutions 1. Let P be an odd integer not necessarily rime. Show that modulo, { P 1 0 if P 1, 7 mod, 1 if P 3, mod. Proof. Suose that P 1 mod. Then we can write
More informationQUADRATIC RECIPROCITY
QUADRATIC RECIPROCIT POOJA PATEL Abstract. This aer is an self-contained exosition of the law of uadratic recirocity. We will give two roofs of the Chinese remainder theorem and a roof of uadratic recirocity.
More informationALGEBRAIC TOPOLOGY MASTERMATH (FALL 2014) Written exam, 21/01/2015, 3 hours Outline of solutions
ALGERAIC TOPOLOGY MASTERMATH FALL 014) Written exam, 1/01/015, 3 hours Outline of solutions Exercise 1. i) There are various definitions in the literature. ased on the discussion on. 5 of Lecture 3, as
More informationANALYTIC NUMBER THEORY AND DIRICHLET S THEOREM
ANALYTIC NUMBER THEORY AND DIRICHLET S THEOREM JOHN BINDER Abstract. In this aer, we rove Dirichlet s theorem that, given any air h, k with h, k) =, there are infinitely many rime numbers congruent to
More informationFrank Moore Algebra 901 Notes Professor: Tom Marley
Frank Moore Algebra 901 Notes Professor: Tom Marley Examle/Remark: Let f(x) K[x] be an irreducible olynomial. We know that f has multile roots (f, f ) = 1 f f, as f is irreducible f = 0. So, if Char K
More informationA CONCRETE EXAMPLE OF PRIME BEHAVIOR IN QUADRATIC FIELDS. 1. Abstract
A CONCRETE EXAMPLE OF PRIME BEHAVIOR IN QUADRATIC FIELDS CASEY BRUCK 1. Abstract The goal of this aer is to rovide a concise way for undergraduate mathematics students to learn about how rime numbers behave
More informationHENSEL S LEMMA KEITH CONRAD
HENSEL S LEMMA KEITH CONRAD 1. Introduction In the -adic integers, congruences are aroximations: for a and b in Z, a b mod n is the same as a b 1/ n. Turning information modulo one ower of into similar
More informationMATH342 Practice Exam
MATH342 Practice Exam This exam is intended to be in a similar style to the examination in May/June 2012. It is not imlied that all questions on the real examination will follow the content of the ractice
More informationLECTURE VI: THE HODGE-TATE AND CRYSTALLINE COMPARISON THEOREMS
LECTURE VI: THE HODGE-TATE AND CRYSTALLINE COMPARISON THEOREMS Last time, we formulated the following theorem (Theorem V.3.8). Theorem 0.1 (The Hodge-Tate comarison theorem). Let (A, (d)) be a bounded
More informationMATH 361: NUMBER THEORY ELEVENTH LECTURE
MATH 361: NUMBER THEORY ELEVENTH LECTURE The subjects of this lecture are characters, Gauss sums, Jacobi sums, and counting formulas for olynomial equations over finite fields. 1. Definitions, Basic Proerties
More informationMath 751 Lecture Notes Week 3
Math 751 Lecture Notes Week 3 Setember 25, 2014 1 Fundamental grou of a circle Theorem 1. Let φ : Z π 1 (S 1 ) be given by n [ω n ], where ω n : I S 1 R 2 is the loo ω n (s) = (cos(2πns), sin(2πns)). Then
More informationSECTION 5: FIBRATIONS AND HOMOTOPY FIBERS
SECTION 5: FIBRATIONS AND HOMOTOPY FIBERS In this section we will introduce two imortant classes of mas of saces, namely the Hurewicz fibrations and the more general Serre fibrations, which are both obtained
More informationRAMIFICATION IN ALGEBRAIC NUMBER THEORY AND DYNAMICS
RAMIFICATION IN ALGEBRAIC NUMBER THEORY AND DYNAMICS KENZ KALLAL Abstract. In these notes, we introduce the theory of (nonarchimedian) valued fields and its alications to the local study of extensions
More informationp-adic Measures and Bernoulli Numbers
-Adic Measures and Bernoulli Numbers Adam Bowers Introduction The constants B k in the Taylor series exansion t e t = t k B k k! k=0 are known as the Bernoulli numbers. The first few are,, 6, 0, 30, 0,
More informationMATH 371 Class notes/outline October 15, 2013
MATH 371 Class notes/outline October 15, 2013 More on olynomials We now consider olynomials with coefficients in rings (not just fields) other than R and C. (Our rings continue to be commutative and have
More informationAlgebraic Number Theory
Algebraic Number Theory Joseh R. Mileti May 11, 2012 2 Contents 1 Introduction 5 1.1 Sums of Squares........................................... 5 1.2 Pythagorean Triles.........................................
More information(Workshop on Harmonic Analysis on symmetric spaces I.S.I. Bangalore : 9th July 2004) B.Sury
Is e π 163 odd or even? (Worksho on Harmonic Analysis on symmetric saces I.S.I. Bangalore : 9th July 004) B.Sury e π 163 = 653741640768743.999999999999.... The object of this talk is to exlain this amazing
More informationVarious Proofs for the Decrease Monotonicity of the Schatten s Power Norm, Various Families of R n Norms and Some Open Problems
Int. J. Oen Problems Comt. Math., Vol. 3, No. 2, June 2010 ISSN 1998-6262; Coyright c ICSRS Publication, 2010 www.i-csrs.org Various Proofs for the Decrease Monotonicity of the Schatten s Power Norm, Various
More informationDIRICHLET S THEOREM ON PRIMES IN ARITHMETIC PROGRESSIONS. 1. Introduction
DIRICHLET S THEOREM ON PRIMES IN ARITHMETIC PROGRESSIONS INNA ZAKHAREVICH. Introduction It is a well-known fact that there are infinitely many rimes. However, it is less clear how the rimes are distributed
More informationStone Duality for Skew Boolean Algebras with Intersections
Stone Duality for Skew Boolean Algebras with Intersections Andrej Bauer Faculty of Mathematics and Physics University of Ljubljana Andrej.Bauer@andrej.com Karin Cvetko-Vah Faculty of Mathematics and Physics
More informationThe Hasse Minkowski Theorem Lee Dicker University of Minnesota, REU Summer 2001
The Hasse Minkowski Theorem Lee Dicker University of Minnesota, REU Summer 2001 The Hasse-Minkowski Theorem rovides a characterization of the rational quadratic forms. What follows is a roof of the Hasse-Minkowski
More informationDIVISIBILITY CRITERIA FOR CLASS NUMBERS OF IMAGINARY QUADRATIC FIELDS
IVISIBILITY CRITERIA FOR CLASS NUMBERS OF IMAGINARY QUARATIC FIELS PAUL JENKINS AN KEN ONO Abstract. In a recent aer, Guerzhoy obtained formulas for certain class numbers as -adic limits of traces of singular
More informationTHE CHARACTER GROUP OF Q
THE CHARACTER GROUP OF Q KEITH CONRAD 1. Introduction The characters of a finite abelian grou G are the homomorhisms from G to the unit circle S 1 = {z C : z = 1}. Two characters can be multilied ointwise
More informationMATH 248A. THE CHARACTER GROUP OF Q. 1. Introduction
MATH 248A. THE CHARACTER GROUP OF Q KEITH CONRAD 1. Introduction The characters of a finite abelian grou G are the homomorhisms from G to the unit circle S 1 = {z C : z = 1}. Two characters can be multilied
More informationSECTION 12: HOMOTOPY EXTENSION AND LIFTING PROPERTY
SECTION 12: HOMOTOPY EXTENSION AND LIFTING PROPERTY In the revious section, we exloited the interlay between (relative) CW comlexes and fibrations to construct the Postnikov and Whitehead towers aroximating
More informationMATH 2710: NOTES FOR ANALYSIS
MATH 270: NOTES FOR ANALYSIS The main ideas we will learn from analysis center around the idea of a limit. Limits occurs in several settings. We will start with finite limits of sequences, then cover infinite
More informationComputing Differential Modular Forms
Comuting Differential Modular Forms Chris Hurlburt Northern Illinois University hurlburt@math.niu.edu July 28, 2003 Let > 3 be a rime number. Let R be a comlete, discrete valuation ring whose maximal ideal
More informationarxiv: v1 [math.ag] 17 May 2017
LIFTING THE CARTIER TRANSFORM OF OGUS-VOLOGODSKY MODULO n arxiv:1705.06241v1 [math.ag] 17 May 2017 DAXIN XU Abstract. Let W be the ring of the Witt vectors of a erfect field of characteristic, X a smooth
More informationPiotr Blass. Jerey Lang
Ulam Quarterly Volume 2, Number 1, 1993 Piotr Blass Deartment of Mathematics Palm Beach Atlantic College West Palm Beach, FL 33402 Joseh Blass Deartment of Mathematics Bowling Green State University Bowling
More informationp-adic Properties of Lengyel s Numbers
1 3 47 6 3 11 Journal of Integer Sequences, Vol. 17 (014), Article 14.7.3 -adic Proerties of Lengyel s Numbers D. Barsky 7 rue La Condamine 75017 Paris France barsky.daniel@orange.fr J.-P. Bézivin 1, Allée
More informationComplex Analysis Homework 1
Comlex Analysis Homework 1 Steve Clanton Sarah Crimi January 27, 2009 Problem Claim. If two integers can be exressed as the sum of two squares, then so can their roduct. Proof. Call the two squares that
More informationOn the Multiplicative Order of a n Modulo n
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 13 2010), Article 10.2.1 On the Multilicative Order of a n Modulo n Jonathan Chaelo Université Lille Nord de France F-59000 Lille France jonathan.chaelon@lma.univ-littoral.fr
More informationFrobenius Elements, the Chebotarev Density Theorem, and Reciprocity
Frobenius Elements, the Chebotarev Density Theorem, and Recirocity Dylan Yott July 30, 204 Motivation Recall Dirichlet s theorem from elementary number theory. Theorem.. For a, m) =, there are infinitely
More informationRECIPROCITY LAWS JEREMY BOOHER
RECIPROCITY LAWS JEREMY BOOHER 1 Introduction The law of uadratic recirocity gives a beautiful descrition of which rimes are suares modulo Secial cases of this law going back to Fermat, and Euler and Legendre
More informationSOME SUMS OVER IRREDUCIBLE POLYNOMIALS
SOME SUMS OVER IRREDUCIBLE POLYNOMIALS DAVID E SPEYER Abstract We rove a number of conjectures due to Dinesh Thakur concerning sums of the form P hp ) where the sum is over monic irreducible olynomials
More informationThe Euler Phi Function
The Euler Phi Function 7-3-2006 An arithmetic function takes ositive integers as inuts and roduces real or comlex numbers as oututs. If f is an arithmetic function, the divisor sum Dfn) is the sum of the
More informationTopic 7: Using identity types
Toic 7: Using identity tyes June 10, 2014 Now we would like to learn how to use identity tyes and how to do some actual mathematics with them. By now we have essentially introduced all inference rules
More informationSome local (at p) properties of residual Galois representations
Some local (at ) roerties of residual Galois reresentations Johnson Jia, Krzysztof Klosin March 5, 2006 1 Preliminary results In this talk we are going to discuss some local roerties of (mod ) Galois reresentations
More informationSums of independent random variables
3 Sums of indeendent random variables This lecture collects a number of estimates for sums of indeendent random variables with values in a Banach sace E. We concentrate on sums of the form N γ nx n, where
More informationMAZUR S CONSTRUCTION OF THE KUBOTA LEPOLDT p-adic L-FUNCTION. n s = p. (1 p s ) 1.
MAZUR S CONSTRUCTION OF THE KUBOTA LEPOLDT -ADIC L-FUNCTION XEVI GUITART Abstract. We give an overview of Mazur s construction of the Kubota Leooldt -adic L- function as the -adic Mellin transform of a
More informationRepresenting Integers as the Sum of Two Squares in the Ring Z n
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 17 (2014), Article 14.7.4 Reresenting Integers as the Sum of Two Squares in the Ring Z n Joshua Harrington, Lenny Jones, and Alicia Lamarche Deartment
More informationDIFFERENTIAL GEOMETRY. LECTURES 9-10,
DIFFERENTIAL GEOMETRY. LECTURES 9-10, 23-26.06.08 Let us rovide some more details to the definintion of the de Rham differential. Let V, W be two vector bundles and assume we want to define an oerator
More informationMath 104B: Number Theory II (Winter 2012)
Math 104B: Number Theory II (Winter 01) Alina Bucur Contents 1 Review 11 Prime numbers 1 Euclidean algorithm 13 Multilicative functions 14 Linear diohantine equations 3 15 Congruences 3 Primes as sums
More informationSheaves on Subanalytic Sites
REND. SEM. MAT. UNIV. PADOVA, Vol. 120 2008) Sheaves on Subanalytic Sites LUCA PRELLI *) ABSTRACT - In [7]the authors introduced the notion of ind-sheaves and defined the six Grothendieck oerations in
More informationI(n) = ( ) f g(n) = d n
9 Arithmetic functions Definition 91 A function f : N C is called an arithmetic function Some examles of arithmetic functions include: 1 the identity function In { 1 if n 1, 0 if n > 1; 2 the constant
More informationSets of Real Numbers
Chater 4 Sets of Real Numbers 4. The Integers Z and their Proerties In our revious discussions about sets and functions the set of integers Z served as a key examle. Its ubiquitousness comes from the fact
More informationLECTURE 6: FIBER BUNDLES
LECTURE 6: FIBER BUNDLES In this section we will introduce the interesting class o ibrations given by iber bundles. Fiber bundles lay an imortant role in many geometric contexts. For examle, the Grassmaniann
More informationON A THEOREM OF MOHAN KUMAR AND NORI
ON A THEOREM OF MOHAN KUMAR AND NORI RICHARD G. SWAN Abstract. A celebrated theorem of Suslin asserts that a unimodular row x m 1 1,..., xmn n is comletable if m 1 m n is divisible by (n 1!. Examles due
More informationYounggi Choi and Seonhee Yoon
J. Korean Math. Soc. 39 (2002), No. 1,. 149 161 TORSION IN THE HOMOLOGY OF THE DOUBLE LOOP SPACES OF COMPACT SIMPLE LIE GROUPS Younggi Choi and Seonhee Yoon Abstract. We study the torsions in the integral
More informationFactorability in the ring Z[ 5]
University of Nebraska - Lincoln DigitalCommons@University of Nebraska - Lincoln Dissertations, Theses, and Student Research Paers in Mathematics Mathematics, Deartment of 4-2004 Factorability in the ring
More informationArithmetic and Metric Properties of p-adic Alternating Engel Series Expansions
International Journal of Algebra, Vol 2, 2008, no 8, 383-393 Arithmetic and Metric Proerties of -Adic Alternating Engel Series Exansions Yue-Hua Liu and Lu-Ming Shen Science College of Hunan Agriculture
More informationMATH 361: NUMBER THEORY EIGHTH LECTURE
MATH 361: NUMBER THEORY EIGHTH LECTURE 1. Quadratic Recirocity: Introduction Quadratic recirocity is the first result of modern number theory. Lagrange conjectured it in the late 1700 s, but it was first
More informationPractice Final Solutions
Practice Final Solutions 1. True or false: (a) If a is a sum of three squares, and b is a sum of three squares, then so is ab. False: Consider a 14, b 2. (b) No number of the form 4 m (8n + 7) can be written
More informationLecture 8: The Field B dr
Lecture 8: The Field B dr October 29, 2018 Throughout this lecture, we fix a perfectoid field C of characteristic p, with valuation ring O C. Fix an element π C with 0 < π C < 1, and let B denote the completion
More informationWeil s Conjecture on Tamagawa Numbers (Lecture 1)
Weil s Conjecture on Tamagawa Numbers (Lecture ) January 30, 204 Let R be a commutative ring and let V be an R-module. A quadratic form on V is a ma q : V R satisfying the following conditions: (a) The
More informationMATH 250: THE DISTRIBUTION OF PRIMES. ζ(s) = n s,
MATH 50: THE DISTRIBUTION OF PRIMES ROBERT J. LEMKE OLIVER For s R, define the function ζs) by. Euler s work on rimes ζs) = which converges if s > and diverges if s. In fact, though we will not exloit
More informationPOINTS ON CONICS MODULO p
POINTS ON CONICS MODULO TEAM 2: JONGMIN BAEK, ANAND DEOPURKAR, AND KATHERINE REDFIELD Abstract. We comute the number of integer oints on conics modulo, where is an odd rime. We extend our results to conics
More informationMATH 6210: SOLUTIONS TO PROBLEM SET #3
MATH 6210: SOLUTIONS TO PROBLEM SET #3 Rudin, Chater 4, Problem #3. The sace L (T) is searable since the trigonometric olynomials with comlex coefficients whose real and imaginary arts are rational form
More informationCERIAS Tech Report The period of the Bell numbers modulo a prime by Peter Montgomery, Sangil Nahm, Samuel Wagstaff Jr Center for Education
CERIAS Tech Reort 2010-01 The eriod of the Bell numbers modulo a rime by Peter Montgomery, Sangil Nahm, Samuel Wagstaff Jr Center for Education and Research Information Assurance and Security Purdue University,
More informationf(r) = a d n) d + + a0 = 0
Math 400-00/Foundations of Algebra/Fall 07 Polynomials at the Foundations: Roots Next, we turn to the notion of a root of a olynomial in Q[x]. Definition 8.. r Q is a rational root of fx) Q[x] if fr) 0.
More informationDIRICHLET S THEOREM ABOUT PRIMES IN ARITHMETIC PROGRESSIONS. Contents. 1. Dirichlet s theorem on arithmetic progressions
DIRICHLET S THEOREM ABOUT PRIMES IN ARITHMETIC PROGRESSIONS ANG LI Abstract. Dirichlet s theorem states that if q and l are two relatively rime ositive integers, there are infinitely many rimes of the
More informationMATH 371 Class notes/outline September 24, 2013
MATH 371 Class notes/outline Setember 24, 2013 Rings Armed with what we have looked at for the integers and olynomials over a field, we re in a good osition to take u the general theory of rings. Definitions:
More informationThe Arm Prime Factors Decomposition
The Arm Prime Factors Decomosition Arm Boris Nima arm.boris@gmail.com Abstract We introduce the Arm rime factors decomosition which is the equivalent of the Taylor formula for decomosition of integers
More information18.312: Algebraic Combinatorics Lionel Levine. Lecture 12
8.3: Algebraic Combinatorics Lionel Levine Lecture date: March 7, Lecture Notes by: Lou Odette This lecture: A continuation of the last lecture: comutation of µ Πn, the Möbius function over the incidence
More informationAn Estimate For Heilbronn s Exponential Sum
An Estimate For Heilbronn s Exonential Sum D.R. Heath-Brown Magdalen College, Oxford For Heini Halberstam, on his retirement Let be a rime, and set e(x) = ex(2πix). Heilbronn s exonential sum is defined
More informationMath 261 Exam 2. November 7, The use of notes and books is NOT allowed.
Math 261 Eam 2 ovember 7, 2018 The use of notes and books is OT allowed Eercise 1: Polynomials mod 691 (30 ts In this eercise, you may freely use the fact that 691 is rime Consider the olynomials f( 4
More informationAlmost 4000 years ago, Babylonians had discovered the following approximation to. x 2 dy 2 =1, (5.0.2)
Chater 5 Pell s Equation One of the earliest issues graled with in number theory is the fact that geometric quantities are often not rational. For instance, if we take a right triangle with two side lengths
More informationGOOD MODELS FOR CUBIC SURFACES. 1. Introduction
GOOD MODELS FOR CUBIC SURFACES ANDREAS-STEPHAN ELSENHANS Abstract. This article describes an algorithm for finding a model of a hyersurface with small coefficients. It is shown that the aroach works in
More informationTHE MAIN CONSTRUCTION I
THE MAIN CONSTRUCTION I Contents 1. Introduction/ Notation 1 2. Motivation: the Cartier isomorphism 2 3. Definition of the map 3 4. Small algebras and almost purity 3 5. Cohomology of Z d p 5 6. Décalage
More informationTHE INVERSE GALOIS PROBLEM FOR ORTHOGONAL GROUPS DAVID ZYWINA
THE INVERSE GALOIS PROBLEM FOR ORTHOGONAL GROUPS DAVID ZYWINA ABSTRACT. We rove many new cases of the Inverse Galois Problem for those simle grous arising from orthogonal grous over finite fields. For
More informationSome sophisticated congruences involving Fibonacci numbers
A tal given at the National Center for Theoretical Sciences (Hsinchu, Taiwan; July 20, 2011 and Shanghai Jiaotong University (Nov. 4, 2011 Some sohisticated congruences involving Fibonacci numbers Zhi-Wei
More informationBy Evan Chen OTIS, Internal Use
Solutions Notes for DNY-NTCONSTRUCT Evan Chen January 17, 018 1 Solution Notes to TSTST 015/5 Let ϕ(n) denote the number of ositive integers less than n that are relatively rime to n. Prove that there
More informationt s (p). An Introduction
Notes 6. Quadratic Gauss Sums Definition. Let a, b Z. Then we denote a b if a divides b. Definition. Let a and b be elements of Z. Then c Z s.t. a, b c, where c gcda, b max{x Z x a and x b }. 5, Chater1
More informationElliptic Curves Spring 2015 Problem Set #1 Due: 02/13/2015
18.783 Ellitic Curves Sring 2015 Problem Set #1 Due: 02/13/2015 Descrition These roblems are related to the material covered in Lectures 1-2. Some of them require the use of Sage, and you will need to
More informationMath 210B. Artin Rees and completions
Math 210B. Artin Rees and completions 1. Definitions and an example Let A be a ring, I an ideal, and M an A-module. In class we defined the I-adic completion of M to be M = lim M/I n M. We will soon show
More informationNumber Theory Naoki Sato
Number Theory Naoki Sato 0 Preface This set of notes on number theory was originally written in 1995 for students at the IMO level. It covers the basic background material that an IMO
More informationOn the extension giving the truncated Witt vectors. Torgeir Skjøtskift January 5, 2015
On the extension giving the truncated Witt vectors Torgeir Skjøtskift January 5, 2015 Contents 1 Introduction 1 1.1 Why do we care?........................... 1 2 Cohomology of grous 3 2.1 Chain comlexes
More informationCONGRUENCE PROPERTIES OF TAYLOR COEFFICIENTS OF MODULAR FORMS
CONGRUENCE PROPERTIES OF TAYLOR COEFFICIENTS OF MODULAR FORMS HANNAH LARSON AND GEOFFREY SMITH Abstract. In their work, Serre and Swinnerton-Dyer study the congruence roerties of the Fourier coefficients
More informationFibration of Toposes PSSL 101, Leeds
Fibration of Tooses PSSL 101, Leeds Sina Hazratour sinahazratour@gmail.com Setember 2017 AUs AUs as finitary aroximation of Grothendieck tooses Pretooses 1 finite limits 2 stable finite disjoint coroducts
More information