Related papers: On the relative Minimal Model Program for threefol…
We extend the Cone Theorem of the Log Minimal Model Program to log varieties with arbitrary singularities.
An approximation theorem for minimal surfaces by complete minimal surfaces of finite total curvature in $\mathbb{R}^3$ is obtained. This Mergelyan type result can be extended to the family of complete minimal surfaces of weak finite total…
It is shown that the Gelfand--Kirillov dimension for modules over quantum Laurent polynomials is tensor-minimal. The Brookes--Groves invariant associated with a tensor product of modules is determined. It is also shown that there can be…
We show that in any sequence of a general type MMP, the minimal log discrepancy of singularities takes at most finitely many values, and the fibers of all the extremal contractions and flips belong to a bounded family. A key ingredient in…
We introduce linearly decomposable (LD) generalized pairs, which serve as a workable substitute for rational decompositions in the non-NQC setting. Using LD generalized pairs, together with a refinement of special termination and…
We establish the minimal model program for log canonical and Q-factorial surfaces over excellent base schemes.
We prove a structure theorem for non-isomorphic endomorphisms of weak Q-Fano threefolds, or more generally for threefolds with big anti-canonical divisor. Also provided is a criterion for a fibred rationally connected threefold to be…
We show a special case of Steenbrink vanishing for rational singularities in positive characteristic. As a consequence, we prove that strongly $F$-regular threefolds and klt threefolds in characteristic $p>41$ satisfy Steenbrink vanishing.
In this article, for singular hermitian metrics on holomorphic vector bundles, we consider minimal $L^2$ integrals on sublevel sets of plurisubharmonic functions on weakly pseudoconvex K\"ahler manifolds related to modules at boundary…
In this paper, we show that the minimal model theory does not hold in characteristic two. More precisely, we construct counter-examples to the relative abundance conjecture.
We prove that the minimal exponent for local complete intersections satisfies an Inversion-of-Adjunction property. As a result, we also obtain the Inversion of Adjunction for higher Du Bois and higher rational singularities for local…
We show that any nonconstant morphism of a threefold admits a relative Chow-Kuenneth decomposition. As a corollary we get sufficient conditions for threefolds to admit an absolute Chow-Kuenneth decomposition. In case the image of the…
We show that minimal models of $\mathbb{Q}$-factorial NQC log canonical generalised pairs exist, assuming the existence of minimal models of smooth varieties. More generally, we prove that on a $\mathbb{Q}$-factorial NQC log canonical…
We generalize Miyanishi's theory of almost minimal models of log smooth surfaces with reduced boundary to the case of arbitrary log surfaces defined over an algebraically closed field. Given an MMP run of a log surface $(X,D)$ we define and…
We show that many statements of the Minimal Model Program, including the cone theorem, the base point free theorem and the existence of Mori fibre spaces, fail for 1-foliated surface pairs $(X,\mathcal{F})$ with canonical singularities in…
We develop a loop group (DPW-type) representation for minimal Lagrangian surfaces in the complex quadric $Q_{2}\cong \mathbb S^{2}\times \mathbb S^{2}$, formulated via a flat family of connections $\{\nabla^\lambda\}_{\lambda\in \mathbb…
Given a three-dimensional projective log canonical pair over a perfect field of characteristic larger than five, there exists a minimal model program that terminates after finitely many steps.
Let $X\subset P^n$ be a complex projective manifold of degree $d$ and arbitrary dimension. The main result of this paper gives a classification of such manifolds (assumed moreover to be connected, non-degenerate and linearly normal) in case…
Let $f:X\to X$ be a non-isomorphic (i.e., $\text{deg } f>1$) surjective endomorphism of a smooth projective threefold $X$. We prove that any birational minimal model program becomes $f$-equivariant after iteration, provided that $f$ is…
This paper has two parts. In the first one, we prove that an invariant dp-minimal type is either finitely satisfiable or definable. We also prove that a definable version of the (p,q)-theorem holds in dp-minimal theories of small or medium…