Related papers: Optimal Curve Straightening is $\exists\mathbb{R}$…

Let X be a compact (resp. compact and nonsingular) real algebraic variety and let Y be a homogeneous space for some linear real algebraic group. We prove that a continuous (resp. C^infinity) map f:X-->Y can be approximated by regular maps…

We describe an approach to the question of finding real solutions to problems of enumerative geometry, in particular the question of whether a problem of enumerative geometry can have all of its solutions be real. We give some methods to…

We consider the relations between different measures of complexity for free homotopy classes of curves on a surface $\Sigma$, including the minimum number of self-intersections, the minimum length of the words representing them in a…

Given a collection of planar graphs $G_1,\dots,G_k$ on the same set $V$ of $n$ vertices, the simultaneous geometric embedding (with mapping) problem, or simply $k$-SGE, is to find a set $P$ of $n$ points in the plane and a bijection $\phi:…

We classify real families of minimal degree rational curves that cover an embedded rational surface. A corollary is that if the projective closure of a smooth surface is not biregular isomorphic to the projective closure of the unit-sphere,…

The first part of Hilbert's sixteenth problem deals with the classification of the isotopy types realizable by real plane algebraic curves of given degree $m$. For $m \geq 8$, one restricts the study to the case of the $M$-curves. For…

Let $N$ be a closed, connected, and oriented Riemannian manifold, which admits a quasiregular $\omega$-curve $\mathbb{R}^n \to N$ with infinite energy. We prove that, if the de Rham class of $\omega$ is non-zero and belongs to a so-called…

Knot theory is the study of isotopy classes of embeddings of the circle $S^1$ into a 3-manifold, specifically $R^3$. The F\'ary-Milnor Theorem says that any curve in $R^3$ of total curvature less than $4\pi$ is unknotted. More generally, a…

Let $\gamma$ be an essential closed curve with at most $k$ self-intersections on a surface $\mathcal{S}$ with negative Euler characteristic. In this paper, we construct a hyperbolic metric $\rho$ for which $\gamma$ has length at most $M…

We relate the total curvature and the isoperimetric deficit of a curve $\gamma$ in a two-dimensional space of constant curvature with the area enclosed by the evolute of $\gamma$. We provide also a Gauss-Bonnet theorem for a special class…

Let $S_g$ denoting the genus $g$ closed orientable surface. An {\em origami} (or flat structure) on $S_g$ is obtained from a finite collection of unit Euclidean squares by gluing each right edge to a left one and each top edge to a bottom…

The matching complex $\mathsf{M}(G)$ of a graph $G$ is a simplicial complex whose simplices are matchings in $G$. These complexes appear in various places and found applications in many areas of mathematics including computational geometry,…

We introduce a new class of zero-dimensional weighted complete intersections, by abstracting the essential features of rational cohomology algebras of equal rank homogeneous spaces of compact connected Lie groups. We prove that, on a…

We give a proof of the Gromov compactness theorem using the language of stable curves (i.e. cusp-curve of Gromov, or stable maps of Kontsevich and Manin) in general setting: An almost complex structure on a target manifold is only…

We solve a randomized version of the following open question: is there a strictly convex, bounded curve \gamma in the plane such that the number of rational points on \gamma, with denominator $n$, approaches infinity with $n$? Although this…

In \cite[Section 5, p.32]{Arnold-1998}, Arnold writes: "Classification of singularities of curves can be interpreted in dual terms as a description of 'co-artin' subalgebras of finite co-dimension in the algebra of formal series in a single…

The aim of this article is the proof of the following result: Let M be a connected manifold endowed with a regular Cartan geometry modelled on the boundary X of the d-dimensional real (resp. complex, resp. quaternionic, resp. octonionic)…

The symplectic isotopy conjecture states that every smooth symplectic surface in $CP^2$ is symplectically isotopic to a complex algebraic curve. Progress began with Gromov's pseudoholomorphic curves [Gro85], and progressed further…

A graph $G$ with vertex set $\{v_1,v_2,\ldots,v_n\}$ is an intersection graph of segments if there are segments $s_1,\ldots,s_n$ in the plane such that $s_i$ and $s_j$ have a common point if and only if $\{v_i,v_j\}$ is an edge of~$G$. In…

A simple closed curve $\gamma$ in the real projective plane $P^2$ is called anti-convex if for each point $p$ on the curve, there exists a line which is transversal to the curve and meets the curve only at $p$. We shall prove the relation…