Gray's conjecture

In mathematics, Gray's conjecture is a conjecture made by Brayton Gray in 1984 about maps between loop spaces of spheres.¹ It was later proved by John Harper.²

References

Gray, Brayton (1984). "Unstable families related to the image of J". Mathematical Proceedings of the Cambridge Philosophical Society. 96 (1): 95–113. Bibcode:1984MPCPS..96...95G. doi:10.1017/S0305004100061971. ISSN 0305-0041. MR 0743705.
Harper, John R. (1989). "A proof of Gray's conjecture". Algebraic topology (Evanston, IL, 1988). Contempemporary Mathematics. Vol. 96. Providence, Rhode Island: American Mathematical Society. pp. 189–195. MR 1022681.

[1] Gray, Brayton (1984). "Unstable families related to the image of J". Mathematical Proceedings of the Cambridge Philosophical Society. 96 (1): 95–113. Bibcode:1984MPCPS..96...95G. doi:10.1017/S0305004100061971. ISSN 0305-0041. MR 0743705.

[2] Harper, John R. (1989). "A proof of Gray's conjecture". Algebraic topology (Evanston, IL, 1988). Contempemporary Mathematics. Vol. 96. Providence, Rhode Island: American Mathematical Society. pp. 189–195. MR 1022681.

1

2