DOCSLIB.ORG

Dimensional Analysis, Scaling, Group Theory

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Dimensional Analysis, Scaling, Group Theory Group Theory Robert Gilmore Physics Department, Drexel University, Philadelphia, Pennsylvania 19104, USA (Dated: October 3, 2012) Printed from:Wiley-Mathematical/GroupChapter/group.tex on October 3, 2012 I. INTRODUCTION in Physics. As a latest tour de force in the develop- ment of Physics, they play a central roll in the creation Symmetry has sung its siren song to Physicists since of Gauge Theories, which describe the interactions be- the beginning of time, or at least since before there were tween Fermions and the Bosons that are responsible for Physicists. Today the ideas of symmetry are incorpo- the interactions among the Fermions, and which lies at rated into a subject with the less imaginative and sug- the heart of the Standard Model. We provide the sim- gestive name of Group Theory. This Chapter introduces plest example of a gauge theory, based on the simplest many of the ideas of group theory that are important in compact one parameter Lie group U(1), in Sec. VIII. the natural sciences. For an encore, in Sec. IX we show how the theory of Natural philosophers in the past have come up with the special functions of mathematical physics (Legendre many imaginative arguments for estimating physical and associated Legendre functions, Laguerre and associ- quantities. They have often used out-of-the-box methods ated Laguerre functions, Gegenbauer, Chebyshev, Her- that were proprietary to pull rabbits out of hats. When mite, Bessel functions, and others) are subsumed under these ideas were made available to a wider audience they the theory of representations of some low-dimensional Lie were often improved upon in unexpected and previously groups. The classical theory of special functions came to unimaginable ways. A number of these methods are pre- fruition in the mid 19th century, long before Lie groups cursors of group theory. These are Dimensional Analysis, and their representations were even invented. Scaling Theory, and Dynamical Similarity. We review these three methods in Sec. II. In Sec. III we get down to the business at hand, intro- II. PRECURSORS TO GROUP THEORY ducing the definition of group and giving a small set of important examples. These range from finite groups to Barenblatt has given a beautiful derivation of Pythago- discrete groups to Lie groups. These also include trans- ras' Theorem that is out-of-the-box and suggests some of formation groups, which played an important if under- the ideas behind Dimensional Analysis. The area of the 1 recognized roll in the development of classical physics, in right triangle ∆(a; b; c) is 2 ab (Fig. 1). Dimensionally, particular the theories of Special and General Relativity. the area is proportional to square of any of the sides, mul- The relation between these theories and group theory is tiplied by some factor. We make a unique choice of side indicated in Sec. IV. by choosing the hypotenuse, so that ∆(a; b; c) = c2×f(θ), Despite this important roll in the development of θ is one of the two acute angles, and f(θ) 6= 0 unless θ = 0 Physics, groups existed at the fringe of the Physics of or π=2. Equating the two expressions the early 20th century. It was not until the theory of the linear matrix representations of groups was invented 1 a b 1 b a symmetry π that the theory of groups migrated from the outer fringes f(θ) = = = f( − θ) to play a more central roll in Physics. Important points 2 c c 2 c c 2 in the theory of representations are introduced in Sec. (1) V. Representations were used in an increasingly imag- This shows (a) that the same function f(θ) applies for th π inative number of ways in Physics throughout the 20 all similar triangles and (b) f(θ) = f( 2 − θ). The latter century. Early on they were used label states in Quantum result is due to reflection `symmetry' of the triangle about systems with a symmetry group: for example, the rota- the bisector of the right angle: the triangle changes but tion group SO(3). Once states were named, degeneracies its area does not. We need (a) alone to prove Pythagoras' could be predicted and computations simplified. Such ap- Theorem. The proof is in the figure caption. plications are indicated in Sec. VI. Later, they were used websearch: Pythagoras' theorem Barenblatt when symmetry was not present, or just the remnant of a broken symmetry was present. When used in this sense, they are often called \dynamical groups." This type of use grossly extended the importance of Group Theory 2 We can invert this matrix to find −1 2 1 1 1 3 2 1 −1 −1 3 4 0 3 2 5 = 4 0 −1 −2 5 (4) 0 −2 −1 0 2 3 This allows us to determine the values of the exponents which provide the appropriate combinations of impor- tant physical parameters to construct the characteristic atomic length: 2 a 3 2 1 −1 −1 3 2 0 3 2 −1 3 FIG. 1: The area of the large right triangle is the sum b = 0 −1 −2 1 = −1 (5) of the areas of the two similar smaller right triangles: 4 5 4 5 4 5 4 5 c 0 2 3 0 2 ∆(a; b; c) = ∆(d; f; a) + ∆(f; e; b), so that c2f(θ) = 2 2 a f(θ) + b f(θ). Since f(θ) 6= 0 for a nondegenerate This result tells us that right triangle, a2 + b2 = c2. −1 2 −1 2 2 2 −8 a0 ∼ m (e ) (~) = ~ =me ∼ 10 cm (6) A Dimensional Analysis To construct a characteristic atomic time, we can re- place the vector col[0; 1; 0] in Eq. (5) by the vector 3 2 2 How big is a hydrogen atom? col[0; 0; 1], giving us the result τ0 ∼ ~ =m(e ) . Fi- The size of the electron `orbit' around the proton in nally, to get a characteristic energy, we can form the the hydrogen atom ought to depend on the electron mass combination E ∼ ML2T −2 = m(~2=me2)2(~3=me4)−2 = me, or more precisely the electron-proton reduced mass me4=~2. Another, and more systematic, way to get this µ = meMP =(me + MP ). It should also depend on the result is to substitute the vector col[1; 2; −2] in Eq. (5). value of Planck's constant h or reduced Planck's constant Note that our estimate would be somewhat different if ~ = h=2π. Since the interaction between the proton and we had used h instead of ~ = h=2π in these arguments. electron is electromagnetic, of the form V (r) = −e2=r We point out that this method is very useful for estimat- (Gaussian units), it should depend on e2. ing the order of magnitude of physical parameters and Mass is measured in gm. The dimensions of the charge usually gets the prefactor within a factor of 10. coupling e2 are determined by recognizing that e2=r is a websearch: dimensional analysis (potential) energy, with dimensions M 1L2T −2. We will use capital letters M, L, and T to characterize the three independent dimensional `directions'. As a result, the B Scaling charge coupling e2 has dimensions ML3T −2 and is mea- 3 2 sured in gm(cm) =sec . The quantum of action ~ has Positronium is a bound state of an electron e with a 2 −1 dimensions [~] = ML T . positrone ¯, its antiparticle. How big is positronium? Constant Dimensions Value Units To address this question we could work very hard and µ M 9:10442 × 10−28 gm 2 −1 −27 2 −1 solve the positronium Hamiltonian. Or we could be lazy ~ ML T 1:05443 × 10 gm cm sec 2 3 −2 −19 3 −2 and observe that the hydrogen atom radius is inversely e ML T 2:30655 × 10 gm cm sec proportional to the reduced electron-proton mass, so the a L ? cm 0 positronium radius should be inversely proportional to Can we construct something with the dimensions of the reduced electron-positron mass: µ = m m =(m + length from m, e2, and ? To do this, we introduce three pos: e e¯ e ~ m ) = 1 m since the electron and positron have equal unknown exponents a, b, and c and write e¯ 2 e masses me = me¯. Since the reduced electron-proton mass a 2 b c a 3 −2 b 2 −1 c is effectively the electron mass, the positronium atom is a0 ' m (e ) ~ = (M) (ML T ) (ML T ) = (M)a+b+c L0a+3b+2c T 0a−2b−c approximately twice as large as the hydrogen atom. (2) In a semiconductor it is possible to excite an electron and set this result equal to the dimensions of whatever from an almost filled (valence) band into an almost empty we would like to compute, in this case the Bohr orbit (conduction) band. This leaves a `hole' behind in the valence band. The positively charged hole in the valence a0 (characteristic atomic length), with [a0] = L. This results in a matrix equation band interacts with the excited electron in the conduction band through a reduced Coulomb interaction: V (r) = 2 2 1 1 1 3 2 a 3 2 0 3 −e /r. The strength of the interaction is reduced by screening effects which are swept into a phenomenological 4 0 3 2 5 4 b 5 = 4 1 5 (3) 0 −2 −1 c 0 dielectric constant . In addition, the effective masses ∗ ∗ me of the excited electron and the left-behind hole mh 3 are modified from the free-space electron mass values by many-particle effects.
Load more

Recommended publications
  • Arxiv:1006.1489V2 [Math.GT] 8 Aug 2010 Ril.Ias Rfie Rmraigtesre Rils[14 Articles Survey the Reading from Profited Also I Article
    Pure and Applied Mathematics Quarterly Volume 8, Number 1 (Special Issue: In honor of F. Thomas Farrell and Lowell E. Jones, Part 1 of 2 ) 1—14, 2012 The Work of Tom Farrell and Lowell Jones in Topology and Geometry James F. Davis∗ Tom Farrell and Lowell Jones caused a paradigm shift in high-dimensional topology, away from the view that high-dimensional topology was, at its core, an algebraic subject, to the current view that geometry, dynamics, and analysis, as well as algebra, are key for classifying manifolds whose fundamental group is infinite. Their collaboration produced about fifty papers over a twenty-five year period. In this tribute for the special issue of Pure and Applied Mathematics Quarterly in their honor, I will survey some of the impact of their joint work and mention briefly their individual contributions – they have written about one hundred non-joint papers. 1 Setting the stage arXiv:1006.1489v2 [math.GT] 8 Aug 2010 In order to indicate the Farrell–Jones shift, it is necessary to describe the situation before the onset of their collaboration. This is intimidating – during the period of twenty-five years starting in the early fifties, manifold theory was perhaps the most active and dynamic area of mathematics. Any narrative will have omissions and be non-linear. Manifold theory deals with the classification of ∗I thank Shmuel Weinberger and Tom Farrell for their helpful comments on a draft of this article. I also profited from reading the survey articles [14] and [4]. 2 James F. Davis manifolds. There is an existence question – when is there a closed manifold within a particular homotopy type, and a uniqueness question, what is the classification of manifolds within a homotopy type? The fifties were the foundational decade of manifold theory.
    [Show full text]
  • An Overview of Topological Groups: Yesterday, Today, Tomorrow
    axioms Editorial An Overview of Topological Groups: Yesterday, Today, Tomorrow Sidney A. Morris 1,2 1 Faculty of Science and Technology, Federation University Australia, Victoria 3353, Australia; [email protected]; Tel.: +61-41-7771178 2 Department of Mathematics and Statistics, La Trobe University, Bundoora, Victoria 3086, Australia Academic Editor: Humberto Bustince Received: 18 April 2016; Accepted: 20 April 2016; Published: 5 May 2016 It was in 1969 that I began my graduate studies on topological group theory and I often dived into one of the following five books. My favourite book “Abstract Harmonic Analysis” [1] by Ed Hewitt and Ken Ross contains both a proof of the Pontryagin-van Kampen Duality Theorem for locally compact abelian groups and the structure theory of locally compact abelian groups. Walter Rudin’s book “Fourier Analysis on Groups” [2] includes an elegant proof of the Pontryagin-van Kampen Duality Theorem. Much gentler than these is “Introduction to Topological Groups” [3] by Taqdir Husain which has an introduction to topological group theory, Haar measure, the Peter-Weyl Theorem and Duality Theory. Of course the book “Topological Groups” [4] by Lev Semyonovich Pontryagin himself was a tour de force for its time. P. S. Aleksandrov, V.G. Boltyanskii, R.V. Gamkrelidze and E.F. Mishchenko described this book in glowing terms: “This book belongs to that rare category of mathematical works that can truly be called classical - books which retain their significance for decades and exert a formative influence on the scientific outlook of whole generations of mathematicians”. The final book I mention from my graduate studies days is “Topological Transformation Groups” [5] by Deane Montgomery and Leo Zippin which contains a solution of Hilbert’s fifth problem as well as a structure theory for locally compact non-abelian groups.
    [Show full text]
  • Supplement on the Symmetric Group
    SUPPLEMENT ON THE SYMMETRIC GROUP RUSS WOODROOFE I presented a couple of aspects of the theory of the symmetric group Sn differently than what is in Herstein. These notes will sketch this material. You will still want to read your notes and Herstein Chapter 2.10. 1. Conjugacy 1.1. The big idea. We recall from Linear Algebra that conjugacy in the matrix GLn(R) corresponds to changing basis in the underlying vector space n n R . Since GLn(R) is exactly the automorphism group of R (check the n definitions!), it’s equivalent to say that conjugation in Aut R corresponds n to change of basis in R . Similarly, Sn is Sym[n], the symmetries of the set [n] = {1, . , n}. We could think of an element of Sym[n] as being a “set automorphism” – this just says that sets have no interesting structure, unlike vector spaces with their abelian group structure. You might expect conjugation in Sn to correspond to some sort of change in basis of [n]. 1.2. Mathematical details. Lemma 1. Let g = (α1, . , αk) be a k-cycle in Sn, and h ∈ Sn be any element. Then h g = (α1 · h, α2 · h, . αk · h). h Proof. We show that g has the same action as (α1 · h, α2 · h, . αk · h), and since Sn acts faithfully (with trivial kernel) on [n], the lemma follows. h −1 First: (αi · h) · g = (αi · h) · h gh = αi · gh. If 1 ≤ i < m, then αi · gh = αi+1 · h as desired; otherwise αm · h = α1 · h also as desired.
    [Show full text]
  • Lie Group and Geometry on the Lie Group SL2(R)
    INDIAN INSTITUTE OF TECHNOLOGY KHARAGPUR Lie group and Geometry on the Lie Group SL2(R) PROJECT REPORT – SEMESTER IV MOUSUMI MALICK 2-YEARS MSc(2011-2012) Guided by –Prof.DEBAPRIYA BISWAS Lie group and Geometry on the Lie Group SL2(R) CERTIFICATE This is to certify that the project entitled “Lie group and Geometry on the Lie group SL2(R)” being submitted by Mousumi Malick Roll no.-10MA40017, Department of Mathematics is a survey of some beautiful results in Lie groups and its geometry and this has been carried out under my supervision. Dr. Debapriya Biswas Department of Mathematics Date- Indian Institute of Technology Khargpur 1 Lie group and Geometry on the Lie Group SL2(R) ACKNOWLEDGEMENT I wish to express my gratitude to Dr. Debapriya Biswas for her help and guidance in preparing this project. Thanks are also due to the other professor of this department for their constant encouragement. Date- place-IIT Kharagpur Mousumi Malick 2 Lie group and Geometry on the Lie Group SL2(R) CONTENTS 1.Introduction ................................................................................................... 4 2.Definition of general linear group: ............................................................... 5 3.Definition of a general Lie group:................................................................... 5 4.Definition of group action: ............................................................................. 5 5. Definition of orbit under a group action: ...................................................... 5 6.1.The general linear
    [Show full text]
  • Introducing Group Theory with Its Raison D'etre for Students
    Introducing group theory with its raison d’etre for students Hiroaki Hamanaka, Koji Otaki, Ryoto Hakamata To cite this version: Hiroaki Hamanaka, Koji Otaki, Ryoto Hakamata. Introducing group theory with its raison d’etre for students. INDRUM 2020, Université de Carthage, Université de Montpellier, Sep 2020, Cyberspace (virtually from Bizerte), Tunisia. hal-03113982 HAL Id: hal-03113982 https://hal.archives-ouvertes.fr/hal-03113982 Submitted on 18 Jan 2021 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. Introducing group theory with its raison d’être for students 1 2 3 Hiroaki Hamanaka , Koji Otaki and Ryoto Hakamata 1Hyogo University of Teacher Education, Japan, [email protected], 2Hokkaido University of Education, Japan, 3Kochi University, Japan This paper reports results of our sequence of didactic situations for teaching fundamental concepts in group theory—e.g., symmetric group, generator, subgroup, and coset decomposition. In the situations, students in a preservice teacher training course dealt with such concepts, together with card-puzzle problems of a type. And there, we aimed to accompany these concepts with their raisons d’être. Such raisons d’être are substantiated by the dialectic between tasks and techniques in the praxeological perspective of the anthropological theory of the didactic.
    [Show full text]
  • Group Theory
    Group theory March 7, 2016 Nearly all of the central symmetries of modern physics are group symmetries, for simple a reason. If we imagine a transformation of our fields or coordinates, we can look at linear versions of those transformations. Such linear transformations may be represented by matrices, and therefore (as we shall see) even finite transformations may be given a matrix representation. But matrix multiplication has an important property: associativity. We get a group if we couple this property with three further simple observations: (1) we expect two transformations to combine in such a way as to give another allowed transformation, (2) the identity may always be regarded as a null transformation, and (3) any transformation that we can do we can also undo. These four properties (associativity, closure, identity, and inverses) are the defining properties of a group. 1 Finite groups Define: A group is a pair G = fS; ◦} where S is a set and ◦ is an operation mapping pairs of elements in S to elements in S (i.e., ◦ : S × S ! S: This implies closure) and satisfying the following conditions: 1. Existence of an identity: 9 e 2 S such that e ◦ a = a ◦ e = a; 8a 2 S: 2. Existence of inverses: 8 a 2 S; 9 a−1 2 S such that a ◦ a−1 = a−1 ◦ a = e: 3. Associativity: 8 a; b; c 2 S; a ◦ (b ◦ c) = (a ◦ b) ◦ c = a ◦ b ◦ c We consider several examples of groups. 1. The simplest group is the familiar boolean one with two elements S = f0; 1g where the operation ◦ is addition modulo two.
    [Show full text]
  • Combinatorial Group Theory
    Combinatorial Group Theory Charles F. Miller III 7 March, 2004 Abstract An early version of these notes was prepared for use by the participants in the Workshop on Algebra, Geometry and Topology held at the Australian National University, 22 January to 9 February, 1996. They have subsequently been updated and expanded many times for use by students in the subject 620-421 Combinatorial Group Theory at the University of Melbourne. Copyright 1996-2004 by C. F. Miller III. Contents 1 Preliminaries 3 1.1 About groups . 3 1.2 About fundamental groups and covering spaces . 5 2 Free groups and presentations 11 2.1 Free groups . 12 2.2 Presentations by generators and relations . 16 2.3 Dehn’s fundamental problems . 19 2.4 Homomorphisms . 20 2.5 Presentations and fundamental groups . 22 2.6 Tietze transformations . 24 2.7 Extraction principles . 27 3 Construction of new groups 30 3.1 Direct products . 30 3.2 Free products . 32 3.3 Free products with amalgamation . 36 3.4 HNN extensions . 43 3.5 HNN related to amalgams . 48 3.6 Semi-direct products and wreath products . 50 4 Properties, embeddings and examples 53 4.1 Countable groups embed in 2-generator groups . 53 4.2 Non-finite presentability of subgroups . 56 4.3 Hopfian and residually finite groups . 58 4.4 Local and poly properties . 61 4.5 Finitely presented coherent by cyclic groups . 63 1 5 Subgroup Theory 68 5.1 Subgroups of Free Groups . 68 5.1.1 The general case . 68 5.1.2 Finitely generated subgroups of free groups .
    [Show full text]
  • An Introduction to Computational Group Theory Ákos Seress
    seress.qxp 5/21/97 4:13 PM Page 671 An Introduction to Computational Group Theory Ákos Seress an one rotate only one corner piece in groups to a certain extent, there are two systems Rubik’s cube? What are the energy which are particularly well suited for computa- levels of the buckyball molecule? Are tions with groups: GAP and Magma. Also, nu- the graphs on Figure 1 isomorphic? merous stand-alone programs and smaller sys- What is the Galois group of the poly- tems are available. Cnomial x8 +2x7 +28x6 + 1728x + 3456? What GAP can be obtained by anonymous ftp from are the possible symmetry groups of crystals? servers on three continents; the addresses can These are all questions which, directly or in a not be found on the World Wide Web page so obvious way, lead to problems in computa- http://www-groups.dcs.st-and.ac.uk/. tional group theory. For the availability of Magma, please see the Algebraic structures are well suited for ma- World Wide Web page http://www.maths. chine computations. One reason for that is that usyd.edu.au:8000/comp/magma/. we can describe large objects very concisely by The important subareas of CGT correspond a set of generators: for example, 50 bits are to the most frequently used representations of enough to define GL5(2), a group of order groups: permutation groups, matrix groups, and 9999360, by two 0-1 matrices of size 5 5. groups defined by generators and relators, as Even more importantly, often we can find a gen-× well as to perhaps the most powerful tool for the erating set which reflects the structure of the investigation of groups, representation theory.
    [Show full text]
  • A FRIENDLY INTRODUCTION to GROUP THEORY 1. Who Cares?
    A FRIENDLY INTRODUCTION TO GROUP THEORY JAKE WELLENS 1. who cares? You do, prefrosh. If you're a math major, then you probably want to pass Math 5. If you're a chemistry major, then you probably want to take that one chem class I heard involves representation theory. If you're a physics major, then at some point you might want to know what the Standard Model is. And I'll bet at least a few of you CS majors care at least a little bit about cryptography. Anyway, Wikipedia thinks it's useful to know some basic group theory, and I think I agree. It's also fun and I promise it isn't very difficult. 2. what is a group? I'm about to tell you what a group is, so brace yourself for disappointment. It's bound to be a somewhat anticlimactic experience for both of us: I type out a bunch of unimpressive-looking properties, and a bunch of you sit there looking unimpressed. I hope I can convince you, however, that it is the simplicity and ordinariness of this definition that makes group theory so deep and fundamentally interesting. Definition 1: A group (G; ∗) is a set G together with a binary operation ∗ : G×G ! G satisfying the following three conditions: 1. Associativity - that is, for any x; y; z 2 G, we have (x ∗ y) ∗ z = x ∗ (y ∗ z). 2. There is an identity element e 2 G such that 8g 2 G, we have e ∗ g = g ∗ e = g. 3. Each element has an inverse - that is, for each g 2 G, there is some h 2 G such that g ∗ h = h ∗ g = e.
    [Show full text]
  • Group Theory
    Introduction to Group Theory with Applications in Molecular and Solid State Physics Karsten Horn Fritz-Haber-Institut der Max-Planck-Gesellschaft 030 8412 3100, e-mail [email protected] Symmetry - old concept, already known to Greek natural philosophy Group theory: mathematical theory, developed in 19th century Application to physics in the 1920’s : Bethe 1929, Wigner 1931, Kohlrausch 1935 Why apply group theory in physics? “It is often hard or even impossible to obtain a solution to the Schrödinger equation - however, a large part of qualitative results can be obtained by group theory. Almost all the rules of spectroscopy follow from the symmetry of a problem” E.Wigner, 1931 Outline 1. Symmetry elements and point groups 4.! Vibrations in molecules 1.1. Symmetry elements and operations 4.1. Number and symmetry of normal modes in ! molecules 1.2. Group concepts 4.2. Vibronic wave functions 1.3. Classification of point groups, including the Platonic Solids 4.3. IR and Raman selection rules 1.4. Finding the point group that a molecule belongs to 5.! Electron bands in solids 2.! Group representations 5.1. Symmetry properties of solids 2.1. An intuitive approach 5.2. Wave functions of energy bands 2.2. The great orthogonality theorem (GOT) 5.3. The group of the wave vector 2.3. Theorems about irreducible representations 5.4. Band degeneracy, compatibility 2.4. Basis functions 2.5. Relation between representation theory and quantum mechanics 2.6. Character tables and how to use them 2.7. Examples: symmetry of physical properties, tensor symmetries 3. ! Molecular Orbitals and Group Theory 3.1.
    [Show full text]
  • On the Geometry of Decomposition of the Cyclic Permutation Into the Product of a Given Number of Permutations
    On the geometry of decomposition of the cyclic permutation into the product of a given number of permutations Boris Bychkov (HSE) Embedded graphs October 30 2014 B. Bychkov On the geometry of decomposition of the cyclic permutation into the product of a given number of permutations BMSH formula Let σ0 be a fixed permutation from Sn and take a tuple of c permutations (we don’t fix their lengths and quantities of cycles!) from Sn such that σ1 · ::: · σc = σ0 with some conditions: the group generated by this tuple of c permutations acts transitively on the set f1;:::; ng c P c · n = n + l(σi ) − 2 (genus 0 coverings) i=0 B. Bychkov On the geometry of decomposition of the cyclic permutation into the product of a given number of permutations BMSH formula Then there are formula for the number bσ0 (c) of such tuples of c permutations by M. Bousquet-M´elou and J. Schaeffer Theorem (Bousquet-M´elou, Schaeffer, 2000) Let σ0 2 Sn be a permutation having di cycles of length i (i = 1; 2; 3;::: ) and let l(σ0) be the total number of cycles in σ0, then d (c · n − n − 1)! Y c · i − 1 i bσ0 (c) = c i · (c · n − n − l(σ0) + 2)! i i≥1 Let n = 3; σ0 = (1; 2; 3); c = 2, then (2 · 3 − 3 − 1)! 2 · 3 − 1 b (2) = 2 3 = 5 (1;2;3) (2 · 3 − 3 − 1 + 2)! 3 id(123) (123)id (132)(132) (12)(23) (13)(12) (23)(13) Here are 6 factorizations, but one of them has genus 1! B.
    [Show full text]
  • Appendix a Topological Groups and Lie Groups
    Appendix A Topological Groups and Lie Groups This appendix studies topological groups, and also Lie groups which are special topological groups as well as manifolds with some compatibility conditions. The concept of a topological group arose through the work of Felix Klein (1849–1925) and Marius Sophus Lie (1842–1899). One of the concrete concepts of the the- ory of topological groups is the concept of Lie groups named after Sophus Lie. The concept of Lie groups arose in mathematics through the study of continuous transformations, which constitute in a natural way topological manifolds. Topo- logical groups occupy a vast territory in topology and geometry. The theory of topological groups first arose in the theory of Lie groups which carry differential structures and they form the most important class of topological groups. For exam- ple, GL (n, R), GL (n, C), GL (n, H), SL (n, R), SL (n, C), O(n, R), U(n, C), SL (n, H) are some important classical Lie Groups. Sophus Lie first systematically investigated groups of transformations and developed his theory of transformation groups to solve his integration problems. David Hilbert (1862–1943) presented to the International Congress of Mathe- maticians, 1900 (ICM 1900) in Paris a series of 23 research projects. He stated in this lecture that his Fifth Problem is linked to Sophus Lie theory of transformation groups, i.e., Lie groups act as groups of transformations on manifolds. A translation of Hilbert’s fifth problem says “It is well-known that Lie with the aid of the concept of continuous groups of transformations, had set up a system of geometrical axioms and, from the standpoint of his theory of groups has proved that this system of axioms suffices for geometry”.
    [Show full text]