Related papers: On finiteness properties of separating semigroup o…

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…

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 introduce the separating semigroup of a real algebraic curve of dividing type. The elements of this semigroup record the possible degrees of the covering maps obtained by restricting separating morphisms to the real part of the curve. We…

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…

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…

If V is a representation of a linear algebraic group G, a set S of G-invariant regular functions on V is called separating if the following holds: If two elements v,v' from V can be separated by an invariant function, then there is an f…

An irreducible, algebraic curve $\mathcal X_g$ of genus $g\geq 2$ defined over an algebraically closed field $k$ of characteristic $\mbox{char } \, k = p \geq 0$, has finite automorphism group $\mbox{Aut} (\mathcal X_g)$. In this paper we…

A separating ($M-2$)-curve is a smooth geometrically irreducible real projective curve $X$ such that $X(\mathbb{R})$ has $g-1$ connected components and $X(\mathbb{C})\setminus X(\mathbb{R})$ is disconnected. Let $T_g$ be a Teichm\"uller…

A curve X over the field Q of rational numbers is modular if it is dominated by X_1(N) for some N; if in addition the image of its jacobian in J_1(N) is contained in the new subvariety of J_1(N), then X is called a new modular curve. We…

We prove a structure theorem for the fundamental group of the quotient $X$ of a product of curves by the action of a finite group $G$, hence for that of any resolution of the singularities of $X$.

Let K be a field and let L/K be a finite extension. Let X/K be a scheme of finite type. A point of X(L) is said to be new if it does not belong to the union of X(F), when F runs over all proper subextensions of L. Fix now an integer g>0 and…

For each closed surface of genus $g\ge3$, we find a finite subcomplex of the separating curve complex that is rigid with respect to incidence-preserving maps.

We show that if f: X --> Y is a finite, separable morphism of smooth curves defined over a finite field F_q, where q is larger than an explicit constant depending only on the degree of f and the genus of X, then f maps X(F_q) surjectively…

Let $\mathcal{X}$ be an irreducible algebraic curve defined over a finite field $\mathbb{F}_q$ of characteristic $p>2$. Assume that the $\mathbb{F}_q$-automorphism group of $\mathcal{X}$ admits as an automorphism group the direct product of…

We prove that the non-separating curve complex of every surface of finite type and genus at least three admits an exhaustion by finite rigid sets.

We prove that any geometrically connected curve $X$ over a field $k$ is an algebraic $K(\pi,1)$, as soon as its geometric irreducible components have nonzero genus. This means that the cohomology of any locally constant constructible…

Let $\mathcal{X}$ be an algebraic curve of genus $g$ defined over an algebraically closed field $K$ of characteristic $p \geq 0$, and $q$ a prime dividing $|\mbox{Aut}(\mathcal{X})|$. We say that $\mathcal{X}$ is a $q$-curve. Homma proved…

Since the works of Krasnov and Scheiderer, there has been an interest in studying effective totally real divisors on a curve X defined over a real closed field, i.e., effective divisors supported on the real locus. Scheiderer proved that,…

Let $G$ be a finite group and let $\pi(G)=\{p_1, p_2, \ldots, p_k\}$ be the set of prime divisors of $|G|$ for which $p_1<p_2<\cdots<p_k$. The Gruenberg-Kegel graph of $G$, denoted ${\rm GK}(G)$, is defined as follows: its vertex set is…

Let $\mathcal C$ be a class of Hausdorff topological semigroups which contains all zero-dimensional Hausdorff topological semigroups. A semigroup $X$ is called $\mathcal C$-$closed$ if $X$ is closed in each topological semigroup $Y\in…