DOCSLIB.ORG

Research Article Slant Curves in the Unit Tangent Bundles of Surfaces

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Research Article Slant Curves in the Unit Tangent Bundles of Surfaces Hindawi Publishing Corporation ISRN Geometry Volume 2013, Article ID 821429, 5 pages http://dx.doi.org/10.1155/2013/821429 Research Article Slant Curves in the Unit Tangent Bundles of Surfaces Zhong Hua Hou and Lei Sun Institute of Mathematics, Dalian University of Technology, Dalian, Liaoning 116024, China Correspondence should be addressed to Lei Sun; [email protected] Received 26 September 2013; Accepted 25 October 2013 Academic Editors: T. Friedrich and M. Pontecorvo Copyright © 2013 Z. H. Hou and L. Sun. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. Let (, ) be a surface and let ((), ) be the unit tangent bundle of endowed with the Sasaki metric. We know that any curve Γ() in () consistofacurve() in and as unit vector field () along (). In this paper we study the geometric properties () and () satisfying when Γ() is a slant geodesic. 1. Introduction Theorem 1. Let Γ() = ((), ()) be a Legendrian geodesic parameterized by arc length in () with domain ∈[,]. (,,,,) Let be a 3-dimensional contact metric mani- If the set consisting of points ∈[,]such that () = 1 fold.Theslantcurvesin are generalization of Legendrian is discrete, then () is a geodesic of velocity 2 and () is the curves which form a constant angle with the Reeb vector field normal direction of in . .Choetal.[1] studied Lancret type problem for curves in Sasakian 3-manifold. They showed that a curve () ⊂ Theorem 2. Let Γ() = ((), ()) be a slant geodesic param- is slant if and only if ( ± 1)/ is constant where and eterized by arc length in () which is not Legendrian. () are torsion and curvature of ,respectively,andtheyalso Under the assumptions of () as in Theorem 1,wehavethe gave some examples of slant curves. One can find some other following. papers about slant curves in almost contact metric manifolds. () =±()̸ () For examples, Calin˘ et al. [2] studied the slant curves in - (1) If ,then is a geodesic of velocity 2 and () Kenmotsu manifolds. In [3], Calin˘ and Crasmareanu studied is a parallel vector field along . slant curves in normal almost contact manifolds. (2) If () = ±(),then() is a curve of velocity 2| cos | (, ) Let be a Riemannian manifold. Sasaki [4, 5]stud- with constant curvature =±tan . ied the geometries of endowed with the Sasaki metric and introduced the almost complex structure in which 2. Preliminaries is compatible with .Tashiro[6] constructed an almost (,,,) contact metric structure in the unit tangent Firstly, we introduce the (almost) contact metric structure on () bundle of which is induced from the almost com- a Riemannian manifold of odd dimension. With the same (, ,) ∞ plex structure in .KlingenbergandSasaki[7] notations as in [9]; let be a real (2 + -dimensional1) C 2 ∞ studied geodesics in the unit tangent bundle of -sphere manifold and X() the Lie algebra of C vector fields on 2 (2) ∞ endowed with Sasaki metric and showed that is .Analmost cocomplex structure on is defined by a C 3(1/4) ∞ ∞ isometric to .Sasaki[8] studied the geodesics on the (1,1)-tensor ,aC vector field and a C 1-form on unit tangent bundles over space forms. such that for any point ∈we have In this paper, we study the slant geodesics in the unit () () 2 tangent bundle of some surface .Foranycurve =−+ ⨂ , ()=1, (1) in ,let() = |()|() be the tangent vector field of () and let () be the sectional curvature of at (),wehave where denotes the identity transformation of the tan- the following theorems. gent space at . Manifolds equipped with an almost 2 ISRN Geometry ∗ cocomplex structure are called almost contact manifolds.A from () to and this map induces a metric = Riemannian manifold with a metric andanalmostcontact in () as follows: (, , ) structure is called almost contact metric or almost co- ℎ ℎ Hermitian manifold if and (, , ) satisfies ( , )=(, ) , (ℎ,)=0, (, ) =(, ) −() () , (2) (7) (,)=(, ) −(, ) (, ) , for any vector fields , ∈ X(). As in Kahler geometry, we can define the fundamental 2- , ∈ X() Φ (,,,,) for any vector fields . form on the almost contact metric manifold From Tashiro [6], we know that there is an almost contact as metric structure ( , , , ) in () which is induced from the almost complex structure in such that Φ (, ) =(, ) , (3) V V ∘∗ =∗ ∘ + ⨂ ,∘∗ ( )=. (8) for any vector fields , ∈ X().Obviously,thisform satisfies ∧Φ =0̸ which means every almost contact metric This implies that manifold is orientable and that (, Φ) defines an almost ()=1, ()=0, ∘ =0. cosymplectic structure on .Ifthefundamental2-formΦ= (9) ,thenwecall(,,,,)acontactmetricmanifold. From Blair et al. [10], at any point (, ) ∈ () we have Let ( ,) be the locally coordinate systems on the tangent bundle of .Sasaki[4, 5] defined a metric on =ℎ, which is the natural lifts of the metric on as follows: () = (, ℎ), ℎ ℎ ( , )=(, ) , (10) Φ (, ) = (, ) = 2 (, ) , ℎ V ( , )=0, (4) ℎ =, =−ℎ + (ℎ), V V ( , )=(, ) , where ∈X() and , ∈X(()).Hence,weknow ℎ V (,,,) () where , ∈ X() and = − Γ and = that there is a contact metric structure in (, ) such that are the horizontal and vertical lifts of at with respect to Levi-Civita connection ∇ of ,respectively, 1 1 = ,=2,=,= . (11) and {Γ } are the Christoffel symbols of ∇. The Levi-Civita 2 4 ∇ connection of is defined as By (5), we know that the Levi-Civita connection of ((), ) is determined by the following: ℎ ℎ 1 V ℎ 1 ℎ ∇ℎ =(∇) − ( ) , ∇V = ( ) , ⊤ 1 2 2 ℎ =(∇ ℎ) =(∇ )ℎ − ( ), ℎ ℎ 2 V V 1 ℎ V ∇ ℎ =(∇ ) + ( ) , ∇ V =0, 2 ℎ ℎ ⊤ 1 ℎ =(∇ ) = () , (5) 2 (12) ⊤ 1 ℎ ℎ =(∇ ℎ ) =(∇ ) + ( ) , where , ∈ X() and is the curvature tensor on 2 (, ).Thealmostcomplexstructure on which is ⊤ compatible with is given by =(∇ ) =−(, ) , ℎ V V ℎ for any (, ) ∈ () and , ∈ X(()). =,=− , (6) () for any vector field ∈X(). 3. Geodesic Slant Curves in We know that the normal vector field of the unit tangent Let (, ) be a surface and let :[,]→be a curve in bundle () = {(, ) ∈ ; (,)=1} of at (, ) ∈ V ℎ .LetΓ() = ((), ()) be a curve in ((), , ,, ,) () in (, ) is .LetX(()) ={ +;,∈ ∞ where the contact metric structure is given by (11). X()} be the Lie algebra of C vector fields on () ℎ V where = − Γ and = ( − (, )) are Definition 3. We say that Γ() is a slant curve in () if the the horizontal and tangential lifts of at (, ) ∈ (), angle between the tangent vector field Γ () of Γ() and is respectively. Let : () → be the including map constant. ISRN Geometry 3 Assume that Γ() is parameterized by the arc length. We Substituting (19)into(14), we have know that 2 2 cos 2 +4( +) +4( cos +) =4. (20) 2 Γ () = + Since (, ∇ ) =,from( 0 15)and(19)wehave ℎ = ( ) (Γ ()) +( + Γ) (Γ ()) 2 cos 2 =2cos − ( + )∇. (∇, ∇ ) ℎ V =( +(∇) ) (Γ ()) , (21) (13) It follows that (, , ,∇ ) where () = ().Since(Γ ,Γ )=1and =/4 we have 2 (, ) +(∇ , ∇ ) =4. 2((cos /) + )(∇, , ,∇ ) (14) =− (∇, ∇ ) (22) Let be the angle between Γ () and .Wehave cos 2 =−2( + ) () . ( () ,()) () =(Γ () ,)= . (15) cos 2 It follows from (19)and(22)that(17)turnsinto Taking the derivative on both sides of (15)withrespectto, ( )+2(cos +2 )( −1)=0. we derive that Γ Γ (23) − sin ⋅ = (Γ () ,) For the Legendrian curves, we have the following theo- rem. =( Γ () ,) Γ () Theorem 1. Let Γ() = (() and let ()) be a Legendrian geodesic parameterized by arc length in ((),,,,) +(Γ () , ) Γ () with domain ∈[,]. Suppose that the set consisting of points ∈[,]such that the sectional curvature of at () =( )+(Γ () ,2(∇ )ℎ Γ Γ satisfying () = 1 is discrete. Then () is a geodesic of velocity 2 and () is the normal direction of () in . ℎ +(∇ ) −() ) Proof. Since Γ() is a Legendrian geodesic, we have =Γ(Γ)+8(∇, ) − 8 (, , ,∇ ) , 1 cos =0, =± , = ±,Γ =0. (24) (16) 2 ℎ Substituting these into (20)and(23), we have where =/, () = 2 (),andΓ and Γ are the Γ() 2 2 curvature and the direction of the acceleration of ,respec- (1 + )=4, tively. (25) Γ() ≡ 2 If is a slant curve, that is, Const, from (16)we ( −1)=0. have Bythesecondequationof(25) and the assumption of () we Γ(Γ)+8(∇, ) − 8 (, , ,∇ ) = 0. (17) have =0which means () is a geodesic in .Substituting =0into the first equation of (25)wehave=2.This Let {, } be the Frenet frame on ().Itfollowsfrom(15) completes the proof of Theorem 1. that we have For the non-Legendrian slant geodesics, we have the 2 cos following theorem. = +2, (18) Theorem 2. Let Γ() = ((), ()) be a slant geodesic in ∞ where = || and is a C function. It follows that () which is not Legendrian. Under the assumptions of as in Theorem 1,wehavethefollowing. 2 ∇ =( cos ) +2 ⋅ +2−2 (1) If () =±()̸ ,then() is a geodesic of velocity 2 and cos is a parallel vector field along (). (19) cos (2) If () = ±(),then() is a curve of velocity 2| cos | =−2( +)+2( cos +). 2 with constant curvature =±tan . 4 ISRN Geometry Proof. By the assumption we know that =/2̸ ,andform Let be a subset of [, ] such that | =0.Supposethat is which and (18)wehave =±1/2̸ .Since(, ),from =1 notempty.From(34)wehave (18)wehave ±√1−cos2 2 () = , (35) cos 2 2 4( ) +4 =1, (26) for any ∈ − [,. ] It is a contradiction to the continuity of unless cos =±1;thatis,=0or .Substituting=0 from which we derive that or into (34)wehave=0which means =[,].This completes the proof of the Lemma. {√1−42 =0 =0̸ { Firstly, we consider which implies .Itfollows { ,∈[0,), =±̸ cos { 2 2 from which and (18)wehave . = { (27) From (34)wehave { { √1−42 { ± sin − ,∈(,]. ≡ . (36) { 2 2 2 Suppose that ∈[0,/2),thenwehave It follows from which and (27)wehave=2.Substituting into (33)wehave =0. 2 cos Substituting , ,and into (19), we have ∇=0.This = . (1) √1−42 (28) proves Case in Theorem 2. Secondly, we consider =[,]which implies ≡0. It follows from which and (18)wehave=±and = Taking derivative on both side of this equation with respect 2| cos |.
Load more

Recommended publications
  • Characterization of Exact Lumpability for Vector Fields on Smooth Manifolds
    Preprint. Final version in: Differ.Geom.Appl. 48 (2016) 46-60 doi: 10.1016/j.difgeo.2016.06.001 Characterization of Exact Lumpability for Vector Fields on Smooth Manifolds Leonhard Horstmeyer∗ † Fatihcan M. Atay‡ Abstract We characterize the exact lumpability of smooth vector fields on smooth man- ifolds. We derive necessary and sufficient conditions for lumpability and express them from four different perspectives, thus simplifying and generalizing various re- sults from the literature that exist for Euclidean spaces. We introduce a partial connection on the pullback bundle that is related to the Bott connection and be- haves like a Lie derivative. The lumping conditions are formulated in terms of the differential of the lumping map, its covariant derivative with respect to the con- nection and their respective kernels. Some examples are discussed to illustrate the theory. PACS numbers: 02.40.-k, 02.30.Hq, 02.40.Hw AMS classification scheme numbers: 37C10, 34C40, 58A30, 53B05, 34A05 Keywords: lumping, aggregation, dimensional reduction, Bott connection 1 Introduction Dimensional reduction is an important aspect in the study of smooth dynamical systems and in particular in modeling with ordinary differential equations (ODEs). Often a reduction can elucidate key mechanisms, find decoupled subsystems, reveal conserved quantities, make the problem computationally tractable, or rid it from redundancies. A dimensional reduction by which micro state variables are aggregated into macro state variables also goes by the name of lumping. Starting from a micro state dynamics, this arXiv:1607.01237v2 [math.DG] 6 Jul 2016 aggregation induces a lumped dynamics on the macro state space. Whenever a non- trivial lumping, one that is neither the identity nor maps to a single point, confers the ∗Max Planck Institute for Mathematics in the Sciences, Inselstraße 22, 04103 Leipzig, Germany.
    [Show full text]
  • Lorentzian Cobordisms, Compact Horizons and the Generic Condition
    Lorentzian Cobordisms, Compact Horizons and the Generic Condition Eric Larsson Master of Science Thesis Stockholm, Sweden 2014 Lorentzian Cobordisms, Compact Horizons and the Generic Condition Eric Larsson Master’s Thesis in Mathematics (30 ECTS credits) Degree programme in Engineering Physics (300 credits) Royal Institute of Technology year 2014 Supervisor at KTH was Mattias Dahl Examiner was Mattias Dahl TRITA-MAT-E 2014:29 ISRN-KTH/MAT/E--14/29--SE Royal Institute of Technology School of Engineering Sciences KTH SCI SE-100 44 Stockholm, Sweden URL: www.kth.se/sci iii Abstract We consider the problem of determining which conditions are necessary for cobordisms to admit Lorentzian metrics with certain properties. In particu- lar, we prove a result originally due to Tipler without a smoothness hypothe- sis necessary in the original proof. In doing this, we prove that compact hori- zons in a smooth spacetime satisfying the null energy condition are smooth. We also prove that the ”generic condition” is indeed generic in the set of Lorentzian metrics on a given manifold. Acknowledgements I would like to thank my advisor Mattias Dahl for invaluable advice and en- couragement. Thanks also to Hans Ringström. Special thanks to Marc Nardmann for feedback on Chapter 2. Contents Contents iv 1 Lorentzian cobordisms 1 1.1 Existence of Lorentzian cobordisms . 2 1.2 Lorentzian cobordisms and causality . 4 1.3 Lorentzian cobordisms and energy conditions . 8 1.3.1 C 2 null hypersurfaces . 9 1.3.1.1 The null Weingarten map . 9 1.3.1.2 Generator flow on C 2 null hypersurfaces .
    [Show full text]
  • The Holomorphic Φ-Sectional Curvature of Tangent Sphere Bundles with Sasakian Structures
    ANALELE S¸TIINT¸IFICE ALE UNIVERSITAT¸II˘ \AL.I. CUZA" DIN IAS¸I (S.N.) MATEMATICA,˘ Tomul LVII, 2011, Supliment DOI: 10.2478/v10157-011-0004-5 THE HOLOMORPHIC '-SECTIONAL CURVATURE OF TANGENT SPHERE BUNDLES WITH SASAKIAN STRUCTURES BY S. L. DRUT¸ A-ROMANIUC˘ and V. OPROIU Abstract. We study the holomorphic '-sectional curvature of the natural diagonal tangent sphere bundles with Sasakian structures, determined by Drut¸a-Romaniuc˘ and Oproiu. After finding the explicit expressions for the components of the curvature tensor field and of the curvature tensor field corresponding to the Sasakian space forms, we find that there are no tangent sphere bundles of natural diagonal lift type of constant holomorphic '-sectional curvature. Mathematics Subject Classification 2000: 53C05, 53C15, 53C55. Key words: natural lift, tangent sphere bundle, Sasakian structure, holomorphic '-sectional curvature. 1. Introduction The geometry of the tangent sphere bundles of constant radius r, endowed with the metrics induced by some Riemannian metrics from the ambi- ent tangent bundle, was studied by authors like Abbassi, Boeckx, Cal- varuso, Kowalski, Munteanu, Park, Sekigawa, Sekizawa (see [1], [2], [4]-[7], [9], [12]-[14], [16]). In the most part of the papers, such as [4], [5] and [16], the metric considered on the tangent bundle TM was the Sasaki metric, but Boeckx noticed that the unit tangent bundle equipped with the induced Cheeger-Gromoll metric is isometric to the tangent sphere bun- dle T p1 M with the induced Sasaki metric. Then, in 2000, Kowalski and 2 Sekizawa showed how the geometry of the tangent sphere bundles depends on the radius (see [10]).
    [Show full text]
  • On Manifolds of Negative Curvature, Geodesic Flow, and Ergodicity
    ON MANIFOLDS OF NEGATIVE CURVATURE, GEODESIC FLOW, AND ERGODICITY CLAIRE VALVA Abstract. We discuss geodesic flow on manifolds of negative sectional curva- ture. We find that geodesic flow is ergodic on the tangent bundle of a manifold, and present the proof for both n = 2 on surfaces and general n. Contents 1. Introduction 1 2. Riemannian Manifolds 1 2.1. Geodesic Flow 2 2.2. Horospheres and Horocycle Flows 3 2.3. Curvature 4 2.4. Jacobi Fields 4 3. Anosov Flows 4 4. Ergodicity 5 5. Surfaces of Negative Curvature 6 5.1. Fuchsian Groups and Hyperbolic Surfaces 6 6. Geodesic Flow on Hyperbolic Surfaces 7 7. The Ergodicity of Geodesic Flow on Compact Manifolds of Negative Sectional Curvature 8 7.1. Foliations and Absolute Continuity 9 7.2. Proof of Ergodicity 12 Acknowledgments 14 References 14 1. Introduction We want to understand the behavior of geodesic flow on a manifold M of constant negative curvature. If we consider a vector in the unit tangent bundle of M, where does that vector go (or not go) when translated along its unique geodesic path. In a sense, we will show that the vector goes \everywhere," or that the vector visits a full measure subset of T 1M. 2. Riemannian Manifolds We first introduce some of the initial definitions and concepts that allow us to understand Riemannian manifolds. Date: August 2019. 1 2 CLAIRE VALVA Definition 2.1. If M is a differentiable manifold and α :(−, ) ! M is a dif- ferentiable curve, where α(0) = p 2 M, then the tangent vector to the curve α at t = 0 is a function α0(0) : D ! R, where d(f ◦ α) α0(0)f = j dt t=0 for f 2 D, where D is the set of functions on M that are differentiable at p.
    [Show full text]
  • Thurston's Eight Model Geometries
    Thurston's Eight Model Geometries Nachiketa Adhikari May 2016 Abstract Just like the distance in Euclidean space, we can assign to a manifold a no- tion of distance. Two manifolds with notions of distances can be topologically homoemorphic, but geometrically very different. The question then arises: are there any \standard" or \building block" manifolds such that any manifold is either a quotient of these manifolds or somehow \made up" of such quotients? If so, how do we define such standard manifolds, and how do we discover how many of them there are? In this project, we ask, and partially answer, these questions in three di- mensions. We go over the material necessary for understanding the proof of the existence and sufficiency of Thurston's eight three-dimensional geometries, study a part of the proof, and look at some examples of manifolds modeled on these geometries. On the way we try to throw light on some of the basic ideas of differential and Riemannian geometry. Done as part of the course Low Dimensional Geometry and Topology, under the supervision of Dr Vijay Ravikumar. The main sources used are [7] and [6]. Contents 1 Preliminaries 2 1.1 Basics . .2 1.2 Foliations . .3 1.3 Bundles . .4 2 Model Geometries 8 2.1 What is a model geometry? . .8 2.2 Holonomy and the developing map . .9 2.3 Compact point stabilizers . 11 3 Thurston's Theorem 14 3.1 In two dimensions . 14 3.2 In three dimensions . 14 3.2.1 Group discussion . 15 3.2.2 The theorem .
    [Show full text]
  • Lectures on Mechanics Second Edition
    Lectures on Mechanics Second Edition Jerrold E. Marsden March 24, 1997 Contents Preface iv 1 Introduction 1 1.1 The Classical Water Molecule and the Ozone Molecule ........ 1 1.2 Lagrangian and Hamiltonian Formulation ............... 3 1.3 The Rigid Body .............................. 4 1.4 Geometry, Symmetry and Reduction .................. 11 1.5 Stability .................................. 13 1.6 Geometric Phases ............................. 17 1.7 The Rotation Group and the Poincare Sphere ............. 23 2 A Crash Course in Geometric Mechanics 26 2.1 Symplectic and Poisson Manifolds ................... 26 2.2 The Flow of a Hamiltonian Vector Field ................ 28 2.3 Cotangent Bundles ............................ 28 2.4 Lagrangian Mechanics .......................... 29 2.5 Lie-Poisson Structures and the Rigid Body .............. 30 2.6 The Euler-Poincare Equations ...................... 33 2.7 Momentum Maps ............................. 35 2.8 Symplectic and Poisson Reduction ................... 37 2.9 Singularities and Symmetry ....................... 40 2.10 A Particle in a Magnetic Field ..................... 41 3 Tangent and Cotangent Bundle Reduction 44 3.1 Mechanical G-systems .......................... 44 3.2 The Classical Water Molecule ...................... 47 3.3 The Mechanical Connection ....................... 50 3.4 The Geometry and Dynamics of Cotangent Bundle Reduction .... 55 3.5 Examples ................................. 59 3.6 Lagrangian Reduction and the Routhian ................ 65 3.7 The Reduced Euler-Lagrange
    [Show full text]
  • 1. Geometry of the Unit Tangent Bundle
    1 1. Geometry of the unit tangent bundle The main reference for this section is [8]. In the following, we consi- der (M, g) an n-dimensional smooth manifold endowed with a Riemannian metric g. 1.1. Notations Given a local chart (U, φ) on M, we will denote by (xi)16i6n the local coordinates and we write in these coordinates n X i j g = gijdx dx , i,j=1 ∂ ∂ ij where gij(x) = g , . We denote by (g ) the coefficient of the ∂xi ∂xj inverse matrix. Given x ∈ M, the norm of v ∈ TxM is given by |v|x = 1/2 1/2 gx(v, v) , which will sometimes be denoted hv, vix . In the following, we will often drop the index x. Note that if we are given other coordinates (yj), then one can check that in these new coordinates : n X ∂xi ∂xj k l (1.1) g = gij dy dy ∂yk ∂yl i,j,k,l=1 We define the musical isomorphism at x ∈ M by ∗ TxM → Tx M [ : v 7→ v[ = g(v, ·) This is an isomorphism between the two vector bundles TM and T ∗M since they are equidimensional and g is symmetric definite positive, thus non-degenerate. Given an orthonormal basis (ei) of TxM, we will denote i ∗ by (e ) the dual basis of Tx M which is, in other words, the image of the basis (ei) by the musical isomorphism. If E is a vector bundle over M, then the projection will be denoted π : E → M. We denote by Γ(M, E) the set of smooth sections of E.
    [Show full text]
  • A Beginner's Guide to Holomorphic Manifolds
    This is page Printer: Opaque this A Beginner’s Guide to Holomorphic Manifolds Andrew D. Hwang This is page i Printer: Opaque this Preface This book constitutes notes from a one-semester graduate course called “Complex Manifolds and Hermitian Differential Geometry” given during the Spring Term, 1997, at the University of Toronto. Its aim is not to give a thorough treatment of the algebraic and differential geometry of holomorphic manifolds, but to introduce material of current interest as quickly and concretely as possible with a minimum of prerequisites. There are several excellent references available for the reader who wishes to see subjects in more depth. The coverage includes standard introductory analytic material on holo- morphic manifolds, sheaf cohomology and deformation theory, differential geometry of vector bundles (Hodge theory, and Chern classes via curva- ture), and some applications to the topology and projective embeddability of K¨ahlerian manifolds. The final chapter is a short survey of extremal K¨ahler metrics and related topics, emphasizing the geometric and “soft” analytic aspects. There is a large number of exercises, particularly for a book at this level. The exercises introduce several specific but colorful ex- amples scattered through “folklore” and “the literature.” Because there are recurrent themes and varying viewpoints in the subject, some of the exercises overlap considerably. The course attendees were mostly advanced graduate students in math- ematics, but it is hoped that these notes will reach a wider audience, in- cluding theoretical physicists. The “ideal” reader would be familiar with smooth manifolds (charts, forms, flows, Lie groups, vector bundles), differ- ential geometry (metrics, connections, and curvature), and basic algebraic topology (simplicial and singular cohomology, the long exact sequence, and ii the fundamental group), but in reality the prerequisites are less strenuous, though a good reference for each subject should be kept at hand.
    [Show full text]
  • Scl Danny Calegari
    scl Danny Calegari 1991 Mathematics Subject Classification. Primary 20J05, 57M07; Secondary 20F12, 20F65, 20F67, 37E45, 37J05, 90C05 Key words and phrases. stable commutator length, bounded cohomology, rationality, Bavard’s Duality Theorem, hyperbolic groups, free groups, Thurston norm, Bavard’s Conjecture, rigidity, immersions, causality, group dynamics, Markov chains, central limit theorem, combable groups, finite state automata Supported in part by NSF Grants DMS-0405491 and DMS-0707130. Abstract. This book is a comprehensive introduction to the theory of sta- ble commutator length, an important subfield of quantitative topology, with substantial connections to 2-manifolds, dynamics, geometric group theory, bounded cohomology, symplectic topology, and many other subjects. We use constructive methods whenever possible, and focus on fundamental and ex- plicit examples. We give a self-contained presentation of several foundational results in the theory, including Bavard’s Duality Theorem, the Spectral Gap Theorem, the Rationality Theorem, and the Central Limit Theorem. The con- tents should be accessible to any mathematician interested in these subjects, and are presented with a minimal number of prerequisites, but with a view to applications in many areas of mathematics. Preface The historical roots of the theory of bounded cohomology stretch back at least as far as Poincar´e[167] who introduced rotation numbers in his study of circle diffeomorphisms. The Milnor–Wood inequality [154, 204] as generalized by Sul- livan [193], and the theorem of Hirsch–Thurston [109] on foliated bundles with amenable holonomy groups were also landmark developments. But it was not until the appearance of Gromov’s seminal paper [97] that a number of previously distinct and isolated phenomena crystallized into a coherent subject.
    [Show full text]
  • Unit Tangent Bundle Over Two-Dimensional Real Projective Space
    Nihonkai Math. J. Vol.13(2002), 57-66 UNIT TANGENT BUNDLE OVER TWO-DIMENSIONAL REAL PROJECTIVE SPACE TATSUO KONNO ABSTRACT. In this paper, we prove that the unit tangent bundle over the two- dimensional real projective space is isometric to a lens space. Also, we characterize the Killing vector fields and the geodesics of this bundle in terms of the geometry of the base space. 1. INTRODUCTION It has been proven by Klingenberg and Sasaki [1] that the unit tangent bundle over a unit two-sphere is isometric to the three-dimensional real projective space of constant curvature 1/4. The authors also studied the geodesics of the bundle. In this paper, we prove that the unit tangent bundle over two-dimensional real projective space is isometric to a lens space. Then we describe the Killing vector fields on this bundle in terms of the geometry of the base space, and characterize the geodesics of the bundle using the Killing vector fields on the base space. Let $S^{n}(k)$ denote an n-dimensional sphere of radius $1/\sqrt{k}$ in the Euclidean $(n+1)-$ space. We assume that the center of $S^{n}(k)$ is fixed at the origin of the Euclidean space, and that $S^{n}(k)$ is endowed with the standard metric. The sectional curvatures of $S^{n}(k)$ are constant, $k$ . We then denote by $RP^{n}(k)$ the real projective space that is given by identifying the antipodal points of $S^{n}(k)$ . In order to define lens spaces, we identify $C^{2}$ the point $(x^{1}, x^{2}, x^{3}, x^{4})$ of $R^{4}$ with the point $(x^{1}+\sqrt{-1}x^{2}, x^{3}+\sqrt{-1}x^{4})$ of .
    [Show full text]
  • Lectures on Mechanics
    Page i Lectures on Mechanics Jerrold E. Marsden First Published 1992; This Version: October, 2009 Page i Contents Preface v 1 Introduction 1 1.1 The Classical Water Molecule and the Ozone Molecule .. 1 1.2 Lagrangian and Hamiltonian Formulation ......... 3 1.3 The Rigid Body ........................ 5 1.4 Geometry, Symmetry and Reduction ............ 12 1.5 Stability ............................ 15 1.6 Geometric Phases ....................... 19 1.7 The Rotation Group and the Poincar´eSphere ....... 26 2 A Crash Course in Geometric Mechanics 29 2.1 Symplectic and Poisson Manifolds .............. 29 2.2 The Flow of a Hamiltonian Vector Field .......... 31 2.3 Cotangent Bundles ...................... 32 2.4 Lagrangian Mechanics .................... 33 2.5 Lie{Poisson Structures and the Rigid Body ........ 34 2.6 The Euler{Poincar´eEquations ................ 37 2.7 Momentum Maps ....................... 39 2.8 Symplectic and Poisson Reduction ............. 42 2.9 Singularities and Symmetry ................. 45 2.10 A Particle in a Magnetic Field ................ 46 3 Tangent and Cotangent Bundle Reduction 49 ii Contents 3.1 Mechanical G-systems .................... 50 3.2 The Classical Water Molecule ................ 52 3.3 The Mechanical Connection ................. 56 3.4 The Geometry and Dynamics of Cotangent Bundle Reduc- tion .............................. 61 3.5 Examples ........................... 65 3.6 Lagrangian Reduction and the Routhian .......... 72 3.7 The Reduced Euler{Lagrange Equations .......... 77 3.8 Coupling to a Lie group ................... 79 4 Relative Equilibria 85 4.1 Relative Equilibria on Symplectic Manifolds ........ 85 4.2 Cotangent Relative Equilibria ................ 88 4.3 Examples ........................... 90 4.4 The Rigid Body ........................ 95 5 The Energy{Momentum Method 101 5.1 The General Technique .................... 101 5.2 Example: The Rigid Body .................
    [Show full text]
  • Topological Spaces and Manifolds
    Appendix A Topological Spaces and Manifolds A.1 Topology and Metric A subset of R is called open if it is the union of open intervals (a, b) ⊆ R.This definition makes R into a topological space: A.1 Definition 1. A topological space is a pair (M, O), consisting of a set M and a set O of subsets of M (these subsets will be called open sets) such that the following properties are satisfied: 1. ∅ and M are open, 2. arbitrary unions of open sets are open, 3. the intersection of any two open sets is open. 2. O is called a topology on M. 3. If O1 and O2 are topologies on M and O1 ⊆ O2, then we call O1 coarser or weaker than O2, and O2 finer or stronger than O1. A.2 Example 1. The discrete topology 2M (the power set) is the finest topology onasetM, and the trivial topology {M, ∅} is the coarsest topology on M. Topological spaces (M, 2M ) are called discrete. 2. If N ⊆ M is a subset of the topological space (M, O), then {U ∩ N | U ∈ O}⊆2N (A.1.1) defines a topology on N, called the subspace topology, relative topology, induced topology,ortrace topology. For example, for the subset N := [0, ∞) of R,all subintervals of the form [0, b) ⊂ N with b ∈ N are open in N, but not open in R. 3. If (M, OM ) and (N, ON ) are disjoint topological spaces (i.e., M ∩ N =∅), then M∪N the union M ∪ N with {U ∪ V | U ∈ OM , V ∈ ON }⊆2 is a topological space, called the sum space.
    [Show full text]