Related papers: Elementary proofs of Kempe universality

In this paper, we prove the geometric Bombieri-Lang conjecture for projective varieties which have finite morphisms to abelian varieties of trivial traces over function fields of characteristic 0. The proof is based on the idea of…

For a commutative ring $A$ we consider a related graph, $\Gamma(A)$, whose vertices are the unimodular rows of length $2$ up to multiplication by units. We prove that $\Gamma(A)$ is path-connected if and only if $A$ is a…

We prove that if $\Omega$ is a simply connected quadrature domain for a distribution with compact support and the infinity point belongs the boundary, then the boundary has an asymptotic curve that is either a straight line or a parabola or…

We prove that any self-contracted curve in R 2 endowed with a C 2 and strictly convex norm, has finite length. The proof follows from the study of the curve bisector of two points in R 2 for a general norm together with an adaptation of the…

We prove a generalization of the infinite quantum Ramsey theorem of Kennedy et al. (arXiv:1711.09526), showing that it follows from an archetypical "selective" pattern satisfied by certain families of projections in an infinite-dimensional…

Suppose $Y$ is a smooth variety equipped with a top form. We prove a simple theorem giving a sharp lower bound on the geometric genus of a family of subvarieties of $Y$, in terms of the dimension of this family. Two elementary applications…

In a remark to Green's conjecture, Paranjape and Ramanan analyzed the vector bundle $E$ which is the pullback by the canonical map of the universal quotient bundle $T_{\Pp^{g-1}}(-1)$ on $\Pp^{g-1}$ and stated a more general conjecture and…

We prove the following results: (1) For every generic closed smooth curve in $\mathbb{R}^3$ there is a point with at least $6$ emanating normals to the curve. (2) For every generic closed piecewise linear curve in $\mathbb{R}^3$ there is a…

The local Lipschitz property is shown for the graph avoiding multiple point intersection with lines directed in a given cone. The assumption is much stronger than those of Marstrand's well-known theorem, but the conclusion is much stronger…

We extend an earlier result by Dan Abramovich, showing that a conjecture of S. Lang's implies the existence of a uniform bound on the number of $K$-rational points over all smooth curves of genus $g$ defined over $K$, where $K$ is any…

Denoting by ${\mathcal L}_d(m_0,m_1,...,m_r)$ the linear system of plane curves passing through $r+1$ generic points $p_0,p_1,...,p_r$ of the projective plane with multiplicity $m_i$ (or larger) at each $p_i$, we prove the…

We construct Peano curves $\gamma : [0,\infty) \to \mathbb{R}^2$ whose "footprints" $\gamma([0,t])$, $t>0$, have $C^\infty$ boundaries and are tangent to a common continuous line field on the punctured plane $\mathbb{R}^2 \setminus…

We consider metrics which are preserved under a $p$-Wasserstein transport map, up to a possible contraction. In the case $p=1$ this corresponds to a metric which is uniformly curved in the sense of coarse Ricci curvature. We investigate the…

The concept of generalised (in the sense of Colombeau) connection on a principal fibre bundle is introduced. This definition is then used to extend results concerning the geometry of principal fibre bundles to those that only have a…

We show that a general canonical curve is uniquely determined by the finite set of hyperplanes cutting theta-characteristics on it. Geometrical and combinatorial properties of the moduli space of stable spin curves are proved, which play an…

Two vertex colorings of a graph are Kempe equivalent if they can be transformed into each other by a sequence of switchings of two colors of vertices. It is PSPACE-complete to determine whether two given vertex $k$-colorings of a graph are…

It is well known that plane curves with the same endpoints are homotopic. An analogous claim for plane curves with the same endpoints and bounded curvature still remains open. In this work we find necessary and sufficient conditions for two…

We present a short proof of the fact that two irreducible germs of plane analytic curves are isotopic if they are equisingular, without recourse to the structure of the associated knots.

We prove that a smooth, complex plane curve $C$ of odd degree can be defined by a polynomial with real coefficients if and only if $C$ is isomorphic to its complex conjugate. Counterexamples are known for curves of even degree. More…

We show that the first order structure whose underlying universe is $\mathbb C$ and whose basic relations are all algebraic subset of $\mathbb C^2$ does not have quantifier elimination. Since an algebraic subset of $\mathbb C ^2$ needs…