English

Hasse-Arf property and abelian extensions for local fields with imperfect residue fields

Number Theory 2025-04-15 v1

Abstract

For a finite totally ramified extension LL of a complete discrete valuation field KK with the perfect residue field of characteristic p>0p>0, it is known that L/KL/K is an abelian extension if the upper ramification breaks are integers and if the wild inertia group is abelian. We prove a similar result without the assumption that the residue field is perfect. As an application, we prove a converse to the Hasse-Arf theorem for a complete discrete valuation field with the imperfect residue field. More precisely, for a complete discrete valuation field KK with the residue field K\overline{K} of residue characteristic p>2p>2 and a finite non-abelian Galois extension L/KL/K such that the Galois group of L/KL/K is equal to the inertia group II of L/KL/K, we construct a complete discrete valuation field KK' with the residue field K\overline{K} and a finite Galois extension L/KL'/K' which has at least one non-integral upper ramification break and whose Galois group and inertia group are isomorphic to II.

Cite

@article{arxiv.2504.09543,
  title  = {Hasse-Arf property and abelian extensions for local fields with imperfect residue fields},
  author = {Taichi Inoue},
  journal= {arXiv preprint arXiv:2504.09543},
  year   = {2025}
}

Comments

18 pages