Kedlaya, p-adic cohomology

http://jp.arxiv.org/abs/math/0601507
de Jongのalterationというのが重要らしい．
算術的D加群のホロノミー性の話が難しいのは，擬微分作用素とその表象に相当する概念がよくわからないかららしい．
最後は非アーベルp進Hodge理論の話．非可換p進Hodge理論というのはないのだろうか？