Relative regularization conjecture for integrable connections on polyannuli

Let KK be the coefficient field, let mm be a positive integer, and let ϵ(0,1)\epsilon\in(0,1). Let AK[ϵ,1)mA_K[\epsilon,1)^m denote the corresponding polyannulus, and let E\mathcal{E} be an integrable KK-linear connection on it. Relative regularization conjecture. There exists ϵ[ϵ,1)\epsilon'\in[\epsilon,1) and a finite étale covering

YAK[ϵ,1)mY\to A_K[\epsilon',1)^m

such that, for every nonarchimedean field LL and every morphism AL[ϵ,1)Y×KLA_L[\epsilon”,1)\to Y\times_K L of adic spaces over LL, the pullback of E\mathcal{E} to AL[ϵ,1)A_L[\epsilon”,1) is regular as an object of CL\mathcal{C}_L. More precisely, the covering is eligible, meaning that it is induced by a finite étale ring extension of the bounded subring of O(AK[ϵ,1)m)\mathcal{O}(A_K[\epsilon',1)^m). This question concerns proving global semistable reduction without reducing to projective space; the paper presents it as a question rather than an established result, and no resolution is supplied here.

Sources & referencesView supporting material

Primary source

Kiran S. Kedlaya, “Monodromy representations of p-adic differential equations in families”, arXiv:2209.00593 (2025).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.