Related papers: Another Simple Proof for the Existence of the Smal…
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 give a new proof of the theorem of Beauville and Voisin about the decomposition of the small diagonal of a K3 surface S. Our proof is explicit and works with the embedding of S in a projective space. It is different from the one used by…
We show the existence of regular combinatorial objects which previously were not known to exist. Specifically, for a wide range of the underlying parameters, we show the existence of non-trivial orthogonal arrays, t-designs, and t-wise…
We prove a general result on the existence of local solutions of any second order quasi-linear elliptic system with arbitrary 1-jet at a point.
We present an extension of Martin-L\"of Type Theory that contains a tiny object; a type for which there is a right adjoint to the formation of function types as well as the expected left adjoint. We demonstrate the practicality of this type…
We prove that if X is any 2-regular projective scheme (in the sense of Castelnuovo-Mumford) then X is "small". This means that if L is a linear space and Y:= L\cap X is finite, then Y is "linearly independent" in the sense that the…
Let V be a finite set of points in the plane, not contained in a line. Assume |V| = n is an odd number, and |L \cap V| \leq 3 for every line L which is spanned by V. We prove that every simple line L_{a,b} in V creates a simple wedge (i.e.,…
Mumford defined a rational pullback for Weil divisors on normal surfaces, which is linear, respects effectivity, and satisfies the projection formula. In higher dimensions, the existence of small resolutions of singularities precludes such…
In 1983, a computer search was performed for ovals in a projective plane of order ten. The search was exhaustive and negative, implying that such ovals do not exist. However, no nonexistence certificates were produced by this search, and to…
In this short survey we concern ourselves with minimal codes, a classical object in coding theory. We will explain the relation between minimal codes and various other mathematical domains, in particular with finite projective geometry.…
We prove the decoration theorem for the Mandelbrot set (and Multibrot sets) which says that when a "little Mandelbrot set" is removed from the Mandelbrot set, then most of the resulting connected components have small diameters.
A fake projective plane is a compact complex manifold of dimension 2 which has the same Betti numbers as the complex projective plane, but not isomorphic to the complex projective plane. As was shown by D. Mumford, there exists at least one…
A new probabilistic technique for establishing the existence of certain regular combinatorial structures has been recentlyintroduced by Kuperberg, Lovett, and Peled (STOC 2012). Using this technique, it can be shown that under certain…
The purpose of this short note is to present a simplified proof of Serre's modularity conjecture using the strong modularity lifting results currently available. This second version includes extra details on definitions and proofs than the…
We derive constraints on the existence of walls for Bridgeland stability conditions for general projective surfaces. We show that in suitable planes of stability conditions the walls are bounded and derive conditions for when the number of…
We prove the existence of locally distance increasing maps with it controllable small curvatures
We give a shorter and simpler proof of the result of [2], which gives a necessary and sufficient condition for when a lattice diagram is the projection of a lattice link.
We give a self-contained exposition of the proof of faithfully flat descent for projectivity of modules. This fills a gap in the proof given in the literature.
We show that the problem of covering a set of points in the plane with a minimum number of guillotine cuts is NP-complete. To that end, first we present a new NP-completeness proof for the problem of covering points with disjoint line…
We prove certain weighted Strichartz estimates and use these to prove a sharp theorem for global existence of small amplitude solutions of $\square u= |u|^p$, thus verifying the so-called "Strauss conjecture".