---
title: Galois Rational Maps Overview
url: https://www.emergentmind.com/topics/galois-rational-maps
type: topic
---

# Galois Rational Maps Overview

In current research, Galois rational maps are studied through several closely related mechanisms: Galois extensions of rational function fields, deck transformation groups of rational coverings, monodromy of iterated preimage towers, and rational pullbacks of branched covers. The central one-dimensional case concerns rational functions \(X\in \mathbb C(z)\) that are Galois coverings of \(\mathbb{CP}^1\), equivalently those for which \(\mathbb C(z)/\mathbb C(X)\) is Galois and the deck group acts transitively on fibers; adjacent literatures analyze arboreal and dynatomic Galois groups of iterates, pullback generation of \(G\)-covers of \(\mathbb P^1\), and generically finite rational covers between higher-dimensional \(K\)-trivial varieties [2603.29609][2407.17415][1807.01937][2507.14359].

## 1. Galois coverings of the projective line

For a holomorphic map \(X:E\to R\), the deck transformation group is
\[
G_X=\operatorname{Aut}(E,X)=\{\mu\in \operatorname{Aut}(E)\mid X\circ \mu=X\}.
\]
The map \(X\) is a Galois covering if \(G_X\) acts transitively on fibers of \(X\). Equivalently, the extension \(M(E)/X^*M(R)\) is Galois, and then
\[
G_X\cong \mathrm{Gal}(M(E)/X^*M(R)).
\]
In the compact-surface setting, one also has the degree formula
\[
|G_X|=\deg X,
\]
and conversely this equality characterizes Galois coverings [2603.29609].

For rational maps on \(\mathbb{CP}^1\), Galois coverings are exactly quotient maps by finite subgroups of \(\mathrm{PGL}_2(\mathbb C)\). The finite subgroups are cyclic, dihedral, tetrahedral, octahedral, and icosahedral. This classification has two immediate consequences emphasized in the literature. First, if a rational Galois covering is indecomposable, then it must be Möbius-conjugate to
\[
z^p,\qquad p\ \text{prime}.
\]
Second, every degree-two rational map is Galois, with deck group of order \(2\), so low degree by itself does not force rigid intersection or monodromy behavior [2603.29609].

The subgroup/intermediate-cover correspondence is fundamental. Every subgroup \(G\le G_X\) corresponds to a factorization
\[
X=\widehat X\circ T
\]
where \(T\) is Galois with \(G_T=G\). This correspondence underlies decomposition arguments for rational maps and is one reason Galois coverings serve as the organizing objects in the function-field approach.

## 2. Field intersections, functional equations, and equivariance

A basic problem asks, for rational functions \(X,Y\in \mathbb C(z)\) with \(\deg X,\deg Y\ge 2\) and
\[
\mathbb C(X,Y)=\mathbb C(z),
\]
when the intersection field \(\mathbb C(X)\cap \mathbb C(Y)\) is nontrivial, and when the extension degree
\[
[\mathbb C(z):\mathbb C(X)\cap \mathbb C(Y)]
\]
attains its minimal possible value. By Lüroth’s theorem every intermediate subfield of \(\mathbb C(z)\) is of the form \(\mathbb C(H)\), so
\[
\mathbb C(X)\cap \mathbb C(Y)\neq \mathbb C
\]
is equivalent to the existence of rational functions \(A,B\) such that
\[
A\circ X=B\circ Y.
\]
Under the standing assumption \(\mathbb C(X,Y)=\mathbb C(z)\), one always has
\[
[\mathbb C(z):\mathbb C(X)\cap \mathbb C(Y)]\ge \deg X\,\deg Y,
\]
and the equality case is governed by fiber products and “good solutions” of \(A\circ X=B\circ Y\) [2603.29609].

Pakovich gives a complete characterization when one map is Galois. If \(X\) is a Galois covering, then
\[
[\mathbb C(z):\mathbb C(X)\cap \mathbb C(Y)] =\deg X\,\deg Y
\]
if and only if \(Y\) factors as
\[
Y=U\circ V,
\]
where \(V\) is \(G_X\)-equivariant in the sense that there exists an automorphism
\[
\varphi:G_X\to G_X
\]
such that
\[
V\circ \mu=\varphi(\mu)\circ V,\qquad \mu\in G_X,
\]
\(U\) is a rational Galois covering, and the group generated by \(G_X\) and \(G_U\) is finite of order
\[
|\langle G_X,G_U\rangle|=\deg X\,\deg U,
\qquad
G_X\cap G_U=\{e\}.
\]
When both maps are Galois coverings, nontrivial intersection occurs if and only if \(\langle G_X,G_Y\rangle\) is finite, and the minimal value \(\deg X\deg Y\) occurs if and only if
\[
G_X\cap G_Y=\{e\}
\quad\text{and}\quad
|\langle G_X,G_Y\rangle|=\deg X\,\deg Y
\]
[2603.29609].

A common misconception is that nontrivial intersection already forces this equivariant/Galois structure. It does not. The degree-two phenomenon already produces counterexamples: since any rational map of degree \(2\) is Galois and two involutions can generate a dihedral group of arbitrarily large order, one can obtain
\[
[\mathbb C(z):\mathbb C(X)\cap \mathbb C(Y)]
\]
arbitrarily large with \(\deg X=\deg Y=2\). Pakovich also gives an explicit example with
\[
X=z+\frac{1}{z},\qquad
Y=\frac{1-z^l}{z^{l+m}-1},
\]
for which \(\mathbb C(X)\cap \mathbb C(Y)\neq \mathbb C\) but \(Y\) is neither Galois nor \(G_X\)-equivariant, so the minimal-degree criterion fails [2603.29609].

A complementary reduction in low transcendence degree is available for arbitrary fields. If \(H\in K(x)^m\) satisfies
\[
\operatorname{trdeg}_K K(tH)\le 2,
\]
then
\[
H=g\cdot h(p,q)
\]
for some \(g\in K(x)\), some \(h\in K[y_1,y_2]^m\) that is either homogeneous and primitive or zero, and some primitive nonconstant pair \((p,q)\in K[x]^2\). In the case \(\operatorname{trdeg}_K K(tH)=2\), one has
\[
K(H)=K(H_i,p/q),
\]
and if \(\deg(p,q)\) is minimal, then \(K(p/q)\) is algebraically closed in \(K(x)\) [1501.06046]. This does not by itself produce a Galois classification, but it isolates a one-variable intermediate field that is often the natural starting point for one.

## 3. Arboreal Galois groups of iterated rational maps

In arithmetic dynamics, the Galois theory of a rational map \(f\in K(X)\) of degree \(d\ge 2\) is often encoded by the tower of preimage fields of a base point \(\alpha\in \mathbb P^1(K)\):
\[
K_n=K\bigl(f^{-n}(\alpha)\bigr),\qquad
K_\infty=\bigcup_{n\ge 0}K_n.
\]
The corresponding arboreal representation is the injective homomorphism
\[
\rho:\operatorname{Gal}(K_\infty/K)\hookrightarrow \operatorname{Aut}(T_\infty(f,\alpha)),
\]
where \(T_\infty(f,\alpha)\) is the rooted tree of iterated preimages [2407.17415].

For post-critically finite rational maps, non-abelianity is the dominant phenomenon. If \(K\) is a number field, \(f(x)\in K(x)\) is a PCF rational map of degree \(d\ge 2\), and \(\alpha\in \mathbf P^1(K)\) is non-preperiodic, then
\[
\operatorname{Gal}(K_\infty(f,\alpha)/K)
\]
is not abelian. The proof uses infinitely many non-Archimedean places of periodic reduction, a local splitting principle for irreducible polynomials with abelian Galois group, and equidistribution of small points on Berkovich projective lines. Combined with the result of Ferraguti–Ostafe–Zannier cited there, this shows that potentially abelian polynomial arboreal pairs are confined to the PCF and preperiodic regime [2407.17415].

A different non-abelianity criterion is archimedean. If \(K\) has a real archimedean place corresponding to an embedding \(\sigma:K\hookrightarrow \mathbb R\), if \(f_\sigma:\mathbb P^1(\mathbb R)\to \mathbb P^1(\mathbb R)\) is surjective, if \(\alpha\in \mathbb P^1(K)\) is nonperiodic, and if the Julia set of \(f_\sigma\) is not contained in \(\mathbb P^1(\mathbb R)\), then
\[
\Gal(K_\infty/K)
\]
is not abelian. The mechanism is that abelianity would force “no partial splitting” at the real place, hence total reality of an infinite backward orbit, and equidistribution would then force the canonical measure, and therefore the Julia set, to be supported on the real locus, contradicting the hypothesis [2412.03313].

This criterion becomes concrete for both polynomials and Lattès maps. For \(f\in\mathbb R[X]\) of degree \(d\ge 2\), the conditions
\[
\mathrm J(f)\subseteq \mathbb R,\qquad
\mathrm{FJ}(f)\subseteq \mathbb R,\qquad
\PrePer(f,\mathbb C)\subseteq \mathbb R,
\]
and “\(\PrePer(f,\mathbb R)\) is nonempty and is contained in the critical interval \(\mathrm I(f)\)” are equivalent. For certain Lattès maps arising from duplication on elliptic curves
\[
y^2=F(x),\qquad \mathrm{disc}(F)<0,
\]
the associated rational map
\[
f(X)=\frac{X^{4}-2bX^{2}-8cX+b^{2}-4ac}{4(X^{3}+aX^{2}+bX+c)}
\]
is surjective on \(\mathbb P^1(\mathbb R)\), while \(\mathrm J(f)=\mathbb P^1(\mathbb C)\), so the associated arboreal Galois groups are non-abelian for nonperiodic real base points [2412.03313].

## 4. Specialization and dynatomic Galois groups

For PCF rational functions, one can compare the generic iterated Galois group over \(k(t)\) with specialized groups over \(k\). If
\[
K_n=k\bigl(f^{-n}(t)\bigr),\qquad G_n=\operatorname{Gal}(K_n/k(t)),
\]
and
\[
K_{a,n}=k\bigl(f^{-n}(a)\bigr),\qquad G_{a,n}=\operatorname{Gal}(K_{a,n}/k),
\]
then under a \(p\)-group hypothesis on the first-level generic Galois group, there exists an integer \(m\ge 1\), depending on \(f\) and \(k\), such that
\[
G_\infty = G_{a,\infty}
\qquad\text{whenever}\qquad
G_m = G_{a,m}.
\]
In particular, for a PCF quadratic rational function over a number field, one has
\[
G_\infty = G_{a,\infty}
\]
for all \(a\) outside a thin set [2309.00840].

For the family
\[
f(x)=x^{p^n}+c
\]
with \(f\) PCF, the criterion is fully finite-level: if \(N\) is the size of the forward orbit of the critical point \(0\), then
\[
G_{a,\infty}=G_\infty
\]
if and only if
\[
\bigl|\operatorname{Gal}(k' K_{a,N}/k)\bigr| = |G_N|\,[k':k_1].
\]
Here \(k'\) is the compositum of the degree-\(p\) extensions of \(k_1\) contained in \(k_\infty\) [2309.00840].

Periodic-point Galois theory is encoded instead by dynatomic polynomials. For a rational map \(\phi\in k(x)\),
\[
\Phi_{n,\phi}:=\prod_{d\mid n}(xq_d-p_d)^{\mu(n/d)}
\]
cuts out points of exact period \(n\), and when \(\Phi_{n,\phi}\) is separable its Galois group is the \(n\)th dynatomic group. For quadratic rational maps with a critical point of exact period \(2\), there are two normal forms over \(\mathbf Q\):
\[
\phi_v(x)=\frac{v(x-1)}{x^2},
\qquad
\psi_v(x)=\frac{2x-1}{v x^2-1}.
\]
For both families, the generic third dynatomic Galois group is
\[
(\mathbf Z/3\mathbf Z)\wr S_2.
\]
For period \(4\), the generic group for \(\psi_v\) is
\[
(\mathbf Z/4\mathbf Z)\times S_3,
\]
whereas for \(\phi_v\) it is the full
\[
(\mathbf Z/4\mathbf Z)\wr S_3.
\]
Exceptional specializations are controlled by explicit rational parametrizations of subgroup fixed fields, so the variation of the dynatomic Galois group becomes a Diophantine problem on auxiliary curves [2303.05632].

## 5. Rational pullbacks of Galois covers

Another major use of rational maps is as pullback operators on covers of \(\mathbb P^1\). If
\[
f:X\to \mathbb P^1_k
\]
is a \(k\)-regular cover and
\[
T_0:\mathbb P^1_k\to \mathbb P^1_k
\]
is a nonconstant rational map, the pullback cover \(f_{T_0}\) is defined by the normalization of the fiber product. If \(f\) is given by \(P(t,y)=0\), then \(f_{T_0}\) is given by
\[
P(T_0(u),y)=0
\]
[1807.01937].

The pullback operation is highly constrained. If \(f\) has branch point number \(r\) and \(f_{T_0}\) has branch point number \(r_{T_0}\), then
\[
r\le r_{T_0},
\]
and similarly the genus does not decrease under pullback. This monotonicity is one ingredient in the classification of groups whose \(G\)-covers are generated by pullback from a bounded family [1807.01937].

The sharp theorem is that the finite subgroups of \({\rm PGL}_2(\mathbb C)\) are exactly the finite groups \(G\) for which there exists an integer \(r_0\) such that every \(G\)-Galois cover of \(\mathbb P^1_{\mathbb C}\) can be obtained as a rational pullback of a cover with at most \(r_0\) branch points. For \(G\subset {\rm PGL}_2(\mathbb C)\), one well-chosen cover with at most \(3\) branch points already suffices. For
\[
G\not\subset {\rm PGL}_2(\mathbb C),
\]
no bounded branch-point family is regularly parametric, and allowing the branch point number to grow produces genuinely new Galois realizations over \(\mathbb C(T)\) [1807.01937].

This also resolves the geometric Beckmann–Black lifting property: the statement that any two \(G\)-Galois covers of \(\mathbb P^1_{\mathbb C}\) are pullbacks of another \(G\)-cover holds only for
\[
G\subset {\rm PGL}_2(\mathbb C).
\]
The spherical groups
\[
C_n,\quad D_n,\quad A_4,\quad S_4,\quad A_5
\]
are therefore exceptional not only as finite Möbius groups but also as the only groups for which rational pullback is universally generative [1807.01937].

## 6. Arithmetic rigidity and higher-dimensional analogues

Arithmetic constraints on rational maps often isolate the same symmetry-rich families that appear in Galois constructions. If \(K\) is a number field and \(f:\mathbf P^1(\mathbf C)\to\mathbf P^1(\mathbf C)\) is a rational map of degree \(d\ge 2\) whose multipliers all lie in \(K\), then \(f\) is a power map, a Chebyshev map, or a Lattès map. Power maps and Chebyshev maps have only integer multipliers, and for a Lattès map there exists an imaginary quadratic field \(K\) such that all multipliers lie in \(\mathcal O_K\); they are all integers if and only if the map is flexible. These families are described there as finite quotients of affine maps on cylinders or tori and are sometimes called exceptional [2210.17521].

In the real rational Jacobian setting, the Galois case is equally rigid. If \(F:\mathbb R^n\to\mathbb R^n\) is an everywhere-defined rational nonsingular map and the extension
\[
\mathbb R(X)/\mathbb R(F)
\]
is Galois, then \(F\) is invertible if and only if \(F\) is birational. More generally, invertibility forces the extension degree to be odd and forces the automorphism group
\[
\operatorname{Aut}_{\mathbb R(F)}(\mathbb R(X))
\]
to be trivial, so a nontrivial Galois extension is incompatible with invertibility [1210.0251].

A higher-dimensional birational theory studies generically finite dominant rational maps
\[
f\colon Y\dashrightarrow X
\]
between smooth projective varieties with trivial canonical bundle. Such a map is Galois when the induced field extension
\[
\mathbb C(X)\hookrightarrow \mathbb C(Y)
\]
is Galois, and one introduces the birational deck group
\[
\Bir(f)=\{g\in \Bir(Y)\; ; \; f\circ g=f\}
\]
together with the monodromy group defined from the Galois closure. In this setting there are strong hyper-Kähler restrictions: if \(X\) is a hyper-K manifold with
\[
b_2(X)=23,\qquad \rho_X=1,
\]
and \(\phi:Y\dashrightarrow X\) is a Calabi–Yau rational cover, then
\[
\Bir(\phi)=\{\id\},
\]
so any Galois cover is an isomorphism; moreover, if
\[
f\colon Y\dashrightarrow X
\]
is a Calabi–Yau Galois cover of a hyper-K manifold and
\[
\Gal(f)\subset \Aut(Y),
\]
then the branch divisor \(\Bran(f)\) is \(q_X\)-exceptional [2507.14359].

A cohomological analogue appears for varieties associated to central simple algebras. If \(A\) and \(B\) generate the same cyclic subgroup of \(\mathrm{Br}(k)\), then there are rational embeddings between the associated Brauer–Severi varieties and between their norm hypersurfaces; in fact this condition is equivalent to dominant rational maps both ways between the Brauer–Severi varieties, to stable birationality, and to birationality of the norm hypersurfaces \(V(A)\) and \(V(B)\) [1602.04444]. This suggests a broader use of “Galois rational maps” in which rational maps are controlled by descent data and cohomological invariants rather than only by deck groups of maps to \(\mathbb P^1\).

Taken together, these strands show that Galois rational maps form a convergent theme rather than a single definition. In one dimension they are governed by deck groups, function-field intersections, and pullback rigidity; in arithmetic dynamics they appear as arboreal and dynatomic Galois groups of iterates; and in higher-dimensional birational geometry they are constrained by monodromy, Kodaira dimension, and hyper-Kähler or Brauer-theoretic structure. Across these settings, the recurring exceptional objects are those with quotient or algebraic-group origin, and the recurring obstruction is that apparently mild symmetry or arithmetic hypotheses force a drastic reduction in possible rational maps.

Source: https://www.emergentmind.com/topics/galois-rational-maps