Related papers: First steps towards total reality of meromorphic f…

The study of the topology of real algebraic varieties dates back to the work of Harnack, Klein and Hilbert in the 19th century; in particular, the isotopy type classification of real algebraic curves in real toric surfaces is a classical…

The graph of a real symplectic linear transformation is an R-Lagrangian subspace of a complex symplectic vector space. The restriction of the complex symplectic form is thus purely imaginary and may be expressed in terms of the generating…

For $N \geq 4$ we classify the $(N-3)$-degenerate smooth CR maps of the three-dimensional unit sphere into the $(2N-1)$-dimensional unit sphere. Each of these maps has image being contained in a five-dimensional complex-linear space and is…

The projective hull X^ of a subset X in complex projective space P^n is an analogue of the classical polynomial hull of a set in C^n. If X is contained in an affine chart C^n on P^n, then the affine part of X^ is the set of points x in C^n…

Previously, we have systematically constructed explicit real algebraic functions which are represented as the compositions of smooth real algebraic maps whose images are domains surrounded by hypersurfaces of degree 1 or 2 with canonical…

We introduce a new formalism and a number of new results in the context of geometric computational vision. The classical scope of the research in geometric computer vision is essentially limited to static configurations of points and lines…

We consider an $n$-dimensional projective space $\mathbb{P}_n$ ($n\geq2$) and a fixed point $A$ on it. Let $F(\mathbb{P}_n)$ be the manifold of all the projective frames of $\mathbb{P}_n$ having $A$ as their first vertice. We define the…

Let $\mathfrak g$ be an infinite-dimensional Lie algebra and $G$ be the algebraic completion of its module. Using a geometric interpretation in terms of sewing two Riemann spheres with a number of marked points, we introduce a…

Let $F$ be a rational function of one complex variable of degree $m\geq 2$. The function $F$ is called simple if for every $z\in \mathbb C\mathbb P^1$ the preimage $F^{-1}\{z\}$ contains at least $m-1$ points. We show that if $F$ is a…

We investigate holomorphic webs tangent to real-analytic Levi-flat hypersurfaces on compact complex surfaces. Under certain conditions, we prove that a holomorphic web tangent to a real-analytic Levi-flat hypersurface admits a…

We give new positive and negative results (some conditional) on speeding up computational algebraic geometry over the reals: (1) A new and sharper upper bound on the number of connected components of a semialgebraic set. Our bound is novel…

We study the structure of the \'etale fundamental groups of smooth curves over certain arithmetic schemes, and investigate the relative version of Grothendieck's anabelian conjecture in this setting. Consequently, every hyperbolic curve…

This paper studies first the differential inequalities that make it possible to build a global theory of pseudo-holomorphic functions in the case of one or several complex variables. In the case of one complex dimension, we prove that the…

It goes back to Ahlfors that a real algebraic curve admits a real-fibered morphism to the projective line if and only if the real part of the curve disconnects its complex part. Inspired by this result, we are interested in characterising…

The theory of moduli of morphisms on P^n generalizes the study of rational maps on P^1. This paper proves three results about the space of morphisms on P^n of degree d > 1, and its quotient by the conjugation action of PGL(n+1). First, we…

We show the Kontsevich space of rational curves of degree at most roughly $\frac{2-\sqrt{2}}{2}n$ on a general hypersurface $X\subset \mathbb{P}^n$ of degree $n-1$ is equidimensional of expected dimension and has two components: one…

We show how the size of the Galois groups of iterates of a quadratic polynomial $f(x)$ can be parametrized by certain rational points on the curves $C_n:y^2=f^n(x)$ and their quadratic twists. To that end, we study the arithmetic of such…

Given a planar curve defined by means of a real rational parametrization, we prove that the affine values of the parameter generating the real singularities of the offset are real roots of a univariate polynomial that can be derived from…

Given a smooth curve $C/\mathbb{Q}$ with genus $\geq 2$, we know by Faltings' Theorem that $C(\mathbb{Q})$ is finite. Here we ask the reverse question: given a finite set of rational points $S\subseteq \mathbb{P}^n(\mathbb{Q})$, does there…

We give a complete factorization of the invariant factors of resultant matrices built from birational parameterizations of rational plane curves in terms of the singular points of the curve and their multiplicity graph. This allows us to…