Hostname: page-component-745bb68f8f-g4j75 Total loading time: 0 Render date: 2025-02-05T15:00:18.996Z Has data issue: false hasContentIssue false

The Hanna Neumann conjecture for surface groups

Published online by Cambridge University Press:  12 October 2022

Yago Antolín
Affiliation:
Departamento de Álgebra, Geometría y Topología, Universidad Complutense de Madrid, Spain yantolin@ucm.es Instituto de Ciencias Matemáticas, CSIC-UAM-UC3M-UCM, Madrid, Spain
Andrei Jaikin-Zapirain
Affiliation:
Departamento de Matemáticas, Universidad Autónoma de Madrid, Spain andrei.jaikin@uam.es Instituto de Ciencias Matemáticas, CSIC-UAM-UC3M-UCM, Madrid, Spain
Rights & Permissions [Opens in a new window]

Abstract

The Hanna Neumann conjecture is a statement about the rank of the intersection of two finitely generated subgroups of a free group. The conjecture was posed by Hanna Neumann in 1957. In 2011, a strengthened version of the conjecture was proved independently by Joel Friedman and by Igor Mineyev. In this paper we show that the strengthened Hanna Neumann conjecture holds not only in free groups but also in non-solvable surface groups. In addition, we show that a retract in a free group and in a surface group is inert. This implies the Dicks–Ventura inertia conjecture for free and surface groups.

Type
Research Article
Creative Commons
Creative Common License - CCCreative Common License - BY
This is an Open Access article, distributed under the terms of the Creative Commons Attribution licence (http://creativecommons.org/licenses/by/4.0), which permits unrestricted re-use, distribution, and reproduction in any medium, provided the original article is properly cited. Compositio Mathematica is © Foundation Compositio Mathematica.
Copyright
© 2022 The Author(s)

1. Introduction

Let $G$ be a group. We say that $G$ satisfies the Howson property if the intersection of two finitely generated subgroups of $G$ is again finitely generated. This property was introduced by Howson [Reference HowsonHow54] where he proved that it holds for free groups. In fact, Howson gave an effective bound for the number of generators of the intersection which was improved few years later by H. Neumann [Reference NeumannNeu56].

Let $d(G)$ denote the number of generators of a group $G$. H. Neumann showed that if $U$ and $W$ are non-trivial finitely generated subgroups of a free group, then

\[ d(U\cap W)-1\le 2 (d(U)-1)(d(W)-1) \]

and she conjectured that, in fact, the factor 2 can be omitted. This conjecture became known as the Hanna Neumann conjecture.

In 1980, W. Neumann improved the result of H. Neumann. For a group $G$ we put $\overline {d} (G)=\max \{0,d(G)-1\}$. W. Neumann showed that if $U$ and $W$ are finitely generated subgroups of a free group $F$, then

\[ \sum_{x\in U \backslash F/W} \overline{d} (U\cap xWx^{-1})\le 2 \overline{d}(U) \overline{d}(W) \]

and he also conjectured that again the factor 2 can be omitted. This conjecture became known as the strengthened Hanna Neumann conjecture. It was proved independently by Friedman [Reference FriedmanFri14] and by Mineyev [Reference MineyevMine12] in 2011. These were also the first proofs of the Hanna Neumann conjecture. Dicks presented two simplifications of the previous proofs (see [Reference DicksDic11] and [Reference FriedmanFri14, appendix]).

In [Reference Jaikin-ZapirainJai17], the second author proved the strengthened Hanna Neumann conjecture for free pro-$p$ groups. The proofs of Friedman and Mineyev used combinatorial and geometric aspects of free groups. This kind of techniques are not available (or probably not enough developed) in the world of pro-$p$ groups and, therefore, Jaikin-Zapirain's proof used a homological approach. It turned out that this new method (with suitable modifications) gave also a new proof of the original strengthened Hanna Neumann conjecture for free groups. In [Reference Jaikin-Zapirain and ShustermanJS19], Jaikin-Zapirain and Shusterman developed further the pro-$p$ part of [Reference Jaikin-ZapirainJai17] and showed that the strengthened Hanna Neumann conjecture holds for non-solvable Demushkin pro-$p$ groups (the Demushkin pro-$p$ groups are the Poincaré duality pro-$p$ groups of cohomological dimension 2).

By a surface group we mean the fundamental group of a compact closed surface of negative Euler characteristic. In the orientable case, surface groups admit presentations of the form $\langle x_1,\ldots,x_n, y_1,\ldots, y_n|\ [x_1y_1]\cdots [x_n,y_n]=1\rangle$ ($n\ge 2$); and in the non-orientable closed case it is $\langle x_1,\ldots, x_n|\ x_1^{2}\cdots x_n^{2}=1\rangle$ $(n\ge 3)$. Although free groups arise as fundamental groups of non-closed surfaces of negative Euler characteristic, we do not consider free groups as surface groups.

We note that all surface groups but $\langle a,b,c \mid a^{2}b^{2}c^{2}=1\rangle$ are limit groups, and the latter has an index two subgroup that is a limit group. The class of virtually limit groups plays an important role throughout this work.

In this paper, we develop the discrete part of [Reference Jaikin-ZapirainJai17], and we prove the strengthened Hanna Neumann conjecture for surface groups.

Theorem 1.1 Let $G$ be a surface group. Then for any finitely generated subgroups U and $W$ of $G$,

\[ \sum_{x\in U \backslash G/W} \overline{d} (U\cap xWx^{-1})\le \overline{d}(U) \overline{d}(W). \]

In the context of the Hanna Neumann conjecture, the best previous bound when $G$ is an orientable surface group was obtained by Soma in [Reference SomaSom90, Reference SomaSom91]: $\overline {d}(U\cap W)\le 1161 \cdot \overline {d}(U)\overline {d} (W)$.

Theorem 1.1 is obtained from the following generalization of the strengthened Hanna Neumann conjecture. Let $\Gamma$ be a virtually $FL$-group. Then we define its Euler characteristic as

\[ \chi(\Gamma)=\frac 1{|\Gamma:\Gamma_0|}\sum_{i=0}^ \infty (-1)^{i} \dim_{\mathbb{Q}} H_i(\Gamma_0, \mathbb{Q}), \]

where $\Gamma _0$ is an $FL$-subgroup of $\Gamma$ of finite index.

Let $\overline {\chi }(\Gamma )=\max \{0,-\chi (\Gamma )\}$. Observe that for a non-trivial finitely generated free group $\Gamma$, $\overline {\chi }(\Gamma )=\overline {d} (\Gamma )$, for a surface group $\Gamma$ we have $\overline {\chi }(\Gamma )=\overline {d} (\Gamma )-1$ and for a finitely generated virtually abelian group $\Gamma$, $\overline {\chi }(\Gamma )=0$.

Theorem 1.2 Let $G$ be a surface group. Then for every two finitely generated subgroups $U$ and $W$ of $G$,

\[ \sum_{x\in U \backslash G/W} \overline{\chi} (U\cap xWx^{-1})\le \overline{\chi}(U) \overline{\chi}(W). \]

We conjecture that the previous theorem holds in a greater generality. Recall that the class of limit groups coincides with the class of constructible limit groups, and from that one can deduce that they are fundamental groups of finite $CW$-complexes [Reference WiltonWil09, Corollary 4.11], and, thus, they are $FL$. As finitely generated subgroups of limit groups are limit groups, and limit groups satisfy Howson's property [Reference DahmaniDah03], we see that the family of finitely generated subgroups of a limit group is a family of $FL$-subgroups closed under intersections and conjugations. We believe that Theorem 1.2 can be extended further and we propose the following conjecture.

Conjecture 1 (The geometric Hanna Neumann conjecture)

Let $G$ be a limit group. Then for every two finitely generated subgroups $U$ and $W$ of $G$,

\[ \sum_{x\in U \backslash G/W} \overline{\chi} (U\cap xWx^{-1})\le \overline{\chi}(U) \overline{\chi}(W). \]

Note that by Theorem 9.4, the left-hand side of the above inequality is known to be finite.

The $L^{2}$-independence and $L^{2}$-Hall properties are two new technical notions that we introduce in this paper (see § 4 for definitions). In this paper, we prove that retracts in free and surface groups are $L^{2}$-independent. In particular, this implies that surface groups are $L^{2}$-Hall. Further understanding of these new concepts would help to make progress on Conjecture 1. For example, the proof of $L^{2}$-Hall property for limit groups would lead to the solution of the conjecture in the case of hyperbolic limit groups.

Theorem 1.3 Let $G$ be a hyperbolic limit group. Assume that $G$ satisfies the $L^{2}$-Hall property. Then the geometric Hanna Neumann conjecture holds for $G$.

Recall that a subgroup $U$ of a group $G$ is called inert if for every subgroup $H$ of $G$, $d(H\cap U) \le d(H)$. In addition, to Theorem 1.1, the consideration of $L^{2}$-independence helps us to show that a retract in a free or a surface group is inert.

Theorem 1.4 Let $G$ be either a free or a surface group. Then any retract in $G$ is inert.

As a consequence we obtain the Dicks–Ventura inertia conjecture for free groups [Reference Dicks and VenturaDV96, Problem 5], [Reference VenturaVen02, Conjecture 8.1] and the analogous result for surface groups. This conjecture has its origin in an influential paper of Bestvina and Handel [Reference Bestvina and HandelBH92], where a conjecture of Scott was proved: the subgroup of elements of a free group of rank $n$ fixed by a given automorphism has rank at most $n$.

Corollary 1.5 (The Dicks–Ventura inertia conjecture)

Let $G$ be either a free or a surface group and let $\mathcal {F}$ be a finite collection of endomorphisms of $G$. Then

\[ \operatorname{Fix}(\mathcal{F})=\{g\in G:\ \phi(g)=g\textrm{ for all $\phi\in \mathcal{F}$}\} \]

is inert in $G$. In particular, $d(\operatorname {Fix}(\mathcal {F}))\le d(G)$.

Proof. Assume first that $G$ is a finitely generated free group. The fact that the inertia conjecture follows from inertia of retracts (i.e. our Theorem 1.4) is well-known (see the discussion of [Reference VenturaVen02, Conjecture 81]) and we reproduce it for the convenience of the reader.

As the intersection of inert subgroups is inert, without loss of generality, we can assume that $\mathcal {F}$ consists of a single endomorphism $\phi$. The case when $\phi$ is injective was proved in [Reference Dicks and VenturaDV96, Theorem IV.5.5]. Consider an arbitrary endomorphism $\phi$. Let

\[ \phi^{\infty }(G)=\cap _{i=0}^{\infty} \phi^{i}(G). \]

Then by [Reference TurnerTur96, Theorem 1], $\phi ^{\infty }(G)$ is a retract in $G$, and, thus, by Theorem 1.4, we only have to show that $\operatorname {Fix}(\phi )$ is inert in $\phi ^{\infty }(G)$. By [Reference Imrich and TurnerIT89, Theorem 1], the restriction of $\phi$ on $\phi ^{\infty }(G)$ is an automorphism. Thus, [Reference Dicks and VenturaDV96, Theorem IV.5.5] gives us the desired result.

Ventura has pointed out to us that the same reduction argument works in the case of a surface group $G$.

If $\phi$ is not an automorphism, then $\phi (G)$ has infinite index and, hence, it is free. In particular, $\phi ^{\infty }(G)$ is still a retract of $G$ and the argument applies verbatim. The only difference is when $\phi$ is an automorphism. However, this case was proved already by Wu and Zhang in [Reference Wu and ZhangWZ14, Corollary 1.5].

Let us briefly describe the structure of the paper. In § 2 we include main definitions and facts that we use in the paper. In § 3 we introduce $L^{2}$-Betti numbers $\beta _k^{K[G]}(M)$ for $K[G]$-modules $M$ with $K$ a subfield of $\mathbb {C}$ and explain the Atiyah and Lück approximation conjectures. The $L^{2}$-independence and $L^{2}$-Hall properties are discussed in § 4. In § 5 we prove Theorem 1.4. In § 6 we introduce an auxiliary ring $L_\tau [G]$ which already played an important role in Dicks’ simplification of Freidman's proof. We finish the proof of Theorems 1.2 and 1.1 in § 7. In § 8 we reformulate the geometric Hanna Neumann conjecture in terms of an inequality for $\beta _1^{\mathbb {Q}[G]}$. A key step of our proof of Theorem 1.3 is to find a specific submodule of $K[G/U]\otimes K[G/W]$ with trivial $\beta _1^{K[G]}$. This is done in § 11. However, previously we present two auxiliary properties. In § 9 we prove a generalization of Howson property for quasi-convex subgroups of hyperbolic groups and for subgroups of limit groups and in § 10 we prove the Wilson–Zalesskii property for quasi-convex subgroups of hyperbolic virtually compact special groups. We finish the proof of Theorem 1.3 in § 12 and we describe also some limitations of our methods in order to extend them to more cases of Conjecture 1.

Remark 1.6 Theorems 1.2 and 1.4 and Corollary 1.5 hold also for fundamental groups of surfaces of non-negative Euler characteristic (i.e. the trivial group, $\mathbb {Z}/2\mathbb {Z}$, $\mathbb {Z}^{2}$ and $\langle a,b\mid a^{2}b^{2}\rangle$, the fundamental group of a Klein bottle). However, the results are either trivial, or use simple arguments specific for these cases. On the other hand, it is easy to produce a counter-example of Theorem 1.1 when $G$ is virtually $\mathbb {Z}^{2}$.

2. Preliminaries

Although our main result is about surface groups, many steps of our proof hold in more general contexts of word hyperbolic, limit or virtually special compact groups. In this section, we recall all the relevant definitions and facts about these groups.

Let $Y$ be a geodesic metric space. A subset $Z\subseteq Y$ is called quasi-convex if there exists $\epsilon \ge 0$ such that for any points $z_1,z_2\in Z$, any geodesic joining these points is contained in the closed $\epsilon$-neighborhood of $Z$.

A geodesic metric space $Y$ is called (Gromov) hyperbolic if there exists a constant $\delta \ge 0$ such that for any geodesic triangle $\Delta$ in $Y$, any side of $\Delta$ is contained in the closed $\delta$-neighborhood of the union of other sides. A finitely generated group $G$ is said to be hyperbolic if its Cayley graph with respect to some finite generating set is a hyperbolic metric space. Quasi-convex subgroups of $G$ are very important in the study of hyperbolic groups. Such subgroups are themselves hyperbolic and are quasi-isometrically embedded in $G$ (see, for example, [Reference Alonso, Brady, Cooper, Ferlini, Lustig, Mihalik, Shapiro and ShortABCF+90]). Moreover, for finitely generated subgroups of hyperbolic groups, being quasi-isometrically embedded in $G$ is equivalent to be quasi-convex. The intersection of two quasi-convex subgroups in a hyperbolic group is quasi-convex by a result of Short [Reference ShortSho91].

For a subgroup $H\le G$, we write $H^{g}=gHg^{-1}$. A subgroup $H$ of a group $G$ is called malnormal if for every $x\in G\setminus H$, $H^{x}\cap H=\{1\}$.

A finitely generated group $G$ is a limit group if, for any finite subset $X$ of $G$, there exists a homomorphism $f \colon G\to F$ to a free group so that the restriction of $f$ on $X$ is injective. By a result of Wilton [Reference WiltonWil08], a finitely generated subgroup of a limit group is a virtual retract. Therefore, in a limit group all finitely generated subgroups are quasi-isometrically embedded and, in particular, in hyperbolic limit groups finitely generated subgroups are quasi-convex.

A right-angled Artin group (RAAG) is a group which can be given by a finite presentation, where the only defining relators are commutators of the generators. To construct such a group, one usually starts with a finite graph $\Gamma$ with vertex set $V$ and edge set $E$. One then defines the corresponding RAAG $A(\Gamma )$ by the following presentation:

\[ A(\Gamma)=\langle V \mid uv=vu \text{ whenever } \{u,v\}\in E\rangle. \]

We always view $A(\Gamma )$ as a metric space with respect to the word metric induced by $V$ when considering quasi-convexity of subgroups.

Special cube complexes were introduced in [Reference Haglund and WiseHW08]. A group is called (compact) special if it is the fundamental group of a non-positively curved (compact) special cube complex. If $G$ is the fundamental group of $X$, a (compact) special cube complex, then $\tilde {X}$, the universal cover of $X$, is a CAT(0) cubical complex where $G$ acts. By a quasi-convex subgroup of $G$ we mean a subgroup of $H$ with a quasi-convex orbit of vertices in $\tilde {X}$ with respect to the combinatorial metric. A nice group theoretic characterization of these groups is that a group is (compact) special if and only if it is a (quasi-convex) subgroup of a RAAG (see [Reference HaglundHag08, Reference Haglund and WiseHW08]). By [Reference HaglundHag08, Theorem F], quasi-convex subgroups of RAAGs are virtual retracts. Thus, we have the following theorem that will be used several times.

Theorem 2.1 Any quasi-convex subgroup of a virtually compact special group is a virtual retract.

By a result of Wise [Reference WiseWis12, Corollary 16.11], a limit group is virtually compact special.

In this paper, we explore profinite properties of virtually compact special groups. Recall that if $\mathcal {S}=\{S_1,\ldots, S_k\}$ is a family of disjoint subsets of a group $G$, we say that a normal subgroup $N$, of $G$ separates $\mathcal {S}$ if $S_1N,\ldots, S_kN$ are disjoint. The family $\mathcal {S}$ is separable if there exists a normal subgroup of $G$ of finite index that separates $\mathcal {S}$. A subset $S$ of $G$ is separable if for every $g\in G \setminus S$, the family $\{S,g\}$ is separable. A group is residually finite if the trivial element is separable. For example, since a quasi-convex subgroup $H$ of a virtually compact special group $G$ is virtually a retract and $G$ is residually finite, any finite family $\{x_1H,\ldots, x_kH\}$ of left cosets of $H$ is separable. For hyperbolic groups this is the property GFERF introduced in [Reference MinasyanMina06] and we use the following theorem.

Theorem 2.2 [Reference MinasyanMina06, Theorem 1.1 and Remark 2.2]

Assume $G$ is a virtually compact special hyperbolic group (or, more generally, a GFERF hyperbolic group), and $H_1,\dots, H_s$ are quasi-convex subgroups of $G$, $s\in \mathbb {N}$ and $g_0,\dots, g_s\in G$. Then the product $g_0H_1g_1\dots g_{s-1}H_s g_s$ is separable in $G$.

3. $L^{2}$-Betti numbers, the strong Atiyah conjecture and the Lück approximation

Let $G$ be a discrete group and let $l^{2}(G)$ denote the Hilbert space with Hilbert basis the elements of $G$; thus, $l^{2}(G)$ consists of all square summable formal sums $\sum _{g\in G }a_gg$ with $a_g\in \mathbb {C}$ and inner product

\[ \bigg\langle \sum_{g\in G }a_gg,\sum_{h\in G }b_hh\bigg\rangle =\sum_{g \in G }a_g\overline{b_g}. \]

The left- and right-multiplication action of $G$ on itself extend to left and right actions of $G$ on $l^{2}( G )$. The right action of $G$ on $l^{2}( G )$ extends to an action of $\mathbb {C}[G]$ on $l^{2}( G )$ and so we obtain that the group algebra $\mathbb {C} [G]$ acts faithfully as bounded linear operators on $l^{2}( G )$. The ring $\mathcal {N}( G )$ is the ring of bounded operators on $l^{2}(G)$ which commute with the left action of $G$. We often consider $\mathbb {C}[G]$ as a subalgebra of $\mathcal {N}(G)$. The ring $\mathcal {N}( G )$ satisfies the left and right Ore conditions (a result proved by Berberian in [Reference BerberianBer82]) and its classical ring of fractions is denoted by $\mathcal {U}( G )$. The ring $\mathcal {U}( G )$ can be also described as the ring of densely defined (unbounded) operators which commute with the left action of $G$.

The computations of $L^{2}$-Betti numbers have been algebraized through the seminal works of Lück [Reference LückLüc98a, Reference LückLüc98b]. The basic observation is that one can use a dimension function $\dim _{\mathcal {U}(G)}$, which is defined for all modules over $\mathcal {U}(G)$ and compute the $k$th $L^{2}$-Betti number of a $\mathbb {C}[G]$-module $M$ using the following formula:

\[ \beta^{\mathbb{C}[G]}_k(M)=\dim_{\mathcal{U}(G)} \textrm{Tor}^{\mathbb{C}[G]}_k(\mathcal{U}(G), M). \]

We recommend the book [Reference LückLüc02] for the definition of $\dim _{\mathcal {U}(G)}$ and its properties.

The ring $\mathcal {U}(G)$ is an example of a $*$-regular ring. Already in the case $G=\langle t\rangle \cong \mathbb {Z}$ it is quite complicated as a ring (it is isomorphic to $L^{1}(S^{1})$). Therefore, sometimes, it is more convenient to consider a smaller object $\mathcal {R}_{\mathbb {C}[G]}$ introduced by Linnell and Schick [Reference Linnell and SchickLS12].

Let $K$ be a subfield of $\mathbb {C}$. We define $\mathcal {R}_{K[G]}$ as the $*$-regular closure of $K[G]$ in $\mathcal {U}(G)$, i.e. $\mathcal {R}_{K[G]}$ is the smallest $*$-regular subring of $\mathcal {U}(G)$ that contains $K[G]$. We can also define a dimension function $\dim _{\mathcal {R}_{K[G]}}$ on $\mathcal {R}_{K[G]}$-modules and use it in order to define the $L^{2}$-Betti numbers (see [Reference Jaikin-ZapirainJai19a, Reference Jaikin-ZapirainJai19b]). If $M$ is a $K[G]$-module, then its $L^{2}$-Betti numbers are computed using the formula

\[ \beta^{K[G]}_k(M)=\dim_{\mathcal{R}_{K[G]}} \textrm{Tor}^{K[G]}_k(\mathcal{R}_{K[G]}, M). \]

The object $\mathcal {R}_{K[G]}$ is much simpler that $\mathcal {U}(G)$. For example, in the case $G=\langle t\rangle \cong \mathbb {Z}$, $\mathcal {R}_{K[G]}$ is isomorphic to $K(t)$ and $\dim _{\mathcal {R}_{K[G]}}$ is the dimension of $K(t)$-vector spaces. More generally, the strong Atiyah conjecture (see [Reference LückLüc02]) predicts that if $G$ is torsion-free, then all numbers $\beta ^{K[G]}_k(M)$ are integers, $\mathcal {R}_{K[G]}$ is a division algebra and $\dim _{\mathcal {R}_{K[G]}}$ is the dimension of $\mathcal {R}_{K[G]}$-vector spaces.

In this paper, we use the solution of the strong Atiyah conjecture in the case where $G$ is a torsion-free virtually compact special group.

Proposition 3.1 [Reference Dodziuk, Linnell, Mathai, Schick and YatesDLMS+03, Reference SchreveSch14, Reference Jaikin-ZapirainJai19a]

Let $G$ be a torsion-free virtually compact special group, and let $K$ be a subfield of $\mathbb {C}$. Then all numbers $\beta ^{K[G]}_k(M)$ are integers and $\mathcal {R}_{K[G]}$ is a division algebra.

Another important conjecture about $L^{2}$-Betti numbers is the Lück approximation conjecture (see [Reference LückLüc02]). In this paper, we use the solution of this conjecture in the case of approximation by sofic groups.

Proposition 3.2 [Reference LückLüc94, Reference Dodziuk, Linnell, Mathai, Schick and YatesDLMS+03, Reference Elek and SzabóES05, Reference Jaikin-ZapirainJai19a]

Let $G$ be a group and let $G>G_1>G_2>\ldots$ be a chain of normal subgroups with trivial intersection such that $G/G_i$ are sofic. Let $K$ be a subfield of $\mathbb {C}$ and let $M$ be a finitely presented $K[G]$-module. Then

\[ \displaystyle \dim_{\mathcal{R}_{K[G]}} \mathcal (\mathcal{R}_{K[G]} \displaystyle \otimes_{K[G]} M)=\displaystyle \lim_{i\to \infty} \dim_{\mathcal{R}_{K[G/G_i]}} (\mathcal{R}_{K[G/G_i]}\displaystyle \otimes _{K[G]} M). \]

In this paper, we consider only the fields $K$ which are subfields of $\mathbb {C}$. Let $M$ be a $K[G]$-module. By [Reference Jaikin-ZapirainJai19a, Corollary 1.7], if $G$ is sofic, then $\beta _k^{K[G]}(M)$ does not depend on the embedding of $K$ into $\mathbb {C}$. Thus, in what follows, if the group $G$ is sofic, we do not indicate the embedding of $K$ into $\mathbb {C}$.

Recall that the $k$th $L^{2}$-Betti number of a group $G$ is defined as $b_k^{(2)}(G)=\dim _{\mathcal {U}(G)} H_k(G; \mathcal {U}(G))$. Thus, we obtain that

\[ b_k^{(2)}(G)=\dim_{\mathcal{U}(G)} \textrm{Tor}_k^{\mathbb{Z}[G]}(\mathcal{U}(G),\mathbb{Z}) =\dim_{\mathcal{R}_{K[G]}} \textrm{Tor}_k^{K[G]}(\mathcal{R}_{K[G]},K) =\beta^{K[G]}_k(K), \]

where $K$ is arbitrary subfield of $\mathbb {C}$. In the case when $G$ is a virtually limit group, we have a good control of its $L^{2}$-Betti numbers.

Proposition 3.3 Let $G$ be a virtually limit group and $K$ a subfield of $\mathbb {C}$. Then

\begin{gather*} \beta^{K[G]}_k(K)=b_{k}^{(2)}(G)=0\quad \textrm{if} k\ge 2. \end{gather*}

In particular,

\[ \overline{\chi}(G)=b_1^{(2)}(G)=\beta_1^{K[G]}(K). \]

Proof. See, for example, [Reference Bridson and KochloukovaBK17, Corollary C].

If $U$ is a subgroup of a group $G$, then $\mathcal {R}_{K[G]}$ is a flat right $\mathcal {R}_{K[U]}$-module and for every left $\mathcal {R}_{K[U]}$-module $M$,

\[ \dim_{\mathcal{R}_{K[G]}} \mathcal{R}_{K[G]} \otimes_{\mathcal{R}_{K[U]}}M=\dim_{\mathcal{R}_{K[U]}} M. \]

This implies the following result.

Proposition 3.4 Let $U$ be a subgroup of a group $G$ and let $M$ be a left $K[U]$-module, then for every $k$,

\[ \beta_k^{K[U]}(M)=\beta_k^{K[G]}(K[G]\otimes_{K[U]} M). \]

4. The $L^{2}$-Hall property for surface groups

Let $U$ be a subgroup of $G$. The embedding of $U$ into $G$ induces the corestriction map

\[ {\rm cor}: H_1(U; \mathcal{U}(G))\to H_1(G;\mathcal{U}(G)). \]

We say that $U$ is $L^{2}$-independent in $G$ if

\[ \dim_{\mathcal{U}(G)} \ker ({\rm cor})=0. \]

We say that the group $G$ is $L^{2}$-Hall, if for every finitely generated subgroup $U$ of $G$, there exists a subgroup $H$ of $G$ of finite index containing $U$ such that $U$ is $L^{2}$-independent in $H$.

The $L^{2}$-independence can also be characterized in terms of $\mathcal {R}_{K[G]}$.

Lemma 4.1 Let $G$ be a group and $K$ a subfield of $\mathbb {C}$. Then a subgroup $U$ of $G$ is $L^{2}$-independent if and only if

\[ \dim_{\mathcal{R}_{K[G]}} \ker ({\rm cor})=0, \]

where ${\rm cor}: H_1(U;\mathcal {R}_{K[G]})\to H_1(G;\mathcal {R}_{K[G]})$ is the corestriction.

Proof. As $\mathcal {R}_{K[G]}$ is von Neumann regular, $\mathcal {U}(G)$ is a flat $\mathcal {R}_{K[G]}$-module and we are done.

If $\mathcal {R}_{K[G]}$ is a semi-simple algebra, Lemma 4.1 implies that in order to show that $U$ is $L^{2}$-independent in $G$, one has to prove that $\ker ({\rm cor})=\{0\}$. In the case of virtually limit groups, we can give also the following description.

Proposition 4.2 Let $G$ be a virtually limit group and let $H_1\le H_2$ be two finitely generated subgroups of $G$. Let $K$ be a subfield of $\mathbb {C}$. Consider the exact sequence

\[ 1\to M\to K[G/H_1]\to K[G/H_2]\to 0. \]

Then $H_1$ is $L^{2}$-independent in $H_2$ if and only if $\beta _1^{K[G]}(M)=0$.

Proof. We have the following exact sequence of $\operatorname {Tor}$-functors:

\begin{align*} &\textrm{Tor}^{K[G]}_2(\mathcal{R}_{K[G]}, K[G/H_2])\to \textrm{Tor}^{K[G]}_1(\mathcal{R}_{K[G]}, M)\\ &\quad \to \textrm{Tor}^{K[G]}_1(\mathcal{R}_{K[G]}, K[G/H_1]) {\stackrel{{\alpha}}{\to}} \textrm{Tor}^{K[G]}_1(\mathcal{R}_{K[G]}, K[G/H_2]). \end{align*}

By Proposition 3.3, $\operatorname {Tor}^{K[G]}_2(\mathcal {R}_{K[G]}, K[G/H_2])\cong \operatorname {Tor}^{K[H_2]}_2(\mathcal {R}_{K[G]}, K)=0$. In addition, the Shapiro lemma provides canonical isomorphisms

\[ \gamma_i: \textrm{Tor}^{K[G]}_1(\mathcal{R}_{K[G]}, K[G/H_i])\to \textrm{Tor}^{K[H_i]}_1(\mathcal{R}_{K[G]}, K)=H_1(H_i; R_{K[G]}) \quad (i=1,2) \]

such that ${\rm cor}=\gamma _2\circ \alpha \circ \gamma _1^{-1}$. Thus, ${\dim _{\mathcal {R}_{K[G]}}} \ker ({\rm cor})=0$ if and only if ${\dim _{\mathcal {R}_{K[G]}}} \ker \alpha = 0$ if and only if $\beta _1^{K[G]}(M)=0$.

Corollary 4.3 Let $U$ be a finitely generated subgroup of a virtual limit group $G$ and $K$ a subfield of $\mathbb {C}$. Then $U$ is $L^{2}$-independent in $G$ if and only if $\beta _1^{K[G]}(I_G/I_U^{G})=0.$

Here $I_G$ (respectively, $I_U$) is the augmentation ideal of $K[G]$ (respectively, $K[U]$) and $I_U^{G}$ is the left ideal of $K[G]$ generated by $I_U$.

Proof. Use Proposition 4.2 and take into account that $K[G/U]\cong K[G]/I_U^{G}$.

In this section, we show that surface groups are $L^{2}$-Hall.

Theorem 4.4 Finitely generated free groups and surface groups are $L^{2}$-Hall.

Let $P$ be a pro-$p$ group. We denote by $d(P)$ the minimal cardinality of a topological generating set of $P$. If $P$ is finitely generated and $L$ is an $\mathbb {F}_p[[P]]$-module, then the functions $\beta _k^{\mathbb {F}_p[[P]]}(L)$ are defined in the following way. Fix a chain $P_1>P_2>P_3>\ldots$ of open normal subgroups of $P$ with trivial intersection and we put

\[ \beta_k^{\mathbb{F}_p[[P]]}(L)=\lim_{i\to \infty} \frac{\dim_{\mathbb{F}_p} H_k(P_i,L)}{|P:P_i|}, \]

assuming that all $\dim _{\mathbb {F}_p} H_k(P_i,L)$ are finite. The limit always exists and it does not depend on the chain (see [Reference Jaikin-ZapirainJai19b, Proposition 11.2]).

An (infinite) Demushkin pro-$p$ group is a Poincaré duality pro-$p$ group of cohomological dimension 2. For the purposes of this paper, it is enough to know that the fundamental group of a closed surface is residually finite 2-group and its pro-$2$ completion is Demushkin. First, let us present the following result whose proof is essentially contained in the proof of [Reference Jaikin-Zapirain and ShustermanJS19, Proposition 7.2].

Proposition 4.5 Let $P$ be an infinite Demushkin pro-$p$ group and let $H$ be a proper closed subgroup of $P$ such that the map $H_1(H; \mathbb {F}_p)\to H_1(P;\mathbb {F}_p)$ is injective. Let $L$ be the kernel of the map $\mathbb {F}_p[[P/H]]\to \mathbb {F}_p$. Then

\[ \beta_1^{\mathbb{F}_p[[P]]}(L)=0 \quad \textrm{and}\quad \beta^{\mathbb{F}_p[[P]]} _0(L)=d(P)-d(H)-1. \]

Proof. As $H$ is a proper subgroup of $P$ and $H_1(H; \mathbb {F}_p)\to H_1(P;\mathbb {F}_p)$ is injective, $H$ is of infinite index, and, thus, $H$ is a free pro-$p$ group. Moreover, because the map $H_1(H; \mathbb {F}_p)\to H_1(P;\mathbb {F}_p)$ is injective, $H$ is finitely generated.

In the proof of [Reference Jaikin-Zapirain and ShustermanJS19, Proposition 7.2], it is shown that $L$ is an one-relator $\mathbb {F}_p[[P]]$-module. Thus, we can produce an exact sequence

\[ 0\to C\to \mathbb{F}_p[[P]]^{d}\to L\to 0, \]

where $C$ is a non-trivial cyclic $\mathbb {F}_p[[P]]$-module. As $\mathbb {F}_p[[P]]$ is a domain, $C\cong \mathbb {F}_p[[P]]$. By [Reference Jaikin-Zapirain and ShustermanJS19, Corollary 6.2], $\beta _1^{\mathbb {F}_p[[P]]}(L)=0$. Hence, $\beta _0^{\mathbb {F}_p[[P]]}(L)=d-1=\chi _P(L)$, where $\chi _P(L)$ is the Euler characteristic of $L$ as a $\mathbb {F}_p[[P]]$-module.

On the other hand, using the exact sequence

\[ 0\to L\to \mathbb{F}_p[[P/H]]\to \mathbb{F}_p\to 0, \]

we obtain that

\begin{align*} \chi_P(L)&=\chi_P(\mathbb{F}_p[[P/H]])-\chi_P(\mathbb{F}_p)= \chi_H(\mathbb{F}_p)-\chi_P(\mathbb{F}_p)\\ &= 1-d(H)-(2-d(P))=d(P)-d(H)-1. \end{align*}

In the penultimate equality we have used that $H$ is free and $P$ is Demushkin.

The previous proposition leads to a criterion for $L^{2}$-independence of a subgroup of a free or a surface group.

Proposition 4.6 Let $G$ be a finitely generated free group or a surface group and $U$ a retract of $G$. Then $U$ is $L^{2}$-independent in $G$.

Proof. Without loss of generality, we assume that $U$ is non-trivial and proper. Thus, $G$ is infinite and $U$ is a free group. First consider the case where $G$ is a surface group.

As $U$ is a retract, $H_1(U;\mathbb {F}_2)\to H_1(G;\mathbb {F}_2)$ is injective. Let $P$ be the pro-$2$ completion of $G$. As we have mentioned, $G$ is a Demushkin pro-2 group. Let $P_1>P_2>P_3>\cdots$ be a chain of open normal subgroups of $P$ with trivial intersection. We put $G_i=G\cap P_i$. Let $H$ be the closure of $U$ in $P$. As $U$ is a retract of $G$, $H$ is a free pro-$2$ group, and, thus, it is a proper subgroup of $P$.

The condition $H_1(U;\mathbb {F}_2)\to H_1(G;\mathbb {F}_2)$ is injective implies that $H_1(H;\mathbb {F}_2)\to H_1(P;\mathbb {F}_2)$ is injective and $d(H)=\dim _{\mathbb {F}_p} H_1(U;\mathbb {F}_2)$ (and, thus, $d(H)=d(U)$).

Consider two exact sequences

\[ 0\to M\to \mathbb{Z}[G/U]\to \mathbb{Z}\to 0 \quad\textrm{and}\quad 0\to L\to \mathbb{F}_2[[P/H]]\to \mathbb{F}_2\to 0. \]

Tensoring the first sequence with $\mathbb {F}_2$ over $\mathbb {Z}$, we obtain another exact sequence of $\mathbb {F}_2[G]$-modules,

\[ 0\to \mathbb{F}_2\otimes_\mathbb{Z} M\to \mathbb{F}_2[G/U]\to \mathbb{F}_2\to 0. \]

Put $\overline {M}=\mathbb {F}_2\otimes _\mathbb {Z} M$. As $G$ is pro-$2$ good (see [Reference Grunewald, Jaikin-Zapirain, Pinto and ZalesskiiGJPZ14]),

\[ H_1(G;\mathbb{F}_2[[P]])=\textrm{Tor}_1^{\mathbb{F}_2[G]}(\mathbb{F}_2[[P]],\mathbb{F}_2)=0. \]

Therefore, the sequence

\[ 0\to \mathbb{F}_2[[P]]\otimes_{\mathbb{F}_2[G]} \overline{M}\to \mathbb{F}_2[[P]]\otimes_{\mathbb{F}_2[G]} \mathbb{F}_2[G/U]\to \mathbb{F}_2\to 0 \]

is also exact. As $\mathbb {F}_2[[P]]\otimes _{\mathbb {F}_2[G]} \mathbb {F}_2[G/U]\cong \mathbb {F}_2[[P/H]]$, we obtain that $L\cong \mathbb {F}_2[[P]]\otimes _{\mathbb {F}_2[G]} \overline {M}$ as $\mathbb {F}_2[[P]]$-modules. In particular,

\[ \dim_{\mathbb{F}_2} H_0(G_i ; \overline{M})=\dim_{\mathbb{F}_2}H_0(P_i; \mathbb{F}_2[[P]]\otimes_{\mathbb{F}_2[G]} \overline{M})=\dim_{\mathbb{F}_2} H_0(P_i, L). \]

Thus,

\begin{align*} \lim_{i\to \infty} \frac{\dim _{\mathbb{Q}} \textrm{Tor}_0 ^{\mathbb{Q}[G_i]}(\mathbb{Q}, \mathbb{Q}\otimes_\mathbb{Z} M)}{|G:G_i|} &= \lim_{i\to \infty} \frac{\dim _{\mathbb{Q}} \textrm{Tor}_0 ^{\mathbb{Z}[G_i]}(\mathbb{Q}, M)}{|G: G_i|} \\ &\le \lim_{i\to \infty} \frac{\dim _{\mathbb{F}_2} \textrm{Tor}_0 ^{\mathbb{Z}[G_i]}(\mathbb{F}_2, M)}{|G:G_i|} = \lim_{i\to \infty} \frac{\dim _{\mathbb{F}_2} H_0(G_i ; \overline{M})}{|G:G_i|} \\ &=\lim_{i\to \infty} \frac{\dim _{\mathbb{F}_2} H_0(P_i, L)}{|P:P_i|} {\stackrel{\text{Proposition 4.5}}{=}} d(P)-d(H)-1\\ &=d(G)-d(U)-1. \end{align*}

Consider again the exact sequence $0\to M\to \mathbb {Z}[G/U]\to \mathbb {Z}\to 0$. It induces the exact sequence

\[ 0\to \mathbb{Q}\otimes_\mathbb{Z} M\to \mathbb{Q}[G/U]\to \mathbb{Q}\to 0. \]

The long exact sequences of Tor-functors implies that

\begin{align*} \dim_\mathbb{Q} \textrm{Tor}_1^{\mathbb{Q}[G_i]}(\mathbb{Q}, \mathbb{Q}\otimes_\mathbb{Z} M)&\le \dim _\mathbb{Q} \textrm{Tor}_2^{\mathbb{Q}[G_i]}(\mathbb{Q}, \mathbb{Q}) + \dim_\mathbb{Q} \textrm{Tor}_1^{\mathbb{Q}[G_i]}(\mathbb{Q}, \mathbb{Q}[G/U]) \\ &\quad-\dim_\mathbb{Q} \textrm{Tor}_1^{\mathbb{Q}[G_i]}(\mathbb{Q},\mathbb{Q})+ \dim_\mathbb{Q} \textrm{Tor}_0^{\mathbb{Q}[G_i]}(\mathbb{Q}, \mathbb{Q} \otimes_\mathbb{Z} M)\\ &\quad -\dim_\mathbb{Q} \textrm{Tor}_0^{\mathbb{Q}[G_i]}(\mathbb{Q}, \mathbb{Q}[G/U])+\dim_\mathbb{Q} \textrm{Tor}_0^{\mathbb{Q}[G_i]}(\mathbb{Q}, \mathbb{Q}). \end{align*}

Observe that

\[ \dim _\mathbb{Q} \textrm{Tor}_2^{\mathbb{Q}[G_i]}(\mathbb{Q}, \mathbb{Q})=\dim_\mathbb{Q} \textrm{Tor}_0^{\mathbb{Q}[G_i]}(\mathbb{Q}, \mathbb{Q})=1, \]
\[ \lim _{i\to \infty} \frac{ \dim_\mathbb{Q} \textrm{Tor}_1^{\mathbb{Q}[G_i]}(\mathbb{Q}, \mathbb{Q}[G/U])}{|G:G_i|}=d(U)-1,\quad \lim _{i\to \infty} \frac{ \dim_\mathbb{Q} \textrm{Tor}_1^{\mathbb{Q}[G_i]}(\mathbb{Q}, \mathbb{Q})}{|G:G_i|}=d(G)-2 \]

and, because we assume that $U$ is not trivial,

\[ \lim _{i\to \infty} \frac{ \dim_\mathbb{Q} \textrm{Tor}_0^{\mathbb{Q}[G_i]}(\mathbb{Q}, \mathbb{Q}[G/U])}{|G:G_i|}=0. \]

Putting all limits together, we obtain that

\[ \beta_1^{\mathbb{Q}[G]}(\mathbb{Q}\otimes_\mathbb{Z} M) {\stackrel{\text{Proposition 3.2}}{=}}\lim _{i\to \infty} \frac{ \dim_\mathbb{Q} \textrm{Tor}_1^{\mathbb{Q}[G_i]}(\mathbb{Q}, \mathbb{Q}\otimes_\mathbb{Z} M)}{|G:G_i|}=0. \]

By Proposition 4.2, $U$ is $L^{2}$-independent in $G$.

The remaining case is the case where $G$ is a finitely generated free group. The proof works verbatim just bearing in mind that in Proposition 4.5 one has to change $P$ to be a free pro-$p$ group in the hypothesis, and in the conclusion $\beta ^{\mathbb {F}_p[[P]]} _0(L)=d(P)-d(H)$. In addition, in the proof of Proposition 4.6, one has that the groups $G_i$ are free and, hence, $\dim _\mathbb {Q} \operatorname {Tor}_2^{\mathbb {Q}[G_i]}(\mathbb {Q}, \mathbb {Q})=0$.

Proof of Theorem 4.4 Let $G$ be a finitely generated free group or a surface group and $U$ a finitely generated subgroup of $G$. There exists a subgroup $S$ of finite index in $G$, containing $U$ and such that $U$ is a retract of $S$ (see [Reference HallHal49, Reference ScottSco78]). Now, we can apply Proposition 4.6.

5. The proof of Theorem 1.4

In this section, we prove Theorem 1.4. A similar argument is used later in our proof of Theorem 1.2. A key observation is the following proposition.

Proposition 5.1 Let $G$ be a surface group or a free group and $H$ a subgroup of $G$. Let $K$ be a subfield of $\mathbb {C}$.

  1. (1) Any $K[G]$-submodule of a $K[G]$-module of projective dimension 1 is also of projective dimension 1.

  2. (2) If $M$ is a $K[G]$-module of projective dimension 1 and $\beta _1^{K[G]}(M)=0$. Then $\beta _1^{K[H]}(M)=0$.

Proof. Part (1) is clear when $G$ is free, because $K[G]$ is of global dimension 1. If $G$ is not free, then $K[G]$ is of global dimension 2 and for such rings a submodule of a module of projective dimension 1 is also of projective dimension 1.

In order to show part (2) we have to prove that $\operatorname {Tor}_1^{K[H]}(\mathcal {R}_{K[H]},M)=0$. By Shapiro's lemma,

\[ \textrm{Tor}_1^{K[H]}(\mathcal{R}_{K[H]},M)\cong \textrm{Tor}_1^{K[G]}(\mathcal{R}_{K[H]}\otimes_{K[H]} K[G],M). \]

Observe that $\mathcal {R}_{K[H]}\otimes _{K[H]} K[G]$ is naturally embedded in $\mathcal {R}_{K[G]}$ (see, for example, the discussion after [Reference LinnellLin06, Problem 4.5]). As $M$ is of projective dimension 1 and $\operatorname {Tor}_1^{K[G]}(\mathcal {R}_{K[G]} ,M)=0$, $\operatorname {Tor}_1^{K[G]}(\mathcal {R}_{K[H]}\otimes _{K[H]} K[G],M)=0$ as well.

Proposition 5.2 Let $G$ be a free group or a surface group and $U$ an $L^{2}$-independent subgroup of $G$. If $H$ is a finitely generated subgroup of $G$, then $H\cap U$ is $L^{2}$-independent in $H$. In particular, $d(H\cap U)\le d(H)$.

Proof. Without loss of generality we may assume that $G\ne U$. Hence, $G$ is infinite and $U$ is free. By Corollary 4.3, because $U$ is an $L ^{2}$-independent subgroup of $G$, $\beta ^{K[G]}_1(I_G/I_U^{G})=0$.

As $U$ is free, $K[G/U]\cong K[G]/I_U^{G}$ is of projective dimension 1. By Proposition 5.1(1), $I_G/I_U^{G}$ is also of projective dimension 1. Therefore, by Proposition 5.1(2), $\beta ^{K[H]}_1(I_G/I_U^{G})=0$ as well.

Put $M=I_G/I_U^{G}$ and $L=I_H/I_{U\cap H}^{H}$. In the previous paragraph we have obtained that

\[ \textrm{Tor}_1^{K[H]}(\mathcal{R}_{K[H]}, M)=0. \]

As $I_{U\cap H}^{H}=I_H\cap I_U^{G}$, $L$ is a $K[H]$-submodule of $M$. Let $T\subset G$ be a set of representatives of the double $(H,U)$-cosets in $G$ and assume that $1\in T$. Consider the $K[H]$-module $M/L$. Then we have that

\[ M/L\cong K[G/U]/K[H/(U\cap H)]\cong \oplus_{t\in T\setminus\{1\}} K[H/( U^{t}\cap H)]. \]

As $U^{t}\cap H$ are free groups, $M/L$ is of projective dimension 1 as a $K[H]$-module, and, thus,

\[ \textrm{Tor}_2^{K[H]}(\mathcal{R}_{K[H]}, M/L)=0. \]

Thus, from the exact sequence

\[ \textrm{Tor}_2^{K[H]}(\mathcal{R}_{K[H]}, M/L)\to \textrm{Tor}_1^{K[H]}(\mathcal{R}_{K[H]}, L)\to \textrm{Tor}_1^{K[H]}(\mathcal{R}_{K[H]}, M) \]

we obtain that $\operatorname {Tor}_1^{K[H]}(\mathcal {R}_{K[H]}, L)=0$ and $\beta _1^{K[H]}(L)=\beta _1^{K[H]}(I_H/I_{U\cap H}^{H})=0$. Thus, $H\cap U$ is $L^{2}$-independent in $H$ by Corollary 4.3.

Proof of Theorem 1.4 Let $U$ be a retract of $G$ and $H$ a subgroup of $G$. By Proposition 4.6, $U$ is $L^{2}$-independent in $G$. Thus, the theorem follows from Proposition 5.2.

A subgroup $U$ of $G$ is called compressed if $d(U)\le d(H)$ for every subgroup $H$ of $G$ containing $U$. Dicks and Ventura conjectured that every compressed subgroup of a free group is also inert. We finish this section with the following natural question.

Question 2 Is any compressed subgroup of a free group also $L^{2}$-independent?

6. The structure of acceptable $L_\tau [G]$-modules

Let $L$ be a field and let $\tau \colon G\to \operatorname {Aut} (L)$ be a homomorphism. We denote by $L_\tau [G]$ the twisted group ring: its underlying additive group coincides with the ordinary group ring $L[G]$, but the multiplication is defined as follows:

\[ \bigg(\sum_{i=1}^{n}k_if_i\bigg)\bigg(\sum_{j=1}^{m} l_jg_j\bigg)=\sum_{i=1}^{n}\sum_{j=1}^{m} k_i\tau(f_i)(l_j)f_ig_j,\quad k_i,l_j\in L,\ f_i, g_j\in G. \]

The main advantage of working with $L_\tau [G]$-modules instead of $L[G]$-modules is stated in the following lemma.

Lemma 6.1 [Reference Jaikin-ZapirainJai17, Claim 6.3]

Let $G$ be a group and $L$ a field. Let $\tau \colon G\to \operatorname {Aut}(L)$ and $H=\ker \tau$. Assume that $H$ is of finite index in $G$. Then:

  1. (1) $L$ is an irreducible $L_\tau [G]$-module if we define

    \[ \bigg(\sum_{i=1}^{k} l_if_i\bigg)\cdot l= \sum_{i=1}^{k}l_i\tau(f_i)(l) \ (l,l_i\in L,\ f_i\in G); \]
  2. (2) up to isomorphism, $L$ is the unique irreducible $L_\tau [G]$-module on which $H$ acts trivially.

Our next task is to prove a version of the strong Atiyah conjecture for $L_\tau [G]$-modules where $G$ is a torsion-free virtually compact special group. We use the fact that a torsion-free virtually compact special group $G$ has the factorization property. This means that any map from $G$ to a finite group factors through a torsion-free elementary amenable group. This was proved by Schreve (see Corollary 2.6, Lemma 2.2 and the proof of Theorem 1.1 in [Reference SchreveSch14]).

Proposition 6.2 Let $G$ be a torsion-free virtually compact special group, $L$ a subfield of $\mathbb {C}$ and $\tau :G\to \operatorname {Aut}(L)$. Assume that $H\le \ker \tau$ is of finite index in $G$. Let $M$ be an $L_\tau [G]$-module with finite $\beta _k^{L[H]}(M)$. Then $|G:H|$ divides $\beta _k^{L[H]}(M)$.

Remark In order to understand better the significance of this proposition, consider the case when $\tau$ sends all elements of $G$ to the identity automorphism ($L_\tau [G]=L[G]$ in this case). Then, by the multiplicative property of $L^{2}$-Betti numbers,

\[ \beta^{L[H]}_k(M)=|G:H|\cdot \beta_k^{L[G]}(M), \]

and so what we want to prove is that $\beta ^{L[G]}(M)$ is an integer number. This is the strong Atiyah conjecture for $G$ (see Proposition 3.1).

The idea of the proof of the proposition for general $\tau$ is to define $\beta _k^{L_\tau [G]}(M)$ by

\[ \beta_k^{L_\tau[G]}(M)=\frac{\beta^{L[H]}_k(M)}{|G:H|}, \]

and using the Lück approximation, show, in a similar way as in [Reference Dodziuk, Linnell, Mathai, Schick and YatesDLMS+03], that $\beta ^{L_\tau [G]}_k(M)$ is an integer.

Proof. Recall that $G$ is residually finite. Using the factorization property, we can construct a chain $G\ge H>T_1>T_2>\cdots$ of normal subgroups of $G$ with trivial intersection such that for each $i$, $A_i=G/T_i$ is torsion-free elementary amenable.

As $\tau$ sends the elements of $T_i$ to the trivial automorphism of $L$, abusing slightly the notation we can construct $L_\tau [A_i]$. By a result of Moody [Reference MoodyMoo89] (see also [Reference Kropholler, Linnell and MoodyKLM88] and [Reference LinnellLin98, Corollary 4.5]), $L_\tau [A_i]$ has no non-trivial zero-divisors. As $A_i$ is amenable and $L_\tau [A_i]$ is a domain, $L_\tau [A_i]$ satisfies the left Ore condition. Thus, $L_\tau [A_i]$ has the classical division ring of fractions $\mathcal {Q}({L_\tau [A_i]})$.

Let $B_i=H/T_i$. As $B_i$ is of finite index in $A_i$, $\mathcal {Q}({L_\tau [A_i]})$ is isomorphic to the Ore localization of $L_\tau [A_i]$ with respect to non-zero elements of $L[B_i]$. Thus,

(1)\begin{equation} \mathcal{Q}({L_\tau[A_i]}) \cong \mathcal{Q}({L[B_i]})\otimes _{L[B_i]}L_\tau[A_i] \end{equation}

as $(\mathcal {Q}({L[B_i]},L_\tau [G]))$-bimodules. Equivalently, $\mathcal {Q}({L_\tau [A_i]})$ is isomorphic to a crossed product $\mathcal {Q}({L[B_i]})*(A_i/B_i)$.

Let $M$ be a finitely presented $L_\tau [G]$-module and let

\[ M_i=M/(T_i-1)M\cong L_{\tau}[A_i]\otimes_{ L_{\tau}[G]} M. \]

Then from (1) we obtain that

\[ \mathcal{Q}({L[B_i]})\otimes_{L[B_i]} M_i\cong (\mathcal{Q}({L[B_i]})\otimes_{L[B_i]}L_\tau[A_i]) \otimes_{L_\tau[G]}M\cong \mathcal{Q}({L_{\tau}[A_i]})\otimes_{L_{\tau}[G]} M . \]

In particular, again taking (1) into account, we conclude that

(2)\begin{equation} \dim_{ \mathcal{Q}({L[B_i])}} ( \mathcal{Q}({L[B_i]})\otimes_{L[B_i]} M_i)=|G:H|\dim _{\mathcal{Q}({L_\tau[A_i])} }( \mathcal{Q}({L_{\tau}[A_i]})\otimes_{L_{\tau}[G]} M) . \end{equation}

The groups $B_i$ are torsion-free elementary amenable groups, and, thus, they satisfy the strong Atiyah conjecture [Reference LinnellLin93]. Hence, the rings $\mathcal {R}_{L[B_i]}$ are division rings. Therefore, by Proposition 3.2, there exists $i$ such that

\[ \beta^{L[H]}_0(M)= \dim_{\mathcal{R}_{L[B_i]}} ( \mathcal{R}_{L[B_i]}\otimes_{L[H]} M)= \dim_{ \mathcal{R}_{L[B_i]}} ( \mathcal{R}_{L[B_i]} \otimes_{L[B_i]} M_i). \]

Observe that $\mathcal {R}_{L[B_i]}$ is isomorphic to the classical division ring of fractions $\mathcal {Q}(L[B_i])$ of $L[B_i]$ as $L[B_i]$-ring (see, for example, [Reference LinnellLin93] and [Reference Jaikin-ZapirainJai19b, Corollary 9.4]). Therefore,

\begin{align*} \beta^{L[H]}_0(M)&= \dim_{ \mathcal{Q}({L[B_i])}} ( \mathcal{Q}({L[B_i]}\otimes_{L[B_i]} M_i)\\ & {\stackrel{\text{by (2)}}{=}} |G:H| \dim_{ \mathcal{Q}(L_\tau[A_i])} (\mathcal{Q}({L_\tau[A_i])} \otimes_{L_\tau[G]} M). \end{align*}

This proves that $|G:H|$ divides $\beta _0^{L[H]}(M)$. Therefore, the proposition holds in the case $k=0$ and $M$ is finitely presented. In particular, the following Sylvester module rank function on $L_\tau [G]$ (see [Reference Jaikin-ZapirainJai19b] for definitions)

\[ \dim M:= \frac{\dim_{\mathcal{R}_{L[H]}} (\mathcal{R}_{L[H]}\otimes _{L[H]} M)}{|G:H|}=\frac{\beta_0^{L[H]}(M)}{|G:H|} \]

is integer-valued. This Sylvester function is induced by the canonical embedding of $L_\tau [G]$ into $\operatorname {Mat}_{|G:H|}(\mathcal {R}_{L[H]})$ (here the endomorphisms act on the right-hand side):

\[ L_\tau[G] \hookrightarrow \operatorname{End}_{L[H]}(L_\tau[G]))\hookrightarrow \operatorname{End}_{\mathcal{R}_{L[H]}}(\mathcal{R}_{L[H]} \otimes_{L[H]}L_\tau[G])\cong \operatorname{Mat}_{|G:H|}(\mathcal{R}_{L[H]}). \]

By an argument of Linnell (see [Reference LinnellLin93, Lemma 3.7]), the division closure $\operatorname {\mathcal {D}}_G$ of $L_\tau [G]$ in $\operatorname {Mat}_{|G:H|}(\mathcal {R}_{L[H]})$ is a division ring and

\[ \dim M=\dim_{\mathcal{D}_G} (\mathcal{D}_G\otimes_{L_\tau[G]}M). \]

The division closure of $L[H]$ in $\operatorname {Mat}_{|G:H|}(\mathcal {R}_{L[H]})$, and so in $\operatorname {\mathcal {D}}_G$, is isomorphic to $\mathcal {R}_{L[H]}$ as $L[H]$-ring. By [Reference Jaikin-ZapirainJai20, Proposition 2.7], the canonical map of $(\mathcal {R}_{L[H]},L_\tau [G])$-bimodules

(3)\begin{equation} \alpha: \mathcal{R}_{L[H]}\otimes_{L[H]}L_\tau[G]\to \mathcal{D}_G\textrm{is bijective.} \end{equation}

This is an analog of the isomorphism (1). In particular, $\dim _{ \mathcal {R}_{L[H]}}\operatorname {\mathcal {D}}_G=|G:H|$.

Note that $L_\tau [G]$ is a free $L[H]$-module. Thus, every free resolution of an $L_\tau [G]$-module is also a free resolution of it viewed as an $L[H]$-module. Thus, (3) implies that for every $L_\tau [G]$-module $M$ we have that

Therefore,

and, thus, $|G:H|$ divides $\beta _k^{L[H]}(M)$ if it is finite.

We say that an $L_\tau [G]$-module $M$ is acceptable if there exists an $L _\tau [G]$-submodule $M_0$ of $M$ such that:

  1. (1) $\dim _L (M/M_0)<\infty$;

  2. (2) $H=\ker (\tau )\le C_G(M/M_0)$;

  3. (3) $\beta _k^{L[H]}(M_0)=0$ for every $k\ge 1$.

In this paper, acceptable $L_\tau [G]$-modules appear using the construction presented in the following lemma.

Lemma 6.3 Let $G$ be a group. Let $M$ be a $\mathbb {Q}[G]$-module, and let $M_0$ be a submodule of $M$ such that:

  1. (i) $\dim _\mathbb {Q} M/M_0<\infty$;

  2. (ii) $H=C_{{G}}(M/M_0)$ is of finite index in $G$;

  3. (iii) $\beta _k^{\mathbb {Q}[G]}(M_0)=0$ for $k\ge 1$.

Put $F=G/H=\{f_1,\ldots,f_t\}$ and let $L=\mathbb {Q}(x_f|f\in F)$ be the field of rational functions on $t$ variables over $\mathbb {Q}$. Define $\tau :G\to \operatorname {Aut}(L)$ via the formula

\[ \tau(g)(p(x_{f_1},\ldots,x_{f_t}))=p(x_{gf_1},\ldots,x_{gf_t}), \quad p(x_{f_1},\ldots,x_{f_t})\in L. \]

Put $\widetilde {M}=L_\tau [G]\otimes _{\mathbb {Q}[G]} M$. Then $\widetilde {M}$ is an acceptable $L_\tau [G]$-module. Moreover, if $\widetilde {M}_0=L_\tau [G]\otimes _{\mathbb {Q}[G]} M_0$, then:

  1. (1) $\dim _L(\widetilde {M}/\widetilde {M}_0)$ is finite;

  2. (2) $H\le C_G(\widetilde {M}/\widetilde {M}_0)$;

  3. (3) $\beta _k^{L[H]}(\widetilde {M}_0)=0$ for every $k\ge 1$.

Proof. (1) As $L_\tau [G]$ is a flat $\mathbb {Q}[G]$-module, we obtain that $\widetilde {M}_0\cong L_\tau [G]\otimes _{\mathbb {Q}[G]} M_0$ and $\widetilde {M}/\widetilde {M}_0\cong L_\tau [G]\otimes _{\mathbb {Q}[G]} (M/M_0)$. In particular, $\dim _L(\widetilde {M}/\widetilde {M}_0)=\dim _{\mathbb {Q}}(M/M_0)<\infty$.

(2) As $H=\ker \tau$, $\ker \tau$ acts trivially on $\widetilde {M}/\widetilde {M}_0$.

(3) Observe that $\widetilde {M}_0$ as an $L [H]$ module is isomorphic to $L[H]\otimes _{\mathbb {Q}[H]} M_0$. Hence,

\[ \beta_k^{L[H]}(\widetilde{M}_0)=\beta_k^{L[H]}(L[H]\otimes_{\mathbb{Q}[H]} M_0)= \beta_k^{\mathbb{Q}[H]}( M_0)=|G:H|\beta_k^{\mathbb{Q}[G]}( M_0)=0. \]

Proposition 6.4 Let $G$ be a torsion-free virtually limit group and let $L$ be a subfield of $\mathbb {C}$. Let $\tau :G\to \operatorname {Aut} (L)$ be a homomorphism with finite image. Put $H=\ker \tau$. Let $M$ be an acceptable $L_\tau [G]$-module. Then there exists an $L [H]$-submodule $M^{\prime }$ of $M$ such that

\[ \beta_1^{L[H]}(M^{\prime})=0, \quad \dim_L M/M^{\prime} \le \frac{\beta_1^{L[H]}(M)}{|G:H|}\quad \textrm{and}\quad H\le C_G(M/M^{\prime}). \]

Proof. Let $M_0$ be from the definition of an acceptable $L_\tau [G]$-module. By induction on $\dim _L N/M_0$ we prove that for every $L_\tau [G]$-submodule $N$ of $M$, satisfying $M_0\le N$, there exists an $L [H]$-submodule $M_0\le N^{\prime }\le N$, such that

\[ \beta_1^{L[H]}(N^{\prime})=0\quad \textrm{and}\quad \dim_L N/N^{\prime} \le \frac{\beta_1^{L[H]}(N)}{|G:H|}. \]

The base of induction, when $N=M_0$, is clear, because $\beta _1^{L[H]}(M_0)=0$. Assume now that the proposition holds if $\dim _{L}N/M_0< n$ and let us prove it in the case where $\dim _{L}N/M_0=n$.

Let $N_1$ be a maximal $L_\tau [G]$-submodule of $N$ that contains $M_0$. By Lemma 6.1, $N/N_1\cong L$. Then, because $\dim _{L}N_1/M_0< n$, there exists an $L [H]$-submodule $N_1^{\prime }$ of $N_1$, containing $M_0$, such that $\beta _1^{L[H]}(N_1^{\prime })=0$ and

\[ \displaystyle \dim_{L}(N_1/N_1^{\prime})\le \frac{\beta_1^{L[H]}(N_1)}{|G:H|}. \]

As $G$ is a virtually limit group, by Proposition 3.3, $\beta _2^{L[H]}(L)=0$. Therefore (see Proposition 8.1(3) for a more general statement),

\[ \beta_1^{L[H]}(N_1)\le \beta_1^{L[H]}(N). \]

By Proposition 6.2, $\beta _1^{L[H]}(N)$ and $\beta _1^{L[H]}(N_1)$ are divisible by $|G:H|$. Hence, $\beta _1^{L[H]}(N)\ge \beta _1^{L[H]}(N_1)+|G:H|$ or $\beta _1^{L[H]}(N)=\beta _1^{L[H]}(N_1)$. In the first case, we simply take $N^{\prime }=N_1^{\prime }$ and we are done. Thus, let us assume that $\beta _1^{L[H]}(N)=\beta _1^{L[H]}(N_1)$.

Take $a\in N \backslash N_1$ and let $N^{\prime }$ be the $L[H]$-submodule generated by $a$ and $N_1^{\prime }$. As