Hyperbolic spaceIn mathematics, hyperbolic space of dimension n is the unique simply connected, n-dimensional Riemannian manifold of constant sectional curvature equal to -1. It is homogeneous, and satisfies the stronger property of being a symmetric space. There are many ways to construct it as an open subset of with an explicitly written Riemannian metric; such constructions are referred to as models. Hyperbolic 2-space, H2, which was the first instance studied, is also called the hyperbolic plane.
G-structure on a manifoldIn differential geometry, a G-structure on an n-manifold M, for a given structure group G, is a principal G-subbundle of the tangent frame bundle FM (or GL(M)) of M. The notion of G-structures includes various classical structures that can be defined on manifolds, which in some cases are tensor fields. For example, for the orthogonal group, an O(n)-structure defines a Riemannian metric, and for the special linear group an SL(n,R)-structure is the same as a volume form.
Klein geometryIn mathematics, a Klein geometry is a type of geometry motivated by Felix Klein in his influential Erlangen program. More specifically, it is a homogeneous space X together with a transitive action on X by a Lie group G, which acts as the symmetry group of the geometry. For background and motivation see the article on the Erlangen program. A Klein geometry is a pair (G, H) where G is a Lie group and H is a closed Lie subgroup of G such that the (left) coset space G/H is connected.
DifféomorphismeEn mathématiques, un difféomorphisme est un isomorphisme dans la catégorie usuelle des variétés différentielles : c'est une bijection différentiable d'une variété dans une autre, dont la bijection réciproque est aussi différentiable. vignette|Image d'une grille à maille carrée par un difféomorphisme du carré dans lui-même. Soient : E et F deux espaces vectoriels normés réels de dimension finie ; U un ouvert de E, V un ouvert de F ; f une application de U dans V.
Opérateur de CasimirEn mathématiques, et plus spécifiquement en algèbre, l'opérateur de Casimir est un opérateur particulier. Plus précisément, étant donné une algèbre de Lie munie d'une forme bilinéaire non-dégénérée et invariante, et une représentation de dimension finie, l'opérateur de Casimir est une application linéaire continue particulière sur l'espace vectoriel de la représentation. Cet opérateur commute avec la représentation. Pour l'algèbre de Lie et la représentation étudiées, cet opérateur joue le rôle du laplacien.
Théorie de MorseEn mathématiques, et plus précisément en topologie différentielle, la théorie de Morse est un ensemble de techniques et de méthodes mises en place durant la seconde moitié du , permettant d'étudier la topologie d'une variété différentielle en analysant les lignes de niveau d'une fonction définie sur cette variété. Le premier résultat d'importance est le lemme de Morse, qui donne le lien entre points critiques d'une fonction suffisamment générale et modification de la topologie de la variété.