En matemáticas, el teorema de representabilidad de Brown en la teoría de la homotopía [1] proporciona condiciones necesarias y suficientes para que un funtor contravariante F en la categoría de homotopía Hotc de complejos CW conectados puntiagudos , a la categoría de conjuntos Set , sea un funtor representable .
Más específicamente, se nos da
y existen ciertas condiciones obviamente necesarias para que F sea de tipo Hom (—, C ), siendo C un complejo CW puntiagudo y conectado que puede deducirse únicamente de la teoría de categorías . El enunciado de la parte sustantiva del teorema es que estas condiciones necesarias son entonces suficientes. Por razones técnicas, el teorema suele enunciarse para functores en la categoría de conjuntos puntiagudos ; en otras palabras, a los conjuntos también se les asigna un punto base.
El teorema de representabilidad para complejos CW, debido a Edgar H. Brown , [2] es el siguiente. Suponer que:
Entonces F es representable por algún complejo CW C , es decir hay un isomorfismo
para cualquier complejo CW Z , lo cual es natural en Z porque para cualquier morfismo de Z a otro complejo CW Y los mapas inducidos F ( Y ) → F ( Z ) y Hom Hot ( Y , C ) → Hom Hot ( Z , C) ) son compatibles con estos isomorfismos.
La afirmación inversa también es válida: cualquier funtor representado por un complejo CW satisface las dos propiedades anteriores. Esta dirección es una consecuencia inmediata de la teoría de categorías básicas, por lo que la parte más profunda e interesante de la equivalencia es la otra implicación.
Se puede demostrar que el objeto representativo C anterior depende funcionalmente de F : cualquier transformación natural de F a otro funtor que satisfaga las condiciones del teorema induce necesariamente un mapa de los objetos representativos. Esta es una consecuencia del lema de Yoneda .
Tomando F ( X ) como el grupo de cohomología singular H i ( X , A ) con coeficientes en un grupo abeliano dado A , para i fijo > 0; entonces el espacio de representación de F es el espacio de Eilenberg-MacLane K ( A , i ). Esto proporciona un medio para mostrar la existencia de espacios de Eilenberg-MacLane.
Dado que la categoría de homotopía de los complejos CW es equivalente a la localización de la categoría de todos los espacios topológicos en las equivalencias de homotopía débiles , el teorema se puede enunciar de manera equivalente para functores en una categoría definida de esta manera.
Sin embargo, el teorema es falso sin la restricción a espacios puntiagudos conexos , y una afirmación análoga para espacios no puntiagudos también es falsa. [3]
Sin embargo, una afirmación similar se aplica a los espectros en lugar de a los complejos CW. Brown también demostró una versión categórica general del teorema de representabilidad, [4] que incluye tanto la versión para complejos CW conectados puntiagudos como la versión para espectros.
Una versión del teorema de representabilidad en el caso de categorías trianguladas se debe a Amnon Neeman. [5] Junto con la observación anterior, proporciona un criterio para que un funtor (covariante) F : C → D entre categorías trianguladas que satisfacen ciertas condiciones técnicas tenga un funtor adjunto derecho . Es decir, si C y D son categorías trianguladas con C generadas de forma compacta y F un funtor triangulado que conmuta con sumas directas arbitrarias, entonces F es un adjunto izquierdo. Neeman ha aplicado esto para demostrar el teorema de dualidad de Grothendieck en geometría algebraica.
Jacob Lurie ha demostrado una versión del teorema de representabilidad de Brown [6] para la categoría de homotopía de una cuasicategoría puntiaguda con un conjunto compacto de generadores que son objetos coagrupados en la categoría de homotopía. Por ejemplo, esto se aplica a la categoría de homotopía de complejos CW conectados puntiagudos, así como a la categoría derivada ilimitada de una categoría abeliana de Grothendieck (en vista del refinamiento categórico superior de la categoría derivada de Lurie).
