Related papers: A journey from the octonionic $\mathbb P^2$ to a f…
We study a family of surfaces of general type with $p_g=q=2$ and $K^2=7$, originally constructed by C. Rito. We provide an alternative construction of these surfaces, that allows us to describe their Albanese map and the corresponding locus…
We call a projective surface $X$ mixed quasi-\'etale quotient if there exists a curve $C$ of genus $g(C)\geq 2$ and a finite group $G$ that acts on $C\times C$ exchanging the factors such that $X=(C\times C)/G$ and the map $C\times C…
We construct the first exotic $\mathbb C \mathbb P^2 \# 4 \overline{\mathbb C \mathbb P^2}$ by means of rational blowdowns. Similarly, we construct the first exotic $3\mathbb C \mathbb P^2 \# b^- \overline{\mathbb C \mathbb P^2}$ for…
We construct a 4-dimensional family of surfaces of general type with p_g=0 and K^2=3 and fundamental group Z/2xQ_8, where Q_8 is the quaternion group. The family constructed contains the Burniat surfaces with K^2=3. Additionally, we…
We classify the minimal algebraic surfaces of general type with $p_g=q=1, K^2=8$ and bicanonical map of degree 2. It will turn out that they are isogenous to a product of curves, so that if $S$ is such a surface then there exist two smooth…
Let R be a commutative ring with 1. For every homogeneous polynomial f(X_0,X_1,X_2) in R[X_0,X_1,X_2] of degree d <= 25, we find a explicit linear Pfaffian R-representation of f. We describe an empirical method that leads us to find such…
A Q-homology plane is a normal complex algebraic surface having trivial rational homology. We obtain a structure theorem for Q-homology planes with smooth locus of non-general type. We show that if a Q-homology plane contains a non-quotient…
We show, for several fake projective planes with nontrivial automorphism group, that the bicanonical map is an embedding.
We use the Borisov-Keum equations of a fake projective plane and the Borisov-Yeung equations of the Cartwright-Steger surface to show the existence of a regular surface with canonical map of degree 36 and of an irregular surface with…
We construct a new family of minimal surfaces of general type with $p_g=q=2$ and $K^2=6$, whose Albanese map is a quadruple cover of an abelian surface with polarization of type $(1,3)$. We also show that this family provides an irreducible…
I construct "fake algebraic curves" in $Cp^2$. More precisely, for any k>2, I construct infinitely many pairwise smoothly non-isotopic (and moreover not ambient diffeomorphic) smooth surfaces $F\subset Cp^2$ homeomorphic to a non-singular…
In this paper we construct a new family of simply connected minimal complex surfaces of general type with $p_g=1$, $q=0$, and $K^2=3, 4, 5, 6, 8$ using a $\mathbb{Q}$-Gorenstein smoothing theory. We also reconstruct minimal complex surfaces…
In this article we construct three new families of surfaces of general type with p_g = q = 0,K^2 = 6, and seven new families of surfaces of general type with p_g = q = 1, K^2 = 6, realizing 10 new fundamental groups. We also show that these…
We construct exceptional collections of maximal length on four families of surfaces of general type with $p_g=q=0$ which are isogenous to a product of curves. From these constructions we obtain new examples of quasiphantom categories as…
In this note we construct an unlimited family of irregular algebraic surfaces of general type with canonical map of degree $ 8 $, irregularity $ 1 $ and arbitrarily large geometric genus such that the image of the canonical map is not a…
An affine factorable surface of the second kind in the three dimensional pseudo-Galilean space G13 is studied depending on the invariant theory and theory of differential equation. The first and second fundamental forms, Gaussian curvature…
We construct a surface with irregularity $q=2,$ geometric genus $p_g=3,$ self-intersection of the canonical divisor $K^2=16$ and canonical map of degree $16.$
On the projective plane there is a unique cubic root of the canonical bundle and this root is acyclic. On fake projective planes such root exists and is unique if there are no 3-torsion divisors (and usually exists, but not unique,…
We consider $(1,1)$-surfaces, namely, minimal compact complex surfaces $S$ with $p_g (S) =K_S^2=1$: for these the bicanonical map is a covering of degree $4$ of the plane $\mathbb{P}^2$. And we answer a question posed by Meng Chen, whether…
We study a family of surfaces of general type with $p_g=q=2$ and $K^2=7$, originally constructed by Cancian and Frapporti by using the Computer Algebra System MAGMA. We provide an alternative, computer-free construction of these surfaces,…