Related papers: Normal stable degenerations of Noether-Horikawa su…
In this article we prove that Fintushel-Stern's construction of Horikawa surface, which is obtained from an elliptic surface via a rational blow-down surgery in smooth category, can be performed in complex category. The main technique…
Work of Green, Griffiths, Laza, and Robles suggests that the moduli space of (smoothable) stable surfaces should admit a natural stratification defined via Hodge theoretic data. In the case of stable surfaces with $K_X^2 = 1$ and $\chi(X) =…
Smooth minimal surfaces of general type with $K^2=1$, $p_g=2$, and $q=0$ constitute a fundamental example in the geography of algebraic surfaces, and the 28-dimensional moduli space $\mathbf{M}$ of their canonical models admits a modular…
We classify del Pezzo surfaces of Picard number one with log canonical singularities admitting Q-Gorenstein smoothings.
In this paper, a $\mathbb{Q}$HD singularity is a weighted homogeneous normal surface singularity admitting a rational homology disk ($\mathbb{Q}$HD) smoothing. These singularities are rational but often not log canonical. We classify all…
We consider the deformation spaces of some singular product-quotient surfaces $X=(C_1 \times C_2)/G$, where the curves $C_i$ have genus 3 and the group $G$ is isomorphic to $\mathbb{Z}_4$. As a by-product, we give a new construction of…
We show that among simply connected surfaces of general type unirationality is a common feature, even when fixing the positive characteristic or numerical invariants. To do so, we construct unirational Horikawa surfaces in abundance.
We define and study a concrete stratification of the moduli space of Gorenstein stable surfaces $X$ satisfying $K_{X}^2 = 2$ and $\chi(\mathcal{O}_{X}) = 4$, by first establishing an isomorphism with the moduli space of plane octics with…
We prove semi-rationalification and semi-log-canonicalization for Gorenstein demi-normal surfaces. That is, given a Gorenstein demi-normal surface X with semi-rational (respectively, semi-log canonical) singularities in an open set U with…
We construct a normal projective $\mathbb{Q}$-Gorenstein surface over an algebraically closed field whose canonical ring is not finitely generated. Moreover, we provide a counterexample to the minimal model program for…
We study the geography of Gorenstein stable log surfaces and prove two inequalities for their invariants: the stable Noether inequality and the $P_2$-inequality. By constructing examples we show that all invariants are realised except…
We show the properness of the moduli stack of stable surfaces over $\mathbb{Z}[1/30]$, assuming the locally-stable reduction conjecture for stable surfaces. This relies on a local Kawamata--Viehweg vanishing theorem for for 3-dimensional…
As a stable analogue of degenerations, we introduce the notion of stable degenerations for Cohen-Macaulay modules over a Gorenstein local algebra. We shall give several necessary and/or sufficient conditions for the stable degeneration.…
Minimal algebraic surfaces of general type $X$ such that $K^2_X=2\chi(\mathcal{O}_X)-6$ are called Horikawa surfaces. In this note $\mathbb{Z}_3$-actions on Horikawa surfaces are studied. The main result states that given an admissible pair…
We study a useful numerical invariant of normal surface singularities, introduced recently by T. Kawachi. Using this invariant, we give a quick proof of the (well-known) fact that all log-canonical surface singularities are either elliptic…
We study a family of canonically polarized surfaces introduced by Persson, which arise as Galois $G=(\mathbb{Z}/2\mathbb{Z})^4$-covers of $\mathbf{P}^2$ branched along eight general lines. For this family, we construct the compactified…
Consider a normal complex analytic surface singularity. It is called Gorenstein if the canonical line bundle is holomorphically trivial in some punctured neighborhood of the singular point and is called numerically Gorenstein if this line…
We give an explicit description of the Godeaux surfaces that admit an involution such that the quotient surface is birational to an Enriques surface; these surfaces give a 6-dimensional unirational irreducible subset of the moduli space of…
We describe the GIT compactification for the moduli space of smooth quintic surfaces in projective space. In particular, we show that a normal quintic surface with at worst an isolated double point or a minimal elliptic singularity is…
We discuss criteria for a stable map of genus two and degree $4$ to the projective plane to be smoothable, as an application of our modular desingularisation of $\overline{\mathcal M}_{2,n}(\mathbb{P}^r,d)^{\text{main}}$ via logarithmic…