Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2504.09543 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866908317142482944 |
|---|---|
| author | Inoue, Taichi |
| author_facet | Inoue, Taichi |
| contents | For a finite totally ramified extension $L$ of a complete discrete valuation field $K$ with the perfect residue field of characteristic $p>0$, it is known that $L/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 $K$ with the residue field $\overline{K}$ of residue characteristic $p>2$ and a finite non-abelian Galois extension $L/K$ such that the Galois group of $L/K$ is equal to the inertia group $I$ of $L/K$, we construct a complete discrete valuation field $K'$ with the residue field $\overline{K}$ and a finite Galois extension $L'/K'$ which has at least one non-integral upper ramification break and whose Galois group and inertia group are isomorphic to $I$. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2504_09543 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Hasse-Arf property and abelian extensions for local fields with imperfect residue fields Inoue, Taichi Number Theory For a finite totally ramified extension $L$ of a complete discrete valuation field $K$ with the perfect residue field of characteristic $p>0$, it is known that $L/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 $K$ with the residue field $\overline{K}$ of residue characteristic $p>2$ and a finite non-abelian Galois extension $L/K$ such that the Galois group of $L/K$ is equal to the inertia group $I$ of $L/K$, we construct a complete discrete valuation field $K'$ with the residue field $\overline{K}$ and a finite Galois extension $L'/K'$ which has at least one non-integral upper ramification break and whose Galois group and inertia group are isomorphic to $I$. |
| title | Hasse-Arf property and abelian extensions for local fields with imperfect residue fields |
| topic | Number Theory |
| url | https://arxiv.org/abs/2504.09543 |