Related papers: The Class of Countable Projective Planes is Borel …

We prove the geometric Bombieri-Lang conjecture for projective varieties which have finite maps to abelian varieties over function fields of characteristic 0. This generalizes the recent results of Xie-Yuan, which require either the…

The purpose of this paper is to show that for a complete intersection curve $C$ in projective space (other than a few stated exceptions), any morphism $f: C \to \mathbb{P}^r$ satisfying $\text{deg}\, f^*\mathcal{O}_{\mathbb{P}^r}(1)…

We prove a number of elementary facts about computability in partial combinatory algebras (pca's). We disprove a suggestion made by Kreisel about using Friedberg numberings to construct extensional pca's. We then discuss separability and…

We show that every smooth toric variety (and many other algebraic spaces as well) can be realized as a moduli space for smooth, projective, polarized varieties. Some of these are not quasi--projective. This contradicts a recent paper…

This paper proves that the characteristic polynomial is a complete unitary invariant for pairs of projection matrices. Some special cases involving three or more projections are also considered.

In this paper, all finite groups whose commuting (non-commuting) graphs can be embed on the plane, torus or projective plane are classified.

In this paper, plane polynomial systems having a singular point attracting all orbits in positive time are classified up to topological equivalence. This is done by assigning a combinatorial invariant to the system (a so-called "feasible…

We study generic properties of topological groups in the sense of Baire category. First we investigate countably infinite (discrete) groups. We extend a classical result of B. H. Neumann, H. Simmons and A. Macintyre on algebraically closed…

We show that if A is a linear order then Th(A) is either $\aleph_0$-categorical or Borel complete (in the sense of Friedman and Stanley). We generalize this; if A has countably many unary predicates attached, then Th(A) is…

We construct new examples of singular projective plane curves whose complements have finite and non-abelian fundamental groups, by generalizing the classical three cuspidal quartic curve discovered by Zariski.

We apply the work of Bourgain, Fremlin and Talagrand on compact subsets of the first Baire class to show new results about phi-types for phi NIP. In particular, we show that if M is a countable model, then an M-invariant phi-type is Borel…

Let A=k+A_1+A_2.... be a connected graded, noetherian k-algebra that is generated in degree one over an algebraically closed field k. Suppose that the graded quotient ring Q(A) has the form Q(A)=k(Y)[t,t^{-1},sigma], where sigma is an…

Let $M$ be a compact hyperkaehler manifold. The hyperkaehler structure equips $M$ with a set $R$ of complex structures parametrized by $CP^1$, called "the set of induced complex structures". It was known previously that induced complex…

We obtain new examples and the complete list of the rational cuspidal plane curves $C$ with at least three cusps, one of which has multiplicity ${\rm deg}\,C - 2$. It occurs that these curves are projectively rigid. We also discuss the…

Suppose that a group $G$ acts transitively on the points of $\mathcal{P}$, a finite non-Desarguesian projective plane. We prove that if $G$ is insoluble then $G/O(G)$ is isomorphic to $SL_2(5)$ or $SL_2(5).2$.

We look at sequences of positive integers that can be realized as degree sequences of iterates of rational dominant maps of smooth projective varieties over arbitrary fields. New constraints on the degree growth of endomorphisms of the…

We propose graph theoretic equivalents for existence of a finite projective plane. We then develop a new approach and see that the problem of existence of a finite projective plane of order n is linked up with a subset of sharply 2…

In this paper, we provide a complete classification of Cartesian products of graphs that embed in the projective plane. Our work requires us to determine minimal Cartesian products that are nonprojective planar, organize their essential…

The usual definition of the set of constructible reals is $\Sigma ^1_2$. This set can have a simpler definition if, for example, it is countable or if every real is constructible. H. Friedman asked if the set of constructible reals can be…

We initiate the effective metric structure theory of Keisler randomizations. We show that a classical countable structure $\mathcal{M}$ has a decidable presentation if and only if its Borel randomization $\mathcal{M}^{[0,1)}$ has a…