Homotopy type: homogeneous space versus J^8

Determine whether the homogeneous space G2/SO(4), whose mod 2 cohomology ring is isomorphic to H*(J^8; F2) as an unstable algebra over the Steenrod algebra, has the same homotopy type as the Poincaré duality complex J^8.

Background

Using results of Borel and of Borel–Hirzebruch, the authors identify a homogeneous space, G2/SO(4), whose mod 2 cohomology as an unstable Steenrod algebra agrees with that of J8.

While cohomology matches, the authors explicitly note that it is not clear whether this homogeneous space is homotopy equivalent to J8. Later, they formulate a 2-local version of this as a conjecture.

References

It turns out that such a PD space always admits a PL-structure and its cohomology can be realised as that of a homogeneous space although it is unclear if this has the same homotopy type.

Poincaré duality spaces related to the Joker  (2603.29425 - Baker, 31 Mar 2026) in Introduction