Related papers: Termination of pseudo-effective 4-fold flips

Given a logarithmic $1$-form on the snc locus of a log canonical surface pair $(X, D)$ over a perfect field of characteristic $p \ge 7$, we show that it extends with at worst logarithmic poles to any resolution of singularities. We also…

Let $(X, \Delta)$ be a projective klt three dimensional pair defined over an algebraically closed field characteristic larger than 5. Let $L$ be a nef and big line bundle on $X$ such that $L-K_X-\Delta$ is big and nef. We show that $L$ is…

Let $(X/Z,B+A)$ be a $\Q$-factorial dlt pair where $B,A\ge 0$ are $\Q$-divisors and $K_X+B+A\sim_\Q 0/Z$. We prove that any LMMP$/Z$ on $K_X+B$ with scaling of an ample$/Z$ divisor terminates with a good log minimal model or a Mori fibre…

We use Furuta's result, usually referred to as ``10/8-conjecture'', to show that for any compact 3-manifold $M$ the open manifold $M\times\r$ has infinitely many different smooth structures. Another consequence of Furuta's result is…

Let $(X, \Delta)/U$ be klt pairs and $Q$ be a convex set of divisors. Assuming that the relative Kodaira dimensions are non-negative, then there are only finitely many log canonical models when the boundary divisors varying in a relatively…

Let $(X,\Delta)$ be a log pair over $S$, such that $-(K_X+\Delta)$ is nef over $S$. It is conjectured that the intersection of the non-klt (non Kawamata log terminal) locus of $(X,\Delta)$ with any fiber $X_s$ has at most two connected…

Let $(P\in X,\Delta)$ be a three dimensional log canonical pair such that $\Delta$ has only standard coefficients and $P$ is a center of log canonical singularities for $(X,\Delta)$. Then we get an effective bound of the indices of these…

We prove that termination of lower dimensional flips for generalized klt pairs implies termination of flips for log canonical generalized pairs with a weak Zariski decomposition. Moreover, we prove that the existence of weak Zariski…

In [2], an exhaustive construction is achieved for the class of all 4-dimensional unital division algebras over finite fields of odd order, whose left nucleus is not minimal and whose automorphism group contains Klein's four-group. We…

We prove that compact topological 4-manifolds can be effectively presented by a finite amount of data.

We prove that many of the results of the LMMP hold for $3$-folds over fields of characteristic $p>5$ which are not necessarily perfect. In particular, the existence of flips, the cone theorem, the contraction theorem for birational extremal…

For each nonnegative integer m we show that any closed, oriented topological four-manifold with fundamental group Z_{4m+2} and odd intersection form, with possibly seven exceptions, either admits no smooth structure or admits infinitely…

We prove that many simply connected symplectic four-manifolds dissolve after connected sum with only one copy of $S^{2}\times S^{2}$. For any finite group G that acts freely on the three-sphere we construct closed smooth four-manifolds with…

We show that termination of flips for $\mathbb Q$-factorial klt pairs in dimension $r$ implies existence of minimal models for algebraically integrable foliations of rank $r$ with log canonical singularities over a $\mathbb Q$-factorial klt…

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 realize every closed flat 3-manifold as a cusp section of a complete, finite-volume hyperbolic 4-manifold whose symmetry group acts transitively on the set of cusps. Moreover, for every such 3-manifold, a dense subset of its flat metrics…

We improve on the result of Hacon and Witaszek by showing that the MMP for semi-stable fourfolds in mixed characteristic terminates in several new situations. In particular, we show the validity of the MMP for strictly semi-stable fourfolds…

We give the first examples of smooth projective varieties $X$ over a finite field $\mathbb{F}$ admitting a non-algebraic torsion $\ell$-adic cohomology class of degree $4$ which vanishes over $\overline{\mathbb{F}}$. We use them to show…

Let $K/F$ be an unramified quadratic extension of non-Archimedian local fields with residue character not equals to 2. We prove the linear Arithmetic Fundamental Lemma for GL$_4$ with the unit element in the spherical Hecke Algebra. In this…

In this note, we study non-standard models of the rational numbers with countably many elements. These are ordered fields, and so it makes sense to complete them, using non-standard Cauchy sequences. The main result of this note shows that…