DOCSLIB.ORG

Arxiv:1704.03853V4

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Arxiv:1704.03853V4 TAME STRUCTURES VIA CHARACTER SUMS OVER FINITE FIELDS CHIEU-MINH TRAN Abstract. We show that the theory of algebraically closed fields with mul- tiplicative circular orders has a model companion ACFO. Using number- theoretic results on character sums over finite fields, we show that if F is an algebraic closure of a finite field, and ◁ is any translation-invariant circular order on the multiplicative group F×, then (F, ◁) is a model of ACFO. Our re- sults can be regarded as analogues of Ax’s results in [1] which utilize counting points over finite fields. 1. Introduction Throughout, F will be an algebraic closure of a finite field. We are interested in the following question: Are there natural expansions of F by order-type relations which are also model-theoretically tame? There is no known order-type relation on F which interacts in a sensible way with both addition and multiplication. This is in stark contrast to the situation with the field C of complex numbers where addition and multiplication are compatible with the Euclidean metric induced by the natural order on R. It is not hard to see the reason: the additive group of F is an infinite torsion group of finite exponent, so even finding an additively compatible order-type relation seems unlikely. On the other hand, the multiplicative group F× is a union of cyclic groups, so it is fairly natural to consider circular orders ◁ on F× which are compatible with the multiplicative structure. In this paper, we will show that the resulting structures (F, ◁) give a positive answer to some aspects of the above question. We will take a step back to be more precise and to study the above structures as members of a natural class. A circular order on a group G is a ternary relation arXiv:1704.03853v4 [math.LO] 15 Jul 2019 ◁ on G which is invariant under multiplication by elements in G and satisfies the following conditions for all a,b,c ∈ G: (1) if ◁(a,b,c), then ◁(b,c,a); (2) if ◁(a,b,c), then not ◁(c,b,a); (3) if ◁(a,b,c) and ◁(a,c,d), then ◁(a,b,d); (4) if a,b,c are distinct, then either ◁(a,b,c) or ◁(c,b,a). A canonical example, also used later on, is (T, ◁) where T is the multiplicative group of complex numbers with norm 1, and ◁ is the clockwise circular order (i.e., ◁(a,b,c) if b lies in the clockwise open arc from a to c viewing T as the unit circle). Date: July 17, 2019. 2010 Mathematics Subject Classification. Primary 03C65; Secondary 03B25, 03C10, 03C64, 11T24, 12L12. 1 2 CHIEU-MINH TRAN A multiplicative circular order on a field F is a circular order on the multiplica- tive group F ×, viewed as a ternary relation on F . If ◁ is a multiplicative circular order on a field F , then (F, ◁) is a structure in the total language Lt extending −1 the language Lf ={0, 1, +, −, ×, ◻ } of fields by a ternary predicate symbol ◁. Let − ACFO be the Lt-theory whose models are such (F, ◁) where F is algebraically closed. Section 2 and Section 3 establish our first main result: Theorem 1.1. The theory ACFO− has a model companion ACFO. Underlying the proof of Theorem 1.1 is the following heuristic: the existential closed models of ACFO− are (F, ◁) ⊧ ACFO− where (F ×, ◁) is “sufficiently rich”, and + interacts in a “random fashion” with ◁ modulo their compatibility with ×. The challenges involve making sense of “sufficiently rich” and “random fashion”, justifying this heuristic, and showing that these properties are first-order axiomatizable. We return to the structures described in the first paragraph in Section 4: Theorem 1.2. If ◁ is a multiplicative circular order on F, then (F, ◁) ⊧ ACFO. Every injective group homomorphism χ ∶ F× → T induces a multiplicative circular order on F, namely, the pullback ◁χ of the clockwise circular order ◁ on T by the map χ. It turns out that every multiplicative circular order on F is of this form; see Corollary 2.23. The main idea of the proof of Theorem 1.2 is to exploit this connection and results on character sums over finite fields. These results are useful here as they reflect “number-theoretic randomness” [10]. This is precisely what we want for the interaction between + and ◁. This work is a response to the question below by van den Dries and Hrushovski; Kowalski also asked a related question in [11]. Do results on exponential sums and character sums over finite fields yield any model-theoretically tame structures? Behind this question is the hope to find analogies of Ax’s results in [1]. There, the model-theoretic tameness of ultraproducts of finite fields essentially follows from results on counting points over finite fields. The theory ACFO is our proposed counterpart of the theory of pseudo-finite fields. Theorem 1.1 corresponds to the fact that the theory of pseudo-finite fields is almost model complete. Theorem 1.2 is an analogue of the fact that nonprincipal ultraproducts of finite fields are pseudo- finite (in the definition given by Ax). There are also reasons to believe that there are deeper connections between ACFO and the theory of pseudo-finite fields. Both theories include certain “random features” and can be put under the framework of interpolative fusions [14], a subsequent joint work with Kruckman and Walsberg. Our earlier write-up [23] contained more results. Some of these are now general- ized into results about interpolative fusions [14]. We do not include them here to minimize overlapping. The results on decidability are of a slightly different flavor, so they will be presented in a future paper. The structures (F, ◁) in Theorem 1.2 are not simple (in the sense of model theory) as they define dense linear orders. They also have IP by a result of Shelah and Simon [21]. It turns out that these structures do not even have TP2 (see Proposition 3.25). This brings (F, ◁) outside the current known boundary of the combinatorially tame universe. We hope these structures will provide some motivation to push the boundary further and include them as well. TAME STRUCTURES VIA CHARACTER SUMS OVER FINITE FIELDS 3 Notations and conventions. We keep the notational conventions of the intro- duction. Moreover, we assume that k and l range over Z, m and n range over N ={0, 1, 2,...}, x = (x1,...,xm) is an m-tuple of variables, y = (y1,...,yn) is an n-tuple of variables, p is a prime, q = pk for some k ≥ 1, F is a field, F × is the multiplicative group of F . 2. Almost model companion of GMO− For understanding ACFO− and finding its model companion, we need to first under- − stand F × and (F ×, ◁) as (F, ◁) ranges over the models of ACFO . Two phenomena turn out to be important later on: (1) the “reduct” of ACFO− to the language of multiplicative groups is very simple: it “almost” admits quantifier elimination and has a natural notion of dimension; (2) the “reduct” of ACFO− to the language of circularly ordered multiplicative groups “almost” has a model companion. 2.1. Multiplicative groups of algebraically closed fields. We will consider the theory of multiplicative groups of algebraically closed fields (i.e., the set of statements which hold in all such structures) in a suitable language, show that this theory “almost” admits quantifier elimination and coincides with the theory of multiplicative groups of ACFO−-models, and obtain an axiomatization along the way as usual. Throughout Section 2.1, G is a multiplicative abelian group. If a and b in G are such that bn = a, we call b an nth root of a. If n ≥ 1, an nth root of the identity element 1G of G is trivial if it is 1G. An nth root of 1T in T for some n ≥ 1 is called a root of unity. Let U ⊆ T be the multiplicative group of roots of unity. For a given p, let U(p) ⊆ T be the multiplicative group of roots of unity whose order is × coprime to p. So U(p) is isomorphic to F as a group when char(F) = p. −1 Let Lm ={1, ×, ◻ } be the language of multiplicative groups. It is easy to obtain an Lm-theory GM such that G ⊧ GM if and only if the following conditions hold: (G0) every finite subgroup of G is cyclic; (G1) the group G is divisible; (G2) for any two distinct prime numbers p and l, either 1G has a nontrivial pth root, or 1G has a nontrivial lth root. The theory GM is our candidate for axiomatizing the theory of multiplicative groups of algebraically closed fields. It has several natural extensions. For a given p, let GMp be the Lm-theory whose models are G ⊧ GM which satisfy the following extra property: (GCp) every pth root of 1G is trivial. It is easy to see that if G ⊧ GMp, then 1G has a nontrivial lth root for any prime number l ≠ p. Let GM0 be the Lm-theory whose models are G ⊧ GM which satisfy the following extra property: (GC0) for all prime numbers l, 1G has a nontrivial lth root. Hence, a model of GM is either a model of GMp for some p or a model of GM0. 4 CHIEU-MINH TRAN Remark 2.1. Suppose G satisfies conditions (G0) and (G1), and l is a prime number. The condition that 1G has a nontrivial l-root is also equivalent to several other conditions: (1) 1G has exactly l many lth roots; k k (2) for all k ≥ 1, 1G has exactly l many l th roots; (3) for all k ≥ 1, every a ∈ G has exactly lkth many lkth roots.
Load more

Recommended publications
  • An Invitation to Model-Theoretic Galois Theory
    AN INVITATION TO MODEL-THEORETIC GALOIS THEORY. ALICE MEDVEDEV AND RAMIN TAKLOO-BIGHASH Abstract. We carry out some of Galois’ work in the setting of an arbitrary first-order theory T . We replace the ambient algebraically closed field by a large model M of T , replace fields by definably closed subsets of M, assume that T codes finite sets, and obtain the fundamental duality of Galois theory matching subgroups of the Galois group of L over F with intermediate exten- sions F ≤ K ≤ L. This exposition of a special case of [11] has the advantage of requiring almost no background beyond familiarity with fields, polynomials, first-order formulae, and automorphisms. 1. Introduction. Two hundred years ago, Evariste´ Galois contemplated symmetry groups of so- lutions of polynomial equations, and Galois theory was born. Thirty years ago, Saharon Shelah found it necessary to work with theories that eliminate imaginar- ies; for an arbitrary theory, he constructed a canonical definitional expansion with this property in [16]. Poizat immediately recognized the importance of a theory already having this property in its native language; indeed, he defined “elimina- tion of imaginaries” in [11]. It immediately became clear (see [11]) that much of Galois theory can be developed for an arbitrary first-order theory that eliminates imaginaries. This model-theoretic version of Galois theory can be generalized be- yond finite or even infinite algebraic extensions, and this can in turn be useful in other algebraic settings such as the study of Galois groups of polynomial differential equations (already begun in [11]) and linear difference equations. On a less applied note, it is possible to bring further ideas into the model-theoretic setting, as is done in [10] for the relation between Galois cohomology and homogeneous spaces.
    [Show full text]
  • Prizes and Awards Session
    PRIZES AND AWARDS SESSION Wednesday, July 12, 2021 9:00 AM EDT 2021 SIAM Annual Meeting July 19 – 23, 2021 Held in Virtual Format 1 Table of Contents AWM-SIAM Sonia Kovalevsky Lecture ................................................................................................... 3 George B. Dantzig Prize ............................................................................................................................. 5 George Pólya Prize for Mathematical Exposition .................................................................................... 7 George Pólya Prize in Applied Combinatorics ......................................................................................... 8 I.E. Block Community Lecture .................................................................................................................. 9 John von Neumann Prize ......................................................................................................................... 11 Lagrange Prize in Continuous Optimization .......................................................................................... 13 Ralph E. Kleinman Prize .......................................................................................................................... 15 SIAM Prize for Distinguished Service to the Profession ....................................................................... 17 SIAM Student Paper Prizes ....................................................................................................................
    [Show full text]
  • On a Generalization of the Hadwiger-Nelson Problem
    On a generalization of the Hadwiger-Nelson problem Mohammad Bardestani, Keivan Mallahi-Karai October 15, 2018 Abstract For a field F and a quadratic form Q defined on an n-dimensional vector space V over F , let QGQ, called the quadratic graph associated to Q, be the graph with the vertex set V where vertices u; w 2 V form an edge if and only if Q(v − w) = 1. Quadratic graphs can be viewed as natural generalizations of the unit-distance graph featuring in the famous Hadwiger-Nelson problem. In the present paper, we will prove that for a local field F of characteristic zero, the Borel chromatic number of QGQ is infinite if and only if Q represents zero non-trivially over F . The proof employs a recent spectral bound for the Borel chromatic number of Cayley graphs, combined with an analysis of certain oscillatory integrals over local fields. As an application, we will also answer a variant of question 525 proposed in the 22nd British Combinatorics Conference 2009 [6]. 1 Introduction The celebrated Hadwiger-Nelson problem asks for the minimum number of colors required to color n R such that no two points at distance one from each other have the same color. Recall that the chromatic number of a graph G, denoted by χ(G), is the least cardinal c such that the vertices of G can be partitioned into c sets (called color classes) such that no color class contains an edge in G. Hence, the Hadwiger-Nelson problem is the question of finding χ(Gn), where Gn is the graph with vertex set n V (Gn) = R , where the adjacency of vertices x; y 2 V (Gn) is defined by the equation Q(x − y) = 1; 2 2 n here, Q(x1; : : : ; xn) = x1 + ··· + xn is the canonical positive-definite quadratic form on R .
    [Show full text]
  • Letter from the President
    Letter from the President Dear EATCS members, As usual this time of the year, I have the great pleasure to announce the assignments of this year’s Gódel Prize, EATCS Award and Presburger Award. The Gödel Prize 2012, which is co-sponsored by EATCS and ACM SIGACT, has been awarded jointly to Elias Koutsoupias, Christos H. Papadimitriou, Tim Roughgarden, Éva Tardos, Noam Nisan and Amir Ronen. In particular, the prize has been awarded to Elias Koutsoupias and Christos H. Papadimitriou for their paper Worst-case equilibria, Computer Science Review, 3(2): 65-69, 2009; to Tim Roughgarden and Éva Tardos for their paper How Bad Is Selfish Routing? , Journal of the ACM, 49(2): 236-259, 2002; and to Noam Nisan and Amir Ronen for their paper Algorithmic Mechanism Design, Games and Economic Behavior, 35: 166-196, 2001. As you can read in the laudation published in this issue of the bulletin, these three papers contributed highly influential concepts and results that laid the foundation for an explosive growth in algorithmic game theory, a trans-disciplinary combination of the theory of algorithms and the theory of games that has greatly enriched both fields. The purpose of all three papers was to improve our understanding of how the internet and other complex computational systems behave when users and service providers in these systems act selfishly. On behalf of this year’s Gödel Prize Committee (consisting of Sanjeev Arora, Josep Díaz, Giuseppe F. Italiano, Daniel ✸ ❇❊❆❚❈❙ ♥♦ ✶✵✼ ❊❆❚❈❙ ▼❆❚❚❊❘❙ Spielman, Eli Upfal and Mogens Nielsen as chair) and the whole EATCS community I would like to offer our congratulations and deep respect to all of the six winners! The EATCS Award 2012 has been granted to Moshe Vardi for his decisive influence on the development of theoretical computer science, for his pre-eminent career as a distinguished researcher, and for his role as a most illustrious leader and disseminator.
    [Show full text]
  • UOLUME 49 Contemporary MATHEMATICS
    Complex Differential Geometry and Nonlinear Differential Equations Proceedings of a Summer Research Conference held August12-18,1984 AMERICAn MATHEMATICAL SOCIETY UOLUME 49 http://dx.doi.org/10.1090/conm/049 COnTEMPORARY MATHEMATICS Titles in This Series Volume 1 Markov random fields and their 15 Advanced analytic number theory. applications, Ross Kindermann and Part 1: Ramification theoretic J. Laurie Snell methods. Carlos J. Moreno 2 Proceedings of the conference 16 Complex representations of on integration. topology, and GL(2. K) for finite fields K, geometry in linear spaces. llya Piatetski-Shapiro William H. Graves. Editor 17 Nonlinear partial differential 3 The closed graph and P-closed equations, Joel A. Smoller. Editor graph properties in general topology, T. R. Hamlett and 18 Fixed points and nonexpansive L. L. Herrington mappings, Robert C. Sine. Editor 4 Problems of elastic stability and 19 Proceedings of the Northwestern vibrations, Vadim Komkov. Editor homotopy theory conference. 5 Rational constructions of Haynes R. Miller and Stewart B. modules for simple Lie algebras. Priddy, Editors George B. Seligman 20 Low dimensional topology, 6 Umbral calculus and Hopf algebras, Samuel J. Lomonaco. Jr.. Editor Robert Morris. Editor 21 Topological methods in nonlinear 7 Complex contour integral functional analysis, S. P. Singh. representation of cardinal spline S. Thomeier. and B. Watson. Editors functions, Walter Schempp 22 Factorizations of b" 1, b 8 Ordered fields and real algebraic ± = 2, 3, 5, 6, 7, 10,11,12 up to high geometry, D. W. Dubois and powers. John Brillhart. D. H. Lehmer. T. Recio. Editors J. L. Selfridge. Bryant Tuckerman. and 9 Papers in algebra.
    [Show full text]
  • Mathematical Sciences Meetings and Conferences Section
    OTICES OF THE AMERICAN MATHEMATICAL SOCIETY Richard M. Schoen Awarded 1989 Bacher Prize page 225 Everybody Counts Summary page 227 MARCH 1989, VOLUME 36, NUMBER 3 Providence, Rhode Island, USA ISSN 0002-9920 Calendar of AMS Meetings and Conferences This calendar lists all meetings which have been approved prior to Mathematical Society in the issue corresponding to that of the Notices the date this issue of Notices was sent to the press. The summer which contains the program of the meeting. Abstracts should be sub­ and annual meetings are joint meetings of the Mathematical Associ­ mitted on special forms which are available in many departments of ation of America and the American Mathematical Society. The meet­ mathematics and from the headquarters office of the Society. Ab­ ing dates which fall rather far in the future are subject to change; this stracts of papers to be presented at the meeting must be received is particularly true of meetings to which no numbers have been as­ at the headquarters of the Society in Providence, Rhode Island, on signed. Programs of the meetings will appear in the issues indicated or before the deadline given below for the meeting. Note that the below. First and supplementary announcements of the meetings will deadline for abstracts for consideration for presentation at special have appeared in earlier issues. sessions is usually three weeks earlier than that specified below. For Abstracts of papers presented at a meeting of the Society are pub­ additional information, consult the meeting announcements and the lished in the journal Abstracts of papers presented to the American list of organizers of special sessions.
    [Show full text]
  • Mathematics People
    NEWS Mathematics People Tardos Named Goldfarb and Nocedal Kovalevsky Lecturer Awarded 2017 von Neumann Éva Tardos of Cornell University Theory Prize has been chosen as the 2018 AWM- SIAM Sonia Kovalevsky Lecturer by Donald Goldfarb of Columbia the Association for Women in Math- University and Jorge Nocedal of ematics (AWM) and the Society for Northwestern University have been Industrial and Applied Mathematics awarded the 2017 John von Neu- (SIAM). She was honored for her “dis- mann Theory Prize by the Institute tinguished scientific contributions for Operations Research and the to the efficient methods for com- Management Sciences (INFORMS). binatorial optimization problems According to the prize citation, “The Éva Tardos on graphs and networks, and her award recognizes the seminal con- work on issues at the interface of tributions that Donald Goldfarb computing and economics.” According to the prize cita- Jorge Nocedal and Jorge Nocedal have made to the tion, she is considered “one of the leaders in defining theory and applications of nonlinear the area of algorithmic game theory, in which algorithms optimization over the past several decades. These contri- are designed in the presence of self-interested agents butions cover a full range of topics, going from modeling, governed by incentives and economic constraints.” With to mathematical analysis, to breakthroughs in scientific Tim Roughgarden, she was awarded the 2012 Gödel Prize computing. Their work on the variable metric methods of the Association for Computing Machinery (ACM) for a paper “that shaped the field of algorithmic game theory.” (BFGS and L-BFGS, respectively) has been extremely in- She received her PhD in 1984 from Eötvös Loránd Univer- fluential.” sity.
    [Show full text]
  • LOGICAL DREAMS Saharon Shelah Institute of Mathematics The
    Paper Sh:E23, version 2002-11-20 11. See https://shelah.logic.at/papers/E23/ for possible updates. LOGICAL DREAMS Saharon Shelah Institute of Mathematics The Hebrew University Jerusalem, Israel Rutgers University Mathematics Department New Brunswick, NJ USA Abstract. We discuss the past and future of set theory, axiom systems and inde- pendence results. We deal in particular with cardinal arithmetic. Contents Reading instructions 0. Introductory remarks 1 What does mathematical logic do for you? 2 The glory of proven ignorance 3 Set theory and additional axioms 4 ZFC indecisiveness 5 Is ZFC really so weak? 6 Concluding remarks 2000 Mathematics Subject Classification. 03-02, 03Exx. Key words and phrases. mathematical logic, set theory, independence, incompleteness, forcing, large cardinals. I would like to thank Alice Leonhardt for the beautiful typing. This paper is based on my lecture (and the preparations to the lecture) during the conference Mathematical Challenges of the 21th Century. Publication E23 Typeset by AMS-TEX 1 Paper Sh:E23, version 2002-11-20 11. See https://shelah.logic.at/papers/E23/ for possible updates. 2 SAHARON SHELAH Annotated Content Reading instructions. x0 Introductory remarks. [How to read; what this article tries to do; what is cardinal arithmetic.] x1 What does mathematical logic do for me? [Why is it needed; what is this animal ZFC; thesis: general results; the Jeffersonian thesis for the best framework; the scale thesis.] x2 The glory of proven ignorance. [G¨odel'sdiet, Cohen's fattening; independence in number theory; primes are random; the Riemann hypothesis, consistency strength.] x3 Set theory and additional axioms.
    [Show full text]
  • Arkitekten Andrea Branzi En Av Rolf Schock-Pristagarna 2018
    Saharon Shelah, Ronald Coifman, Andrea Branzi och Barbara Hannigan. Bilden är hämtad från Rold Schockprisens hemsida, www.rolfschockprisen.se. Foto: Yael Shelah, Yale University, Francesco Brigida och Elmer-de-Haas. 2018-03-15 17:32 CET Arkitekten Andrea Branzi en av Rolf Schock-pristagarna 2018 Konstakademien har tillsammans med Kungliga Vetenskapsakademien och Kungliga Musikaliska akademien utsett årets fyra Rolf Schock-pristagare, som tilldelas till 400 000 kronor per prisområde, sammanlagt 1,6 miljoner kronor. Priset för de visuella konsterna tilldelas Andrea Branzi. Rolf Schock, lämnade vid sin bortgång 1986 efter sig en stor förmögenhet, som förvaltas av stiftelsen The Schock Foundation och priset delas ut varje år i enlighet med önskemålen i hans testamente. Årets prisutdelning äger rum på Konstakademien den 15 oktober. Priset för de visuella konsterna tilldelas Andrea Branzi,italiensk arkitekt, designer, debattör och författare, född 1938, och en av grundarna till studion Archizoom Associati, som med sitt projekt No-stop city i slutet av 60-talet bidrog till att formulera arkitektur som kritik och teori. No-stop city visar på de yttersta konsekvenserna av den sena kapitalismens urbana utveckling. Det var en Superarchitettura, en superarkitektur, bestående av superproduktion och superkonsumtion. Tillsammans med andra italienska grupper, som Superstudio, inledde de en förnyelse av inte bara italiensk design utan formulerade en design i en bred kulturell och politisk kontext. Denna, så kallade Radikal design eller Anti-design, fick sitt internationella genombrott med utställningen Italy: The New Domestic Landscape på MOMA 1972. Andrea Branzi har haft en nyckelroll i designriktningar som Global Tools, Alchimia och Memphis. Bland hans mer kända möbler finns Superonda sofa, 1966, Mies chair, 1968, och den modulära Safari sofa, 1968; alla avsedda att ifrågasätta reglerna för hur vi bor.
    [Show full text]
  • In Memoriam: James Earl Baumgartner (1943-2011)
    In memoriam: James Earl Baumgartner (1943–2011) J.A. Larson Department of Mathematics University of Florida, Gainesville Gainesville, FL 32611–8105, USA October 9, 2018 Abstract James Earl Baumgartner (March 23, 1943 – December 28, 2011) came of age mathematically during the emergence of forcing as a fun- damental technique of set theory, and his seminal research changed the way set theory is done. He made fundamental contributions to the development of forcing, to our understanding of uncountable or- ders, to the partition calculus, and to large cardinals and their ideals. He promulgated the use of logic such as absoluteness and elementary submodels to solve problems in set theory, he applied his knowledge of set theory to a variety of areas in collaboration with other math- ematicians, and he encouraged a community of mathematicians with engaging survey talks, enthusiastic discussions of open problems, and friendly mathematical conversations. arXiv:1705.02219v1 [math.HO] 2 May 2017 1 Overview of Baumgartner’s Life James E. Baumgartner was born on March 23, 1943 in Wichita, Kansas. His high school days included tennis, football, and leading roles in school plays. In 1960 he entered the California Institute of Technology, but stayed only two years, moving to the University of California, Berkeley in 1962, in part because it was co-educational. There he met and married his wife Yolanda. He continued his interest in drama and mathematics as an undergraduate, earned his A.B. in mathematics in 1964, and continued study as a graduate 1 student. Baumgartner [9, page 2] dated his interest in set theory to the four week long 1967 UCLA Summer Institute on Axiomatic Set Theory.1 The mathematics for his dissertation was completed in spring 1969, and Baumgartner became a John Wesley Young Instructor at Dartmouth College in fall 1969.
    [Show full text]
  • Of the American Mathematical Society June/July 2018 Volume 65, Number 6
    ISSN 0002-9920 (print) ISSN 1088-9477 (online) of the American Mathematical Society June/July 2018 Volume 65, Number 6 James G. Arthur: 2017 AMS Steele Prize for Lifetime Achievement page 637 The Classification of Finite Simple Groups: A Progress Report page 646 Governance of the AMS page 668 Newark Meeting page 737 698 F 659 E 587 D 523 C 494 B 440 A 392 G 349 F 330 E 294 D 262 C 247 B 220 A 196 G 145 F 165 E 147 D 131 C 123 B 110 A 98 G About the Cover, page 635. 2020 Mathematics Research Communities Opportunity for Researchers in All Areas of Mathematics How would you like to organize a weeklong summer conference and … • Spend it on your own current research with motivated, able, early-career mathematicians; • Work with, and mentor, these early-career participants in a relaxed and informal setting; • Have all logistics handled; • Contribute widely to excellence and professionalism in the mathematical realm? These opportunities can be realized by organizer teams for the American Mathematical Society’s Mathematics Research Communities (MRC). Through the MRC program, participants form self-sustaining cohorts centered on mathematical research areas of common interest by: • Attending one-week topical conferences in the summer of 2020; • Participating in follow-up activities in the following year and beyond. Details about the MRC program and guidelines for organizer proposal preparation can be found at www.ams.org/programs/research-communities /mrc-proposals-20. The 2020 MRC program is contingent on renewed funding from the National Science Foundation. SEND PROPOSALS FOR 2020 AND INQUIRIES FOR FUTURE YEARS TO: Mathematics Research Communities American Mathematical Society Email: [email protected] Mail: 201 Charles Street, Providence, RI 02904 Fax: 401-455-4004 The target date for pre-proposals and proposals is August 31, 2018.
    [Show full text]
  • Notices of the American Mathematical Society
    Minneapolis Meeting (November 2-3)- Page 635 San Diego Meeting (November 9-10)- Page 641 Notices of the American Mathematical Society October 1984, Issue 236 Volume 31, Number 6, Pages 561-736 Providence, Rhode Island USA ISSN 0002-9920 Calendar of AMS Meetings THIS CALENDAR lists all meetings which have been approved by the Council prior to the date this issue of the Notices was sent to press. The summer and annual meetings are joint meetings of the Mathematical Association of America and the Ameri· can Mathematical Society. The meeting dates which fall rather far in the future are subject to change; this is particularly true of meetings to which no numbers have yet been assigned. Programs of the meetings will appear in the issues indicated below. First and second announcements of the meetings will have appeared in earlier issues. ABSTRACTS OF PAPERS presented at a meeting of the Society are published in the journal Abstracts of papers presented to the American Mathematical Society in the issue corresponding to that of the Notices which contains the program of the meet· ing. Abstracts should be submitted on special forms which are available in many departments of mathematics and from the office of the Society in Providence. Abstracts of papers to be presented at the meeting must be received at the headquarters of the Society in Providence, Rhode Island, on or before the deadline given below for the meeting. Note that the deadline for ab· stracts submitted for consideration for presentation at special sessions is usually three weeks earlier than that specified below.
    [Show full text]