DOCSLIB.ORG

An Extension of the Dirac and Gotay-Nester Theories of Constraints for Dirac Dynamical Systems

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
An Extension of the Dirac and Gotay-Nester Theories of Constraints for Dirac Dynamical Systems JOURNAL OF GEOMETRIC MECHANICS doi:10.3934/jgm.2014.6.167 c American Institute of Mathematical Sciences Volume 6, Number 2, June 2014 pp. 167{236 AN EXTENSION OF THE DIRAC AND GOTAY-NESTER THEORIES OF CONSTRAINTS FOR DIRAC DYNAMICAL SYSTEMS Hernan´ Cendra Departamento de Matem´atica Universidad Nacional del Sur, Av. Alem 1253 8000 Bah´ıaBlanca and CONICET, Argentina Mar´ıa Etchechoury Departamento de Matem´atica, Facultad de Ciencias Exactas Universidad Nacional de La Plata CC 172, 1900 La Plata, Argentina Sebastian´ J. Ferraro Departamento de Matem´aticaand Instituto de Matem´aticaBah´ıaBlanca Universidad Nacional del Sur, Av. Alem 1253 8000 Bah´ıaBlanca and CONICET, Argentina (Communicated by Juan-Pablo Ortega) Abstract. This paper extends the Gotay-Nester and the Dirac theories of constrained systems in order to deal with Dirac dynamical systems in the integrable case. Integrable Dirac dynamical systems are viewed as constrained systems where the constraint submanifolds are foliated. The cases considered usually in the literature correspond to a trivial foliation, with only one leaf. A Constraint Algorithm for Dirac dynamical systems (CAD), which extends the Gotay-Nester algorithm, is developed. Evolution equations are written using a Dirac bracket adapted to the foliations and an adapted total energy. The interesting example of LC circuits is developed in detail. The paper emphasizes the point of view that Dirac and Gotay-Nester theories are, in a certain sense, dual and that using a combination of results from both theories may have advantages in dealing with a given example, rather than using systematically one or the other. Contents 1. Introduction 168 2. A brief review of the Dirac and Gotay-Nester theories 172 2.1. A brief review of Dirac's theory 174 2.2. A brief review of the Gotay-Nester algorithm 176 3. First and second class constraints, constraint submanifolds and equations of motion 177 3.1. Linear symplectic geometry 177 2010 Mathematics Subject Classification. Primary: 70H45, 70G45, 70H03, 70H05; Secondary: 34A09. Key words and phrases. Constrained systems, Dirac structures, implicit differential equations, nonholonomic mechanics, Poisson geometry. 167 168 HERNAN´ CENDRA, MAR´IA ETCHECHOURY AND SEBASTIAN´ J. FERRARO 3.2. Poisson-algebraic and geometric study of constraints and constraint submanifolds. 179 3.3. Second class subbundles 184 3.4. Equations of motion 191 4. Dirac structures 196 4.1. Dirac dynamical systems 199 5. The constraint algorithm for Dirac dynamical systems (CAD) 199 6. Examples 204 7. An extension of the Dirac theory of constraints 222 7.1. Dirac brackets adapted to foliated constraint submanifolds 223 8. Conclusions and future work 230 Acknowledgments 230 Appendix A. A canonical embedding of the Pontryagin bundle 230 REFERENCES 232 1. Introduction. The main purpose of this paper is to study an extension of the Dirac theory of constraints [54, 55, 56] and the Gotay-Nester theory [63, 58] for the case in which the equation of motion is a Dirac dynamical system on a manifold M, (x; x_) ⊕ dE(x) 2 Dx; (1) where D ⊆ TM ⊕ T ∗M is a given integrable Dirac structure on M, which gives a foliation of M by presymplectic leaves, and E is a given function on M, called the energy. The seminal article [39] by Courant and Weinstein contains the definition of a Dirac structure and addresses the Dirac theory of constraints as one of the motivations for introducing this notion. Another extension of the Dirac theory of constraints, inspired in the notion of Dirac structures, is given in the notes [16] by Bursztyn. Succinctly, for this extension one considers a Poisson manifold and a given primary constraint submanifold, rather than a symplectic manifold and a primary constraint submanifold as in the Dirac theory. This differs from the problem addressed in the present paper, since we start with a foliated submanifold of a symplectic manifold. See for example [8] as an introduction to the extensive literature on Poisson manifolds and algebras. For our purposes, we will first review only those aspects of the Gotay-Nester and the Dirac works which are relevant for our work and later on we will describe our extension. We will give detailed proofs under precise regularity conditions, at the cost of making the paper a little longer, but self contained. One of the features of systems like (1) is that they can represent some constrained systems where the constraints appear even if the Lagrangian is nonsingular, as it happens in the case of integrable nonholonomic systems. We will work under explicit hypotheses about regularity, locality and integrability, although some of our results can be applied in more general cases, as indicated in the paragraph Hypotheses, below in this section. In the Gotay-Nester theory the starting point is an equation of the form !(x)(x; _ ) = dE(x) (2) where ! is a presymplectic form on M. In fact, in the Gotay-Nester theory the more general case where dE(x) is replaced by an arbitrary closed 1-form α is considered, but this will not be relevant here. Example. Euler-Lagrange and Hamilton's equations. Let L: TQ ! R be a Lagrangian, degenerate or not. Let E(q; v; p) = pv − L(q; v) and let ! 2 THEORY OF CONSTRAINTS FOR DIRAC SYSTEMS 169 2 i Ω (TQ ⊕ T ∗Q) be the presymplectic form ! = dq ^ dpi on the Pontryagin bundle M = TQ ⊕ T ∗Q. Then the Euler-Lagrange equations are written equivalently in the form of equation (2) with x = (q; v; p). In fact, we have, in local coordinates, i i i i(_q;v;_ p_)dq ^ dpi =q _ dpi − p_idq (3) @E @E @E E = i + + i (4) d i dq dpi i dv @q @pi @v @L @L = − (q; v)dqi + vidp + p − dvi (5) @qi i i @vi Using equations (3){(5) we can easily see that (2) becomes q_i = vi @L p_ = (q; v) i @qi @L 0 = p − (q; v); i @vi which is clearly equivalent to the Euler-Lagrange equations. Note that in this approach the second-order conditionq _ = v appears automatically as a consequence of the formalism. This does not happen if we consider the equation i(_q;v_)!L(q; v) = dEL(q; v), where !L is the pullback of the canonical symplectic form on T ∗Q by the Legendre transformation and EL(q; v) = @L=@v (q; v) − L(q; v). Conditions for equations of this type to be second order have been studied in [59]. The case E(q; v; p) = H(q; p), where H is a given Hamiltonian on T ∗Q gives Hamilton's equations. In section6 we will give more examples showing the unifying power of Dirac systems. The idea of using the Pontryagin bundle to write such fundamental equations of physics appears in [29, 78, 97, 98, 99, 110, 111]. Equation (2) is equivalent to equation (1) in the case in which the Dirac structure on M is the one naturally associated to !, denoted D!, in which case the foliation of M has obviously only one presymplectic leaf. In general, equation (1) may be considered as a collection of equations of the type (2), one for each presymplectic leaf of the Dirac structure. However, in order to study the initial condition problem this approach might not be appropriate, because different initial conditions might belong to different presymplectic leaves and therefore correspond to different equations of the type (2), which is not the usual situation. Similarly, if D = Dπ is the Dirac structure associated to a Poisson bivector π the presymplectic leaves of Dπ are the symplectic leaves of π and equation (1) is equivalent to f_ = ff; Eg. The algorithm of the Gotay-Nester theory generates a finite sequence of secondary constraint submanifolds M ⊇ M1 ⊇ · · · ⊇ Mc. The final constraint submanifold Mc has the property that every solution curve of (2) is contained in it. In fact, Mc can be defined as being the smallest submanifold having that property, a non constructive definition but not involving any algorithm. Equations of motion are given by restricting the variable (x; x_) in equation (2) to TMc, and existence of solution curves x(t) for a given initial condition x0 2 Mc is guaranteed, under the condition that the kernel of [ ! (x)jTxMc : TxMc ! Tx∗M 170 HERNAN´ CENDRA, MAR´IA ETCHECHOURY AND SEBASTIAN´ J. FERRARO has locally constant rank. An important point in the Gotay-Nester approach is that the equations defining the secondary constraint submanifolds are written in terms of ! (see formula (12)), which makes the whole algorithm invariant under a group of transformations preserving !. In order to solve (1), we will develop a constraint algorithm that we call CAD (constraint algorithm for Dirac dynamical systems). The CAD extends the Gotay- Nester algorithm and gives a sequence of secondary foliated constraint submanifolds. The secondary foliated constraint submanifolds can be written in terms of the Dirac structure using formula (45), which generalizes (12). Let M ⊆ N be an embedding of M into a symplectic manifold (N; Ω), in such a way that the presymplectic leaves of M are presymplectic submanifolds of N and let, by slight abuse of notation, E : N ! R denote an arbitrary extension of the given energy on M. This kind of framework can be naturally constructed in many examples. Then one can consider, at least locally, that M is a primary foliated constraint submanifold defined by equating certain constraints to 0, and each leaf is defined by equating some other constraints to a constant depending on the leaf, which generalizes the situation of the Dirac theory of constraints. One of the results of this paper establishes that there exists a Dirac bracket whose symplectic leaves are adapted to the foliations of the primary and final foliated constraint submanifolds.
Load more

Recommended publications
  • 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]
  • Functor and Natural Operators on Symplectic Manifolds
    Mathematical Methods and Techniques in Engineering and Environmental Science Functor and natural operators on symplectic manifolds CONSTANTIN PĂTRĂŞCOIU Faculty of Engineering and Management of Technological Systems, Drobeta Turnu Severin University of Craiova Drobeta Turnu Severin, Str. Călugăreni, No.1 ROMANIA [email protected] http://www.imst.ro Abstract. Symplectic manifolds arise naturally in abstract formulations of classical Mechanics because the phase–spaces in Hamiltonian mechanics is the cotangent bundle of configuration manifolds equipped with a symplectic structure. The natural functors and operators described in this paper can be helpful both for a unified description of specific proprieties of symplectic manifolds and for finding links to various fields of geometric objects with applications in Hamiltonian mechanics. Key-words: Functors, Natural operators, Symplectic manifolds, Complex structure, Hamiltonian. 1. Introduction. diffeomorphism f : M → N , a vector bundle morphism The geometrics objects (like as vectors, covectors, T*f : T*M→ T*N , which covers f , where −1 tensors, metrics, e.t.c.) on a smooth manifold M, x = x :)*)(()*( x * → xf )( * NTMTfTfT are the elements of the total spaces of a vector So, the cotangent functor, )(:* → VBmManT and bundles with base M. The fields of such geometrics objects are the section in corresponding vector more general ΛkT * : Man(m) → VB , are the bundles. bundle functors from Man(m) to VB, where Man(m) By example, the vectors on a smooth manifold M (subcategory of Man) is the category of m- are the elements of total space of vector bundles dimensional smooth manifolds, the morphisms of this (TM ,π M , M); the covectors on M are the elements category are local diffeomorphisms between of total space of vector bundles (T*M , pM , 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]
  • 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]
  • Reduced Phase Space Quantization and Dirac Observables
    Reduced Phase Space Quantization and Dirac Observables T. Thiemann∗ MPI f. Gravitationsphysik, Albert-Einstein-Institut, Am M¨uhlenberg 1, 14476 Potsdam, Germany and Perimeter Institute f. Theoretical Physics, Waterloo, ON N2L 2Y5, Canada Abstract In her recent work, Dittrich generalized Rovelli’s idea of partial observables to construct Dirac observables for constrained systems to the general case of an arbitrary first class constraint algebra with structure functions rather than structure constants. Here we use this framework and propose how to implement explicitly a reduced phase space quantization of a given system, at least in principle, without the need to compute the gauge equivalence classes. The degree of practicality of this programme depends on the choice of the partial observables involved. The (multi-fingered) time evolution was shown to correspond to an automorphism on the set of Dirac observables so generated and interesting representations of the latter will be those for which a suitable preferred subgroup is realized unitarily. We sketch how such a programme might look like for General Relativity. arXiv:gr-qc/0411031v1 6 Nov 2004 We also observe that the ideas by Dittrich can be used in order to generate constraints equivalent to those of the Hamiltonian constraints for General Relativity such that they are spatially diffeomorphism invariant. This has the important consequence that one can now quantize the new Hamiltonian constraints on the partially reduced Hilbert space of spatially diffeomorphism invariant states, just as for the recently proposed Master constraint programme. 1 Introduction It is often stated that there are no Dirac observables known for General Relativity, except for the ten Poincar´echarges at spatial infinity in situations with asymptotically flat boundary conditions.
    [Show full text]
  • Theory of Systems with Constraints
    Theory of systems with Constraints Javier De Cruz P´erez Facultat de F´ısica, Universitat de Barcelona, Diagonal 645, 08028 Barcelona, Spain.∗ Abstract: We discuss systems subject to constraints. We review Dirac's classical formalism of dealing with such problems and motivate the definition of objects such as singular and nonsingular Lagrangian, first and second class constraints, and the Dirac bracket. We show how systems with first class constraints can be considered to be systems with gauge freedom. We conclude by studing a classical example of systems with constraints, electromagnetic field I. INTRODUCTION II. GENERAL CONSIDERATIONS Consider a system with a finite number, k , of degrees of freedom is described by a Lagrangian L = L(qs; q_s) that don't depend on t. The action of the system is [3] In the standard case, to obtain the equations of motion, Z we follow the usual steps. If we use the Lagrangian for- S = dtL(qs; q_s) (1) malism, first of all we find the Lagrangian of the system, calculate the Euler-Lagrange equations and we obtain the If we apply the least action principle action δS = 0, we accelerations as a function of positions and velocities. All obtain the Euler-Lagrange equations this is possible if and only if the Lagrangian of the sys- tems is non-singular, if not so the system is non-standard @L d @L − = 0 s = 1; :::; k (2) and we can't apply the standard formalism. Then we say @qs dt @q_s that the Lagrangian is singular and constraints on the ini- tial data occur.
    [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]
  • Hamiltonian and Symplectic Symmetries: an Introduction
    BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 54, Number 3, July 2017, Pages 383–436 http://dx.doi.org/10.1090/bull/1572 Article electronically published on March 6, 2017 HAMILTONIAN AND SYMPLECTIC SYMMETRIES: AN INTRODUCTION ALVARO´ PELAYO In memory of Professor J.J. Duistermaat (1942–2010) Abstract. Classical mechanical systems are modeled by a symplectic mani- fold (M,ω), and their symmetries are encoded in the action of a Lie group G on M by diffeomorphisms which preserve ω. These actions, which are called sym- plectic, have been studied in the past forty years, following the works of Atiyah, Delzant, Duistermaat, Guillemin, Heckman, Kostant, Souriau, and Sternberg in the 1970s and 1980s on symplectic actions of compact Abelian Lie groups that are, in addition, of Hamiltonian type, i.e., they also satisfy Hamilton’s equations. Since then a number of connections with combinatorics, finite- dimensional integrable Hamiltonian systems, more general symplectic actions, and topology have flourished. In this paper we review classical and recent re- sults on Hamiltonian and non-Hamiltonian symplectic group actions roughly starting from the results of these authors. This paper also serves as a quick introduction to the basics of symplectic geometry. 1. Introduction Symplectic geometry is concerned with the study of a notion of signed area, rather than length, distance, or volume. It can be, as we will see, less intuitive than Euclidean or metric geometry and it is taking mathematicians many years to understand its intricacies (which is work in progress). The word “symplectic” goes back to the 1946 book [164] by Hermann Weyl (1885–1955) on classical groups.
    [Show full text]
  • Arxiv:Math-Ph/9812022 V2 7 Aug 2000
    Local quantum constraints Hendrik Grundling Fernando Lledo´∗ Department of Mathematics, Max–Planck–Institut f¨ur Gravitationsphysik, University of New South Wales, Albert–Einstein–Institut, Sydney, NSW 2052, Australia. Am M¨uhlenberg 1, [email protected] D–14476 Golm, Germany. [email protected] AMS classification: 81T05, 81T10, 46L60, 46N50 Abstract We analyze the situation of a local quantum field theory with constraints, both indexed by the same set of space–time regions. In particular we find “weak” Haag–Kastler axioms which will ensure that the final constrained theory satisfies the usual Haag–Kastler axioms. Gupta– Bleuler electromagnetism is developed in detail as an example of a theory which satisfies the “weak” Haag–Kastler axioms but not the usual ones. This analysis is done by pure C*– algebraic means without employing any indefinite metric representations, and we obtain the same physical algebra and positive energy representation for it than by the usual means. The price for avoiding the indefinite metric, is the use of nonregular representations and complex valued test functions. We also exhibit the precise connection with the usual indefinite metric representation. We conclude the analysis by comparing the final physical algebra produced by a system of local constrainings with the one obtained from a single global constraining and also consider the issue of reduction by stages. For the usual spectral condition on the generators of the translation group, we also find a “weak” version, and show that the Gupta–Bleuler example satisfies it. arXiv:math-ph/9812022 v2 7 Aug 2000 1 Introduction In many quantum field theories there are constraints consisting of local expressions of the quantum fields, generally written as a selection condition for the physical subspace (p).
    [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]
  • Lagrangian Constraint Analysis of First-Order Classical Field Theories with an Application to Gravity
    PHYSICAL REVIEW D 102, 065015 (2020) Lagrangian constraint analysis of first-order classical field theories with an application to gravity † ‡ Verónica Errasti Díez ,1,* Markus Maier ,1,2, Julio A. M´endez-Zavaleta ,1, and Mojtaba Taslimi Tehrani 1,§ 1Max-Planck-Institut für Physik (Werner-Heisenberg-Institut), Föhringer Ring 6, 80805 Munich, Germany 2Universitäts-Sternwarte, Ludwig-Maximilians-Universität München, Scheinerstrasse 1, 81679 Munich, Germany (Received 19 August 2020; accepted 26 August 2020; published 21 September 2020) We present a method that is optimized to explicitly obtain all the constraints and thereby count the propagating degrees of freedom in (almost all) manifestly first-order classical field theories. Our proposal uses as its only inputs a Lagrangian density and the identification of the a priori independent field variables it depends on. This coordinate-dependent, purely Lagrangian approach is complementary to and in perfect agreement with the related vast literature. Besides, generally overlooked technical challenges and problems derived from an incomplete analysis are addressed in detail. The theoretical framework is minutely illustrated in the Maxwell, Proca and Palatini theories for all finite d ≥ 2 spacetime dimensions. Our novel analysis of Palatini gravity constitutes a noteworthy set of results on its own. In particular, its computational simplicity is visible, as compared to previous Hamiltonian studies. We argue for the potential value of both the method and the given examples in the context of generalized Proca and their coupling to gravity. The possibilities of the method are not exhausted by this concrete proposal. DOI: 10.1103/PhysRevD.102.065015 I. INTRODUCTION In this work, we focus on singular classical field theories It is hard to overemphasize the importance of field theory that are manifestly first order and analyze them employing in high-energy physics.
    [Show full text]