Related papers: A normal generating set for the Torelli group of a…
In this article we describe an algorithm that can be applied for the generation of various classes of maps on orientable surfaces. It uses existing generators for abstract graphs and combines them with an efficient embedding and isomorphism…
Herein we prove that if $M$ is a compact oriented Riemann surface of genus $g$, and $M^{[n]}$ is the classifying space of $n$ distinct, unordered points on $M$, then the kernel of the map $\pi_1(M^{[n]})\to H_1(M)$ is generated by…
We give an algorithm that, for a given value of the geometric genus $p_g,$ computes all regular product-quotient surfaces with abelian group that have at most canonical singularities and have canonical system with at most isolated base…
Starting with a collection of $n$ oriented polygonal discs, with an even number $N$ of sides in total, we generate a random oriented surface by randomly matching the sides of discs and properly gluing them together. Encoding the surface in…
Birman-Lubotzky-McCarthy proved that any abelian subgroup of the mapping class groups for orientable surfaces is finitely generated. We apply Birman-Lubotzky-McCarthy's arguments to the mapping class groups for non-orientable surfaces. We…
We compute the automorphism groups of the Torelli complex and the complex of separating curves for all but finitely many compact orientable surfaces. As an application, we show that the abstract commensurators of the Torelli group and the…
This paper is devoted to the classification of irregular surfaces of general type with $p_g=q=2$ and non birational bicanonical map. The main result is that, if $S$ is such a surface and if $S$ is minimal with no pencil of curves of genus…
Let $S(n)$, for $n \in \mathbb{N}$, be the infinite-type surface of infinite genus with $n$ ends, each accumulated by genus. Although the mapping class groups of these surfaces are not countably generated,they are Polish groups and hence…
A smooth algebraic surface $S$ is said to be \emph{isogenous to a product of unmixed type} if there exist two smooth curves $C, F$ and a finite group $G$, acting faithfully on both $C$ and $F$ and freely on their product, so that $S=(C…
Let $\Sigma_g$ denote the closed orientable surface of genus $g$ and fix an arbitrary simplicial triangulation of $\Sigma_g$. We construct and study a natural surjective group homomorphism from the surface braid group on $n$ strands on…
Let $N_{g,n}$ denote the nonorientable surface of genus $g$ with $n$ boundary components and $M(N_{g,n})$ its mapping class group. We obtain an explicit finite presentation of $M(N_{g,n})$ for $n=0,1$ and all $g$ such that $g+n>3$.
For each closed orientable surface we introduce a simplical complex with some additional structure which is a version of the complex of curves of this surface adjusted to investigation of its Torelli group. We call this complex the Torelli…
A unicellular map is the embedding of a connected graph in a surface in such a way that the complement of the graph is a topological disk. In this paper we present a bijective link between unicellular maps on a non-orientable surface and…
We give a new proof of a theorem of D. Calegari that says that the Cayley graph of a surface group with respect to any generating set lying in finitely many mapping class group orbits has infinite diameter. This applies, for instance, to…
For $g\geq 2$, let $\mathrm{Mod}(S_g)$ be the mapping class group of closed orientable surface $S_g$ of genus $g$. In this paper, we derive a finite generating set for the liftable mapping class groups corresponding to finite-sheeted…
The generators of the group of birational automorphisms of any Severi-Brauer surface non-isomorphic over an algebraically non-closed field to the projective plane are explicitly described.
Surfaces of general type with geometric genus $p_g=0$, which can be given as Galois covering of the projective plane branched over an arrangement of lines with Galois group $G=(\mathbb Z/q\mathbb Z)^k$, where $k\geq 2$ and $q$ is a prime…
Given a map with underlying graph $\mathcal{G}$, if the set of prime divisors of $|V(\mathcal{G}|$ is denoted by $\pi$, then we call the map a {\it $\pi$-map}. An orientably-regular (resp. A regular ) $\pi$-map is called {\it solvable} if…
We give a survey on the fundamental group of surfaces isogenous to a higher product. If the surfaces are regular, e.g. if they are Beauville surfaces, the first homology group is a finite group. We present a MAGMA script which calculates…
Let $N_{g,n}$ denote the closed non-orientable surface of genus $g$ with $n$ punctures and let ${\mathcal N}_{g,n}$ denote the mapping class group of $N_{g,n}$. Szepietowski showed that ${\mathcal N}_{g,n}$ is generated by finitely many…