Indecomposable rational functions over finite fields with Galois closure of genus one: Reconstruction and exceptionality
Abstract
Let k=𝔽q. We reconstruct every k-indecomposable g∈ k(X) of degree greater than one whose normal closure has genus one. Such a map is automatically separable and, after independent degree-one changes of the source and target coordinates over k, arises from a separable equivariant isogeny between elliptic curves equipped with compatible finite group actions stable under Frobenius conjugation. In particular, °g=ℓ or ℓ2 for a prime ℓ, with ℓ≠chark in the latter case. More generally, every separable rational function with genus-one Galois closure admits a canonical factorization class, modulo degree-one changes of the intermediate coordinates over k, determined by the intrinsic translation subgroup of its geometric monodromy group; every k-indecomposable factor of the remaining map has Galois closure of genus zero. For every equivariant-isogeny quotient and every finite extension kr/k, the same exact finite-kernel condition characterizes both permutation of P1(kr) and exceptionality over kr. The finite kernel and its induced Frobenius and linear symmetry actions also determine the arithmetic and geometric monodromy permutation groups, decomposition classes, and the exact periodic set of permutation extension degrees, including its least period and limiting proportion. Together with the corresponding genus-zero theorem, these results yield permutation if and only if exceptionality over every finite extension for every separable rational function whose Galois closure has genus at most one; under k-decomposition, the common extension-degree set is the intersection of the corresponding sets for the factors.
Related
- Rational functions over finite fields with Galois closure of genus zero
- Exact barycentric rational interpolation of analytic functions with an application to the Bessel functions
- Rational and integral values of rational functions at rational points
- Generic reconstruction of rational maps from multipliers of periods one and two
- Real rational Herglotz-Nevanlinna functions in two variables and a class of extremals
BibTeX
@misc{fan2026indecomposable,
title = {{Indecomposable rational functions over finite fields with Galois closure of genus one: Reconstruction and exceptionality}},
author = {Xiang Fan},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2608.24744},
eprint = {2608.24744},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2608.24744},
}
RIS
TY - UNPB
TI - Indecomposable rational functions over finite fields with Galois closure of genus one: Reconstruction and exceptionality
AU - Xiang Fan
PY - 2026
DA - 2026/09/10
PB - arXiv
DO - 10.48550/arxiv.2608.24744
UR - https://arxiv.org/abs/2608.24744
AB - Let k=𝔽_q. We reconstruct every k-indecomposable g∈ k(X) of degree greater than one whose normal closure has genus one. Such a map is automatically separable and, after independent degree-one changes of the source and target coordinates over k, arises from a separable equivariant isogeny between elliptic curves equipped with compatible finite group actions stable under Frobenius conjugation. In particular, °g=ℓ or ℓ^2 for a prime ℓ, with ℓ≠chark in the latter case. More generally, every separable rational function with genus-one Galois closure admits a canonical factorization class, modulo degree-one changes of the intermediate coordinates over k, determined by the intrinsic translation subgroup of its geometric monodromy group; every k-indecomposable factor of the remaining map has Galois closure of genus zero. For every equivariant-isogeny quotient and every finite extension k_r/k, the same exact finite-kernel condition characterizes both permutation of P^1(k_r) and exceptionality over k_r. The finite kernel and its induced Frobenius and linear symmetry actions also determine the arithmetic and geometric monodromy permutation groups, decomposition classes, and the exact periodic set of permutation extension degrees, including its least period and limiting proportion. Together with the corresponding genus-zero theorem, these results yield permutation if and only if exceptionality over every finite extension for every separable rational function whose Galois closure has genus at most one; under k-decomposition, the common extension-degree set is the intersection of the corresponding sets for the factors.
ER -