Related papers: Congruence topologies on the mapping class group
It is a classical result of Powell that pure mapping class groups of connected, orientable surfaces of finite type and genus at least three are perfect. In stark contrast, we construct nontrivial homomorphisms from infinite-genus mapping…
We study surface groups $\Gamma$ in $SO(4,1)$, which is the group of Mobius tranformations of $S^3$, and also the group of isometries of $\mathbb{H}^4$. We consider such $\Gamma$ so that its limit set $\Lambda_\Gamma$ is a quasi-circle in…
Let \Gamma be a finite group and (V,q) be a regular quadratic \Gamma-form defined over an integral domain $\mathcal{O}_S$ of a global function field (of odd characteristic). We use flat cohomology to classify the quadratic \Gamma-forms…
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$,…
A finite simple graph $\Gamma$ determines a quotient $P_\Gamma$ of the pure braid group, called a graphic arrangement group. We analyze homomorphisms of these groups defined by deletion of sets of vertices, using methods developed in prior…
Let $G$ be a right-angled Artin group with defining graph $\Gamma$ and let $H$ be a finitely generated group quasi-isometric to $G(\Gamma)$. We show if $G$ satisfies (1) its outer automorphism group is finite; (2) $\Gamma$ does not have…
We establish sufficient conditions for the C$^*$-simplicity of two classes of groups. The first class is that of groups acting on trees, such as amalgamated free products, HNN-extensions, and their normal subgroups; for example normal…
Let M be a Riemann surface with boundary $\partial M$ and genus greater than zero. Let $\Gamma$ be the mapping class group of M fixing $\partial M$. The group $\Gamma$ acts on ${\mathcal M}_{\mathcal C} = \Hom_{\mathcal…
We study the complexity of constraint satisfaction problems for templates $\Gamma$ that are first-order definable in $(\Bbb Z; succ)$, the integers with the successor relation. Assuming a widely believed conjecture from finite domain…
A perfect code in a graph $\Gamma = (V, E)$ is a subset $C$ of $V$ such that no two vertices in $C$ are adjacent and every vertex in $V \setminus C$ is adjacent to exactly one vertex in $C$. A subgroup $H$ of a group $G$ is called a…
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…
In this paper, we consider an equivalence relation within the class of finitely presented discrete groups attending to their asymptotic topology rather than their asymptotic geometry. More precisely, we say that two finitely presented…
The Sylow graph $\Gamma(G)$ of a finite group $G$ originated from recent investigations on the so--called $\mathbf{N}$--closed classes of groups. The connectivity of $\Gamma(G)$ was proved only few years ago, involving the classification of…
Just infinite groups play a significant role in profinite group theory. For each $c \geq 0$, we consider more generally JNN$_c$F profinite (or, in places, discrete) groups that are Fitting-free; these are the groups $G$ such that every…
The normal covering number $\gamma(G)$ of a finite, non-cyclic group $G$ is the least number of proper subgroups such that each element of $G$ lies in some conjugate of one of these subgroups. We prove that there is a positive constant $c$…
Let $G$ be a finite group. The \textit{commuting/nilpotent/solvable conjugacy class graph} ($\Gamma_{CCC}(G)$, $\Gamma_{NCC}(G)$, or $\Gamma_{SCC}(G)$) is a simple graph whose vertex set consists of all non-central conjugacy classes of $G$.…
Let $\mathfrak C$ be a class of finite groups which is closed for subgroups, quotients and direct products. Given a profinite group $G$ and an element $x\in G$, we denote by $P_{\mathfrak{C}}(x,G)$ the probability that $x$ and a randomly…
Let $A$ be a $\sigma$-unital finite simple $C^*$-algebra which has strict comparison property. We show that if the canonical map $\Gamma$ from the Cuntz semigroup to certain lower semi-continuous affine functions is surjective, then $A$ has…
Given a finite group $G$, denote by $\Gamma(G)$ the simple undirected graph whose vertices are the distinct sizes of noncentral conjugacy classes of $G$, and set two vertices of $\Gamma(G)$ to be adjacent if and only if they are not coprime…
A topological group G is profinite if it is compact and totally disconnected. Equivalently, G is the inverse limit of a surjective system of finite groups carrying the discrete topology. We discuss how to represent a countably based…