On the classification of product-quotient surfaces with $q=0$, $p_g=3$ and their canonical map

TL;DR

This paper develops an algorithm to classify regular product-quotient surfaces of general type with specific invariants, providing a comprehensive classification for certain cases and exploring their canonical maps with new examples.

Contribution

It introduces an algebraic characterization and an algorithm for classifying regular product-quotient surfaces with given invariants, and analyzes their canonical maps with new examples.

Findings

Classification of all regular product-quotient surfaces with 23 ≤ K^2 ≤ 32 and χ=4.

Development of an algorithm for surfaces with fixed invariants.

New examples of surfaces with high-degree canonical maps.

Abstract

In this work we present new results to produce an algorithm that returns, for any fixed pair of natural integers $K^2$ and $\chi$, all regular surfaces $S$ of general type with self-intersection $K_S^2=K^2$ and Euler characteristic $\chi(\mathcal O_S)=\chi$, that are product-quotient surfaces. The key result we obtain is an algebraic characterization of all families of regular product-quotients surfaces, up to isomorphism, arising from a pair of $G$-coverings of $\mathbb P^1$. As a consequence of our work, we provide a classification of all regular product-quotient surfaces of general type with $23\leq K^2\leq 32$ and $\chi(\mathcal O_S)=4$. Furthermore, we study their canonical map and present several new examples of surfaces of general type with a high degree of the canonical map.