unpointed brown representability theorem - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-21T20:12:21Z http://mathoverflow.net/feeds/question/11456 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/11456/unpointed-brown-representability-theorem unpointed brown representability theorem Martin Brandenburg 2010-01-11T19:20:29Z 2012-08-21T13:21:14Z <p>The classical Brown Representability Theorem states: Denote $hCW_*$ the homotopy category of pointed CW-complexes. Let $F : hCW_* \to Set_*$ be a contravariant functor. Then $F$ is representable if and only if</p> <ul> <li>$F$ respects coproducts, i.e. $F(\vee_{i \in I} X_i) = \prod_{i \in I} F(X_i)$ for all families $X_i$ of pointed CW-complexes.</li> <li>$F$ satisfies a sort of mayer-vietoris-axiom: If $X$ is a pointed CW-complex which is the union of two pointed subcomplexes $A,B$, then the canonical map $F(X) \to F(A) \times_{F(A \cap B)} F(B)$ is surjective<sup>1</sup>.</li> </ul> <p>What about omitting the base points? So let $F :hCW \to Set$ be a contravariant functor that satisfies the analogous properties as above (replace the wedge-sum by the disjoint union). Is then $F$ representable? I'm not sure if we just can copy the proof of the pointed case (which can be found, e.g., in Switzer's book "Algebraic Topology - Homology and Homotopy", Representability Theorems). For example, $F(pt)$ can be anything (in contrast to the pointed case), it will be the set of path components in the classifying space. Besides, the proof uses homotopy groups and in particular the famous theorem of Whitehead, which deal with pointed CW-complexes. Nevertheless, I hope that $F$ is representable ... what do you think?</p> <p>As a first step, we may define for every $i \in F(pt)$ the subfunctor $F_i$ of $F$ by $F_i(Y) = \{f \in F(Y) : \forall y : pt \to Y : f|_{y} = i \in F(pt)\}$, which should be thought as the connected component associated to $i$. Then it's not hard to show that $F_i$ satisfies the same properties as $F$ and that $F_i = [-,X_i]$ implies $F = [-,\coprod_i X_i]$. In other words, we may assume that $F(pt)=pt$ (so that the classifying space will be connected).</p> <p><sup>1</sup> You can't expect it to be bijective, cf. <a href="http://mathoverflow.net/questions/10364/categorical-homotopy-colimits" rel="nofollow">question about categorical homotopy colimits</a></p> http://mathoverflow.net/questions/11456/unpointed-brown-representability-theorem/11523#11523 Answer by Andrew Stacey for unpointed brown representability theorem Andrew Stacey 2010-01-12T10:54:24Z 2010-01-12T10:54:24Z <p>An answer to this is started in Boardman's <em>Stable Operations in Generalized Cohomology</em> (Handbook of Algebraic Topology, also available via Steve Wilson's <a href="http://www.math.jhu.edu/~wsw/" rel="nofollow">homepage</a> (Wilson and Boardman - together with Johnson - cowrote the follow-up paper in the same volume). Theorem 3.6 states:</p> <blockquote> <p>Let $h(-)$ be an ungraded cohomology theory as above [same conditions as in the question except that it lands in <em>abelian groups</em>]. Then:<br /> (a) $h(-)$ is represented in $\operatorname{Ho}$ [homotopy category of spaces homotopy equivalent to CW-complexes] by an $H$-space $H$, with a universal class $\iota \in h(H,o) \subset h(H)$ that induces an isomorphism $\operatorname{Ho}(X,H) \cong h(X)$ of abelian groups by $f \mapsto h(f)i$ for all $X$;<br /> (b) For any cohomology theory $k(-)$, operations $\theta : h(-) \to k(-)$ correspond to elements $\theta \iota \in k(H)$.</p> </blockquote> <p>The proof given depends on references, which is why I say that the answer is "started" in this paper. The argument goes:</p> <ol> <li>Brown representability gives a based connected space representing $h(-,o)$ on based connected spaces.</li> <li>West shows that $h(-,o)$ is represented on all based spaces (i.e. drops the connected assumption).</li> <li>Then the "disjoint basepoint" trick represents $h(-)$ on all spaces.</li> </ol> <p>Now that I look at it, the essence of the "disjoint basepoint" trick probably does need the additional assumption of the functor landing in <strong>abelian groups</strong>, since it uses the split short exact sequence</p> <p>$$0 \to h(X,o) \to h(X) \to h(o) \to 0$$</p> <p>to relate relative and absolute cohomology. Thus $h(X) \cong h(X^+,o)$.</p> <p>So, for abelian groups then you are fine. Is it necessary that you land in Set?</p> http://mathoverflow.net/questions/11456/unpointed-brown-representability-theorem/11538#11538 Answer by Tyler Lawson for unpointed brown representability theorem Tyler Lawson 2010-01-12T14:41:19Z 2010-01-24T17:33:56Z <p>Yes, Brown representability holds for such functors. There are not really any material differences between this and the proof of Brown representability in the pointed case.</p> <p>EDIT: My previous version of this was not rigorous enough. I was trying to be clever and get away with just simple cell attachments, which only work if you already know that the functor is represented by a space. Sorry for the delay in reworking, but this particular proof has enough details that it takes time to write up.</p> <p>As you say, you begin by decomposing such functors so without loss of generality $F(pt)$ is a single point.</p> <p>Start with <code>$X_{-1}$</code> as a point. Assume you've inductively constructed an $(n-1)$-dimensional complex <code>$X_{n-1}$</code> with an element <code>$x_{n-1} \in F(X_{n-1})$</code> so that, for all CW-inclusions $Z \to Y$ of finite CW complexes with $Y$ formed by attaching a $k$-cell for $k &lt; n$, the map <code>$$[Y,X_{n-1}] \to [Z,X_{n-1}] \times_{F(Z)} F(Y)$$</code>is surjective.</p> <p>Now, define a "problem" of dimension $n$ to be a CW-inclusion $Z \to Y$ where $Y$ is a subspace of $\mathbb{R}^\infty$ formed by attaching a single $n$-cell to $Z$, together with an element of <code>$$Map(Z,X_{n-1}) \times_{F(Z)} F(Y).$$</code> The fact that $Y$ has a fixed embedding in $\mathbb{R}^\infty$ means that there is a <em>set</em> of problems $S$, whose elements are tuples <code>$(Z_s,Y_s,f_s,y_s)$</code> with <code>$f_s$</code> a map <code>$Z_s \to X_{n-1}$</code> and <code>$y_s$</code> is a compatible element of $F(Y)$.</p> <p>Let <code>$X_n$</code> be the pushout of the diagram <code>$$X_{n-1} \leftarrow \coprod_{s \in S} Z_s \rightarrow \coprod_{s \in S} Y_s$$</code> where the lefthand maps are defined by the maps <code>$f_s$</code> and the righthand maps are the given $CW$-inclusions. This is a relative $CW$-inclusion formed by attaching a collection of $n$-cells; therefore, <code>$X_n$</code> still has the extension property for relative cell inclusions of dimension less than $n$.</p> <p>The space <code>$X_n$</code> is homotopy equivalent to the <em>homotopy</em> pushout of the given diagram, which is formed by gluing together mapping cylinders. Specifically, <code>$X_n$</code> is weakly equivalent to the space <code>$$X_{n-1} \times \{0\} \cup (\coprod_S Z_s \times [0,1]) \cup (\coprod_S Y_s \times \{1\})$$</code> which decomposes into two CW-subcomplexes: <code>$$A = X_{n-1} \times \{0\} \cup (\coprod Z \times [0,1/2])$$</code> which deformation retracts to <code>$X_{n-1}$</code>, and <code>$$B = (\coprod Z_s \times [0,1/2]) \cup (\coprod Y_s \times \{1\})$$</code> which deformation retracts to <code>$\coprod Y_s$</code> with intersection <code>$A \cap B \cong \coprod Z_s$</code>. The Mayer-Vietoris property and the coproduct axiom then imply that there is an element <code>$x_n \in F(X_n)$</code> whose restriction to $A$ is <code>$x_{n-1}$</code> and whose restriction to $B$ is <code>$\prod y_s$</code>.</p> <p>Taking colimits, you have a CW-complex $X$ with an element $x \in F(X)$ (constructed using a mapping telescope + Mayer-Vietoris argument) so that, for all CW-inclusions $Z \to Y$ obtained by attaching a single cell, the map <code>$$[Y,X] \to [Z,X] \times_{F(Z)} F(Y)$$</code> is surjective.</p> <p>Now you need to show that for any finite CW-complex $K$, $[K,X] \to F(X)$ is a bijection. </p> <p>First, surjectivity is straightforward by induction on the skeleta of $K$. More specifically, for any $K$ with subcomplex $L$, element of $F(K)$, and map $L \to X$ realizing the restriction to $F(L)$, you induct on the cells of $K\setminus L$. Then, injectivity: if you have two elements $K \to X$ with the same images in $F(K)$, you use the above-proven stronger surjectivity property to the inclusion <code>$K \times \{0,1\} \to K \times [0,1]$</code> to show that there is a homotopy between said maps.</p> http://mathoverflow.net/questions/11456/unpointed-brown-representability-theorem/105156#105156 Answer by Karol Szumiło for unpointed brown representability theorem Karol Szumiło 2012-08-21T13:12:54Z 2012-08-21T13:21:14Z <p>This is a copy of my answer to <a href="http://mathoverflow.net/questions/104866/brown-representability-for-non-connected-spaces/" rel="nofollow">http://mathoverflow.net/questions/104866/brown-representability-for-non-connected-spaces/</a> which I repost here per request in the comment.</p> <p>A negative answer to the question can be concluded from this paper:</p> <p>Freyd, Peter; Heller, Alex <em>Splitting homotopy idempotents. II.</em> J. Pure Appl. Algebra 89 (1993), no. 1-2, 93–106.</p> <p>This paper introduces a notion of conjugacy idempotent. It is a triple <code>$(G, g, b)$</code> consisting of a group <code>$G$</code>, an endomorphism <code>$g \colon G \to G$</code> and an element <code>$b \in G$</code> such that for all <code>$x \in G$</code> we have <code>$g^2(x) = b^{-1} g(x) b$</code>. The theory of conjugacy idempotents can be axiomatized by equations, so there is an initial conjugacy idempotent <code>$(F, f, a)$</code>. The Main Theorem of the paper says (among other things) that <code>$f$</code> does not split in the quotient of the category of groups by the conjugacy congruence.</p> <p>Now <code>$f$</code> induces an endomorphism <code>$B f \colon B F \to B F$</code> which is an idempotent in <code>$\mathrm{Ho} \mathrm{Top}$</code> and it follows (by the Main Lemma of the paper) that it doesn't split. It is then easily concluded that <code>$(B f)_+ \colon (B F)_+ \to (B F)_+$</code> doesn't split in <code>$\mathrm{Ho} \mathrm{Top}_*$</code>.</p> <p>The map <code>$(B f)_+$</code> induces an idempotent of the representable functor <code>$[-, (B F)_+]_*$</code> which does split since this is a <code>$\mathrm{Set}$</code> valued functor. Let <code>$H \colon \mathrm{Ho} \mathrm{Top}_*^\mathrm{op} \to \mathrm{Set}$</code> be the resulting retract of <code>$[-, (B F)_+]_*$</code>. It is half-exact (i.e. satisfies the hypotheses of Brown's Representability) as a retract of a half-exact functor. However, it is not representable since a representation would provide a splitting for <code>$(B f)_+$</code>.</p> <p>The same argument with <code>$B f$</code> in place of <code>$(B f)_+$</code> shows the failure of Brown's Representability in the unbased case.</p>