Let be a complete discrete valuation field of prime characteristic with finite residue field. Denote by the ramification subgroups of . We consider the category of finite $_p[\Gamma _{L}]H\Gamma L\operatorname{Aut}{_p}H$. In the paper it is proved that all information about the images of the ramification subgroups $\Gamma _L^{(v)}\Omega [N]\phi M(H)H\Omega [N]\nabla M(H)$. In the case of fields of mixed characteristic containing a primitive -th root of unity we show that the similar problem for $_p[\Gamma _L]$-modules also admits a solution. In this case we use the field-of-norms functor to construct the coresponding -module together with the action of a cyclic group of order coming from a cyclic extension of . Then the solution involves the characteristic 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 . Apart from the above differential forms the statement of this condition also uses a power series coming from the -adic period of the formal group .

生成讲解博客的中文版本

生成AI智能校验的中文版本