Searcharxiv⌕ Search

arXiv subjects

Blazej Szepietowski

Publications and source records attributed to Blazej Szepietowski.

6 recordsLinked to original sources
arXiv2017

Crosscap slides and the level 2 mapping class group of a nonorientable surface

Crosscap slide is a homeomorphism of a nonorientable surface of genus at least 2, which was introduced under the name Y-homeomorphism by Lickorish as an example of an element of the mapping class group which cannot be expressed as a product of Dehn twists. We prove that the subgroup of the mapping class group of a closed nonorientable surface N generated by all crosscap slides is equal to the level 2 subgroup consisting of those mapping classes which act trivially on H_1(N;Z_2). We also prove that this subgroup is generated by involutions.

math.GT↗
arXiv2014

On finite index subgroups of the mapping class group of a nonorientable surface

Let $M(N_{h,n})$ denote the mapping class group of a compact nonorientable surface of genus $h\ge 7$ and $n\le 1$ boundary components, and let $T(N_{h,n})$ be the subgroup of $M(N_{h,n})$ generated by all Dehn twists. It is known that $T(N_{h,n})$ is the unique subgroup of $M(N_{h,n})$ of index $2$. We prove that $T(N_{h,n})$ (and also $M(N_{h,n})$) contains a unique subgroup of index $2^{g-1}(2^g-1)$ up to conjugation, and a unique subgroup of index $2^{g-1}(2^g+1)$ up to conjugation, where $g=\lfloor(h-1)/2\rfloor$. The other proper subgroups of $T(N_{h,n})$ and $M(N_{h,n})$ have index greater than $2^{g-1}(2^g+1)$. In particular, the minimum index of a proper subgroup of $T(N_{h,n})$ is $2^{g-1}(2^g-1)$.

math.GT↗
arXiv2013

Low dimensional linear representations of the mapping class group of a nonorientable surface

Suppose that $f$ is a homomorphism from the mapping class group $\mathcal{M}(N_{g,n})$ of a nonorientable surface of genus $g$ with $n$ boundary components, to $\mathrm{GL}(m,\mathbb{C})$. We prove that if $g\ge 5$, $n\le 1$ and $m\le g-2$, then $f$ factors through the abelianization of $\mathcal{M}(N_{g,n})$, which is $\mathbb{Z}_2\times\mathbb{Z}_2$ for $g\in\{5,6\}$ and $\mathbb{Z}_2$ for $g\ge 7$. If $g\ge 7$, $n=0$ and $m=g-1$, then either $f$ has finite image (of order at most two if $g\ne 8$), or it is conjugate to one of four "homological representations". As an application we prove that for $g\ge 5$ and $h<g$, every homomorphism $\mathcal{M}(N_{g,0})\to\mathcal{M}(N_{h,0})$ factors through the abelianization of $\mathcal{M}(N_{g,0})$.

math.GT↗
arXiv2010

On the commutator length of a Dehn twist

We show that on a nonorientable surface of genus at least 7 any power of a Dehn twist is equal to a single commutator in the mapping class group and the same is true, under additional assumptions, for the twist subgroup, and also for the extended mapping class group of an orientable surface of genus at least 3.

math.GT↗