Related papers: Effective basepoint-free theorem for semi-log cano…

Working in point-free topology under the constraints of geometric logic, we prove the Fundamental Theorem of Calculus, and apply it to prove the usual rules for the derivatives of $x^\alpha$, $\gamma^x$, and $\log_\gamma x$.

We prove a generalization of the Fujita-Kawamata-Zuo semi-positivity Theorem for filtered regular meromorphic Higgs bundles and tame harmonic bundles. Our approach gives a new proof in the cases already considered by these authors. We give…

In this article, we investigate some properties of cyclic coverings of complex surfaces of general type branched along smooth curves that are numerically equivalent to a multiple of the canonical class. The main results concern coverings of…

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 $\delta=0$ are constructed

If the log canonical divisor on a projective variety with only Kawamata log terminal singularities is numerically equivalent to some semi-ample $\mathbf{Q}$-divisor, then it is semi-ample.

We prove the boundedness theorem for Fano threefolds with log-terminal singularities of any fixed index. This is an improvement of our earlier result, where we required additionally that the variety is Q-factorial, with Picard number 1. The…

We discuss the cone theorem for quasi-log schemes and the Mori hyperbolicity. In particular, we establish that the log canonical divisor of a Mori hyperbolic projective normal pair is nef if it is nef when restricted to the non-lc locus.…

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…

We prove the abundance conjecture for projective slc surfaces over arbitrary fields of positive characteristic. The proof relies on abundance for lc surfaces over abritrary fields, proved by Tanaka, and on the technique of Hacon and Xu to…

Motivated by the study of Fano type varieties we define a new class of log pairs that we call asymptotically log Fano varieties and strongly asymptotically log Fano varieties. We study their properties in dimension two under an additional…

In this paper we prove that the generalized version of the Minimal Resolution Conjecture stated by Mustata holds for certain general sets of points on a smooth cubic surface $X \subset \mathbb{P}^3$. The main tool used is Gorenstein liaison…

We prove the finiteness of relative log pluricanonical representations in the complex analytic setting. As an application, we discuss the abundance conjecture for semi-log canonical pairs within this framework. Furthermore, we establish the…

Semi-log canonical varieties are a higher-dimensional analogue of stable curves. They are the varieties appearing as the boundary $\Delta$ of a log canonical pair $(X,\Delta)$, and also appear as limits of canonically polarized varieties in…

For abelian surfaces of Picard rank 1, we perform explicit computations of the cohomological rank functions of the ideal sheaf of one point, and in particular of the basepoint-freeness threshold. Our main tool is the relation between…

We show that the Sarkisov program holds for $\mathbb{Q}$-factorial log surfaces and log canonical surfaces over any algebraically closed field.

We prove Fujita's log spectrum conjecture. It follows from the ACC of a suitable set of pseudo-effective thresholds.

In this paper we study smooth projective rational surfaces, defined over an algebraically closed field of any characteristic, with pseudo-effective anticanonical divisor. We provide a necessary and sufficient condition in order for any nef…

We discuss lengths of extremal rational curves, Fujita's freeness, and the Kodaira vanishing theorem for log canonical toric foliated pairs.

Using log geometry, we study smoothability of genus zero twisted stable maps to stacky curves relative to a collection of marked points. One application is to smoothing semi-log canonical fibered surfaces with marked singular fibers.

In this paper, we proved that a log smooth family of log general type klt pairs with a special (in the sense of Campana) quasi-projective base is isotrivial. As a consequence, we proved the generalized Kebekus-Kov\'acs conjecture…