1 Introduction
Let $\Gamma $ be a countable group and let S be a finite symmetric subset of $\Gamma $ . The cospectral radius of a subgroup $H\subset \Gamma $ (with respect to S) is defined as the norm of the operator $M\colon L^2(\Gamma /H)\to L^2(\Gamma /H)$ :
The groups with cospectral radius $1$ for every choice of S are called coamenable. If the group $\Gamma $ is finitely generated, one needs only to verify that the cospectral radius is $1$ for some generating set S.
In this paper, we investigate the behavior of the cospectral radius under intersections. For general subgroups $H_1,H_2\subset \Gamma $ , there is not much that can be said about $\rho (\Gamma / (H_1\cap H_2))$ other than the trivial inequality
The problem of finding lower bounds on the cospectral radius of an intersection is even more dire, as there are examples of nonamenable $\Gamma $ with two coamenable subgroups $H_1,H_2$ with trivial intersection (see Example 3.1). However, when considering all conjugates simultaneously, we have the following elementary lower bound on the cospectral radius of an intersection. Here and for the remainder of the paper, we write $H^g:=g^{1}Hg$ .
Theorem 1.1. Let $\Gamma $ be a finitely generated group and let S be a finite symmetric generating set. Let $H_1,H_2$ be subgroups of $\Gamma $ and assume that $H_1$ is coamenable. Then,
The supremum over all conjugates in the statement of the theorem is in fact necessary, as shown by Example 3.1. However, in the presence of invariance, this can be improved upon: e.g. if $H_2=N$ is normal, Theorem 1.1 immediately implies that $\rho (\Gamma / (H_1\cap N))= \rho (\Gamma /N)$ . Our aim is to generalize this to invariant random subgroups.
An invariant random subgroup (IRS) of $\Gamma $ (see [Reference Abert, Glasner and Virag2]) is a random subgroup of $\Gamma $ whose distribution is invariant under conjugation. Invariant random subgroups simultaneously generalize the notion of finite index subgroups and normal subgroups. They have proven to be very useful tools in measured group theory (see for example [Reference Abert, Bergeron, Biringer, Gelander, Nikolov, Raimbault and Samet1, Reference Becker, Lubotzky and Thom4, Reference Bowen5]). Many results on invariant random subgroups are obtained as generalizations of statements previously known for normal subgroups. We follow this tradition and show that one can remove the supremum in Theorem 1.1 when $H_2$ is an IRS. The cospectral radius of a subgroup H is invariant under conjugation of H by elements of $\Gamma $ and defines a measurable function on the space of subgroups of $\Gamma $ . (The measurability follows from the fact that $\rho (H\backslash \Gamma )=\lim _{R\to \infty }\sup _{\operatorname {\mathrm {supp}} f\subset B(R)} {\langle Mf,f\rangle }/{\lVert f\rVert ^2}$ , where $B(R)$ is the Rball around H in $H\backslash \Gamma $ and f runs over nonzero functions supported in $B(R)$ . The ball $B(R)$ depends measurably on H, so the cospectral radius must be measurable as well.) It follows that the cospectral radius of an ergodic IRS H is constant almost surely and, therefore, $\rho (\Gamma /H)$ is well defined. We say an IRS is coamenable if it is coamenable almost surely. Our main result is the following theorem.
Theorem 1.2. Let $\Gamma $ be countable with a finite symmetric subset S. Let $H_1\subset \Gamma $ be a deterministic coamenable subgroup and let $H_2$ be an ergodic invariant random subgroup of $\Gamma $ . Then,
almost surely.
This result was inspired by a question of Alex Furman, asking whether the intersection of coamenable IRSs remains coamenable. A positive answer follows from Theorem 1.2 applied in the case when both $H_1,H_2$ are coamenable IRSs.
Corollary 1.3. Let $\Gamma $ be a countable group and let $H_1,H_2$ be independent coamenable invariant random subgroups. Then the intersection $H_1\cap H_2$ is coamenable.
Remark 1.4. The independence assumption in the above corollary is necessary (see Example 3.2).
Combined with Cohen–Grigorchuk’s cogrowth formula [Reference Cohen6, Reference Grigorchuk9] and Gekhtman–Levit’s lower bound on the critical exponent of an IRS of a free group [Reference Gekhtman and Levit7, Theorem 1.1], Theorem 1.2 yields the following corollary on the critical exponents of subgroups of the free group.
Corollary 1.5. Let $F_d$ be a free group on $d\geq 2$ generators and let S be the standard symmetric generating set. Write $\delta (H)$ for the critical exponent of a subgroup H. Suppose $H_1$ is coamenable and $H_2$ is an ergodic IRS. Then,
almost surely.
1.1 Outline of the proof
We outline the proof of Theorem 1.2. For the sake of simplicity, we restrict to the case when both $H_1,H_2$ are coamenable. We realize $H_1$ and $H_2$ as stabilizers of $\Gamma $ actions on suitable spaces $X_1$ and $X_2$ . Since $H_1$ is a (deterministic) subgroup, we can take $X_1=\Gamma / H_1$ . However, $H_2$ is an ergodic IRS so $X_2$ is a probability space with an ergodic measurepreserving action of $\Gamma $ . The intersection $H_1\cap H_2$ is then the stabilizer of a point in $X_1\times X_2$ that is deterministic in the first variable and random in the second. Using an analog of the Rokhlin lemma, we can find a positive measure subset E of $X_2$ that locally approximates the coset space $H_2\backslash \Gamma $ . The product of E with $X_1$ will locally approximate the coset space of $(H_1\cap H_2)\backslash \Gamma $ . The coamenability of $H_2$ means that the set E contains a subset P that is nearly $\Gamma $ invariant. The product of such a set with a Følner set F in $X_1$ should be a nearly $\Gamma $ invariant set in $X_1\times E$ , and hence witnesses the amenability of the coset graph $(H_1\cap H_2)\backslash \Gamma $ . The latter implies that $H_1\cap H_2$ is coamenable.
The actual proof is more complicated because if the product system is not ergodic, one has to show the product set is nearly invariant after restriction to each ergodic component and not just on average. Otherwise, we can only deduce the bound from Theorem 1.1 using a supremum over all conjugates. Obtaining control on each ergodic component is a key part of the proof where we actually use the invariance of $H_2$ .
To prove Theorem 1.2 for the cospectral radius, one should replace the Følner set in $X_2$ with a function $f_2$ that (nearly) witnesses the fact that $\rho (\Gamma /H_2)=\unicode{x3bb} _2$ , and adapt the remainder of the proof accordingly.
1.2 Outline of the paper
Section 2 contains background material. In §3, we prove the deterministic bound on spectral radius given by Theorem 1.1. Next, in §4, we rephrase cospectral radius of the (discrete) orbits in terms of embedded spectral radius on a (continuous) measure space. Finally, in §5, we prove the main theorem.
2 Background
2.1 Coamenability
Let $\Gamma $ be a finitely generated group and let S be a finite symmetric set of generators. A subgroup H of $\Gamma $ is called coamenable if the Schreier graph $\operatorname {\mathrm {Sch}}(H\backslash \Gamma ,S)$ is amenable, that is, for any $\varepsilon>0$ and any S, there exists a set $F\subset H\backslash \Gamma $ such that $\lvert F\Delta FS\rvert \leq \varepsilon \lvert F\rvert $ . Such sets will be called $\varepsilon $ Følner sets. Alternatively, a subgroup H is coamenable if and only if the representation $\ell ^2(\Gamma /H)$ has almost invariant vectors, or that $\lVert M\rVert _{L^2(H\backslash \Gamma )}=1.$
2.2 Invariant random subgroups
Let $\operatorname {\mathrm {Sub}}_\Gamma $ be the space of subgroups of $\Gamma $ , equipped with the topology induced from $\{0,1\}^\Gamma $ . An invariant random subgroup is a probability measure $\mu \in \mathcal {P}(\operatorname {\mathrm {Sub}}_\Gamma )$ which is invariant under conjugation of $\Gamma $ . An IRS is called coamenable if
Similarly, we say that an IRS H has cospectral radius at least $\unicode{x3bb} $ if $\rho (H\backslash \Gamma )\geq \unicode{x3bb} $ almost surely.
For any action $\Gamma \curvearrowright X$ and $x\in X$ , write $\Gamma _x$ for the stabilizer of x. Every IRS can be realized as a stabilizer of a random point in a probability measurepreserving (p.m.p.) system.
Theorem 2.1. (Abert, Glasner and Virag [Reference Abert, Glasner and Virag2])
For every IRS $\mu $ , there exists a standard Borel probability space $(X,\nu )$ and a Borel p.m.p. $\Gamma $ action on $(X,\nu )$ such that $\mu =\int _{X}\delta _{\Gamma _x}\, d\nu (x).$
2.3 Ergodic decomposition of infinite measures
The material in this subsection is well known to experts but difficult to locate in the literature. Our goal is to construct an ergodic decomposition for measurepreserving actions of countable groups on spaces with an infinite measure. We deduce this from the corresponding result for nonsingular actions on probability spaces.
Theorem 2.2. (Greschonig and Schmidt [Reference Greschonig and Schmidt8, Theorem 1])
Let $\Gamma $ be a countable group and let $\Gamma \curvearrowright (X,\Sigma _X, \nu )$ be a nonsingular Borel action on a standard Borel probability space. Then there exist a standard Borel probability space $(Z,\Sigma _Z, \tau )$ and a family of quasiinvariant, ergodic, pairwise mutually singular probability measures $\{\nu _z\}_{z\in Z}$ with the same Radon–Nikodym cocycle as $\nu $ , and such that for every $B\in \Sigma _X$ , we have
As an application, we have the following corollary.
Corollary 2.3. Let $\Gamma $ be a countable group and let $\Gamma \curvearrowright (X_1,\Sigma _{X_1}, \nu _1)$ and $\Gamma \curvearrowright (X_2,\Sigma _{X_2}, \nu _2)$ be measurepreserving Borel actions on standard Borel spaces. Suppose that $(X_1,\nu _1)$ is ergodic and that $\nu _2(X_2)=1.$ Then there exists a standard Borel probability space $(Z,\Sigma _Z,\tau )$ and a family of $\Gamma $ invariant, ergodic, pairwise mutually singular measures $\{\nu _z\}_{z\in Z}$ on $X_1\times X_2$ such that for every $B\in \Sigma _{X_1\times X_2}$ , we have
Moreover, for every measurable set $F\subset X_1$ and $z\in Z$ , we have
Proof. Fix a countably valued Borel function $w\colon X_1\to \mathbb R_{>0}$ , such that $\int _{X_1} w \, d\nu _1=1$ . Write $w=c_i$ on the set $A_i$ , where $\{A_i\}$ is a Borel partition of $X_1$ .
Then $w(x_1)d\nu (x_1)d\nu _2(x_2)$ is a $\Gamma $ quasiinvariant probability measure on $X_1\times X_2$ with Radon–Nikodym cocycle $dw(x_1,x_2,\gamma )={w(\gamma x_1)}/{w(x_1)}$ . Let $(Z,\Sigma _Z,\tau )$ , $z\mapsto (w\nu )_z$ , be its ergodic decomposition as provided by Theorem 2.2. Now pass back from $w(x_1)d\nu _1(x_1)d\nu _2(x_2)$ to $\nu _1\times \nu _2$ by setting
Since $\{(w\nu )_z\}_z$ are ergodic and pairwise mutually singular, the same is true for $\{\nu _z\}_z$ . Since $(w\nu )_z$ have Radon–Nikodym cocycle $dw$ , the measures $\nu _z$ are $\Gamma $ invariant.
It is easy to verify that equation (2.1) implies the corresponding equation (2.2).
Finally, to satisfy the last identity, choose a positive measure subset $F\subset X_1$ and renormalize $\nu _z$ and $\tau $ as
By ergodicity of $\nu _1$ , this normalization does not depend on the choice of F.
2.4 Ergodic theory of equivalence relations
Let $(X,\nu )$ be a probability measure space and let $\varphi _i:U_i\to X$ be a finite family of nonsingular measurable maps defined on subsets $U_i$ of X. The triple $(X,\nu ,(\varphi _i)_{i\in I})$ is called a graphing. We assume that $(\varphi _i)_{i\in I}$ is symmetric, that is, for each $i\in I$ , the map $\varphi _i^{1}\colon \varphi _i(U_i)\to U_i$ is also in the set $(\varphi _i)_{i\in I}$ . A graphing is finite if the index set I is finite.
Remark 2.4. In our applications of this theory, X will be a finite measure subset (not necessarily invariant) of a measurepreserving action of $\Gamma $ , equipped with the graphing corresponding to a finite symmetric generating set S of $\Gamma $ , and $\nu $ will be the restricted measure or the restriction of an ergodic component.
Let $\mathcal R$ be the orbit equivalence relation generated by the maps $(\varphi _i)_{i\in I}$ . A measured graphing yields a random graph in the following way. For every $x\in X$ , let $\mathcal G_x$ be the graph with vertex set given by the equivalence class $[x]_{\mathcal R}$ and place an edge between $y,z\in [x]_{\mathcal R}$ whenever $z=\varphi _i(y)$ for some $i\in I$ (multiple edges are allowed). The graphs $\mathcal G_x$ have degrees bounded by $\lvert I\rvert $ and are undirected since $(\varphi _i)_{i\in I}$ is symmetric. If we choose a $\nu $ random point x, the resulting graph $\mathcal G_x$ is a random rooted graph. The properties of $\mathcal G_x$ will depend on the graphing. For example, if the graphing consists of measurepreserving maps, then the resulting random graph is unimodular (see [Reference Aldous and Lyons3]).
Suppose from now on the graphing is measurepreserving. Then the mass transport principle [Reference Aldous and Lyons3] asserts that for any measurable function $K:\mathcal R\to {\mathbb {R}}$ , we have
3 Cospectral radius for deterministic intersections
In this section, we prove Theorem 1.1 that gives the elementary deterministic lower bound on the supremum of cospectral radii over all conjugates. Then we show an example that consideration of all conjugates is necessary. This example will also show the necessity of the independence assumption in Corollary 1.3 on the coamenability of the intersection of a pair of independent coamenable IRSs.
Proof of Theorem 1.1.
As in §1, we let $M:={1}/{\lvert S\rvert }\sum _{s\in S}s\in \mathbb C[\Gamma ]$ . We have the following identity between the unitary representations of $\Gamma $ :
Write $\pi _1,\pi _2$ for the unitary representations corresponding to $L^2(H_1\backslash \Gamma )$ and $L^2(H_2\backslash \Gamma )$ . The above identity implies that
To prove the theorem, it is enough to verify that
Let $\varepsilon>0$ . Choose unit vectors $u_1\in L^2(H_1\backslash \Gamma )$ and $u_2\in L^2(H_2\backslash \Gamma )$ such that $\langle \pi _1(s)u_1, u_1\rangle \geq 1\varepsilon $ for all $s\in S$ and $\langle \pi _2(M)u_2,u_2\rangle \geq \lVert \pi _2(M)\rVert \varepsilon $ . Then,
Letting $\varepsilon \to 0$ , we conclude that $\lVert (\pi _1\otimes \pi _2)(M)\rVert \geq \lVert \pi _2(M)\rVert .$
The supremum in the inequality seems to be necessary. Below, we construct an example of a nonamenable finitely generated group $\Gamma $ with two coamenable subgroups $H_1,H_2$ such that the intersection $H_1\cap H_2$ is trivial. In particular,
Example 3.1. Let $\Gamma := F_2^{\oplus {\mathbb {Z}}} \rtimes {\mathbb {Z}}$ , where $F_2$ stands for the free group on two generators. The group is obviously nonamenable. Let $a,b$ be the standard generators of $F_2$ and let s be the generator of the copy of ${\mathbb {Z}}$ in $\Gamma $ . The triple $\{s,a,b\}$ generates $\Gamma $ . Put $S:=\{s,a,b,s^{1},a^{1},b^{1}\}.$ For any subset $E\subset {\mathbb {Z}}$ , let $H_E:=F_2^{\oplus E}\subset \Gamma $ .
Now let $A,B$ be disjoint subsets of ${\mathbb {Z}}$ containing arbitrary long segments. Since $A\cap B=\varnothing $ , the intersection $H_A\cap H_B=1$ is not coamenable. However, we claim that for any subset C containing arbitrarily long segments, $H_C$ is coamenable, so that, in particular, $H_A$ and $H_B$ are coamenable. Indeed, suppose $C\subseteq {\mathbb {Z}}$ contains arbitrarily long segments. Then for any $g\in \Gamma $ , the Schreier graphs for $H_C$ and $H_C^g$ are isomorphic, so $\rho (H_C\backslash \Gamma )=\rho (H_C^g\backslash \Gamma )$ . For every $n\in \mathbb N$ ,
Let $(n_k)_{k\in \mathbb N}$ be a sequence such that $\{k,k+1,\ldots ,k1,k\}\subset C{n_k}$ . Then, $H_{Cn_k}$ converges to $H_{\mathbb Z}$ in $\mathrm {Sub}(\Gamma )$ as $k\to \infty $ . Since the spectral radius is lower semicontinuous on the space of subgroups, we get
Example 3.2. The above example also shows that for the intersection of two coamenable IRSs to be coamenable (Corollary 1.3), the independence assumption is necessary. Indeed, let $\Gamma $ be as in the previous example and let A be an invariant percolation on ${\mathbb {Z}}$ such that both A and its complement contain arbitrarily long segments (e.g. Bernoulli percolation). Then, $H_A$ and $H_{A^c}$ are coamenable but their intersection is trivial.
4 Embedded spectral radius
Let us introduce some terminology. Let $(X,\nu )$ be a measurepreserving $\Gamma $ action, and write ${\mathcal {R}}$ for the corresponding orbit equivalence relation. We shall assume that $\nu $ is $\sigma $ finite but not necessarily finite. We recall that for every $x\in X$ , $\mathcal G_x$ is the labeled graph with vertex set $[x]_{\mathcal {R}}$ and edge set $(y,s y), y\in \Gamma x$ , labeled by $s\in S$ .
Definition 4.1. A set $P\subset X$ is called a finite connected component if for almost all $x\in P$ , the connected component of x in the graph $P\cap \mathcal {G}_x$ is finite. In other words, the graphing restricted to P generates a finite equivalence relation.
For any subset $P\subset X$ , write $\partial P:=SP\setminus P $ for the (outer) boundary and $\mathrm { int}(P):=P\setminus \partial (X\setminus P)$ for the interior of P.
Definition 4.2. Let $(X,\nu )$ be a measurepreserving $\Gamma $ action. We say that $(X,\nu )$ has embedded spectral radius $\unicode{x3bb} $ if for every finite measure finite connected component $P\subset X$ and every $f\in L^2(X,\nu )$ supported on the interior $\mathrm {int}(P)$ , we have
and $\unicode{x3bb} $ is minimal with this property.
Remark 4.3. Using the monotone convergence theorem, we may assume that f in the above definition is bounded. Further, taking the absolute value of f leaves the righthand side unchanged and decreases the lefthand side. Therefore, it suffices to consider nonnegative functions $f\geq 0$ .
Our goal in this section is to prove that the embedded spectral radius of a measurepreserving system $\Gamma \curvearrowright (X,\nu )$ is detected by the cospectral radius along orbits.
Proposition 4.4. Let $(X,\nu )$ be a $\sigma $ finite measurepreserving $\Gamma $ system. Then, the stabilizer of almost every point has cospectral radius at least $\unicode{x3bb} $ if and only if almost every ergodic component of $\nu $ has embedded spectral radius at least $\unicode{x3bb} $ .
Remark 4.5. This result can be used to give examples whose embedded spectral radius is strictly less than the spectral radius of M on $L^2_0(X,\nu )$ . This happens, for example, when $\Gamma $ is a nonabelian free group and $X=X_1\times X_2$ is a product of an essentially free action $X_1$ with an action $X_2$ that has no spectral gap. In this case, the graphs $\mathcal G_x$ are just copies of the Cayley graph of $\Gamma $ so their spectral radius is bounded away from $1$ . However, the spectral radius of M on $L^2_0(X,\nu )$ is $1$ , because it contains $L^2_0(X_2,\nu _2)$ .
Proof. By passing to ergodic components, we can assume without loss of generality that $(X,\nu )$ is ergodic. If $(X,\nu )$ is periodic, then there is nothing to do, so henceforth we will assume that $(X,\nu )$ is an aperiodic measurepreserving ergodic system.
First, let us prove that if the cospectral radius of the stabilizer $\Gamma _x$ is at least $\unicode{x3bb} $ , then X has embedded spectral radius at least $\unicode{x3bb} $ . Let $\varepsilon>0$ be arbitrary. Then $\nu $ almost every orbit $\mathcal {G}_x$ supports a function $f_x:\mathcal {G}_x\to {\mathbb {R}}$ such that
Since $\mathcal {G}_x$ is countable, using the monotone convergence theorem, we can assume $f_x$ is supported on a finite ball. Let $R_x>0$ be minimal such that the interior of the ball $B_{\mathcal G_x}(x,R_x)$ of radius $R_x$ around x supports a function $\psi _x$ satisfying equation (4.1). Since balls of fixed radius depend measurably on x, the map $x\mapsto R_x$ is measurable, so we can choose $R_0>0$ such that
and put $X_1:=\{x\in X \mid R_x\leq R_0\}.$ Since there are only finitely many rooted graphs of radius $R_0$ labeled by S, there exists a positive measure set $X_2\subset X_1$ such that for all $x\in X_2$ , the rooted graphs $(B_{\mathcal G_x}(x,R_0),x)$ are all isomorphic to some $(\mathcal G,o)$ as rooted Slabeled graphs. By restricting to a smaller subset, we can assume that $\nu (X_2)$ is finite. Fix $\psi :\mathcal {G}\to {\mathbb {R}}$ satisfying
and for $x\in X_2$ , let $B_x\subset X$ be the image of $\mathcal {G}$ via the unique labeled isomorphism $(\mathcal G,o)\simeq (B_{\mathcal {G}_x}(x,R_0),x)$ .
Let $S'$ be the set of all products of at most $2R_0$ elements of S. At this point, we need to use a Rokhlintype lemma, which will be stated and proved below (see Lemma 4.6). Upon applying this to the graphing $(S'X_2,\nu , S')$ , we find a partition $S'X_2=B\sqcup \bigsqcup _{j=1}^N A_j$ with $\nu (B)<\nu (X_2)/2$ , such that $A_j\cap sA_j=\{x\in A_j\mid sx=x\}$ for every $s\in S'$ . This translates to the condition that $B_{x}$ and $B_{x'}$ are disjoint for every distinct pair of points $x,y \in A_j$ . Since the sets $A_j$ cover a subset of $X_2$ of measure at least $\nu (X_2)/2$ , there exists j such that $X_3:=X_2\cap A_j$ has positive measure. The set $P:=\bigcup _{x\in X_3} B_x$ is then a disjoint union of its finite connected components $B_x$ , so it is a finite connected component in the sense of Definition 4.1. The function $\psi :\mathcal {G}\to {\mathbb {R}}$ naturally induces a function $f:P\to {\mathbb {R}}$ defined by $f_{B_x} := \psi $ for all $x\in X_3$ , where we have identified $B_x$ with $\mathcal {G}$ using the isomorphism of rooted Slabeled graphs $(B_x, x)\simeq (\mathcal {G},o)$ .
Then, we easily verify $\langle (IM)f, f\rangle \leq (1\unicode{x3bb} +\varepsilon )\lVert f\rVert ^2$ , namely
and similarly
Taking $\varepsilon \to 0$ , we see that X has embedded spectral radius at least $\unicode{x3bb} $ .
We prove the other direction. The proof will use the mass transport principle for unimodular random graphs. In our case, the unimodular random graph is given by $(\mathcal G_x,x)$ where $x\in X$ is $\nu _P$ random. We argue by contradiction, so assume that $(X,\nu )$ has embedded spectral radius at least $\unicode{x3bb} $ but, at the same time, stabilizers have cospectral radius $\rho <\unicode{x3bb} $ with positive probability. By ergodicity, there exists an $h>0$ such that $\rho (\mathcal {G}_x)\leq \unicode{x3bb} h$ almost surely.
Since X has spectral radius at least $\unicode{x3bb} $ , there exists $f\in L^2(X,\nu )$ nonzero and supported on the interior of a finite connected component $P\subseteq X$ with $\nu (P)<\infty $ such that
As in §2.4, let $\mathcal {R}_P$ be the equivalence relation generated by the graphing on P. We write $P_x^o:=[x]_{\mathcal {R}_P}$ for the connected component of $x\in P$ . Define $K:\mathcal {R}_P\to {\mathbb {R}}$ by
By the mass transport principle, we equate
We start by computing the integrand on the righthand side. Rewriting
we find (using S is symmetric) for every $x\in X$ that
Using $\rho (\mathcal {G}_x)\leq \unicode{x3bb} h$ and $f\geq 0$ , we can estimate
Therefore, we have the following estimate for the righthand side in the mass transport equation (4.4):
Next, we compute the integrand on the lefthand side of the mass transport equation (4.4), namely for $y\in X$ , we have
where we used S is symmetric and the action is measurepreserving. Hence, integrating the above equation over y and using the mass transport principle to estimate this by the righthand side of equation (4.6), we find
This contradicts the choice of f in equation (4.2).
We end this section with the following technical Rokhlintype lemma that was used in the above proof.
Lemma 4.6. Let $(X,\nu ,(\varphi _i)_{i\in I})$ be a finite measurepreserving symmetric graphing on a finite measure space. Then, for every $\delta>0$ , there exists a measurable partition $X=B\sqcup \bigsqcup _{j=0}^N A_j$ , such that $\nu (B)\leq \delta $ and
Proof. We start by proving the lemma for a single measurepreserving invertible map $\varphi \colon U\to \varphi (U).$ Since we do not assume that $\varphi $ is defined on all of X, we need to treat separately the subset of elements where $\varphi $ can be applied only finitely many times. For any $n\in \mathbb N$ , define
Put $A_{\mathrm {0}}=\bigcup _{n=0}^\infty E_{2n}$ and $A_{\mathrm {1}}=\bigcup _{n=0}^\infty E_{2n+1}.$ We obviously have $A_0\cap A_1=\emptyset $ , $\varphi ^{\pm 1}(A_0)\subset A_1$ , and $\varphi ^{\pm 1}(A_1)\subset A_0$ . This reduces the problem to the subset $Y:=X\setminus \bigcup _{n=0}^\infty E_n$ . By definition, $\varphi (Y)=Y$ . We further decompose Y into the periodic and aperiodic parts $Y^{\mathrm {p}}, Y^{\mathrm {ap}}$ . The periodic part can be partitioned into a fixed point set $A_2=\{x\in Y^{\mathrm {p}}\mid \varphi (x)=x\}$ , finitely many sets $A_3,\ldots , A_M$ permuted by $\varphi $ , and a remainder $B_1$ of measure $\nu (B_1)<\delta /2$ coming from large odd periods. By the usual Rokhlin lemma, the aperiodic part $Y^{\mathrm {ap}}$ can be decomposed as $Y^{\mathrm {ap}}=B_2\sqcup A_{M+1}\sqcup \cdots \sqcup A_N$ , where $\nu (B_2)<\delta /2$ , $\varphi (A_{M+k})=A_{M+k+1}$ for all $M+k<N$ and $\varphi (A_N)\subset B_2.$ Put $B=B_1\cup B_2$ . This ends the construction for a single map.
Suppose now that the graphing consists of d maps $\varphi _1,\ldots ,\varphi _d$ and their inverses. For each $i=1,\ldots d$ , there exists a partition $X=B^i\sqcup \bigsqcup _{j=1}^{N_i}A_j^i$ such that $\nu (B^i)< {\delta }/{d}$ and $\varphi _i (A_j^i\cap U_i)\cap A_j^i= \{x\in (A_j^i\cap U_i) \mid \varphi _i(x)=x\}.$ Let $B:=\bigcup _{i=1}^d B^i$ and define the partition $\{A_j\}$ as the product partition $\bigwedge _{i=1}^d \{A_j^i\}.$ This partition satisfies all the desired conditions.
5 Proof of the main theorem
5.1 Preliminary reductions and general strategy
Let $\Gamma $ be a countable group with a coamenable subgroup $H_1$ and an IRS $H_2$ with cospectral radius $\unicode{x3bb} _2$ . We need to show that $H_1\cap H_2$ has cospectral radius at least $\unicode{x3bb} _2$ as well. First, without loss of generality, we can assume $H_2$ is ergodic. The group $H_1$ is realized as the stabilizer of a point in $X_1:=H_1\backslash \Gamma $ and $H_2$ is realized as the stabilizer of a random point in a p.m.p. action of $\Gamma $ on $(X_2,\nu _2)$ . We use Proposition 4.4 to find a finite connected component $P_2$ of $X_2$ and a function $f_2$ on $P_2$ that witnesses the spectral radius $\unicode{x3bb} _2$ . Next, using a large Fölner set in $X_1$ , we produce a new finite connected component in the product system $X_1\times X_2$ and a new function which certifies that the cospectral radius of stabilizers in $X_1\times X_2$ is arbitrarily close to $\unicode{x3bb} _2$ on almost every ergodic component of the product measure.
5.2 Reformulation of the problem in measure theoretic terms
Write $(X_1,\nu _1)$ for the set $H_1\backslash \Gamma $ endowed with the counting measure. It is an infinite ergodic measurepreserving action of $\Gamma $ . Let $\Gamma \curvearrowright (X_2,\nu _2)$ be a p.m.p. Borel action on a standard Borel probability space such that $H_2=\Gamma _x$ for $\nu _2$ random x. We will consider the action of $\Gamma $ on the product system $(X_1\times X_2, \nu _1\times \nu _2).$ To shorten notation, we write $\nu =\nu _1\times \nu _2$ . The intersection $H_1\cap H_2$ is nothing else than the stabilizer of a random point $x\in \{[H_1]\}\times X_2$ . Note that for such x, we have $\rho (\Gamma _x\backslash \Gamma )\leq \unicode{x3bb} _2:=\rho (H_2\backslash \Gamma )$ almost surely. Set
Since conjugate subgroups have the same cospectral radius, the set $C_0$ is invariant under the action of $\Gamma $ . Let $(X_1\times X_2, \nu )\to (Z,\tau )$ be the ergodic decomposition given by Corollary 2.3 and set
By ergodicity and invariance, the set $C_0$ has full $\nu _z$ measure for every $z\in Z_0$ . Theorem 1.2 is equivalent to the identity $C_0=X_1\times X_2$ modulo a null set, so it will follow once we show that $\tau (Z_0)=1$ . By Proposition 4.4, $z\in Z_0$ if and only if the following condition holds: for every $\eta>0$ , there exists a function h supported on the interior of a finite connected component of $(X_1\times X_2,\nu _z, S)$ (according to Definition 4.1), such that
We will refer to nonnegative, nonzero functions supported on interiors of finite connected components of $(X_1\times X_2,\nu , S)$ as test functions. It is easy to check that a test function for $\nu $ is also a test function for almost all ergodic components $\nu _z$ . It will be convenient to name the set of ergodic components z for which there exists a test function satisfying equation (5.1) with specific $\eta $ . Let
Obviously, we have $Z_0=\bigcap _{\eta>0} Z_\eta $ and $Z_{\eta }\subset Z_{\eta '}$ for $\eta <\eta '$ . In the following sections, we show that $\tau (Z_{\eta })\to 1$ as $\eta \to 0$ . This will imply that $\nu (Z_\eta )=1$ for every $\eta>0$ and consequently that $\nu (Z_0)=1$ , which is tantamount to Theorem 1.2.
5.3 Construction of test functions
Lemma 5.1. Let $\delta>0$ . There exists a test function f and a set $Z'\subset Z$ such that:

(1) $\lVert f\rVert _{\nu _z}^2\geq (1\delta )\lVert f\rVert _{\nu }^2$ , for every $z\in Z'$ ;

(2) $\tau (Z')\geq 1\delta ;$

(3) $\langle (IM)f,f\rangle _{\nu } \leq (1\unicode{x3bb} _2+\delta )\lVert f\rVert _{\nu }^2.$
Proof. Let $\varepsilon _2>0$ . Since $\Gamma \curvearrowright (X_2,\nu _2)$ has embedded spectral radius $\unicode{x3bb} _2$ , there is a finite measure, finite connected component $P_2\subset X_2$ , and nonzero $f_2\in L^2(X_2,\nu _2)$ as is in Definition 4.2, that is, $f_2$ is supported on the interior $\mathrm {int}(P_2)$ and
By Remark 4.3, we may assume $f_2\geq 0$ .
We will show that for a good enough Følner set $F\subseteq X_1$ and small enough $\varepsilon _2$ , the function
satisfies the conditions of the lemma. While condition (3) is relatively straightforward, conditions (1) and (2) require some work and strongly use the fact that $X_2$ is a p.m.p. action.
Consider the following probability measures on $\Gamma $ :
By Kakutani’s ergodic theorem [Reference Kakutani10], there exists $m_0\geq 1$ such that
for all $x\in X_2'$ , where $\nu _2(X_2')\geq 1\varepsilon _2$ .
Fix $0<\varepsilon _1\ll \varepsilon _2$ very small. The precise choice only depends on $\varepsilon _2$ and will be specified at the end of the proof. Let $F\subset X_1$ be an $\varepsilon _1$ Følner set and write $Y=(F\cup \partial F)\times X_2$ .
Write $F'$ for the set of points of F which are at distance at least $m_0$ from the boundary $\partial F$ and set $Y':=F'\times X_2'$ , where $X_2'$ is as in equation (5.3). We claim that for $\varepsilon _1$ small enough, we will have $(\nu _1\times \nu _2)(Y')\geq \lvert F\rvert (12\varepsilon _2)$ . Indeed, using that F is $\varepsilon _1$ Følner, we have
Clearly for sufficiently small $\varepsilon _1$ , we have
Write $P:=(F\cup \partial F)\times P_2\subset Y$ . By construction, the support of f is contained in $P\subset Y$ . Note that since $P_2$ is a finite connected component of $X_2$ and $F\cup \partial F$ is finite, the set P will be a finite connected component of $(X_1\times X_2,\nu ,S)$ in the sense of Definition 4.1. Let $\nu =\int _Z\nu _z\,d\tau (z)$ be the ergodic decomposition of $\nu $ as in §2.3. The set P is also a finite connected component of $(X_1\times X_2,\nu _z,S)$ for almost every $z\in Z$ . For every $z\in Z$ , the measure $\nu _z$ is invariant under the action of $\Gamma $ , so that
Since $Y'=F'\times X_2'$ and $F'\gamma ^{1}\subset F$ for any $\gamma \in \operatorname {\mathrm {supp}} \mu ^{m_0}$ , we can use the identity
to rewrite the last integral as
We use equation (5.3) to estimate the innermost integral and obtain a lower bound on $\lVert f\rVert _{\nu _z}^2$ :
By equation (5.4), we have $\nu (Y')\geq (12\varepsilon _2)\lvert F\rvert $ , so we can apply Markov’s inequality to get a set $Z'\subset Z$ with $\tau (Z')\geq 1\sqrt {2\varepsilon _2}$ such that $\nu _z(Y')\geq (1\sqrt {2\varepsilon _2})\lvert F\rvert $ for $z\in Z'$ . Finally, we get that for $z\in Z'$ ,
This establishes properties (1) and (2) of Lemma 5.1. It remains to address property (3). Using $f_2\geq 0$ , we estimate $\langle f,Mf\rangle _\nu $ in terms of $\langle f_2, M f_2\rangle _{\nu _2}$ as follows:
Hence,
Since F is $\varepsilon _1$ Følner, we have $\lvert \text {int}(F)\rvert /\lvert F\rvert \geq 1\lvert S\rvert \varepsilon _1$ , so finally we obtain
By the defining property of $f_2$ (see equation (5.2)), we then find
To finish the proof, choose $\varepsilon _2>0$ such that $(1\varepsilon _2)(1\sqrt {2\varepsilon _2})\geq (1\delta )$ and then choose $\varepsilon _1>0$ such that $\varepsilon _2+ \lvert S\rvert \varepsilon _1\leq \delta $ and such that equation (5.4) holds.
5.4 End of the proof
Let $f, \delta , Z'$ be as in Lemma 5.1. Using property (3) of Lemma 5.1, we have
By property (1), we can then estimate
However, Proposition 4.4 and the fact that cospectral radii of stabilizers are all at most $\unicode{x3bb} _2$ yield the inequality
Therefore, by Markov’s inequality, there is a positive $\eta =O(\sqrt \delta )$ and a subset $Z"\subset Z$ such that $\tau (Z")\geq 1\eta $ and
Here, $\eta $ could be made explicit in terms of $\delta $ and $\unicode{x3bb} _2$ , but we will only need that $\eta \to 0$ as $\delta \to 0$ . We have $Z"\subset Z_\eta $ , so it follows that $\tau (Z_\eta )\to 1$ as $\eta \to 0$ . This ends the proof per the discussion at the end of §5.2.
Acknowledgments
We thank Gabor Pete and Tianyi Zheng for showing us a related problem for intersections of percolations on ${\mathbb {Z}}$ . We thank Alex Furman for suggesting the problem as well as for helpful discussions. M.F. thanks Miklos Abert for useful discussions. We thank the anonymous referee for valuable comments. We thank the University of Illinois at Chicago for providing support for a visit by M.F. M.F. was partly supported by ERC Consolidator Grant 648017. W.vL. is supported by NSF DMS1855371.