This is a correction to the afore-mentioned paper in Duke Math. J. vol. 75 (1994), 99-119 by S. Keel, K. Matsuki, and J. McKernan. We completely rewrite Chapter 6 according to the original manuscript of the second author, in order to fix some crucial mistakes pointed out by Dr. Qihong Xie.
We show the abundance theorem for arithmetic klt threefold pairs whose closed point have residue characteristic greater than five. As a consequence, we give a sufficient condition for the asymptotic invariance of plurigenera for certain families of singular surface pairs to hold in mixed characteristic.
In this paper, we show that Fujita's basepoint-freeness conjecture for projective quasi-log canonical singularities holds true in dimension three. Immediately, we prove Fujita-type basepoint-freeness for projective semi-log canonical threefolds.
We prove the normality of minimal log canonical centers on threefold pairs which residue fields are perfect of residue characteristics $p\neq 2,3 $ and $5$. We also show that the union of all log canonical centers on threefold pairs with standard coefficients are seminormal provided that the residue characteristic is large enough. We provide an example of a non-seminormal log canonical center on a threefold in characteristic $3$, and give sufficient conditions to construct similar examples.
We prove that the ACC conjecture for minimal log discrepancies holds for threefolds in $[1-δ,+\infty)$, where $δ>0$ only depends on the coefficient set. We also study Reid's general elephant for pairs, and show Shokurov's conjecture on the existence of $(ε,n)$-complements for threefolds for any $ε\geq 1$. As a key important step, we prove the uniform boundedness of divisors computing minimal log discrepancies for terminal threefolds. We show the ACC for threefold canonical thresholds, and that the set of accumulation points of threefold canonical thresholds is equal to $\{0\}\cup\{\frac{1}{n}\…
On smooth threefolds, the ACC for minimal log discrepancies is equivalent to the boundedness of the log discrepancy of some divisor which computes the minimal log discrepancy. We reduce it to the case when the boundary is the product of a canonical part and the maximal ideal to some power. We prove the reduced assertion when the log canonical threshold of the maximal ideal is either at most one-half or at least one.
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.
We prove Weak Borisov--Alexeev--Borisov Conjecture in dimension three which states that the anti-canonical volume of an $ε$-klt log Fano pair of dimension three is bounded from above.
We prove the base point free theorem for big line bundles on a three-dimensional log canonical projective pair defined over the algebraic closure of a finite field.
Let $(X,D)$ be log canonical pair such $\dim X = 3$ and the divisor $-(K_X + D)$ is nef and big. For a special class of such $(X,D)$'s we prove that the linear system $|-n(K_{X}+D)|$ is free for $n \gg 0$.
We show that many classical results of the minimal model programme do not hold over an algebraically closed field of characteristic two. Indeed, we construct a three dimensional plt pair whose codimension one part is not normal, a three dimensional klt singularity which is not rational nor Cohen-Macaulay, and a klt Fano threefold with non-trivial intermediate cohomology.
We prove a relative Kawamata Viehweg vanishing type theorem for birational morphisms. We use this to prove a Grauert Riemenschneider theorem over log canonical threefolds without zero dimensional log canonical centers, in residue characteristic p greater than five. In large enough residue characteristics, we prove a Grauert Riemenschneider theorem over threefold log canonical singularities with standard coefficients. These vanishing theorems can also be used to study the depth of log canonical singularities at non log canonical centers, as well as the singularities of the log canonical centers…
We correct the definitions and descriptions of the integral structures in [U14]. The previous flat basis in [ibid] is characterized by the Frobenius solutions and integral in the first approximation by mean of the graded quotients of monodromy filtration, but not integral in the strict sense. In this article, we use the integral structure of Iritani in [I11] for A-model. Using this precise version, we study open mirror symmetry for quintic threefolds through log mixed Hodge theory, especially the recent result on Neron models for admissible normal functions with non-torsion extensions in the j…
In this article we prove a fundamental inequality between Artin-Mazur heights and Yobuko heights of certain proper log smooth schemes of Cartier type over a fine log scheme whose underlying scheme is the spectrum of a perfect field $κ$ of characteristic $p>0$. We also prove that the cohomologies of Witt-sheaves of them are finitely generated ${\cal W}(κ)$-modules if the Yobuko heights of them are finite. As an application, we prove that the $p$-primary torsion parts of the Chow groups of codimension $2$ of proper smooth threefolds over $κ$ is of finite cotype if the Yobuko heights of them are …
We prove an analogue of Fujino and Mori's ``bounding the denominators'' in the log canonical bundle formula (see also Prokhorov and Shokurov) for Kawamata log terminal pairs of relative dimension one. As an application we prove that for a klt pair $(X,Δ)$ of Kodaira codimension one and dimension at most three such that the coefficients of $Δ$ are in a DCC set $\mathcal{A}$, there is a natural number $N$ that depends only on $\mathcal{A}$ for which the round down of $\N(K_X+Δ)$ induces the Iitaka fibration. We also prove a birational boundedness result for klt surfaces of general type.
The second largest accumulation point of the set of minimal log discrepancies of threefolds is $\frac{5}{6}$. In particular, the minimal log discrepancies of $\frac{5}{6}$-lc threefolds satisfy the ACC.
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 new ideas of the paper include the following. 1. Using Alexeev Minimal Model program with suitable boundary to find horizontal extremal contractions. 2. Using Kollár's effective Base Point Freeness theorem. 3. Using Kawamata's result on the length of extremal curves with suitable boundary to avoid gluing curves in some cases.
We show that a weak version of the canonical bundle formula holds for fibrations of relative dimension one. We provide various applications thereof, for instance, using the recent result of Xu and Zhang, we prove the log non-vanishing conjecture for three-dimensional klt pairs over any algebraically closed field $k$ of characteristic $p>5$. We also show the log abundance conjecture for threefolds over $k$ when the nef dimension is not maximal, and the base point free theorem for threefolds over the algebraic closure of any finite field of characteristic $p>2$.
We classify the non-toric, $\mathbb Q$-factorial, Gorenstein, log terminal Fano threefolds of Picard number one that admit an effective action of a two-dimensional algebraic torus.
We prove the $W\mathcal{O}$-rationality of klt threefolds and the rational chain connectedness of klt Fano threefolds over a perfect field of characteristic $p>5$. As a consequence, any klt Fano threefold over a finite field has a rational point.
We compute global log canonical thresholds, or equivalently alpha invariants, of birationally rigid orbifold Fano threefolds embedded in weighted projective spaces as codimension two or three. As an important application, we prove that most of them are weakly exceptional, $K$-stable and admit Kähler--Einstien metric.
Let $(X,Δ)$ be an $n$-dimensional $ε$-klt log $\QQ$-Fano pair. We give an upper bound for the volume ${\rm Vol}(-(K_X+Δ))=(-(K_X+Δ))^n$ when $n=2$ or $n=3$ and $X$ is {$\QQ$-factorial} of $ρ(X)=1$. This bound is essentially sharp for $n=2$. Existence of an upper bound for anticanonical volumes is related the Borisov-Alexeev-Borisov Conjecture which asserts boundedness of the set of $ε$-klt log $\QQ$-Fano varieties of a given dimension $n$.
This work was initially motivated by Miranda's work on elliptic Weierstrass threefolds. Miranda [Mi] describes a smooth equidimensional (flat) model for any elliptic Weierstrass threefold; such models occur naturally in the study of moduli spaces. In this paper we use minimal model theory to link birational maps of log surfaces (log contractions) to equidimensional fibrations of elliptic threefolds. As a corollary we show that an elliptic fibration of positive Kodaira dimension has a minimal model with an equidimensional birationally equivalent elliptic fibration satisfying certain good proper…
Let $S$ be a complete intersection of a smooth quadric 3-fold $Q$ and a hypersurface of degree $d$ in ${\mathbb P}^4$. In this paper we analyze GIT stability of $S$ with respect to the natural $G=SO(5, {\mathbb C})$-action. We prove that if $d\ge 4$ and $S$ has at worst semi-log canonical singularities then $S$ is $G$-stable. Also, we prove that if $d\ge 3$ and $S$ has at worst semi-log canonical singularities then $S$ is $G$-semistable.
The aim of this survey paper is threefold: (a) to discuss the status of the Morrison-Kawamata cone conjecture, (b) to report on recent developments towards the Abundance Conjecture, and (c) to discuss the nef line bundle version of the Abundance Conjecture on $K$-trivial varieties.
In this article we present a refinement of the base point free theorem for threefolds in positive characteristic. If $L$ is a nef Cartier divisor of numerical dimension at least one on a projective Kawamata log terminal threefold $(X,Δ)$ over a perfect field $k$ of characteristic $p \gg 0$ such that $L-(K_X+Δ)$ is big and nef, then we show that the linear system $|mL|$ is base point free for all sufficiently large integer $m>0$.
We prove the abundance theorem for log canonical $n$-folds such that the boundary divisor is big assuming the abundance conjecture for log canonical $(n-1)$-folds. We also discuss the log minimal model program for log canonical $4$-folds.