Margarida Mendes Lopes, Rita Pardini, Gian Pietro Pirola
备注：
Dedicated to Fabrizio Catanese on the occasion of his 60th birthday. To appear in the special issue of Science of China Ser.A: Mathematics dedicated to him. V2:some typos have been corrected
We carry out an analysis of the canonical system of a minimal complex surface of general type with irregularity q>0. Using this analysis we are able to sharpen in the case q>0 the well known Castelnuovo inequality K^2>=3p_g+q-7. Then we turn to the study of surfaces with p_g=2q-3 and no fibration onto a curve of genus >1. We prove that for q>=6 the canonical map is birational. Combining this result with the analysis of the canonical system, we also prove the inequality: K^2>=7χ+2. This improves an earlier result of the first and second author [M.Mendes Lopes and R.Pardini, On surfaces with p_g=2q-3, Adv. in Geom. 10 (3) (2010), 549-555].
We classify all the effective anticanonical divisors on weak del Pezzo surfaces. Through this classification we obtain the smallest number among the log canonical thresholds of effective anticanonical divisors on a given Gorenstein canonical del Pezzo surface.
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.$
We investigate the structure of geometrically ruled surfaces whose anti-canonical class is big. As an application we show that the Picard group of a normal projective surface whose anti-canonical class is nef and big is a free abelian group of finite rank.
A canonically fibered surface is a surface whose canonical series maps it to a curve. Using Miyaoka-Yau inequality, A. Beauville proved that a canonically fibered surface has relative genus at most 5 when its geometric genus is sufficiently large. G. Xiao further conjectured that the relative genus cannot exceed 4. We give a proof of this conjecture.
In this note, we construct two minimal surfaces of general type with geometric genus p_g= 3, irregularity q = 0, self-intersection of the canonical divisor K^22 =20,24 such that their canonical map is of degree 20. In one of these surfaces, the canonical linear system has a non-trivial fixed part. These surfaces, to our knowledge, are the first examples of minimal surfaces of general type with canonical map of degree 20.
We explicit some general properties regarding surfaces with Prym-canonical hyperplane sections and the geometric genus of their possible singularities. Moreover, we construct new examples of this type of surfaces.
We give an algorithm that, for a given value of the geometric genus $p_g,$ computes all regular product-quotient surfaces with abelian group that have at most canonical singularities and have canonical system with at most isolated base points. We use it to show that there are exactly two families of such surfaces with canonical map of degree $32$. We also construct a surface with $q=1$ and canonical map of degree $24$. These are regular surfaces with $p_g=3$ and base point free canonical system. We discuss the case of regular surfaces with $p_g=4$ and base point free canonical system.
In this paper, we classified the surfaces whose canonical maps are abelian covers over $\mathbb{P}^2$. Moveover, we construct a new Campedelli surface with fundamental group $\mathbb{Z}_2^{\oplus 3}$ and give defining equations for Perssson's surface and Tan's surfaces with odd canonical degrees explicitly.
Extending the description of canonical rings from \cite{reid78} we show that every Gorenstein stable Godeaux surface with torsion of order at least $3$ is smoothable.
We prove a conjecture due to V.V. Shokurov on the boundedness of $ε$-log canonical complements on surfaces. As an application we give a new proof to the boundedness of weak log Fano surfaces.
In the present paper, we study the (twisted) 3-canonical map of varieties of Albanese fiber dimension one. Based on a theorem about the regularity of direct image of canonical sheaves, we prove that the 3-canonical map is generically birational when the genus of a general fiber of the Albanese map is 2.
We construct a complex algebraic surface with geometric genus $p_g=3$, irregularity $q=0$, self-intersection of the canonical divisor $K^2=24$ and canonical map of degree $24$ onto $\mathbb P^2$.
We construct a surface of general type with canonical map of degree 12 which factors as a triple cover and a bidouble cover of $\mathbb P^2$. We also show the existence of a smooth surface with $q=0,$ $χ=13$ and $K^2=9χ$ such that its canonical map is either of degree 3 onto a surface of general type or of degree 9 onto a rational surface.
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 surface of minimal degree.
We characterize property $(N_p)$ on a polarized surface $(X,L)$ with trivial canonical bundle in terms of the (non)existence of certain forbidden subvarieties of $X$.
We give a classification of the dual graphs of the exceptional divisors on the minimal resolutions of log canonical foliation singularities on surfaces. For an application, we show the set of foliated minimal log discrepancies for foliated surface triples satisfies the ascending chain condition and a Grauert-Riemenschneider type vanishing theorem for foliated surfaces with good log canonical foliation singularities.
We classify completely the surfaces of general type whose canonical map is 3-to-1 onto a surface of minimal degree in projective space. These surfaces fall into 5 distinct classes and we give explicit examples belonging to each of these classes. As far as we know, one of the examples thus constructed was unknown and it is a surface whose canonical system has two infinitely near base points.
We show that the second fundamental form of the Prym map lifts the second gaussian map of the Prym-canonical bundle. We prove, by degeneration to binary curves, that this gaussian map is surjective for the general point [C,A] of R_g for g > 19.
In this note, we construct nine families of projective complex minimal surfaces of general type having the canonical map of degree 8 and irregularity 0 or 1. For six of these families the canonical system has a non trivial fixed part.
We prove the existence of canonical scrolls; that is, scrolls playing the role of canonical curves. First of all, they provide the geometrical version of Riemann Roch Teorem: any special scroll is the projection of a canonical scroll and they allow to understand the classification of special scrolls in P3. Canonical scrolls correspond to the projective model of canonical geometrically ruled surfaces over a smooth curve. We also prove that the generic canonical scroll is projectively normal except in the hyperelliptic case and for very particular cases in the nonhyperelliptic situation.
Let $S$ be a nonsingular minimal complex projective surface of general type and the canonical map of $S$ is generically finite. Beauville showed that the geometric genus of the image of the canonical map is vanishing or equals the geometric genus of $S$ and discussed the canonical degrees for these two cases. We generalize his results to nonsingular minimal complex projective threefolds.
Smooth surfaces have finitely generated canonical rings and projective canonical models. For normal surfaces, however, the graded ring of multicanonical sections is possibly nonnoetherian, such that the corresponding homogeneous spectrum is noncompact. I construct a canonical compactification by adding finitely many non-Q-Gorenstein points at infinity, provided that each Weil divisor is numerically equivalent to a Q-Cartier divisor. Similar results hold for arbitrary Weil divisors instead of the canonical class.
In this note, we construct a minimal surface of general type with geometric genus p g = 4, self-intersection of the canonical divisor K^2 = 32 and irregularity q = 1 such that its canonical map is an abelian cover of degree 16 of P^1 x P^1.
This paper proposes a Fujita-type freeness conjecture for semi-log canonical pairs. We prove it for curves and surfaces by using the theory of quasi-log schemes and give some effective very ampleness results for stable surfaces and semi-log canonical Fano surfaces. We also prove an effective freeness for log surfaces.
We describe some methods to compute fundamental groups, (co)homology, and irregularity of semi-log-canonical surfaces. As an application, we show that there are exactly two irregular Gorenstein stable surfaces with $K^2=1$, both of which have $χ(X) = 0$ and $\mathrm{Pic}^0(X)=\mathbb{C}^*$ but different homotopy type.
We give a classification of the log canonical models of elliptic surface pairs consisting of an elliptic fibration, a section, and a weighted sum of marked fibers. In particular, we show how the log canonical models depend on the choice of the weights. We describe a wall and chamber decomposition of the space of weights based on how the log canonical model changes. In addition, we give a generalized formula for the canonical bundle of an elliptic surface with section and marked fibers. This is the first step in constructing compactifcations of moduli spaces of elliptic surfaces using the minim…
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 canonical map of degree 27. As a by-product, we get equations (over a finite field) for the $\mathbb Z/3$-invariant fibres of the Albanese fibration of the Cartwright-Steger surface and show that they are smooth.
In this note we present examples of complex algebraic surfaces of general type with canonical maps of degree $10$, $11$ and $14$. They are constructed as quotients of a product of two Fermat septics using certain free actions of the group $\mathbb Z_7^2$.
The "canonical dimension" of an algebraic group over a field by definition is the maximum of the canonical dimensions of principal homogenous spaces under that group. Over a field of characteristic zero, we prove that the canonical dimension of the projective linear group PGL_6 is 3. We give two distinct proofs, both of which rely on the birational classification of rational surfaces over a nonclosed field. One of the proofs involves taking a novel look at del Pezzo surfaces of degree 6.
In this note, we construct some minimal smooth surfaces of general type with canonical map of degree $ 13, 15, 17, 18, 21, 22 $. These surfaces are constructed as $ \mathbb{Z}_{3}^2$-covers of a blow-up of $ \mathbb{P}^1 \times \mathbb{P}^1 $.
In this paper, we prove the boundedness of foliated surfaces $(X,\mathscr{F})$ which are minimal partial du Val resolutions of canonical models $(X_c,\mathscr{F}_c)$ of general type. For applications, we show the boundedness of non-cusp singularities on canonical models of foliated surfaces of general type and the effective generation on the complement of the cusp singularities.
We extend fundamental inequalities related to the canonical map of surfaces of general type to positive characteristic. Next, we classify surfaces on the Noether lines, i.e., even and odd Horikawa surfaces, in positive characteristic. We describe their moduli spaces and the subspaces formed by surfaces whose canonical maps are inseparable. Moreover, we compute their Betti-, deRham- and crystalline cohomology. Finally, we prove lifting to characteristic zero and show that the moduli spaces are topologically flat over the integers.
It has been conjectured that the optimal canonical degree of a minimal surface of general type is 36, from a work in the 70's of Beauville who proved that 36 was an upper bound. The highest canonical degree known for the problem was 16 by Persson in 1978. The purpose of this article is to confirm the conjecture by providing an explicit surface.
We construct three sequences of regular surfaces of general type with unbounded numerical invariants whose canonical map is 2-to-1 onto a canonically embedded surface. Only sporadic examples of surfaces with these properties were previously known.
We point out an interesting relation between hypersurface elliptic singularities and log Enriques surfaces: with a few exceptions, every hypersurface elliptic singularity define some klt log Enriques surface $(S,Diff)$. In many cases, the log canonical cover of $(S,Diff)$ is a Du Val K3 surface with ``large'' nonsymplectic automorphism group.
The present work deals with the canonical map of smooth, compact complex surfaces of general type in a polarization of type $(1,2,2)$ on an abelian threefold. A natural and classical question is whether the canonical system of such surfaces is very ample in the general case. In this work, we provide a positive answer to this question. First, we describe the structure of the canonical map of those smooth ample surfaces of type $(1,2,2)$ in an abelian threefold which are bidouble cover of principal polarizations. Then, we study the general behavior of the canonical map of general ample surfaces …
We classify log-canonical pairs $(X, Δ)$ of dimension two with $K_X+Δ$ an ample Cartier divisor with $(K_X+Δ)^2=1$, giving some applications to stable surfaces with $K^2=1$. A rough classification is also given in the case $Δ=0$.
We prove by degeneration to Prym-canonical binary curves that the first Gaussian map of the Prym canonical line bundle $ω_C \otimes A$ is surjective for the general point [C,A] of R_g if g >11, while it is injective if g < 12.
We prove that the canonical cover of an Enriques surface does not admit non-trivial Fourier-Mukai partners. We also show that the canonical cover of a bielliptic surface has at most one non-isomorphic Fourier-Mukai partner. The first result is then applied to birational Hilbert schemes of points and the second to birational generalised Kummer varieties. An appendix establishes that there are no exceptional or spherical objects in the derived category of a bielliptic surface.
In this note we present examples of complex algebraic surfaces with canonical maps of degree $12$, $13$, $15$, $16$ and $18$. They are constructed as quotients of a product of two curves of genus $10$ and $19$ using certain non-free actions of the group $S_3\times \mathbb Z_3^2$. To our knowledge there are no other examples in literature of surfaces with canonical map of degree $13$, $15$ and $18$.
Semi-log canonical varieties are a higher-dimensional analogue of stable curves. They are the varieties appearing as the boundary $Δ$ of a log canonical pair $(X,Δ)$, and also appear as limits of canonically polarized varieties in moduli theory. For certain three-fold pairs $(X,Δ)$ we show how to compute the PL homeomorphism type of the dual complex of a dlt minimal model directly from the normalization data of $Δ$.
In this note we provide a two-dimensional family of smooth minimal threefolds of general type with canonical map of degree 96, improving the previous known bound of 72.
It is shown that the log-canonical threshold of a curve with an isolated singularity is computed by the term ideal of the curve in a suitable system of local parameters at the singularity. The proof uses the Enriques diagram of the singularity and shows that the log-canonical threshold depends only on a non-degenerate path of that diagram.
Let X be a minimal complex surface of general type such that its image via the canonical map is a surface; we denote by d the degree of the canonical map. In this expository work, first of all we recall the known possibilities for the canonical image and for d when the canonical map is not birational, which are quite a few, and then we consider the question of producing concrete examples for all of them. We present the two main methods of construction of such examples and we give several instances of their application. We end the paper outlining the state of the art on this topic and raising s…
In this paper we propose an approach to investigate the canonical rings of surfaces of general type whose canonical system has isolated base points and yields a birational map onto its image. We apply then the method in the concrete case of surfaces with $K^2=7$ and $p_g=4$, where we give three different descriptions of the canonical ring (under the presence of base points). The main result in the paper consists in showing an explicit deformation of the above canonical rings to the canonical rings of surfaces whose canonical system has no base points (the latter were already classified by the …
We shall study minimal complex surfaces with $c^2 = 9$ and $χ=5$ whose canonical classes are divisible by $3$ in the integral cohomology groups, where $c_1^2$ and $χ$ denote the first Chern number of an algebraic surface and the Euler characteristic of the structure sheaf, respectively. The main results are a structure theorem for such surfaces, the unirationality of the moduli space, and a description of the behavior of the canonical map. As a byproduct, we shall also rule out a certain case mentioned in a paper by Ciliberto--Francia--Mendes Lopes. Since the irregularity $q$ vanishes for our …
We study the moduli space of minimal surfaces of general type with $K_S^2 = 1$ and $p_g = 2$ and show that it is irreducible, has dimension $28$ and admits a compactification which is unirational.
We prove the Bertram-Feinberg-Mukai conjecture for a generic curve $C$ of genus $g$ and a semistable vector bundle $E$ of rank two and determinant $K$ on $C$, namely we prove the injectivity of the Petri-canonical map $S^2(H^0(E))\to H^0(S^2(E))$.
We prove a global Torelli theorem for pairs (Y,D), where Y is a smooth projective rational surface and D is an effective anti-canonical divisor which is a cycle of rational curves. This Torelli theorem was conjectured by Friedman in 1984. In addition, we construct natural universal families for such pairs.
