Related papers: Termination of (many) 4-dimensional log flips
We study Euclidean D3-branes wrapping divisors $D$ in Calabi-Yau orientifold compactifications of type IIB string theory. Witten's counting of fermion zero modes in terms of the cohomology of the structure sheaf $\mathcal{O}_D$ applies when…
Two projective varieties are said to be Cremona equivalent if there is a Cremona modification sending one onto the other. In the last decade, Cremona equivalence has been investigated widely, and we now have a complete theory for…
It is proven that any structure of a fibre space into varieties of Kodaira dimension zero on a generic Fano complete intersection of index one and dimension $M$ in ${\mathbb P}^{M+k}$ for $M\geq 2k+1$ is a pencil of hyperplane sections. We…
For every $d \geq 4$, we construct a $d$-dimensional, log canonical, $K$-trivial variety with the property that two general fibers of its Albanese morphism are not birational. This provides a strong counterexample to the…
In this work we prove a criterion for an algebraic continued fraction to have a proper palindromic symmetry in dimension $4$. As a multidimensional generalization of continued fractions, we consider Klein polyhedra.
We introduce the two substructural propositional logics KL, KL+, which use disjunction, fusion and a unary, (quasi-)exponential connective. For both we prove strong completeness with respect to the interpretation in Kleene algebras and a…
Let $g : X \to Y$ be the contraction of an extremal ray of a smooth projective 4-fold $X$ such that $\dim Y=3$. Then $g$ may have a finite number of 2-dimensional fibers. We shall classify those fibers. Especially we shall prove that any…
In this article we prove the following boundedness result: Fix a DCC set $I\subset [0, 1]$. Let $\mathfrak{D}$ be the set of all log pairs $(X, \Delta)$ satisfying the following properties: (i) $X$ is a projective surface defined over an…
In this article we show that every closed oriented smooth 4-manifold can be decomposed into two codimension zero submanifolds (one with reversed orientation) so that both pieces are exact Kahler manifolds with strictly pseudoconvex…
Following previous work by A. Kuznetsov, we study the Fano manifolds obtained as linear sections of the spinor tenfold in $\mathbb{P}^{15}$. Up to codimension three there are finitely many such sections, up to projective equivalence. In…
We show that terminal 3-fold divisorial contraction to a point of index $>1$ with non-minimal discrepancy may be factored into a sequence of flips, flops and divisorial contractions to a point with minimal discrepancies.
We show that the set of rationally connected projective varieties $X$ of a fixed dimension such that $(X,B)$ is klt, and $-l(K_X+B)$ is Cartier and nef for some fixed positive integer $l$, is bounded modulo flops.
In dimension two, we reduce the classification problem for asymptotically log Fano pairs to the problem of determining generality conditions on certain blow-ups. In any dimension, we prove the rationality of the body of ample angles of an…
Let X be a complex Fano manifold of dimension n. Let s(X) be the sum of l(R)-1 for all the extremal rays of X, the edges of the cone NE(X) of curves of X, where l(R) denotes the minimum of (-K_X \cdot C) for all rational curves C whose…
Let $X$ be a smooth projective surface over the complex number field and let $L$ be a nef-big divisor on $X$. Here we consider the following conjecture; If the Kodaira dimension $\kappa(X)\geq 0$, then $K_{X}L\geq 2q(X)-4$, where $q(X)$ is…
We study the Iitaka-Kodaira dimension of nef relative anti-canonical divisors. As a consequence, we prove that given a complex projective variety with klt singularities, if the anti-canonical divisor is nef, then the dimension of a general…
For a homomorphism f: A --> B of commutative rings, let D(A,B) denote Ker[Pic(A) --> Pic(B)]. Let k be a field and assume that A is a f.g. k-algebra. We prove a number of finiteness results for D(A,B). Here are four of them. 1: Suppose B is…
We show that 3-fold terminal flips and divisorial contractions may be factored into a sequence of flops, blow-downs to a smooth curve in a smooth 3-fold or divisorial contractions to points with minimal discrepancies.
For lc algebraically integrable foliations on klt varieties, we prove the base-point-freeness theorem, the contraction theorem, and the existence of flips. The first result resolves a conjecture of Cascini and Spicer, while the latter two…
Working with a singular variety X, one is often interested in comparing the set of etale covers of X with that of its smooth locus X_reg. More precisely, one may ask: What are the obstructions to extend finite etale covers of X_reg to all…