Meier's conjecture on trisections of the 4-sphere
Meier's conjecture. Every trisection of S4S^4S4 is either the (0,0)(0,0)(0,0)-trisection or a stabilization of the (0,0)(0,0)(0,0)-trisection.