**Are you an EPFL student looking for a semester project?**

Work with us on data science and visualisation projects, and deploy your project as an app on top of GraphSearch.

Concept# Differential geometry

Summary

Differential geometry is a mathematical discipline that studies the geometry of smooth shapes and smooth spaces, otherwise known as smooth manifolds. It uses the techniques of differential calculus, integral calculus, linear algebra and multilinear algebra. The field has its origins in the study of spherical geometry as far back as antiquity. It also relates to astronomy, the geodesy of the Earth, and later the study of hyperbolic geometry by Lobachevsky. The simplest examples of smooth spaces are the plane and space curves and surfaces in the three-dimensional Euclidean space, and the study of these shapes formed the basis for development of modern differential geometry during the 18th and 19th centuries.
Since the late 19th century, differential geometry has grown into a field concerned more generally with geometric structures on differentiable manifolds. A geometric structure is one which defines some notion of size, distance, shape, volume, or other rigidifying structure. For

Official source

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related publications

Loading

Related people

Loading

Related units

Loading

Related concepts

Loading

Related courses

Loading

Related lectures

Loading

Related people (10)

Related publications (100)

Loading

Loading

Loading

Related lectures (105)

Related units (12)

Related courses (73)

PHYS-101(en): General physics : mechanics (English)

Students will learn the principles of mechanics to enable a better understanding of physical phenomena, such as the kinematics and dyamics of point masses and solid bodies. Students will acquire the capacity to quantitatively analyze these effects with the appropriate theoretical tools.

MATH-322: Introduction to differentiable manifolds

Differentiable manifolds are a certain class of topological spaces which, in a way we will make precise, locally resemble R^n. We introduce the key concepts of this subject, such as vector fields, differential forms, integration of differential forms etc.

MATH-512: Optimization on manifolds

We develop, analyze and implement numerical algorithms to solve optimization problems of the form: min f(x) where x is a point on a smooth manifold. To this end, we first study differential and Riemannian geometry (with a focus dictated by pragmatic concerns). We also discuss several applications.

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.

The matrix completion problem consists of finding or approximating a low-rank matrix based on a few samples of this matrix. We propose a new algorithm for matrix completion that minimizes the least-square distance on the sampling set over the Riemannian manifold of fixed-rank matrices. The algorithm is an adaptation of classical nonlinear conjugate gradients, developed within the framework of retraction-based optimization on manifolds. We describe all the necessary objects from differential geometry necessary to perform optimization over this low-rank matrix manifold, seen as a submanifold embedded in the space of matrices. In particular, we describe how metric projection can be used as retraction and how vector transport lets us obtain the conjugate search directions. Finally, we prove convergence of a regularized version of our algorithm under the assumption that the restricted isometry property holds for incoherent matrices throughout the iterations. The numerical experiments indicate that our approach scales very well for large-scale problems and compares favorably with the state-of-the-art, while outperforming most existing solvers.

An intrinsic approach to Finsler geometry is proposed. A concept of Finsler- Ehresmann manifold, denoted by (M,F,H), is introduced and a generalized Chern connection is built for this manifold. Conformal deformations on this manifold are considered. First, we have an analogous of Chern's theorem: we prove the existence and uniqueness of a generalized Chern connection for the manifold (M,F,H). Similarly, within an essentially koszulian formalism, we present two curvatures associated to this generalized connection, namely a R curvature and a P one. The second result is the deduction of conformal transformations laws for the generalized Chern connection and associated curvatures. The transformation of R seems to have very similar properties as that of the Riemannian curvature while that of P reveals other objects of pure Finslerian nature. Third, we construct the finsler Weyl and Schouten tensors W and S respectively and we study their conformal transformations. Furthermore, we show that for the dimension 3, the horizontal component of W for generalized Berwald manifolds is identically zero. The next result is a theorem of Weyl-Schouten type giving necessary and sufficient conditions for a Finsler-Ehresmann manifold to be conformaly R-flat. We complete this result by exploring the case of dimension 3 for Berwald spaces which gives a result very similar to the Riemannian case. In addition, we announce some necessary conditions to characterize conformal flatness of Finsler-Ehresmann manifolds.

Related concepts (226)

Manifold

In mathematics, a manifold is a topological space that locally resembles Euclidean space near each point. More precisely, an n-dimensional manifold, or n-manifold for sho

Geometry

Geometry (; ) is a branch of mathematics concerned with properties of space such as the distance, shape, size, and relative position of figures. Geometry is, along with arithmetic, one of the oldest b

Differentiable manifold

In mathematics, a differentiable manifold (also differential manifold) is a type of manifold that is locally similar enough to a vector space to allow one to apply calculus. Any manifold can be desc