Track new results across pure and applied mathematics.
Search papers, labs, and topics across Lattice.
The authors complete the classification of degree $5 \le n \le 8$ abelian canonical covers over smooth surfaces of minimal degree and Hirzebruch surfaces, extending prior work restricted to $n \le 4$. By determining branch divisor vanishing criteria and the $\mathcal O_W$-module structure of split pushforwards $\pi_*\mathcal O_X$, the paper characterizes the geography of resulting varieties of general type. The authors prove non-existence for prime degrees $n > 3$ and $G = \mathbb Z_8$, while explicitly constructing multiple new infinite families with unbounded geometric genus and discrete slope accumulation points at 6, 8, and $8\alpha/(\alpha+1)$.
Abelian canonical covers of minimal rational surfaces vanish entirely for prime degrees above three and order eight cyclic groups, yet yield infinitely many previously unknown families with unbounded geometric genus under non-cyclic groups like $\mathbb Z_2^3$ and $\mathbb Z_2 \times \mathbb Z_4$.
We classify abelian canonical covers of degree at most $8$ of smooth surfaces of minimal degree, and of $\mathbb P^2$ and Hirzebruch surfaces not embedded as surfaces of minimal degree. Let $π: X \longrightarrow W$ be an abelian canonical cover of a smooth surface of minimal degree $W$ with group $G$ and degree $n$. Degrees $n \le 4$ were classified earlier; we complete the picture for $5 \le n \le 8$: - No such covers exist if $n$ is prime and $n > 3$, nor if $G=\mathbb Z_8$. - For $G=\mathbb Z_6$, $\mathbb Z_2 \times \mathbb Z_2 \times \mathbb Z_2$ and $\mathbb Z_2 \times \mathbb Z_4$ we give the complete list of covers. Only $W =\mathbb P^2$, $\mathbb F_0$ and $\mathbb F_1$ arise. The list contains several families with unbounded $p_g$, most of them new; $X$ is smooth for general covers with $G=\mathbb Z_2 \times \mathbb Z_2 \times \mathbb Z_2$, but singular if $G=\mathbb Z_6$ and, with one exception, if $G=\mathbb Z_2 \times \mathbb Z_4$. When $W$ is $\mathbb P^2$ or a Hirzebruch surface not embedded as a surface of minimal degree, we show that abelian canonical covers exist only for $n = 2$ or for $G =\mathbb Z_2 \times \mathbb Z_2$, and we classify the latter completely: they form infinitely many families, most new, with unbounded $p_g$ and, most of them, with unbounded irregularity. The slopes $K^2/χ$ of all these $X$ accumulate at $6$, at 8, and at $8α/(α+1)$ for every integer $α\ge 2$. These results rest on more general ones, valid for $X$ normal, locally Gorenstein and of arbitrary dimension, and $W$ smooth with $p_g(W) = 0$: we determine which branch divisors of an abelian canonical cover must vanish, and, for canonical covers whose $π_*\mathcal O_X$ splits as a sum of line bundles, we describe the $\mathcal O_W$-module structure of $π_*\mathcal O_X$, computing it completely when $W$ is $\mathbb P^2$ or a Hirzebruch surface.