In this paper the log surfaces without $\QQ$-complement are classified. In particular, they are non-rational always. This result takes off the restriction in the theory of complements and allows one to apply it in the most wide class of log surfaces.
More strong version of the main inductive theorem about the complements on surfaces is proved and the models of exceptional log del Pezzo surfaces with $δ=0$ are constructed
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 this paper, we generalise the theory of complements to log canonical log fano varieties and prove boundedness of complements for them in dimension less than or equal to 3. We also prove some boundedness results for the canonical index of sdlt log Calabi-Yau varieties in dimension 2.
We expand the theory of log canonical $3$-fold complements. We prove that if $X\rightarrow T$ is a $3$-dimensional contraction of log Calabi-Yau type, then we can find $B\geq 0$ on $X$ for which $(X,B)$ is log canonical and $n(K_X+B)\sim_T 0$, where $n$ is an uniform natural number. This means that every $3$-fold of log Calabi-Yau type can be turned into a log Calabi-Yau pair in an effective way.
We study the relationship between Iitaka fibrations and the conjecture on the existence of complements, assuming the good minimal model conjecture. In one direction, we show that the conjecture on the existence of complements implies the effective log Iitaka fibration conjecture. As a consequence, the effective log Iitaka fibration conjecture holds in dimension $3$. In the other direction, for any Calabi-Yau type variety $X$ such that $-K_X$ is nef, we show that $X$ has an $n$-complement for some universal constant $n$ depending only on the dimension of $X$ and two natural invariants of a gene…
In this note, we will show that delta invariant of a log Fano pair can be approximated by lc places of complements of plt type if it is no greater than one. Give a log Fano pair with delta invariant no greater than one, under the assumption that delta invariant of the log Fano pair can be approximated by lc places of bounded complements of plt type, we show the existence of the divisorial valuation computing delta invariant of this log Fano pair.
We prove the existence of $n$-complements for pairs with DCC coefficients and the ACC for minimal log discrepancies of exceptional singularities. In order to prove these results, we develop the theory of complements for real coefficients. We introduce $(n,Γ_0)$-decomposable $\mathbb{R}$-complements, and show its existence for pairs with DCC coefficients.
The main result of the paper is a boundedness for $n$-complements on algebraic surfaces. In addition, applications of this theorem to a classification of log Del Pezzo surfaces and of birational contractions for 3-folds are formulated.
We prove boundedness of global strong $(δ,n)$-complements for generalized $ε$-log canonical pairs of Fano type. We also prove some partial results towards boundedness of local strong $(δ,n)$-complements for semi-stable morphisms. As applications, we prove an effective generalized canonical bundle formula for generalized klt pairs and an effective generalized adjunction formula for exceptional generalized log canonical centers. Moreover, we prove that the existence of strong $(δ,n)$-complements implies a conjecture due to M$^{\rm c}$Kernan concerning the singularities of the base of a Mori fibe…
We prove that every log crepant birational morphism between log terminal surfaces is decomposed into log-flopping type divisorial contraction morphisms and log blow-downs. Repeating these two kinds of contractions we reach a minimal log minimal surface from any log minimal surface.
We introduce a conjecture on homological mirror symmetry relating the symplectic topology of the complement of a smooth ample divisor in a K3 surface to algebraic geometry of type III degenerations, and prove it when the degree of the divisor is either 2 or 4.
In this article we prove that every entire curve in the complement of a generic hypersurface of degree $d\geq 586$ in $\mathbb{P}_{\mathbb{C}}^{3}$ is algebraically degenerate i.e there exists a proper subvariety which contains the entire curve.
This paper is the second in a series of three papers concerning the surface T times T, where T is a complex torus. We compute the fundamental group of the branch curve of the surface in C^2, using the van Kampen Theorem and the braid monodromy factorization of the curve.
We discuss the log minimal model theory for log surfaces. We show that the log minimal model program, the finite generation of log canonical rings, and the log abundance theorem for log surfaces hold true under assumptions weaker than the usual framework of the log minimal model theory.
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.
Log Enriques surface is a generalization of K3 and Enriques surface. We will classify all the rational log Enriques surfaces of rank 18 by giving concrete models for the realizable types of these surfaces.
A normal projective non-Gorenstein log-terminal surface $S$ is called a log del Pezzo surface of index three if the three-times of the anti-canonical divisor $-3K_S$ is an ample Cartier divisor. We classify all of the log del Pezzo surfaces of index three. The technique for the classification based on the argument of Nakayama.
Log del Pezzo surfaces play the role of the opposite of surfaces of general type. We will completely classify all the log del Pezzo surfaces of rank 2 and Cartier index 3 with a unique singularity.
In this paper, we study $\mathbb{A}^1$ curves on log K3 surfaces. We classify all genuine log K3 surfaces of type II which admits countably infinite $\mathbb{A}^1$ curves.
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.
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 use classification of non-symplectic automorphisms of K3 surfaces to obtain a partial classification of log del Pezzo surfaces of index three. We can classify those with "Multiple Smooth Divisor Property", whose definition we will give. Our methods include the definition of right resolutions of quotient singularities of index three and some analysis of automorphism-stable elliptic fibrations on K3 surfaces. In particular we find several log del Pezzo surfaces of Picard number one with non-toric singularities of index three.
This paper is an announcement of the minimal model theory for log surfaces in all characteristics and contains some related results including a simplified proof of the Artin-Keel contraction theorem in the surface case.
We introduce the notion of generalized MR log canonical surfaces and establish the minimal model theory for generalized MR log canonical surfaces in full generality.
In this paper, combining the works of Miyanishi-Tsunoda and Keel-McKernan, we prove the log Castelnuovo's rationality criterion for smooth quasiprojective surfaces over complex numbers.
This paper will appear in the Santa Cruz proceedings. An overview of the braid group techniques in the theory of algebraic surfaces, from Zariski to the latest results, is presented. An outline of the Van Kampen algorithm for computing fundamental groups of complements of curves and the modification of Moishezon-Teicher regarding branch curves of generic projections are given. The paper also contains a description of a quotient of the braid group, namely $\tilde B_n$ which plays an important role in the description of fundamental groups of complements of branch curves.It turns out that all suc…
For a log del Pezzo surface $S$, the fractional index $r(S)\in\mathbb{Q}_{>0}$ is the maximum of $r$ with which $-K_S$ can be written as $r$ times some Cartier divisor. We classify all the log del Pezzo surfaces $S$ with $r(S)\geq 1/2$, after the technique of Nakayama.
We give an optimal upper bound for the anti-canonical volume of an $ε$-lc weak log del Pezzo surface. Moreover, we consider the relation between the bound of the volume and the Picard number of the minimal resolution of the surface. Furthermore we consider blowing up several points on a Hirzebruch surface in general position and give some examples of smooth weak log del Pezzo surfaces.
In this paper, we first present the complete list of the singularity types of the Picard number one Gorenstein log del Pezzo surface and the number of the isomorphism classes with the given singularity type. Then we give out a method to find out all singularity types of Gorenstein log del Pezzo surface. As an application, we present the complete list of the Dynkin type of the Picard number two Gorenstein log del Pezzo surfaces. Finally we present the complete list of the singularity type of the relatively minimal Gorenstein log del Pezzo surface and the number of the isomorphism classes with t…