Dual minimal slope conjecture for overconvergent F-isocrystals

About 7 years old · traced to

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=M0⊋M1⊋⋯⊋Mr−1⊋Mr=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>⋯>sr−1s^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/N1→M/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†:N†→M†g^\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.

References

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.