Related papers: A Minimal Model Program for $\mathbb{Q}$-Gorenstei…

We prove existence of flips for log canonical foliated pairs of rank one on a Q-factorial projective klt threefold. This, in particular, provides a proof of the existence of a minimal model for a rank one foliation on a threefold for a…

Varieties with log terminal and log canonical singularities are considered in the Minimal Model Program, see \cite{...} for introduction. In \cite{shokurov:hyp} it was conjectured that many of the interesting sets, associated with these…

We give an alternative proof of the existence of the anticanonical minimal model program for potentially klt pairs, assuming the anticanonical divisor admits a birational Zariski decomposition. Moreover, we establish a structure theorem…

Let $f: Y\to X$ be a morphism between smooth complex quasi-projective varieties and $Z$ be the closure of $f(Y)$ with $\iota: Z\to X$ the inclusion map. We prove that a. for any field $K$, there exist finitely many semisimple…

Motivated by a recent result of Yoshino, and the work of Bergh on reducible complexity, we introduce reducing versions of invariants of finitely generated modules over commutative Noetherian local rings. Our main result considers modules…

Let $\varphi\colon R \rightarrow A$ be a finite ring homomorphism, where $R$ is a two-sided Noetherian ring, and let $M$ be a finitely generated left $A$-module. Under suitable homological conditions on $A$ over $R$, we establish a close…

Let $(R,\mathfrak{m})$ be a commutative Noetherian local ring which contains a regular sequence $ \underline{x} = x_1,\ldots,x_d \in \mathfrak{m} \smallsetminus \mathfrak{m}^2 $ such that $ \mathfrak{m}^3 \subseteq (\underline{x}) $. Let $…

We survey recent progress on the birational geometry of foliations on complex varieties. We focus on the MMP viewpoint: singularities, adjunction and applications to the MMP for foliations on surfaces and to the existence of flips on…

We list combinatorial criteria of some singularities, which appear in the Minimal Model Program or in the study of (singular) Fano varieties, for spherical varieties. Most of the results of this paper are already known or are quite easy…

We prove that termination of lower dimensional flips for generalized klt pairs implies termination of flips for log canonical generalized pairs with a weak Zariski decomposition. Moreover, we prove that the existence of weak Zariski…

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 construct a normal projective $\mathbb{Q}$-Gorenstein surface over an algebraically closed field whose canonical ring is not finitely generated. Moreover, we provide a counterexample to the minimal model program for…

Given an NQC log canonical generalized pair $(X,B+M)$ whose underlying variety $X$ is not necessarily $\mathbb{Q}$-factorial, we show that one may run a $(K_X+B+M)$-MMP with scaling of an ample divisor which terminates, provided that…

Let $\overline{\mathcal{O}}_\textrm{min} \cap (\mathfrak n^+ \oplus \mathfrak n^-)$ be the collection of elements of $\mathfrak{sl}_{n+1}(\mathbb C)$ with rank less than or equal to $1$ and with all diagonal entries equal to zero. We show…

We discuss the relative log minimal model theory for log surfaces in the analytic setting. More precisely, we show that the minimal model program, the abundance theorem, and the finite generation of log canonical rings hold for log pairs of…

Nakayama showed that deformation invariance of plurigenera for smooth complex varieties follows from the MMP and Abundance Conjectures. We generalize his result to families of singular pairs over DVRs of positive or mixed characteristic. As…

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 prove several conjectures relating the existence of nonvanishing 1- forms to smooth morphisms over abelian varieties, assuming the existence of good minimal models. The proof involves a decomposition result for a family of Calabi-Yau…

Termination analysis of linear loops plays a key r\^{o}le in several areas of computer science, including program verification and abstract interpretation. Already for the simplest variants of linear loops the question of termination…

We reprove and generalize the result that the intersection cohomology groups of a toric variety with coefficient in a nontrivial rank one local system vanish. We prove a similar vanishing result for a certain class of varieties on which a…