Related papers: The Minimal Model Program for threefolds in charac…
We construct an algorithm for the minimal model program in dimension three over the field of algebraic numbers. As auxiliary results, we also construct algorithms for computing bigraded global Hom modules and for computing Stein…
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…
The aim of this paper is to propose a strategy to implement the Minimal Model Program in modern computer algebra systems.
We establish the minimal model program (MMP) for generalized foliated threefolds $(X, \mathcal{F}, B, \mathbf{M})$ of rank 1, extending the result of Cascini and Spicer in [CS25d]. As an application of the generalized foliated MMP, we prove…
If $(X, \mcF, \D)$ is a projective rank two foliated log canonical triple such that $(X,B)$ is klt for some $0 \leq B \leq \D$, we show that we can run a $(K_\mcF +\Delta)$-MMP and any such MMP terminates with either a minimal model or Mori…
In this article we prove the existence of pl-flipping and divisorial contractions and pl flips in dimension $n$ for compact K\"ahler varieties, assuming results of the minimal model program in dimension $n-1$. We also give a self contained…
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…
We prove an existence theorem for good moduli spaces, and use it to construct the second flip in the log minimal model program for the moduli space of stable curves. In fact, our methods give a uniform, self-contained construction of the…
In this article we prove a relative Kawamata-Viehweg vanishing-type theorem for PLT $3$-folds in characteristic $p>5$. We use this to prove the normality of minimal log canonical centers and the adjunction formula for codimension $2$…
In this article we show that the Log Minimal Model Program holds for $\mathbb{Q}$-factorial lc pair $(X,\Delta)$ with $X$ being a compact K\"ahler $3$-fold having only klt singularities.
We provide new families of minimal codes in any characteristic. Also, an inductive construction of minimal codes is presented.
Let $X$ be a projective minimal Gorenstein 3-fold of general type with canonical singularities. We prove that the 5-canonical map is birational onto its image.
In this article we show that the Log Minimal Model Program for $\mathbb{Q}$-factorial dlt pairs $(X, B)$ on a compact K\"ahler $3$-fold holds. More specifically, we show that after finitely many divisorial contractions and flips we obtain…
We prove that the LMMP works for projective threefolds over function fields of characteristic $p>5$ when the canonical divisor is not pseudo-effective. In the process we show that ACC for log canonical thresholds holds in complete…
Minimal linear codes have interesting applications in secret sharing schemes and secure two-party computation. This paper uses characteristic functions of some subsets of $\mathbb{F}_q$ to construct minimal linear codes. By properties of…
We will prove the following results for $3$-fold pairs $(X,B)$ over an algebraically closed field $k$ of characteristic $p>5$: log flips exist for $\Q$-factorial dlt pairs $(X,B)$; log minimal models exist for projective klt pairs $(X,B)$…
Let $\mathbb{K}$ be an algebraically closed field of characteristic $p>5$. We show the existence of minimal models for pseudo-effective NQC lc generalized pairs in dimension three over $\mathbb{K}$. As a consequence, we prove the…
We give a sufficient condition for the termination of flips. Then we discuss a semi-stable minimal model program for varieties with (numerically) trivial canonical divisor as an application. We also treat a slight refinement of dlt…
We describe the Hilbert schemes parametrizing curves on a cubic threefold of degree at most 5. In a forthcoming paper, we use this description to give a new proof and extension of a theorem of Iliev, Markushevich and Tikhimirov.
We completely prove the ACC for minimal log discrepancies on smooth threefolds. It implies on smooth threefolds the ACC for a-lc thresholds, the uniform m-adic semi-continuity of minimal log discrepancies and the boundedness of the log…