A¹ homotopy theoryIn algebraic geometry and algebraic topology, branches of mathematics, A1 homotopy theory or motivic homotopy theory is a way to apply the techniques of algebraic topology, specifically homotopy, to algebraic varieties and, more generally, to schemes. The theory is due to Fabien Morel and Vladimir Voevodsky. The underlying idea is that it should be possible to develop a purely algebraic approach to homotopy theory by replacing the unit interval [0, 1], which is not an algebraic variety, with the affine line A1, which is.
Théorie de l'homotopie stableEn mathématiques, la théorie de l'homotopie stable est une partie de la théorie de l'homotopie concernée par les structures et tous les phénomènes qui subsistent après suffisamment d'applications du foncteur de suspension. Un résultat fondateur a été le théorème de suspension de Freudenthal, qui stipule que, étant donné tout espace pointé , les groupes d'homotopie se stabilisent pour suffisamment grand. En particulier, les groupes d'homotopie des sphères se stabilisent pour .
K-théorie algébriqueEn mathématiques, la K-théorie algébrique est une branche importante de l'algèbre homologique. Son objet est de définir et d'appliquer une suite de foncteurs K de la catégorie des anneaux dans celle des groupes abéliens. Pour des raisons historiques, K et K sont conçus en des termes un peu différents des K pour n ≥ 2. Ces deux K-groupes sont en effet plus accessibles et ont plus d'applications que ceux d'indices supérieurs. La théorie de ces derniers est bien plus profonde et ils sont beaucoup plus difficiles à calculer, ne serait-ce que pour l'anneau des entiers.
Ensemble simplicialEn mathématiques, un ensemble simplicial X est un objet de nature combinatoire intervenant en topologie. Il est la donnée : d'une famille (X) d'ensembles, indexée par les entiers naturels, les éléments de X étant pensés comme des simplexes de dimension n et pour toute application croissanted'une application le tout tel que Autrement dit : X est un foncteur contravariant, de la catégorie simpliciale Δ dans la catégorie Set des ensembles, ou encore un foncteur covariant de la catégorie opposée Δ dans Set.
Théorie de l'homotopieLa théorie de l'homotopie est une branche des mathématiques issue de la topologie algébrique dans laquelle les espaces et applications sont considérés à homotopie près. La notion topologique de déformation est étendue à des contextes algébriques notamment via les structures de complexe différentiel puis d’algèbre A. Étant donné deux équivalences d’homotopie f : X′ → X et g : Y → Y′, l’ensemble des classes d'homotopie des applications continues entre X et Y s’identifie à celui des applications entre X′ et Y′ par composition avec f et g.
Homologie des groupesEn algèbre homologique, l'homologie d'un groupe est un invariant attaché à ce groupe. Pour un groupe G, on note Z[G] l'algèbre du groupe G sur l'anneau des entiers relatifs Z. Soient alors M un Z[G]-module (ce qui revient à se donner un groupe abélien M et un morphisme de G dans le groupe des automorphismes de M), et une résolution projective de M. Les groupes d'homologie de G à coefficients dans M sont définis par : De façon duale les groupes de cohomologie de G à coefficients dans M sont définis par : où est une résolution injective de M.
CohomologyIn mathematics, specifically in homology theory and algebraic topology, cohomology is a general term for a sequence of abelian groups, usually one associated with a topological space, often defined from a cochain complex. Cohomology can be viewed as a method of assigning richer algebraic invariants to a space than homology. Some versions of cohomology arise by dualizing the construction of homology. In other words, cochains are functions on the group of chains in homology theory.
Complexe simplicialthumb|Exemple d'un complexe simplicial.En mathématiques, un complexe simplicial est un objet géométrique déterminé par une donnée combinatoire et permettant de décrire certains espaces topologiques en généralisant la notion de triangulation d'une surface. Un tel objet se présente comme un graphe avec des sommets reliés par des arêtes, sur lesquelles peuvent se rattacher des faces triangulaires, elles-mêmes bordant éventuellement des faces de dimension supérieure, etc.
Groupes d'homotopie des sphèresEn mathématiques, et plus spécifiquement en topologie algébrique, les groupes d'homotopie des sphères sont des invariants qui décrivent, en termes algébriques, comment des sphères de dimensions et égales ou différentes peuvent s'enrouler l'une sur l'autre. La notion, définie au départ pour des sphères de dimension 1 (cercles) et de dimension 2, se généralise à des sphères de toutes dimensions (les -sphères).
Glossary of algebraic topologyThis is a glossary of properties and concepts in algebraic topology in mathematics. See also: glossary of topology, list of algebraic topology topics, , glossary of differential geometry and topology, Timeline of manifolds. Convention: Throughout the article, I denotes the unit interval, Sn the n-sphere and Dn the n-disk. Also, throughout the article, spaces are assumed to be reasonable; this can be taken to mean for example, a space is a CW complex or compactly generated weakly Hausdorff space.
