Source author record

Mikhail Ershov

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

9works
6topics
4close collaborators

Published work

9 publications

preprint2026arXiv

On finite presentability of some partial Torelli subgroups of Aut(F_n)

Let FnF_n be the free group of rank nn, and let ρab:Aut(Fn)→GLn(Z)ρ_{ab}:\mathrm{Aut}(F_n)\to \mathrm{GL}_n(\mathbb Z) be the map induced by the natural projection Fn→ZnF_n\to\mathbb Z^n. It is a long-standing open problem whether the subgroup of IA\mathrm{IA}-automorphisms IAn=Kerρab\mathrm{IA}_n=\mathrm{Ker}ρ_{ab} is finitely presented for n≥4n\geq 4. In this paper we establish finite presentability of certain infinite index subgroups of Aut(Fn)\mathrm{Aut}(F_n) containing IAn\mathrm{IA}_n. In the terminology of Putman, these subgroups are natural analogues of partial Torelli subgroups of mapping class groups.

preprint2022arXiv

On the second cohomology of the norm one group of a p-adic division algebra

Let FF be a pp-adic field, that is, a finite extension of Qp\mathbb Q_p. Let DD be a finite-dimensional central division algebra over FF and let SL1(D)SL_1(D) be the group of elements of reduced norm 11 in DD. Prasad and Raghunathan proved that H2(SL1(D),R/Z)H^2(SL_1(D),\mathbb R/\mathbb Z) is a cyclic pp-group whose order is bounded from below by the number of pp-power roots of unity in FF, unless DD is a quaternion algebra over Q2\mathbb Q_2. In this paper we give an explicit upper bound for the order of H2(SL1(D),R/Z)H^2(SL_1(D),\mathbb R/\mathbb Z) for p≥5p\geq 5 and determine H2(SL1(D),R/Z)H^2(SL_1(D),\mathbb R/\mathbb Z) precisely when FF is cyclotomic, p≥19p\geq 19 and the degree of DD is not a power of pp.

preprint2014arXiv

Property (T) for groups graded by root systems

We introduce and study the class of groups graded by root systems. We prove that if Φ is an irreducible classical root system of rank at least 2 and G is a group graded by Φ, then under certain natural conditions on the grading, the union of the root subgroups is a Kazhdan subset of G. As the main application of this theorem we prove that for any reduced irreducible classical root system Φ of rank at least 2 and a finitely generated commutative ring R with 1, the Steinberg group St_Φ(R) and the elementary Chevalley group E_Φ(R) have property (T). We also show that there exists a group with property (T) which maps onto all finite simple groups of Lie type and rank at least 2, thereby providing a "unified" proof of expansion in these groups.

preprint2014arXiv

The first L2L^2-Betti number and approximation in arbitrary characteristic

Let G be a finitely generated group and (G_i) a descending chain of finite index normal subgroups of G. Given a field K, we consider the sequence b_1(G_i;K)/[G:G_i] of normalized first Betti numbers of G_i with coefficients in K, which we call a K-approximation for b_1^(2)(G), the first L^2-Betti number of G. In this paper we address the questions of when Q-approximation and F_p-approximation have a limit, when these limits coincide, when they are independent of the sequence (G_i) and how they are related to b_1^(2)(G). In particular, we show that the limit of the sequence b_1(G_i;F_p)/[G:G_i] is greater than or equal to b_1^(2)(G) under the assumptions that (G_i) has trivial intersection and each G/G_i is a finite p-group.

preprint2011arXiv

Abstract commensurators of profinite groups

In this paper we initiate a systematic study of the abstract commensurators of profinite groups. The abstract commensurator of a profinite group GG is a group Comm(G)Comm(G) which depends only on the commensurability class of GG. We study various properties of Comm(G)Comm(G); in particular, we find two natural ways to turn it into a topological group. We also use Comm(G)Comm(G) to study topological groups which contain GG as an open subgroup (all such groups are totally disconnected and locally compact). For instance, we construct a topologically simple group which contains the pro-2 completion of the Grigorchuk group as an open subgroup. On the other hand, we show that some profinite groups cannot be embedded as open subgroups of compactly generated topologically simple groups. Several celebrated rigidity theorems, like Pink's analogue of Mostow's strong rigidity theorem for simple algebraic groups defined over local fields and the Neukirch-Uchida theorem, can be reformulated as structure theorems for the commensurators of certain profinite groups.

preprint2011arXiv

Groups of positive weighted deficiency and their applications

In this paper we introduce the concept of weighted deficiency for abstract and pro-pp groups and study groups of positive weighted deficiency which generalize Golod-Shafarevich groups. In order to study weighted deficiency we introduce weighted versions of the notions of rank for groups and index for subgroups and establish weighted analogues of several classical results in combinatorial group theory, including the Schreier index formula. Two main applications of groups of positive weighted deficiency are given. First we construct infinite finitely generated residually finite pp-torsion groups in which every finitely generated subgroup is either finite or of finite index -- these groups can be thought of as residually finite analogues of Tarski monsters. Second we develop a new method for constructing just-infinite groups (abstract or pro-pp) with prescribed properties; in particular, we show that graded group algebras of just-infinite groups can have exponential growth. We also prove that every group of positive weighted deficiency has a hereditarily just-infinite quotient. This disproves a conjecture of Boston on the structure of quotients of certain Galois groups and solves Problem~15.18 from Kourovka notebook.

preprint2011arXiv

The congruence subgroup property for AutF2Aut F_2: A group-theoretic proof of Asada's theorem

The goal of this paper is to give a group-theoretic proof of the congruence subgroup property for Aut(F2)Aut(F_2), the group of automorphisms of a free group on two generators. This result was first proved by Asada using techniques from anabelian geometry, and our proof is, to a large extent, a translation of Asada's proof into group-theoretic language. This translation enables us to simplify many parts of Asada's original argument and prove a quantitative version of the congruence subgroup property for Aut(F2)Aut(F_2).

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.