DOCSLIB.ORG

Arxiv:2004.13108V2 [Math.NT] 29 Apr 2020 N“Nta Ht Aabitfo H Edo Oui,[O1a Corollary 5.0.1

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Arxiv:2004.13108V2 [Math.NT] 29 Apr 2020 N“Nta Ht Aabitfo H Edo Oui,[O1a Corollary 5.0.1 PROBABILISTIC SZPIRO, BABY SZPIRO, AND EXPLICIT SZPIRO FROM MOCHIZUKI’S COROLLARY 3.12 TAYLOR DUPUY AND ANTON HILADO Abstract. In [DH20b] we gave some explicit formulas for the “indeterminacies” ind1, ind2, ind3 in Mochizuki’s Inequality as well as a new presentation of initial theta data. In the present paper we use these explicit formulas, together with our probabilistic formulation of [Moc15a, Corollary 3.12] to derive variants of Szpiro’s inequality (in the spirit of [Moc15b]). In par- ticular, for an elliptic curve in initial theta data we show how to derive uniform Szpiro (with explicit numerical constants). The inequalities we get will be strictly weaker than [Moc15b, Theorem 1.10] but the proofs are more transparent, modifiable, and user friendly. All of these inequalities are derived from an probabilistic version of [Moc15a, Corollary 3.12] formulated in [DH20b] based on the notion of random measurable sets. Contents 1. Introduction 1 2. Explicit Computations in Tensor Packets 5 3. Conductors, Minimal Discriminants, and Ramification 10 4. Estimates on p-adic Logarithms 16 5. Archimedean Logarithms 18 6. Upper Bounds on Hulls 18 7. Probabilistic Versions of the Mochizuki and Szpiro Inequalities 22 8. Deriving Explicit Constants For Szpiro’s Inequality From Mochizuki’s Inequality 29 References 35 1. Introduction arXiv:2004.13108v2 [math.NT] 29 Apr 2020 In [DH20b] we gave a probabilistic interpretation of Mochizuki’s Inequality (Corollary 3.12 of [Moc15a]). In the present paper we perform some explicit computations using this inequal- ity to derive three inequalities which we will call “Probabilistic Szpiro”, “Baby Szpiro”, and “Explicit Szpiro”. All of these inequalities depend on hypothesis of an elliptic curve being in “initial theta data built from the field of moduli”, [Moc15a, Corollary 3.12], and some assumed behavior at the archimedean place stated in Claim 5.0.1. In order to state our results we need to talk about initial theta data. As formulated in 5 § of [DH20b], initial theta data is a tuple bad (F/F,EF ,l,M,V ,Vmod, ǫ) Date: April 30, 2020. 1 surrounding an elliptic curve E = EF over a field F satisfying various conditions which are not important for the purposes of the introduction (the curious reader should consult [DH20b, 5]). What is important are the data types of the tuple: the entry l is a fixed prime § and, in the present paper, the choices of M, and ǫ will be irrelevant. We will discuss the sets bad of places V and Vmod momentarily. This requires some set up. bad In order to define the sets of places Vmod and V we need to introduce the fields F0 and K to which they belong. The field F0 is the field of Moduli of the elliptic curve defined by F0 := Q(jE ), in Mochizuki’s notation this is Fmod. The field K is the l-division field of F given by K := F (E[l]), (1.1) obtained by adjoining the l-torsion of E(F ) to F . In this paper, for any field L we will let V (L) denote the collection of places of L and for any non-archimedean place v V (L) we ∈ will let κ(v) denote the residue field and Lv denote the completion of L at v. We now come to the definitions of V bad and V . First V bad V (F ) is a non-empty set of mod mod ⊂ 0 bad multiplicative places over the field of moduli: for every E0 an elliptic curve over F0 such that E = E F , if v V bad, then E has multiplicative reduction at v. Next, the set ∼ 0 ⊗F0 ∈ mod 0 V V (K) is a set that maps bijectively to V (F ) under the natural map V (K) V (F ). ⊂ 0 → 0 We will be using these quantities momentarily but first we need to describe a special type of initial theta data that will be used in the course of this manuscript. For computational purposes one can always take an elliptic curve over its field of moduli (satisfying some mild conditions) and base change this field to a larger field to obtain some curve that can be put in initial theta data. We call such theta data “built from the field of moduli”. The precise definition is below. Definition 1.0.1. Let E/F be an elliptic curve inside initial theta data bad (F/F,EF ,l,M,V ,Vmod, ǫ). We will say that such a tuple is built from the field of moduli provided E = E F where 0 ⊗F0 F = Q(j ) is the field of moduli of E, E is a model of E over F , F := F (√ 1, E [30]), 0 E 0 0 0 − 0 and V bad V (F ) is the full set of places of multiplicative reduction.1 mod ⊂ 0 We will often use the notation d0 := [F0 : Q]. The constants in our Szpiro-like inequalities will depend on this degree. In stating our results we recall from [DH20b] that for a rational prime p that V (F0)p is given the structure of a probability space where Pr : V (F ) [0, 1] is defined by 0 p → [F : Q ] Pr(v) := 0,v p . [F0 : Qp] 1The definition of initial theta data in 5 of [DH20b] precludes bad places from having residue characteristic § two. Also the set of bad places needs to be nonempty. 2 Using V one can define some interesting probabilistic quantities which appear in our Prob- abilistic Szpiro inequality and give a good sense of the types of things that Mochizuki’s inequality “knows about”. Definition 1.0.2. (1) The probability that v V is unramified is ∈ p Punr,p = Pr(w). (1.2) w∈{v∈V (FX0)p:e(v/p)=1} (2) The average ramification degree of v V is defined to be ∈ p ep = E(e(v/p)). (1.3) (3) The average different of V /Q is defined to be Diff(V /Q)= pdiffp . (1.4) p Y diff(v/p) In (1.4) we have diffp = logp(E(p )) and diff(v/p) = ordp(Diff(Kv/Qp)); Diff(Kv/Qp) is the different of Kv over Qp. Using these quantities we can now state the Probabilistic Szpiro. Theorem 1.0.3 (Probabilistic Szpiro). Assume [Moc15a, Corollary 3.12] and Claim 5.0.1. bad For any elliptic curve E/F in initial theta data (F/F,EF ,l,M,V ,Vmod, ǫ) built from the field of moduli we have 1 ln ∆min | E/F | ln Diff(V /Q)+ ln(e )+ A (1.5) 6+ ε [F : Q] ≤ p l,V l p X where 5 A = ln(π)+ (1 Pl+1/2) ln(b )+ , l,V − unr,p p l +4 p X and b =1/ exp(1) ln(p), and ε = 24(l + 3)/(l2 + l 12). p l − From the Probabilistic Szpiro Inequality we can derive a “Baby Szpiro” Inequality. This inequality only depends on discriminant and degree of the division field K. This inequality can be derived quickly dispensing with a discussion of ramification of the mod l Galois representation and its relation to the conductor (which is reviewed in 3). In what follows § for an ideal I in a ring of integers R we let I denote the absolute norm. | | Theorem 1.0.4 (Baby Szpiro). Assume [Moc15a, Corollary 3.12] and Claim 5.0.1. Then bad for any elliptic curve E/F in initial theta data (F/F,EF ,l,M,V ,Vmod, ǫ) built from the field of moduli we have 1 ln ∆min | E/F | ln([K : Q]5/4) ln( Disc(K/Q) 5/4) + ln(π). (1.6) 6+ εl [F : Q] ≤ | | 2 In the above formula εl = (24l + 72)/(l + l 12) and K = Q(jE , E[30l], √ 1). −3 − In 8 we are more careful with our field invariants and delicately apply the theory of § [ST68]. The result of this delicate work is our “Explicit Szpiro”. Theorem 1.0.5 (Explicit Szpiro). Assume [Moc15a, Corollary 3.12] and Claim 5.0.1. If bad E/F is an elliptic curve in initial theta data (F/F,EF ,l,M,V ,Vmod, ǫ) built from the field of moduli then min A d2l4+B d 24+ε ∆ e 0 0 0 0 ( Cond(E/F ) Disc(F/Q) ) l , (1.7) | E/F | ≤ | |·| | where A0 = 84372107405, B0 = 316495, ε = 96(l + 3) /(l2 + l 12). l − All of these computations follow the same pattern. First, one computes an upper bound for the so-called hull of the multiradial representation (c.f. [DH20b, 4]) then one tries to § be as clever as possible in order to obtain futher bounds on the radiuses of these bounding polydiscs. The initial bounding is performed in 6 and the secondary bounds come in sub- § sequent sections. All of the material before 7 is built for this imminent application. A lot § of interesting Mathematics comes into play at both stages of these computations and inter- estingly, as our treatment will show, it seems that there is a lot of room for improvement. We have put in a great deal of effort in an attempt to highlight some of these avenues for improvement which we hope readers will take an interest in (see for example Remark 6.2.1). Acknowledgements. This article is very much indebted to many previous expositions of IUT including (but not limited to) [Fes15, Hos18, Ked15, Hos15, Sti15, Mok15, Moc17, Yam17, Hos17, Tan18, SS17]. The first author also greatly benefitted from conversations with many other mathematicians and would especially like to thank Yuichiro Hoshi for help- ful discussions regarding Kummer theory and his patience during discussions of the theta link and Mochizuki’s comparison; Kirti Joshi for discussions on deformation theory in the context of IUT; Kiran Kedlaya for productive discussions on Frobenioids, tempered funda- mental groups, and global aspects of IUT; Emmanuel Lepage for helpful discussions on the p-adic logarithm, initial theta data, aut holomorphic spaces, the log-kummer correspondence, theta functions and their functional equations, tempered fundamental groups, log-structures, cyclotomic synchronization, reconstruction of fundamental groups, reconstruction of decom- position groups, the ”multiradial representation of the theta pilot object”, the third indeter- minacy, the second indeterminacy, discussions on Hodge Theaters, labels, and kappa coric functions, and discussions on local class field theory; Shinichi Mochizuki for his patience in clarifying many aspects of his theory — these include discussions regarding the relation- ship between IUT and Hodge Arakelov theory especially the role of ”global multiplicative subspaces” in IUT, discussions on technical hypotheses in initial theta data; discussions on Theorem 3.11 and ”(abc)-modules”, discussions on mono-theta environments and the inte- rior and exterior cyclotomes, discussions of the behavior of various objects with respect to 4 automorphisms and providing comments on treatment of log-links and the use of polyiso- morphisms, discussions on indeterminacies and the multiradial representation, discussions of the theta link, discussions on various incarnations of Arakelov Divisors, discussions on cyclotomic synchronization; Chung Pang Mok for productive discussions on the p-adic log- arithm, anabelian evaluation, indeterminacies, the theta link, and hodge theaters; Thomas Scanlon for discussions regarding interpretations and infinitary logic as applied to IUT and anabelian geometry.
Load more

Recommended publications
  • 8 Complete Fields and Valuation Rings
    18.785 Number theory I Fall 2016 Lecture #8 10/04/2016 8 Complete fields and valuation rings In order to make further progress in our investigation of finite extensions L=K of the fraction field K of a Dedekind domain A, and in particular, to determine the primes p of K that ramify in L, we introduce a new tool that will allows us to \localize" fields. We have already seen how useful it can be to localize the ring A at a prime ideal p. This process transforms A into a discrete valuation ring Ap; the DVR Ap is a principal ideal domain and has exactly one nonzero prime ideal, which makes it much easier to study than A. By Proposition 2.7, the localizations of A at its prime ideals p collectively determine the ring A. Localizing A does not change its fraction field K. However, there is an operation we can perform on K that is analogous to localizing A: we can construct the completion of K with respect to one of its absolute values. When K is a global field, this process yields a local field (a term we will define in the next lecture), and we can recover essentially everything we might want to know about K by studying its completions. At first glance taking completions might seem to make things more complicated, but as with localization, it actually simplifies matters considerably. For those who have not seen this construction before, we briefly review some background material on completions, topological rings, and inverse limits.
    [Show full text]
  • Little Survey on Large Fields – Old & New –
    Little survey on large fields { Old & New { Florian Pop ∗ Abstract. The large fields were introduced by the author in [59] and subsequently acquired several other names. This little survey includes earlier and new developments, and at the end of each section we mention a few open questions. 2010 Mathematics Subject Classification. Primary 12E, 12F, 12G, 12J. Secondary 12E30, 12F10, 12G99. Keywords. Large fields, ultraproducts, PAC, pseudo closed fields, Henselian pairs, elementary equivalence, algebraic varieties, rational points, function fields, (inverse) Galois theory, embedding problems, model theory, rational connectedness, extremal fields. Introduction The notion of large field was introduced in Pop [59] and proved to be the \right class" of fields over which one can do a lot of interesting mathematics, like (inverse) Galois theory, see Colliot-Th´el`ene[7], Moret-Bailly [45], Pop [59], [61], the survey article Harbater [30], study torsors of finite groups Moret- Bailly [46], study rationally connected varieties Koll´ar[37], study the elementary theory of function fields Koenigsmann [35], Poonen{Pop [55], characterize extremal valued fields as introduced by Ershov [12], see Azgin{Kuhlmann{Pop [1], etc. Maybe that is why the \large fields” acquired several other names |google it: ´epais,fertile, weite K¨orper, ample, anti-Mordellic. Last but not least, see Jarden's book [34] for more about large fields (which he calls \ample fields” in his book [34]), and Kuhlmann [41] for relations between large fields and local uniformization (`ala Zariski). Definition. A field k is called a large field, if for every irreducible k-curve C the following holds: If C has a k-rational smooth point, then C has infinitely many k-rational points.
    [Show full text]
  • Local-Global Methods in Algebraic Number Theory
    LOCAL-GLOBAL METHODS IN ALGEBRAIC NUMBER THEORY ZACHARY KIRSCHE Abstract. This paper seeks to develop the key ideas behind some local-global methods in algebraic number theory. To this end, we first develop the theory of local fields associated to an algebraic number field. We then describe the Hilbert reciprocity law and show how it can be used to develop a proof of the classical Hasse-Minkowski theorem about quadratic forms over algebraic number fields. We also discuss the ramification theory of places and develop the theory of quaternion algebras to show how local-global methods can also be applied in this case. Contents 1. Local fields 1 1.1. Absolute values and completions 2 1.2. Classifying absolute values 3 1.3. Global fields 4 2. The p-adic numbers 5 2.1. The Chevalley-Warning theorem 5 2.2. The p-adic integers 6 2.3. Hensel's lemma 7 3. The Hasse-Minkowski theorem 8 3.1. The Hilbert symbol 8 3.2. The Hasse-Minkowski theorem 9 3.3. Applications and further results 9 4. Other local-global principles 10 4.1. The ramification theory of places 10 4.2. Quaternion algebras 12 Acknowledgments 13 References 13 1. Local fields In this section, we will develop the theory of local fields. We will first introduce local fields in the special case of algebraic number fields. This special case will be the main focus of the remainder of the paper, though at the end of this section we will include some remarks about more general global fields and connections to algebraic geometry.
    [Show full text]
  • Branching Laws for Classical Groups: the Non-Tempered Case
    BRANCHING LAWS FOR CLASSICAL GROUPS: THE NON-TEMPERED CASE WEE TECK GAN, BENEDICT H. GROSS AND DIPENDRA PRASAD August 18, 2020 ABSTRACT. This paper generalizes the GGP conjectures which were earlier formulated for tempered or more generally generic L-packets to Arthur packets, especially for the nongeneric L-packets arising from Arthur parameters. The paper introduces the key no- tionof a relevant pair of A-parameters which governs the branching laws for GLn and all classical groups overboth local fields and global fields. It plays a role for all the branching problems studied in [GGP] including Bessel models and Fourier-Jacobi models. CONTENTS 1. Introduction 1 2. Notation and Preliminaries 8 3. Relevant Pair of A-Parameters 10 4. Correlator 12 5. Local Conjecture for GLn 15 6. Local Conjecture for Classical Groups 23 7. A Conjecture for A-packets 25 8. A Special Case of the Conjecture 31 9. Global Conjecture 34 10. Revisiting the Global Conjecture 43 11. Low Rank Examples 46 12. Automorphic Descent 55 13. L-functions: GL case 59 14. L-functions: Classical Groups 63 References 67 arXiv:1911.02783v2 [math.RT] 17 Aug 2020 1. INTRODUCTION This paper is a sequel to our earlier work [GP1, GP2, GGP, GGP2], which discussed several restriction (or branching) problems in the representation theory of classical groups. In the local case, the conjectural answer was given in terms of symplectic root numbers 1991 Mathematics Subject Classification. Primary 11F70; Secondary 22E55. WTG is partially supported by an MOE Tier 2 grant R146-000-233-112. DP thanks Science and En- gineering research board of the Department of Science and Technology, India for its support through the JC Bose National Fellowship of the Govt.
    [Show full text]
  • Number Theory
    Number Theory Alexander Paulin October 25, 2010 Lecture 1 What is Number Theory Number Theory is one of the oldest and deepest Mathematical disciplines. In the broadest possible sense Number Theory is the study of the arithmetic properties of Z, the integers. Z is the canonical ring. It structure as a group under addition is very simple: it is the infinite cyclic group. The mystery of Z is its structure as a monoid under multiplication and the way these two structure coalesce. As a monoid we can reduce the study of Z to that of understanding prime numbers via the following 2000 year old theorem. Theorem. Every positive integer can be written as a product of prime numbers. Moreover this product is unique up to ordering. This is 2000 year old theorem is the Fundamental Theorem of Arithmetic. In modern language this is the statement that Z is a unique factorization domain (UFD). Another deep fact, due to Euclid, is that there are infinitely many primes. As a monoid therefore Z is fairly easy to understand - the free commutative monoid with countably infinitely many generators cross the cyclic group of order 2. The point is that in isolation addition and multiplication are easy, but together when have vast hidden depth. At this point we are faced with two potential avenues of study: analytic versus algebraic. By analytic I questions like trying to understand the distribution of the primes throughout Z. By algebraic I mean understanding the structure of Z as a monoid and as an abelian group and how they interact.
    [Show full text]
  • A P-Adic Regulator Map and Finiteness Results for Arithmetic Schemes
    Documenta Math. 525 A p-adic Regulator Map and Finiteness Results for Arithmetic Schemes Dedicated to Andrei Suslin on his 60th birthday Shuji Saito1and Kanetomo Sato2 Received: January 21, 2009 Revised: March 19, 2010 Abstract. A main theme of the paper is a conjecture of Bloch-Kato on the image of p-adic regulator maps for a proper smooth variety X over an algebraic number field k. The conjecture for a regulator map of particular degree and weight is related to finiteness of two arithmetic objects: One is the p-primary torsion part of the Chow group in codimension 2 of X. An- other is an unramified cohomology group of X. As an application, for a regular model X of X over the integer ring of k, we prove an injectivity result on the torsion cycle class map of codimension 2 with values in a new p-adic cohomology of X introduced by the second author, which is a can- didate of the conjectural etale´ motivic cohomology with finite coefficients of Beilinson-Lichtenbaum. 2010 Mathematics Subject Classification: Primary 14C25, 14G40; Sec- ondary 14F30, 19F27, 11G25. Keywords and Phrases: p-adic regulator, unramified cohomology, Chow groups, p-adic etale´ Tate twists 1 Introduction Let k be an algebraic number field and let Gk be the absolute Galois group Gal(k/k), where k denotes a fixed algebraic closure of k. Let X be a projective smooth variety over k and put X := X k. Fix a prime p and integers r, m 1. A main theme ⊗k ≥ 1supported by Grant-in-Aid for Scientific Research B-18340003 and S-19104001 2supported by JSPS Postdoctoral Fellowship for Research Abroad and EPSRC grant Documenta Mathematica Extra Volume Suslin (2010) 525–594 · 526 S.
    [Show full text]
  • Inter-Universal Teichmüller Theory II: Hodge-Arakelov-Theoretic Evaluation
    INTER-UNIVERSAL TEICHMULLER¨ THEORY II: HODGE-ARAKELOV-THEORETIC EVALUATION Shinichi Mochizuki December 2020 Abstract. In the present paper, which is the second in a series of four pa- pers, we study the Kummer theory surrounding the Hodge-Arakelov-theoretic eval- uation — i.e., evaluation in the style of the scheme-theoretic Hodge-Arakelov theory established by the author in previous papers — of the [reciprocal of the l- th root of the] theta function at l-torsion points [strictly speaking, shifted by a suitable 2-torsion point], for l ≥ 5 a prime number. In the first paper of the series, we studied “miniature models of conventional scheme theory”, which we referred to as Θ±ellNF-Hodge theaters, that were associated to certain data, called initial Θ-data, that includes an elliptic curve EF over a number field F , together with a prime num- ber l ≥ 5. The underlying Θ-Hodge theaters of these Θ±ellNF-Hodge theaters were glued to one another by means of “Θ-links”, that identify the [reciprocal of the l-th ±ell root of the] theta function at primes of bad reduction of EF in one Θ NF-Hodge theater with [2l-th roots of] the q-parameter at primes of bad reduction of EF in an- other Θ±ellNF-Hodge theater. The theory developed in the present paper allows one ×μ to construct certain new versions of this “Θ-link”. One such new version is the Θgau- link, which is similar to the Θ-link, but involves the theta values at l-torsion points, rather than the theta function itself.
    [Show full text]
  • Arithmetic Deformation Theory Via Arithmetic Fundamental Groups and Nonarchimedean Theta-Functions, Notes on the Work of Shinichi Mochizuki
    ARITHMETIC DEFORMATION THEORY VIA ARITHMETIC FUNDAMENTAL GROUPS AND NONARCHIMEDEAN THETA-FUNCTIONS, NOTES ON THE WORK OF SHINICHI MOCHIZUKI IVAN FESENKO ABSTRACT. These notes survey the main ideas, concepts and objects of the work by Shinichi Mochizuki on inter- universal Teichmüller theory [31], which might also be called arithmetic deformation theory, and its application to diophantine geometry. They provide an external perspective which complements the review texts [32] and [33]. Some important developments which preceded [31] are presented in the first section. Several key aspects of arithmetic deformation theory are discussed in the second section. Its main theorem gives an inequality–bound on the size of volume deformation associated to a certain log-theta-lattice. The application to several fundamental conjectures in number theory follows from a further direct computation of the right hand side of the inequality. The third section considers additional related topics, including practical hints on how to study the theory. This text was published in Europ. J. Math. (2015) 1:405–440. CONTENTS Foreword 2 1. The origins 2 1.1. From class field theory to reconstructing number fields to coverings of P1 minus three points2 1.2. A development in diophantine geometry3 1.3. Conjectural inequalities for the same property4 1.4. A question posed to a student by his thesis advisor6 1.5. On anabelian geometry6 2. On arithmetic deformation theory8 2.1. Texts related to IUT8 2.2. Initial data 9 2.3. A brief outline of the proof and a list of some of the main concepts 10 2.4. Mono-anabelian geometry and multiradiality 12 2.5.
    [Show full text]
  • An Introduction to P-Adic Teichmüller Theory Astérisque, Tome 278 (2002), P
    Astérisque SHINICHI MOCHIZUKI An introduction to p-adic Teichmüller theory Astérisque, tome 278 (2002), p. 1-49 <http://www.numdam.org/item?id=AST_2002__278__1_0> © Société mathématique de France, 2002, tous droits réservés. L’accès aux archives de la collection « Astérisque » (http://smf4.emath.fr/ Publications/Asterisque/) implique l’accord avec les conditions générales d’uti- lisation (http://www.numdam.org/conditions). Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/ Astérisque 278, 2002, p. 1-49 AN INTRODUCTION TO p-ADIC TEICHMULLER THEORY by Shinichi Mochizuki Abstract. — In this article, we survey a theory, developed by the author, concerning the uniformization of p-adic hyperbolic curves and their moduli. On the one hand, this theory generalizes the Fuchsian and Bers uniformizations of complex hyperbolic curves and their moduli to nonarchimedean places. It is for this reason that we shall often refer to this theory as p-adic Teichmiiller theory, for short. On the other hand, this theory may be regarded as a fairly precise hyperbolic analogue of the Serre-Tate theory of ordinary abelian varieties and their moduli. The central object of p-adic Teichmiiller theory is the moduli stack of nilcurves. This moduli stack forms a finite flat covering of the moduli stack of hyperbolic curves in positive characteristic. It parametrizes hyperbolic curves equipped with auxiliary "uniformization data in positive characteristic." The geometry of this moduli stack may be analyzed combinatorially locally near infinity.
    [Show full text]
  • On the Structure of Galois Groups As Galois Modules
    ON THE STRUCTURE OF GALOIS GROUPS AS GALOIS MODULES Uwe Jannsen Fakult~t f~r Mathematik Universit~tsstr. 31, 8400 Regensburg Bundesrepublik Deutschland Classical class field theory tells us about the structure of the Galois groups of the abelian extensions of a global or local field. One obvious next step is to take a Galois extension K/k with Galois group G (to be thought of as given and known) and then to investigate the structure of the Galois groups of abelian extensions of K as G-modules. This has been done by several authors, mainly for tame extensions or p-extensions of local fields (see [10],[12],[3] and [13] for example and further literature) and for some infinite extensions of global fields, where the group algebra has some nice structure (Iwasawa theory). The aim of these notes is to show that one can get some results for arbitrary Galois groups by using the purely algebraic concept of class formations introduced by Tate. i. Relation modules. Given a presentation 1 + R ÷ F ÷ G~ 1 m m of a finite group G by a (discrete) free group F on m free generators, m the factor commutator group Rabm = Rm/[Rm'R m] becomes a finitely generated Z[G]-module via the conjugation in F . By Lyndon [19] and m Gruenberg [8]§2 we have 1.1. PROPOSITION. a) There is an exact sequence of ~[G]-modules (I) 0 ÷ R ab + ~[G] m ÷ I(G) + 0 , m where I(G) is the augmentation ideal, defined by the exact sequence (2) 0 + I(G) ÷ Z[G] aug> ~ ÷ 0, aug( ~ aoo) = ~ a .
    [Show full text]
  • Alexey Zykin Professor at the University of French Polynesia
    Alexey Zykin Professor at the University of French Polynesia Personal Details Date and place of birth: 13.06.1984, Moscow, Russia Nationality: Russian Marital status: Single Addresses Address in Polynesia: University of French Polynesia BP 6570, 98702 FAA'A Tahiti, French Polynesia Address in Russia: Independent University of Moscow 11, Bolshoy Vlasyevskiy st., 119002, Moscow, Russia Phone numbers: +689 89 29 11 11 +7 917 591 34 24 E-mail: [email protected] Home page: http://www.mccme.ru/poncelet/pers/zykin.html Languages Russian: Mother tongue English: Fluent French: Fluent Research Interests • Zeta-functions and L-functions (modularity, special values, behaviour in families, Brauer{ Siegel type results, distribution of zeroes). • Algebraic geometry over finite fields (points on curves and varieties over finite fields, zeta-functions). • Families of fields and varieties, asymptotic theory (infinite number fields and function fields, limit zeta-functions). • Abelian varieties and Elliptic Curves (jacobians among abelian varieties, families of abelian varieties over global fields). • Applications of number theory and algebraic geometry to information theory (cryptog- raphy, error-correcting codes, sphere packings). Publications Publications in peer-reviewed journals: • On logarithmic derivatives of zeta functions in families of global fields (with P. Lebacque), International Journal of Number Theory, Vol. 7 (2011), Num. 8, 2139{2156. • Asymptotic methods in number theory and algebraic geometry (with P. Lebacque), Pub- lications Math´ematiquesde Besan¸con,2011, 47{73. • Asymptotic properties of Dedekind zeta functions in families of number fields, Journal de Th´eoriedes Nombres de Bordeaux, 22 (2010), Num. 3, 689{696. 1 • Jacobians among abelian threefolds: a formula of Klein and a question of Serre (with G.
    [Show full text]
  • Remarks on Aspects of Modern Pioneering Mathematical Research
    REMARKS ON ASPECTS OF MODERN PIONEERING MATHEMATICAL RESEARCH IVAN FESENKO Inter-universal Teichmüller (IUT) theory of Shinichi Mochizuki1 was made public at the end of August of 2012. Shinichi Mochizuki had been persistently working on IUT for the previous 20 years. He was supported by Research Institute for Mathematical Sciences (RIMS), part of Kyoto University.2 The IUT theory studies cardinal properties of integer numbers. The simplicity of the definition of numbers and of statements of key distinguished problems about them hides an underlying immense compexity and profound depth. One can perform two standard operations with numbers: add and multiply. Prime numbers are ‘atoms’ with respect to multiplication. Several key problems in mathematics ask hard (and we do not know how hard until we see a solution) questions about relations between prime numbers and the second operation of addition. More generally, the issue of hidden relations between multiplication and addition for integer numbers is of most fundamental nature. The problems include abc-type inequalities, the Szpiro conjecture for elliptic curves over number fields, the Frey conjecture for elliptic curves over number fields and the Vojta conjecture for hyperbolic curves over number fields. They are all proved as an application of IUT. But IUT is more than a tool to solve famous conjectures. It is a new fundamental theory that might profoundly influence number theory and mathematics. It restores in number theory the place, role and value of topological groups, as opposite to the use of their linear representations only. IUT is the study of deformation of arithmetic objects by going outside conventional arithmetic geometry, working with their groups of symmetries, using categorical geometry structures and applying deep results of mono-anabelian geometry.
    [Show full text]