Math 249A Fall 2010: Transcendental Number Theory
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Transcendence Theory and Its Applications
J. Austral. Math. Soc. (Series A) 25 (1978), 438-444 TRANSCENDENCE THEORY AND ITS APPLICATIONS A. BAKER Dedicated to Professor K. Mahler on his 75th birthday (Received 19 December 1977) Communicated by J. H. Coates Abstract This is the text of an invited address given at the Summer Research Institute of the Australian National University in January 1978. It provides a survey of the subject matter of the title. Subject classification (Amer. Math. Soc. (MOS) 1970): primary 10-02, 1OF35; secondary 10B15. 1. Introduction I should like to speak today about some of the latest developments that have taken place in connexion with the theory of linear forms in the logarithms of algebraic numbers. This is, of course, just one aspect of transcendence theory, but it has been an especially active area of development throughout the past decade, and it has found many applications relating to a wide variety of Diophantine problems. I shall discuss some of these applications later in my talk, but let me begin with some basic definitions. 2. Definitions An algebraic number is a zero of a polynomial with integer coefficients; thus if a. is algebraic we have for some integers a0, ...,an. We can suppose that the polynomial on the left is irreducible, and that ao,...,an are relatively prime; then n is called the degree of 438 Downloaded from https://www.cambridge.org/core. IP address: 170.106.35.93, on 25 Sep 2021 at 06:49:21, subject to the Cambridge Core terms of use, available at https://www.cambridge.org/core/terms. -
Distribution of Rational Points on Toric Varieties: a Multi-Height Approach
Distribution of Rational Points on Toric Varieties: A Multi-Height Approach Arda H. Demirhan University of Illinois at Chicago March 19, 2021 Arda H. Demirhan Distribution of Rational Points on Toric Varieties: A Multi-Height Approach Height Machine associates counting devices to divisor classes. ( ) ( ) geometric facts arithmetic facts , given by divisor relations given by height relations Height Machine is useful for other fields too. How to Count Rational Points? X: an algebraic variety in Pn over a number field Main Idea: We use height functions to count rational points. Arda H. Demirhan Distribution of Rational Points on Toric Varieties: A Multi-Height Approach Height Machine is useful for other fields too. How to Count Rational Points? X: an algebraic variety in Pn over a number field Main Idea: We use height functions to count rational points. Height Machine associates counting devices to divisor classes. ( ) ( ) geometric facts arithmetic facts , given by divisor relations given by height relations Arda H. Demirhan Distribution of Rational Points on Toric Varieties: A Multi-Height Approach How to Count Rational Points? X: an algebraic variety in Pn over a number field Main Idea: We use height functions to count rational points. Height Machine associates counting devices to divisor classes. ( ) ( ) geometric facts arithmetic facts , given by divisor relations given by height relations Height Machine is useful for other fields too. Arda H. Demirhan Distribution of Rational Points on Toric Varieties: A Multi-Height Approach Counting Function: N(U(K); B) = cardfx 2 U(K): HK (x) ≤ Bg Let U ⊆ X be a Zariski open with some rational points. -
The Hermite–Lindemann–Weierstraß Transcendence Theorem
The Hermite–Lindemann–Weierstraß Transcendence Theorem Manuel Eberl March 12, 2021 Abstract This article provides a formalisation of the Hermite–Lindemann– Weierstraß Theorem (also known as simply Hermite–Lindemann or Lindemann–Weierstraß). This theorem is one of the crowning achieve- ments of 19th century number theory. The theorem states that if α1; : : : ; αn 2 C are algebraic numbers that are linearly independent over Z, then eα1 ; : : : ; eαn are algebraically independent over Q. Like the previous formalisation in Coq by Bernard [2], I proceeded by formalising Baker’s alternative formulation of the theorem [1] and then deriving the original one from that. Baker’s version states that for any algebraic numbers β1; : : : ; βn 2 C and distinct algebraic numbers αi; : : : ; αn 2 C, we have: α1 αn β1e + ::: + βne = 0 iff 8i: βi = 0 This has a number of immediate corollaries, e.g.: • e and π are transcendental • ez, sin z, tan z, etc. are transcendental for algebraic z 2 C n f0g • ln z is transcendental for algebraic z 2 C n f0; 1g 1 Contents 1 Divisibility of algebraic integers 3 2 Auxiliary facts about univariate polynomials 6 3 The minimal polynomial of an algebraic number 10 4 The lexicographic ordering on complex numbers 12 5 Additional facts about multivariate polynomials 13 5.1 Miscellaneous ........................... 13 5.2 Converting a univariate polynomial into a multivariate one . 14 6 More facts about algebraic numbers 15 6.1 Miscellaneous ........................... 15 6.2 Turning an algebraic number into an algebraic integer .... 18 6.3 Multiplying an algebraic number with a suitable integer turns it into an algebraic integer. -
Algebraic Numbers As Product of Powers of Transcendental Numbers
S S symmetry Article Algebraic Numbers as Product of Powers of Transcendental Numbers Pavel Trojovský Department of Mathematics, Faculty of Science, University of Hradec Králové, 500 03 Hradec Králové, Czech Republic; [email protected]; Tel.: +42-049-333-2801 Received: 17 June 2019; Accepted: 4 July 2019; Published: 8 July 2019 Abstract: The elementary symmetric functions play a crucial role in the study of zeros of non-zero polynomials in C[x], and the problem of finding zeros in Q[x] leads to the definition of algebraic and transcendental numbers. Recently, Marques studied the set of algebraic numbers in the form P(T)Q(T). In this paper, we generalize this result by showing the existence of algebraic Q (T) Qn(T) numbers which can be written in the form P1(T) 1 ··· Pn(T) for some transcendental number T, where P1, ... , Pn, Q1, ... , Qn are prescribed, non-constant polynomials in Q[x] (under weak conditions). More generally, our result generalizes results on the arithmetic nature of zw when z and w are transcendental. Keywords: Baker’s theorem; Gel’fond–Schneider theorem; algebraic number; transcendental number 1. Introduction The name “transcendental”, which comes from the Latin word “transcendˇere”, was first used for a mathematical concept by Leibniz in 1682. Transcendental numbers in the modern sense were defined by Leonhard Euler (see [1]). A complex number a is called algebraic if it is a zero of some non-zero polynomial P 2 Q[x]. Otherwise, a is transcendental. Algebraic numbers form a field, which is denoted by Q. The transcendence of e was proved by Charles Hermite [2] in 1872, and two years later Ferdinand von Lindeman [3] extended the method of Hermite‘s proof to derive that p is also transcendental. -
Class Numbers of Quadratic Fields Ajit Bhand, M Ram Murty
Class Numbers of Quadratic Fields Ajit Bhand, M Ram Murty To cite this version: Ajit Bhand, M Ram Murty. Class Numbers of Quadratic Fields. Hardy-Ramanujan Journal, Hardy- Ramanujan Society, 2020, Volume 42 - Special Commemorative volume in honour of Alan Baker, pp.17 - 25. hal-02554226 HAL Id: hal-02554226 https://hal.archives-ouvertes.fr/hal-02554226 Submitted on 1 May 2020 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Hardy-Ramanujan Journal 42 (2019), 17-25 submitted 08/07/2019, accepted 07/10/2019, revised 15/10/2019 Class Numbers of Quadratic Fields Ajit Bhand and M. Ram Murty∗ Dedicated to the memory of Alan Baker Abstract. We present a survey of some recent results regarding the class numbers of quadratic fields Keywords. class numbers, Baker's theorem, Cohen-Lenstra heuristics. 2010 Mathematics Subject Classification. Primary 11R42, 11S40, Secondary 11R29. 1. Introduction The concept of class number first occurs in Gauss's Disquisitiones Arithmeticae written in 1801. In this work, we find the beginnings of modern number theory. Here, Gauss laid the foundations of the theory of binary quadratic forms which is closely related to the theory of quadratic fields. -
Arithmetic Properties of Certain Functions in Several Variables III
BULL. AUSTRAL. MATH. SOC. I0F35, 39A30 VOL. 16 (1977), 15-47. Arithmetic properties of certain functions in several variables III J.H. Loxton and A.J. van der Poorten We obtain a general transcendence theorem for the solutions of a certain type of functional equation. A particular and striking consequence of the general result is that, for any irrational number u) , the function I [ha]zh h=l takes transcendental values at all algebraic points a with 0 < lal < 1 . Introduction In this paper, we continue our study of the transcendency of functions in one or more complex variables which satisfy one of a certain general class of functional equations. The ideas for this work go back almost 50 years to 3 papers of Mahler [9], [JO], and [H] in which he analyses solutions of functional equations of the form f{Tz) = R{z; f{z)) , where T is a certain transformation of the n complex variables z = [z , ..., z ) , and R(z; w) is a rational function. In our earlier papers [7] and [£], we extended Mahler's results by widening the class of allowable transformations T . It is our object here to generalise the theory in another direction and, specifically, to answer a problem posed by Mahler, namely Problem 2 of [72]. In view of the technical nature of our Received 16 August 1976. 15 Downloaded from https://www.cambridge.org/core. IP address: 170.106.40.40, on 24 Sep 2021 at 14:25:33, subject to the Cambridge Core terms of use, available at https://www.cambridge.org/core/terms. -
The Evolution of Number in Mathematics Assad Ebrahim
THE EVOLUTION OF NUMBER IN MATHEMATICS ASSAD EBRAHIM Abstract. The number concept has evolved in a gradual process over ten millenia from concrete symbol association in the Middle East c.8000 BCE (“4 sheep-tokens are different than 4 grain-tokens”)1 to an hierarchy of number sets (N ⊂ Z ⊂ Q ⊂ R ⊂ C ⊂ H ⊂ O)2 the last four of which unify number with space and motion.3 In this paper we trace this evolution from whole numbers at the dawn of accounting with number-tokens through the paradoxes of algebraic irrationals, non-solvability by radicals4 , and uncountably many transcendentals, to the physical reality of imaginary numbers and the connection of the octonions with supersymmetry and string theory.5(FAQ3) Our story is of conceptual abstraction, algebraic extension, and analytic completeness, and reflects the modern transformation of mathematics itself. The main paper is brief (four pages) followed by supplements containing FAQs, historical notes, and appendices (holding theorems and proofs), and an annotated bibliography. A project supplement is in preparation to allow learning the material through self-discovery and guided exploration. For scholars and laymen alike it is not philosophy but active experience in mathematics itself that can alone answer the question: ‘What is Mathematics?’ Richard Courant (1941), book of the same title “One of the disappointments experienced by most mathematics students is that they never get a [unified] course on mathematics. They get courses in calculus, algebra, topology, and so on, but the division of labor in teaching seems to prevent these different topics from being combined into a whole. -
Heights, Algebraic Dynamics and Berkovich Analytic Spaces
HEIGHTS, ALGEBRAIC DYNAMICS AND BERKOVICH ANALYTIC SPACES JORGE PINEIRO Abstract. The present paper is an exposition on heights and their importance in the modern study of algebraic dynamics. We will explain the idea of canonical height and its surprising relation to algebraic dynamics, invariant measures, arithmetic intersection theory, equidistribution and p-adic analytic geometry. 1. Introduction In many situations, solving mathematical problems involves study the solution set of a system of polynomial equations. The language of algebraic varieties is developed for that purpose. An algebraic variety is a topological locally ringed space whose underlying topological space \behave locally like" the zero set of a system of polynomials in an a±ne space. A formal de¯nition can be found for example in Chapter 1 of [18]. A projective variety is an algebraic variety that can be embedded into some projective space. Many number theoretic questions are nat- urally expressed as diophantine problems. Suppose that the algebraic variety X is de¯ned over the number ¯eld F . An algebraic dynamical system ' : X ! X is a ¯nite map from the algebraic variety X to itself. One of the tools to study algebraic dynamics over number ¯elds is the de¯nition of height functions. A (canonical) height function as- ^ ¹ sociated to ' is a function h' : X(F ) ! R, that attempts to compute the complexity of the point P 2 X(F¹) relative to the map '. For in- stance the points of ¯nite forward orbits for ' will be exactly the points ^ of height h'(P ) = 0. The notion of height can be also generalized to subvarieties Y ½ X, still measuring the behavior under iteration. -
Auxiliary Functions in Transcendence Proofs
SASTRA Updated: August 27, 2009 Auxiliary functions in transcendental number theory. Michel Waldschmidt Contents 1 Explicit functions 3 1.1 Liouville . 3 1.2 Hermite . 5 1.3 Pad´eapproximation . 6 1.4 Hypergeometric methods . 7 2 Interpolation methods 8 2.1 Weierstraß question . 8 2.2 Integer{valued entire functions . 9 2.3 Transcendence of eπ ......................... 11 2.4 Lagrange interpolation . 12 3 Auxiliary functions arising from the Dirichlet's box principle 13 3.1 Thue{Siegel lemma . 13 3.1.1 The origin of the Thue{Siegel Lemma . 14 3.1.2 Siegel, Gel'fond, Schneider . 15 3.1.3 Schneider{Lang Criterion . 18 3.1.4 Higher dimension: several variables . 20 3.1.5 The six exponentials Theorem . 22 3.1.6 Modular functions . 24 3.2 Universal auxiliary functions . 24 3.2.1 A general existence theorem . 24 3.2.2 Duality . 26 arXiv:0908.4024v1 [math.NT] 27 Aug 2009 3.3 Mahler's Method . 27 4 Interpolation determinants 28 4.1 Lehmer's Problem . 28 4.2 Laurent's interpolation determinants . 30 5 Bost slope inequalities, Arakelov's Theory 31 1 Acknowledgement This survey is based on lectures given for the first time at the International Conference on Number Theory, Mathematical Physics, and Special Functions, which was organised at Kumbakonam (Tamil Nadu, India) by Krishna Alladi at the Shanmugha Arts, Science, Technology, Research Academy (SASTRA) in December 2007. Further lectures on this topic were given by the author at the Arizona Winter School AWS 2008 (Tucson, Arizona, USA), on Special Functions and Transcendence, organized in March 2008 by Matt Papanikolas, David Savitt and Dinesh Thakur. -
Arxiv:2010.16371V2 [Math.NT] 12 Jul 2021 Kronecker Limit Formulas, Which Correspond to the Positive Definite Case, in [3]
A KRONECKER LIMIT FORMULA FOR INDEFINITE ZETA FUNCTIONS GENE S. KOPP Abstract. We prove an analogue of Kronecker's second limit formula for a continuous family of “indefinite zeta functions". Indefinite zeta functions were introduced in the author's previous paper as Mellin transforms of indefinite theta functions, as defined by Zwegers. Our formula is valid in dimension g = 2 at s = 1 or s = 0. For a choice of parameters obeying a certain symmetry, an indefinite zeta function is a differenced ray class zeta function of a real quadratic field, and its special value at s = 0 was conjectured by Stark to be a logarithm of an algebraic unit. Our formula also permits practical high-precision computation of Stark ray class invariants. 1. Introduction In a previous paper [5], we introduced indefinite zeta functions as Mellin transforms of (1) certain indefinite theta functions associated to the intermediate Siegel half-space Hg , defined below. In this paper, we obtain a formula for the values of such an indefinite zeta function at s = 1 or s = 0, in the special case of dimension g = 2. Such formulas are traditionally called Kronecker limit formulas, after Kronecker's first and second limit formulas giving the constant term in the Laurent expansion at s = 1 of standard and twisted real analytic Eisenstein series. When our parameters are specialised appropriately, our special value is a finite linear combination of Hecke L-values at s = 1. Our formula may be used to compute values of Hecke L-functions at s = 1 (resp. s = 0) relevant to the Stark conjectures, which we discuss in Section 1.4. -
Common and Uncommon Standard Number Sets
Common and Uncommon Standard Number Sets W. Blaine Dowler July 8, 2010 Abstract There are a number of important (and interesting unimportant) sets in mathematics. Sixteen of those sets are detailed here. Contents 1 Natural Numbers 2 2 Whole Numbers 2 3 Prime Numbers 3 4 Composite Numbers 3 5 Perfect Numbers 3 6 Integers 4 7 Rational Numbers 4 8 Algebraic Numbers 5 9 Real Numbers 5 10 Irrational Numbers 6 11 Transcendental Numbers 6 12 Normal Numbers 6 13 Schizophrenic Numbers 7 14 Imaginary Numbers 7 15 Complex Numbers 8 16 Quaternions 8 1 1 Natural Numbers The first set of numbers to be defined is the set of natural numbers. The set is usually labeled N. This set is the smallest set that satisfies the following two conditions: 1. 1 is a natural number, usually written compactly as 1 2 N. 2. If n 2 N, then n + 1 2 N. As this is the smallest set that satisfies these conditions, it is constructed by starting with 1, adding 1 to 1, adding 1 to that, and so forth, such that N = f1; 2; 3; 4;:::g Note that set theorists will often include 0 in the natural numbers. The set of natural numbers was defined formally starting with 1 long before set theorists developed a rigorous way to define numbers as sets. In that formalism, it makes more sense to start with 0, but 1 is the more common standard because it long predates modern set theory. More advanced mathematicians may have encountered \proof by induction." This is a method of completing proofs. -
Class Group Computations in Number Fields and Applications to Cryptology Alexandre Gélin
Class group computations in number fields and applications to cryptology Alexandre Gélin To cite this version: Alexandre Gélin. Class group computations in number fields and applications to cryptology. Data Structures and Algorithms [cs.DS]. Université Pierre et Marie Curie - Paris VI, 2017. English. NNT : 2017PA066398. tel-01696470v2 HAL Id: tel-01696470 https://tel.archives-ouvertes.fr/tel-01696470v2 Submitted on 29 Mar 2018 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. THÈSE DE DOCTORAT DE L’UNIVERSITÉ PIERRE ET MARIE CURIE Spécialité Informatique École Doctorale Informatique, Télécommunications et Électronique (Paris) Présentée par Alexandre GÉLIN Pour obtenir le grade de DOCTEUR de l’UNIVERSITÉ PIERRE ET MARIE CURIE Calcul de Groupes de Classes d’un Corps de Nombres et Applications à la Cryptologie Thèse dirigée par Antoine JOUX et Arjen LENSTRA soutenue le vendredi 22 septembre 2017 après avis des rapporteurs : M. Andreas ENGE Directeur de Recherche, Inria Bordeaux-Sud-Ouest & IMB M. Claus FIEKER Professeur, Université de Kaiserslautern devant le jury composé de : M. Karim BELABAS Professeur, Université de Bordeaux M. Andreas ENGE Directeur de Recherche, Inria Bordeaux-Sud-Ouest & IMB M. Claus FIEKER Professeur, Université de Kaiserslautern M.