Algèbre de VirasoroL′algèbre de Virasoro est une algèbre de Lie complexe de dimension infinie qui joue un rôle essentiel dans certaines théories physiques, notamment en théorie des cordes, et d'une manière générale dans les théories conformes des champs, ainsi qu'en mathématiques dans l'étude du groupe Monstre (au travers du module moonshine) et des algèbres vertex. Elle tient son nom du physicien argentin qui les a introduit en théorie des cordes en 1970.
RajasthaniLe rajasthani (राजस्थानी Rājasthānī) est une langue parlée au Rajasthan (en Inde et au Pakistan) par environ 20 millions de locuteurs (ou 50 millions si on y inclut le marwari qui n'a pas de statut officiel). Elle était autrefois définie comme la variété occidentale du hindi. Elle appartient au sous-groupe indo-aryen de la branche indo-iranienne des langues indo-européennes. En Inde, la langue est écrite avec l’alphasyllabaire devanagari ; au Pakistan où la langue est minoritaire, elle est transcrite dans l’écriture perso-arabe, dans le même alphabet modifié que celui utilisé pour le sindhi (qui s’écrit aussi dans les deux écritures).
Limite projectiveEn mathématiques, dans la formalisation du langage des catégories, la limite projective est une généralisation du produit. Cette notion est duale de celle de limite inductive. Soient un ensemble ordonné, une famille d'ensembles indexée par , et pour chaque couple tel que , une application . On suppose que ces applications vérifient les deux propriétés suivantes : Une telle structure est appelée système projectif d'ensembles.
Sigma modelIn physics, a sigma model is a field theory that describes the field as a point particle confined to move on a fixed manifold. This manifold can be taken to be any Riemannian manifold, although it is most commonly taken to be either a Lie group or a symmetric space. The model may or may not be quantized. An example of the non-quantized version is the Skyrme model; it cannot be quantized due to non-linearities of power greater than 4. In general, sigma models admit (classical) topological soliton solutions, for example, the Skyrmion for the Skyrme model.
Analyse harmonique (mathématiques)thumb|upright=1.2|Analyseur harmonique mécanique de Lord Kelvin datant de 1878. L'analyse harmonique est la branche des mathématiques qui étudie la représentation des fonctions ou des signaux comme superposition d'ondes de base. Elle approfondit et généralise les notions de série de Fourier et de transformée de Fourier. Les ondes de base s'appellent les harmoniques, d'où le nom de la discipline.
Stokes' theoremStokes' theorem, also known as the Kelvin–Stokes theorem after Lord Kelvin and George Stokes, the fundamental theorem for curls or simply the curl theorem, is a theorem in vector calculus on . Given a vector field, the theorem relates the integral of the curl of the vector field over some surface, to the line integral of the vector field around the boundary of the surface. The classical theorem of Stokes can be stated in one sentence: The line integral of a vector field over a loop is equal to the flux of its curl through the enclosed surface.
Ward–Takahashi identityIn quantum field theory, a Ward–Takahashi identity is an identity between correlation functions that follows from the global or gauge symmetries of the theory, and which remains valid after renormalization. The Ward–Takahashi identity of quantum electrodynamics (QED) was originally used by John Clive Ward and Yasushi Takahashi to relate the wave function renormalization of the electron to its vertex renormalization factor, guaranteeing the cancellation of the ultraviolet divergence to all orders of perturbation theory.
Intégrale de cheminUne 'intégrale de chemin' (« path integral » en anglais) est une intégrale fonctionnelle, c'est-à-dire que l'intégrant est une fonctionnelle et que la somme est prise sur des fonctions, et non sur des nombres réels (ou complexes) comme pour les intégrales ordinaires. On a donc ici affaire à une intégrale en dimension infinie. Ainsi, on distinguera soigneusement l'intégrale de chemin (intégrale fonctionnelle) d'une intégrale ordinaire calculée sur un chemin de l'espace physique, que les mathématiciens appellent intégrale curviligne.
Map layoutMap layout, also called map composition or (cartographic) page layout, is the part of cartographic design that involves assembling various map elements on a page. This may include the map image itself, along with titles, legends, scale indicators, inset maps, and other elements. It follows principles similar to page layout in graphic design, such as balance, gestalt, and visual hierarchy. The term map composition is also used for the assembling of features and symbols within the map image itself, which can cause some confusion; these two processes share a few common design principles but are distinct procedures in practice.
ThéorèmeEn mathématiques et en logique, un théorème (du grec théorêma, objet digne d'étude) est une assertion qui est démontrée, c'est-à-dire établie comme vraie à partir d'autres assertions déjà démontrées (théorèmes ou autres formes d'assertions) ou des assertions acceptées comme vraies, appelées axiomes. Un théorème se démontre dans un système déductif et est une conséquence logique d'un système d'axiomes. En ce sens, il se distingue d'une loi scientifique, obtenue par l'expérimentation.
Théorie de jauge sur réseauLa théorie de jauge sur réseau est une branche de la physique théorique, consistant à étudier les propriétés d'une théorie de jauge sur un modèle discret d’espace-temps, caractérisé mathématiquement comme un réseau. Les théories de jauge jouent un rôle fondamental en physique des particules, puisqu'elles unifient les théories actuellement reçues sur les particules élémentaires : l’électrodynamique quantique, la chromodynamique quantique (QCD) et le « Modèle standard ».
Modèle sigma non linéaireEn théorie quantique des champs un modèle sigma non linéaire désigne une théorie dans laquelle les champs fondamentaux représentent des coordonnées dans une variété riemannienne appelée espace-cible. Ensemble ils constituent un plongement depuis l'espace sur lequel ils vivent (par exemple l'espace de Minkowski) vers l'espace-cible. Dans le cas le plus simple on considère que l'espace sur lequel vivent les champs de la théorie est l'espace de Minkowki .