Un théorème donnant des conditions nécessaires et suffisantes pour qu'un foncteur homotopique contravariant sur des catégories d'homotopie appropriées (classiquement les CW-pointées) soit représentable par un espace ou un spectre, c'est-à-dire naturellement isomorphe aux classes d'homotopie de morphismes vers un objet classifiant.

Principe

Si un foncteur contravariant satisfait l'invariance par homotopie, l'axiome du wedge (coproduits envoyés sur produits) et une condition d'exactitude de type Mayer–Vietoris pour les homotopy colimits, alors il existe un objet X représentant le foncteur tel que le foncteur soit naturellement isomorphe à [–, X] ou à des morphismes vers un spectre ; l'idée organisatrice est que le bon comportement homotopique caractérise la représentabilité.

Démonstration

On applique la représentabilité de Brown pour construire des spectres représentant des théories de cohomologie généralisées : un foncteur de cohomologie satisfaisant des axiomes du type Eilenberg–Steenrod (sauf la dimension) est représentable, produisant le spectre classifiant dont les classes d'homotopie de morphismes calculent les groupes de cohomologie.

Mauvaise application

Tenter d'appliquer la représentabilité de Brown à des foncteurs qui violent l'axiome du wedge, ne sont pas homotopie-invariants, ou sont définis sur des catégories dépourvues des propriétés de petitesse ou de clôture nécessaires (par exemple des catégories indéfiniment grandes sans objets de type CW) conduit à des exemples non représentables et à un usage incorrect.

Conséquence

Lorsqu'il s'applique, il produit des espaces ou spectres classifiants, permettant de réaliser des théories de cohomologie abstraites comme objets représentables, d'utiliser des arguments de type Yoneda en homotopie et de transférer des problèmes homotopiques en questions sur des espaces de morphismes.

Inversion

La non-représentabilité est le contraste : les foncteurs qui violent les axiomes manifestent un comportement non classifiable et ne peuvent pas être encodés par un objet universel unique ; cela souligne les limites de la classification par espaces ou spectres.

Limite

Les hypothèses comprennent le travail dans la catégorie d'homotopie appropriée (souvent les CW pointées), des conditions de petitesse ou d'ensembles, et la vérification des axiomes du wedge et d'exactitude ; le théorème ne s'applique pas tel quel à des catégories de modèles quelconques ou à des foncteurs dépourvus de ces axiomes sans remplacements convenables.

Tension sémantique

Il y a tension entre la représentabilité en homotopie et la représentabilité de Yoneda purement algébrique : le théorème de Brown remplace des axiomes algébriques d'exactitude par des conditions d'homotopie cohérentes, de sorte qu'il faut concilier les notions catégoriques et les axiomes homotopiques.

Synthèse

La représentabilité de Brown identifie quand un foncteur homotopique est réalisé par des morphismes vers un objet unique : exiger invariance par homotopie, comportement coproduit→produit et exactitude homotopique garantit l'existence d'un espace ou spectre représentant, transformant ainsi des foncteurs abstraits en objets classifiants concrets et permettant des méthodes géométriques pour la classification cohomologique.