Concept
A¹ homotopy theory
Concepts associés (4)
Conjecture de Milnor
En mathématiques, la conjecture de Milnor dit que pour tout corps F de caractéristique différente de 2, la K-théorie de Milnor modulo 2 de F est isomorphe à sa cohomologie étale (ou ce qui est équivalent : à sa cohomologie de Galois i.e. à la cohomologie de son groupe de Galois absolu, profini), à coefficients dans Z/2Z. Après être restée ouverte pendant environ vingt ans, cette conjecture a été démontrée en 1996 par Vladimir Voïevodski, qui a reçu pour cela une médaille Fields en 2002, et qui a contribué à la démonstration, en 2009, de sa généralisation : la .
Cohomologie motivique
Une cohomologie motivique est une théorie cohomologique en mathématiques dont l'existence a été conjecturée pour la première fois par Alexandre Grothendieck dans les années 1960. À l'époque, on la concevait comme construite sur les bases des sur les cycles algébriques, en géométrie algébrique. Elle puise ses fondements en théorie des catégories, ce qui permet de déduire des conséquences à partir de ces conjectures. Grothendieck et Bombieri ont démontré la profondeur de cette approche en dérivant une des conjectures de Weil de cette façon.
Catégorie de modèles
En mathématiques, plus précisément en théorie de l'homotopie, une catégorie de modèles est une catégorie dotée de trois classes de morphismes, appelés équivalences faibles, fibrations et cofibrations, satisfaisant à certains axiomes. Ceux-ci sont abstraits du comportement homotopique des espaces topologiques et des complexes de chaînes. La théorie des catégories de modèles est une sous-branche de la théorie des catégories et a été introduite par Daniel Quillen en 1967 pour généraliser l'étude de l'homotopie aux catégories et ainsi avoir de nouveaux outils pour travailler avec l'homotopie dans les espaces topologiques.
Ensemble simplicial
En 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.