Kummer-faithfulness over $p$-adic fields

TL;DR

This paper investigates Kummer-faithfulness over $p$-adic fields, linking it to finiteness properties of torsion points on (semi-)abelian varieties and exploring specific cases like Lubin-Tate extensions.

Contribution

It establishes a deep connection between Kummer-faithfulness and torsion point finiteness in algebraic extensions of $p$-adic fields, including Lubin-Tate extensions.

Findings

Kummer-faithfulness relates to torsion point finiteness on abelian varieties.

Characterization of Kummer-faithfulness for Galois extensions with finite residue fields.

Analysis of Kummer-faithfulness in Lubin-Tate extension fields.

Abstract

The notion of a Kummer-faithful field, defined by Mochizuki, is expected as one of suitable base fields for anabelian geometry. In this paper, we study Kummer-faithfulness for algebraic extension fields of $p$-adic fields. We show that Kummer-faithfulness for such fields are deeply related with various finiteness properties on torsion points of (semi-)abelian varieties. For example, a Galois extension $K$ of a $p$-adic field is Kummer-faithful with finite residue field if and only if, for any finite extension $L$ of $K$ and any abelian variety over $L$,its $L$-rational torsion subgroup is finite. In addition, we study Kummer-faithfulness for Lubin-Tate extension fields.