Semistable reduction for overconvergent F-isocrystals, IV: Local semistable reduction at nonmonomial valuations
arXiv:0712.3400 · doi:10.1112/S0010437X08003783
Abstract
We complete our proof that given an overconvergent F-isocrystal on a variety over a field of positive characteristic, one can pull back along a suitable generically finite cover to obtain an isocrystal which extends, with logarithmic singularities and nilpotent residues, to some complete variety. We also establish an analogue for F-isocrystals overconvergent inside a partial compactification. By previous results, this reduces to solving a local problem in a neighborhood of a valuation of height 1 and residual transcendence degree 0. We do this by studying the variation of some numerical invariants attached to p-adic differential modules, analogous to the irregularity of a complex meromorphic connection. This allows for an induction on the transcendence defect of the valuation, i.e., the discrepancy between the dimension of the variety and the rational rank of the valuation.
68 pages; v4: final refereed version; new section A.2; changes in 2.5 and throughout section 5
References in corpus (5)
Cited by in corpus (9)
- Semistable reduction for overconvergent F-isocrystals, III: Local semistable reduction at monomial valuations
- Good formal structures on flat meromorphic connections, I: Surfaces
- Relative log convergent cohomology and relative rigid cohomology I
- The eigencurve over the boundary of weight space
- Local and global structure of connections on nonarchimedean curves
- Swan conductors for p-adic differential modules, I: A local construction
- Analytic Geometry and Hodge-Frobenius Structure
- On logarithmic extension of overconvergent isocrystals
- Detecting integral polyhedral functions