The paper studies curves in algebraic geometry, specifically hyperbolic curves, which are curves with enough "holes" or complexity to have rich mathematical structure. The central question is whether, given a curve and a finite collection of special points on it, one can find a systematic family of curves built over the original one such that the curves sitting above those special points are all genuinely different from each other in a precise algebraic sense. The measure of "different" used here involves objects called Jacobians, which are algebraic structures encoding how cycles on a curve behave, and the requirement is that these Jacobians should be non-isogenous, meaning they share no meaningful algebraic relationship with one another.
The main result confirms that this separation is indeed achievable, though you may first need to pass to a finite covering space of the original curve. This covering step is a common technical maneuver in algebraic geometry: sometimes a statement that fails for a given curve becomes true once you replace it with a finite-sheeted cover, which is a related curve that maps down to the original one in a controlled way. The proof works over algebraically closed fields of characteristic zero, such as the complex numbers, and uses tools from the theory of abelian varieties and the structure of moduli spaces, which are spaces that parametrize geometric objects.
As a secondary contribution, the authors apply their separation result to a problem about Galois sections. In arithmetic geometry, a Galois section is a way of lifting the action of a field's symmetry group through the fundamental group of a curve, and understanding which sections arise from actual rational points is a deep open problem known as the section conjecture. The results of this paper provide new leverage on questions in that area by showing that certain algebraic invariants can be used to distinguish points, which is a step toward understanding the relationship between geometric and arithmetic data on curves.