Connexion de KoszulEn géométrie différentielle, une connexion (de Koszul) est un opérateur sur les sections d'un fibré vectoriel. Cette notion a été introduite par Jean-Louis Koszul en 1950 et formalise le transport parallèle de vecteurs le long d'une courbe en termes d'équation différentielle ordinaire. Les connexions sont des objets localement définis auxquels sont associées les notions de courbure et de torsion. L'un des exemples les plus simples de connexions de Koszul sans torsion est la connexion de Levi-Civita naturellement définie sur le fibré tangent de toute variété riemannienne.
Groupe de HeisenbergEn mathématiques, le groupe de Heisenberg d'un anneau unifère A (non nécessairement commutatif) est le groupe multiplicatif des matrices triangulaires supérieures de taille 3 à coefficients dans A et dont les éléments diagonaux sont égaux au neutre multiplicatif de l'anneau : Originellement, l'anneau A choisi par Werner Heisenberg était le corps R des réels. Le « groupe de Heisenberg continu », , lui a permis d'expliquer, en mécanique quantique, l'équivalence entre la représentation de Heisenberg et celle de Schrödinger.
Noncommutative quantum field theoryIn mathematical physics, noncommutative quantum field theory (or quantum field theory on noncommutative spacetime) is an application of noncommutative mathematics to the spacetime of quantum field theory that is an outgrowth of noncommutative geometry and index theory in which the coordinate functions are noncommutative. One commonly studied version of such theories has the "canonical" commutation relation: which means that (with any given set of axes), it is impossible to accurately measure the position of a particle with respect to more than one axis.
Gelfand representationIn mathematics, the Gelfand representation in functional analysis (named after I. M. Gelfand) is either of two things: a way of representing commutative Banach algebras as algebras of continuous functions; the fact that for commutative C*-algebras, this representation is an isometric isomorphism. In the former case, one may regard the Gelfand representation as a far-reaching generalization of the Fourier transform of an integrable function.
K-théorieEn mathématiques, la K-théorie est un outil utilisé dans plusieurs disciplines. En topologie algébrique, la sert de théorie de cohomologie. Une variante est utilisée en algèbre sous le nom de K-théorie algébrique. Les premiers résultats de la K-théorie ont été dans le cadre de la topologie algébrique, comme une théorie de cohomologie extraordinaire (elle ne vérifie pas l'axiome de dimension). Par la suite, ces méthodes ont été utilisées dans beaucoup d'autres domaines comme la géométrie algébrique, l'algèbre, la théorie des nombres, la théorie des opérateurs, etc.
Algèbre enveloppanteEn mathématiques, on peut construire l'algèbre enveloppante d'une algèbre de Lie . Il s'agit d'une algèbre associative unitaire qui permet de rendre compte de la plupart des propriétés de . Algèbre de Lie Soit K un corps commutatif de caractéristique différente de 2. Une algèbre de Lie sur K est un espace vectoriel muni d'une application bilinéaire de dans qui vérifie les propriétés suivantes : Tout espace vectoriel peut être muni d'une structure d'algèbre de Lie, en posant .
