Related papers: The separating semigroup of a real curve
We relate the geometry of curves to the notion of hyperbolicity in real algebraic geometry. A hyperbolic variety is a real algebraic variety that (in particular) admits a real fibered morphism to a projective space whose dimension is equal…
Given a real algebraic curve in the projective 3-space, its hyperbolicity locus is the set of lines with respect to which the curve is hyperbolic. We give an example of a smooth irreducible curve whose hyperbolicity locus is disconnected…
A real morphism $f$ from a real algebraic curve $X$ to $\mathbb{P}^1$ is called separating if $f^{-1}(\mathbb{R} \mathbb{P}^1) = \mathbb{R} X$. A separating morphism defines a covering $\mathbb{R} X \to \mathbb{R} \mathbb{P}^1$. Let $X_1,…
A rational function on a real algebraic curve $C$ is called separating if it takes real values only at real points. Such a function defines a covering $\Bbb R C\to\Bbb{RP}^1$. Let $A_1,\dots,A_n$ be connected components of $C$. In a recent…
We show that any group that is hyperbolic relative to virtually nilpotent subgroups, and does not admit peripheral splittings, contains a quasi-isometrically embedded copy of the hyperbolic plane. In natural situations, the specific…
We prove that the separating curve graph of a connected, compact, orientable surface with genus at least 3 and a single boundary component is not relatively hyperbolic. This completes the classification of when the separating curve graph is…
It goes back to Ahlfors that a real algebraic curve $C$ admits a separating morphism $f$ to the complex projective line if and only if the real part of the curve disconnects its complex part, i.e. the curve is \textit{separating}. The…
The paper is a contribution to the conjecture of Kobayashi that the complement of a generic curve in the projective plane is hyperbolic, provided the degree is at least five. Previously the authors treated the cases of two quadrics and a…
A smooth real curve is called separating in case the complement of the real locus inside the complex locus is disconnected. This is the case if there exists a morphism to the projective line whose inverse image of the real locus of the…
The moduli space of smooth real plane quartic curves consists of six connected components. We prove that each of these components admits a real hyperbolic structure. These connected components correspond to the six real forms of a certain…
A rational function on a real algebraic curve $C$ is called separating if it takes real values only at real points. Such a function defines a covering $\mathbb R C\to\mathbb{RP}^1$. Let $c_1,\dots,c_r$ be connected components of $\mathbb R…
Given a real algebraic curve, embedded in projective space, we study the computational problem of deciding whether there exists a hyperplane meeting the curve in real points only. More generally, given any divisor on such a curve, we may…
We relate three classes of nonpositively curved metric spaces: hierarchically hyperbolic spaces, coarsely injective spaces, and strongly shortcut spaces. We show that every hierarchically hyperbolic space admits a new metric that is…
We describe and study the loci equidistant from finitely many points in the so-called complex hyperbolic geometry, i.e., in the geometry of a holomorphic $2$-ball $\Bbb B$. In particular, we show that the bisectors (= the loci equidistant…
We classify maximal quartic generalised projective special real curves up to equivalence. A maximal quartic generalised projective special real curve consists of connected components of the intersection of the hyperbolic points of a quartic…
Connected components of real algebraic sets are semi-algebraic, i.e. they are described by a boolean formula whose atoms are polynomial constraints with real coefficients. Computing such descriptions finds topical applications in optical…
We study arc graphs and curve graphs for surfaces of infinite topological type. First, we define an arc graph relative to a finite number of (isolated) punctures and prove that it is a connected, uniformly hyperbolic graph of infinite…
We classify all special homogeneous curves. A special homogeneous curve $\mathcal{H}$ consists of connected components of the hyperbolic points in the level set $\{h=1\}$ of a homogeneous polynomial $h$ in two real variables of degree at…
A hyperbolic algebraic curve is a bounded subset of an algebraic set. We study the function theory and functional analytic aspects of these sets. We show that their function theory can be described by finite codimensional subalgebras of the…
We bound the number of fixed points of an automorphism of a real curve in terms of the genus and the number of connected components of the real part of the curve. Using this bound, we derive some consequences concerning the maximum order of…