Related papers: Existence of Projective Planes

In this paper we study the set of projective maps between compact proper convex real projective manifolds. We show that this set contains only finitely many distinct homotopy classes and each homotopy class has the structure of a real…

This paper gives a self-contained proof of the non-existence of nontrivial bi-infinite geodesics in directed planar last-passage percolation with exponential weights. The techniques used are couplings, coarse graining, and control of…

In 1987 Brehm and K\"uhnel showed that any triangulation of a $d$-manifold (without boundary) that is not homeomorphic to the sphere has at least $3d/2+3$ vertices. Moreover, triangulations with exactly $3d/2+3$ vertices may exist only for…

We classify birational involutions of the real projective plane up to conjugation. In contrast with an analogous classification over the complex numbers (due to E. Bertini, G. Castelnuovo, F. Enriques, L. Bayle and A. Beauville), which…

We study Dolgachev elliptic surfaces with a double and a triple fiber and find explicit equations of two new pairs of fake projective plane with $21$ automorphisms, thus finishing the task of finding explicit equations of fake projective…

In the longest plane spanning tree problem, we are given a finite planar point set $\mathcal{P}$, and our task is to find a plane (i.e., noncrossing) spanning tree for $\mathcal{P}$ with maximum total Euclidean edge length. Despite more…

In 1978, Anderson and White asked whether there is a decomposition of $K_{12}$ into two graphs, one planar and one toroidal. Using theoretical arguments and a computer search of all maximal planar graphs of order 12, we show that no such…

Let $n\geq 3$ be a positive integer and let $\mathbb{F}_{q^k}$ be the splitting field of $x^n-1$. By $\gamma$ we denote a primitive element of $\mathbb{F}_{q^k}$. Let $C$ be a cyclic code of length $n$ whose check polynomial contains two…

We investigate the blow-up of a weighted projective plane at a general point. We provide criteria and algorithms for testing if the result is a Mori dream surface and we compute the Cox ring in several cases. Moreover applications to the…

We introduce the notion of weighted singular vectors and weighted uniform exponent with respect to a set of weights. We prove invariance of these exponents for affine subspaces and submanifolds inside those affine subspaces. For certain…

We obtain a quantitative version of the classical Chevalley-Weil theorem for curves. Let $\phi : \tilde{C} \to C$ be an unramified morphism of non-singular plane projective curves defined over a number field $K$. We calculate an effective…

The following special case of a conjecture by Loehr and Warrington was proved recently by Ekhad, Vatter, and Zeilberger: There are 10^n zero-sum words of length 5n in the alphabet {+3,-2} such that no zero-sum consecutive subword that…

The Kerr theorem is revisited as part of the twistor program in six dimensions. The relationship between pure spinors and integrable 3-planes is investigated. The real condition for Lorentzian spacetimes is seen to induce a projective…

We discuss the rigidity (or lack thereof) imposed by different notions of having an abundance of zero curvature planes on a complete Riemannian 3-manifold. We prove a rank rigidity theorem for complete 3-manifolds, showing that having…

We reprove the strong Hanani-Tutte theorem on the projective plane. In contrast to the previous proof by Pelsmajer, Schaefer and Stasi, our method is constructive and does not rely on the characterization of forbidden minors, which gives…

In this paper we develop general techniques for classes of computable real numbers generated by subsets of total computable (recursive functions) with special restrictions on basic operations in order to investigate the following problems:…

We survey the status of decidabilty of the consequence relation in various axiomatizations of Euclidean geometry. We draw attention to a widely overlooked result by Martin Ziegler from 1980, which proves Tarski's conjecture on the…

It is known that the smooth rational threefolds of P^5 having a rational non-special surface of P^4 as general hyperplane section have degree d=3,... ,7. We study such threefolds X from the point of view of linear systems of surfaces in…

We consider the problem of mirror invisibility for plane sets. Given a circle and a finite number of unit vectors (defining the directions of invisibility) such that the angles between them are commensurable with $\pi$, for any $\varepsilon…

The purpose of this largely expository note is to give some examples of smooth projective varieties with zero first Betti number but nontrivial families of local systems of higher ranks. The most interesting examples are due to Simpson.