Related papers: The Extended Mapping Class Group Can Be Generated …

Distortion maps are a useful tool for pairing based cryptography. Compared with elliptic curves, the case of hyperelliptic curves of genus g > 1 is more complicated since the full torsion subgroup has rank 2g. In this paper we prove that…

We describe all groups that can be generated by two twists along spherical sequences in an enhanced triangulated category. It will be shown that with one exception such a group is isomorphic to an abelian group generated by not more than…

A crosscap transposition is an element of the mapping class group of a nonorientable surface represented by a homeomorphism supported on a one-holed Klein bottle and swapping two crosscaps. We prove that the mapping class group of a compact…

Let $S_g$ be the closed orientable surface of genus $g \geq 2$, and let $\mathrm{Mod}(S_g)$ be the mapping class group of $S_g$. Let $A_n$ denote the alternating group on $n$ letters. We derive necessary and sufficient conditions under…

We establish a connection between torsion packets on curves of genus $2$ and pairs of elliptic curves realized as double covers of the projective line $\mathbb{P}_{x}^{1}$ that have many common torsion $x$-coordinates. This can be used 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…

We show that for any periodic mapping class, there is some power which maps a nonseparating, simple closed curve to a distinct, disjoint nonseparating curve. As an application of this result, we introduce the notion of stable specific…

Assume $k$ is a field and $R$ is a smooth $k$-algebra of dimension $d$. If $P$ is a projective module of rank $r$, then it is well-known that $P$ can be generated by $r+d$-elements (Forster--Swan). Under suitable assumptions on $r$ and $d$,…

A non-trivial element of a group is a generalized torsion element if some products of its conjugates is the identity. The minimum number of such conjugates is called a generalized torsion order. We provide several restrictions for…

We construct a 2-generator recursively presented group with infinite torsion length. We also explore the construction in the context of solvable and word-hyperbolic groups.

Let $S$ be a nonorientable surface of genus $g\ge 5$ with $n\ge 0$ punctures, and $\Mcg(S)$ its mapping class group. We define the complexity of $S$ to be the maximum rank of a free abelian subgroup of $\Mcg(S)$. Suppose that $S_1$ and…

Let $E$ be an elliptic curve defined over $\mathbb{Q}$. For a quadratic number field $K$ and an odd prime number $p$, let $L$ be a $\mathbb{Z}_p$-extension of $K$. We prove that $E(L)_{\text{tors}}=E(K)_{\text{tors}}$ when $p>5$. It enables…

Let $S$ be a compact orientable surface, and $\Mod(S)$ its mapping class group. Then there exists a constant $M(S)$, which depends on $S$, with the following property. Suppose $a,b \in \Mod(S)$ are independent (i.e., $[a^n,b^m]\not=1$ for…

We prove that if $G$ is finite 2-generated $p$-group of nilpotence class at most 2 then the group algebra of $G$ with coefficients in the field with $p$ elements determines $G$ up to isomorphisms.

For $g\geq 2$, let $\text{Mod}(S_g)$ be the mapping class group of the closed orientable surface $S_g$ of genus $g$. In this paper, we provide necessary and sufficient conditions for the existence of infinite metacyclic subgroups of…

We show for g > 6 that the second homology group of the Torelli group of a surface of genus g and 1 boundary component is generated as an Sp(2g,Z)-module by the image under the stabilization map of the second homology group of the Torelli…

Given an elliptic curve $E/\mathbb{Q}$ with torsion subgroup $G = E(\mathbb{Q})_{\rm tors}$ we study what groups (up to isomorphism) can occur as the torsion subgroup of $E$ base-extended to $K$, a degree 6 extension of $\mathbb{Q}$. We…

If $\G$ is a finitely generated group with generators $\{g_1,...,g_j\}$ then an infinite order element $f \in \G$ is a {\em distortion element} of $\G$ provided $\displaystyle{\liminf_{n \to \infty} |f^n|/n = 0,}$ where $|f^n|$ is the word…

Let Mod(S) denote the mapping class group of a compact, orientable surface S. We prove that finitely generated subgroups of Mod(S) which are not virtually abelian have uniform exponential growth with minimal growth rate bounded below by a…

Let $S$ be an orientable, connected surface with infinitely-generated fundamental group. The main theorem states that if the genus of $S$ is finite and at least 4, then the isomorphism type of the pure mapping class group associated to $S$,…