On intersections of fields of rational functions

Abstract: Let $X$ and $Y$ be rational functions of degree at least two with complex coefficients such that $\mathbb{C}(X,Y)=\mathbb{C}(z)$. We study the problem of determining when the field extension $[\mathbb{C}(z):\mathbb{C}(X)\cap\mathbb{C}(Y)]$ is finite and attains the minimal possible degree ${\rm deg X}\cdot{\rm deg Y}$. We give a complete characterization in the case where $X$ is a Galois covering. We also establish several related results concerning the functional equation $A \circ X = Y \circ B$ in rational functions, in the case where one of the functions involved is a Galois covering. Finally, we consider an analogous problem for holomorphic maps between compact Riemann surfaces.

• The paper identifies conditions for minimal intersections of fields generated by two rational functions using Galois coverings and group actions.
• It employs compositional decompositions and fiber product techniques to solve the functional equation A∘X = B∘Y, leading to a precise classification.
• The study extends its framework to holomorphic maps on Riemann surfaces, offering explicit criteria when common critical points obstruct non-trivial intersections.

Intersections of Fields of Rational Functions: Structure and Classification

Problem Formulation and Motivations

The paper "On intersections of fields of rational functions" (2603.29609) analyzes the algebraic conditions under which two rational functions $X$ and $Y$ of degree at least two, with complex coefficients, induce field extensions where the intersection $\mathbb{C}(X) \cap \mathbb{C}(Y)$ is non-trivial and, more specifically, attains minimal possible degree in $\mathbb{C}(z)$. The framework exploits L\"uroth's theorem, connecting field intersections to the existence of a non-constant rational function $H$ such that $\mathbb{C}(X) \cap \mathbb{C}(Y) = \mathbb{C}(H)$, equivalently yielding the compositional functional equation $A \circ X = B \circ Y$ for rational functions $A$ and $B$.

This investigation is highly relevant to the theory of functional equations in rational functions, compositional relations, arithmetic of function fields, and the geometry of coverings, connecting to classical topics (Ritt's theory, Galois theory, fiber products) and their generalizations in several mathematical contexts.

Main Results and Characterizations

Minimal Degree Intersection: Galois Covering Case

A central result is the complete characterization of pairs $(X,Y)$ where $Y$0 is a Galois covering and the intersection $Y$1 attains its minimal degree:

Theorem (Summary):

If $Y$2 is a Galois covering, then $Y$3 attains the minimal intersection degree with $Y$4 if and only if $Y$5, where $Y$6 is a $Y$7-equivariant rational function (i.e., $Y$8 for $Y$9 via some automorphism of $\mathbb{C}(X) \cap \mathbb{C}(Y)$0), and $\mathbb{C}(X) \cap \mathbb{C}(Y)$1 is a Galois covering such that $\mathbb{C}(X) \cap \mathbb{C}(Y)$2 is finite of order $\mathbb{C}(X) \cap \mathbb{C}(Y)$3 and $\mathbb{C}(X) \cap \mathbb{C}(Y)$4.

The decomposition elucidates the structural role played by group actions, equivarience, and Galois theory. It generalizes familiar polynomial cases (e.g., $\mathbb{C}(X) \cap \mathbb{C}(Y)$5, $\mathbb{C}(X) \cap \mathbb{C}(Y)$6 with $\mathbb{C}(X) \cap \mathbb{C}(Y)$7) to arbitrary rational functions, leveraging symmetries and compositional factors.

Extension to Holomorphic Maps

The characterization is extended to holomorphic maps between compact Riemann surfaces, where the intersection of fields of meromorphic functions (pullbacks via $\mathbb{C}(X) \cap \mathbb{C}(Y)$8 and $\mathbb{C}(X) \cap \mathbb{C}(Y)$9) aligns with the compositum approach. The result applies mutatis mutandis: if $\mathbb{C}(z)$0 is Galois, then $\mathbb{C}(z)$1 factors through a $\mathbb{C}(z)$2-equivariant map followed by a Galois covering, with precise group-theoretic conditions.

Indecomposable Rational Functions with Common Critical Points

A criterion is derived for indecomposable $\mathbb{C}(z)$3 (vanishing of order $\mathbb{C}(z)$4 at zero) in the special case $\mathbb{C}(z)$5 ($\mathbb{C}(z)$6):

If $\mathbb{C}(z)$7 and $\mathbb{C}(z)$8, then $\mathbb{C}(z)$9 must be $H$0-equivariant, i.e., $H$1 for a Möbius transformation $H$2, rational $H$3, and $H$4.

Notably, the connection between critical points and field intersections is made explicit. Whenever the intersection attains the minimal degree $H$5, $H$6 and $H$7 necessarily share a critical point.

Negative Criteria and Examples

Conversely, the paper establishes that if $H$8 and $H$9 have a common critical point of multiplicities with $\mathbb{C}(X) \cap \mathbb{C}(Y) = \mathbb{C}(H)$0 greater than one, then $\mathbb{C}(X) \cap \mathbb{C}(Y) = \mathbb{C}(H)$1; thus, no non-trivial intersection exists. The framework also produces explicit families of indecomposable rational $\mathbb{C}(X) \cap \mathbb{C}(Y) = \mathbb{C}(H)$2—neither $\mathbb{C}(X) \cap \mathbb{C}(Y) = \mathbb{C}(H)$3-equivariant nor Galois coverings—exhibiting non-trivial intersections with $\mathbb{C}(X) \cap \mathbb{C}(Y) = \mathbb{C}(H)$4 for $\mathbb{C}(X) \cap \mathbb{C}(Y) = \mathbb{C}(H)$5.

Methods and Technical Insights

The manuscript leverages fiber products of holomorphic maps, Galois closures (normalization), compositional right factors, lifting lemmas for diagrams, and Abhyankar's lemma on ramification. The analysis integrates techniques from complex dynamics (Böttcher coordinates), group actions on fibers, and algebraic geometry (irreducibility, Riemann–Hurwitz, dessins d'enfants). The treatment of functional equations in formal power series is adapted for rational functions, emphasizing the commutation, transition functions, and local symmetry groups.

The group-theoretic approach to deck transformations and equivariant mappings provides a unified description of "good" solutions to $\mathbb{C}(X) \cap \mathbb{C}(Y) = \mathbb{C}(H)$6, where the fiber product has a unique component and functions lack non-trivial common compositional right factors.

Implications and Opportunities

The results attain a structural classification of rational function pairs with minimal field intersection, extending classical polynomial decomposition results. The precise group criteria facilitate explicit construction and identification of such pairs, impacting computational approaches to field extension analysis, arithmetic dynamics, and algebraic function fields.

The explicit negative results and counterexamples underscore the limitations and subtleties in generalized settings—especially for non-polynomial rational functions and non-Galois coverings. The connection between critical points, multiplicities, and field intersections suggests further research on ramification patterns and dynamical invariants.

The generalization to compact Riemann surfaces and their automorphism groups opens possibilities in high-genus settings, with theoretical implications for Hurwitz surfaces and field-of-moduli questions.

Future work may advance the geometric classification of fiber products, refine upper bounds on intersection degrees, and explore applications in arithmetic, geometry, and dynamical systems.

Conclusion

This paper provides a rigorous characterization of the algebraic and geometric circumstances under which intersections of fields generated by rational functions are non-trivial and attain minimal degrees. It introduces a group-theoretic and compositional framework for understanding these intersections, generalizing classical polynomial results to rational and holomorphic settings. The results deliver constructive criteria for Galois coverings and equivariant maps, negative criteria tied to critical point multiplicities, and explicit counterexamples, thereby enriching the theory of rational function field extensions and their intersections.