Received May 20, 2009; accepted October 21, 2009
|
|
- Jane Carr
- 6 years ago
- Views:
Transcription
1 MATHEMATICAL COMMUNICATIONS 43 Math. Commun., Vol. 4, No., pp ) Geodesics and geodesic spheres in SL, R) geometry Blaženka Divjak,, Zlatko Erjavec, Barnabás Szabolcs and Brigitta Szilágyi Faculty of Organization and Informatics, University of Zagreb, Pavlinska, HR-4 Varaždin, Croatia Department of Geometry, Budapest University of Technology and Economics, H- 5 Budapest, Hungary Received May, 9; accepted October, 9 Abstract. In this paper geodesics and geodesic spheres in SL, R) geometry are considered. Eact solutions of ODE system that describes geodesics are obtained and discussed, geodesic spheres are determined and visualization of SL, R) geometry is given as well. AMS subject classifications: 53A35, 53C3 Key words: SL, R) geometry, geodesics, geodesic sphere. Introduction SL, R) geometry is one of the eight homogeneous Thurston 3-geometries E 3, S 3, H 3, S R, H R, SL, R), Nil, Sol. SL, R) is a universal covering group of SL, R) that is a 3-dimensional Lie group of all real matrices with determinant one. SL, R) is also a Lie group and it admits a Riemann metric invariant under right multiplication. The geometry of SL, R) arises naturally as geometry of a fibre line bundle over a hyperbolic base plane H. This is similar to Nil geometry in a sense that Nil is a nontrivial fibre line bundle over the Euclidean plane and SL, R) is a twisted bundle over H. In SL, R), we can define the infinitesimal arc length square using the method of Lie algebras. However, by means of a projective spherical model of homogeneous Riemann 3-manifolds proposed by E. Molnar, the definition can be formulated in a more straightforward way. The advantage of this approach lies in the fact that we get a unified, geometrical model of these sorts of spaces. Our aim is to calculate eplicitly the geodesic curves in SL, R) and discuss their properties. The calculation is based upon the metric tensor, calculated by E. This paper is partially supported by Croatian MSF project Corresponding author. addresses: blazenka.divjak@foi.hr B. Divjak), zlatko.erjavec@foi.hr Z. Erjavec), szabolcs@math.bme.hu B. Szabolcs), szilagyi@math.bme.hu B. Szilágyi) c 9 Department of Mathematics, University of Osijek
2 44 B. Divjak, Z. Erjavec, B. Szabolcs and B. Szilágyi Molnar using his projective model see [3]). It is not easy to calculate the geodesics because in the process of solving the problem we face a nonlinear system of ordinary differential equations of the second order with certain limits at the origin. We will also eplain and determine the geodesic spheres of SL, R) geometry. The paper is organized as follows. In Section we give a description of the SL, R) geometry. Further, in Section 3, the geodesics of hyperboloid model of SL, R) space are eplicitly calculated and discussed. Finally, in Section 4 the geodesic half-spheres in SL, R) are given and illustrated for radii R < π small enough.. Hyperboloid model of SL, R) geometry In this section we describe in detail the hyperboloid model of SL, R) geometry, introduced by E. Molnar in [3]. The idea is to start with the collineation group which acts on projective 3-space P 3 R) and preserves a polarity i.e. a scalar product of signature ++). Let us imagine the one-sheeted hyperboloid solid H : < in the usual Euclidean coordinate simple with the origin E = ; ; ; ) and the ideal points of the aes E ; ; ; ), E ; ; ; ), E3 ; ; ; ). With an appropriate choice of a subgroup of the collineation group of H as an isometry group, the universal covering space H of our hyperboloid H will give us the so-called hyperboloid model of SL, R) geometry. We start with the one parameter group of matrices cos ϕ sin ϕ sin ϕ cos ϕ cos ϕ sin ϕ, ) sin ϕ cos ϕ which acts on P 3 R) and leaves the polarity of signature ++) and the hyperboloid solid H invariant. By a right action of this group on the point ; ; ; 3 ) we obtain its orbit cos ϕ sin ϕ; sin ϕ + cos ϕ; cos ϕ + 3 sin ϕ; sin ϕ + 3 cos ϕ), ) which is the unique line fibre) through the given point. We have pairwise skew fibre lines. Fibre ) intersects base plane E E E 3 z = ) at the point Z = + ; ; 3 ; 3 + ). 3) This action is called a fibre translation and ϕ is called a fibre coordinate see Figure ).
3 ^R) geometry Geodesics and geodesic spheres in SL, 45 3 By usual inhomogeneous E 3 coordinates =, y =, z =, 6= fibre ) is given by µ + tan ϕ y + z tan ϕ z y tan ϕ,, y, z) 7,,,, tan ϕ tan ϕ tan ϕ where ϕ 6= π + kπ. Particularly, the fibre through the base plane point, y, z) is given by tan ϕ, y + z tan ϕ, z y tan ϕ) and through the origin by tan ϕ,, ). E 3 X,,, ) E3 E θ Z E ² ^R) Figure. Hyperboloid model of SL, The subgroup of collineations that acts transitively on the points of H and maps the origin E ; ; ; ) onto X ; ; ; 3 ) is represented by the matri 3 3 T : tji ) := 4) 3, 3 whose inverse up to a positive determinant factor Q is 3 T : tji ) = Q ) 3 Remark. µ A bijection between H and SL, R), which maps point ; ; ; ) db to matri is provided by the following coordinate transformations ca a = + 3, b = +, c = +, d = 3.
4 46 B. Divjak, Z. Erjavec, B. Szabolcs and B. Szilágyi ) d b This will be an isomorphism between translations 4) and with the usual c a multiplication operations, respectively. Moreover, the request bc ad <, by using the mentioned coordinate transformations, corresponds to our hyperboloid solid <. Similarly to fibre ) that we obtained by acting of group ) on the point ); ; ; 3 ) in H, a fibre in SL, cos ϕ sin ϕ R) is obtained by acting of group, on the ) sin ϕ cos ϕ d b point SL, R) see [3] also for other respects). c a Let us introduce new coordinates = cosh r cos ϕ = cosh r sin ϕ 6) = sinh r cosϑ ϕ) 3 = sinh r sinϑ ϕ)) as hyperboloid coordinates for H, where r, ϑ) are polar coordinates of the hyperbolic base plane and ϕ is just the fibre coordinate by ) and 3)). Notice that = cosh r + sinh r = <. Now, we can assign an invariant infinitesimal arc length square by the standard method called pull back into the origin. Under action of 5) on the differentials d ; d ; d ; d 3 ), by using 6) we obtain the following result ds) = dr) + cosh r sinh rdϑ) + dϕ) + sinh rdϑ) ). 7) Therefore, the symmetric metric tensor field g is given by g ij = sinh rcosh r + sinh r) sinh r. 8) sinh r Remark. Note that inhomogeneous coordinates corresponding to 6), that are important for a later visualization of geodesics and geodesic spheres in E 3, are given by = = tan ϕ, y = cosϑ ϕ) = tanh r, 9) cos ϕ z = 3 sinϑ ϕ) = tanh r cos ϕ.
5 Geodesics and geodesic spheres in SL, R) geometry Geodesics in SL, R) The local eistence, uniqueness and smoothness of a geodesics through any point p M with initial velocity vector v T p M follow from the classical ODE theory on a smooth Riemann manifold. Given any two points in a complete Riemann manifold, standard limiting arguments show that there is a smooth curve of minimal length between these points. Any such curve is a geodesic. Geodesics in Sol and Nil geometry are considered in [], [5] and [6]. In local coordinates u, u, u 3 ) around an arbitrary point p SL, R) one has a natural local basis {,, 3 }, where i = u. The Levi-Civita connection is i defined by i j := Γ k ij k, and the Cristoffel symbols Γ k ij are given by Γ k ij = gkm i g mj + j g im m g ij ), ) where the Einstein-Schouten inde convention is used and g ij ) denotes the inverse matri of g ij ). Let us write u = r, u = ϑ, u 3 = ϕ. Now by formula ) we obtain Cristoffel symbols Γ k ij, as follows Γ ij = cosh r) sinh r cosh r sinh r, cosh r sinh r coth r + tanh r cosh r sinh r Γ ij = Γ 3 ij = coth r + tanh r cosh r sinh r sinh r tanh r tanh r sinh r tanh r. tanh r, ) Further, geodesics are given by the well-known system of differential equations ü k + u i u j Γ k ij =. ) After having substituted coefficients of Levi-Civita connection given by ) into equation ) and by assuming first r >, we obtain the following nonlinear system of the second order ordinary differential equations r = sinhr) ϑ ϕ + sinh4r) sinhr) ) ϑ ϑ, 3) ϑ = ṙ [ ] 3 coshr) ) ϑ + ϕ, 4) sinhr) ϕ = ṙ tanh r sinh r ϑ + ϕ ). 5) By homogeneity of SL, R), we can etend the solution to limit r, due to the given assumption, as follows later on.
6 48 B. Divjak, Z. Erjavec, B. Szabolcs and B. Szilágyi From 4) we get ϕ = ϑ sinhr) 4ṙ and after inserting 6) into 3) we have 3 coshr) ) ϑ, 6) r sinhr) = ϑ ϑ sinhr) coshr) ṙ ϑ ϑ. 7) Multiplying 7) by sinhr)ṙ we get a differential d ) 4ṙṙ + sinh r) ϑ ϑ = 8) dt and hence 4ṙ) + sinh r) ϑ) = 4C, 9) where C is the constant of integration, depending on initial conditions to be discussed later on. Therefore we obtain ϑ = ± C ṙ). ) sinhr) As a consequence of 3) and 4), the sign will be ) due to the geometric interpretation of a fibre translation, but we will discuss this later. From derivative of ) we get ṙ r ϑ = sinhr) ± ) C ṙ coshr) ṙ) C ṙ) sinh r). ) Further, by inserting ) and ), equation 6) has the following form r ϕ = ± ) coshr) ) ± C ṙ). ) C ṙ) sinhr) Now we put ) and ) in 5) and get ṙ r ϕ tanhr) ± ) + ± C ṙ) C ṙ) cosh r) ṙ =. 3) From this equation it follows ϕ + tanhr) ± ) C ṙ) = D, 4) where D is a new constant of integration. By equalizing ϕ from ) and 4) we have r ± ) coshr) ) ± C ṙ) C ṙ) sinhr) = D tanhr) ± ) C ṙ).
7 Geodesics and geodesic spheres in SL, R) geometry 49 By reordering and multiplying by ṙ sinhr) we get ṙ r ± C ṙ) sinhr) + ṙd sinhr) + ṙ coshr) ± ) C ṙ) =, which is again a differential and implies ± C ṙ) sinhr) + D coshr) = E. 5) In consistence with homogeneity we may consider lim t rt) =. This implies D = E, and relation 5) then obtains the following form ± C ṙ) = D tanh r. 6) Now from 6), ) and 4) we have respectively ṙ = ± C D tanh r, 7) ϑ = D cosh r, 8) Here we see the consistence with r ϕ = D + tanh r) = D + ϑ. 9) ṙ) = C, ϑ) = D, ϕ) = D. 3) At the same time we can assume r) =, ϑ) =, ϕ) =, as initial conditions. Further we consider the arc length t s = dτ ṙ) + cosh r) sinh r) ϑ) + ϕ + sinh r) ϑ), 3) that by 7), 8) and 9) gives s = t dτ C + D, 3) normalized with C + D = i.e. C = ṙ) = cos α, D = ϕ) = sin α and ϑ) = D = sin α can be assumed. Now, we have to consider three different cases: D = C >, D > C and C > D, with respect to the former equations as well. i) Case D = C >, or equivalently α = π 4. In this case we obtain Dt = rt) cosh ρ dρ = sinh rt), and hence rt) = arsinhdt). 33) From 8) and 9), with initial conditions ϕ) = and ϑ) =, we obtain ϑt) = arctandt), 34) ϕt) = Dt arctandt).
8 4 B. Divjak, Z. Erjavec, B. Szabolcs and B. Szilágyi Particularly, C = D implies α = π 4 and hence D =. ii) Case C > D, or equivalently tan α <. From 7) we have t = rt) r) dρ rt) C D tanh ρ = cosh ρ dρ, 35) C D ) sinh ρ + C and by substitution u = C D t = sinh ρ, after integration, we obtain C D arsinh u C and hence ) C rt) = arsinh C D sinh C D t) 36) According to 8), we have ϑ = DC D DC D ) ) C cosh C D t) D = cosh C D t) C D ) + D tanh C D t), and hence by using substitution u = D tanh C D t), after integration, we get D ϑt) = arctan C D tanh C D t )). 37) Finally, from 9) we have ϕt) = D t + ϑt) and hence D ϕt) = D t arctan C D tanh C D t )). 38). z. z y y.4. Figure. Geodesics in SL, R) - Case α = π 6 and α = π 4
9 Geodesics and geodesic spheres in SL, R) geometry 4 Figure shows geodesics through the origin for C = 3, D = and C = D = and parameter t [, ], respectively. iii) Case D > C, or equivalently tan α >. Similarly to the previous case, we start with equation t = rτ) r) dρ rτ) C D tanh ρ = cosh ρ dρ, r) C D C ) sinh ρ and by using substitution u = D C t = D C sinh ρ, after integration, we obtain arcsin u C, and hence ) C rt) = arsinh D C sin D C t). 39) From 8) we get ϑ = DD C DD C ) ) D C cos D C t) = cos D C t) D C ) + D tan D C t), and hence, by using substitution u = D tan D C t), after integration, we obtain D ϑt) = arctan D C tan D C t )). 4) Similarly to the former case ϕt) = D t + ϑt) and hence D ϕt) = D t arctan D C tan D C t )). 4) Figure 3 shows geodesic through the origin for C =, D = 3 and parameter t [, ]. Remark 3. One can easily observe special cases α =, and α = π, rs) = s, s) = ϑs) =, ys) = tanh s ϕs) =, zs) =, rs) =, s) = tan s ϑs) = s, ys) = ϕs) = s, zs) =.
10 4 B. Divjak, Z. Erjavec, B. Szabolcs and B. Szilágyi y... z.4.6 Figure 3. Geodesic in SL, R) - Case α = π 3 Case D = sin α < C = cos α α < π 4 t = s H -like direction) D = C = α = π 4 t = s separating light direction) C = cos α < D = sin α π 4 < α π t = s fibre-like direction) Geodesic line hyperboloid coordinates) cos α r α s) = arsinh cos α sinh ) cos α s) sin α ϑ α s) = arctan cos α tanh ) cos α s) ϕ α s) = sin α s + ϑ α s) rs) = arsinh s ) ϑs) = arctan s ) ϕs) = s + ϑs) cos α r α s) = arsinh cos α sin ) cos α s) sin α ϑ α s) = arctan cos α tan ) cos α s) ϕ α s) = sin α s + ϑ α s) Table. Table of geodesics restricted to SL, R), s π, π ) 4. Geodesic spheres in SL, R) geometry After having investigated geodesic curves, we can consider geodesic spheres. Geodesic spheres in Sol model geometry are visualized in []. For N il geodesics, problems
11 ^R) geometry Geodesics and geodesic spheres in SL, 43 with geodesic N il spheres and balls, and for analogous translation spheres and balls, we refer to [4], [5], [7] and [8], respectively. ^R) geometry geodesic spheres of radius R are given by following equain SL, tions XR, φ, α) = s = R, α), Y R, φ, α) = y s = R, α) cos φ z s = R, α) sin φ, ZR, φ, α) = y s = R, α) sin φ + z s = R, α) cos φ, 4) where, y, z are Euclidean coordinates of geodesics given in Table, that are transformed to formulas 9). Here φ π, π] denotes the longitude and according α π, π the altitude coordinate. For R π we consider the projective etension and the universal covering space ^R) = H by ) see [3]) for the fibre coordinate ϕ R by etra conventions. SL, That is not visual any more! In Figure 4 geodesic half-spheres in SL, R) are shown. Dark parts correspond to geodesics determined by α < π4, light parts correspond to geodesics determined by π4 < α π and black curves between these parts correspond to α = π z y z z y - y Figure 4. Geodesic half-spheres in SL, R) of radius.5, and.5, respectively References [] A. Bo lcskei, B. Szila gyi, Visualization of curves and spheres in Sol geometry, Croat. Soc. Geo. Graph. 6), 7 3.
12 44 B. Divjak, Z. Erjavec, B. Szabolcs and B. Szilágyi [] A. Bölcskei, B. Szilágyi, Frenet formulas and geodesics in Sol geometry, Beiträge Algebra Geom. 487), 4 4. [3] E. Molnár, The projective interpretation of the eight 3-dimensional homogeneous geometries, Beiträge Algebra Geom ), [4] E. Molnár, On Nil geometry, Periodica Polytehnica Ser. Mech. Eng. 473), [5] E. Molnár, J. Szirmai, Symmetries in the 8 homogeneous 3-geometries, Symmetry: Culture and Science, to appear. [6] P. Scott, The Geometries of 3-Manifolds, Bull. London Math. Soc. 5983), [7] J. Szirmai, The densest geodesic ball packing by a type of Nil lattices, Beiträge Algebra Geom. 467), [8] J. Szirmai, The densest translation ball packing by fundamental lattices in Sol space, Beiträge zur Algebra und Geometrie, to appear.
HIGHER-DIMENSIONAL CENTRAL PROJECTION INTO 2-PLANE WITH VISIBILITY AND APPLICATIONS
Kragujevac Journal of Mathematics Volume 35 Number (0), Pages 9 63. HIGHER-DIMENSIONAL CENTRAL PROJECTION INTO -PLANE WITH VISIBILITY AND APPLICATIONS J. KATONA, E. MOLNÁR, I. PROK 3, AND J. SZIRMAI Abstract.
More informationThe Densest Geodesic Ball Packing by a Type of Nil Lattices
Beiträge zur Algebra und Geometrie Contributions to Algebra and Geometry Volume 48 (7), No., 383-397. The Densest Geodesic Ball Packing by a Type of Nil Lattices Jenő Szirmai Budapest University of Technology
More informationThe General Solutions of Frenet s System in the Equiform Geometry of the Galilean, Pseudo-Galilean, Simple Isotropic and Double Isotropic Space 1
International Mathematical Forum, Vol. 6, 2011, no. 17, 837-856 The General Solutions of Frenet s System in the Equiform Geometry of the Galilean, Pseudo-Galilean, Simple Isotropic and Double Isotropic
More informationInteresting Surfaces in Nil Space *
Proceedings of the 8 th International Conference on Applied Informatics Eger, Hungary, January 27 30, 2010. Vol. 1. pp. 185 192. Interesting Surfaces in Nil Space * Benedek Schultz a, Jenő Szirmai b a
More informationVisualization of Curves and Spheres in Sol Geometry
KoG 6 Original scientific paper Accepted.. 6. ATTILA BÖLCSKEI BRIGITTA SZILÁGYI Visualization of Curves and Spheres in Sol Geometry Visualization of Curves and Spheres in Sol Geometry ABSTRACT The paper
More informationThe equiform differential geometry of curves in the pseudo-galilean space
Mathematical Communications 13(2008), 321-332 321 The equiform differential geometry of curves in the pseudo-galilean space Zlatko Erjavec and Blaženka Divjak Abstract. In this paper the equiform differential
More informationArc Length and Riemannian Metric Geometry
Arc Length and Riemannian Metric Geometry References: 1 W F Reynolds, Hyperbolic geometry on a hyperboloid, Amer Math Monthly 100 (1993) 442 455 2 Wikipedia page Metric tensor The most pertinent parts
More informationUNIVERSITY OF DUBLIN
UNIVERSITY OF DUBLIN TRINITY COLLEGE JS & SS Mathematics SS Theoretical Physics SS TSM Mathematics Faculty of Engineering, Mathematics and Science school of mathematics Trinity Term 2015 Module MA3429
More informationThe Geometrization Theorem
The Geometrization Theorem Matthew D. Brown Wednesday, December 19, 2012 In this paper, we discuss the Geometrization Theorem, formerly Thurston s Geometrization Conjecture, which is essentially the statement
More information274 Curves on Surfaces, Lecture 4
274 Curves on Surfaces, Lecture 4 Dylan Thurston Notes by Qiaochu Yuan Fall 2012 4 Hyperbolic geometry Last time there was an exercise asking for braids giving the torsion elements in PSL 2 (Z). A 3-torsion
More informationM3/4A16 Assessed Coursework 1 Darryl Holm Due in class Thursday November 6, 2008 #1 Eikonal equation from Fermat s principle
D. D. Holm November 6, 2008 M3/416 Geom Mech Part 1 1 M3/416 ssessed Coursework 1 Darryl Holm Due in class Thursday November 6, 2008 #1 Eikonal equation from Fermat s principle #1a Prove that the 3D eikonal
More informationSL 2 (R) AND Sol. Valeri Marenitch, 1
Novi Sad J. Math. Vol. 38, No. 2, 2008, 91-104 GEODESIC LINES IN Valeri Marenitch, 1 SL 2 (R) AND Sol Abstract. Locally, there are eight types of nice, i.e., homogeneous metrics in dimension three. Besides
More information2 Lie Groups. Contents
2 Lie Groups Contents 2.1 Algebraic Properties 25 2.2 Topological Properties 27 2.3 Unification of Algebra and Topology 29 2.4 Unexpected Simplification 31 2.5 Conclusion 31 2.6 Problems 32 Lie groups
More informationCoxeter Groups as Automorphism Groups of Solid Transitive 3-simplex Tilings
Filomat 8:3 4, 557 577 DOI 98/FIL43557S Published by Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: http://wwwpmfniacrs/filomat Coxeter Groups as Automorphism Groups of Solid
More informationWARPED PRODUCT METRICS ON (COMPLEX) HYPERBOLIC MANIFOLDS
WARPED PRODUCT METRICS ON COMPLEX) HYPERBOLIC MANIFOLDS BARRY MINEMYER Abstract. In this paper we study manifolds of the form X \ Y, where X denotes either H n or CH n, and Y is a totally geodesic submanifold
More informationTubes in Hyperbolic 3-Manifolds
Tubes in Hyperbolic 3-Manifolds Andrew Przeworski February 19, 001 Abstract We prove a lower bound on the volume of a maximal precisely invariant tube in a hyperbolic 3-manifold. This lower bound depends
More information2016 FAMAT Convention Mu Integration 1 = 80 0 = 80. dx 1 + x 2 = arctan x] k2
6 FAMAT Convention Mu Integration. A. 3 3 7 6 6 3 ] 3 6 6 3. B. For quadratic functions, Simpson s Rule is eact. Thus, 3. D.. B. lim 5 3 + ) 3 + ] 5 8 8 cot θ) dθ csc θ ) dθ cot θ θ + C n k n + k n lim
More informationActa Mathematica Academiae Paedagogicae Nyíregyháziensis 24 (2008), ISSN
Acta Mathematica Academiae Paedagogicae Nyíregyháziensis 24 (2008), 25 31 www.emis.de/journals ISSN 1786-0091 ON THE RECTILINEAR EXTREMALS OF GEODESICS IN SOL GEOMETRY Abstract. In this paper we deal with
More informationRevision Checklist. Unit FP3: Further Pure Mathematics 3. Assessment information
Revision Checklist Unit FP3: Further Pure Mathematics 3 Unit description Further matrix algebra; vectors, hyperbolic functions; differentiation; integration, further coordinate systems Assessment information
More informationFurther Pure Mathematics 3 GCE Further Mathematics GCE Pure Mathematics and Further Mathematics (Additional) A2 optional unit
Unit FP3 Further Pure Mathematics 3 GCE Further Mathematics GCE Pure Mathematics and Further Mathematics (Additional) A optional unit FP3.1 Unit description Further matrix algebra; vectors, hyperbolic
More informationProjective geometry and spacetime structure. David Delphenich Bethany College Lindsborg, KS USA
Projective geometry and spacetime structure David Delphenich Bethany College Lindsborg, KS USA delphenichd@bethanylb.edu Affine geometry In affine geometry the basic objects are points in a space A n on
More informationCurves with constant geodesic curvature in the Bolyai-Lobachevskian plane
Stud. Univ. Babeş-Bolyai Math. 60205), No. 3, 449 462 Curves with constant geodesic curvature in the Bolyai-Lobachevsian plane Zoltán Gábos and Ágnes Mester Abstract. The aim of this note is to present
More informationINTRODUCTION TO GEOMETRY
INTRODUCTION TO GEOMETRY ERIKA DUNN-WEISS Abstract. This paper is an introduction to Riemannian and semi-riemannian manifolds of constant sectional curvature. We will introduce the concepts of moving frames,
More informationSpecial and General Relativity (PHZ 4601/5606) Fall 2018 Classwork and Homework. Every exercise counts 10 points unless stated differently.
1 Special and General Relativity (PHZ 4601/5606) Fall 2018 Classwork and Homework Every exercise counts 10 points unless stated differently. Set 1: (1) Homework, due ( F ) 8/31/2018 before ( ) class. Consider
More informationHyperbolic Geometry on Geometric Surfaces
Mathematics Seminar, 15 September 2010 Outline Introduction Hyperbolic geometry Abstract surfaces The hemisphere model as a geometric surface The Poincaré disk model as a geometric surface Conclusion Introduction
More informationHyperbolic Discrete Ricci Curvature Flows
Hyperbolic Discrete Ricci Curvature Flows 1 1 Mathematics Science Center Tsinghua University Tsinghua University 010 Unified Framework of Discrete Curvature Flow Unified framework for both Discrete Ricci
More informationIntroduction and Vectors Lecture 1
1 Introduction Introduction and Vectors Lecture 1 This is a course on classical Electromagnetism. It is the foundation for more advanced courses in modern physics. All physics of the modern era, from quantum
More informationHighly complex: Möbius transformations, hyperbolic tessellations and pearl fractals
Highly complex: Möbius transformations, hyperbolic tessellations and pearl fractals Department of mathematical sciences Aalborg University Cergy-Pontoise 26.5.2011 Möbius transformations Definition Möbius
More information2.20 Fall 2018 Math Review
2.20 Fall 2018 Math Review September 10, 2018 These notes are to help you through the math used in this class. This is just a refresher, so if you never learned one of these topics you should look more
More informationHoroball Packings for the Lambert-cube Tilings in the Hyperbolic 3-space
Beiträge zur Algebra und Geometrie Contributions to Algebra and Geometry Volume 44 (2005), No. 1, 43-60. Horoball Packings for the Lambert-cube Tilings in the Hyperbolic 3-space Dedicated to Professor
More informationA CONSTRUCTION OF TRANSVERSE SUBMANIFOLDS
UNIVERSITATIS IAGELLONICAE ACTA MATHEMATICA, FASCICULUS XLI 2003 A CONSTRUCTION OF TRANSVERSE SUBMANIFOLDS by J. Szenthe Abstract. In case of Riemannian manifolds isometric actions admitting submanifolds
More informationWARPED PRODUCTS PETER PETERSEN
WARPED PRODUCTS PETER PETERSEN. Definitions We shall define as few concepts as possible. A tangent vector always has the local coordinate expansion v dx i (v) and a function the differential df f dxi We
More informationThe Erlangen Program and General Relativity
The Erlangen Program and General Relativity Derek K. Wise University of Erlangen Department of Mathematics & Institute for Quantum Gravity Colloquium, Utah State University January 2014 What is geometry?
More informationIntegrals in cylindrical, spherical coordinates (Sect. 15.7)
Integrals in clindrical, spherical coordinates (Sect. 15.7 Integration in spherical coordinates. Review: Clindrical coordinates. Spherical coordinates in space. Triple integral in spherical coordinates.
More informationUniversal bounds for hyperbolic Dehn surgery
Annals of Mathematics, 162 (2005), 367 421 Universal bounds for hyperbolic Dehn surgery By Craig D. Hodgson and Steven P. Kerckhoff* Abstract This paper gives a quantitative version of Thurston s hyperbolic
More informationA local characterization for constant curvature metrics in 2-dimensional Lorentz manifolds
A local characterization for constant curvature metrics in -dimensional Lorentz manifolds Ivo Terek Couto Alexandre Lymberopoulos August 9, 8 arxiv:65.7573v [math.dg] 4 May 6 Abstract In this paper we
More informationExact Solutions of the Einstein Equations
Notes from phz 6607, Special and General Relativity University of Florida, Fall 2004, Detweiler Exact Solutions of the Einstein Equations These notes are not a substitute in any manner for class lectures.
More informationIntroduction to Differential Geometry
More about Introduction to Differential Geometry Lecture 7 of 10: Dominic Joyce, Oxford University October 2018 EPSRC CDT in Partial Differential Equations foundation module. These slides available at
More informationSOME SPECIAL KLEINIAN GROUPS AND THEIR ORBIFOLDS
Proyecciones Vol. 21, N o 1, pp. 21-50, May 2002. Universidad Católica del Norte Antofagasta - Chile SOME SPECIAL KLEINIAN GROUPS AND THEIR ORBIFOLDS RUBÉN HIDALGO Universidad Técnica Federico Santa María
More informationGeneral Relativity and Cosmology Mock exam
Physikalisches Institut Mock Exam Universität Bonn 29. June 2011 Theoretische Physik SS 2011 General Relativity and Cosmology Mock exam Priv. Doz. Dr. S. Förste Exercise 1: Overview Give short answers
More informationTutorial Exercises: Geometric Connections
Tutorial Exercises: Geometric Connections 1. Geodesics in the Isotropic Mercator Projection When the surface of the globe is projected onto a flat map some aspects of the map are inevitably distorted.
More informationCALCULUS ON MANIFOLDS. 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M =
CALCULUS ON MANIFOLDS 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M = a M T am, called the tangent bundle, is itself a smooth manifold, dim T M = 2n. Example 1.
More informationSPLIT QUATERNIONS and CANAL SURFACES. in MINKOWSKI 3-SPACE
INTERNATIONAL JOURNAL OF GEOMETRY Vol. 5 (016, No., 51-61 SPLIT QUATERNIONS and CANAL SURFACES in MINKOWSKI 3-SPACE SELAHATTIN ASLAN and YUSUF YAYLI Abstract. A canal surface is the envelope of a one-parameter
More information+ dxk. dt 2. dt Γi km dxm. . Its equations of motion are second order differential equations. with intitial conditions
Homework 7. Solutions 1 Show that great circles are geodesics on sphere. Do it a) using the fact that for geodesic, acceleration is orthogonal to the surface. b ) using straightforwardl equations for geodesics
More informationHyperbolic Conformal Geometry with Clifford Algebra 1)
MM Research Preprints, 72 83 No. 18, Dec. 1999. Beijing Hyperbolic Conformal Geometry with Clifford Algebra 1) Hongbo Li Abstract. In this paper we study hyperbolic conformal geometry following a Clifford
More information612 CLASS LECTURE: HYPERBOLIC GEOMETRY
612 CLASS LECTURE: HYPERBOLIC GEOMETRY JOSHUA P. BOWMAN 1. Conformal metrics As a vector space, C has a canonical norm, the same as the standard R 2 norm. Denote this dz one should think of dz as the identity
More informationÉlie Cartan s Theory of Moving Frames
Élie Cartan s Theory of Moving Frames Orn Arnaldsson Department of Mathematics University of Minnesota, Minneapolis Special Topics Seminar, Spring 2014 The Story of Symmetry Felix Klein and Sophus Lie
More informationConvex Projective Structures on Non-hyperbolic 3-manifolds
Convex Projective Structures on Non-hyperbolic 3-manifolds Sam Ballas (joint with J. Danciger and G.-S. Lee) Higher Teichmüller theory and Higgs bundles Heidelberg November 3, 2015 Overview If you want
More information9 Symmetries of AdS 3
9 Symmetries of AdS 3 This section consists entirely of exercises. If you are not doing the exercises, then read through them anyway, since this material will be used later in the course. The main goal
More informationDIFFERENTIAL GEOMETRY HW 5
DIFFERENTIAL GEOMETRY HW 5 CLAY SHONKWILER 1 Check the calculations above that the Gaussian curvature of the upper half-plane and Poincaré disk models of the hyperbolic plane is 1. Proof. The calculations
More informationMostow Rigidity. W. Dison June 17, (a) semi-simple Lie groups with trivial centre and no compact factors and
Mostow Rigidity W. Dison June 17, 2005 0 Introduction Lie Groups and Symmetric Spaces We will be concerned with (a) semi-simple Lie groups with trivial centre and no compact factors and (b) simply connected,
More informationTHE VOLUME OF A HYPERBOLIC 3-MANIFOLD WITH BETTI NUMBER 2. Marc Culler and Peter B. Shalen. University of Illinois at Chicago
THE VOLUME OF A HYPERBOLIC -MANIFOLD WITH BETTI NUMBER 2 Marc Culler and Peter B. Shalen University of Illinois at Chicago Abstract. If M is a closed orientable hyperbolic -manifold with first Betti number
More informationHolonomy groups. Thomas Leistner. Mathematics Colloquium School of Mathematics and Physics The University of Queensland. October 31, 2011 May 28, 2012
Holonomy groups Thomas Leistner Mathematics Colloquium School of Mathematics and Physics The University of Queensland October 31, 2011 May 28, 2012 1/17 The notion of holonomy groups is based on Parallel
More informationChapter 3. Riemannian Manifolds - I. The subject of this thesis is to extend the combinatorial curve reconstruction approach to curves
Chapter 3 Riemannian Manifolds - I The subject of this thesis is to extend the combinatorial curve reconstruction approach to curves embedded in Riemannian manifolds. A Riemannian manifold is an abstraction
More informationMATH 434 Fall 2016 Homework 1, due on Wednesday August 31
Homework 1, due on Wednesday August 31 Problem 1. Let z = 2 i and z = 3 + 4i. Write the product zz and the quotient z z in the form a + ib, with a, b R. Problem 2. Let z C be a complex number, and let
More informationFrom holonomy reductions of Cartan geometries to geometric compactifications
From holonomy reductions of Cartan geometries to geometric compactifications 1 University of Vienna Faculty of Mathematics Berlin, November 11, 2016 1 supported by project P27072 N25 of the Austrian Science
More information1 Hermitian symmetric spaces: examples and basic properties
Contents 1 Hermitian symmetric spaces: examples and basic properties 1 1.1 Almost complex manifolds............................................ 1 1.2 Hermitian manifolds................................................
More informationHolonomy groups. Thomas Leistner. School of Mathematical Sciences Colloquium University of Adelaide, May 7, /15
Holonomy groups Thomas Leistner School of Mathematical Sciences Colloquium University of Adelaide, May 7, 2010 1/15 The notion of holonomy groups is based on Parallel translation Let γ : [0, 1] R 2 be
More informationAN INTEGRAL FORMULA FOR TRIPLE LINKING IN HYPERBOLIC SPACE
AN INTEGRAL FORMULA FOR TRIPLE LINKING IN HYPERBOLIC SPACE PAUL GALLAGHER AND TIANYOU ZHOU Abstract. We provide a geometrically natural formula for the triple linking number of 3 pairwise unlinked curves
More informationPart IB Geometry. Theorems. Based on lectures by A. G. Kovalev Notes taken by Dexter Chua. Lent 2016
Part IB Geometry Theorems Based on lectures by A. G. Kovalev Notes taken by Dexter Chua Lent 2016 These notes are not endorsed by the lecturers, and I have modified them (often significantly) after lectures.
More informationSmarandache Curves and Spherical Indicatrices in the Galilean. 3-Space
arxiv:50.05245v [math.dg 2 Jan 205, 5 pages. DOI:0.528/zenodo.835456 Smarandache Curves and Spherical Indicatrices in the Galilean 3-Space H.S.Abdel-Aziz and M.Khalifa Saad Dept. of Math., Faculty of Science,
More informationCurvature homogeneity of type (1, 3) in pseudo-riemannian manifolds
Curvature homogeneity of type (1, 3) in pseudo-riemannian manifolds Cullen McDonald August, 013 Abstract We construct two new families of pseudo-riemannian manifolds which are curvature homegeneous of
More information1 Vector fields, flows and Lie derivatives
Working title: Notes on Lie derivatives and Killing vector fields Author: T. Harmark Killingvectors.tex 5//2008, 22:55 Vector fields, flows and Lie derivatives Coordinates Consider an n-dimensional manifold
More informationPart IB GEOMETRY (Lent 2016): Example Sheet 1
Part IB GEOMETRY (Lent 2016): Example Sheet 1 (a.g.kovalev@dpmms.cam.ac.uk) 1. Suppose that H is a hyperplane in Euclidean n-space R n defined by u x = c for some unit vector u and constant c. The reflection
More informationISOMETRIES OF THE HYPERBOLIC PLANE
ISOMETRIES OF THE HYPERBOLIC PLANE ALBERT CHANG Abstract. In this paper, I will explore basic properties of the group P SL(, R). These include the relationship between isometries of H, Möbius transformations,
More information8.821 String Theory Fall 2008
MIT OpenCourseWare http://ocw.mit.edu 8.81 String Theory Fall 008 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 8.81 F008 Lecture 11: CFT continued;
More informationInvariant Nonholonomic Riemannian Structures on Three-Dimensional Lie Groups
Invariant Nonholonomic Riemannian Structures on Three-Dimensional Lie Groups Dennis I. Barrett Geometry, Graphs and Control (GGC) Research Group Department of Mathematics, Rhodes University Grahamstown,
More informationBrownian Motion and lorentzian manifolds
The case of Jürgen Angst Institut de Recherche Mathématique Avancée Université Louis Pasteur, Strasbourg École d été de Probabilités de Saint-Flour juillet 2008, Saint-Flour 1 Construction of the diffusion,
More informationThe existence of light-like homogeneous geodesics in homogeneous Lorentzian manifolds. Sao Paulo, 2013
The existence of light-like homogeneous geodesics in homogeneous Lorentzian manifolds Zdeněk Dušek Sao Paulo, 2013 Motivation In a previous project, it was proved that any homogeneous affine manifold (and
More informationMATHEMATICS 200 April 2010 Final Exam Solutions
MATHEMATICS April Final Eam Solutions. (a) A surface z(, y) is defined by zy y + ln(yz). (i) Compute z, z y (ii) Evaluate z and z y in terms of, y, z. at (, y, z) (,, /). (b) A surface z f(, y) has derivatives
More informationThe groups SO(3) and SU(2) and their representations
CHAPTER VI The groups SO(3) and SU() and their representations Two continuous groups of transformations that play an important role in physics are the special orthogonal group of order 3, SO(3), and the
More informationSolution Sheet 1.4 Questions 26-31
Solution Sheet 1.4 Questions 26-31 26. Using the Limit Rules evaluate i) ii) iii) 3 2 +4+1 0 2 +4+3, 3 2 +4+1 2 +4+3, 3 2 +4+1 1 2 +4+3. Note When using a Limit Rule you must write down which Rule you
More informationJunior Seminar: Hyperbolic Geometry Lecture Notes
Junior Seminar: Hyperbolic Geometry Lecture Notes Tim Campion January 20, 2010 1 Motivation Our first construction is very similar in spirit to an analogous one in Euclidean space. The group of isometries
More informationModuli spaces of Type A geometries EGEO 2016 La Falda, Argentina. Peter B Gilkey
EGEO 2016 La Falda, Argentina Mathematics Department, University of Oregon, Eugene OR USA email: gilkey@uoregon.edu a Joint work with M. Brozos-Vázquez, E. García-Río, and J.H. Park a Partially supported
More informationSchwarschild Metric From Kepler s Law
Schwarschild Metric From Kepler s Law Amit kumar Jha Department of Physics, Jamia Millia Islamia Abstract The simplest non-trivial configuration of spacetime in which gravity plays a role is for the region
More informationStratification of 3 3 Matrices
Stratification of 3 3 Matrices Meesue Yoo & Clay Shonkwiler March 2, 2006 1 Warmup with 2 2 Matrices { Best matrices of rank 2} = O(2) S 3 ( 2) { Best matrices of rank 1} S 3 (1) 1.1 Viewing O(2) S 3 (
More informationWarped Products. by Peter Petersen. We shall de ne as few concepts as possible. A tangent vector always has the local coordinate expansion
Warped Products by Peter Petersen De nitions We shall de ne as few concepts as possible. A tangent vector always has the local coordinate expansion a function the di erential v = dx i (v) df = f dxi We
More informationCHIRALITY IN METRIC SPACES
Symmetry: Culture and Science Vol. 21, Nos.1-3, 27-36, 2010 CHIRALITY IN METRIC SPACES Michel Petitjean Address: CEA Saclay/DSV/iBiTec-S/SB2SM (CNRS URA 2096), 91191 Gif-sur-Yvette Cedex, France. E-mail:
More informationDerivatives in General Relativity
Derivatives in General Relativity One of the problems with curved space is in dealing with vectors how do you add a vector at one point in the surface of a sphere to a vector at a different point, and
More informationChristoffel Symbols. 1 In General Topologies. Joshua Albert. September 28, W. First we say W : λ n = x µ (λ) so that the world
Christoffel Symbols Joshua Albert September 28, 22 In General Topoloies We have a metric tensor nm defined by, Note by some handy theorem that for almost any continuous function F (L), equation 2 still
More informationOn the Volume Formula for Hyperbolic Tetrahedra
Discrete Comput Geom :347 366 (999 Discrete & Computational Geometry 999 Springer-Verlag New York Inc. On the Volume Formula for Hyperbolic Tetrahedra Yunhi Cho and Hyuk Kim Department of Mathematics,
More information2 Recollection of elementary functions. II
Recollection of elementary functions. II Last updated: October 5, 08. In this section we continue recollection of elementary functions. In particular, we consider exponential, trigonometric and hyperbolic
More informationOrientation transport
Orientation transport Liviu I. Nicolaescu Dept. of Mathematics University of Notre Dame Notre Dame, IN 46556-4618 nicolaescu.1@nd.edu June 2004 1 S 1 -bundles over 3-manifolds: homological properties Let
More informationReduction of Homogeneous Riemannian structures
Geometric Structures in Mathematical Physics, 2011 Reduction of Homogeneous Riemannian structures M. Castrillón López 1 Ignacio Luján 2 1 ICMAT (CSIC-UAM-UC3M-UCM) Universidad Complutense de Madrid 2 Universidad
More informationGauge Theory of Gravitation: Electro-Gravity Mixing
Gauge Theory of Gravitation: Electro-Gravity Mixing E. Sánchez-Sastre 1,2, V. Aldaya 1,3 1 Instituto de Astrofisica de Andalucía, Granada, Spain 2 Email: sastre@iaa.es, es-sastre@hotmail.com 3 Email: valdaya@iaa.es
More informationUseful Mathematics. 1. Multivariable Calculus. 1.1 Taylor s Theorem. Monday, 13 May 2013
Useful Mathematics Monday, 13 May 013 Physics 111 In recent years I have observed a reticence among a subpopulation of students to dive into mathematics when the occasion arises in theoretical mechanics
More informationIntroduction to General Relativity
Introduction to General Relativity Lectures by Igor Pesando Slides by Pietro Fré Virgo Site May 22nd 2006 The issue of reference frames Since oldest and observers antiquity the Who is at motion? The Sun
More information(Non-)Causality in General Relativity
(Non-)Causality in General Relativity The Gödel universe Atle Hahn GFM, Universidade de Lisboa Lisbon, 12th March 2010 Contents: 1 Review 2 The Gödel solutions, part I 3 Mathematical Intermezzo 4 The Gödel
More informationSpecial Conformal Invariance
Chapter 6 Special Conformal Invariance Conformal transformation on the d-dimensional flat space-time manifold M is an invertible mapping of the space-time coordinate x x x the metric tensor invariant up
More informationHelicoidal Surfaces and Their Relationship to Bonnet Surfaces
Advances in Pure Mathematics, 07, 7, -40 http://wwwscirporg/journal/apm ISSN Online: 60-084 ISSN Print: 60-068 Helicoidal Surfaces and Their Relationship to Bonnet Surfaces Paul Bracken Department of Mathematics,
More informationTRIGONOMETRY IN EXTENDED HYPERBOLIC SPACE AND EXTENDED DE SITTER SPACE
Bull. Korean Math. Soc. 46 (009), No. 6, pp. 1099 1133 DOI 10.4134/BKMS.009.46.6.1099 TRIGONOMETRY IN EXTENDED HYPERBOLIC SPACE AND EXTENDED DE SITTER SPACE Yunhi Cho Abstract. We study the hyperbolic
More information= ϕ r cos θ. 0 cos ξ sin ξ and sin ξ cos ξ. sin ξ 0 cos ξ
8. The Banach-Tarski paradox May, 2012 The Banach-Tarski paradox is that a unit ball in Euclidean -space can be decomposed into finitely many parts which can then be reassembled to form two unit balls
More informationRigidity and Non-rigidity Results on the Sphere
Rigidity and Non-rigidity Results on the Sphere Fengbo Hang Xiaodong Wang Department of Mathematics Michigan State University Oct., 00 1 Introduction It is a simple consequence of the maximum principle
More informationLorentz and Poincaré groups
HAPTER VIII Lorentz and Poincaré groups onsider the four-dimensional real vector space R 4. Its vectors will generically be denoted in a sans-serif font, as e.g. x. Assuming a basis has been chosen, the
More informationL 2 Geometry of the Symplectomorphism Group
University of Notre Dame Workshop on Innite Dimensional Geometry, Vienna 2015 Outline 1 The Exponential Map on D s ω(m) 2 Existence of Multiplicity of Outline 1 The Exponential Map on D s ω(m) 2 Existence
More informationTransversal Surfaces of Timelike Ruled Surfaces in Minkowski 3-Space
Transversal Surfaces of Timelike Ruled Surfaces in Minkowski -Space Mehmet Önder Celal Bayar University, Faculty of Science and Arts, Department of Mathematics, Muradiye Campus, 45047, Muradiye, Manisa,
More informationRandom geometric graphs, Apollonian packings, number networks, and the Riemann hypothesis
Random geometric graphs, Apollonian packings, number networks, and the Riemann hypothesis Dmitri Krioukov NU M. Kitsak (NU), R. Sinkovits (UCSD/SDSC) David Rideout & David Meyer UCSD/Math Marian Boguñá
More information1 First and second variational formulas for area
1 First and second variational formulas for area In this chapter, we will derive the first and second variational formulas for the area of a submanifold. This will be useful in our later discussion on
More informationWilliam P. Thurston. The Geometry and Topology of Three-Manifolds
William P. Thurston The Geometry and Topology of Three-Manifolds Electronic version 1.1 - March 00 http://www.msri.org/publications/books/gt3m/ This is an electronic edition of the 1980 notes distributed
More informationThe spacetime of special relativity
1 The spacetime of special relativity We begin our discussion of the relativistic theory of gravity by reviewing some basic notions underlying the Newtonian and special-relativistic viewpoints of space
More information