Related papers: Another Simple Proof for the Existence of the Smal…

We use reduction maps to study the minimal model program. Our main result is that the existence of a good minimal model for a klt pair $(X,\Delta)$ can be detected on the base of the $(K_{X}+\Delta)$-trivial reduction map. Thus we show that…

We give a new proof of a theorem of Mints that the positive fragment of minimal predicate logic is decidable. The idea of the proof is to replace the eigenvariable condition of sequent calculus by an appropriate scoping mechanism. The…

We formulate a variational principle for a collection of projectors in an indefinite inner product space. The existence of minimizers is proved in various situations.

The aim of this note is to give a quick algebraic proof of (the combinatorial part of) the classification theorem for compact real surfaces, whose classical proofs (as in the Massey book and in the Conway ZIP proof) are based on surgery…

We develop the basic properties of $w$-simple-minded systems in $(-w)$-Calabi-Yau triangulated categories for $w \geq 1$. The main result is a reduction technique for negative Calabi-Yau triangulated categories. We show that the theory of…

We give a proof of the o-minimal version of the Whitney Extension Theorem simplified as compared to the original ones. A new simplifying ingredient is a definable variant of Urysohn's lemma for class $\mathcal{C}^q$ (see Section 3).

The aim of this short note is to give a simple proof of the non-rationality of the double cover of the three-dimensional projective space branched over a sufficiently general quartic.

This is the second of a series of papers studying real algebraic threefolds using the minimal model program. The main result is the following. Let $X$ be a smooth projective real algebraic 3-fold. Assume that the set of real points is an…

Recently, the authors of the present work (together with M. N. Kolountzakis) introduced a new version of the non-commutative Delsarte scheme and applied it to the problem of mutually unbiased bases. Here we use this method to investigate…

We prove the existence of minimal surfaces in a bounded convex subset of $\mathbb R^3$, $\mathcal M$, intersecting the boundary of $\mathcal M$ with a fixed contact angle. The proof is based on a min-max construction in the spirit of…

In this paper we characterize primitive branched coverings with minimal defect over the projective plane with respect to the properties decomposable and indecomposable. This minimality is achieved when the covering surface is also the…

We propose here a proof of existence of a minimizer of a segmentation functional based on a priori information on target shapes, and formulated with level sets. The existence of a minimizer is very important, because it guarantees the…

We classify the irreducible projective representations of symmetric and alternating groups of minimal possible and second minimal possible dimensions, and get a lower bound for the third minimal dimension. On the way we obtain some new…

In this article, we study the effects of topological and smooth obstructions on the existence of rational homology complex projective planes that admit quotient singularities of small indices. In particular, we provide a classification of…

In this article we prove the existence of pl-flipping and divisorial contractions and pl flips in dimension $n$ for compact K\"ahler varieties, assuming results of the minimal model program in dimension $n-1$. We also give a self contained…

We give a criterion for a projective surface to become a quotient of a fake projective plane. We also give a detailed information on the elliptic fibration of a $(2,3)$-elliptic surface that is the minimal resolution of a quotient of a fake…

Sufficient conditions are obtained for the existence of a vector with a one-dimensional or simple three-dimensional stationary subalgebra for an irreducible compact linear Lie algebra.

Let $n$ be the order of a (quaternary) Hadamard matrix. It is shown that the existence of a projective plane of order $n$ is equivalent to the existence of a balancedly multi-splittable (quaternary) Hadamard matrix of order $n^2$.

It is widely believed that point sets in the plane which determine few distinct distances must have some special structure. In particular, such sets are believed to be similar to a lattice. This note considers two different ways to quantify…

One of the most famous results in Complex Analysis is the Little Picard Theorem, that characterizes the image set of an arbitrary entire function. Specifically, the theorem states that this image set is either the whole complex plane or the…