Math Conjectures

Freyd Generating Hypothesis

OPENLandmarkConjectureProposed 1966 · Full conjecture

Canonical statement

For finite spectra XX and YY, every stable map f:X→Yf:X\to Y that induces the zero homomorphism on every stable homotopy group is null in the stable homotopy category. Equivalently, π∗\pi_* is faithful on the full subcategory of finite spectra.
View source LaTeX
For finite spectra \(X\) and \(Y\), every stable map \(f:X\to Y\) that induces the zero homomorphism on every stable homotopy group is null in the stable homotopy category. Equivalently, \(\pi_*\) is faithful on the full subcategory of finite spectra.
GEO-HOM-024:[Freyd1966StableHomotopy][Devinatz1998Generating][Hovey2007Freyd]
Geometry and topologyAlgebra and representation theory

Notes

Freyd's generating hypothesis asks whether a map f:X→Yf:X\to Y between finite spectra must be null-homotopic whenever it induces the zero homomorphism on every stable homotopy group. In categorical language, the sphere spectrum should detect all morphisms in the finite stable homotopy category; Freyd introduced the question as part of his foundational study of stable homotopy [Freyd1966StableHomotopy].

The conjecture has strong structural consequences and several useful reformulations, but these have not produced a proof. Devinatz related it to the behavior of maps and thick subcategories in stable homotopy [Devinatz1998Generating], while Hovey surveyed both the topological statement and algebraic generating hypotheses in derived categories [Hovey2007Freyd]. Algebraic analogues can be true or false without deciding the sphere-spectrum case.

No nonzero map of finite spectra invisible to all stable homotopy groups is known, and no general detection theorem excludes one. The finiteness condition on both spectra is essential to this card; unrestricted versions in larger stable categories have different behavior.

References (3)

The boxed statement is the canonical open formulation — not a stronger variant or a related research program. The status reflects the catalog's last review; do your own literature search before investing serious effort.