DOCSLIB.ORG

Lie Group and Geometry on the Lie Group SL2(R)

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text

Load more

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 groups GL(n;R) and GL(n;C) : ..................................................................... 6 6.2.The special linear group SL(n;R) and SL(n;C) ............................................................................ 6 6.3.Orthogonal O(n) and special orthogonal SO(n) groups: .......................................................... 8 O(n)=set of all nxn orthogonal matrices ..................................................................................... 8 6.4. The Heisenberg group H: ....................................................................................................... 9 7. Sub-group of GL(n;C)which is not matrix Lie group:................................... 10 8. The geometry on SL2(R): .............................................................................. 11 8.1 EPH –classification of action (1) on SL2(R): .............................................................................. 12 8.2 Some Properties: ................................................................................................................... 18 9. Importance of Lie group and its Gemetry in Mathematics: ........................ 27 3 Lie group and Geometry on the Lie Group SL2(R) 1.Introduction We are all very familiar with the group of real number, group complex number and group of matrices. In my report I will discuss about matrix lie group and some geometry dealing with the special linear group SL2(R). In addition to discussing Lie groups and Lie algebras, Borel pays considerable attention to algebraic groups, beginning with the little known work of Ludwig Maurer in the 1890s up through the work of Claude Chevalley, Ellis Kolchin , Borel and others in the post-World War II era. In the beginning, Sophus Lie hoped to develop a Galois Theory for differential equations. Felix Klein's famous \Erlangen Program," which aimed to connect firmly geometry with group theory, also influenced Lie's thinking. By 1893, Lie (together with Friedrich Engel) had completed the final, third volume of the massive treatise Theorie der Transformationsgruppen. Also by 1890, Wilhelm Killing had succeeded in classifying (modulo a few gaps in his arguments) the complex simple Lie algebras. Killing's work was rigorously treated and extended in Elie Cartan's 1894 thesis. A Lie group was a transformation group, that is, there was some geometric space present upon which the Lie group acted. The notion of an abstract group with the compatible structure of a complex manifold came later; mathematicians such as Klein resisted this notion, feeling that it would distance the subject too far from its applications. In addition, Lie's theory was largely local. Early workers were aware of global examples (such as SL(n;C)), but the theory was mostly developed for what we today would call \germs" of Lie groups. A global theory emerged only with the work of Weyl and Cartan in the twentieth century. For discussing the geometry on SL2(R) first we have to know what is lie group and some example of Lie group. 4 Lie group and Geometry on the Lie Group SL2(R) 2.Definition of general linear group: The general linear group over the real numbers, denoted by GL(n;R),is the group of all nxn invertible matrices with real entries. The general linear group over the complex numbers, denoted by GL(n;C) ,is the group of all nxn invertible matrices with complex entries. The general linear groups are indeed groups under the operation of matrix multiplication. 3.Definition of a general Lie group: A matrix lie group is any subgroup G of GL(n;C) with the following property: If Am is any sequence of matrices in G, and Am Converges to some matrix A then either A in G ,or A is not invertible. Or equivalent to saying that a matrix lie group is a closed sub group of GL(n;C),and this property is necessary. We can prove it by give an example. The set of all nxn invertible all of whose entries are real and rational. This is a subgroup of GL(n;C) but not closed. That is one can have a sequence of invertible matrices with rational entries converging to an invertible matrix with some irrational entries. So this sub group is not a matrix lie group. 4.Definition of group action: Let G be a group and S a nonempty set. Then G is said to act on S if there is a function from G x S to S, usually denoted (g; s) gs, such that es = s for all s belongs S, and for all g, h G and s S, that (gh)s = g(hs). There can be different ways for a group to act on a set. The notation gs for the imageof (g; s) is ambiguous, but won’t cause problems since we will not consider two different actions of a group on a set at a time. Before we get into properties of group actions, we give 5. Definition of orbit under a group action: Suppose G is a group which acts on a set S. If s S, let O(s) = {gs : g G}.The set O(s) is called the orbit of s. 5 Lie group and Geometry on the Lie Group SL2(R) 6.Some examples of matrix lie group: 6.1.The general linear groups GL(n;R) and GL(n;C) : The general linear groups over R and C are themselves Matrix lie group. Now GL(n;C) is a subgroup of itself. Again, if Am is a sequence of matrices in GL(n;C) and Am converges to A, then either A is in GL(n;C),or A is not invertible. Therefore GL(n;C) is matrix lie group. Moreover GL(n;R) is a subgroup of GL(n;C),and if Am is a sequence of real number converges to some matrix A, then A is also a real matrix. Thus A is not invertible or A is in GL(n;R).Hence GL(n;R) is a matrix lie group. 6.2.The special linear group SL(n;R) and SL(n;C) The special linear group over real or complex is the group of nxn invertible matrices with determinant one .This is one of the most important matrix lie group and my work is going on in this matrix lie group. Now we have to show that SL(n;R) and SL(n;C) are matrix lie group. At first prove that SL(n;C) is a group under matrix multiplication. i.For any A,B in SL(n;C) with determinant 1. AB also in SL(n;C),as det(AB)=detA.det B =1. Therefore SL(n;C) is closed under matrix multiplication. ii. Matrix multiplication is associative, hence SL(n;C) is associative. iii. nxn identity matrix plays the role of identity element here. adjA iv. Now det A≠0 ,so A-1 exit. We know that A-1= and det(adj A) = (detA)n-1= 1 det A that implies det A-1=1. Therefore A-1 belongs to SL(n;C) .Hence SL(n;C) is a group under matrix multiplication. Next we have to show that SL(n;C) is a matrix lie group.SL(n;C)is a subgroup of GL(n;C) and let Am is a sequence in SL(n;C) converges to some matrix A ,we now show that A belongs to SL(n;C) . That is lim An=A n Taking determinant on both side we have det(lim An)= det A n 6 Lie group and Geometry on the Lie Group SL2(R) lim (det An)= det A (as determinant is a continuous function) n det A= 1 Hence SL(n;C) is a matrix lie group. Similarly We have to prove that SL(n;R)is also a matrix lie group. Here we want to introduce one most important thing is called the Iwasawa decomposition of SL(2;R).By this decomposition any element S of SL(2;R) can be written in the form S=ANK where A,N and K are subgroup of SL(2;R) a b 0 1 v cos sin Let S= = 1 c d 0 0 1 sin cos Where, A , N and K 7 Lie group and Geometry on the Lie Group SL2(R) 6.3.Orthogonal O(n) and special orthogonal SO(n) groups: O(n)=set of all nxn orthogonal matrices SO(n)=set of all nxn orthogonal matrices with determinant one. An nxn real matrix A=(aij)nxn is said to be orthogonal if the column vectors that make up A orthonormal. Equivalently a matrix A is orthogonal if it preserves the inner product. That is <x,y>=<Ax,Ay> ,where x,y are in Rn Another way , A is said to be orthogonal if AAt=AtA=I , where At is transpose of A.
Recommended publications

  • Quantum Groups and Algebraic Geometry in Conformal Field Theory

    QUANTUM GROUPS AND ALGEBRAIC GEOMETRY IN CONFORMAL FIELD THEORY DlU'KKERU EI.INKWIJK BV - UTRECHT QUANTUM GROUPS AND ALGEBRAIC GEOMETRY IN CONFORMAL FIELD THEORY QUANTUMGROEPEN EN ALGEBRAISCHE MEETKUNDE IN CONFORME VELDENTHEORIE (mrt em samcnrattint] in hit Stdirlands) PROEFSCHRIFT TER VERKRIJGING VAN DE GRAAD VAN DOCTOR AAN DE RIJKSUNIVERSITEIT TE UTRECHT. OP GEZAG VAN DE RECTOR MAGNIFICUS. TROF. DR. J.A. VAN GINKEI., INGEVOLGE HET BESLUIT VAN HET COLLEGE VAN DE- CANEN IN HET OPENBAAR TE VERDEDIGEN OP DINSDAG 19 SEPTEMBER 1989 DES NAMIDDAGS TE 2.30 UUR DOOR Theodericus Johannes Henrichs Smit GEBOREN OP 8 APRIL 1962 TE DEN HAAG PROMOTORES: PROF. DR. B. DE WIT PROF. DR. M. HAZEWINKEL "-*1 Dit proefschrift kwam tot stand met "•••; financiele hulp van de stichting voor Fundamenteel Onderzoek der Materie (F.O.M.) Aan mijn ouders Aan Saskia Contents Introduction and summary 3 1.1 Conformal invariance and the conformal bootstrap 11 1.1.1 Conformal symmetry and correlation functions 11 1.1.2 The conformal bootstrap program 23 1.2 Axiomatic conformal field theory 31 1.3 The emergence of a Hopf algebra 4G The modular geometry of string theory 56 2.1 The partition function on moduli space 06 2.2 Determinant line bundles 63 2.2.1 Complex line bundles and divisors on a Riemann surface . (i3 2.2.2 Cauchy-Riemann operators (iT 2.2.3 Metrical properties of determinants of Cauchy-Ricmann oper- ators 6!) 2.3 The Mumford form on moduli space 77 2.3.1 The Quillen metric on determinant line bundles 77 2.3.2 The Grothendieck-Riemann-Roch theorem and the Mumford
  • Math 5111 (Algebra 1) Lecture #14 of 24 ∼ October 19Th, 2020

    Math 5111 (Algebra 1) Lecture #14 of 24 ∼ October 19Th, 2020

    Math 5111 (Algebra 1) Lecture #14 of 24 ∼ October 19th, 2020 Group Isomorphism Theorems + Group Actions The Isomorphism Theorems for Groups Group Actions Polynomial Invariants and An This material represents x3.2.3-3.3.2 from the course notes. Quotients and Homomorphisms, I Like with rings, we also have various natural connections between normal subgroups and group homomorphisms. To begin, observe that if ' : G ! H is a group homomorphism, then ker ' is a normal subgroup of G. In fact, I proved this fact earlier when I introduced the kernel, but let me remark again: if g 2 ker ', then for any a 2 G, then '(aga−1) = '(a)'(g)'(a−1) = '(a)'(a−1) = e. Thus, aga−1 2 ker ' as well, and so by our equivalent properties of normality, this means ker ' is a normal subgroup. Thus, we can use homomorphisms to construct new normal subgroups. Quotients and Homomorphisms, II Equally importantly, we can also do the reverse: we can use normal subgroups to construct homomorphisms. The key observation in this direction is that the map ' : G ! G=N associating a group element to its residue class / left coset (i.e., with '(a) = a) is a ring homomorphism. Indeed, the homomorphism property is precisely what we arranged for the left cosets of N to satisfy: '(a · b) = a · b = a · b = '(a) · '(b). Furthermore, the kernel of this map ' is, by definition, the set of elements in G with '(g) = e, which is to say, the set of elements g 2 N. Thus, kernels of homomorphisms and normal subgroups are precisely the same things.
  • Arxiv:1006.1489V2 [Math.GT] 8 Aug 2010 Ril.Ias Rfie Rmraigtesre Rils[14 Articles Survey the Reading from Profited Also I Article

    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.
  • Structure, Classification, and Conformal Symmetry, of Elementary

    Structure, Classification, and Conformal Symmetry, of Elementary

    Lett Math Phys (2009) 89:171–182 DOI 10.1007/s11005-009-0351-2 Structure, Classification, and Conformal Symmetry, of Elementary Particles over Non-Archimedean Space–Time V. S. VARADARAJAN and JUKKA VIRTANEN Department of Mathematics, UCLA, Los Angeles, CA 90095-1555, USA. e-mail: [email protected]; [email protected] Received: 3 April 2009 / Revised: 12 September 2009 / Accepted: 12 September 2009 Publishedonline:23September2009–©TheAuthor(s)2009. This article is published with open access at Springerlink.com Abstract. It is known that no length or time measurements are possible in sub-Planckian regions of spacetime. The Volovich hypothesis postulates that the micro-geometry of space- time may therefore be assumed to be non-archimedean. In this letter, the consequences of this hypothesis for the structure, classification, and conformal symmetry of elementary particles, when spacetime is a flat space over a non-archimedean field such as the p-adic numbers, is explored. Both the Poincare´ and Galilean groups are treated. The results are based on a new variant of the Mackey machine for projective unitary representations of semidirect product groups which are locally compact and second countable. Conformal spacetime is constructed over p-adic fields and the impossibility of conformal symmetry of massive and eventually massive particles is proved. Mathematics Subject Classification (2000). 22E50, 22E70, 20C35, 81R05. Keywords. Volovich hypothesis, non-archimedean fields, Poincare´ group, Galilean group, semidirect product, cocycles, affine action, conformal spacetime, conformal symmetry, massive, eventually massive, massless particles. 1. Introduction In the 1970s many physicists, concerned about the divergences in quantum field theories, started exploring the micro-structure of space–time itself as a possible source of these problems.
  • Low-Dimensional Representations of Matrix Groups and Group Actions on CAT (0) Spaces and Manifolds

    Low-Dimensional Representations of Matrix Groups and Group Actions on CAT (0) Spaces and Manifolds

    Low-dimensional representations of matrix groups and group actions on CAT(0) spaces and manifolds Shengkui Ye National University of Singapore January 8, 2018 Abstract We study low-dimensional representations of matrix groups over gen- eral rings, by considering group actions on CAT(0) spaces, spheres and acyclic manifolds. 1 Introduction Low-dimensional representations are studied by many authors, such as Gural- nick and Tiep [24] (for matrix groups over fields), Potapchik and Rapinchuk [30] (for automorphism group of free group), Dokovi´cand Platonov [18] (for Aut(F2)), Weinberger [35] (for SLn(Z)) and so on. In this article, we study low-dimensional representations of matrix groups over general rings. Let R be an associative ring with identity and En(R) (n ≥ 3) the group generated by ele- mentary matrices (cf. Section 3.1). As motivation, we can consider the following problem. Problem 1. For n ≥ 3, is there any nontrivial group homomorphism En(R) → En−1(R)? arXiv:1207.6747v1 [math.GT] 29 Jul 2012 Although this is a purely algebraic problem, in general it seems hard to give an answer in an algebraic way. In this article, we try to answer Prob- lem 1 negatively from the point of view of geometric group theory. The idea is to find a good geometric object on which En−1(R) acts naturally and non- trivially while En(R) can only act in a special way. We study matrix group actions on CAT(0) spaces, spheres and acyclic manifolds. We prove that for low-dimensional CAT(0) spaces, a matrix group action always has a global fixed point (cf.
  • The General Linear Group

    The General Linear Group

    18.704 Gabe Cunningham 2/18/05 [email protected] The General Linear Group Definition: Let F be a field. Then the general linear group GLn(F ) is the group of invert- ible n × n matrices with entries in F under matrix multiplication. It is easy to see that GLn(F ) is, in fact, a group: matrix multiplication is associative; the identity element is In, the n × n matrix with 1’s along the main diagonal and 0’s everywhere else; and the matrices are invertible by choice. It’s not immediately clear whether GLn(F ) has infinitely many elements when F does. However, such is the case. Let a ∈ F , a 6= 0. −1 Then a · In is an invertible n × n matrix with inverse a · In. In fact, the set of all such × matrices forms a subgroup of GLn(F ) that is isomorphic to F = F \{0}. It is clear that if F is a finite field, then GLn(F ) has only finitely many elements. An interesting question to ask is how many elements it has. Before addressing that question fully, let’s look at some examples. ∼ × Example 1: Let n = 1. Then GLn(Fq) = Fq , which has q − 1 elements. a b Example 2: Let n = 2; let M = ( c d ). Then for M to be invertible, it is necessary and sufficient that ad 6= bc. If a, b, c, and d are all nonzero, then we can fix a, b, and c arbitrarily, and d can be anything but a−1bc. This gives us (q − 1)3(q − 2) matrices.
  • 13 Circles and Cross Ratio

    13 Circles and Cross Ratio

    13 Circles and Cross Ratio Following up Klein’s Erlangen Program, after defining the group of linear transformations, we study the invariant properites of subsets in the Riemann Sphere under this group. Appolonius’ Circle Recall that a line or a circle on the complex plane, their corresondence in the Riemann Sphere are all circles. We would like to prove that any linear transformation f maps a circle or a line into another circle or line. To prove this, we may separate 4 cases: f maps a line to a line; f maps a line to a circle; f maps a circle to a line; and f maps a circle to a circle. Also, we observe that f is a composition of several simple linear transformations of three type: 1 f1(z)= az, f2(z)= a + b and f3(z)= z because az + b g(z) f(z)= = = g(z)φ(h(z)) (56) cz + d h(z) 1 where g(z) = az + b, h(z) = cz + d and φ(z) = z . Then it suffices to separate 8 cases: fj maps a line to a line; fj maps a line to a circle; fj maps a circle to a line; and fj maps a circle to a circle for j =1, 2, 3. To simplify this proof, we want to write a line or a circle by a single equation, although usually equations for a line and for a circle are are quite different. Let us consider the following single equation: z − z1 = k, (57) z − z2 for some z1, z2 ∈ C and 0 <k< ∞.
  • Projective Geometry: a Short Introduction

    Projective Geometry: a Short Introduction

    Projective Geometry: A Short Introduction Lecture Notes Edmond Boyer Master MOSIG Introduction to Projective Geometry Contents 1 Introduction 2 1.1 Objective . .2 1.2 Historical Background . .3 1.3 Bibliography . .4 2 Projective Spaces 5 2.1 Definitions . .5 2.2 Properties . .8 2.3 The hyperplane at infinity . 12 3 The projective line 13 3.1 Introduction . 13 3.2 Projective transformation of P1 ................... 14 3.3 The cross-ratio . 14 4 The projective plane 17 4.1 Points and lines . 17 4.2 Line at infinity . 18 4.3 Homographies . 19 4.4 Conics . 20 4.5 Affine transformations . 22 4.6 Euclidean transformations . 22 4.7 Particular transformations . 24 4.8 Transformation hierarchy . 25 Grenoble Universities 1 Master MOSIG Introduction to Projective Geometry Chapter 1 Introduction 1.1 Objective The objective of this course is to give basic notions and intuitions on projective geometry. The interest of projective geometry arises in several visual comput- ing domains, in particular computer vision modelling and computer graphics. It provides a mathematical formalism to describe the geometry of cameras and the associated transformations, hence enabling the design of computational ap- proaches that manipulates 2D projections of 3D objects. In that respect, a fundamental aspect is the fact that objects at infinity can be represented and manipulated with projective geometry and this in contrast to the Euclidean geometry. This allows perspective deformations to be represented as projective transformations. Figure 1.1: Example of perspective deformation or 2D projective transforma- tion. Another argument is that Euclidean geometry is sometimes difficult to use in algorithms, with particular cases arising from non-generic situations (e.g.
  • Unitary Group - Wikipedia

    Unitary Group - Wikipedia

    Unitary group - Wikipedia https://en.wikipedia.org/wiki/Unitary_group Unitary group In mathematics, the unitary group of degree n, denoted U( n), is the group of n × n unitary matrices, with the group operation of matrix multiplication. The unitary group is a subgroup of the general linear group GL( n, C). Hyperorthogonal group is an archaic name for the unitary group, especially over finite fields. For the group of unitary matrices with determinant 1, see Special unitary group. In the simple case n = 1, the group U(1) corresponds to the circle group, consisting of all complex numbers with absolute value 1 under multiplication. All the unitary groups contain copies of this group. The unitary group U( n) is a real Lie group of dimension n2. The Lie algebra of U( n) consists of n × n skew-Hermitian matrices, with the Lie bracket given by the commutator. The general unitary group (also called the group of unitary similitudes ) consists of all matrices A such that A∗A is a nonzero multiple of the identity matrix, and is just the product of the unitary group with the group of all positive multiples of the identity matrix. Contents Properties Topology Related groups 2-out-of-3 property Special unitary and projective unitary groups G-structure: almost Hermitian Generalizations Indefinite forms Finite fields Degree-2 separable algebras Algebraic groups Unitary group of a quadratic module Polynomial invariants Classifying space See also Notes References Properties Since the determinant of a unitary matrix is a complex number with norm 1, the determinant gives a group 1 of 7 2/23/2018, 10:13 AM Unitary group - Wikipedia https://en.wikipedia.org/wiki/Unitary_group homomorphism The kernel of this homomorphism is the set of unitary matrices with determinant 1.
  • Material on Algebraic and Lie Groups

    Material on Algebraic and Lie Groups

    2 Lie groups and algebraic groups. 2.1 Basic Definitions. In this subsection we will introduce the class of groups to be studied. We first recall that a Lie group is a group that is also a differentiable manifold 1 and multiplication (x, y xy) and inverse (x x ) are C1 maps. An algebraic group is a group7! that is also an algebraic7! variety such that multi- plication and inverse are morphisms. Before we can introduce our main characters we first consider GL(n, C) as an affi ne algebraic group. Here Mn(C) denotes the space of n n matrices and GL(n, C) = g Mn(C) det(g) =) . Now Mn(C) is given the structure nf2 2 j 6 g of affi ne space C with the coordinates xij for X = [xij] . This implies that GL(n, C) is Z-open and as a variety is isomorphic with the affi ne variety 1 Mn(C) det . This implies that (GL(n, C)) = C[xij, det ]. f g O Lemma 1 If G is an algebraic group over an algebraically closed field, F , then every point in G is smooth. Proof. Let Lg : G G be given by Lgx = gx. Then Lg is an isomorphism ! 1 1 of G as an algebraic variety (Lg = Lg ). Since isomorphisms preserve the set of smooth points we see that if x G is smooth so is every element of Gx = G. 2 Proposition 2 If G is an algebraic group over an algebraically closed field F then the Z-connected components Proof.
  • Projective Coordinates and Compactification in Elliptic, Parabolic and Hyperbolic 2-D Geometry

    Projective Coordinates and Compactification in Elliptic, Parabolic and Hyperbolic 2-D Geometry

    PROJECTIVE COORDINATES AND COMPACTIFICATION IN ELLIPTIC, PARABOLIC AND HYPERBOLIC 2-D GEOMETRY Debapriya Biswas Department of Mathematics, Indian Institute of Technology-Kharagpur, Kharagpur-721302, India. e-mail: d [email protected] Abstract. A result that the upper half plane is not preserved in the hyperbolic case, has implications in physics, geometry and analysis. We discuss in details the introduction of projective coordinates for the EPH cases. We also introduce appropriate compactification for all the three EPH cases, which results in a sphere in the elliptic case, a cylinder in the parabolic case and a crosscap in the hyperbolic case. Key words. EPH Cases, Projective Coordinates, Compactification, M¨obius transformation, Clifford algebra, Lie group. 2010(AMS) Mathematics Subject Classification: Primary 30G35, Secondary 22E46. 1. Introduction Geometry is an essential branch of Mathematics. It deals with the proper- ties of figures in a plane or in space [7]. Perhaps, the most influencial book of all time, is ‘Euclids Elements’, written in around 3000 BC [14]. Since Euclid, geometry usually meant the geometry of Euclidean space of two-dimensions (2-D, Plane geometry) and three-dimensions (3-D, Solid geometry). A close scrutiny of the basis for the traditional Euclidean geometry, had revealed the independence of the parallel axiom from the others and consequently, non- Euclidean geometry was born and in projective geometry, new “points” (i.e., points at infinity and points with complex number coordinates) were intro- duced [1, 3, 9, 26]. In the eighteenth century, under the influence of Steiner, Von Staudt, Chasles and others, projective geometry became one of the chief subjects of mathematical research [7].
  • An Overview of Topological Groups: Yesterday, Today, Tomorrow

    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.