English

Rational functions sharing preimages and height functions

Number Theory 2025-03-19 v1 Algebraic Geometry Complex Variables Dynamical Systems

Abstract

Let AA and BB be non-constant rational functions over C\mathbb{C}, and let KP1(C)K \subset \mathbb{P}^1(\mathbb{C}) be an infinite set. Using height functions, we prove that the inclusion A1(K)B1(K) A^{-1}(K) \subseteq B^{-1}(K) implies the inequality degBdegA {\rm deg} B \geq {\rm deg} A in the following two cases: the set KK is contained in P1(k)\mathbb{P}^1(k), where k k is a finitely generated subfield of C\mathbb{C}, or the set KK is discrete in C\mathbb{C}, and AA and BB are polynomials. In particular, this implies that for AA, BB, and KK as above, the equality A1(K)=B1(K) A^{-1}(K) = B^{-1}(K) is impossible, unless degB=degA {\rm deg} B = {\rm deg} A .

Keywords

Cite

@article{arxiv.2503.14413,
  title  = {Rational functions sharing preimages and height functions},
  author = {Fedor Pakovich},
  journal= {arXiv preprint arXiv:2503.14413},
  year   = {2025}
}
R2 v1 2026-06-28T22:25:31.406Z