The rigid polystable reduction conjecture
Rigid polystable reduction conjecture. There is a rig-isomorphism X′→X\mathcal{X}'\to\mathcal{X}X′→X such that X′\mathcal{X}'X′ is polystable.