Polystable reduction conjecture over valuation rings
Polystable reduction conjecture. There exists a modification Y→XY\to XY→X such that Yη=XηY_\eta=X_\etaYη=Xη and YYY is polystable over O{\mathcal O}O.