Related papers: On the three dimensional minimal model program in …
In this paper, we establish a weak version of the Kodaira vanishing theorem for surfaces in positive characteristic. As an application, we obtain some fundamental theorems in the minimal model theory for klt surfaces.
We prove the existence of flips in dimension n, contingent on the termination of real flips in dimension n-1.
Cylindrical Algebraic Decomposition (CAD) algorithms typically produce a decomposition adapted to a finite family of semi-algebraic sets $\mathcal{F}$ (i.e. every member of $\mathcal{F}$ is a union of cells). Different algorithms may…
We show that for pseudoeffective projective pairs the termination of one sequence of flips implies the termination of all flips, assuming a natural conjecture on the behaviour of the Nakayama-Zariski decomposition under the operations of a…
Over an algebraically closed field of characteristic $p>41$, we prove that three-dimensional $\mathbb Q$-factorial affine klt varieties are quasi-$F$-split. Furthermore, we show that the bound on the characteristic is optimal.
We show the existence of prime divisors computing minimal log discrepancies in positive characteristic except for a special case. Moreover we prove the lower semicontinuity of minimal log discrepancies for smooth varieties in positive…
We consider models for genus one curves of degree 5, which arise in explicit 5-descent on elliptic curves. We prove a theorem on the existence of minimal models with the same invariants as the minimal model of the Jacobian elliptic curve…
Suppose that $X$ is a smooth, projective threefold over $\mathbb C$ and that $\phi : X \to X$ is an automorphism of positive entropy. We show that one of the following must hold, after replacing $\phi$ by an iterate: i) the canonical class…
Let $X$ be a normal projective threefold with mild singularities, and $L_X$ a strictly nef $\mathbb{Q}$-divisor on $X$. First, we show the ampleness of $K_X+tL_X$ with sufficiently large $t$ if either the Kodaira dimension $\kappa(X)\neq 0$…
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…
Let $X$ be a normal compact K\"ahler space of dimension $n$. A surjective endomorphism $f$ of such $X$ is int-amplified if $f^*\xi-\xi=\eta$ for some K\"ahler classes $\xi$ and $\eta$. First, we show that this definition generalizes the…
We give a topological bound on the number of minimal models of a class of three dimensional log smooth pairs of general type.
Let $k$ be an infinite finitely generated field of characteristic $p>0$. Fix a separated scheme $X$ smooth, geometrically connected, and of finite type over $k$ and a smooth proper morphism $f:Y\rightarrow X$. The main result of this paper…
In this paper we consider models for genus one curves of degree n for n = 2, 3 and 4, which arise in explicit n-descent on elliptic curves. We prove theorems on the existence of minimal models with the same invariants as the minimal model…
Suppose $X$ is a smooth projective connected curve defined over an algebraically closed field of characteristic $p>0$ and $B \subset X$ is a finite, possibly empty, set of points. Booher and Cais determined a lower bound for the $a$-number…
We construct an explicit normal singular affine toric variety X of dimension five over an algebraically closed field of characteristic three such that the normalized Nash blowup of X already contains an open affine subset isomorphic to X.…
We prove that any sequence of 4-dimensional log flips that begins with a klt pair (X,D) such that -(K+D) is numerically equivalent to an effective divisor, terminates. This implies termination of flips that begin with a log Fano pair and…
This is a revised version of my paper which appeared in J. Math. Sci. Univ. Tokyo. We prove that for a flipping contraction from a Gorenstein terminal 4-fold, the pull back of a general hyperplane section of the down-stair has only…
Suppose that $f\colon X\to\mathrm{Spec}\, R$ is a minimal model of a complete local Gorenstein 3-fold, where the fibres of $f$ are at most one dimensional, so by [VdB1d] there is a noncommutative ring $\Lambda$ derived equivalent to $X$.…
Let X/T be a one parameter family of canonical 3-folds and let D be a Weil divisor on it flat over T. We study the problem of when the D_t-minimal models of X_t form a family and we obtain conditions for this to happen. As an application of…