Types of Integrability on a Submanifold and Generalizations of Gordon’S Theorem

Total Page:16

File Type:pdf, Size:1020Kb

Types of Integrability on a Submanifold and Generalizations of Gordon’S Theorem Trudy Moskov. Matem. Obw. Trans. Moscow Math. Soc. Tom 66 (2005) 2005, Pages 169–241 S 0077-1554(05)00149-4 Article electronically published on November 9, 2005 TYPES OF INTEGRABILITY ON A SUBMANIFOLD AND GENERALIZATIONS OF GORDON’S THEOREM N. N. NEKHOROSHEV Abstract. At the beginning of the paper the concept of Liouville integrability is analysed for systems of general form, that is, ones that are not necessarily Hamil- tonian. On this simple basis Hamiltonian systems are studied that are integrable only on submanifolds N of the phase space, which is the main subject of the paper. The study is carried out in terms of k-dimensional foliations and fibrations defined on N by the Hamiltonian vector fields corresponding to k integrals in involution. These integrals are said to be central and may include the Hamiltonian function of the system. The parallel language of sets of functions is also used, in particular, sets of functions whose common level surfaces are the fibres of fibrations. Relations between different types of integrability on submanifolds of the phase space are established. The main result of the paper is a generalization of Gordon’s theorem stating that in a Hamiltonian system all of whose trajectories are closed the period of the solutions depends only on the value of the Hamiltonian. Our generalization asserts that in the case of the strongest “Hamiltonian” integrability the frequencies of a conditionally periodic motion on the invariant isotropic tori that form a fibration of an integrability submanifold depend only on the values of the central integrals. Under essentially weaker assumptions on the fibration of the submanifold into such tori it is proved that the circular action functions also have the same property. In addition, certain general recipes for finding the integrability submanifolds are given. 0. Introduction The main object of investigation in this paper is autonomous Hamiltonian systems that are not necessarily integrable. Such a system is given by its Hamiltonian function H : M → R defined on a symplectic manifold M = M 2n, that is, a manifold equipped with some symplectic structure ω2,where2n =dimM 2n. Integrable Hamiltonian systems have a relatively simple structure and are fairly well studied, at least in the regular situation. (In the case of “nonregular” integrability there are many interesting questions; see, for example, [9].) But most systems are not integrable on the entire phase space M even in the nonregular sense. What is the structure of the phase flow of nonintegrable systems? It is known that many such systems are integrable, but only on some invariant submanifolds, rather than on the whole of M. First we will look at the regular toric integrability of the system on a submanifold b N ⊆ M. By this we mean that the k-dimensional invariant tori Λ form a locally trivial b fibration of this submanifold, so that N = b∈B Λ , where the parameter b parametrizing 2000 Mathematics Subject Classification. Primary 37J05, 70H12; Secondary 37J15, 37J35, 37J45. Key words and phrases. Integrable, Hamiltonian, Gordon’s theorem, integrability submanifold, condi- tionally periodic motion, invariant tori, vector field, integrals in involution, symplectic structure, circular action functions, frequency, trajectory, isotropic tori. This paper was written with partial support of the INTAS grant no. 00-221 and the research was partially carried out during the author’s stay at the Littoral University, Laboratory UMR 8101 of CNRS, Dunkerque, France, and at the Milan University, Italy. c 2005 American Mathematical Society 169 License or copyright restrictions may apply to redistribution; see https://www.ams.org/journal-terms-of-use 170 N. N. NEKHOROSHEV these tori runs over some manifold B. The invariance means that the tori Λb are invariant { t ∈ } t b b under the action of the local phase flow gH , t R of the system, that is, gH Λ =Λ for any time t. We also assume that the motion of the points of the phase space under the action of this flow is conditionally periodic on the tori Λb. Studying the integrability submanifolds appears to be important for the following reasons. It often turns out that it is such submanifolds N ⊂ M, as well as their neigh- bourhoods in the whole phase space M of the system, that are of primary interest for applications. In addition, in a neighbourhood of an integrability submanifold the phase flow of the system has the simplest structure. We think that studying the integrability submanifolds is the easiest, but also the most important and immediate step in the study of nonintegrable Hamiltonian systems. In the present paper we are interested only in the behaviour of the system on the submanifold N itself. There is an extensive literature devoted to finding families of integrable solutions. For example, many examples of this kind of particular solutions to the equations of the dynamics of a rigid body are described in the book [24], which also contains a large list of references related to this problem. Numerous families of integrable solutions were found for the equations of celestial mechanics and many other quite diverse differential equations of importance in applications. In our context the trajectories of all these solutions form integrability submanifolds. The purpose of our paper is to study general approaches to FINDING the integrability submanifolds, clarifying the CAUSES of existence of such submanifolds, and investigating the QUALITY OF INTEGRABILITY of systems on them, especially, for Hamiltonian systems, and toric integrability. It is here that when we have the highest-quality integra- bility the generalization of Gordon’s theorem for frequencies holds. Note that finding the toric integrability submanifolds interlocks with finding the families of periodic solutions of dynamical systems the unions of whose trajectories can be regarded as a special case of integrability submanifolds; see, in particular, [7, 6]. In fact, the quality of integrability on a given submanifold N ⊆ M, as it is understood here, depends on how fully the Hamiltonian character of the system on N is used. One may consider that this character is taken into account most fully in the case of “complete integrability”, that is, the integrability of a Hamiltonian system on the entire phase space M, which is usually studied. This type of integrability on the whole of M has been studied from general differential-geometric viewpoints in [1, 5, 3] and many other papers. The case where an integrability submanifold N ⊆ M of the symplectic manifold M is symplectic is easily reduced to the case of integrability on the entire symplectic phase space. The fact is that the restriction of a Hamiltonian system to an invariant symplectic submanifold is also a Hamiltonian system; see Lemma 3.1.1. So if this system with p degrees of freedom, defined on N = N 2p, is completely Hamiltonian integrable, its phase 2p 2 2 2 space (N , ω˜ ), whereω ˜ := ω |N , is fibred into the k-dimensional invariant isotropic surfaces Λ; here k ≤ p ≤ n. If these surfaces are compact sets, then they are diffeomorphic to tori, on which the motion of the system is conditionally periodic. Furthermore, in the case where N is sym- plectic one can construct normalizing canonical “coordinates” (I,p, ϕ mod 2π,q)onN that are generalizations of the action-angle variables (I, ϕ mod 2π). In these coordinates the Hamiltonian H˜ := H|N of the system with Hamiltonian H restricted to N has the form H˜ = H˜ (I) (see Proposition 5.1.1); more details about these coordinates can be found in [5]. Hence the frequencies of the conditionally periodic motion on these tori, ωi =˙ϕi = ∂H/∂I˜ i, i =1,...,k, depend only on the action variables I. This assertion is equivalent to the generalization of Gordon’s theorem for frequencies. License or copyright restrictions may apply to redistribution; see https://www.ams.org/journal-terms-of-use TYPES OF INTEGRABILITY ON A SUBMANIFOLD 171 Two simple examples of such a situation are given in § 1.Namely,weproducetwo systems, both in all probability nonintegrable, that are integrable on certain symplectic submanifolds N ⊂ M. In addition, in § 1 we also illustrate Gordon’s theorem itself by the example of the problem of two and many bodies. (The precise statement of the original version of this theorem is given at the beginning of § 5.3.) Thus, the case where an integrability submanifold N ⊂ M is symplectic is relatively simple. But the case where N ⊂ M is a submanifold of general form, for example, of odd dimension, is more complicated. The question arises as to how we can take into account the Hamiltonian characteristics most fully in this case? And under what conditions do the generalizations of Gordon’s theorem remain valid? In order to answer these questions we must find the basic types of integrability that a Hamiltonian system can have on a submanifold. In turn, in order to understand this we need to clearly understand the much more simple concept of Liouville integrability for systems of general form, that is, systems that are not necessarily Hamiltonian. This concept is considered in § 2, which is entirely devoted to systems of general form, which are not considered further in the paper. For such a system with phase space N to be Liouville integrable there must be k vector fields (a1,...,ak)=A on N that are linearly independent at each point, that are pairwise commutative, and that commute with the vector field V of the given system. (One of the fields in the set A may coincide with the given field V , but this is not necessary.) In addition, we require that there exist r functionally independent integrals common to all these k + 1 vector fields, and that k + r =dimN.
Recommended publications
  • Ricci Curvature and Minimal Submanifolds
    Pacific Journal of Mathematics RICCI CURVATURE AND MINIMAL SUBMANIFOLDS Thomas Hasanis and Theodoros Vlachos Volume 197 No. 1 January 2001 PACIFIC JOURNAL OF MATHEMATICS Vol. 197, No. 1, 2001 RICCI CURVATURE AND MINIMAL SUBMANIFOLDS Thomas Hasanis and Theodoros Vlachos The aim of this paper is to find necessary conditions for a given complete Riemannian manifold to be realizable as a minimal submanifold of a unit sphere. 1. Introduction. The general question that served as the starting point for this paper was to find necessary conditions on those Riemannian metrics that arise as the induced metrics on minimal hypersurfaces or submanifolds of hyperspheres of a Euclidean space. There is an abundance of complete minimal hypersurfaces in the unit hy- persphere Sn+1. We recall some well known examples. Let Sm(r) = {x ∈ Rn+1, |x| = r},Sn−m(s) = {y ∈ Rn−m+1, |y| = s}, where r and s are posi- tive numbers with r2 + s2 = 1; then Sm(r) × Sn−m(s) = {(x, y) ∈ Rn+2, x ∈ Sm(r), y ∈ Sn−m(s)} is a hypersurface of the unit hypersphere in Rn+2. As is well known, this hypersurface has two distinct constant principal cur- vatures: One is s/r of multiplicity m, the other is −r/s of multiplicity n − m. This hypersurface is called a Clifford hypersurface. Moreover, it is minimal only in the case r = pm/n, s = p(n − m)/n and is called a Clifford minimal hypersurface. Otsuki [11] proved that if M n is a com- pact minimal hypersurface in Sn+1 with two distinct principal curvatures of multiplicity greater than 1, then M n is a Clifford minimal hypersur- face Sm(pm/n) × Sn−m(p(n − m)/n), 1 < m < n − 1.
    [Show full text]
  • TRANSVERSE STRUCTURE of LIE FOLIATIONS 0. Introduction This
    TRANSVERSE STRUCTURE OF LIE FOLIATIONS BLAS HERRERA, MIQUEL LLABRES´ AND A. REVENTOS´ Abstract. We study if two non isomorphic Lie algebras can appear as trans- verse algebras to the same Lie foliation. In particular we prove a quite sur- prising result: every Lie G-flow of codimension 3 on a compact manifold, with basic dimension 1, is transversely modeled on one, two or countable many Lie algebras. We also solve an open question stated in [GR91] about the realiza- tion of the three dimensional Lie algebras as transverse algebras to Lie flows on a compact manifold. 0. Introduction This paper deals with the problem of the realization of a given Lie algebra as transverse algebra to a Lie foliation on a compact manifold. Lie foliations have been studied by several authors (cf. [KAH86], [KAN91], [Fed71], [Mas], [Ton88]). The importance of this study was increased by the fact that they arise naturally in Molino’s classification of Riemannian foliations (cf. [Mol82]). To each Lie foliation are associated two Lie algebras, the Lie algebra G of the Lie group on which the foliation is modeled and the structural Lie algebra H. The latter algebra is the Lie algebra of the Lie foliation F restricted to the clousure of any one of its leaves. In particular, it is a subalgebra of G. We remark that although H is canonically associated to F, G is not. Thus two interesting problems are naturally posed: the realization problem and the change problem. The realization problem is to know which pairs of Lie algebras (G, H), with H subalgebra of G, can arise as transverse and structural Lie algebras, respectively, of a Lie foliation F on a compact manifold M.
    [Show full text]
  • Foliations Transverse to Fibers of a Bundle
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 42, Number 2, February 1974 FOLIATIONS TRANSVERSE TO FIBERS OF A BUNDLE J. F. PLANTE Abstract. Consider a fiber bundle where the base space and total space are compact, connected, oriented smooth manifolds and the projection map is smooth. It is shown that if the fiber is null-homologous in the total space, then the existence of a foliation of the total space which is transverse to each fiber and such that each leaf has the same dimension as the base implies that the fundamental group of the base space has exponential growth. Introduction. Let (E, p, B) be a locally trivial fiber bundle where /»:£-*-/? is the projection, E and B are compact, connected, oriented smooth manifolds and p is a smooth map. (By smooth we mean C for some r^l and, henceforth, all maps are assumed smooth.) Let b denote the dimension of B and k denote the dimension of the fiber (thus, dim E= b+k). By a section of the fibration we mean a smooth map a:B-+E such that p o a=idB. It is well known that if a section exists then the fiber over any point in B represents a nontrivial element in Hk(E; Z) since the image of a section is a compact orientable manifold which has intersection number one with the fiber over any point in B. The notion of a section may be generalized as follows. Definition. A polysection of (E,p,B) is a covering projection tr:B-*B together with a map Ç:B-*E such that the following diagram commutes.
    [Show full text]
  • Isoparametric Hypersurfaces with Four Principal Curvatures Revisited
    ISOPARAMETRIC HYPERSURFACES WITH FOUR PRINCIPAL CURVATURES REVISITED QUO-SHIN CHI Abstract. The classification of isoparametric hypersurfaces with four principal curvatures in spheres in [2] hinges on a crucial charac- terization, in terms of four sets of equations of the 2nd fundamental form tensors of a focal submanifold, of an isoparametric hypersur- face of the type constructed by Ferus, Karcher and Munzner.¨ The proof of the characterization in [2] is an extremely long calculation by exterior derivatives with remarkable cancellations, which is mo- tivated by the idea that an isoparametric hypersurface is defined by an over-determined system of partial differential equations. There- fore, exterior differentiating sufficiently many times should gather us enough information for the conclusion. In spite of its elemen- tary nature, the magnitude of the calculation and the surprisingly pleasant cancellations make it desirable to understand the under- lying geometric principles. In this paper, we give a conceptual, and considerably shorter, proof of the characterization based on Ozeki and Takeuchi's expan- sion formula for the Cartan-Munzner¨ polynomial. Along the way the geometric meaning of these four sets of equations also becomes clear. 1. Introduction In [2], isoparametric hypersurfaces with four principal curvatures and multiplicities (m1; m2); m2 ≥ 2m1 − 1; in spheres were classified to be exactly the isoparametric hypersurfaces of F KM-type constructed by Ferus Karcher and Munzner¨ [4]. The classification goes as follows. Let M+ be a focal submanifold of codimension m1 of an isoparametric hypersurface in a sphere, and let N be the normal bundle of M+ in the sphere. Suppose on the unit normal bundle UN of N there hold true 1991 Mathematics Subject Classification.
    [Show full text]
  • FOLIATIONS Introduction. the Study of Foliations on Manifolds Has a Long
    BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY Volume 80, Number 3, May 1974 FOLIATIONS BY H. BLAINE LAWSON, JR.1 TABLE OF CONTENTS 1. Definitions and general examples. 2. Foliations of dimension-one. 3. Higher dimensional foliations; integrability criteria. 4. Foliations of codimension-one; existence theorems. 5. Notions of equivalence; foliated cobordism groups. 6. The general theory; classifying spaces and characteristic classes for foliations. 7. Results on open manifolds; the classification theory of Gromov-Haefliger-Phillips. 8. Results on closed manifolds; questions of compact leaves and stability. Introduction. The study of foliations on manifolds has a long history in mathematics, even though it did not emerge as a distinct field until the appearance in the 1940's of the work of Ehresmann and Reeb. Since that time, the subject has enjoyed a rapid development, and, at the moment, it is the focus of a great deal of research activity. The purpose of this article is to provide an introduction to the subject and present a picture of the field as it is currently evolving. The treatment will by no means be exhaustive. My original objective was merely to summarize some recent developments in the specialized study of codimension-one foliations on compact manifolds. However, somewhere in the writing I succumbed to the temptation to continue on to interesting, related topics. The end product is essentially a general survey of new results in the field with, of course, the customary bias for areas of personal interest to the author. Since such articles are not written for the specialist, I have spent some time in introducing and motivating the subject.
    [Show full text]
  • Lecture Notes on Foliation Theory
    INDIAN INSTITUTE OF TECHNOLOGY BOMBAY Department of Mathematics Seminar Lectures on Foliation Theory 1 : FALL 2008 Lecture 1 Basic requirements for this Seminar Series: Familiarity with the notion of differential manifold, submersion, vector bundles. 1 Some Examples Let us begin with some examples: m d m−d (1) Write R = R × R . As we know this is one of the several cartesian product m decomposition of R . Via the second projection, this can also be thought of as a ‘trivial m−d vector bundle’ of rank d over R . This also gives the trivial example of a codim. d- n d foliation of R , as a decomposition into d-dimensional leaves R × {y} as y varies over m−d R . (2) A little more generally, we may consider any two manifolds M, N and a submersion f : M → N. Here M can be written as a disjoint union of fibres of f each one is a submanifold of dimension equal to dim M − dim N = d. We say f is a submersion of M of codimension d. The manifold structure for the fibres comes from an atlas for M via the surjective form of implicit function theorem since dfp : TpM → Tf(p)N is surjective at every point of M. We would like to consider this description also as a codim d foliation. However, this is also too simple minded one and hence we would call them simple foliations. If the fibres of the submersion are connected as well, then we call it strictly simple. (3) Kronecker Foliation of a Torus Let us now consider something non trivial.
    [Show full text]
  • Lecture 10: Tubular Neighborhood Theorem
    LECTURE 10: TUBULAR NEIGHBORHOOD THEOREM 1. Generalized Inverse Function Theorem We will start with Theorem 1.1 (Generalized Inverse Function Theorem, compact version). Let f : M ! N be a smooth map that is one-to-one on a compact submanifold X of M. Moreover, suppose dfx : TxM ! Tf(x)N is a linear diffeomorphism for each x 2 X. Then f maps a neighborhood U of X in M diffeomorphically onto a neighborhood V of f(X) in N. Note that if we take X = fxg, i.e. a one-point set, then is the inverse function theorem we discussed in Lecture 2 and Lecture 6. According to that theorem, one can easily construct neighborhoods U of X and V of f(X) so that f is a local diffeomor- phism from U to V . To get a global diffeomorphism from a local diffeomorphism, we will need the following useful lemma: Lemma 1.2. Suppose f : M ! N is a local diffeomorphism near every x 2 M. If f is invertible, then f is a global diffeomorphism. Proof. We need to show f −1 is smooth. Fix any y = f(x). The smoothness of f −1 at y depends only on the behaviour of f −1 near y. Since f is a diffeomorphism from a −1 neighborhood of x onto a neighborhood of y, f is smooth at y. Proof of Generalized IFT, compact version. According to Lemma 1.2, it is enough to prove that f is one-to-one in a neighborhood of X. We may embed M into RK , and consider the \"-neighborhood" of X in M: X" = fx 2 M j d(x; X) < "g; where d(·; ·) is the Euclidean distance.
    [Show full text]
  • Two Classes of Slant Surfaces in Nearly Kahler Six Sphere
    TWO CLASSES OF SLANT SURFACES IN NEARLY KAHLER¨ SIX SPHERE K. OBRENOVIC´ AND S. VUKMIROVIC´ Abstract. In this paper we find examples of slant surfaces in the nearly K¨ahler six sphere. First, we characterize two-dimensional small and great spheres which are slant. Their description is given in terms of the associative 3-form in Im O. Later on, we classify the slant surfaces of S6 which are orbits of maximal torus in G2. We show that these orbits are flat tori which are linearly S5 S6 1 π . full in ⊂ and that their slant angle is between arccos 3 and 2 Among them we find one parameter family of minimal orbits. 1. Introduction It is known that S2 and S6 are the only spheres that admit an almost complex structure. The best known Hermitian almost complex structure J on S6 is defined using octonionic multiplication. It not integrable, but satisfies condition ( X J)X = 0, for the Levi-Civita connection and every vector field X on S6. Therefore,∇ sphere S6 with this structure J is usually∇ referred as nearly K¨ahler six sphere. Submanifolds of nearly Kahler¨ sphere S6 are subject of intensive research. A. Gray [7] proved that almost complex submanifolds of nearly K¨ahler S6 are necessarily two-dimensional and minimal. In paper [3] Bryant showed that any Riemannian surface can be embedded in the six sphere as an almost complex submanifold. Almost complex surfaces were further investigated in paper [1] and classified into four types. Totally real submanifolds of S6 can be of dimension two or three.
    [Show full text]
  • Commentary on Thurston's Work on Foliations
    COMMENTARY ON FOLIATIONS* Quoting Thurston's definition of foliation [F11]. \Given a large supply of some sort of fabric, what kinds of manifolds can be made from it, in a way that the patterns match up along the seams? This is a very general question, which has been studied by diverse means in differential topology and differential geometry. ... A foliation is a manifold made out of striped fabric - with infintely thin stripes, having no space between them. The complete stripes, or leaves, of the foliation are submanifolds; if the leaves have codimension k, the foliation is called a codimension k foliation. In order that a manifold admit a codimension- k foliation, it must have a plane field of dimension (n − k)." Such a foliation is called an (n − k)-dimensional foliation. The first definitive result in the subject, the so called Frobenius integrability theorem [Fr], concerns a necessary and sufficient condition for a plane field to be the tangent field of a foliation. See [Spi] Chapter 6 for a modern treatment. As Frobenius himself notes [Sa], a first proof was given by Deahna [De]. While this work was published in 1840, it took another hundred years before a geometric/topological theory of foliations was introduced. This was pioneered by Ehresmann and Reeb in a series of Comptes Rendus papers starting with [ER] that was quickly followed by Reeb's foundational 1948 thesis [Re1]. See Haefliger [Ha4] for a detailed account of developments in this period. Reeb [Re1] himself notes that the 1-dimensional theory had already undergone considerable development through the work of Poincare [P], Bendixson [Be], Kaplan [Ka] and others.
    [Show full text]
  • Reference Ic/88/392
    REFERENCE IC/88/392 INTERNATIONAL CENTRE FOR THEORETICAL PHYSICS THE LOCAL STRUCTURE OF A 2-CODIMENSIONAL CONFORMALLY FLAT SUBMANIFOLD IN AN EUCLIDEAN SPACE lRn+2 G. Zafindratafa INTERNATIONAL ATOMIC ENERGY AGENCY UNITED NATIONS EDUCATIONAL, SCIENTIFIC AND CULTURAL ORGANIZATION IC/88/392 ABSTRACT International Atomic Energy Agency and Since 1917, many mathematicians studied conformally flat submanifolds (e.g. E. Cartan, B.Y. Chen, J.M. Morvan, L. Verstraelen, M. do Carmo, N. Kuiper, etc.). United Nations Educational Scientific and Cultural Organization In 1917, E. Cartan showed with his own method that the second fundamental form INTERNATIONAL CENTRE FOR THEORETICAL PHYSICS of a conforraally flat hypersurface of IR™+1 admits an eigenvalue of multiplicity > n — 1. In order to generalize such a result, in 1972, B.Y. Chen introduced the notion of quasiumbilical submanifold. A submanifold M of codimensjon JV in 1R"+W is quasiumbilical if and only if there exists, locally at each point of M, an orthonormal frame field {d,...,£jv} of the normal space so that the Weingarten tensor of each £„ possesses an eigenvalue of multiplicity > n — 1. THE LOCAL STRUCTURE OF A 2-CODIMENSIONAL CONFORMALLY FLAT SUBMANIFOLD The first purpose of this work is to resolve the following first problem: IN AN EUCLIDEAN SPACE JRn+;1 * Is there any equivalent definition of quasiumbilictty which does not use either any local frame field on the normal bundle or any particular sections on the tangent bundle? B.Y. Chen and K. Yano proved in 1972 that a quasiumbilical submanifold of G. Zafmdratafa, ** codimension N > 1 in JR"+" is conformally flat; moreover in the case of codimension International Centre for Theoretical Physics, Trieste, Italy.
    [Show full text]
  • Hyperbolic Metrics, Measured Foliations and Pants Decompositions for Non-Orientable Surfaces Athanase Papadopoulos, Robert C
    Hyperbolic metrics, measured foliations and pants decompositions for non-orientable surfaces Athanase Papadopoulos, Robert C. Penner To cite this version: Athanase Papadopoulos, Robert C. Penner. Hyperbolic metrics, measured foliations and pants de- compositions for non-orientable surfaces. Asian Journal of Mathematics, International Press, 2016, 20 (1), p. 157-182. 10.4310/AJM.2016.v20.n1.a7. hal-00856638v3 HAL Id: hal-00856638 https://hal.archives-ouvertes.fr/hal-00856638v3 Submitted on 1 Oct 2013 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. HYPERBOLIC METRICS, MEASURED FOLIATIONS AND PANTS DECOMPOSITIONS FOR NON-ORIENTABLE SURFACES A. PAPADOPOULOS AND R. C. PENNER Abstract. We provide analogues for non-orientable surfaces with or without boundary or punctures of several basic theorems in the setting of the Thurston theory of surfaces which were developed so far only in the case of orientable surfaces. Namely, we pro- vide natural analogues for non-orientable surfaces of the Fenchel- Nielsen theorem on the parametrization of the Teichm¨uller space of the surface, the Dehn-Thurston theorem on the parametrization of measured foliations in the surface, and the Hatcher-Thurston theorem, which gives a complete minimal set of moves between pair of pants decompositions of the surface.
    [Show full text]
  • Sculpting with Fiber Bundle and Foliation
    Sculpting with Fiber Bundle and Foliation Hang Li, Zhipei Yan May, 2016 1 Theory Definition 1.1. For space E(total space), B(base), F (fiber) and surjection π : E ! B (1) if there is an open neighborhood U of π(x) (x 2 E) such that π−1(U) and U × F are homeomorphic, (E; B; F; π) is a fiber bundle. And E has the form of product space B × F . Figure 1: Base and Fiber Here are two kinds of fiber bundle on a torus. Figure 2: Trivial Fibers Figure 3: Nontrivial Fibers 1 Definition 1.2. fUig is an atlas of an n-dimensional manifold U. For each chart Ui, define n φi : Ui ! R (2) If Ui \ Uj 6= ;, define −1 'ij = φj ◦ φi (3) And if 'ij has the form of 1 2 'ij = ('ij(x);'ij(x; y)) (4) 1 n−p n−p 'ij : R ! R (5) 2 n p 'ij : R ! R (6) then for any stripe si : x = ci in Ui there must be a stripe in Uj sj : x = cj such that si and sj are the same curve in Ui \ Uj and can be connected. The maximal connection is a leaf. This structure is called a p-dimensional foliation F of an n-dimensional manifold U. Property 1.1. All the fiber bundles compose a group GF = (fFig; ◦). If we regard the fiber bundle(1-manifold) as a parameterization on a surface(2-manifold), we can prove it easily. As an example, we use the parameterization on a torus.
    [Show full text]