Methodological gap: proving the Morava analogue without explicit computations
Develop a proof of Conjecture 1 (the Morava K-theory analogue of Yagita’s conjecture) that does not rely on prior explicit computation of the algebraic Morava K-theory K(n)*(G) as a module for the reductive group G = K_C.
References
We do not know how to prove Conjecture 1 without actually computing K(n)*(G) (as a module).
                — Morava $J$-invariant
                
                (2409.14099 - Geldhauser et al., 21 Sep 2024) in Remark 2.8