Related papers: Existence of Projective Planes
This paper takes a significant step towards confirming a long-standing and far-reaching conjecture of Peter J. Cameron and Cheryl E. Praeger. They conjectured in 1993 that there are no non-trivial block-transitive 6-designs. We prove that…
We study jet schemes of Newton non-degenerate plane curve singularities. We identify a subgraph of the graph of jet components and show that it can be constructed from walks on the lattice points in the first quadrant of the Cartesian…
We establish a general theory for projective dimensions of the logarithmic derivation modules of hyperplane arrangements. That includes the addition-deletion and restriction theorem, Yoshinaga-type result, and the division theorem for…
We show that Cutting Planes (CP) proofs are hard to find: Given an unsatisfiable formula $F$, 1) It is NP-hard to find a CP refutation of $F$ in time polynomial in the length of the shortest such refutation; and 2)unless Gap-Hitting-Set…
There are three main thrusts to this article: a new proof of Levi's Enlargement Lemma for pseudoline arrangements in the real projective plane; a new characterization of pseudolinear drawings of the complete graph; and proofs that…
The real projective plane has three well know isomorphic constructions: the extended euclidean plane, unit (hemi)sphere, and three dimensional vector space over the reals. In this paper we find the isomorphisms that map between these three…
For the model two-complex $K$ of the group presentation $\mathcal{P}=\langle x,y\,|\,x^{k+1}yxy \rangle$, with $k\geq1$ odd, we describe representatives for all free and based homotopy classes of maps from $K$ into the real projective plane…
The possible existence of a complex structure on the 6-sphere has been a famous unsolved problem for over 60 years. In that time many "solutions" have been put forward, in both directions. Mistakes have always been found. In this paper I…
This is an expository paper. We give proofs of some results of M. Christ (1984) and S. W. Drury (1984) for $k$-plane transforms. Also, we give proofs for some related results including that for the existence of invariant measures on certain…
Initial Orbit Determination (IOD) is the classical problem of estimating the orbit of a body in space without any presumed information about the orbit. The geometric formulation of the ''angles-only'' IOD in three-dimensional space: find a…
We prove that a triangulation of the projective plane is (strongly) $t$-perfect if and only if it is perfect and contains no $K_4$.
Let $d,m_1,...,m_r$ be ($r+1$) positive integers, and $P_1,...,P_r$ be $r$ general points in the projective plane ; let $m$ be a positive integer. We prove that there exists a bound $d_0(m)$ such that : If $m_i < m$ ($0<i<r+1$), and $d >…
Kempf proved that the theta divisor of a smooth projective curve C has rational singularities. In this paper we estimate the dimensions of the jet schemes of the theta divisor and show that all these schemes are irreducible. In particular,…
The main result of the paper determines all real meromorphic functions of finite order in the plane for which the first derivative has finitely many zeros, while the function itself and one of its higher derivatives have finitely many…
We prove that every polytope described by algebraic coordinates is the face of a projectively unique polytope. This provides a universality property for projectively unique polytopes. Using a closely related result of Below, we construct a…
It has been known since the 1970's that the difference of the non-zero weights of a projective $\mathbb{F}_q$-linear two-weight has to be a power of the characteristic of the underlying field. Here we study non-projective two-weight codes…
In this paper we study some Erdos type problems in discrete geometry. Our main result is that we show that there is a planar point set of n points such that no four are collinear but no matter how we choose a subset of size $n^{5/6+o(1)} $…
The space of n (ordered) points on the projective line, modulo automorphisms of the line, is one of the most important and classical examples of an invariant theory quotient, and is one of the first examples given in any course. Generators…
We provide sharp forms of $k$-plane transform inequalities on the $d$-dimensional sphere $\mathbb{S}^d$ and the $d$-dimensional hyperbolic space $\mathbb{H}^d$. In particular, we prove that extremizers do not exist for $\mathbb{H}^d$. This…
We continue the work of [1, 2, 3] by analyzing the equivalence relation of bi-embeddability on various classes of countable planes, most notably the class of countable non-Desarguesian projective planes. We use constructions of the second…