arXiv research

For a nonorientable surface, the twist subgroup is an index 2 subgroup of the mapping class group. It is generated by Dehn twists about two-sided simple closed curves. In this paper, we study involution generators of the twist subgroup. We give generating sets of involutions with the smallest number of elements our met…

We give a small generating set for the twist subgroup of the mapping class group of a non-orientable surface by Dehn twists. The difference between the number of the generators and a lower bound of numbers of generators for the twist subgroup by Dehn twists is one. The lower bounds is obtained from an argument of Hiros…

Study on realizing subgroup twists in 3-manifolds.

We study subgroups of the mapping class group of the torus generated by powers generated by powers of Dehn twists. We give a criterion to show when a collection of powers Dehn twists generates a free group using the ping pong lemma. We show that the subgroup generated by three uniform powers of Dehn twists can be eithe…

New findings about twists in 4-sphere diffeomorphisms.

Study on kernels of SO(3) WRT representations for surfaces of genus g≥3.

We obtain a finite generating set for the level 2 twist subgroup of the mapping class group of a closed non-orientable surface. The generating set consists of crosscap pushing maps along non-separating two-sided simple loops and squares of Dehn twists along non-separating two-sided simple closed curves. We also prove t…

Generators found for automorphisms of special groups.

Researchers found that the twist subgroup can be generated by two elements for certain surface genera.

Let $N_{g}$ denote the closed non-orientable surface of genus $g$ and let ${\mathcal M} _g$ denote the mapping class group of $N_{g}$. Let ${\mathcal T} _g$ denote the twist subgroup of ${\mathcal M} _g$ which is the subgroup of ${\mathcal M} _g$ is generated by all Dehn twists. In this thesis, we proved that ${\mathca…

Paper examines Dehn twists on non-orientable surfaces and their limitations.

Study subgroup actions on mapping class groups using Heisenberg representations.

We showed that the twist subgroup of the mapping class group of a closed connected nonorientable surface of genus $g\geq13$ can be generated by two involutions and an element of order $g$ or $g-1$ depending on whether $g$ is odd or even respectively.

This paper provides an infinite presentation for a subgroup of mapping class groups of non-orientable surfaces.

Generators found for a specific subgroup of braid groups.

Given two Lagrangian spheres in an exact symplectic manifold, we find conditions under which the Dehn twists about them generate a free non-abelian subgroup of the symplectic mapping class group. This extends a result of Ishida for Riemann surfaces. The proof generalises the categorical version of Seidel's long exact s…

Let T(N) be the subgroup of the mapping class group of a nonorientable surface N (possibly with punctures and/or boundary components) generated by twists about two-sided circles. We obtain a simple generating set for T(N). As an application we compute the first homology group (abelianization) of T(N).

We show that the normal closure of any periodic element of the mapping class group of a non-orientable surface whose order is greater than 2 contains the commutator subgroup, which for $g\geq 7$ is equal to the twist subgroup, and provide necessary and sufficient conditions for the normal closures of involutions to con…

Let $N$ be at least 4. We prove that every injective homomorphism from the Torelli subgroup into $Out(F_N)$ differs from the inclusion by a conjugation in $Out(F_N)$. This applies more generally to the following subgroups: every finite-index subgroup of $Out(F_N)$ (recovering a theorem of Farb and Handel); every subgro…

Let $N_g$ be the non-orientable surface with genus $g$, $\text{MCG}(N_g)$ be the mapping class group of $N_g$, $\mathcal{T}(N_g)$ be the index 2 subgroup generated by all Dehn twists of $\text{MCG}(N_g)$. We prove that for odd genus, $\mathcal{T}(N_g)$ can be generated by three elements of finite orders.

For any knot, the following are equivalent. (1) The infinite cyclic cover has uncountably many finite covers; (2) there exists a finite-image representation of the knot group for which the twisted Alexander polynomial vanishes; (3) the knot group admits a finite-image representation such that the image of the fundament…

This paper contains two topics, the index of a power subgroup in the mapping class group $\mathcal{M}(0,2n)$ of a $2n$-punctured sphere and in the hyperelliptic mapping class group $Δ(g,0)$ of an oriented closed surface of genus $g$. The main tool is a projective representation of $\mathcal{M}(0,2n)$ obtained through t…

Study of automorphisms and splittings of special groups, showing infinite groups under certain conditions.

Study shows non-spin 4-manifolds where smooth Nielsen realization fails.

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 $s\in{0,1}$ and $g+s>3$. Following this work we obtain a finite presentation for the sub…

In this paper, we use a result of Dahmani to show that the Euler class of some power subgroup (the subgroup normally generated by a fixed power of Dehn twist about a non-separating curve) is trivial inside the mapping class group of once punctured surface.

In this note we give presentations of all finite subgroups of the mapping class group of a closed surface of genus 2 by the Humphries generators up to conjugacy.

By Torelli topology the author understands aspects of the topology of surfaces (potentially) relevant to the study of Torelli groups. The present paper is devoted to a new approach to the results of W. Vautaw about Dehn multi-twists in Torelli groups and abelian subgroups of Torelli groups. The new proofs are more tran…

Researchers study Prym representations for handlebody groups, focusing on cyclic cases.

Twisted Alexander invariants have been defined for any knot and linear representation of its group. The invariants are generalized for any periodic representation of the commutator subgroup of the knot group. Properties of the new twisted invariants are given. Under suitable hypotheses, reciprocality and bounds on the …

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.

This paper studies a subgroup of the Goeritz group related to Heegaard splittings induced by openbook decompositions.

Let $X$ be a Hausdorff topological group and $G$ a locally compact subgroup of $X$. We show that $X$ admits a locally finite $σ$-discrete $G$-functionally open cover each member of which is $G$-homeomorphic to a twisted product $G\times_H S_i$, where $H$ is a compact large subgroup of $G$ (i.e., the quotient $G/H$ is a…

Study shows non-cyclic groups of diffeomorphisms can't act on certain 3-manifolds.

The paper disproves the existence of certain subgroups with nontrivial rational abelianization.

Let N be a closed, oriented 3-manifold. A folklore conjecture states that $S^{1} \times N$ admits a symplectic structure if and only if $N$ admits a fibration over the circle. We will prove this conjecture in the case when N is irreducible and its fundamental group satisfies appropriate subgroup separability conditions…

Solves generalized twisted rabbit problems for higher degree polynomials.

By evaluating the Burau representation at t=-1, we obtain a symplectic representation of the braid group. We define the congruence subgroups of the braid group to be the preimages of the principal congruence subgroups of the symplectic group. Our main result is that the level four congruence subgroup of the braid group…

Study kernels of mapping class group representations on surface configuration spaces.

In this paper we show that the normal closure of the mth power of a half-twist has infinite index in the mapping class group of a punctured sphere. Furthermore, in some cases we prove that the quotient of the mapping class group of the punctured sphere by the normal closure of a power of a half-twist contains a free ab…

For a right-angled Artin group $A_Γ$, the untwisted outer automorphism group $U(A_Γ)$ is the subgroup of $Out(A_Γ)$ generated by all of the Laurence-Servatius generators except twists (where a {\em twist} is an automorphisms of the form $v\mapsto vw$ with $vw=wv$). We define a space $Σ_Γ$ on which $U(A_Γ)$ acts properl…

For some $g \geq 3$, let $Γ$ be a finite index subgroup of the mapping class group of a genus $g$ surface (possibly with boundary components and punctures). An old conjecture of Ivanov says that the abelianization of $Γ$ should be finite. In this note, we prove two theorems supporting this conjecture. For the first, le…

We investigate the gauging of the Wess-Zumino term of a sigma model with boundary. We derive a set of obstructions to gauging and we interpret them as the conditions for the Wess-Zumino term to extend to a closed form in a suitable equivariant relative de Rham complex. We illustrate this with the two-dimensional sigma …

The study characterizes subgroups of braid groups and their finite quotients.

We refine Cohen and Lustig's description of centralisers of Dehn twists of free groups. We show that the centraliser of a Dehn twist of a free group has a subgroup of finite index that has a finite classifying space. We describe an algorithm to find a presentation of the centraliser. We use this algorithm to give an ex…

Johnson kernel generated by specific Dehn twists on surfaces.

The study finds infinitely many twist knot complements with totally geodesic surfaces.

Let $G$ be a connected semisimple Lie group with its maximal compact subgroup $K$ being simply-connected. We show that the twisted equivariant $KK$-theory $KK^{\bullet}_{G}(G/K, τ_G^G)$ of $G$ has a ring structure induced from the renowned ring structure of the twisted equivariant $K$-theory $K^{\bullet}_{K}(K, τ_K^K)$…