View source for Sullivan conjecture

<!--This article has been texified automatically. Since there was no Nroff source code for this article, 
the semi-automatic procedure described at https://encyclopediaofmath.org/wiki/User:Maximilian_Janisch/latexlist
was used.
If the TeX and formula formatting is correct, please remove this message and the {{TEX|semi-auto}} category.

Out of 27 formulas, 27 were replaced by TEX code.-->

{{TEX|semi-auto}}{{TEX|done}}
A conjecture in [[Homotopy|homotopy]] theory usually referring to a theorem about the contractibility, or homotopy equivalence, of certain types of mapping spaces. These results are vast generalizations of two different but related conjectures made by D. Sullivan in 1972.

H.T. Miller [[#References|[a1]]] achieved the first major breakthrough and is given credit for solving the Sullivan conjecture. This was published in 1984 and one version reads: The space of pointed mappings $\operatorname{Map}_{*}(  B _ { G } , X )$ from the [[Classifying space|classifying space]] of a finite group $G$ to a finite [[CW-complex|CW-complex]] $X$ is weakly contractible. The mapping space has the compact-open topology.

An equivalent statement is that the space of unpointed mappings $\operatorname{Map}( B _ { G } , X )$ is weakly homotopy equivalent to $X$ (under the same hypotheses on $G$ and $X$).

These theorems are still true when $B _ { G }$ is replaced by a CW-complex which has only finitely many non-zero homotopy groups, each of which is locally finite and where $X$ can be any finite dimensional CW-complex. This improvement is due to A. Zabrodsky.

Equivariant versions of the Sullivan conjecture come about by considering the question: How close does the natural mapping $X ^ { G } \rightarrow X ^ { h G }$ come to being a homotopy equivalence? Here, $X ^ { G }$ is the fixed-point set of a group action $G$ on the space $X$ and the homotopy fixed-point set is $X ^ { h G } = \operatorname { Map } _ { G } ( E _ { G } , X )$, the space of equivariant mappings from the contractible space $E _ { G }$ on which $G$ acts freely to the $G$-space $X$. For $G$ acting trivially on $X$, Miller's version of the Sullivan conjecture gives a positive answer to this question.

Another version of this question is that the fixed-point set of a $G$-space localized at a prime number $p$ is weakly homotopy equivalent to the homotopy fixed-point set of $G$ acting on the $p$-localization of $X$. One proof of this result has been given by G. Carlsson, via the Segal conjecture [[#References|[a2]]]. Miller also independently proved this result, and J. Lannes has a subsequent proof using his $T$-functor (cf. also [[Lannes-T-functor|Lannes $T$-functor]]).

These theorems have found many beautiful applications at the hands of the above-mentioned mathematicians, as well as W.G. Dwyer, C. McGibbon, J.A. Neisendorfer and C. Wilkerson, and S. Jackowsky, to name only a few.

====References====
<table><tr><td valign="top">[a1]</td> <td valign="top">  H. Miller,   "The Sullivan conjecture and homotopical representation theory" , ''Proc. Internat. Congress Math. (Berkeley, Calif., 1986)'' , '''1–2''' , Amer. Math. Soc.  (1987)  pp. 580–589</td></tr><tr><td valign="top">[a2]</td> <td valign="top">  G. Carlsson,   "Segal's Burnside ring conjecture and related problems in topology" , ''Proc. Internat. Congress Math. (Berkeley, Calif. 1986)'' , '''1–2''' , Amer. Math. Soc.  (1987)  pp. 574–579</td></tr></table>