Abelian varieties are higher-dimensional generalizations of elliptic curves, and they appear naturally in algebraic geometry through a construction called the Jacobian, which encodes the geometry of an algebraic curve. A classical way to build interesting abelian varieties is to start with a covering map between two curves and extract a piece of the Jacobian of the covering curve that is, in a precise sense, complementary to the Jacobian of the base curve. This piece is called a Prym variety. A Prym-Tyurin variety is a broader generalization where the complementary piece satisfies a weaker numerical condition, parameterized by an integer called the exponent.
The paper introduces a new way to construct Prym-Tyurin varieties with odd prime exponent. The starting point is a covering of curves whose symmetry group is a product of two cyclic groups of prime order. Rather than working with the full covering, the authors look at intermediate coverings, which sit between the top and bottom curves in the tower. By carefully choosing which intermediate covering to use, they extract abelian varieties that qualify as Prym-Tyurin varieties. They identify exactly when this works out: most cleanly when the base curve is an elliptic curve, and also in a specific setting involving genus-2 curves and a technical condition called isotropy.
Because the construction is explicit, the authors can analyze the geometry of the resulting Prym-Tyurin varieties in some detail. A key result is that the map sending a covering to its associated Prym-Tyurin variety, which depends on a choice of generating data, is generically finite onto its image. Roughly speaking, this means the construction is not too degenerate: most Prym-Tyurin varieties arising this way come from essentially a finite number of distinct coverings, and the construction genuinely produces a family that fills out a positive-dimensional space in the moduli of abelian varieties.