Related papers: Normal subgroups of big mapping class groups

Each topological group $G$ admits a unique universal minimal dynamical system $(M(G),G)$. When $G$ is a non-compact locally compact group the phase space $M(G)$ of this universal system is non-metrizable. There are however topological…

It is proved that the profinite completion of the mapping class group Mod (g,n) of a surface of genus g with n boundary components is isomorphic to such of the arithmetic group GL(6g-6+2n, Z). We establish a relation between the normal…

We introduce a class of automorphisms of compact quantum groups which may be thought of as inner automorphisms and explore the behaviour of normal subgroups of compact quantum groups under these automorphisms. We also define the notion of…

We examine two natural operations to create numerical semigroups. We say that a numerical semigroup $\mathcal{S}$ is $k$-normalescent if it is the projection of the set of integer points in a $k$-dimensional polyhedral cone, and we say that…

The classical result, due to Jordan, Burnside, Dickson, says that every normal subgroup of $GL(n, K)$ ($K$ - a field, $n \geq 3$) which is not contained in the center, contains $SL(n, K)$. A. Rosenberg gave description of normal subgroups…

Johnson showed that the normal subgroup of a mapping class group generated by the genus $1$ bounding pair maps is equal to the Torelli group. Generalizing Johnson's result, we give two descriptions of the normal subgroup generated by the…

Let K(S) be the subgroup of the extended mapping class group, Mod(S), generated by Dehn twists about separating curves. In our earlier paper, we showed that Comm(K(S)) and Aut(K(S)) are both isomorphic to Mod(S) when S is a closed,…

We use the structure lattice, introduced in Part I, to undertake a systematic study of the class $\mathscr S$ consisting of compactly generated, topologically simple, totally disconnected locally compact groups that are non-discrete. Given…

For a rigid tensor abelian category $T$ over a field $k$ we introduce a notion of a normal quotient $q:T\to Q$. In case $T$ is a Tannaka category, our notion is equivalent to Milne's notion of a normal quotient. More precisely, if $T$ is…

Let S be a commutative ring, Q a group that acts on S, and let R be the subring of S fixed under Q. A Q-normal S-algebra consists of a central S-algebra A and a homomorphism s from Q to the group Out(A) of outer automorphisms of A that…

Let $S$ be a closed, connected, orientable surface of genus at least 3, $\mathcal{C}(S)$ be the complex of curves on $S$ and $Mod_S^*$ be the extended mapping class group of $S$. We prove that a simplicial map, $\lambda: \mathcal{C}(S) \to…

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…

An old question of Erdos asks if there exists, for each number N, a finite set S of integers greater than N and residue classes r(n) mod n for n in S whose union is all the integers. We prove that if $\sum_{n\in S} 1/n$ is bounded for such…

In the study of the relation between the mapping class group M of a surface and the theory of finite-type invariants of homology 3-spheres, three subgroups of the mapping class group play a large role. They are the Torelli group, the…

In this paper, we focus on a question of M. Newman on isomorphic subgroups of solvable groups. We get a reduction theorem of this question: for each prime q, assume that this question holds for every characteristic q-groups, then this…

Normal maps between discrete groups $N\rightarrow G$ were characterized [FS] as those which induce a compatible topological group structure on the homotopy quotient $EN\times_N G$. Here we deal with topological group (or loop) maps…

A topological group $G$ is topologically normally generated if there exists $g \in G$ such that the normal closure of $g$ is dense in $G$. Let $S$ be a tame, infinite type surface whose mapping class group $\mathrm{Map}(S)$ is generated by…

Let $G$ be a group containing a nilpotent normal subgroup $N$ with central series $\{N_j\}$, such that each $N_j/N_{j+1}$ is a $\mathbb{F}$-vector space over a field $\mathbb{F}$ and the action of $G$ on $N_j/N_{j+1}$ induced by the…

We introduce several approaches to studying the Cantor-Bendixson decomposition of and the dynamics on the (topological) space of subgroups for various families of countable groups. In particular, we uncover the perfect kernel and the…

Let K be the subgroup of the extended mapping class group, Mod(S), generated by Dehn twists about separating curves. Assuming that S is a closed, orientable surface of genus at least 4, we confirm a conjecture of Farb that Comm(K), Aut(K)…