Related papers: Frattini and related subgroups of Mapping Class Gr…

Deformation spaces Hom($\pi$,G)/G of representations of the fundamental group $\pi$ of a surface $\Sigma$ in a Lie group $G$ admit natural actions of the mapping class group $Mod_\Sigma$, preserving a Poisson structure. When $G$ is compact,…

Let G be a group of permutations of a denumerable set E. The profile of G is the function phi which counts, for each n, the number phi(n) of orbits of G acting on the n-subsets of E. Counting functions arising this way, and their associated…

We prove that a subgroup of a finitely generated free nilpotent group F is undistorted if and only if it is a retract of a subgroup of finite index in F.

Let $\Gamma$ be a finitely generated nilpotent group and let G be a complex reductive algebraic group. The representation variety $\mathrm{Hom}(\Gamma,G)$ and the character variety $\mathrm{Hom}(\Gamma,G)//G$ each carry a natural topology,…

In this paper we expand on previous results, studying the extent to which one can detect fusion in certain finite groups $\Gamma$, from information about the universal deformation rings of absolutely irreducible…

Let $G$ be a linear algebraic group over a field $k$, and let $V$ be a $G$-module. Recall that the nullcone of $(G,V)$ is the set of points $v$ in $V$ with the property that $f(v)=0$ for every positive degree homogeneous invariant $f$ in…

For an epimorphism pi of the free group F_n onto a finite group G write Gamma(G,pi) for the group of all automorphisms f of F_n for which pi*f = pi. This is called the standard congruence subgroup of Aut(F_n) associated to G and pi. In the…

Let $\Sigma_{g,b}$ denote a closed orientable surface of genus $g$ with $b$ punctures and let $\rm Mod(\Sigma_{\textit{g,b}})$ denote its mapping class group. In [Luo] Luo proved that if the genus is at least 3, $\rm…

Given a finitely generated residually finite group $G$, the residual finiteness growth $\text{RF}_G: \mathbb{N} \to \mathbb{N}$ bounds the size of a finite group $Q$ needed to detect an element of norm at most $r$. More specifically, if…

Let $X$ be a locally symmetric space $\Gamma\backslash G/K$ where $G$ is a connected non-compact semisimple real Lie group with trivial centre, $K$ is a maximal compact subgroup of $G$, and $\Gamma\subset G$ is a torsion-free irreducible…

An infra-nilmanifold is a manifold which is constructed as a quotient space $\Gamma\backslash G$ of a simply connected nilpotent Lie group $G$, where $\Gamma$ is a discrete group acting properly discontinuously and cocompactly on $G$ via so…

Let $\Gamma$ be a finite index subgroup of the mapping class group $MCG(\Sigma)$ of a closed orientable surface $\Sigma$, possibly with punctures. We give a precise condition (in terms of the Nielsen-Thurston decomposition) when an element…

Let $\textrm{Mod}(N_{g, p})$ denote the mapping class group of a nonorientable surface of genus $g$ with $p$ punctures. For $g\geq14$, we show that $\textrm{Mod}(N_{g, p})$ can be generated by five elements or by six involutions.

Let $\mathfrak{H}$ be a Fitting class and $\mathfrak{F}$ a formation. We call a subgroup $\mathcal{N}_{\mathfrak{H},\mathfrak{F}}(G)$ of a finite group $G$ the $\mathfrak{H}$-$\mathfrak{F}$-norm of $G$ if…

Assume that $G$ is a finite group and let $a$ and $b$ be non-negative integers. We define an undirected graph $\Gamma_{a,b}(G)$ whose vertices correspond to the elements of $G^a\cup G^b$ and in which two tuples $(x_1,\dots,x_a)$ and…

Let $q$ be a prime and $A$ a finite $q$-group of exponent $q$ acting by automorphisms on a finite $q'$-group $G$. Assume that $A$ has order at least $q^3$. We show that if $\gamma_{\infty} (C_{G}(a))$ has order at most $m$ for any $a \in…

We show that every closed normal subgroup of infinite index in a profinite surface group $\Gamma$ is contained in a semi-free profinite normal subgroup of $\Gamma$. This answers a question of Bary-Soroker, Stevenson, and Zalesskii.

We prove that in every finitely generated profinite group, every subgroup of finite index is open; this implies that the topology on such groups is determined by the algebraic structure. This is deduced from the main result about finite…

Suppose that a finite group $G$ admits a Frobenius group of automorphisms $FH$ with kernel $F$ and complement $H$ such that the fixed-point subgroup of $F$ is trivial: $C_G(F)=1$. In this situation various properties of $G$ are shown to be…

Let $N_{g,n}$ be a genus $g$ compact non-orientable surface with $n$ boundaries. We explain about relations on the level $d$ mapping class group $\mathcal{M}_d(N_{g,0})$ of $N_{g,0}$ and the level $d$ principal congruence subgroup…