**Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?**

Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur GraphSearch.

Publication# Some applications of symmetries in differential geometry and dynamical systems

Résumé

This thesis deals with applications of Lie symmetries in differential geometry and dynamical systems. The first chapter of the thesis studies the singular reduction of symmetries of cosphere bundles, the conservation properties of contact systems and their reduction. We generalise the results of [15] to the singular case making a complete topological and geometrical analysis of the reduced space. Applying the general theory of contact reduction developed by Lerman and Willett in [33] and [57], one obtains contact stratified spaces that lose all information of the internal structure of the cosphere bundle. Based on the cotangent bundle reduction theorems, both in the regular and singular case, as well as regular cosphere bundle reduction, one expects additional bundle-like structure for the contact strata. The cosphere bundle projection to the base manifold descends to a continuous surjective map from the reduced space at zero to the orbit quotient of the configuration space, but it fails to be a morphism of stratified spaces if we endow the reduced space with its contact stratification and the base space with the customary orbit type stratification defined by the Lie group action. In this chapter we introduce a new stratification of the contact quotient at zero, called the C-L stratification (standing for the coisotropic or Legendrian nature of its pieces) which solves the above mentioned two problems. Its main features are the following. First, it is compatible with the contact stratification of the quotient and the orbit type stratification of the configuration orbit space. It is also finer than the contact stratification. Second, the natural projection of the C-L stratified quotient space to its base space, stratified by orbit types, is a morphism of stratified spaces. Third, each C-L stratum is a bundle over an orbit type stratum of the base and it can be seen as a union of C-L pieces, one of them being open and dense in its corresponding contact stratum and contactomorphic to a cosphere bundle. The other strata are coisotropic or Legendrian submanifolds in the contact components that contain them. We also describe the relation between contact vector fields and the time dependent Hamilton-Jacobi equation. The reduction of contact systems and time dependent Hamiltonians is mentioned. In the second chapter we study geometric properties of Sasakian and Kähler quotients. We construct a reduction procedure for symplectic and Kähler manifolds using the ray preimages of the momentum map. More precisely, instead of taking as in point reduction the preimage of a momentum value μ, we take the preimage of ℝ+μ, the positive ray of μ. We have two reasons to develop this construction. One is geometric: non zero Kähler point reduction is not always well defined. The problem is that the complex structure may not leave invariant the horizontal distribution of the Riemannian submersion πμ : J-1(μ) → Mμ. The solution proposed in the literature is correct only in the case of totally isotropic momentum (i.e. Gμ = G). The other reason is that it provides invariant submanifolds for conformal Hamiltonian systems. They are usually non-autonomous mechanical systems with friction whose integral curves preserve, in the case of symmetries, the ray pre-images of the momentum map. We extend the class of conformal Hamiltonian systems already studied and complete the existing Lie Poisson reduction with the general ray one. As examples of symplectic (Kähler) and contact (Sasakian) ray reductions we treat the case of cotangent and cosphere bundles and we show that they are universal for ray reductions. Using techniques of A. Futaki, we prove that, under appropriate hypothesis, ray quotients of Kähler-Einstein or Sasaki-Einstein manifolds remain Kähler or Sasaki-Einstein. Note that it suffices to prove the Kähler case and the compatibility of ray reduction with the Boothby-Wang fibration. In the last chapter, we prove a stratification theorem for proper groupoids. First we find an equivalent way of describing the same result for a proper Lie group action, way which uses the theory of foliations and can be adapted to the language of Lie groupoids. We treat separately the case of free and proper groupoids. The orbit foliation of a proper Lie groupoid is a singular Riemannian foliation and we show this explicitly.

Source officielle

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

MOOCs associés (6)

Publications associées (2)

Introduction to optimization on smooth manifolds: first order methods

Learn to optimize on smooth, nonlinear spaces: Join us to build your foundations (starting at "what is a manifold?") and confidently implement your first algorithm (Riemannian gradient descent).

Geographical Information Systems 1

Organisé en deux parties, ce cours présente les bases théoriques et pratiques des systèmes d’information géographique, ne nécessitant pas de connaissances préalables en informatique. En suivant cette

Geographical Information Systems 1

Organisé en deux parties, ce cours présente les bases théoriques et pratiques des systèmes d’information géographique, ne nécessitant pas de connaissances préalables en informatique. En suivant cette

Concepts associés (35)

Géométrie différentielle

vignette|Exemple d'objets étudiés en géométrie différentielle. Un triangle dans une surface de type selle de cheval (un paraboloïde hyperbolique), ainsi que deux droites parallèles. En mathématiques, la géométrie différentielle est l'application des outils du calcul différentiel à l'étude de la géométrie. Les objets d'étude de base sont les variétés différentielles, ensembles ayant une régularité suffisante pour envisager la notion de dérivation, et les fonctions définies sur ces variétés.

Analyse géométrique

L'analyse géométrique est un champ mathématique à l'interface de la géométrie différentielle et des équations différentielles. vignette| de surface minimale. Les surfaces minimales font partie des objets d'étude en analyse géométrique. L'analyse géométrique comprend à la fois l'utilisation de méthodes géométriques dans l'étude des équations aux dérivées partielles, et l'application de la théorie des équations aux dérivées partielles à la géométrie.

Géométrie de contact

La géométrie de contact est la partie de la géométrie différentielle qui étudie les formes et structures de contact. Elle entretient d'étroits liens avec la géométrie symplectique, la géométrie complexe, la théorie des feuilletages de codimension 1 et les systèmes dynamiques. La géométrie de contact classique est née de l'étude de la thermodynamique et de l'optique géométrique. Une structure de contact sur une variété est un champ d'hyperplans c'est-à-dire la donnée, en tout point de la variété, d'un hyperplan dans l'espace tangent.

K-Theory was originally defined by Grothendieck as a contravariant functor from a subcategory of schemes to abelian groups, known today as K0. The same kind of construction was then applied to other fields of mathematics, like spaces and (not necessarily commutative) rings. In all these cases, it consists of some process applied, not directly to the object one wants to study, but to some category related to it: the category of vector bundles over a space, of finitely generated projective modules over a ring, of locally free modules over a scheme, for instance. Later, Quillen extracted axioms that all these categories satisfy and that allow the Grothendieck construction of K0. The categorical structure he discovered is called today a Quillen-exact category. It led him not only to broaden the domain of application of K-theory, but also to define a whole K-theory spectrum associated to such a category. Waldhausen next generalized Quillen's notion of an exact category by introducing categories with weak equivalences and cofibrations, which one nowadays calls Waldhausen categories. K-theory has since been studied as a functor from the category of suitably structured (Quillen-exact, Waldhausen, symmetric monoidal) small categories to some category of spectra1. This has given rise to a huge field of research, so much so that there is a whole journal devoted to the subject. In this thesis, we want to take advantage of these tools to begin studying K-theory from another perspective. Indeed, we have the impression that, in the generalization of topological and algebraic K-theory that has been started by Quillen, something important has been left aside. K-theory was initiated as a (contravariant) functor from the various categories of spaces, rings, schemes, …, not from the category of Waldhausen small categories. Of course, one obtains information about a ring by studying its Quillen-exact category of (finitely generated projective) modules, but still, the final goal is the study of the ring, and, more globally, of the category of rings. Thus, in a general theory, one should describe a way to associate not only a spectrum to a structured category, but also a structured category to an object. Moreover, this process should take the morphisms of these objects into account. This gives rise to two fundamental questions. What kind of mathematical objects should K-theory be applied to? Given such an object, what category "over it" should one consider and how does it vary over morphisms? Considering examples, we have made the following observations. Suppose C is the category that is to be investigated by means of K-theory, like the category of topological spaces or of schemes, for instance. The category associated to an object of C is a sub-category of the category of modules over some monoid in a monoidal category with additional structure (topological, symmetric, abelian, model). The situation is highly "fibred": not only morphisms of C induce (structured) functors between these sub-categories of modules, but the monoidal category in which theses modules take place might vary from one object of C to another. In important cases, the sub-categories of modules considered are full sub-categories of "locally trivial" modules with respect to some (possibly weakened notion of) Grothendieck topology on C . That is, there are some specific modules that are considered sufficiently simple to be called trivial and locally trivial modules are those that are, locally over a covering of the Grothendieck topology, isomorphic to these. In this thesis, we explore, with K-theory in view, a categorical framework that encodes these kind of data. We also study these structures for their own sake, and give examples in other fields. We do not mention in this abstract set-theoretical issues, but they are handled with care in the discussion. Moreover, an appendix is devoted to the subject. After recalling classical facts of Grothendieck fibrations (and their associated indexed categories), we provide new insights into the concept of a bifibration. We prove that there is a 2-equivalence between the 2-category of bifibrations over a category ℬ and a 2-category of pseudo double functors from ℬ into the double category of adjunctions in CAT. We next turn our attention to composable pairs of fibrations , as they happen to be fundamental objects of the theory. We give a characterization of these objects in terms of pseudo-functors ℬop → FIBc into the 2-category of fibrations and Cartesian functors. We next turn to a short survey about Grothendieck (pre-)topologies. We start with the basic notion of covering function, that associate to each object of a category a family of coverings of the object. We study separately the saturation of a covering function with respect to sieves and to refinements. The Grothendieck topology generated by a pretopology is shown to be the result of these two steps. We define then, inspired by Street [89], the notion of (locally) trivial objects in a fibred category P : ℰ → ℬ equipped with some notion of covering of objects of the base ℬ. The trivial objects are objects chosen in some fibres. An object E in the fibre over B ∈ ℬ is locally trivial if there exists a covering {fi : Bi → B}i ∈ I such the inverse image of E along fi is isomorphic to a trivial object. Among examples are torsors, principal bundles, vector bundles, schemes, locally constant sheaves, quasi-coherent and locally free sheaves of modules, finitely generated projective modules over commutative rings, topological manifolds, … We give conditions under which locally trivial objects form a subfibration of P and describe the relationship between locally trivial objects with respect to subordinated covering functions. We then go into the algebraic part of the theory. We give a definition of monoidal fibred categories and show a 2-equivalence with monoidal indexed categories. We develop algebra (monoids and modules) in these two settings. Modules and monoids in a monoidal fibred category ℰ → ℬ happen to form a pair of fibrations . We end this thesis by explaining how to apply this categorical framework to K-theory and by proposing some prospects of research. ______________________________ 1 Works of Lurie, Toën and Vezzosi have shown that K-theory really depends on the (∞, 1)-category associated to a Waldhausen category [94]. Moreover, topological K-theory of spaces and Banach algebras takes the fact that the Waldhausen category is topological in account [62, 70].

The mathematical facet of modern crystallography is essentially based on analytical geometry, linear algebra as well as group theory. This study endeavours to approach the geometry and symmetry of crystals using the tools furnished by differential geometry and the theory of Lie groups. These two branches of mathematics being little known to crystallographers, the pertinent definitions such as differentiable manifold, tangent space or metric tensor or even isometries on a manifold together with some important results are given first. The example of euclidean space, taken as riemannian manifold, is treated, in order to show that the affine aspect of this space is not at all an axiom but the consequence of the euclidean nature of the manifold. Attention is then directed to a particular subgroup of the group of euclidean isometries, namely that of translations. This has the property of a Lie group and it turns out that the action of its elements, as well as those of its Lie algebra, plays an important role in generating a lattice on a manifold and in its tangent space, too. In particular, it is pointed out that one and only one finite and free module of the Lie algebra of the group of translations can generate both, modulated and non-modulated lattices. This last classification therefore appears continuous rather than black and white and is entirely determined by the parametrisation considered. Since a lattice in a tangent space has the properties of a vector space, it always possesses the structure of a finite, free module, which shows that the assignment of aperiodicity to modulated structures is quite subjective, even unmotivated. Thanks to the concept of representation of a lattice or a crystal in a tangent space, novel definitions of the notions of symmetry operation of a space group and point symmetry operation, as well as symmetry element and intrinsic translation arise; they altogether naturally blend into the framework of differential geometry. In order to conveniently pass from one representation of a crystal in one tangent space to another or to the structure on a manifold, an equivalence relation on the tangent bundle of the manifold is introduced. This relation furthermore allows to extend the concept of symmetry operation to the tangent bundle; this extension furnishes, particularly in the euclidean case, a very practical way of representing symmetry operations of space groups completely devoid of any dependence on an origin, or, in other words, in which each and every point may be considered the origin. The investigation of the group of translations having being completed, the study of the linear parts of the isometries comes naturally. Based on the fact that the set of linear parts possesses the structure of a Lie group, several results are proven in a rigorous manner, such as the fact that a rotation angle of π/3 is incompatible with a three-dimensional cubic lattice. Procedures for determining different crystal systems in function of the type of rotation are laid out by way of the study of orthogonal matrices and their relation to the matrix associated with the type of system. Finally, the description of a crystal by its diffraction patterns is taken on. It is shown that the general aspect of such a pattern is directly linked to the action of that free and finite module of the Lie algebra of translations which generates a lattice on a manifold. In the case of modulated crystals, it is demonstrated that the appearance of supplementary spots is caused by the geometry, i.e. by the parametrisation of the manifold in which the crystal exists and not by the action of the module in the Lie algebra. Thus, there exists a neat separation: the geometrical aspect on the one hand, and the action of the group on the other. As the last topic, other ways of interpreting the diffraction pattern of a modulated structure are laid out in order to argue that mere experimental data do not warrant the uniqueness of a model. The goal of this study is by no means an attempt at overthrowing existing structural models such as the superspace-formalism or at revolutionising the methods for determining structures, but is rather aimed at sustaining that the definition of certain notions becomes thoroughly natural within the appropriate mathematical framework, and, that the term aperiodicity assigned to modulated structures no longer has a true meaning.