Dual minimal slope conjecture for overconvergent F-isocrystals

Let XX, KK, M\mathcal M^\dagger, and N\mathcal N^\dagger be as in the minimal slope conjecture, with associated convergent FF-isocrystals M\mathcal M and N\mathcal N. Write the slope filtrations in decreasing form

M=M0M1Mr1Mr=0,\mathcal M=\mathcal M^0\supsetneq\mathcal M^1\supsetneq\cdots\supsetneq\mathcal M^{r-1}\supsetneq\mathcal M^r=0,

with slopes s0>s1>>sr1s^0>s^1>\cdots>s^{r-1}, and similarly for N\mathcal N. The quotients M/M1\mathcal M/\mathcal M^1 and N/N1\mathcal N/\mathcal N^1 are their maximal-slope quotients. Dual minimal slope conjecture. If there is a nontrivial morphism h:N/N1M/M1h:\mathcal N/\mathcal N^1\to\mathcal M/\mathcal M^1 between the maximal-slope quotients as convergent FF-isocrystals, then there exists a unique isomorphism g:NMg^\dagger:\mathcal N^\dagger\to\mathcal M^\dagger of overconvergent FF-isocrystals such that the induced diagram commutes in the category of convergent FF-isocrystals on X/KX/K. This is presented as the dual form of the stronger version of Kedlaya's minimal slope conjecture and is the subject studied in the paper; the supplied text gives no resolution.

Sources & referencesView supporting material

Primary source

Nobuo Tsuzuki, “Minimal slope conjecture of F-isocrystals”, arXiv:1910.03871 (2021).

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.