Minimal model program for semi-stable threefolds in mixed characteristic
Teppei Takamatsu, Shou Yoshikawa
备注：
42 pages. We revised the assumption of Theorem 6.3 and the statement of Theorem 5.12. We also revised Definition 2.15 and the proofs of Proposition 2.16 and Proposition 2.17. To appear Journal of Algebraic Geometry
In this paper, we study the minimal model theory for threefolds in mixed characteristic. As a generalization of a result of Kawamata, we show that the MMP holds for strictly semi-stable schemes over an excellent Dedekind scheme $V$ of relative dimension two without any assumption on the residue characteristics of $V$. We also prove that we can run a $(K_{X/V}+Δ)$-MMP over $Z$, where $π\colon X \to Z$ is a projective birational morphism of $\mathbb{Q}$-factorial quasi-projective $V$-schemes and $(X,Δ)$ is a three-dimensional dlt pair with $\mathrm{Exc}(π) \subset \lfloor Δ\rfloor $.
We establish the Minimal Model Program for arithmetic threefolds whose residue characteristics are greater than five. In doing this, we generalize the theory of global $F$-regularity to mixed characteristic and identify certain stable sections of adjoint line bundles. Finally, by passing to graded rings, we generalize a special case of Fujita's conjecture to mixed characteristic.
We provide a detailed proof of the validity of the Minimal Model Program for threefolds over excellent Dedekind separated schemes whose residue fields do not have characteristic 2 or 3.
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.
The weight-monodromy conjecture claims the coincidence of the weight filtration and the monodromy filtration, up to shift, on the $l$-adic étale cohomology of a proper smooth variety over a complete discrete valuation field. Although it has been proved in some cases, the case of dimension $\geq 3$ in mixed characteristic is still open so far. The aim of this paper is to give a proof of the weight-monodromy conjecture for a threefold which has a projective strictly semistable model such that, for each irreducible component of the special fiber, the Picard number is equal to the second $l$-adic …
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.
In this paper we study \emph{threefolds isogenous to a product of mixed type} i.e. quotients of a product of three compact Riemann surfaces $C_i$ of genus at least two by the action of a finite group $G$, which is free, but not diagonal. In particular, we are interested in the systematic construction and classification of these varieties. Our main result is the full classification of threefolds isogenous to a product of mixed type with $χ(\mathcal O_X)=-1$ assuming that any automorphism in $G$, which restricts to the trivial element in $Aut(C_i)$ for some $C_i$, is the identity on the product.…
We extend the minimal model theorem to the 3-dimensional schemes which are projective and have semistable reduction over the spectrum of a Dedekind ring.
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…
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 show the validity of the relative dlt MMP over Q-factorial threefolds in all characteristics p>0. As a corollary, we generalise many recent results to low characteristics including: $W\mathcal{O}$-rationality of klt singularities, inversion of adjunction, and normality of divisorial centres up to a universal homeomorphism.
We strengthen a conjecture by the author. This conjecture is a Bogomolov-Gieseker type inequality involving the third Chern character of mixed tilt-stable complexes on fibred threefolds. We extend it from complexes of mixed tilt-slope zero to arbitrary relative tilt-slope. We show that this stronger conjecture implies the support property of Bridgeland stability conditions, and the existence of explicit stability conditions. We prove our conjecture for ruled threefolds, hence improving a previous result by the author.
This is the second of a series of papers studying real algebraic threefolds using the minimal model program. The main result is the following. Let $X$ be a smooth projective real algebraic 3-fold. Assume that the set of real points is an orientable 3-manifold (this assumption can be weakened considerably). Then there is a fairly simple description on how the topology of real points changes under the minimal model program. The first application is to study the topology of real projective varieties which are birational to projective 3-space (Nash conjecture). The second application is a factoriz…
We provide several applications of the minimal model program to the local and global study of co-rank one foliations on threefolds. Locally, we prove a singular variant of Malgrange's theorem, a classification of terminal foliation singularities and the existence of separatrices for log canonical singularities. Globally, we prove termination of flips, a connectedness theorem on lc centres, a non-vanshing theorem and some hyperbolicity properties of foliations.
We study the Variations of mixed Hodge structures (VMHS) associated to a pencil ${\cal X}$ (parametrised by an open set $B \subset {\Bbb P}^1$) of equisingular hypersurfaces of degree $d$ in ${\Bbb P}^{4}$ with exactly $m$ ordinary double points as singularities as well as the variations of Hodge structures (VHS) associated to the desingularization of this family $ \widetilde{\cal X}$. The case where exactly $l \le m $ of those double points are in algebraic general position (short:agp) is studied in detail and determine the possible limiting mixed Hodge structures (LMHS) associated to each of…
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 study compact Kähler threefolds X with infinite fundamental group whose universal cover can be compactified. Combining techniques from $L^2$ -theory, Campana's geometric orbifolds and the minimal model program we show that this condition imposes strong restrictions on the geometry of X. In particular we prove that if a projective threefold with infinite fundamental group has a quasi-projective universal cover, the latter is then isomorphic to the product of an affine space with a simply connected manifold.
This is the first of a series of papers studying real algebraic threefolds using the minimal model program. The main results are outlined in Part II. The present part I. contains the necessary preliminary work concerning terminal singularities. First I give standard forms for 3-dimensional terminal singularities over arbitrary fields. This is then used to develop a fairly complete topological classification over the reals.
In this note we prove the semiampleness conjecture for klt Calabi--Yau surface pairs over an excellent base ring. As applications we deduce that generalised abundance and Serrano's conjecture hold for surfaces. Finally, we study the semiampleness conjecture for Calabi--Yau threefolds over a mixed characteristic DVR.
We study the mixed Hodge structure on the third homology group of a threefold which is the double cover of projective three-space ramified over a quartic surface with a double conic. We deal with the Torelli problem for such threefolds.
We describe recent progress in a program to understand the classification of three-dimensional Fano varieties with $\mathbb{Q}$-factorial terminal singularities using mirror symmetry. As part of this we give an improved and more conceptual understanding of Laurent inversion, a technique that sometimes allows one to construct a Fano variety $X$ directly from a Laurent polynomial $f$ that corresponds to it under mirror symmetry.
Let $X$ be a smooth projective threefold. We prove that, among the process of minimal model program, the variance of the third Betti number can be bounded by some integer depends only on the Picard number of $X$.
Generalizing the well-known Shafarevich hyperbolicity conjecture, it has been conjectured by Viehweg that a quasi-projective manifold that admits a generically finite morphism to the moduli stack of canonically polarized varieties is necessarily of log general type. Given a quasi-projective threefold Y that admits a non-constant map to the moduli stack, we employ extension properties of logarithmic pluri-forms to establish a strong relationship between the moduli map and the minimal model program of Y: in all relevant cases the minimal model program leads to a fiber space whose fibration facto…
Let $X$ be a Fano threefold and $\C ^* \times X\rightarrow X$ an algebraic action. Then $X$ has a $S^1$-invariant Kähler structure and the corresponding $S^1$-action admits an equivariant moment map which is at the same time a perfect Bott-Morse function. We will initiate a program to classify the Fano threefolds with semi-free ${\mathbb C}^*$-actions using Morse theory and the holomorphic Lefschetz fixed point formula as the main tools. In this paper we give a complete list of all possible Fano threefolds without "interior isolated fixed points" for any semi-free ${\mathbb C}^*$-action. For t…
We show the validity of two special cases of the four-dimensional Minimal Model Program in characteristic $p>5$: for contractions to $\mathbb{Q}$-factorial fourfolds and in families over curves ("semi-stable mmp"). We also provide their mixed characteristic analogues. As a corollary, we show that liftability of positive characteristic threefolds is stable under the minimal model program, and that liftability of three-dimensional Calabi-Yau varieties is a birational invariant. Our results are partially contingent upon the existence of log resolutions.
We study certain pencils of del Pezzo surfaces generated by a smooth del Pezzo surface S of degree less or equal to 3 anti-canonically embedded into a weighted projective space P and an appropriate multiple of a hyperplane H. Our main observation is that every minimal model program relative to the morphism lifting such pencil on a suitable resolution of its indeterminacies preserves the open subset P H â A^3. As an application, we obtain projective completions of A^3 into del Pezzo fibrations over P^1 of every degree less or equal to 4. We also obtain completions of A^3 into Mori conic bundles…
The Gromov-Witten theory of threefolds admitting a smooth K3 fibration can be solved in terms of the Noether-Lefschetz intersection numbers of the fibration and the reduced invariants of a K3 surface. Toward a generalization of this result to families with singular fibers, we introduce completed Noether-Lefschetz numbers using toroidal compactifications of the period space of elliptic K3 surfaces. As an application, we prove quasi-modularity for some genus 0 partition functions of Weierstrass fibrations over ruled surfaces, and show that they satisfy a holomorphic anomaly equation.
