群论
Given a field $\mathbb K$, for any $n\geq 3$ the first cohomology group $H^1(G_n,A^*_n)$ of the special linear group $G_n = \mathrm{SL}(n,{\mathbb K})$ over the dual $A^*_n$ of its adjoint module $A_n$ is isomorphic to the space…
We prove that most Artin groups of large and hyperbolic type are Hopfian, meaning that every self-epimorphism is an isomorphism. The class covered by our result is generic, in the sense of Goldsborough-Vaskou. Moreover, assuming the…
The Lazard correspondence induces a close relation between the $p$-groups of maximal class and a certain type of Lie ring constructed from $p$-adic number fields. Our aim here is to investigate such Lie rings. In particular, we show that…
For every Cuntz--Krieger groupoid, we show that there is a topologically free boundary action of the outer automorphism group of its topological full group on the Hilbert cube. In particular, these outer automorphism groups, including the…
We show that any isometric action of a residually finite group admits approximate local finite models. As a consequence, if $G$ is residually finite, every isometric $G$-action embeds isometrically into a metric ultraproduct of finite…
We exhibit novel geometric phenomena in the study of conjugacy problems for discrete groups. We prove that the snowflake groups $B_{pq}$, indexed by pairs of positive integers $p>q$, have conjugator length functions $\text{CL}(n)\simeq n$…
A word in a free group is called ``potentially positive'' if it is automorphic to an element which is written with only positive exponents. We will develop automata to analyze properties of potentially positive words. We will use these to…
We investigate the relationship between finite groups and incidence geometries through their automorphism structures. Building upon classical results on the realizability of groups as automorphism groups of graphs, we develop a general…
A map is \emph{vertex-reversing} if it admits an arc-transitive automorphism group with dihedral vertex stabilizers. This paper classifies solvable vertex-reversing maps whose edge number and Euler characteristic are coprime. The…
In this paper we develop an ideal structure theory for the class of left reductive regular semigroups and apply it to several subclasses of popular interest. In these classes we observe that the right ideal structure of the semigroup is…
A discrete group $\Gamma$ is called exact if the reduced group C*-algebra ${C_{\lambda}}^{*}(\Gamma)$ is exact as C*-algebras, and a discrete group $\Lambda$ is called residually exact if every nonunital element $g \in \Lambda$ admits a…
In this paper, we study deformations of crossed homomorphisms on Lie groups by means of the cohomology which controls them. Using the Moser type argument, we obtain several rigidity results of crossed homomorphisms on Lie groups. We further…
In [DP12], Delzant and Py showed that there exist continuous irreducible isometric actions of $\mathrm{PSL}_2(\mathbb{R})$ on the infinite-dimensional hyperbolic space $\mathbb{H}^\infty$. Such continuous irreducible actions do not exist on…
We show that if $G$ is a real semi-simple Lie group, and $\Gamma$ is a discrete subgroup of $G$ containing a subgroup $\Sigma$ acting ergodically (in a strong sense) on the Furstenberg boundary of $G$, then $\Gamma$ is not isomorphic to a…
We provide a general sufficient condition for extendability of quasimorphisms on subgroups. This condition recovers the result of Hull--Osin on quasimorphisms on hyperbolically embedded subgroups, and the proof given in this paper is much…
In 1973, Jim Wiegold introduced the concept of pseudocentre P(G) of a group G as the intersection of the normal closures of the centralizers of its elements. He proved that the pseudocentre of a non-trivial finite group is always…
We prove that if a group $G$ admits a virtually special action on a CAT(0) cube complex, then any product of convex-cocompact subgroups of $G$ is separable. Previously, this was only known for products of three subgroups, or in the case…
In this paper, we show that wreath products of groups have linear divergence, and we generalise the argument to permutational wreath products. We also prove that Houghton groups $\mathcal{H}_m$ with $m\geq 2$ and Baumslag-Solitar groups…
The graph G(p) associated with the p-groups of maximal class is a major tool in their classification. We introduce a subgraph of the graph G(p) called its frame. Its construction is based on the Lazard correspondence. We show that every…
We prove that torsion subgroups of groups defined by C(6), C(4)-T(4) or C(3)-T(6) small cancellation presentations are finite cyclic groups. This follows from a more general result on the existence of fixed points for locally elliptic…