Related papers: Termination of pseudo-effective 4-fold flips
A study of certain symplectic $4$-orbifolds with vanishing canonical class is initiated. We show that for any such symplectic $4$-orbifold $X$, there is a canonically constructed symplectic $4$-orbifold $Y$, together with a cyclic orbifold…
Let G < SL(V) be a finite group, V is finite dimensional over a field F, p=char F and S(V) is the symmetric algebra of V. We determine when the subring of G-invariants S(V)^G is a polynomial ring. As a consequence, we classify, if F is…
In this paper, we prove that a compact K\"ahler manifold $X$ with pseudo-effective (resp. singular positively curved) tangent bundle admits a smooth (resp. locally constant) rationally connected fibration $\phi \colon X \to Y$ onto a finite…
We show that if $f\colon X \to T$ is a surjective morphism between smooth projective varieties over an algebraically closed field $k$ of characteristic $p>0$ with geometrically integral and non-uniruled generic fiber, then $K_{X/T}$ is…
In this paper, given a simple linear recurrence sequence of algebraic numbers, which has either a dominant characteristic root or exactly two characteristic roots of maximal modulus, we give some explicit lower bounds for the index beyond…
The symplectic cone of a closed oriented 4-manifold is the set of cohomology classes represented by symplectic forms. A well-known conjecture describes this cone for every minimal Kaehler surface. We consider the case of the elliptic…
Our purpose is to classify acyclic 4-manifolds having shadow complexity zero. In this paper, we focus on simple polyhedra and discuss this problem combinatorially. We consider a shadowed polyhedron $X$ and a simple polyhedron $X_0$ that is…
We construct a new family {K_n} of simply connected symplectic 4-manifolds with the property c_1^2(K_n)/chi(K_n) -> 9 (as n goes to infinity).
We consider an extension of the modal logic of transitive closure K+ with some inifinitary derivations and present a sequent calculus for this extension, which allows non-well-founded proofs. For the given calculus, we obtain the…
We prove Iitaka's $C_{n,m}$ conjecture for $3$-folds over the algebraic closure of finite fields. Along the way we prove some results on the birational geometry of log surfaces over nonclosed fields and apply these to existence of relative…
We prove that the ascending chain condition (ACC) for log canonical (lc) thresholds in dimension $d$ and Special Termination in dimension $d$ imply the termination of any sequence of log flips starting with a $d$-dimensional lc pair of…
Let $k$ be an infinite finitely generated field of characteristic $p>0$. Fix a separated scheme $X$ smooth, geometrically connected, and of finite type over $k$ and a smooth proper morphism $f:Y\rightarrow X$. The main result of this paper…
We prove that the dual fine Selmer group of an abelian variety over the unramified $\mathbb{Z}_{p}$-extension of a function field is finitely generated over $\mathbb{Z}_{p}$. This is a function field version of a conjecture of…
We compute a complete set of isomorphism classes of cubic fourfolds over $\mathbb{F}_2$. Using this, we are able to compile statistics about various invariants of cubic fourfolds, including their counts of points, lines, and planes; all…
We address the problem of classification of hyper-K\"ahler fourfolds with $b_2=23$. In particular we prove some special cases of the Conjecture of O'Grady about hyper-K\"ahler $4$-folds numerically equivalent to the Hilbert scheme of two…
Let $(X, \Delta)$ be a log pair in characteristic $p>0$ and $P$ be a (not necessarily closed) point of $X$. We show that there exists a constant $\delta>0$ such that $\tau(X, \Delta)_P= \tau(X, \Delta + D)_P$ for each effective…
We construct examples of complete quaternionic K\"ahler manifolds with an end of finite volume, which are not locally homogeneous. The manifolds are aspherical with fundamental group which is up to an infinite cyclic extension a semi-direct…
For a compact smooth manifold $M$ (with boundary) we prove that the topological rank of the diffeomorphism group Diff$_0^k(M)$ is finite for all $k\geq 1$. This extends a result from [2] where the same claim is proved in the special case of…
Let $R$ be a discrete valuation ring with fraction field $K$. Let $X$ be a flat $R$-scheme of finite type and $G$ a finite flat group scheme acting on $X$ so that $G\_K$ is faithful on the generic fibre $X\_K$. We prove that there is an…
We introduce and study a new class of differential fields in positive characteristic. We call them separably differentially closed fields and demonstrate that they are the differential analogue of separably closed fields. We prove several…