Sullivan Conjecture¶
The proved Miller theorem that, for a finite group and finite-dimensional CW complex, the based mapping space from the group's classifying space is weakly contractible, equivalently constant maps give a weak equivalence from the target to the unbased mapping space.
Core Idea¶
The Sullivan Conjecture is now a theorem, proved in its mapping-space form by Haynes Miller in 1984. For a finite group \(G\) and a finite-dimensional CW complex \(X\), the based mapping space
is weakly contractible: all of its homotopy groups vanish. Equivalently, the inclusion of constant maps
is a weak homotopy equivalence. Here \(BG\) is the classifying space of \(G\), and the mapping spaces carry the relevant compactly generated/compact-open function-space topology. Miller's Annals paper is the primary proof source and fixes the theorem's historical and mathematical status.
Scope of Application¶
The theorem is foundational in unstable homotopy theory and the study of maps from classifying spaces. It controls mapping spaces \(BG\to X\), supports comparisons between fixed points and homotopy fixed points, and influenced Lannes's \(T\)-functor and equivariant generalizations. An authoritative mathematical encyclopedia states the finite-group, finite-CW-target version and its equivalent unbased form.
The core node covers the basic trivial-action result. Generalized Sullivan conjectures can allow nontrivial group actions and compare ordinary fixed points \(X^G\) with homotopy fixed points \(X^{hG}\), often after \(p\)-completion and under additional finiteness or nilpotence conditions.
Clarity¶
Take \(G=\mathbb Z/p\). Then \(BG\) has nontrivial cohomology in arbitrarily high degrees, whereas \(X\) has finite dimension. The theorem says the based mapping space from this large source to \(X\) is weakly contractible. Consequently,
contains only the constant homotopy class. The stronger mapping-space conclusion also kills higher homotopies among maps.
Manages Complexity¶
Function spaces out of \(BG\) are potentially enormous. The theorem replaces their homotopy-type computation with the target \(X\) in the unbased case and with a weak point in the based case. This converts a difficult infinite-dimensional mapping problem into a rigid structural conclusion.
It also separates ordinary maps from homotopy classes and higher mapping-space structure. Merely proving every based map null-homotopic establishes a \(\pi_0\) statement; Miller's theorem establishes all homotopy-group vanishing.
Abstract Reasoning¶
Weak contractibility means
Using the mapping-space adjunction, a \(k\)-sphere in the based mapping space corresponds, under appropriate point-set conventions, to a based map from a smash product such as \(S^k\wedge BG\) into \(X\). The theorem simultaneously rules out this hierarchy of parametrized essential maps.
Knowledge Transfer¶
The transferable pattern is a structured infinite source becomes mapping-rigid against a finite-dimensional target. It suggests checking source cohomology, target finiteness, and function-space topology rather than judging difficulty from the existence of individual point-set maps.
Literal transfer remains confined to homotopy theory. Claims that a social or computational space is “too complex to map” are metaphors, not instances. The named theorem requires classifying spaces, CW targets, based mapping spaces, and weak homotopy groups.
Relationships to Other Abstractions¶
Current abstraction Sullivan Conjecture Domain-specific
Parents (1) — more general patterns this builds on
-
Sullivan Conjecture presupposes Constraint Prime
The Sullivan Conjecture compositionally presupposes Constraint in the precise sense that it establishes a severe admissibility result for homotopy classes of maps from \(BG\) into \(X\): the based mapping space has only the weak type of.
Hierarchy path (1) — routes to 1 parentless root
- Sullivan Conjecture → Constraint
Neighborhood in Abstraction Space¶
Sullivan Conjecture sits in a sparse region of the domain-specific corpus (79th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.
Family — Topological Groups & Homotopy Actions (11 abstractions)
Nearest neighbors
- Whitehead Theorem — 0.85
- Loop Group — 0.83
- Classifying space — 0.83
- Eilenberg–MacLane space — 0.81
- Direct Sum of Topological Groups — 0.81
Computed from structural-signature embeddings · 2026-09-08