Pluricanonical Geometry of Varieties Isogenous to a Product and Abelian Covers

TL;DR

This paper investigates the properties of pluricanonical maps of varieties isogenous to a product, providing a decomposition theorem for abelian covers and establishing birationality results for threefolds, along with explicit examples and computational classifications.

Contribution

It introduces a decomposition theorem for pluricanonical systems of abelian covers and applies it to study the birationality of pluricanonical maps of varieties isogenous to a product.

Findings

The 4-canonical map of threefolds is birational for p_g ≥ 5.

Constructed examples attain maximal canonical degree with isolated non-normal singularities.

Computational classifications show non-birational bicanonical maps without genus-2 fibrations.

Abstract

We study canonical and pluricanonical maps of varieties isogenous to a product of curves, i.e., quotients of the form $X = (C_1 \times \dots \times C_n)/G$ with $g(C_i)\ge 2$ and $G$ acting freely. For this purpose, we provide a technical result which is of general interest: a decomposition theorem for pluricanonical systems of abelian covers. This theorem provides an effective tool for the explicit study of geometric properties, such as base loci and the birationality of pluricanonical maps. For threefolds isogenous to a product, we prove that the 4-canonical map is birational for $p_g \ge 5$ and construct an example attaining the maximal canonical degree for this class of threefolds. In this example, the canonical map is the normalization of its image, which admits isolated non-normal singularities. Computational classifications also reveal threefolds where the bicanonical map fails to be birational, even in the absence of genus-2 fibrations. This illustrates an interesting phenomenon similar to the non-standard case for surfaces.