English

Ramification filtration and differential forms

Number Theory 2022-11-23 v4 Algebraic Geometry

Abstract

Let LL be a complete discrete valuation field of prime characteristic pp with finite residue field. Denote by ΓL(v)\Gamma _{L}^{(v)} the ramification subgroups of ΓL=Gal(Lsep/L)\Gamma _{L}=\operatorname{Gal}(L^{sep}/L). We consider the category LLie\operatorname{M\Gamma }_{L}^{Lie} of finite Zp[ΓL]\mathbb{Z}_p[\Gamma _{L}]-modules HH, satisfying some additional (Lie)-condition on the image of ΓL\Gamma _L in AutZpH\operatorname{Aut}_{\mathbb{Z}_p}H. In the paper it is proved that all information about the images of the ramification subgroups ΓL(v)\Gamma _L^{(v)} can be explicitly extracted from some differential forms Ω[N]\Omega [N] on the Fontaine etale ϕ\phi -module M(H)M(H) associated with HH. The forms Ω[N]\Omega [N] are completely determined by a connection \nabla on M(H)M(H). In the case of fields LL of mixed characteristic containing a primitive pp-th root of unity we show that the similar problem for Fp[ΓL]\mathbb{F}_p[\Gamma _L]-modules also admits a solution. In this case we use the field-of-norms functor to construct the coresponding ϕ\phi -module together with the action of a cyclic group of order pp coming from a cyclic extension of LL. Then the solution involves the characteristic pp part (provided by the field-of-norms functor) and the condition for a "good" lift of a generator of the involved cyclic group of order pp. Apart from the above differential forms the statement of this condition also uses a power series coming from the pp-adic period of the formal group Gm\mathbb{G}_m.

Keywords

Cite

@article{arxiv.2105.11968,
  title  = {Ramification filtration and differential forms},
  author = {Victor Abrashkin},
  journal= {arXiv preprint arXiv:2105.11968},
  year   = {2022}
}

Comments

Substantial revision

R2 v1 2026-06-24T02:27:03.207Z