Mathematics Discovered, Invented, and Inherited
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Arado Ar 234 "Blitz" in Soviet Service Armstrong Whitworth "Albemarle" In
This production list is presented to you by the editorial team of "Soviet Transports" - current to the beginning of January 2021. Additions and corrections are welcome at [email protected] Arado Ar 234 "Blitz" in Soviet service Soviet troops captured one example of the world's first jet bomber in northern Germany in spring 1945 (Russian sources state that it was found at Pütnitz in March, but Pütnitz was occupied by the Red Army only on 2 May). The aircraft underwent short trials at Rechlin in early 1946, but suffered from repeated engine problems. As the Soviet specialists involved in the trials were not impressed by the "Blitz" they refrained from sending it to the Soviet Union. It is probable that further Ar 234s (especially of the Ar 234C-3 version) fell into Soviet hands when the Red Army captured the Arado factory at Alt-Lönnewitz (Brandenburg) on 24 April 1945. One Russian source states that one Ar 234B and one Ar 234C were despatched to the Soviet Union where they underwent comprehensive study - in particular, one of the aircraft was thoroughly examined by BNT, the Bureau of New Technology. One of the captured Ar 234s was restored to airworthy condition in 1946 and used by the LII for testing brake parachutes. 140355 no code Ar 234B-2 Soviet Air Force f/f 30nov44 previously opb KG 76 of the German Air Force; in dark green/brown purple camo c/s with light grey undersides, the last letter of the unit code may have been an 'F'; captured by Soviet troops in damaged condition (after a forced landing) reportedly at Pütnitz mar45, but -
Model Theory, Stability Theory, and the Free Group
Model theory, stability theory, and the free group Anand Pillay Lecture notes for the workshop on Geometric Group Theory and Logic at the University of Illinois at Chicago, August 2011 1 Overview Overview • I will take as a definition of model theory the study (classification?) of first order theories T . • A \characteristic" invariant of a first order theory T is its category Def(T ) of definable sets. Another invariant is the category Mod(T ) of models of T . • Often Def(T ) is a familiar category in mathematics. For example when T = ACF0, Def(T ) is essentially the category of complex algebraic vari- eties defined over Q. • Among first order theories the \perfect" ones are the stable theories. • Stability theory provides a number of tools, notions, concepts, for under- standing the category Def(T ) for a stable theory T . • Among stable theories are the theory of algebraically closed fields, the theory of differentially closed fields, as well as the theory of abelian groups (in the group language). • An ingenious method, \Hrushovski constructions", originally developed to yield counterexamples to a conjecture of Zilber, produces new stable theories with surprising properties. • However, modulo the work of Sela, nature has provided us with another complex and fascinating stable first order theory, the theory Tfg of the noncommutative free group. • One can argue that the true \algebraic geometry over the free group" should be the study of Def(Tfg). 1 • Some references are given at the end of the notes. The references (1), (2) include all the material covered in the first section of these notes (and much more). -
Mystery of the Third Trip Or Time Pressure Levanevskogo
Mystery of the Third trip or time pressure Levanevskogo The author-composer: Kostarev Evgeny . 2007/2008 Part 1. Start "Flying high above, and the farthest the fastest! " Battle cry of the Soviet government. Shortcut In autumn 1934 the Hero of the Soviet Union, the polar marine pilot Sigismund Alexandrovich Levanevskogo enticed by the idea Flight. He was the first in the Soviet Union, who suggested the idea of non-stop flight across the North Pole. The starting point of the route was Moscow; fit to accomplish the same in the U.S. The Soviet government in this project was received with great interest and supported the idea of non-stop transpolar flight. Of course! From Moscow to San Francisco can be reached in three ways - through the pole across the Atlantic or the Pacific Ocean. In this case, the distance will be 9,605 km, 14,000 km and 18,000 respectively. Sigismund Levanevsky Zygmunt A. Levanevsky - a very controversial figure in the history of Soviet aviation. He was born in 1902 in St. Petersburg. Levanevskogo father, a Polish worker, died when he was only 8 years old. In 1916, after graduating from three classes of the district school, Sigismund gave up teaching and went to work in a factory the company "Spring" in order to feed his family. Revolution scattered Levanevskogo the world - Sigismund in 1919, joined the Red Army, and his family moved from Petrograd. During the Civil War Levanevsky managed to get a fighter requisition, party members, eliminate gangs in Dagestan, and assistant warden 4th aeronautic squad in Petrograd. -
Stable Groups and Algebraic Groups
Stable groups and algebraic groups Piotr Kowalski October 18, 1999 Abstract We show that a certain property of some type-definable subgroups of superstable groups with finite U-rank is closely related to the Mordell- Lang conjecture. We discuss this property in the context of algebraic groups. Let G be a stable, saturated group and p a strong type (over ∅) of an element of G. We denote by hpi the smallest type-definable (over acl(∅)) subgroup of G containing pG (= the set of all realizations of p in G). The following question arises: how to construct generic types of hpi? By Newelski’s the- orem ([Ne]) all generic types of hpi are limits of sequences of powers of p, where power is taken in the sense of independent product of strong types. Recall that if p, q are strong types of elements of G, then the independent product p ∗ q of p, q is defined as st(a · b), where a |= p, b |= q and a⌣| b, also p−1 = st(a−1), pn = p ∗ ... ∗ p (n times). But which sequences of powers converge to generic types? It is natural to conjecture that every convergent n subsequence of the sequence (p )n<ω converges to a generic type of hpi. We call this statement the 1-step conjecture. Hrushovski gave a counterexample of Morley rank ω to the 1-step conjecture, but the following statement is true. Double step theorem ([Ne]) Suppose q is a limit of subsequence of (pn) and r is a limit of subsequence of (qn). Then r is a generic type of hpi. -
Breaking Ice for Arctic Oil: the Epic Voyage of the SS Manhattan
366 • REVIEWS SHIPWRECK AT CAPE FLORA: THE EXPEDITIONS initially in the chartered Anna Louise in 1859 and from OF BENJAMIN LEIGH SMITH, ENGLAND’S 1869 until 1871 in his specially built vessel, Diana. It was FORGOTTEN ARCTIC EXPLORER. By P.J. undoubtedly the press coverage of Lamont’s voyages, plus CAPELOTTI. Calgary, Alberta: University of Calgary his books, that decided Leigh Smith to head for the Arctic Press and the Arctic Institute of North America, 2013. himself. In the interim, he had obtained his master’s ticket ISBN 978-1-55238-705-4. Northern Lights Series No. so that he could command his own vessels. In the spring of 16. xxx + 269 p., maps, b&w illus., notes, appendices, 1871, he bought the topsail schooner Sampson and headed selected bibliography, index. Softbound. Cdn$39.95; north in her, bound for Svalbard, with a Norwegian crew. US$41.95. Also available at www.uofcpress.com as an Leigh Smith’s primary interests were scientific, in con- open access ebook. trast to those of Dufferin and Lamont. As Sampson sailed north, Leigh Smith established several oceanographic sta- Benjamin Leigh Smith (1828 – 1913) was in many ways tions, recording water temperatures at various depths and unique among 19th century Arctic explorers. He was a collecting seabed samples. He was among the first, if not member of a Nonconformist or Dissenting family, which the very first, to identify a layer of relatively warm water meant that, not being members of the Church of England, beneath a colder surface layer, the warmer water represent- they could not hold government office or serve in the army, ing the northernmost branches of the Gulf Stream, or more or take a degree from Oxford. -
Stable Groups, 2001 86 Stanley N
http://dx.doi.org/10.1090/surv/087 Selected Titles in This Series 87 Bruno Poizat, Stable groups, 2001 86 Stanley N. Burris, Number theoretic density and logical limit laws, 2001 85 V. A. Kozlov, V. G. Maz'ya, and J. Rossmann, Spectral problems associated with corner singularities of solutions to elliptic equations, 2001 84 Laszlo Fuchs and Luigi Salce, Modules over non-Noetherian domains, 2001 83 Sigurdur Helgason, Groups and geometric analysis: Integral geometry, invariant differential operators, and spherical functions, 2000 82 Goro Shimura, Arithmeticity in the theory of automorphic forms, 2000 81 Michael E. Taylor, Tools for PDE: Pseudodifferential operators, paradifferential operators, and layer potentials, 2000 80 Lindsay N. Childs, Taming wild extensions: Hopf algebras and local Galois module theory, 2000 79 Joseph A. Cima and William T. Ross, The backward shift on the Hardy space, 2000 78 Boris A. Kupershmidt, KP or mKP: Noncommutative mathematics of Lagrangian, Hamiltonian, and integrable systems, 2000 77 Pumio Hiai and Denes Petz, The semicircle law, free random variables and entropy, 2000 76 Frederick P. Gardiner and Nikola Lakic, Quasiconformal Teichmuller theory, 2000 75 Greg Hjorth, Classification and orbit equivalence relations, 2000 74 Daniel W. Stroock, An introduction to the analysis of paths on a Riemannian manifold, 2000 73 John Locker, Spectral theory of non-self-adjoint two-point differential operators, 2000 72 Gerald Teschl, Jacobi operators and completely integrable nonlinear lattices, 1999 71 Lajos Pukanszky, Characters of connected Lie groups, 1999 70 Carmen Chicone and Yuri Latushkin, Evolution semigroups in dynamical systems and differential equations, 1999 69 C. T. C. Wall (A. -
Local Rigidity of Group Actions: Past, Present, Future
Recent Progress in Dynamics MSRI Publications Volume 54, 2007 Local rigidity of group actions: past, present, future DAVID FISHER To Anatole Katok on the occasion of his 60th birthday. ABSTRACT. This survey aims to cover the motivation for and history of the study of local rigidity of group actions. There is a particularly detailed dis- cussion of recent results, including outlines of some proofs. The article ends with a large number of conjectures and open questions and aims to point to interesting directions for future research. 1. Prologue Let be a finitely generated group, D a topological group, and D a W ! homomorphism. We wish to study the space of deformations or perturbations of . Certain trivial perturbations are always possible as soon as D is not discrete, namely we can take dd 1 where d is a small element of D. This motivates the following definition: DEFINITION 1.1. Given a homomorphism D, we say is locally rigid 0 W ! if any other homomorphism which is close to is conjugate to by a small element of D. We topologize Hom.; D/ with the compact open topology which means that two homomorphisms are close if and only if they are close on a generating set for . If D is path connected, then we can define deformation rigidity instead, meaning that any continuous path of representations t starting at is conjugate to the trivial path t by a continuous path dt in D with d0 being D Author partially supported by NSF grant DMS-0226121 and a PSC-CUNY grant. 45 46 DAVID FISHER the identity in D. -
Chronology of the Key Historical Events on the Eastern Seas of the Russian Arctic (The Laptev Sea, the East Siberian Sea, the Chukchi Sea)
Chronology of the Key Historical Events on the Eastern Seas of the Russian Arctic (the Laptev Sea, the East Siberian Sea, the Chukchi Sea) Seventeenth century 1629 At the Yenisei Voivodes’ House “The Inventory of the Lena, the Great River” was compiled and it reads that “the Lena River flows into the sea with its mouth.” 1633 The armed forces of Yenisei Cossacks, headed by Postnik, Ivanov, Gubar, and M. Stadukhin, arrived at the lower reaches of the Lena River. The Tobolsk Cossack, Ivan Rebrov, was the first to reach the mouth of Lena, departing from Yakutsk. He discovered the Olenekskiy Zaliv. 1638 The first Russian march toward the Pacific Ocean from the upper reaches of the Aldan River with the departure from the Butalskiy stockade fort was headed by Ivan Yuriev Moskvitin, a Cossack from Tomsk. Ivan Rebrov discovered the Yana Bay. He Departed from the Yana River, reached the Indigirka River by sea, and built two stockade forts there. 1641 The Cossack foreman, Mikhail Stadukhin, was sent to the Kolyma River. 1642 The Krasnoyarsk Cossack, Ivan Erastov, went down the Indigirka River up to its mouth and by sea reached the mouth of the Alazeya River, being the first one at this river and the first one to deliver the information about the Chukchi. 1643 Cossacks F. Chukichev, T. Alekseev, I. Erastov, and others accomplished the sea crossing from the mouth of the Alazeya River to the Lena. M. Stadukhin and D. Yarila (Zyryan) arrived at the Kolyma River and founded the Nizhnekolymskiy stockade fort on its bank. -
Chertok Front Matter
Chertok ch1 12/21/04 11:27 AM Page 1 Chapter 1 Introduction: A Debt to My Generation On 1 March 2002, I turned ninety. On that occasion, many people not only congratulated me and wished me health and prosperity, but also insisted that I continue my literary work on the history of rocket-space science and technology.1 I was eighty years old when I had the audacity to think that I possessed not only waning engineering capabilities, but also literary skills sufficient to tell about “the times and about myself.” I began to work in this field in the hope that Fate’s goodwill would allow my idea to be realized. Due to my literary inexperience, I assumed that memoirs on the establishment and development of aviation and, subsequently, rocket-space technology and the people who created it could be limited to a single book of no more than five hundred pages. However, it turns out that when one is producing a literary work aspiring to historical authenticity,one’s plans for the size and the deadlines fall through, just as rocket-space systems aspiring to the highest degree of reliability exceed their budgets and fail to meet their deadlines. And the expenses grow, proportional to the failure to meet deadlines and the increase in reliability. Instead of the original idea of a single book, my memoirs and musings took up four volumes, and together with the publishing house I spent six years instead of the planned two! Only the fact that the literary work was a success, which neither the publishing house nor I expected, validated it. -
Stable Theories and Definable Groups Haydar Göral
Tame Expansions of !-Stable Theories and Definable Groups Haydar Göral To cite this version: Haydar Göral. Tame Expansions of !-Stable Theories and Definable Groups. 2017. hal-01196998v2 HAL Id: hal-01196998 https://hal.archives-ouvertes.fr/hal-01196998v2 Preprint submitted on 22 Oct 2017 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. TAME EXPANSIONS OF !-STABLE THEORIES AND DEFINABLE GROUPS HAYDAR GORAL¨ Abstract. We study groups definable in tame expansions of !-stable theories. Assuming several tameness conditions, we obtain structural theorems for groups definable and groups interpretable in these expansions. As our main example, by characterizing independence in the pair (K; G) where K is an algebraically closed field and G is a multiplicative subgroup of K× with the Mann property, we show the pair (K; G) satisfies the assumptions. In particular, this provides a characterization of definable and interpretable groups in (K; G) in terms of algebraic groups in K and interpretable groups in G. Furthermore, Morley rank and U-rank are computed in (K; G) and both ranks agree. 1. Introduction The model theory of pairs has been studied extensively for some time and attracted consid- erable attention. -
MODEL THEORY, STABILITY THEORY & STABLE GROUPS Anand Pillay* the Aim of This Chapter Is to Introduce the Reader to the Theor
MODEL THEORY, STABILITY THEORY & STABLE GROUPS Anand Pillay* The aim of this chapter is to introduce the reader to the theory of stable groups not to give a rigorous exposition of the general theory. Thus we tend to proceed from the concrete to the abstract, with several examples and analyses of special cases along the way. On the other hand, getting to grips with stable groups presupposes some understanding of the point of view of model theory in general and stability theory in particular, and the first few sections are devoted to the latter. 1. MODEL THEORY By a relational structure M we understand a set M (called the universe or underlying set of M) equipped with relations Rj of arity ni < co say, for ni lei. Namely, for i e I, R± is a subset of the Cartesian product M . Here I and <ni : i G I> depend on M and are called the signature of M. We also insist that I always contains a distinguished element i= such that Ri- is the diagonal {(a,a) : ae M} c, M2. Often the distinction between M and M is blurred. The model theorist is interested in certain subsets of M and of Mn (the definable sets) which are obtained in a simple fashion from the RI. So J9(M) is a collection of subsets of Mn, n< co, which can be characterized as follows: (i) Every RIE J9(M). (ii) If n < co, Xe J9(M) is a subset of Mn and n is a permutation of {l,...,n} then 7c(X) = {(a^i) .....a^n)) : (ai,...,an) e X} e £)(M). -
Definably Simple Stable Groups with Finitary Groups of Automorphisms
Definably simple stable groups with finitary groups of automorphisms Ulla Karhum¨aki School of Mathematics, University of Manchester, UK [email protected] March 29, 2019 Abstract We prove that infinite definably simple locally finite groups of finite centraliser dimension are simple groups of Lie type over locally finite fields. Then, we identify conditions on automorphisms of a stable group that make it resemble the Frobenius maps, and allow us to classify definably simple stable groups in the specific case when they admit such automor- phisms. 1 Introduction This paper combines two different trains of investigations; on the one hand we continue the work on locally finite groups following Thomas [28] and on the other hand we classify definably simple stable groups which admit groups of (non-definable) automorphisms which resemble Frobenius maps, and, in partic- ular, have finite groups of fixed points. We call such groups finitary groups of automorphisms; the definitions are given in Sections 2 and 4. We start with generalising the classical result by Thomas [28] about infi- nite simple locally finite groups of finite centraliser dimension. We prove the following: Theorem 1. An infinite definably simple locally finite group of finite centraliser dimension is a simple group of Lie type over a locally finite field. arXiv:1801.00576v5 [math.LO] 28 Mar 2019 Proof of Theorem 1 uses the Classification of Finite Simple Groups (CFSG). Then we study definably simple stable groups which admit a finitary group of automorphisms. Theorem 2. Every infinite definably simple stable group admitting a finitary group of automorphisms is a Chevalley group over an algebraically closed field of positive characteristic.