Quaternionic Kähler and Hyperkähler Manifolds

Total Page:16

File Type:pdf, Size:1020Kb

Quaternionic Kähler and Hyperkähler Manifolds CHAPTER 12 Quaternionic K¨ahler and Hyperk¨ahler Manifolds In this chapter we will recall some basic results concerning various quaternionic geometries. Our main focus will be on the quaternionic K¨ahler (QK) and the hyeprk¨ahler (HK) manifolds as these two geometries are of special importance in the description and understanding of 3-Sasakian structures, the main topic of our next chapter. It would be impossible here, in a single chapter, to give a complete account of what is currently known about QK and HK spaces. Each case would require a separate monograph. Our goal is to describe some of the properties of such manifolds relevant to the Sasakian Geometry. Quaternionic K¨ahler geometry is traditionally defined by the reduction of the holonomy group Hol(M,g)toa subgroup of Sp(n)Sp(1) ⊂ SO(4n, R). Observe that Sp(1) · Sp(1) SO(4) so any oriented Riemannian 4-manifold has this property. It is generally accepted and, as we shall see later, quite natural, to extend this definition in dimension 4 via an additional curvature condition: an oriented Riemannian manifold (M 4,g) is said to be QK if the metric g is self-dual and Einstein. Interest in QK manifolds and this holonomy definition dates back to the celebrated Berger Theorem [Ber55]. The Lie group Sp(n)Sp(1) appears on the list of possible restricted holonomy groups of an oriented Riemannian manifold (M,g) which is neither locally product nor locally symmetric [Ber55]. In particular, the holonomy reduction implies that QK manifolds are always Einstein, though their geometric nature very much depends on the sign of the scalar curvature. The model example of a QK manifold with positive scalar curvature (positive QK manifold) is that of the quaternionic projective space HPn. The model example of a QK manifold with negative scalar curvature (negative QK manifold) is that of the quaternionic hyperbolic ball HHn. When the scalar curvature vanishes a QK manifold is necessarily locally hyperk¨ahler. In the language of holonomy the hyperk¨ahler manifolds are characterized by the reduction of the holonomy group Hol(M,g) to a subgroup of Sp(n) ⊂ SO(4n, R). Hence, the HK Geometry is a special case of the QK Geometry and, just as in the previous case, we find the Lie group Sp(n) on the Berger’s list. The model example of the HK geometry is that of the quaternionic vector space Hn with the flat metric. The first non-trivial complete examples of HK metrics, as well as the terminology, is due to Calabi [Cal79] who constructed such metrics on M = T ∗CPn. 12.1. Quaternionic Geometry of Hn, HPn and HHn The purpose of this section is to describe quaternionic geometries of some model examples of quaternionic manifolds. We will do it in considerable detail using terms which, in greater generality, will only be defined later. The quaternions H are the associative, non-commutative real algebra 0 1 2 3 a 4 H = {u | u = u + u i1 + u i2 + u i3,u∈ R} R . 307 308 12. QUATERNIONIC KAHLER¨ AND HYPERKAHLER¨ MANIFOLDS The imaginary units are often denoted by {i1,i2,i3} = {i, j, k}. The imaginary 3 quaternions Im(H)=span(i1,i2,i3) R and the multiplication rules are given by the formula 3 (12.1.1) iaib = −δab + abcic, c=1 We define the quaternionic conjugateq ¯ and the norm |u| by 3 3 0 a 2 a 2 u¯ = u − u ia, and |u| = (u ) . a=1 a=0 The non-zero quaternions H \{0} = H∗ = GL(1, H) from a group isomorphic to R+ × Sp(1), where Sp(1) is the subgroup of unit quaternions and the isomorphism is given explicitly by the map u → (|u|,u/|u|). The group of unit quaternions (12.1.2) Sp(1) = {σ ∈ H∗ GL(1, H) | σσ¯ =1}, as a manifold, is just the unit 3-sphere in R4. Furthermore, we have the group isomorphism f : Sp(1) → SU(2) explicitly given by 0 1 2 3 σ + σ i1 σ + σ i1 (12.1.3) f(σ)= 2 3 0 1 . −σ + σ i1 σ − σ i1 It is known that Spin(4) = Sp(1) × Sp(1) and SO(4) Sp(1)Sp(1), where custom- arily Sp(1)Sp(1) denotes the quotient by the diagonal Z2. This is yet another group isomorphism between classical groups which can be explained using the quaternionic 4 geometry of H R . Consider the action of G = Sp(1)+ × Sp(1)− on H given by ¯ (12.1.4) ϕ(σ,λ)(u)=σuλ. We assume the convention that the Sp(1)+ factor acts by the left quaternionic multiplication while the Sp(1)− factor acts from the right. Clearly, the two actions commute and the Z2 subgroup generated by (−1, −1) acts trivially. The quotient acts on R4 preserving the Euclidean metric and orientation. This is the special 4 orthogonal group SO(4). It is worthwhile to write this action on R .TheSp(1)+ part is given by the following group homomorphism A+ : Sp(1) → SO(4): ⎛ ⎞ σ0 −σ1 −σ2 −σ3 ⎜σ1 σ0 −σ3 σ2 ⎟ (12.1.5) A (σ)=⎜ ⎟ = σ01l + σ1I+ + σ2I+ + σ3I+, + ⎝σ2 σ3 σ0 −σ1⎠ 4 1 2 3 σ3 −σ2 σ1 σ0 + + where the matrices Ii = A (ei) (12.1.6)⎛ ⎞ ⎛ ⎞ ⎛ ⎞ 0 −10 0 00−10 00 0 −1 ⎜1000⎟ ⎜00 01⎟ ⎜00−10⎟ I+ = ⎜ ⎟ ,I+ = ⎜ ⎟ ,I+ = ⎜ ⎟ , 1 ⎝000−1⎠ 2 ⎝10 00⎠ 3 ⎝01 0 0⎠ 0010 0 −100 10 0 0 { + + +} R4 give a globally defined hypercomplex structure I1 ,I2 ,I3 on . For a purely + 2 imaginary τ = −τ¯ in Sp(1) one sets I (τ)=A+(τ) and gets the whole S -family of complex structures. We obtain the right hyperk¨ahler structure on H by further ω+ + + + ⊗ setting g0 + := g0 + i1ω1 + i2ω2 + i3ω3 = du du¯, where the multiplication 12.1. QUATERNIONIC GEOMETRY OF Hn, HPn AND HHn 309 in H is used to interpret the left hand side as an H-valued tensor. This gives the standard Euclidean metric g0 and the three symplectic forms + b ∧ c 0 ∧ a (12.1.7) ωa = du du + du du where (a, b, c) is any cyclic permutation of (1, 2, 3). We can also introduce an H- valued differential 2-form 1 (12.1.8) ω+ = i ω+ + i ω+ + i ω+ =Im(du ⊗ du¯)= du ∧ du.¯ 1 1 2 2 3 3 2 The 2-from du ∧ du¯ is purely imaginary as α ∧ β =(−1)pqβ¯ ∧ α¯, where p, q are the respective degrees. The Sp(1)− part is given by A− : Sp(1) → SO(4) with ⎛ ⎞ λ0 λ1 λ2 λ3 ⎜− 1 0 − 3 2 ⎟ ⎜ λ λ λ λ ⎟ 0 1 − 2 − 3 − (12.1.9) A−(λ)= = λ 1l + λ I + λ I + λ I . ⎝−λ2 λ3 λ0 −λ1⎠ 4 1 2 3 −λ3 −λ2 λ1 λ0 − − The matrices Ii = A (ei) (12.1.10)⎛ ⎞ ⎛ ⎞ ⎛ ⎞ 0100 0010 0001 ⎜ ⎟ ⎜ ⎟ ⎜ ⎟ − −100 0 − 0001 − 00−10 I = ⎜ ⎟ ,I= ⎜ ⎟ ,I= ⎜ ⎟ , 1 ⎝ 000−1⎠ 2 ⎝−1000⎠ 3 ⎝ 0100⎠ 0010 0 −100 −1000 { − − −} give a globally defined hypercomplex structure I1 ,I2 ,I3 . Furthermore, with the − Euclidean metric one gets the left hyperk¨ahler structure on H by setting g0 −ω := − − − − − − ⊗ g0 iω1 i2ω2 i3ω3 = du¯ du. This gives 1 (12.1.11) ω− = i ω− + i ω− + i ω− = −Im(du ⊗ du¯)=− du ∧ du,¯ 1 1 2 2 3 3 2 where, as before, we get the three symplectic forms − b ∧ c − 0 ∧ a (12.1.12) ωa = du du du du , for each cyclic permutation of (1, 2, 3). These are clearly fundamental 2-forms { −} associated to the complex structures Ia . Note that by construction, for any (σ, λ) one has [A+(σ),A−(λ)] = 0 and the product A+(σ)A−(λ) ∈ SO(4). In particular, { + + +} { − − −} the two hypercomplex structures I1 ,I2 ,I3 and I1 ,I2 ,I3 commute. The − − hyperk¨ahler structure (g0,Ia ,ωa ) is preserved by Sp(1)+ (hypek¨ahler isometry) 2 while Sp(1)− acts by rotating the complex structures on S . The role of Sp(1)+ and + + Sp(1)− reverses for (g0,Ia ,ωa ). With only little extra effort one can “compactify” this example to see that another Lie group U(2) is a compact manifold with two commuting hypercomplex structures, though U(2) admits no hyperk¨ahler metric. Remark 12.1.1: Consider the group of integers Z acting on H by translations of the real axis. The action preserves both hypercomplex structures and the metric, hence, the quotient H/Z S1 × R3 is also a flat hyperk¨ahler manifold with infinite fundamental group π1 = Z. To indicate the difference, we will write the flat metric 2 0 in this case as g0 = dθ + dx · dx replacing x with the angle coordinate θ. Example 12.1.1: Quaternionic vector spaces. Much of the above discussion Hn { | 0 1 2 3 ∈ H } extends to = u =(u1,...,un) uj = uj +uj i1+uj i2+uj i3 ,j=1,...,n . 310 12. QUATERNIONIC KAHLER¨ AND HYPERKAHLER¨ MANIFOLDS Here and from now on we will choose to work with the left hyperk¨ahler structure on Hn, i.e., with the symplectic 2-forms are given by n (12.1.13) g0 − ω = du¯j ⊗ duj j=1 so that n 3 n a 2 b ∧ c − 0 ∧ a (12.1.14) g0 = (dxj ) ,ωa = dxj dxj dxj dxj j=1 a=0 j=1 for any cyclic permutation (a, b, c)of(1, 2, 3). The corresponding hypercomplex structures is then given by the left multiplication by {¯i1,¯i2,¯i3} = {−i, −j, −k} with the standard basis as in 12.1.10, where 0, 1 are now matrices of size n × n.
Recommended publications
  • A Survey of the Development of Geometry up to 1870
    A Survey of the Development of Geometry up to 1870∗ Eldar Straume Department of mathematical sciences Norwegian University of Science and Technology (NTNU) N-9471 Trondheim, Norway September 4, 2014 Abstract This is an expository treatise on the development of the classical ge- ometries, starting from the origins of Euclidean geometry a few centuries BC up to around 1870. At this time classical differential geometry came to an end, and the Riemannian geometric approach started to be developed. Moreover, the discovery of non-Euclidean geometry, about 40 years earlier, had just been demonstrated to be a ”true” geometry on the same footing as Euclidean geometry. These were radically new ideas, but henceforth the importance of the topic became gradually realized. As a consequence, the conventional attitude to the basic geometric questions, including the possible geometric structure of the physical space, was challenged, and foundational problems became an important issue during the following decades. Such a basic understanding of the status of geometry around 1870 enables one to study the geometric works of Sophus Lie and Felix Klein at the beginning of their career in the appropriate historical perspective. arXiv:1409.1140v1 [math.HO] 3 Sep 2014 Contents 1 Euclideangeometry,thesourceofallgeometries 3 1.1 Earlygeometryandtheroleoftherealnumbers . 4 1.1.1 Geometric algebra, constructivism, and the real numbers 7 1.1.2 Thedownfalloftheancientgeometry . 8 ∗This monograph was written up in 2008-2009, as a preparation to the further study of the early geometrical works of Sophus Lie and Felix Klein at the beginning of their career around 1870. The author apologizes for possible historiographic shortcomings, errors, and perhaps lack of updated information on certain topics from the history of mathematics.
    [Show full text]
  • Symmetry and Mathematics
    A Conceptual History of Space and Symmetry Pietro Giuseppe Fré A Conceptual History of Space and Symmetry From Plato to the Superworld 123 Pietro Giuseppe Fré University of Torino Turin, Italy ISBN 978-3-319-98022-5 ISBN 978-3-319-98023-2 (eBook) https://doi.org/10.1007/978-3-319-98023-2 Library of Congress Control Number: 2018950942 © Springer Nature Switzerland AG 2018 This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed. The use of general descriptive names, registered names, trademarks, service marks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. The publisher, the authors and the editors are safe to assume that the advice and information in this book are believed to be true and accurate at the date of publication. Neither the publisher nor the authors or the editors give a warranty, express or implied, with respect to the material contained herein or for any errors or omissions that may have been made. The publisher remains neutral with regard to jurisdictional claims in published maps and institutional affiliations. This Springer imprint is published by the registered company Springer Nature Switzerland AG The registered company address is: Gewerbestrasse 11, 6330 Cham, Switzerland This book is dedicated to my family, namely to my beloved daughter Laura, to my darling wife Olga, to my young son Vladimir and to my former wife Tiziana, Laura’s mother, with whom, notwithstanding our divorce, the ties due to a common daughter and to more than twenty five years spent together remain strong.
    [Show full text]
  • Mathematisches Forschungsinstitut Oberwolfach the History Of
    Mathematisches Forschungsinstitut Oberwolfach Report No. 51/2004 The History of Differential Equations, 1670–1950 Organised by Thomas Archibald (Wolfville) Craig Fraser (Toronto) Ivor Grattan-Guinness (Middlesex) October 31st – November 6th, 2004 Mathematics Subject Classification (2000): 01A45, 01A50, 01A55, 01A60, 34-03, 35-03. Introduction by the Organisers Differential equations have been a major branch of pure and applied mathematics since their inauguration in the mid 17th century. While their history has been well studied, it remains a vital field of on-going investigation, with the emergence of new connections with other parts of mathematics, fertile interplay with applied subjects, interesting reformulation of basic problems and theory in various periods, new vistas in the 20th century, and so on. In this meeting we considered some of the principal parts of this story, from the launch with Newton and Leibniz up to around 1950. ‘Differential equations’ began with Leibniz, the Bernoulli brothers and others from the 1680s, not long after Newton’s ‘fluxional equations’ in the 1670s. Appli- cations were made largely to geometry and mechanics; isoperimetrical problems were exercises in optimisation. Most 18th-century developments consolidated the Leibnizian tradition, extend- ing its multi-variate form, thus leading to partial differential equations. General- isation of isoperimetrical problems led to the calculus of variations. New figures appeared, especially Euler, Daniel Bernoulli, Lagrange and Laplace. Development of the general theory of solutions included singular ones, functional solutions and those by infinite series. Many applications were made to mechanics, especially to astronomy and continuous media. In the 19th century: general theory was enriched by development of the un- derstanding of general and particular solutions, and of existence theorems.
    [Show full text]
  • LIE, MARIUS SOPHUS (B
    ndsbv4_L 9/25/07 1:15 PM Page 307 Licklider Lie Technical Documents.” American Documentation 17 (1966): reliable history book on IPTO based on the historical 186–189. documents of the agency that include normally inaccessible With Robert W. Taylor and Evan Herbert. “Computer as a records. Communication Device.” Science & Technology 76 (1968): O’Neill, Judy E. “The Role of ARPA in the Development of the 21–31. ARPANET, 1961–1972.” IEEE Annals of the History of With A. Vezza. “Applications of Information Technology.” Computing 17, no. 4 (1995): 76–81. Proceedings of the IEEE 66 (1978): 1330–1346. Waldrop, M. Mitchell. The Dream Machine: J. C. R. Licklider and the Revolution That Made Computing Personal. New York: OTHER SOURCES Viking, 2001. Biographical history book for general readers Aspray, William, and Arthur L. Norberg. “J. C. R. Licklider.” based on documents and interviews. Author’s interviews with OH 150. 28 October 1988, Cambridge, MA; Charles Louise Licklider and others result in a lively description of Babbage Institute, University of Minnesota, Minneapolis. A Licklider’s personality. scholarly oral history record. “Bolt Beranek and Newman: The First 40 Years.” Special issues, Chigusa Ishikawa Kita IEEE Annals of the History of Computing 27, no. 2 (2005); 28, no. 1 (2006). Some of these papers refer to Licklider’s contribution in the establishment of BBN’s role in the history of computing and networking: Leo Beranek, “BBN’s Earliest Days: Founding a Culture of Engineering Creativity” LIE, MARIUS SOPHUS (b. Nordfjordeide, (27, no. 2: 6–14); John A. Swets, “ABC’s of BBN: From Norway, 17 December 1842; d.
    [Show full text]
  • View This Volume's Front and Back Matter
    Titles in This Series Volume 8 Kare n Hunger Parshall and David £. Rowe The emergenc e o f th e America n mathematica l researc h community , 1876-1900: J . J. Sylvester, Felix Klein, and E. H. Moore 1994 7 Hen k J. M. Bos Lectures in the history of mathematic s 1993 6 Smilk a Zdravkovska and Peter L. Duren, Editors Golden years of Moscow mathematic s 1993 5 Georg e W. Mackey The scop e an d histor y o f commutativ e an d noncommutativ e harmoni c analysis 1992 4 Charle s W. McArthur Operations analysis in the U.S. Army Eighth Air Force in World War II 1990 3 Pete r L. Duren, editor, et al. A century of mathematics in America, part III 1989 2 Pete r L. Duren, editor, et al. A century of mathematics in America, part II 1989 1 Pete r L. Duren, editor, et al. A century of mathematics in America, part I 1988 This page intentionally left blank https://doi.org/10.1090/hmath/008 History of Mathematics Volume 8 The Emergence o f the American Mathematical Research Community, 1876-1900: J . J. Sylvester, Felix Klein, and E. H. Moor e Karen Hunger Parshall David E. Rowe American Mathematical Societ y London Mathematical Societ y 1991 Mathematics Subject Classification. Primary 01A55 , 01A72, 01A73; Secondary 01A60 , 01A74, 01A80. Photographs o n th e cove r ar e (clockwis e fro m right ) th e Gottinge n Mathematisch e Ges - selschafft, Feli x Klein, J. J. Sylvester, and E. H. Moore.
    [Show full text]
  • Sophus Lie: a Real Giant in Mathematics by Lizhen Ji*
    Sophus Lie: A Real Giant in Mathematics by Lizhen Ji* Abstract. This article presents a brief introduction other. If we treat discrete or finite groups as spe- to the life and work of Sophus Lie, in particular cial (or degenerate, zero-dimensional) Lie groups, his early fruitful interaction and later conflict with then almost every subject in mathematics uses Lie Felix Klein in connection with the Erlangen program, groups. As H. Poincaré told Lie [25] in October 1882, his productive writing collaboration with Friedrich “all of mathematics is a matter of groups.” It is Engel, and the publication and editing of his collected clear that the importance of groups comes from works. their actions. For a list of topics of group actions, see [17]. Lie theory was the creation of Sophus Lie, and Lie Contents is most famous for it. But Lie’s work is broader than this. What else did Lie achieve besides his work in the 1 Introduction ..................... 66 Lie theory? This might not be so well known. The dif- 2 Some General Comments on Lie and His Impact 67 ferential geometer S. S. Chern wrote in 1992 that “Lie 3 A Glimpse of Lie’s Early Academic Life .... 68 was a great mathematician even without Lie groups” 4 A Mature Lie and His Collaboration with Engel 69 [7]. What did and can Chern mean? We will attempt 5 Lie’s Breakdown and a Final Major Result . 71 to give a summary of some major contributions of 6 An Overview of Lie’s Major Works ....... 72 Lie in §6.
    [Show full text]
  • Une Histoire De L'universalité Des Matrices Mathématiques
    Une histoire de l’universalité des matrices mathématiques. Frederic Brechenmacher To cite this version: Frederic Brechenmacher. Une histoire de l’universalité des matrices mathématiques.. 2008. hal- 00339082v1 HAL Id: hal-00339082 https://hal.archives-ouvertes.fr/hal-00339082v1 Preprint submitted on 16 Nov 2008 (v1), last revised 1 Nov 2011 (v3) 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. Une histoire de l’universalité des matrices mathématiques. F. Brechenmacher, prépublication, version du 16/11/2008. Une histoire de l’universalité des matrices mathématiques. Frédéric Brechenmacher (1). Résumé. Cette enquête s’appuie sur des méthodes quantitatives afin de dégager un corpus et une période de référence (1920‐1938) à partir desquels seront mis en œuvre des jeux d’échelles entre local et global, temps court et temps long (1850‐1938). La « théorie des matrices » des années trente manifeste une dynamique d’universalité qui se nourrit de phénomènes multiples et peut s’analyser en termes de passages au global de pratiques locales. Avant qu’un cadre disciplinaire, comme celui de l’algèbre linéaire, permette d’envisager des structures sous tendant les pratiques algébriques, les identités de telles pratiques ne portent le plus souvent pas de significations théoriques mais manifestent des aspects culturels propres à des réseaux dont les identités sont complexes.
    [Show full text]
  • The Equivalence Problem and Signatures of Algebraic Curves
    ABSTRACT RUDDY, MICHAEL GERARD. The Equivalence Problem and Signatures of Algebraic Curves. (Under the direction of Irina Kogan and Cynthia Vinzant). In this thesis we study the application of the differential signature construction to the group equivalence problem for complex algebraic curves under the projective action and its subgroups. Given such an action G, a signature map assigns to a generic algebraic curve an irreducible polynomial, called the signature polynomial, with the property that two curves are G-equivalent if and only if they have the same, up to scaling, signature polynomial. We show that for any action of G, one can construct a pair of rational differential invariants, called classifying invariants, that define a signature map. Given a pair of classifying invariants, elimination algorithms allow one to straightforwardly compute a curve's signature polynomial. In practice, however, these algorithms are computationally intensive, and determination of properties of signature polynomials without their explicit computation is of interest. We derive a formula for the degree of the signature polynomial of a curve in terms of the curve's degree, the size of its symmetry group, and some quantities depending on the choice of classifying invariants. We show that for a given set of classifying invariants and a generic curve of fixed degree, the signature polynomials share the same degree, which is an upper bound. We also show that they share the same monomial support and the same genus. For the projective group and five of its subgroups (the affine, special affine, similarity, Euclidean, and special Euclidean groups), we give sets of classifying invariants and use the degree formula to derive the degree of the signature polynomial for a generic curve as a quadratic function of the curve's degree.
    [Show full text]
  • Lucjan Emil Böttcher (1872‒1937) ‒ the Polish Pioneer of Holomorphic Dynamics
    TECHNICAL TRANSACTIONS CZASOPISMO TECHNICZNE FUNDAMENTAL SCIENCES NAUKI PODSTAWOWE 1-NP/2014 MAŁGORZATA STAWISKA* LUCJAN EMIL BÖTTCHER (1872‒1937) ‒ THE POLISH PIONEER OF HOLOMORPHIC DYNAMICS LUCJAN EMIL BÖTTCHER (1872‒1937) ‒ POLSKI PIONIER DYNAMIKI HOLOMORFICZNEJ Abstract In this article I present Lucjan Emil Böttcher (1872‒1937), a little-known Polish mathematician active in Lwów. I outline his scholarly path and describe briefly his mathematical achievements. In view of later developments in holomorphic dynamics, I argue that, despite some flaws in his work, Böttcher should be regarded not only as a contributor to the area but in fact as one of its founders. Keywords: mathematics of the 19th and 20th century, holomorphic dynamics, iterations of rational functions Streszczenie W artykule tym przedstawiam Lucjana Emila Böttchera (1872‒1937), mało znanego matema- tyka polskiego działającego we Lwowie. Szkicuję jego drogę naukową oraz opisuję pokrótce jego osiągnięcia matematyczne. W świetle późniejszego rozwoju dynamiki holomorficznej do- wodzę, że mimo pewnych wad jego prac należy nie tylko docenić wkład Böttchera w tę dzie- dzinę, ale w istocie zaliczyć go do jej twórców. Słowa kluczowe: matematyka XIX i XX wieku, dynamika holomorficzna, iteracje funkcji wymiernych * Małgorzata Stawiska, Mathematical Reviews, 416 Fourth St., Ann Arbor, MI 48103, USA, email: [email protected]. 234 1. Introduction Holomorphic dynamics – in particular the study of iteration of rational maps on the Riemann sphere – is an active area of current mathematical
    [Show full text]
  • GOLDEN OLDIE 18 on the Three-Dimensional Spaces Which
    GOLDEN OLDIE 18 On the three-dimensional spaces which admit a continuous group of motions Luigi Bianchi Memorie di Matematica e di Fisica della Societa Italiana delle Scienze, Serie Terza, Tomo XI, pp. 267–352 (1898). EDITOR’S NOTE This article methodically studies (locally) the symmetry and isometry classes of all 3-dimensional Riemannian manifolds. For each of the possible orbit dimensions 1 and 2 (intransitive actions) and 3 (transitive actions) and for each possible symmetry class of group actions, explicit canonical coordinate expressions are derived for the full Killing vector Lie algebra and the metric by solving the Killing equations. A representative line element is then given parametrizing the isometry classes of a given symmetry type modulo constant conformal transformations, and specializations which admit higher symmetry are studied. For the case of simply transitive 3-dimensional isometry groups, this classification of metrics by symmetry class coincides with the classification into nine isomorphism classes of the isometry groups themselves (Bianchi types I – IX), now known together as the Bianchi classification. This article followed soon after Lie’s classification over the complex numbers of all Lie algebras up to dimension 6 and Killing’s discovery of his famous Killing equations at the end of the nineteenth century. All of Bianchi’s work was well known by the mathematician Luther P. Eisenhart (1876–1965), a professor, chair, dean and important educator in the Princeton University Mathematics Department from 1900 to 1945 [1], who served as a principal source of English language discussion of much of the early work in Riemannian geometry and Lie group theory through his two books Riemannian Geometry (1925) [2] and Continuous Groups of Transformations (1933) [3], which contain numerous references to Bianchi’s work.
    [Show full text]
  • Idempotenten in Groepringen
    FACULTEIT WETENSCHAPPEN EN BIO-INGENIEURSWETENSCHAPPEN DEPARTEMENT WISKUNDE Idempotenten in Groepringen Proefschrift ingediend met het oog op het behalen van de graad van Master in de Wiskunde Inneke Van Gelder Promotor: Prof. Dr. Eric Jespers MEI 2010 FACULTY OF SCIENCE AND BIO-ENGINEERING SCIENCES DEPARTMENT OF MATHEMATICS Idempotents in Group Rings Graduation thesis submitted in partial fulfillment of the requirements for the degree of Master in Mathematics Inneke Van Gelder Promotor: Prof. Dr. Eric Jespers MAY 2010 Voorwoord De lente van 2005, nu exact vijf jaar geleden, een studiekeuze maken bleek plots een niet al te makkelijke opgave. Hoewel een vijf jaar durende studie eerst vreselijk lang leek, weet ik nu dat ik destijds de juiste keuze heb gemaakt. De afgelopen vijf jaren zijn immers voorbij gevlogen en een diploma komt nu duidelijk in zicht. 'Afstuderen' is vaak een synoniem voor 'thesis schrijven': D´eThesis. Een zware taak die ik vol spanning, maar toch ook met de nodige vrees, tegemoet ging. Die vrees was echter nergens voor nodig. Ik houd er een zeer leuke en leerrijke ervaring aan over. Alleen daarom al kan ik voor mezelf stellen dat ik tevreden ben met het resultaat. Nooit had ik gedacht zoveel te kunnen bereiken op enkele maanden tijd. Graag wil ik in het bijzonder mijn promotor bedanken. Eric Jespers, bedankt voor de goede begeleiding, motivatie en de vrijheid die je me gaf. Tevens bedankt dat je me de kans gaf gedurende een volledige week een conferentie bij te wonen. I would like to thank Angel´ del R´ıo.Thank you for your patient explanations, for your interesting lectures and talks and for the everlasting enthousiasm.
    [Show full text]
  • And the Shadow of Camille Jordan)
    Revue d’histoire des mathématiques 17 (2011), p. 273–371 SELF-PORTRAITS WITH EÂVARISTE GALOIS (AND THE SHADOW OF CAMILLE JORDAN) FreÂdeÂric Brechenmacher Abstract. — This paper investigates the collections of 19th century texts in which Evariste Galois’s works were referred to in connection to those of Camille Jordan. Before the 1890s, when object-oriented disciplines developed, most of the papers referring to Galois have underlying them three main networks of texts. These groups of texts were revolving around the works of individuals: Kronecker, Klein, and Dickson. Even though they were mainly active for short periods of no more than a decade, the three networks were based in turn on specific references to the works of Galois that occurred in the course of the Texte reçu le 15 février 2011, accepté le 15 mars 2011. F. Brechenmacher, Univ. Lille Nord de France, 59000 Lille (France), U. Artois, Laboratoire de mathématiques de Lens (EA 2462), rue Jean Souvraz S.P. 18, 62300 Lens (France). Courrier électronique : [email protected] 2000 Mathematics Subject Classification : 01A55, 01A85. Key words and phrases : Galois, Jordan, Hermite, Kronecker, Klein, Dickson, Moore, Traité des substitutions, networks of texts, history of algebra, history of number theory, linear groups, cyclotomy, substitutions, group theory, equations, finite fields, Galois fields. Mots clefs. — Galois, Jordan, Hermite, Kronecker, Klein, Dickson, Moore, Traité des substitutions, réseaux de textes, histoire de l’algèbre, histoire de la théorie des nombres, groups linéaires, cyclotomie, substitutions, théorie des groupes, equations, corps finis. Ce travail a bénéficié d’une aide de l’Agence Nationale de la Recherche: ANR CaaFÉ (ANR-10-JCJC 0101).
    [Show full text]