Abstract:A perfect field $K$ is said to be Kummer-faithful if the Mordell-Weil group of every semi-abelian variety over every finite extension of $K$ has no nonzero divisible element. The class of Kummer-faithful fields contains that of sub-$p$-adic fields and is thought to be suitable for developing anabelian geometry. In this paper, we investigate a function field analogue of the notion of Kummer-faithful fields. We introduce a notion of Drinfeld-Kummer-faithful (DKF) fields using Drinfeld modules. A sufficient condition for a Galois extension of a function field to be DKF is provided in terms of ramification theory. More precisely, a Galois extension with finite maximal ramification break outside the infinite prime $(1 / t)$ over a finite extension of the rational function field $\mathbb{F}_q(t)$ over the finite field $\mathbb{F}_q$ of $q$ elements is DKF. Some examples of DKF fields are also given. The construction of these examples is inspired by Ozeki and Taguchi's examples of highly Kummer-faithful fields.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to generalize the concept of Kummer - faithfulness to function fields and study its properties. Specifically, the author introduces the concept of Drinfeld - Kummer - faithful (DKF) fields, uses Drinfeld modules to define this faithfulness, and provides sufficient conditions for a Galois extension to be DKF. ### Main problems of the paper 1. **Generalize Kummer - faithfulness to function fields**: - Kummer - faithfulness was originally defined in number fields and was used to describe that the Mordell - Weil groups of certain geometric objects (such as semi - abelian varieties) have no non - zero divisible elements. This paper aims to generalize this concept to function fields. 2. **Introduce Drinfeld - Kummer - faithful (DKF) fields**: - DKF fields are defined by the triviality of the divisible part of Drinfeld modules. Drinfeld modules are objects similar to elliptic curves on function fields. 3. **Provide sufficient conditions for a Galois extension to be DKF**: - Using ramification theory, the author gives a sufficient condition for a Galois extension to be DKF, namely, finite maximal ramification break. 4. **Construct examples of DKF fields**: - The author constructs some specific examples of DKF fields, which are inspired by the work of Ozeki and Taguchi on highly Kummer - faithful fields. ### Formula summary - **Definition of Kummer - faithfulness**: \[ \bigcap_{n>0} n \cdot X(L) = 0 \] where $X$ is a semi - abelian variety defined on a finite extension $L$, and $n$ is all positive rational integers. - **Divisible elements of Drinfeld modules**: \[ M_{\text{div}} = \bigcap_{a \in A \setminus \{0\}} aM \] \[ M_{a\text{-div}} = \bigcap_{n>0} a^nM \] - **p - adic Tate module**: \[ T_p(\varphi) = \varprojlim_n \varphi[p^n] \] - **Definition of ramification break**: \[ \inf \{ u \in [-1, +\infty) \mid \text{Gal}(\tilde{K}/E)^u = 1 \} \] ### Conclusion Through the above work, the author successfully generalizes Kummer - faithfulness to function fields and provides a new framework for studying the properties of such fields. This not only enriches the algebraic geometry theory on function fields but also provides important tools and methods for subsequent research.

Kummer-faithfulness for function fields

Kummer theory for function fields

Freiman's $3k-4$ Theorem for Function Fields

Mordell--Weil groups over large algebraic extensions of fields of characteristic zero

Weierstrass Semigroup, Pure Gaps and Codes on Function Fields

Ultra-Galois theory and an analogue of the Kronecker--Weber theorem for rational function fields over ultra-finite fields

A generalization of Kummer theory to Hopf-Galois extensions

Local Kummer theory for Drinfeld modules

Kähler differentials, almost mathematics and deeply ramified fields

Kähler differentials of extensions of valuation rings and deeply ramified fields

Cyclotomic Units in Function Fields

Normal Bases For Function Fields

Carlitz-Hayes plus Andersen's epsilon

Congruences of Galois representations attached to effective $A$-motives over global function fields

Galois Groups And Genera Of A Kind Of Quasi-Cyclotomic Function Fields

A note on extended genus fields of Kummer extensions of rational function fields

On the $\mathbb{Z}_p$-extensions of a totally $p$-adic imaginary quadratic field -- With an appendix by Jean-François Jaulent

Defects of Algebraic Function Fields, Completion Defects and Defect Quotients

Bounds of ideal class numbers of real quadratic function fields

On Mordell-Weil groups of Jacobians over function fields

Carlitz-Hayes Plus Andersons Epsilon