Skip to content
Preprint

Rational functions over finite fields with Galois closure of genus zero

Sep 2026 · 1 citation · ⚡ 1 influential
Mathematics

Abstract

Let $k=\mathbb F_q$. We classify, up to pre- and post-composition by $k$-M\"obius transformations, all separable $k$-indecomposable rational functions $f\in k(X)$ of degree greater than one whose Galois closure has genus zero. The classification is valid in arbitrary characteristic and includes exact arithmetic conditions and class counts over the prescribed field. Semilinear Frobenius descent determines the finite-field forms and which geometric decompositions descend to $k$. For every separable $f\in k(X)$ of degree greater than one with Galois closure of genus zero and every $m\geqslant1$, we prove that $f$ permutes $\mathbf P^1(\mathbb F_{q^m})$ if and only if it is exceptional over $\mathbb F_{q^m}$, meaning that it permutes $\mathbf P^1(L)$ for infinitely many finite extensions $L/\mathbb F_{q^m}$. No indecomposability assumption or lower bound on $q$ is needed. The argument combines fixed-point averaging with ramification on the Galois-closure curve. If the full constant field is $\mathbb F_{q^d}$, these properties depend only on $\gcd(m,d)$. For each classified family we determine the permutation extension degrees explicitly and characterize polynomial representatives.

View source

Similar papers

Preprint Aug 2026

Indecomposable rational functions over finite fields with Galois closure of genus one: Reconstruction and exceptionality

Let $k=\mathbb F_q$. We reconstruct every $k$-indecomposable $g\in 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 ellip...

Xiang Fan · 0 citations
Preprint Aug 2026

Exceptional covers of the projective line with genus-one Galois closure: arithmetic forms over finite fields

Let $k=\mathbb F_q$. We classify, up to two-sided $k$-M\"obius equivalence, all separable indecomposable tame exceptional maps $\mathbf P^1_k\to\mathbf P^1_k$ whose geometric Galois closure has genus one. The resulting arithmetic fixed-field forms are encoded by Frobenius-stable affine elliptic quotient data recovered...

Xiang Fan · 1 citation
Preprint Sep 2026

Explicit equations of Galois subfields of Hermitian function fields with respect to decomposition groups

Let $q$ be a prime power and $\mathbb{F}_{q^2}$ be the finite fields of $q^2$ elements. The Hermitian function field $H=\mathbb{F}_{q^2}(x,y)$ defined by $y^q+y=x^{q+1}$ is a well-known maximal function field with the largest possible genus. Let $A(P_\infty)$ be the decomposition group of the infinity place $P_\infty$...

Liming Ma, Yi-Peng Wang · 0 citations
Preprint Sep 2026

On the bounded-conductor finiteness conjecture in equal characteristic

We investigate the equal-characteristic case of the Moon--Taguchi bounded-conductor finiteness conjecture for mod $p$ Galois representations over global function fields. We first establish a conditional finiteness theorem: for any global function field $K$ of characteristic $p$ and any integer $n \ge 1$, there are only...

Yu-Fan Luo, Yi-Qi Xu · 0 citations
Preprint Aug 2026

Products of point counts of higher genus curves over finite fields

Let $E/\mathbb Q$ be an elliptic curve and for each prime $p$, let $N_p$ denote the number of points of $E$ modulo $p$. The original version of the conjecture of Birch and Swinnerton-Dyer asserts that $\prod \limits _{p \leq x} \frac{N_p}{p} \sim C (\log x) ^{\text{rank}(E(\mathbb Q))}$ as $x \to \infty$. In this paper...

A. Bucur, K. Kedlaya, A. Sheth · 0 citations
Preprint Sep 2026

$p$-adic properties of division polynomials and algebraic sigma functions

Let $p \geq 5$ be a prime, let $K$ be a finite extension of $\mathbb{Q}_p$, and let $E/K$ be an elliptic curve with good reduction. Let $F_n$ denote the $n$-division polynomial of $E$. Silverman proved that if the reduction is ordinary, then for every $P \in E(K) \setminus \hat{E}(K)$ and a suitable power $q$ of $p$, t...

Yukiko Katagiri, Shinichi Kobayashi · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.