Brown representability beyond CW complexes - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T05:10:09Z http://mathoverflow.net/feeds/question/47509 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/47509/brown-representability-beyond-cw-complexes Brown representability beyond CW complexes Akhil Mathew 2010-11-27T15:36:50Z 2010-11-29T15:35:31Z <p>Brown representability states that any contravariant functor from the homotopy category $CW_*$ of pointed CW complexes to the category of pointed sets is representable if it turns coproducts into products and satisfies a type of Mayer-Vietoris gluability axiom, which I like to think of as a weak version of "the functor sends push-outs into pull-backs" as any representable functor must. The proof very much relies on the fact that CW complexes can be built up in a steady and predictable manner, as it uses Whitehead's theorem that a weak homotopy equivalence is automatically a homotopy equivalence. Namely, one shows that an element which is "universal" for the spheres is actually a "universal element" for this functor (in the sense of Yoneda's lemma). </p> <p>Brown representability has many interesting consequences, e.g. that there is a "universal" principal $G$-bundle for pointed CW complexes (where $G$ is a topological group) or that the Eilenberg-Maclane spaces represent the cohomology functors. However, in the former case, it's actually true that the universal bundle exists for any topological space, not just CW complexes. I don't know whether the cohomology functors are representable on the category of all pointed topological spaces (even if one restricts to non-pathological ones: say Hausdorff, with nondegenerate basepoint), though I would imagine that a CW complex couldn't do it. This leads me to ask:</p> <blockquote> <p>Is there a version of Brown representability for arbitrary pointed topological spaces?</p> </blockquote> <p>There is a version of it on the <a href="http://ncatlab.org/nlab/show/Brown+representability+theorem" rel="nofollow">nLab</a> in more generality, but I don't know enough about categorical homotopy theory to understand anything. Could someone perhaps translate some of that into the special case of topological spaces?</p> http://mathoverflow.net/questions/47509/brown-representability-beyond-cw-complexes/47511#47511 Answer by Harry Gindi for Brown representability beyond CW complexes Harry Gindi 2010-11-27T16:13:11Z 2010-11-27T16:27:46Z <p>Brown representability is true for arbitrary pointed (CGWH) spaces, as long as you take into account cofibrant replacement (use the Quillen model structure instead of the Hurewicz model structure). This means that $[A,B]$ does not necessarily represent homotopy classes of maps, but represents equivalence classes of spans $A\leftarrow Q(A)\to B$. That is, $[A,B]=[QA,B]$ for a fixed cofibrant replacement (iirc all spaces are Serre fibrant).</p> http://mathoverflow.net/questions/47509/brown-representability-beyond-cw-complexes/47529#47529 Answer by Andrew Stacey for Brown representability beyond CW complexes Andrew Stacey 2010-11-27T19:38:09Z 2010-11-27T19:38:09Z <blockquote> <p>Is there a version of Brown representability for arbitrary pointed topological spaces?</p> </blockquote> <p>The answer is: No and Yes.</p> <p>If you take a particular construction of a generalised cohomology theory that makes sense for all topological spaces then there is no guarantee that it will be representable in the homotopy category of topological spaces. For example, the various flavours of ordinary cohomology are only guaranteed to coincide for CW complexes (okay, and stuff with the homotopy type of such). That they disagree elsewhere shows that at least one of them can't be representable. Another example is K-theory. It's great that for compact Hausdorff spaces (and some others) that K-theory is exactly what you get when you take vector bundles and group complete, but it's not true for other spaces.</p> <p>That's the "No". Now for the "Yes". The point about the "Yes" is that Brown representability is <em>so</em> good to have that when we move outside the realm of CW-complexes, we often <em>define</em> our cohomology theory to be (homotopy) homs into the representing object (found by restricting to CW-complexes). That is, we take our "natural construction" of whatever cohomology theory it is, use Brown representability to find the representing object for CW-complexes, and then define the extension of the theory to all topological spaces to be $[X,\underline{E}]$. Then it is representable, but by construction rather than by any fancy theory.</p> http://mathoverflow.net/questions/47509/brown-representability-beyond-cw-complexes/47544#47544 Answer by Sergey Melikhov for Brown representability beyond CW complexes Sergey Melikhov 2010-11-27T22:16:19Z 2010-11-29T15:35:24Z <p>As Andrew Stacey pointed out, certainly there is no representability theorem for arbitrary cohomology theories (even ordinary). For instance, singular cohomology is not representable on compact metric spaces. But with additional axioms, there might be such a theorem. </p> <p>On locally compact separable metric spaces, Milnor's three additional axioms guarantee uniqueness of ordinary cohomology, and therefore representability (because Cech cohomology is representable). It is conceivable <strong>EDIT: and is the case, indeed,</strong> that generalized theories satisfying these axioms could also be representable on those spaces. The axioms are 1) cohomology of an (infinite) disjoint union is the product, 2) cohomology of the one-point compactification of an infinite disjoint union of compact spaces is the sum (Milnor calls this the Cluster Axiom), and 3) Wallace's strong excision (Milnor calls it Map Excision). The uniqueness theorem for ordinary cohomology was proved by <a href="http://mr.crossref.org/iPage/?doi=10.1070/SM1973v019n04ABEH001811" rel="nofollow">Petkova</a>, and with slightly different axioms earlier by her adviser Sklyarenko. The parallel story for ordinary homology is in Petkova's <a href="http://mi.mathnet.ru/umn490" rel="nofollow">another paper</a>, which seems to exist only in Russian. Milnor's papers, which together contain the three axioms, are <a href="http://projecteuclid.org/euclid.pjm/1103036730" rel="nofollow">this</a> and the 1961 preprint published in <a href="http://www.maths.ed.ac.uk/~aar/books/novikov1.pdf" rel="nofollow">this volume</a>.</p> <p><strong>EDIT:</strong> Here is the proof of the claim on generalized theories. On compact metric spaces, the additivity (i.e. the cluster axiom) and map excision imply that the theory is naturally equivalent to the Cech extension of its restriction to polyhedra. This is proved similarly to the Milnor short exact sequence for homology (see his 1961 preprint linked above). Then on locally compact separable metric spaces, the multiplicativity axiom implies that the theory is again naturally equivalent to the Cech extension of its restriction to polyhedra. This is similar to the proof of Petkova's Theorem 9: a natural transformation between the two theories comes from their coincidence on polyhedra (and the categorical definition of direct limit), and it is an isomorphism by the proof of Milnor 's short exact sequence for cohomology (see his 1962 paper linked above) plus the five lemma. Therefore by the Lee-Raymond theorem (Example 3.12 in the appendix of Dold's "Lectures in Algbraic Topology") the theory is representable.</p> <p>Beyond locally compact separable metric spaces I'm not aware of any reasonable sets of axioms guarateeing uniqueness. But if you accept strong shape invariance as an axiom (thought of as a little upgrade of homotopy invariance), along with some kinds of additivity/multiplicativity, perhaps representability would follow? Of course one has to agree on what is "strong shape", because beyond compact metric spaces there are some variations; but for instance <a href="http://www.ams.org/journals/tran/1991-323-02/S0002-9947-1991-0986690-2/home.html" rel="nofollow">this one</a> should fit. For compact metric spaces, strong shape invariance is <a href="http://intlpress.com/HHA/v10/n1/a15/" rel="nofollow">equivalent</a> to map excision.</p> <p>Certainly there exist constructions of representable extraordinary theories defined on all or almost all topological spaces, for instance <a href="http://dx.doi.org/10.1016/S0166-8641%2800%2900009-2" rel="nofollow">here</a>. Further results are discussed on the last four pages (pp. 461-464 in Chapter 22 "Generalized strong homology") in Mardesic's <em>Strong Shape and Homology</em> (available on Google books).</p> http://mathoverflow.net/questions/47509/brown-representability-beyond-cw-complexes/47629#47629 Answer by Sergey Melikhov for Brown representability beyond CW complexes Sergey Melikhov 2010-11-29T02:29:46Z 2010-11-29T15:35:31Z <p>Let me try again. The original question</p> <blockquote> <p>Is there a version of Brown representability for arbitrary pointed topological spaces?</p> </blockquote> <p>is interesting, and I don't see how it has been fully answered. That Brown's theorem, <em>as stated,</em> does not hold beyond CW complexes doesn't necessarily mean that there is no reasonable <strong>version</strong> of this theorem for arbitrary (or almost arbitrary) spaces, generalizing an <em>equivalent formulation</em> of Brown's original theorem. On the other hand, versions coming with disclaimers like</p> <blockquote> <p>Then it is representable, but by construction rather than by any fancy theory.</p> </blockquote> <p>or</p> <blockquote> <p>any "generalization" you're going to get for general spaces is really an illusion</p> </blockquote> <p>are truly admirable for honesty of the disclaimers, but leave some doubt as to whether this is the end of the story. </p> <p>More to the point. Given a homotopy invariant contravariant functor $h$ on the category of polyhedra, Watanabe shows that $h$ admits a unique (up to natural equivalence) extension $\check h$ to all topological spaces that is homotopy invariant and also <em>continuous</em> in the sense of satisfying two rather simple axioms (Theorems 5 and 6 <a href="http://www.springerlink.com/content/c3wjng307807q675/" rel="nofollow">here</a>). This extension is also known as the Cech extension, and <a href="http://www.ams.org/journals/tran/1968-133-02/S0002-9947-1968-0234450-X/home.html" rel="nofollow">Lee and Raymond</a> show that if $h$ is representable, then so is $\check h$ (See also Dold's <em>Lectures in Algebraic Topology</em>, Appendix, Example 3.12.) I understand that if $h$ is a (generalized) cohomology theory, then so is $\check h$. </p> <p>Let me summarize: if we restrict our attention to functors that are cohomology theories and in addition are "continuous", then yes, we do have Brown's theorem for arbitrary topological spaces, by a certain fancy theory. (Assuming that I'm not missing any fine points concerning e.g. non-Hausdorff spaces. Note that in Dold's Appendix, some things work better for paracompact spaces.)</p> <p>In case Watanabe's axioms of a "continuous" functor cut no ice with you, then there are the axioms mentioned in my previous reply in this thread (strong excision, strong homotopy invariance, additivity and multiplicativity) <strong>EDIT: which do suffice for locally compact separable metric spaces. Doing something similar for more general spaces</strong> could involve a fancier theory, which is probably not developed as yet. Certainly, doing something similar with homology (and other covariant functors) would involve a fancier theory. Going in the direction of such fancier theory are the following uniqueness theorems for generalized homology theories on metric compacta: Theorem 5.3 in <a href="http://projecteuclid.org/euclid.pjm/1102699434" rel="nofollow">Bauer</a> and Corollary 2.17 in <a href="http://www.ams.org/journals/tran/1977-227-00/S0002-9947-1977-0431136-9/home.html" rel="nofollow">Kaminker-Schochet</a>. </p>