Schéma (géométrie algébrique)En mathématiques, les schémas sont les objets de base de la géométrie algébrique, généralisant la notion de variété algébrique de plusieurs façons, telles que la prise en compte des multiplicités, l'unicité des points génériques et le fait d'autoriser des équations à coefficients dans un anneau commutatif quelconque.
Stack (mathematics)In mathematics a stack or 2-sheaf is, roughly speaking, a sheaf that takes values in categories rather than sets. Stacks are used to formalise some of the main constructions of descent theory, and to construct fine moduli stacks when fine moduli spaces do not exist. Descent theory is concerned with generalisations of situations where isomorphic, compatible geometrical objects (such as vector bundles on topological spaces) can be "glued together" within a restriction of the topological basis.
Variété (géométrie)En mathématiques, et plus particulièrement en géométrie, la notion de variété peut être appréhendée intuitivement comme la généralisation de la classification qui établit qu'une courbe est une variété de dimension 1 et une surface est une variété de dimension 2. Une variété de dimension n, où n désigne un entier naturel, est un espace topologique localement euclidien, c'est-à-dire dans lequel tout point appartient à une région qui s'apparente à un tel espace.
Monstrous moonshineEn mathématiques, monstrous moonshine est un terme anglais conçu par John Horton Conway et Simon P. Norton en 1979, utilisé pour décrire la connexion, alors totalement inattendue, entre le groupe Monstre M et les formes modulaires (en particulier la fonction j). Précisément, Conway et Norton, suivant une observation initiale de John McKay, trouvèrent que le développement de Fourier de (, où désigne le ) pouvait être exprimé en termes de combinaisons linéaires des dimensions des représentations irréductibles de M () où et Conway et Norton formulèrent des conjectures concernant les fonctions obtenues en remplaçant les traces sur l'élément neutre par les traces sur d'autres éléments g de M.
Variété différentielleEn mathématiques, les variétés différentielles ou variétés différentiables sont les objets de base de la topologie différentielle et de la géométrie différentielle. Il s'agit de variétés, « espaces courbes » localement modelés sur l'espace euclidien de dimension n, sur lesquelles il est possible de généraliser une bonne part des opérations du calcul différentiel et intégral. Une variété différentielle se définit donc d'abord par la donnée d'une variété topologique, espace topologique localement homéomorphe à l'espace R.
Groupe de papier peintUn groupe de papier peint (ou groupe d'espace bidimensionnel, ou groupe cristallographique du plan) est un groupe mathématique constitué par l'ensemble des symétries d'un motif bidimensionnel périodique. De tels motifs, engendrés par la répétition (translation) à l'infini d'une forme dans deux directions du plan, sont souvent utilisés en architecture et dans les arts décoratifs. Il existe 17 types de groupes de papier peint, qui permettent une classification mathématique de tous les motifs bidimensionnels périodiques.
Symétrie miroirEn géométrie algébrique et en physique théorique, la symétrie miroir est une relation entre des objets géométriques appelés variétés de Calabi–Yau. Le terme fait référence à une situation où deux variétés de Calabi–Yau ont une apparence géométrique très différente mais sont néanmoins équivalentes lorsqu'elles sont utilisées comme dimensions supplémentaires de la théorie des cordes. La symétrie miroir a été découverte par des physiciens.
K3 (géométrie)En géométrie différentielle ou algébrique, les surfaces K3 sont les variétés de Calabi-Yau de plus petite dimension différentes des tores. Ce sont des variétés complexes de dimension complexe 2 compactes et kählériennes. Les surfaces K3 possèdent en outre la propriété d'être les seules variétés de Calabi-Yau distincte du 4-tore T d'un point de vue topologique ou différentiel. Cependant, en tant que variété complexe, il y a un nombre infini de surfaces K3 non isomorphes. On peut notamment les distinguer par le biais du .
PseudogroupIn mathematics, a pseudogroup is a set of diffeomorphisms between open sets of a space, satisfying group-like and sheaf-like properties. It is a generalisation of the concept of a group, originating however from the geometric approach of Sophus Lie to investigate symmetries of differential equations, rather than out of abstract algebra (such as quasigroup, for example). The modern theory of pseudogroups was developed by Élie Cartan in the early 1900s.
Réseau (sous-groupe discret)En théorie des groupes le terme réseau désigne un sous-groupe d'un groupe topologique localement compact vérifiant les conditions suivantes : est discret dans , ce qui est équivalent à la condition qu'il existe un voisinage ouvert de l'identité de tel que ; est de covolume fini dans , c'est-à-dire qu'il existe sur l'espace quotient une mesure Borélienne de masse totale finie et invariante par (agissant par translations à droite). Un réseau est dit uniforme quand le quotient est compact. On dit alors que est un réseau de .
Lie groupoidIn mathematics, a Lie groupoid is a groupoid where the set of s and the set of morphisms are both manifolds, all the operations (source and target, composition, identity-assigning map and inversion) are smooth, and the source and target operations are submersions. A Lie groupoid can thus be thought of as a "many-object generalization" of a Lie group, just as a groupoid is a many-object generalization of a group. Accordingly, while Lie groups provide a natural model for (classical) continuous symmetries, Lie groupoids are often used as model for (and arise from) generalised, point-dependent symmetries.
Supergravitévignette|Vue d'artiste de la sonde gravitationnelle B en orbite autour de la Terre pour mesurer l'espace-temps, une description quadridimensionnelle de l'univers comprenant la hauteur, la largeur, la longueur et le temps. En physique théorique, une théorie de la supergravité est une théorie du champ de Maxwell qui combine la supersymétrie et la relativité générale. Les théories de supergravité possèdent une super-symétrie locale, c'est-à-dire qu'elles sont invariantes par une transformation de supersymétrie dont les paramètres dépendent de la position dans l'espace.
GerbeIn mathematics, a gerbe (dʒɜrb; ʒɛʁb) is a construct in homological algebra and topology. Gerbes were introduced by Jean Giraud following ideas of Alexandre Grothendieck as a tool for non-commutative cohomology in degree 2. They can be seen as an analogue of fibre bundles where the fibre is the classifying stack of a group. Gerbes provide a convenient, if highly abstract, language for dealing with many types of deformation questions especially in modern algebraic geometry.
Théorie géométrique des groupesLa théorie géométrique des groupes est un domaine des mathématiques pour l'étude des groupes de type fini à travers les connexions entre les propriétés algébriques de ces groupes et les propriétés topologiques et géométriques des espaces sur lesquels ils opèrent. Les groupes sont vus comme des ensembles de symétries ou d'applications continues sur ces espaces. Une autre idée importante de la théorie géométrique des groupes est de considérer les groupes de type fini eux-mêmes comme des objets géométriques, généralement via le graphe de Cayley du groupe étudié.
Groupe d'espaceLe groupe d'espace d'un cristal est constitué par l'ensemble des symétries d'une structure cristalline, c'est-à-dire l'ensemble des isométries affines laissant la structure invariante. Il s'agit d'un groupe au sens mathématique du terme. Tout groupe d'espace résulte de la combinaison d'un réseau de Bravais et d'un groupe ponctuel de symétrie : toute symétrie de la structure résulte du produit d'une translation du réseau et d'une transformation du groupe ponctuel. La notation de Hermann-Mauguin est utilisée pour représenter un groupe d'espace.
Catégorie groupoïdeEn mathématiques, et plus particulièrement en théorie des catégories et en topologie algébrique, la notion de groupoïde généralise à la fois les notions de groupe, de relation d'équivalence sur un ensemble, et de l'action d'un groupe sur un ensemble. Elle a été initialement développée par Heinrich Brandt en 1927. Les groupoïdes sont souvent utilisés pour représenter certaines informations sur des objets topologiques ou géométriques comme les variétés. Un groupoïde est une petite catégorie dans laquelle tout morphisme est un isomorphisme.
Espace de modulesEn mathématiques, un espace de modules est un espace paramétrant les diverses classes d'objets sous une relation d'équivalence ; l'intérêt est de pouvoir alors munir naturellement ces espaces de classes d'une structure supplémentaire. L'archétype de cette situation est la classification des courbes elliptiques par les points d'une courbe modulaire. Autre exemple : en géométrie différentielle, l'espace de modules d'une variété est l'espace des paramètres définissant la géométrie modulo les difféomorphismes locaux et globaux.
Ruban de Möbiusvignette|Réalisation à partir d'une bande de papier. En topologie, le ruban de Möbius (aussi appelé bande de Möbius ou boucle de Möbius) est une surface compacte dont le bord est homéomorphe à un cercle. Autrement dit, il ne possède qu'une seule face (et un seul bord) contrairement à un ruban classique qui en possède deux. La surface a la particularité d'être réglée et non orientable. Elle a été décrite indépendamment en 1858 par les mathématiciens August Ferdinand Möbius (1790-1868) et Johann Benedict Listing (1808-1882).
Espace de TeichmüllerEn mathématiques, l'espace de Teichmüller d'une surface (réelle) topologique (ou différentielle) , est un espace qui paramétrise des structures complexes sur à l'action des homéomorphismes isotopes à l'identité près. Les espaces Teichmüller portent le nom d'Oswald Teichmüller. Chaque point d'un espace de Teichmüller peut être considérée comme une classe d'isomorphismes de surfaces de Riemann "marquées", où un "marquage" est une classe d'isotopie d'homéomorphismes de sur lui-même.
Théorie des supercordesthumb|Vue d'artiste de la théorie des supercordes. La théorie des supercordes est une tentative pour expliquer l'existence de toutes les particules et forces fondamentales de la nature, en les modélisant comme les vibrations de minuscules cordes supersymétriques. Au début du , elle est considérée comme la plus féconde des théories pour une gravité quantique, même si elle souffre des mêmes défauts que la théorie des cordes en raison de l'impossibilité de la vérifier par l'expérimentation.
