Namespaces
Variants
Actions

Difference between revisions of "Sullivan conjecture"

From Encyclopedia of Mathematics
Jump to: navigation, search
(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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120300/s1203001.png" /> from the [[Classifying space|classifying space]] of a finite group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120300/s1203002.png" /> to a finite [[CW-complex|CW-complex]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120300/s1203003.png" /> is weakly contractible. The mapping space has the compact-open topology.
+
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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120300/s1203004.png" /> is weakly homotopy equivalent to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120300/s1203005.png" /> (under the same hypotheses on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120300/s1203006.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120300/s1203007.png" />).
+
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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120300/s1203008.png" /> is replaced by a CW-complex which has only finitely many non-zero homotopy groups, each of which is locally finite and where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120300/s1203009.png" /> can be any finite dimensional CW-complex. This improvement is due to A. Zabrodsky.
+
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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120300/s12030010.png" /> come to being a homotopy equivalence? Here, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120300/s12030011.png" /> is the fixed-point set of a group action <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120300/s12030012.png" /> on the space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120300/s12030013.png" /> and the homotopy fixed-point set is <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120300/s12030014.png" />, the space of equivariant mappings from the contractible space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120300/s12030015.png" /> on which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120300/s12030016.png" /> acts freely to the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120300/s12030017.png" />-space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120300/s12030018.png" />. For <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120300/s12030019.png" /> acting trivially on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120300/s12030020.png" />, Miller's version of the Sullivan conjecture gives a positive answer to this question.
+
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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120300/s12030021.png" />-space localized at a prime number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120300/s12030022.png" /> is weakly homotopy equivalent to the homotopy fixed-point set of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120300/s12030023.png" /> acting on the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120300/s12030024.png" />-localization of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120300/s12030025.png" />. 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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120300/s12030027.png" />-functor (cf. also [[Lannes-T-functor|Lannes <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s120/s120300/s12030028.png" />-functor]]).
+
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><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>
+
<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=50186
This article was adapted from an original article by Daniel H. Gottlieb (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article