Difference between revisions of "Sullivan conjecture"
From Encyclopedia of Mathematics
(Importing text file) |
m (AUTOMATIC EDIT (latexlist): Replaced 27 formulas out of 27 by TEX code with an average confidence of 2.0 and a minimal confidence of 2.0.) |
||
| Line 1: | Line 1: | ||
| + | <!--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. | 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 | + | 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 | + | 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 | + | 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 | + | 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 | + | 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. | 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==== | ====References==== | ||
| − | <table>< | + | <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> |
Latest revision as of 16:57, 1 July 2020
A conjecture in 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 [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 of a finite group $G$ to a finite 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 [a2]. Miller also independently proved this result, and J. Lannes has a subsequent proof using his $T$-functor (cf. also 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
| [a1] | 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 |
| [a2] | 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 |
How to Cite This Entry:
Sullivan conjecture. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Sullivan_conjecture&oldid=18528
Sullivan conjecture. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Sullivan_conjecture&oldid=18528
This article was adapted from an original article by Daniel H. Gottlieb (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article