相关论文: Elementary proofs of Kempe universality
We prove that every topological conjugation between two germs of singular holomorphic curves in the complex plane is homotopic to another conjugation which extends homeomorphically to the exceptional divisors of their minimal…
We describe degenerations of projective plane curves to curves containing a fixed line $l$ as a component, and show that $H^1({\overline V}_{n,d,m}, {\Cal O} (r))=0, r \in{\Bbb Z}$, where $V_{n,d,m}\subset {\Bbb P}^N (N = n(n+3)/2)$ is the…
We prove the cohomological purity of punctual Hilbert schemes of points on generic irreducible planar curve singularities, by constructing an explicit affine paving. Via their identification with generalized $GL_N$-affine Springer fibers…
We prove realizability theorems for vector-valued polynomial mappings, real-algebraic sets and compact smooth manifolds by moduli spaces of planar linkages. We also establish a relation between universality theorems for moduli spaces of…
For a complete noncompact connected Riemannian manifold with bounded geometry, we prove a compactness result for sequences of finite perimeter sets with uniformly bounded volume and perimeter in a larger space obtained by adding limit…
We consider some variations on the classical method of Runge for effectively determining integral points on certain curves. We first prove a version of Runge's theorem valid for higher-dimensional varieties, generalizing a uniform version…
Let $X$ be an irreducible projective variety and $f$ a morphism $X \rightarrow \mathbb{P}^n$. We give a new proof of the fact that the preimage of any linear variety of dimension $k\ge n+1-\dim f(X)$ is connected. We prove that the…
A rooted planar map is a connected graph embedded in the 2-sphere, with one edge marked and assigned an orientation. A term of the pure lambda calculus is said to be linear if every variable is used exactly once, normal if it contains no…
Based on Burnside's parametrization of the algebraic curve $y^2=x^5-x$ we provide remaining attributes of its uniformization: Fuchsian equations and their solutions, accessory parameters, monodromies, conformal maps, fundamental polygons,…
Using an explicit family of plane quartic curves, we prove the existence of a genus 3 curve over any finite field of characteristic 3 whose number of rational points stays within a fixed distance from the Hasse-Weil-Serre upper bound. We…
We prove that $\bar {\mathbb Q}_\ell$-local systems of bounded rank and ramification on a smooth variety $X$ defined over an algebraically closed field $k$ of characteristic $p\neq \ell$ are tamified outside of codimension $2$ by a finite…
A. Tarski uses in his system for the elementary geometry only the primitive concept of point, and the two primitive relations betweenness and equidistance. Another approach is the relations to be on lines instead of points. W.…
One of the most important and useful examples in discrete geometry is a finite sequence of points on the moment curve $\gamma(t)=(t,t^2,t^3,\dots ,t^d)$ or, more generally, on a {\it strictly monotone curve} in $\mathbb R^d$. These…
For a curve $\boldsymbol{\gamma}:I\to\mathbb{R}^n$ of order $n-1$, we prove that the generalized curvatures $\kappa_1, \ldots, \kappa_{n-1}$ can be expressed in terms of the leading principal minors of the matrix…
We generalize the notion of quasielliptic curves, which have infinitesimal symmetries and exist only in characteristic two and three, to a remarkable hierarchy of regular curves having infinitesimal symmetries, defined in all…
We develop a unified approach to universality of local scaling limits for eigenvalues of random normal matrices, or equivalently for planar Coulomb gases at inverse temperature $\beta=2$. The approach is direct in that it does not rely on…
Given a smooth complex variety $X$, an algebraically skew embedding of $X$ is an embedding of $X$ into a complex projective space $\mathbb{P}^N$ such that for any two points $x,y\in X$, their embedded tangent spaces in $\mathbb{P}^N$ do not…
We present an elementary proof of the group properties of the elliptic curve known as "Curve25519", as a component of a comprehensive proof of correctness of a hardware implementation of the associated Diffie-Hellman key agreement…
We look at complete minimal surfaces of finite total curvature in $\mathbb{R}^4$. Similarly to the case of complex curves in $\mathbb{C}^2$ we introduce their {\it link at infinity}; we derive the {\it writhe number at infinity} which gives…
The dimension of spaces of global sections for line bundles on semistable curves parametrized by the compactified Picard scheme is studied. The theorem of Riemann is shown to hold. The theorem of Clifford is shown to hold in the following…