Related papers: Elementary proofs of Kempe universality
The geometry of graded principal bundles is discussed in the framework of graded manifold theory of Kostant-Berezin-Leites. In particular, we prove that a graded principal bundle is globally trivial if and only if it admits a global graded…
In this article, we study isomorphisms between complements of irreducible curves in the projective plane $\mathbb{P}^2$, over an arbitrary algebraically closed field. Of particular interest are rational unicuspidal curves. We prove that if…
In the long paper "Family Blowup formula, Admissible Graphs and the Enumeration of Singular Curves (I)" (appearing in JDG), the author solved the enumeration problem of nodal (or general singular) curve counting on algebraic surfaces by…
A one-degree-of-freedom graph is a graph obtained from a minimally rigid graph in the plane and removing an edge. For such graph, the set of realisations with fixed edge length, modulo rotations and reflections, is an algebraic curve. The…
Using elementary comparison geometry, we prove: Let $(M,g)$ be a simply-connected complete Riemannian manifold of dimension $\ge 3$. Suppose that the sectional curvature $K$ satisfies $ -1-s(r) \le K \le -1$, where $r$ denotes distance to a…
Gordon and Litherland showed that all compact, unoriented, possibly non-orientable surfaces in $S^3$ bounded by a link are realted by attaching/deleting tubes and half twisted bands. In this note we give an elementary proof for this result.
We study the normal map for plane projective curves, i.e., the map associating to every regular point of the curve the normal line at the point in the dual space. We first observe that the normal map is always birational and then we use…
A smooth geometrically connected curve over the finite field $\mathbb{F}_q$ with gonality $\gamma$ has at most ${\gamma(q+1)}$ rational points. The first author and Grantham conjectured that there exist curves of every sufficiently large…
In his study of finite (Vassiliev's) knot invariants,Vogel introduced the so-called universal parameters, belonging to the projective plane, which particularly parameterize the simple Lie algebras by the Vogel's table. Subsequently a number…
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 >…
An elliptic divisibility sequence, generated by a point in the image of a rational isogeny, is shown to possess a uniformly bounded number of prime terms. This result applies over the rational numbers, assuming Lang's conjecture, and over…
We represent the universal Menger curve as the topological realization $|\mathbb{M}|$ of the projective Fra\"iss\'e limit ${\mathbb M}$ of the class of all finite connected graphs. We show that $\mathbb{M}$ satisfies combinatorial analogues…
We prove an infinite Ramsey theorem for noncommutative graphs realized as unital self-adjoint subspaces of linear operators acting on an infinite dimensional Hilbert space. Specifically, we prove that if V is such a subspace, then provided…
Menger's Edge Theorem asserts that there exist $k$ pairwise edge-disjoint paths between two vertices in an undirected graph if and only if a deletion of any $k-1$ or less edges does not disconnect these two vertices. Alternatively, there…
This article describes the geometry of isomorphisms between complements of geometrically irreducible closed curves in the affine plane $\mathbb{A}^2$, over an arbitrary field, which do not extend to an automorphism of $\mathbb{A}^2$. We…
We present algorithms for parametrizing by radicals an irreducible curve, not necessarily plane, when the genus is less o equal to 4 and they are defined over an algebraically closed field of characteristic zero. In addition, we also…
It is proven that a connected graph is planar if and only if all its cocycles with at least four edges are "grounded" in the graph. The notion of grounding of this planarity criterion, which is purely combinatorial, stems from the intuitive…
It is shown that every polynomial function $P : \mathbb{C}^2\longrightarrow \mathbb{C}$ with irreducible fibres of same a genus is a coordinate. In consequence, there does not exist counterexamples F = (P,Q) to the Jacobian conjecture such…
Over any field of characteristic $0$, we prove that the homotopy exact sequence of algebraic fundamental groups for the universal curve with unordered marked points does not split. The same nonsplitting holds for the universal hyperelliptic…
In this paper we present proofs of basic results, including those developed so far by H. Bell, for the plane fixed point problem. Some of these results had been announced much earlier by Bell but without accessible proofs. We define the…