Related papers: A base point free theorem for log canonical surfac…
We generalize Nakamaye's description, via intersection theory, of the augmented base locus of a big and nef divisor on a normal pair with log-canonical singularities or, more generally, on a normal variety with non-lc locus of dimension at…
We derive a straightening-free algorithm that computes the canonical bases of any higher-level q-deformed Fock space.
We propose a new formulation of a vanishing theorem for surfaces. Although this vanishing theorem follows easily from the well-known Kawamata--Viehweg vanishing theorem, it turns out to be remarkably useful. In particular, it is sufficient…
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…
In this paper, we prove that given a flat generically smooth morphism between smooth projective varieties with $F$-pure closed fibers, if the source space is Fano, weak Fano or a variety with the nef anti-canonical divisor, then so is the…
We study global log canonical thresholds of del Pezzo surfaces.
We give the new effective criterion for the global generation of the adjoint bundle on normal surfaces with a boundary. We could make the invariant \delta small a bit more on log-terminal singular point, and then we could prove the theorem…
We define the big crystalline site for a log scheme and prove the basic properties. In particular, we show the boundedness, base change, and perfectness theorems for the crystalline higher direct image of quasi-coherent crystals between…
A broadly applicable geometric approach for constructing nef divisors on blow ups of algebraic surfaces at n general points is given; it works for all surfaces in all characteristics for any n. This construction is used to obtain…
In this paper we prove a result on the effective generation of pluri-canonical linear systems on foliated surfaces of general type. Fix a function $P: \mathbb Z_{\geq 0}\to \mathbb Z $, then there exists an integer $N_1>0$ such that if…
We prove that the non-vanishing conjecture and the log minimal model conjecture for projective log canonical pairs can be reduced to the non-vanishing conjecture for smooth projective varieties such that the boundary divisor is zero.
We prove a conjecture due to V.V. Shokurov on the boundedness of $\epsilon$-log canonical complements on surfaces. As an application we give a new proof to the boundedness of weak log Fano surfaces.
We show that the anti-canonical bundle of any $\mathbb Q$-factorial surface is numerically effective if and only if it is pseudo-effective. To prove this, we establish a numerical non-vanishing theorem for surfaces polarized with…
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…
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…
We study base-point-freeness for big and nef line bundles on hyperk\"ahler manifolds of generalized Kummer type: For $n\in \{2,3,4\}$, we show that, generically in all but a finite number of irreducible components of the moduli space of…
The LCS locus is an essential ingredient in the proof of fundamental results of Log Minimal Model Program, such as nonvanishing and base point freeness theorems. We prove in this paper that the LCS locus of a log canonical variety has…
Let $\mathcal{E}_{f}:y^2=x^3+f(t)x$, where $f\in\Q[t]\setminus\Q$, and let us assume that $\op{deg}f\leq 4$. In this paper we prove that if $\op{deg}f\leq 3$, then there exists a rational base change $t\mapsto\phi(t)$ such that on the…
We prove the Kawamata-Viehweg vanishing theorem for a large class of divisors on surfaces in positive characteristic. By using this vanishing theorem, Reider-type theorems and extension theorems of morphisms for normal surfaces are…
We start the classification of smooth projective threefolds X whose anticanonical bundles -K_X are big and nef but not ample. In this paper we treat the case b_2(X) = 2 and the morphism associated with the base point free linear system…