Involutions on a surface of general type with pg=q=0p_g=q=0, K2=7K^2=7

In this paper we study on the involution on minimal surfaces of general type with $p_g=q=0$ and $K^2=7$. We focus on the classification of the birational models of the quotient surfaces and their branch divisors induced by an involution.Comment: 16 pages, There are small modifications in Introduction and in Section 5. These modifications do not affect our main result of classification (Theorem and Classification Table in Introduction

Deformation of a generically finite map to a hypersurface embedding

Motivated by the theory of Inoue-type varieties, we give a structure theorem for projective manifolds $W_0$ with the property of admitting a 1-parameter deformation where $W_t$ is a hypersurface in a projective smooth manifold $Z_t$. Their structure is the one of special iterated univariate coverings which we call of normal type, which essentially means that the line bundles where the univariate coverings live are tensor powers of the normal bundle to the image $X$ of $W_0$. We give applications to the case where $Z_t$ is projective space, respectively an Abelian variety.Comment: 14 pages, final version to appear on Journal Mathematiques Pures Appliquees (Journal de Liouville

Log minimal model program for the moduli space of stable curves of genus three

In this paper, we completely work out the log minimal model program for the moduli space of stable curves of genus three. We employ a rational multiple $\alpha\delta$ of the divisor $\delta$ of singular curves as the boundary divisor, construct the log canonical model for the pair $(\bar{\mathcal M}_3, \alpha\delta)$ using geometric invariant theory as we vary $\alpha$ from one to zero, and give a modular interpretation of each log canonical model and the birational maps between them. By using the modular description, we are able to identify all but one log canonical models with existing compactifications of $M_3$, some new and others classical, while the exception gives a new modular compactification of $M_3$.Comment: 35 pages, 6 figure

Exceptional collections on Dolgachev surfaces associated with degenerations

Dolgachev surfaces are simply connected minimal elliptic surfaces with $p_g=q=0$ and of Kodaira dimension 1. These surfaces were constructed by logarithmic transformations of rational elliptic surfaces. In this paper, we explain the construction of Dolgachev surfaces via $\mathbb Q$-Gorenstein smoothing of singular rational surfaces with two cyclic quotient singularities. This construction is based on the paper by Lee-Park. Also, some exceptional bundles on Dolgachev surfaces associated with $\mathbb Q$-Gorenstein smoothing are constructed based on the idea of Hacking. In the case if Dolgachev surfaces were of type $(2,3)$, we describe the Picard group and present an exceptional collection of maximal length. Finally, we prove that the presented exceptional collection is not full, hence there exist a nontrivial phantom category in the derived category.Comment: 35 pages; 3 figures; exposition improved; Adv. Math. (to appear

Simply connected surfaces of general type in positive characteristic via deformation theory

Algebraically simply connected surfaces of general type with p_g=q=0 and 1\le K^2\le 4 in positive characteristic (with one exception in K^2=4) are presented by using a Q-Gorenstein smoothing of two-dimensional toric singularities, a generalization of Lee-Park's construction in the field of complex numbers to the positive characteristic case, and Grothendieck's specialization theorem for the fundamental group.Comment: 78 pages, 16 figures, Final version will appear in Proc. London Mat

A construction of Horikawa surface via Q-Gorenstein smoothings

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 involved is Q-Gorenstein smoothings.Comment: 10 pages, some corrections and Proposition 3.1 is adde

The Abel-Jacobi map of the space of conics for double sextic threefolds

Let $X$ be a double cover of $\mathbb P^3$ branched along a sextic surface $Y$. In this paper, we show that, for general $X$, the Abel-Jacobi map associated to the normalization $\tilde F(X)$ of the surface $F(X)$ of curves contained in $X$ which are preimages of lines bitangent to $Y$, gives an isogeny between the Albanese variety of $\tilde F(X)$ and the intermediate Jacobian of $X$.Comment: 16 page

On rational maps from the product of two general curves

This paper treats the dominant rational maps from the product of two very general curves to nonsingular projective surfaces. Combining the result by Bastianelli and Pirola, we prove that the product of two very general curves of genus $g\geq 7$ and $g'\geq 3$ does not admit dominant rational maps of degree $> 1$ if the image surface is non-ruled. We also treat the case of the 2-symmetric product of a curve.Comment: 13 pages; exposition improved; Ann. Sc. Norm. Super. Pisa Cl. Sci. (to appear

Birational contraction of genus two tails in the moduli space of genus four curves I

We show that for $\alpha \in (2/3, 7/10)$, the log canonical model $\bar M_4(\alpha)$ of the pair $(\bar M_4, \alpha \delta)$ is isomorphic to the moduli space $\bar M_4^{hs}$ of h-semistable curves, and that there is a birational morphism $\Xi: \bar M_4^{hs} \to \bar M_4(2/3)$ that contracts the locus of curves $C_1\cup_p C_2$ consisting of genus two curves meeting in a node $p$ such that $p$ is a Weierstrass point of $C_1$ or $C_2$. To obtain this morphism, we construct a compact moduli space $\bar M_{2,1}^{hs}$ of pointed genus two curves that have nodes, ordinary cusps and tacnodes as singularity, and prove that it is isomorphic to Rulla's flip constructed in his thesis

Deformations of product-quotient surfaces and reconstruction of Todorov surfaces via Q\mathbb{Q}-Gorenstein smoothing

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 Todorov surfaces with $p_g=1$, $q=0$ and $2\le K^2\le 8$ by using $\mathbb{Q}$-Gorenstein smoothings.Comment: 21 pages, Minor changes are made. It will apper in Advanced Studies in Pure Mathematics (Proceeding of Algebraic Geometry in East Asia, Taipei