Lower bounds for genera of fiber products
Fedor Pakovich
TL;DR
The paper investigates genus lower bounds for components of fiber products of holomorphic maps between compact Riemann surfaces, extending prior results for curves of the form $A(x)-B(y)=0$. Its approach centers on normalization, ramification data, and the Hurwitz automorphism theorem, complemented by a lifting lemma to move to higher-fold fiber products and apply Riemann–Hurwitz. The main results give explicit genus lower bounds for single-component and multi-component fiber products, namely $g(rak E)\ge (g(rak R)-1)( ext{deg }W-1)+1+rac{ ext{deg }P}{84}$ and $g(rak E)\nge (g(rak R)-1)( ext{deg }V-1)+1+rac{ ext{deg }P}{ ext{deg }W( ext{deg }W-1) ots ( ext{deg }W- ext{deg }V+1)}$, with sharper statements under tameness and equality cases linked to Hurwitz surfaces. These bounds unify and generalize lower-genus results from rational curves to a broader holomorphic setting, with implications for functional decompositions, Diophantine geometry, and arithmetic dynamics. The paper also proves the sharpness of the main bound via explicit Hurwitz constructions and discusses consequences for irreducibility versus reducibility of fiber-product components.
Abstract
We give lower bounds for genera of components of fiber products of holomorphic maps between compact Riemann surfaces, extending results on genera of components of algebraic curves of the form $A(x)-B(y)=0,$ where $A$ and $B$ are rational functions.
