Semistable reduction for overconvergent F-isocrystals, IV: local semistable reduction at nonmonomial valuations
By Kiran S. Kedlaya. Compositio Mathematica, 2006
57 citations recorded by the source corpus.
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 zero. 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.
Subfields: Applied Mathematics, Computational Theory and Mathematics, Geometry and Topology
View Paper: https://www.semanticscholar.org/paper/40c5b9b6e127e2cbff8ecf1bdceefcde145c19e0
How researchers see this paper
The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.
In Applied Mathematics
In Computational Theory and Mathematics
In Geometry and Topology
- Kiran S. Kedlaya
- Ruochuan Liu
- Peter Scholze
- Alan G. B. Lauder
- T. Mochizuki
- Jonathan Pottharst
- Tomoyuki Abe
- David Lubicz
Citations in the corpus
- Good formal structures for flat meromorphic connections, II: Excellent schemes (2010, methodology): “is very difficult to classify valuations on schemes of dimension greater than 2. We overcome this difficulty using a new idea, drawn from our work on semistable reduction for overconvergent F-isocrystals [22, 23, 24, 26], and from Temkin’s proof of inseparable local uniformization for function fields in ”