Abstract:In the first part of this paper, we develop a general framework that permits a comparison between explicit class field theories for a family of rational function fields $\mathbb{F}_s(t)$ over arbitrary constant fields $\mathbb{F}_s$ and explicit class field theory for the rational function field $\mathfrak{K}(t)$ over the nonprincipal ultraproduct $\mathfrak{K}$ of the constant fields $\mathbb{F}_s$. Under an additional assumption that the constant fields $\mathbb{F}_s$ are perfect procyclic fields, we prove a correspondence between ramifications of primes $P$ in $\mathfrak{K}(t)$ and ramifications of primes $P_s$ in $\mathbb{F}_s(t)$, where the $P_s$ are primes in $\mathbb{F}_s(t)$ whose nonprincipal ultraproduct coincides with $P$. In the second part of the paper, we are mainly concerned with rational function fields over a large class of fields, called $n$-th level ultra-finite fields that are a generalization of finite fields. At the $0$-th level, ultra-finite fields are simply finite fields, and for an arbitrary positive integer $n$, an $n$-th level ultra-finite field is inductively defined as a nonprincipal ultraproduct of $(n - 1)$-th level ultra-finite fields. We develop an analogue of cyclotomic function fields for rational function fields over $n$-th level ultra-finite fields that generalize the works of Carlitz and Hayes for rational function fields over finite fields such that these cyclotomic function fields are in complete analogy with the classical cyclotomic fields $\mathbb{Q}(\zeta)$ of the rationals $\mathbb{Q}$. The main result in the second part of the paper is an analogue of the Kronecker--Weber theorem for rational function fields over $n$-th level ultra-finite fields that explicitly describes, from a model-theoretic viewpoint, the maximal abelian extension of the rational function field over a given $n$-th level ultra-finite field for all $n \ge 1$.

Notes on valuation theory for Krasner hyperfields

A Valuation Theoretic Approach to Essential Dimension

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

The class of Krasner hyperfields is not elementary

Kähler differentials, almost mathematics and deeply ramified fields

Uniform existential definitions of valuations in function fields in one variable

Uniform Algebras Over Complete Valued Fields

Valued fields with a total residue map

Quasi-Valuations Extending a Valuation

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

The module of Kähler differentials for extensions of valuation rings

Valuations and Frobenius

Almost real closed fields with real analytic structure

Generating sequences of valuations on simple extensions of domains

Convex valuations, from Whitney to Nash

Pseudo-absolute values: foundations

Field Theory Equivalences as Spans of $L_\infty$-algebras

Theory of valuations on manifolds, IV. New properties of the multiplicative structure

Definable henselian valuations in positive residue characteristic

Universal-existential theories of fields

Interval valued $(α,β)$-fuzzy hyperideals in Krasner $(m,n)$-hyperrings