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$.

Higher reciprocity law and An analogue of the Grunwald–Wang theorem for the ring of polynomials over an ultra-finite field

Higher reciprocity law and An analogue of the Grunwald--Wang theorem for the ring of polynomials over an ultra-finite field

A reciprocity law in function fields

On Finite Fields and Higher Reciprocity

Explicit reciprocity laws for diagonal classes: higher level cases

On the arithmetic of polynomials over a number field

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

Uniqueness of Moore'S Higher Reciprocity Law at the Prime 2 for Real Number Fields

Division Algebras and Quadratic Reciprocity

Harbingers of Artin's Reciprocity Law. III. Gauss's Lemma and Artin's Transfer

An explicit version of Shimura's reciprocity law for Siegel modular functions

Revisiting Gauss's analogue of the prime number theorem for polynomials over a finite field

Local symbols and a first-order definition of the polynomial ring over an ultra-finite field in its fraction field

Reciprocity obstruction to strong approximation over p-adic function fields

Counting Irreducible Polynomials over Finite Fields

Deep congruences + the Brauer-Nesbitt theorem

The reciprocity law for the twisted second moment of Dirichlet L-functions

A transfer principle for unirationality

The norm residue symbol for higher local fields

Scholz's reciprocity law in number fields

Explicit reciprocity laws and Iwasawa theory for modular forms