Related papers: Remark on ordered braid groups
Dehornoy showed that the Artin braid groups $B_n$ are left-orderable. This ordering is discrete, but we show that, for $n >2$ the Dehornoy ordering, when restricted to certain natural subgroups, becomes a dense ordering. Among subgroups…
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 study the action of the Artin braid group B_{2g+2} on the set of spin structures on a hyperelliptic curve of genus g, which reduces to that of the symmetric group. It has been already described in terms of the classical theory of Riemann…
The configuration space $\text{UC}(n,p\times q)$ of $n$ unlabelled non-overlapping unit squares in a $p\times q$ rectangle is known to recover the homotopy type of the classical configuration space of $n$ unlabelled points in the plane,…
For positive integers $n$, $p$ and $q$ with $pq-n>0$, let $UC(n,p\times q)$ denote the configuration space of $n$ unlabelled hard unit squares in the rectangle $[0,p]\times[0,q]$, and let $B_n(p\times q)$ denote the corresponding…
This paper upbuilds the theoretical framework of orbit braids in $M\times I$ by making use of the orbit configuration space $F_G(M,n)$, which enriches the theory of ordinary braids, where $M$ is a connected topological manifold of dimension…
This is a draft of a book submitted for publication by the AMS. Its theme is the remarkable interplay, accelerating in the last few decades, between topology and the theory of orderable groups, with applications in both directions. It…
We consider the symplectic groupoid of pairs $(B, A)$ with $A$ real unipotent upper-triangular matrix and $B\in GL_n$ being such that $\tilde A=BAB^T$ is also a unipotent upper-triangular matrix. Fock and Chekhov defined a Poisson map of…
We give an explicit geometric argument that Artin's braid group $B_n$ is right-orderable. The construction is elementary, natural, and leads to a new, effectively computable, canonical form for braids which we call left-consistent canonical…
Let ${\cal M}_{g,n}$ and ${\cal H}_{g,n}$, for $2g-2+n>0$, be, respectively, the moduli stack of $n$-pointed, genus $g$ smooth curves and its closed substack consisting of hyperelliptic curves. Their topological fundamental groups can be…
Let $N_{g,s}$ denote the nonorientable surface of genus g with s boundary components. Recently Paris and Szepietowski obtained an explicit finite presentation for the mapping class group $M(N_{g,s})$ of the surface $N_{g,s}$, where…
For $2g-2+n>0$, the Teichm\"uller modular group $\Gamma_{g,n}$ of a compact Riemann surface of genus $g$ with $n$ points removed $S_{g,n}$ is the group of homotopy classes of diffeomorphisms of $S_{g,n}$ which preserve the orientation of…
The relationships between braid ordering and the geometry of its closure is studied. We prove that if an essential closed surface $F$ in the complements of closed braid has relatively small genus with respect to the Dehornoy floor of the…
We consider the symplectic groupoid of pairs $(B,\mathbb{A})$ with $\mathbb A$ unipotent upper-triangular matrices and $B\in GL_n$ being such that $\widetilde {\mathbb A}=B{\mathbb A} B^{\text{T}}$ are also unipotent upper-triangular…
Let $X$ be a compact Riemann surface of genus $g$ and let $x \in X$. We derive the classical presentation of $\pi_1(X,x)$ (i.e the one given by $2g$ generators $a_1,b_1, \dots, a_g,b_g$ and the relation $\prod_{i=1}^g[a_i,b_i] = 1$) from…
For a finite group $G$, the Hurwitz space $\mathcal{H}^{in}_{r,g}(G)$ is the space of genus $g$ covers of the Riemann sphere with $r$ branch points and the monodromy group $G$. In this paper, we give a complete list of primitive genus one…
In this work, we address a question posed by Dehornoy et al. in the book "Foundations of Garside Theory" that asks for a theory of groups of $\mathrm{I}_G$-type when $G$ is a Garside group. In this article, we introduce a broader notion…
We classify homomorphisms from the braid group on $n$ strands to the pure mapping class group of a nonoriantable surface of genus $g$. For $n\ge 14$ and $g\le 2\lfloor{n/2}\rfloor+1$ every such homomorphism is either cyclic, or it maps…
Let $M$ be the disk or a compact, connected surface without boundary different from the sphere $S^2$ and the real projective plane $\mathbb{R}P^2$, and let $N$ be a compact, connected surface (possibly with boundary). It is known that the…
For each integer $n\ge 1$, after fixing a proper complexity function on the braid group $\B_{2n}$, we use the Dehornoy order to define a strict total order on the set \[ \mathcal P_{2n}=H_{2n}\backslash \B_{2n}/H_{2n} \] of $2n$--plat…