Related papers: Termination of (many) 4-dimensional log flips

Let X be a projective variety with terminal singularities and let L be an ample Cartier divisor on X. We prove that if f is a birational contraction associated to an extremal ray $ R \subset \bar {NE(X)}$ such that R.(K_X+(n-2)L)<0, then f…

The dimensional-deconstruction prescription of Arkani-Hamed, Cohen, Kaplan, Karch and Motl provides a mechanism for recovering the $A$-type (2,0) theories on $T^2$, starting from a four-dimensional $\mathcal N=2$ circular-quiver theory. We…

For a given K-polystable Fano variety $X$ and a natural number $l$ such that $(X, \frac{1}{l} B)$ is log canonical for some $B\in |-lK_X|$, we show that there exists a rational number $0<c_1<1$ depending only on $X$ and $l$, such that $D\in…

A projective log variety (X, D) is called "a log Fano manifold" if X is smooth and if D is a reduced simple normal crossing divisor on X with -(K_X+D) ample. The n-dimensional log Fano manifolds (X, D) with nonzero D are classified in this…

We construct log resolutions of pairs on the blow-up of the projective space in an arbitrary number of general points and we discuss the semi-ampleness of the strict transforms. As an application we prove that the abundance conjecture holds…

We prove the Kodaira vanishing theorem for log-canonical and semi-log-canonical pairs. We also give a relative vanishing theorem of Reid--Fukuda type for semi-log-canonical pairs.

We prove a Kawamata-Viehweg vanishing theorem on a normal compact Kahler space X: if L is a nef line bundle with numerical dimension at least equal to 2, then the q-th cohomology group of K_X+L vanishes for q at least equal to the dimension…

The first aim of this note is to give a concise, but complete and self-contained, presentation of the fundamental theorems of Mori theory - the nonvanishing, base point free, rationality and cone theorems - using modern methods of…

We classify four-dimensional compact solvmanifolds up to diffeomorphism, while determining which of them have complex analytic structures. In particular, we shall see that a four-dimensional compact solvmanifold S can be written, up to…

In this paper, we explore the geometry of potential triples $(X,\Delta,D)$, which by definition consists of a pair $(X,\Delta)$ and an $\mathbb{R}$-Cartier pseudoeffective divisor $D$ on $X$. We define and study the asymptotic multiplier…

We show that by cutting off the vertices and then the edges of neighborly cubical polytopes, one obtains simple 4-dimensional polytopes with n vertices such that all separators of the graph have size at least $\Omega(n/\log^{3/2}n)$. This…

We prove, under suitable conditions, that there exist wall-crossing and reduction morphisms for moduli spaces of stable log pairs in all dimensions as one varies the coefficients of the divisor.

We prove that the number of quartic fields $K$ with discriminant $|\Delta_K|\leq X$ whose Galois closure is $D_4$ equals $CX+O(X^{5/8+\varepsilon})$, improving the error term in a well-known result of Cohen, Diaz y Diaz, and Olivier. We…

We establish a connection between linear complementary dual (LCD) codes and caps in projective space. Using this framework and the structure theory of maximal caps, we derive nonexistence theorems for LCD codes with minimum distance at…

We prove the Kawamata-Viehweg vanishing theorem for surfaces of del Pezzo type over imperfect fields of characteristic $p > 5$. As a consequence, we deduce the Grauert-Riemenschneider vanishing theorem for excellent divisorial log terminal…

We shall investigate flipping contractions from a semi-stable 4-fold $X$ whose degenerate fiber is a union of Cartier divisors which are terminal factorial 3-folds. Especially we shall prove that $X$ is smooth along the flipping locus, and…

We show relationships between uniform K-stability and plt blowups of log Fano pairs. We see that it is enough to evaluate certain invariants defined by volume functions for all plt blowups in order to test uniform K-stability of log Fano…

Let $(X,\Delta)$ be a normal pair with a projective morphism $X \to Z$ and let $A$ be a relatively ample $\mathbb{R}$-divisor on $X$. We prove the termination of some minimal model program on $(X,\Delta+A)/Z$ and the abundance conjecture…

Rational approximations to a square root $\sqrt{k}$ can be produced by iterating the transformation $f(x) = (dx+k)/(x+d)$ starting from $\infty$ for any positive integer $d$. We show that these approximations coincide infinitely often with…

Using the theory of plugs and the self-insertion construction due to the second author, we prove that a foliation of any codimension of any manifold can be modified in a real analytic or piecewise-linear fashion so that all minimal sets…