Related papers: The congruence subgroup problem for branch groups

We construct a family of groups which generalize the Hanoi towers group and study the congruence subgroup problem for the groups in this family. We show that unlike the Hanoi towers group, the groups in this generalization are just infinite…

A theoretical framework is established for explicitly calculating rigid kernels of self-similar regular branch groups. This is applied to a new infinite family of branch groups in order to provide the first examples of self-similar, branch…

In 2012, Bartholdi, Siegenthaler, and Zalesskii computed the rigid kernel of the Hanoi towers group. We present a simpler proof that the rigid kernel is the Klein 4 group. In the course of the proof, we also compute the rigid stabilizers…

Ng and Schauenburg proved that the kernel of a $(2+1)$-dimensional topological quantum field theory representation of $\mathrm{SL}(2, \mathbb{Z})$ is a congruence subgroup. Motivated by their result, we explore when the kernel of an…

We give here a simple proof of the centrality of the congruence subgroup kernel in the higher rank isotropic case.

We answer a question of Bartholdi, Siegenthaler and Zalesskii, showing that the congruence subgroup problem for branch groups is independent of the branch action on a tree. We prove that the congruence topology of a branch group is…

We introduce two families of examples of groups acting on trees, one consisting of group amalgamations and the other consisting of HNN-extensions, motivated by the problems of $C^*$-simplicity and unique trace property. Moreover, we prove…

Let $G$ be a finite group, $\Z G$ the integral group ring of $G$ and $\U(\Z G)$ the group of units of $\Z G$. The Congruence Subgroup Problem for $\U(\Z G)$ is the problem of deciding if every subgroup of finite index of $\U(\Z G)$ contains…

A number of years ago, Kumar Murty pointed out to me that the computation of the fundamental group of a Hilbert modular surface ([7],IV,${\S}$6), and the computation of the congruence subgroup kernel of SL(2) ([6]) were surprisingly…

In this work, we provide the first example of an infinite family of branch groups in the class of non-contracting self-similar groups. We show that these groups are very strongly fractal, not regular branch, and of exponential growth.…

Let S be a smooth affine algebraic curve, and let S' be the Riemann surface obtained by removing a point from S. We provide evidence for the congruence subgroup property of the mapping class group Mod(S') by showing that its congruence…

We provide a class of non-contracting groups containing an infinite family of fractal and weakly regular branch groups, and study certain properties including abelianization, just infiniteness, and word problem. We present an example of a…

The congruence subgroup property is established for the modular representations associated to any modular tensor category. This result is used to prove that the kernel of the representation of the modular group on the conformal blocks of…

We prove the centrality of the congruence kernel for the elementary subgroup of a Chevalley group G of rank >1 over an arbitrary noetherian ring R (under some minor restrictions on R if G is of type C_n or G_2).

We propose a generalisation of the congruence subgroup problem for groups acting on rooted trees. Instead of only comparing the profinite completion to that given by level stabilizers, we also compare pro-$\mathcal{C}$ completions of the…

In this paper, we study the coarse kernel of a group action, namely the normal subgroup of elements that translate every point by a uniformly bounded amount. We give a complete algebraic characterization of this object. We specialize to…

We prove the kernel estimates related to subordinated semigroups on homogeneous trees. We study the long time propagation problem. We exploit this to show exit time estimates for (large) balls. We use an abstract setting of metric measure…

In this paper we elaborate on the structure of the semigroup tree and the regularities on the number of descendants of each node observed earlier. These regularites admit two different types of behavior and in this work we investigate which…

We describe a criterion for a real or complex hyperbolic lattice to admit a RFRS tower that consists entirely of congruence subgroups. We use this to show that certain Bianchi groups $\mathrm{PSL}(\mathcal{O}_d)$ are virtually fibered on…

There is a forgetful map from the mapping class group of a punctured surface to that of the surface with one fewer puncture. We prove that finitely generated purely pseudo-Anosov subgroups of the kernel of this map are convex cocompact in…