2. Preliminaries

The Lück–Weiermann construction

In this subsection, we give a particular construction of Lück–Weiermann [Reference Mislin and Valette20, Theorem 2.3] that we will use later.

Definition 2.1. Let ${\mathcal F}\subset{\mathcal G}$ be two families of subgroups of $G$ . Let $\sim$ be an equivalence relation in ${\mathcal G}-{\mathcal F}$ . We say that $\sim$ is strong if the following is satisfied

1. (a) If $H, K \in{\mathcal G}-{\mathcal F}$ with $H\subseteq K$ , then $H\sim K$ ;

2. (b) If $H, K \in{\mathcal G}-{\mathcal F}$ and $g\in G$ , then $H\sim K$ if and only if $gHg^{-1} \sim gKg^{-1}$ .

Definition 2.2. Let $G$ be a group and $L, K$ be subgroups of $G$ . We say that $L$ and $K$ are commensurable if $L\cap K$ has finite index in both $L$ and $K$ .

Definition 2.3. Let $G$ be a group and let $H$ be a subgroup of $G$ . We define the commensurator of $H$ in $G$ as

\begin{equation*}N_{G}[H]\;:\!=\;\{g\in G | gHg^{-1}\text { is commensurable with }H \}.\end{equation*}

Definition 2.4. Let $G$ be a group, let $H$ be a subgroup of $G$ , and $\mathcal F$ a family of subgroups of $G$ . We define the family ${\mathcal F}\cap H$ of $H$ as all the subgroups of $H$ that belong to $\mathcal F$ . We can complete the family ${\mathcal F}\cap H$ in order to get a family $\overline{{\mathcal F}\cap H}$ of $G$ .

Remark 2.5. Following the notation of Definition 2.4 note that:

• • If $H=G$ then $\overline{{\mathcal F}\cap H}={\mathcal F}$ .

• • If $H$ is normal subgroup of $G$ , then $\overline{{\mathcal F}\cap H}={\mathcal F}\cap H$ .

Let $G$ be a group, $H$ a subgroup of $G$ and $n\geq 0$ . Consider the following nested families of $G$ , $\overline{{\mathcal F}_n\cap H}\subseteq \overline{{\mathcal F}_{n+1}\cap H}$ , let $\sim$ the equivalence relation in $\overline{{\mathcal F}_{n+1}\cap H}-\overline{{\mathcal F}_n\cap H}$ given by commensurability. It is easy to check that this is a strong equivalence relation.

We introduce the following notation:

• • We denote by $(\overline{{\mathcal F}_{n+1}\cap H}-\overline{{\mathcal F}_n\cap H})/\sim$ the equivalence classes in $\overline{{\mathcal F}_{n+1}\cap H}-\overline{{\mathcal F}_n\cap H}$ . Given $L\in (\overline{{\mathcal F}_{n+1}\cap H}-\overline{{\mathcal F}_n\cap H})$ we denote by $[L]$ its equivalence class.

• • Given $[L]\in (\overline{{\mathcal F}_{n+1}\cap H}-\overline{{\mathcal F}_n\cap H})/\sim$ , we define the next family of subgroups of $N_{G}[L]$

  \begin{equation*}(\overline {{\mathcal F}_{n+1}\cap H})[L]\;:\!=\;\{K\leq N_G[L]| K\in (\overline {{\mathcal F}_{n+1}\cap H}-\overline {{\mathcal F}_n\cap H}), [K]=[L]\}\cup (\overline {{\mathcal F}_n\cap H}\cap N_G[L]).\end{equation*}

Theorem 2.6 ([Reference Mislin and Valette20], Theorem 2.3). Let $G$ be a group, let $H$ be a subgroup of $G$ and $n\geq 0$ . Consider the following nested families of $G$ , $\overline{{\mathcal F}_n\cap H}\subseteq \overline{{\mathcal F}_{n+1}\cap H}$ , let $\sim$ be the equivalence relation given by commensurability in $\overline{{\mathcal F}_{n+1}\cap H}-\overline{{\mathcal F}_n\cap H}$ . Let $I$ be a complete set of representatives of conjugation classes in $(\overline{{\mathcal F}_{n+1}\cap H}-\overline{{\mathcal F}_n\cap H})/\sim$ . Choose arbitrary $N_G[L]$ -CW-models for $E_{(\overline{{\mathcal F}_n\cap H})\cap N_{G}[L]}N_{G}[L]$ and $E_{ (\overline{{\mathcal F}_{n+1}\cap H})[L]}N_{G}[L]$ and an arbitrary model for $E_{\overline{{\mathcal F}_n\cap H}}G$ . Consider the following $G$ -push-out

such that $f_{[L]}$ is a cellular $G$ -map for every $[L]\in I$ and either (1) $i$ is an inclusion of $G$ -CW-complexes or (2) such that every map $f_{[L]}$ is an inclusion of $G$ -CW-complexes for every $[L]\in I$ and $i$ is a cellular $G$ -map. Then $X$ is a model for $E_{\overline{{\mathcal F}_{n+1}\cap H}}G$ .

Remark 2.7. The conditions in Theorem 2.6 are not restrictive. For instance, to satisfy the condition $(2)$ , we can use the equivariant cellular approximation theorem to assume that the maps $i$ and $f_{[L]}$ are cellular maps for all $[L]\in I$ and to make the function $f_{[L]}$ an inclusion for every $[L]\in I$ , we can replace the spaces by the mapping cylinders. See [ Reference Mislin and Valette20, Remark 2.5].

Following the notation from Theorem 2.6 we have

Corollary 2.8. $\textrm{gd}_{\overline{{\mathcal F}_{n+1}\cap H}}(G)\leq \max \{ \textrm{gd}_{ \overline{{\mathcal F}_{n}\cap H}}(G)+1, \textrm{gd}_{ (\overline{{\mathcal F}_{n+1}\cap H})[L]}(N_{G}[L])| L\in I\}.$

Nested families

Given a group $G$ and two nested families ${\mathcal F}\subseteq{\mathcal G}$ of $G$ , we will use the following propositions to bound the geometric dimension $\textrm{gd}_{{\mathcal F}}(G)$ using the geometric dimension $\textrm{gd}_{{\mathcal G}}(G)$ .

Proposition 2.11 ([Reference Mislin and Valette20], Proposition 5.1 (i)). Let $G$ be a group and let $\mathcal F$ and $\mathcal G$ be two families of subgroups such that ${\mathcal F}\subseteq{\mathcal G}$ . Suppose for every $H\in{\mathcal G}$ we have $\textrm{gd}_{{\mathcal F}\cap H}(H)\leq d$ . Then $\textrm{gd}_{{\mathcal F}}(G)\leq \textrm{gd}_{{\mathcal G}}(G)+d.$

The proof of the following proposition is implicit in [Reference Lück and Weiermann19, Proof of Theorem 3.1] and [Reference Mislin and Valette20, Proposition 5.1].

Proposition 2.12. Let $G$ be a group. Let $\mathcal F$ and $\mathcal G$ be families of subgroups of $G$ such that ${\mathcal F}\subseteq{\mathcal G}$ . If $X$ is a model for $E_{\mathcal G} G$ , then

\begin{equation*}\textrm {gd}_{{\mathcal F}}(G)\leq \max \{\textrm {gd}_{{\mathcal F}\cap G_\sigma }(G_{\sigma })+\dim (\sigma )| \ \sigma \text { is a cell of } \ X \}.\end{equation*}

Bredon cohomology

In this subsection, we recall the definition of Bredon cohomology, the cohomological dimension for families and its connection with the geometric dimension for families. For further details see [Reference Onorio21].

Fix a group $G$ and $\mathcal F$ a family of subgroups of $G$ . The orbit category $\mathcal{O}_{{\mathcal F}}G$ is the category whose objects are $G$ -homogeneous spaces $G/H$ with $H\in{\mathcal F}$ and morphisms are $G$ -functions. The category of Bredon modules is the category whose objects are contravariant functors $M\colon \mathcal{O}_{{\mathcal F}}G \to Ab$ from the orbit category to the category of abelian groups, and morphisms are natural transformations $f\colon M\to N$ . This is an abelian category with enough projectives. The constant Bredon module $\underline{\mathbb{Z}}\colon \mathcal{O}_{{\mathcal F}}G \to Ab$ is defined in objects by $\underline{\mathbb{Z}}(G/H)=\mathbb{Z}$ and in morphisms by $\underline{\mathbb{Z}}(\varphi )=id_{\mathbb{Z}}$ . Let $P_{\bullet }$ be a projective resolution of the Bredon module $\underline{\mathbb{Z}}$ , and $M$ be a Bredon module. We define the Bredon cohomology of $G$ with coefficients in $M$ as

\begin{equation*}H_{{\mathcal F}}^{*}(G;\;M)=H_{*}(\textrm {mor} (P_{\bullet },M)).\end{equation*}

We define the $\mathcal F$ -cohomological dimension of $G$ as

\begin{equation*}\textrm {cd}_{{\mathcal F}}(G)=\max \{n\in \mathbb {N}| \text { there is a Bredon module }M, H_{{\mathcal F}}^{*}(G;\;M)\neq 0 \}.\end{equation*}

We have the following Eilenberg–Ganea type theorem that relates the $\mathcal F$ -cohomological dimension and the $\mathcal F$ -geometric dimension.

Theorem 2.13 ([Reference Lück and Meintrup17], Theorem 0.1). Let $G$ be a group and $\mathcal F$ be a family of subgroups of $G$ . Then

\begin{equation*}\textrm {cd}_{{\mathcal F}}(G)\leq \textrm {gd}_{{\mathcal F}}(G)\leq \max \{\textrm {cd}_{{\mathcal F}}(G), 3\}.\end{equation*}

This Theorem 2.13 together with the following Mayer–Vietoris sequence will be used to give lower bounds for the $\mathcal F$ -geometric dimension $\textrm{gd}_{{\mathcal F}}(G)$ .

Mayer–Vietoris sequence

Following the notation of Theorem 2.6, by [Reference Davis, Quinn and Reich7, Proposition 7.1] [Reference Mislin and Valette20] we have the next long exact sequence

\begin{align*} \begin{split} \cdots \to H^{n}( X/G)\to \left (\prod _{L\in I}H^{n}(E_{ (\overline{{\mathcal F}_{n+1}\cap H})[L]}N_{G}[L]/N_G[H])\right )\oplus H^n( E_{\overline{{\mathcal F}_n\cap H}}G/G)\to & \\ \prod _{L\in I}H^{n}( E_{(\overline{{\mathcal F}_n\cap H})\cap N_{G}[L]}N_{G}[L]/N_G[L])\to H^{n+1}(X/G)\to \cdots & \end{split} \end{align*}

Remark 2.14. The results presented in Corollaries 2.8 , 2.10 , and Proposition 2.11 have cohomological counterparts. Specifically, if we replace $\textrm{gd}_{{\mathcal F}}$ with $\textrm{cd}_{{\mathcal F}}$ , all the results hold true, see for instance [ Reference Rolland, Álvarez and Saldaña23, Remark 2.9].

3. The ${\mathcal F}_k$ -dimension of a virtually $\mathbb{Z}^n$ group

The objective of this section is to prove Theorem 1.1. Let $G$ be a virtually $\mathbb{Z}^n$ group. By [Reference Rolland, Álvarez and Saldaña23, Proposition 1.3], Theorem 2.13 and since the $\mathcal F$ -cohomological dimension is monotone, we have for all $0\leq k\lt n$ the following inequalities

\begin{equation*}n+k\geq \textrm {gd}_{{\mathcal F}_k}(G)\geq \textrm {cd}_{{\mathcal F}_k}(G) \geq \textrm {cd}_{{\mathcal F}_k\cap \mathbb {Z}^n}(\mathbb {Z}^n).\end{equation*}

Therefore, to prove Theorem 1.1, it is enough to show that $\textrm{cd}_{{\mathcal F}_k\cap \mathbb{Z}^n}(\mathbb{Z}^n)\geq n+k$ for $0\leq k\lt n$ . In Theorem 3.6, we prove this inequality. In order to prove Theorem 3.6 we need Lemma 3.1, Mayer–Vietoris sequence, Lemma 3.5, and Corollary 3.3.

Proof. The proof is by induction on $k$ . Let $G=\mathbb{Z}^n$ . For $k=0$ , we have $\textrm{gd}_{{\mathcal F}_0\cap H}(G)=\textrm{gd}_{}(G)=n.$ Suppose that the inequality is true for all $k\lt m$ . We prove that the inequality is true for $k=m$ . Let $\sim$ be the equivalence relation on ${\mathcal F}_m\cap H-{\mathcal F}_{m-1}\cap H$ defined by commensurability, and let $I$ a complete set of representatives classes in $({\mathcal F}_m\cap H-{\mathcal F}_{m-1}\cap H)/\sim$ . By Corollary 2.8 and Remark 2.5, we have

\begin{equation*}\textrm {gd}_{{\mathcal F}_m\cap H}(G)\leq \max \{\textrm {gd}_{ {\mathcal F}_{m-1}\cap H}(G)+1, \textrm {gd}_{ ({\mathcal F}_m\cap H)[L]}(G)| L\in I\}\leq \max \{n+m, \textrm {gd}_{ ({\mathcal F}_m\cap H)[L]}(G)| L\in I\}\end{equation*}

then to prove that $\textrm{gd}_{{\mathcal F}_m\cap H}(G)\leq n+m$ it is enough to prove that $\textrm{gd}_{({\mathcal F}_m\cap H)[L]}(G)\leq n+m$ for all $L\in I$ . Let $L\in I$ . We can write the family

\begin{equation*}({\mathcal F}_m\cap H)[L]=\{ K\leq G|K\in {\mathcal F}_m\cap H- {\mathcal F}_{m-1}\cap H, K\sim L\}\cup ({\mathcal F}_{m-1}\cap H)\end{equation*}

as the union of two families $ ({\mathcal F}_m\cap H)[L]={\mathcal G} \cup ({\mathcal F}_{m-1}\cap H)$ where $\mathcal G$ is the family generated by $\{ K\leq G|K\in{\mathcal F}_m\cap H-{\mathcal F}_{m-1}\cap H, [K]=[L]\}$ . By Corollary 2.10, we have

\begin{align*} \begin{split} \textrm{gd}_{ ({\mathcal F}_m\cap H)[L]}(G) &\leq \max \{\textrm{gd}_{{\mathcal F}_{m-1}\cap H}(G), \textrm{gd}_{{\mathcal G} \cap ({\mathcal F}_{m-1}\cap H)}(G)+1, \textrm{gd}_{{\mathcal G}}(G)\}\\ &\leq \max \{n+m-1, \textrm{gd}_{{\mathcal G} \cap ({\mathcal F}_{m-1}\cap H)}(G)+1, \textrm{gd}_{{\mathcal G}}(G)\},\text{by induction hypothesis}.\end{split} \end{align*}

We prove the following inequalities

1. (i) $\textrm{gd}_{{\mathcal G}}(G)\leq n-m$ ,

2. (ii) $\textrm{gd}_{{\mathcal G} \cap ({\mathcal F}_{m-1}\cap H)}(G)\leq n+m-1$

and as a consequence we will have $\textrm{gd}_{{\mathcal F}_m\cap H[L]}(G)\leq n+m$ . First, we prove item (i). Note that a model for $E_{{\mathcal F}_0}(G/L)$ is a model for $E_{\mathcal G} G$ via the action given by the projection $G\to G/L$ . Since $ G/L$ is virtually $\mathbb{Z}^{n-m}$ by [Reference Rolland, Álvarez and Saldaña23, Proposition 1.3] we have $\textrm{gd}_{{\mathcal F}_0}(G/L)\leq n-m$ .

Now we prove item (ii). Applying Proposition 2.11 to the inclusion of families ${\mathcal G}\cap ({\mathcal F}_{m-1}\cap H) \subset{\mathcal G}$ , we get

\begin{equation*}\textrm {gd}_{{\mathcal G} \cap ({\mathcal F}_{m-1}\cap H)}(G)\leq \textrm {gd}_{\mathcal G}(G)+d\end{equation*}

for some $d$ such that for any $K\in{\mathcal G}$ we have $\textrm{gd}_{{\mathcal G}\cap ({\mathcal F}_{m-1}\cap H)\cap K}(K)\leq d$ . Since we already proved $\textrm{gd}_{{\mathcal G}}(G)\leq n-m$ , our next task is to show that $d$ can be chosen to be equal to $2m-1$ .

Recall that any $K\in{\mathcal G}$ is virtually $\mathbb{Z}^t$ for some $0\leq t \leq m$ . We split our proof into two cases. First assume that $K\in{\mathcal G}$ is virtually $\mathbb{Z}^t$ for some $0\leq t \leq m-1$ . Hence, $K$ belongs to ${\mathcal F}_{m-1}\cap H$ , it follows that $K$ belongs to ${\mathcal G} \cap ({\mathcal F}_{m-1}\cap H)$ and we conclude $\textrm{gd}_{({\mathcal G} \cap ({\mathcal F}_{m-1}\cap H))\cap K}(K)=0$ . Now assume $K\in{\mathcal G}$ is virtually $\mathbb{Z}^{m}$ . We claim that $({\mathcal G} \cap ({\mathcal F}_{m-1}\cap H))\cap K={\mathcal F}_{m-1}\cap K$ . The inclusion $({\mathcal G} \cap ({\mathcal F}_{m-1}\cap H))\cap K \subset{\mathcal F}_{m-1}\cap K$ is clear since ${\mathcal F}_{m-1}\cap H\subset{\mathcal F}_{m-1}$ . For the other inclusion let $M\in{\mathcal F}_{m-1}\cap K$ . Since $K\leq H$ we get ${\mathcal F}_{m-1}\cap K \subseteq{\mathcal F}_{m-1}\cap H$ and as a consequence $M\in{\mathcal F}_{m-1}\cap H$ , on the other hand $M\leq K\in{\mathcal G}$ , therefore $M\in ({\mathcal G} \cap ({\mathcal F}_{m-1}\cap H))\cap K$ . This establishes the claim. We conclude that

\begin{equation*}\textrm {gd}_{({\mathcal G} \cap ( {\mathcal F}_{m-1}\cap H))\cap K}(K)=\textrm {gd}_{{\mathcal F}_{m-1}\cap K}(K)\leq m+m-1=2m-1\end{equation*}

where the inequality follows from [Reference Rolland, Álvarez and Saldaña23, Proposition 1.3].

The following proposition is a mild generalization of [Reference Charney4, Lemma 2.3].

Proof. We have two cases $\textrm{rank}(H)=n$ or $\textrm{rank}(H)\lt n$ . In the first case, by the maximality of $H$ we have that $H=\mathbb{Z}^n$ and ${\mathcal F}_{k}\cap H={\mathcal F}_k$ . Let $L\in ({\mathcal F}_k-{\mathcal F}_{k-1})$ , we consider the following short exact sequence:

\begin{equation*}1 \to L \to \mathbb {Z}^n \xrightarrow []{p} \mathbb {Z}^n/ L \to 1. \end{equation*}

Since $\operatorname{rank}(\mathbb{Z}^n) = \operatorname{rank}(L) + \operatorname{rank}(\mathbb{Z}^n/ L)$ and by the classification theorem of finitely generated abelian groups, we have that $\mathbb{Z}^n/ L$ is isomorphic to $\mathbb{Z}^{n-k} \oplus F$ where $F$ is the torsion part. Therefore, it is clear that $p^{-1}(F)$ is the unique maximal subgroup of $\mathbb{Z}^n$ of rank $k$ that contains $L$ .

Suppose that $\textrm{rank}(H)=t\lt n$ . Let $L\in{\mathcal F}_{k}\cap H-{\mathcal F}_{k-1}\cap H$ , in particular $L\in{\mathcal F}_k$ then by the first case $L$ is contained in a unique maximal $M\in{\mathcal F}_{k}-{\mathcal F}_{k-1}$ . We claim that $M\leq H$ . Note that $MH$ is virtually $\mathbb{Z}^t$ because

\begin{equation*}[HM\;:\;H]=[M\;:\;M\cap H]\le [M\;:\;L]\lt \infty,\end{equation*}

it follows that $MH\in{\mathcal F}_t$ , and then the maximality of $H$ implies $H=MH$ . This finishes the proof of claim. Now it is easy to see that $M\in{\mathcal F}_{k}\cap H-{\mathcal F}_{k-1}\cap H$ is the unique maximal in ${\mathcal F}_{k}\cap H-{\mathcal F}_{k-1}\cap H$ containing $L$ . In fact, suppose that there is another $N\in{\mathcal F}_{k}\cap H-{\mathcal F}_{k-1}\cap H$ that is maximal and contains $L$ . Then we have

\begin{equation*}[NM\;:\;N]=[M\;:\;M\cap N]\le [M\;:\;L]\lt \infty,\end{equation*}

which implies $NM\in{\mathcal F}_k\cap H$ . This contradicts the maximality of $N$ .

Proof. A model for $E_{{\mathcal F}_0}(\mathbb{Z}^n/L)$ is a model for $E_{SUB(L)}\mathbb{Z}^n$ via the action given by the projection $\mathbb{Z}^n\to \mathbb{Z}^n/L$ . Since $\mathbb{Z}^n/L=\mathbb{Z}^{n-t}$ , a model for $E_{{\mathcal F}_0}(\mathbb{Z}^n/L)$ is $\mathbb{R}^{n-t}$ with the action given by translation.

Proof. The proof is by induction on $k$ . Let $G=\mathbb{Z}^n$ . For $k=0$ , we have $E_{{\mathcal F}_0\cap S}G=EG$ and $E_{{\mathcal F}_0\cap H}G=EG$ . A model for $EG$ is $\mathbb{R}^n$ and the claim follows. Assuming the claim holds for all $k \lt m$ , we prove that it holds for $k = m$ , that is, we show that there is a model $X$ of $E_{{\mathcal F}_m\cap S}G$ with $\dim (X)\leq n+m$ , and a model $Y$ of $E_{{\mathcal F}_m\cap H}G$ with $\dim (Y)\leq n+m$ such that we have a inclusion $X\hookrightarrow Y$ . Let $\sim$ be the equivalence relation on ${\mathcal F}_m\cap H-{\mathcal F}_{m-1}\cap H$ defined by commensurability. Let $I_1$ be a complete set of representatives of classes of subgroups in $ ({\mathcal F}_m\cap H -{\mathcal F}_{m-1}\cap H)/\sim$ . By Corollary 3.3, these representatives can be chosen to be maximal within their class. Applying Theorem 2.6 and Remark 2.5, the following homotopy $G$ -push-out gives us a model $X_1$ for $E_{{\mathcal F}_m\cap H}G$

(3.1)

For $L\in I_1$ , by maximality of $L$ in its commensuration class we can write the family

\begin{equation*}({\mathcal F}_m\cap H)[L]=\{ K\leq G|K\in {\mathcal F}_m\cap H- {\mathcal F}_{m-1}\cap H, K\sim L\}\cup ({\mathcal F}_{m-1}\cap H)\end{equation*}

as the union of two families

\begin{equation*}({\mathcal F}_{m}\cap H)[L]=SUB(L)\cup ({\mathcal F}_{m-1}\cap H),\end{equation*}

where $SUB(L)$ is the family of all the subgroups of $L$ .

On the other hand, let $\sim$ be the equivalence relation on ${\mathcal F}_m\cap S-{\mathcal F}_{m-1}\cap S$ defined by commensurability. Let $I_2$ be a complete set of representatives of classes of subgroups in $ ({\mathcal F}_m\cap S -{\mathcal F}_{m-1}\cap S)/\sim$ . By Corollary 3.3, these representatives can be chosen to be maximal within their class. Applying Theorem 2.6, we obtain a homotopy $G$ -push-out that gives us a model $X_2$ for $E_{{\mathcal F}_m\cap S}G$

(3.2)

Let $T \in I_2$ . We claim that a model for $E_{SUB(T) \cup ({\mathcal F}_{m-1} \cap H)}G$ is also a model for $E_{SUB(L) \cup ({\mathcal F}_{m-1} \cap H)}G$ for every $L \in I_1$ . Let $L \in I_1$ . Note that $T$ and $L$ are maximal subgroups of $H$ , thus $H = L \oplus N_1$ and $H = T \oplus N_2$ . We can construct an automorphism of $H$ , $\sigma \colon L \oplus N_1 \to T \oplus N_2$ , that maps $L$ to $T$ isomorphically. Since $H$ is maximal in $G$ , we can split $G$ as $G = H \oplus R$ . Therefore, we can extend the automorphism $\sigma$ to an automorphism of $G$ , $\hat{\sigma }\colon L \oplus N_1 \oplus R \to T \oplus N_2 \oplus R$ , that maps $L$ to $T$ isomorphically and preserves the subgroup $H$ . It follows that $E_{SUB(T)\cup ({\mathcal F}_{m-1}\cap H)}G$ is a model for $E_{SUB(L)\cup ({\mathcal F}_{m-1}\cap H)}G$ via the action given by the automorphism $\hat{\sigma }$ . From Corollary 3.3 it follows that $I_1=I_2\sqcup (I_1-I_2)$ . Therefore, we can replace the homotopy $G$ -push-outs in equations (3.1) and (3.2) with the following homotopy $G$ -push-outs.

(3.3)

(3.4)

By induction hypothesis there is a model $X$ of $E_{{\mathcal F}_{m-1}\cap S}G$ with $\dim (X)\leq n+m-1$ , and a model $Y$ of $E_{{\mathcal F}_{m-1}\cap H}G$ with $\dim (Y)\leq n+m-1$ , such that we have a inclusion $X\hookrightarrow Y$ . By the $G$ -push-outs in equations (3.3) and (3.4), to prove that there is a inclusion $E_{{\mathcal F}_{m}\cap S}\hookrightarrow E_{{\mathcal F}_{m}\cap H}$ it is enough to prove that there is a inclusion $E_{SUB(T)\cup ({\mathcal F}_{m-1}\cap S) }G \hookrightarrow E_{SUB(T)\cup ({\mathcal F}_{m-1}\cap H)}G$ . By Lemma 2.9, the following $G$ -push-outs gives us a model for $E_{SUB(T)\cup ({\mathcal F}_{m-1}\cap S) }G$ and $E_{SUB(T)\cup ({\mathcal F}_{m-1}\cap H) }G$ , respectively.

(3.5)

Note that $SUB(T)\cap ({\mathcal F}_{m-1}\cap S)={\mathcal F}_{m-1}\cap T= SUB(T)\cap ({\mathcal F}_{m-1}\cap H)$ . It follows from these $G$ -push-outs that we have a inclusion $E_{SUB(T)\cup ({\mathcal F}_{m-1}\cap S) }G \hookrightarrow E_{SUB(T)\cup ({\mathcal F}_{m-1}\cap H)}G$ .

Finally, we prove that $\dim (X_1)\leq n+m$ and $\dim (X_2)\leq n+m$ . From equation (3.3) it follows

\begin{align*} \begin{split} \dim (X_1) &\leq \max \{\textrm{gd}_{{\mathcal F}_{m-1}\cap H}(G), \textrm{gd}_{{\mathcal F}_{m-1}\cap H}(G)+1, \textrm{gd}_{ SUB(T)\cup ({\mathcal F}_{m-1}\cap H)}(G)\}\\ &\leq \max \{n+m, \textrm{gd}_{ SUB(T)\cup ({\mathcal F}_{m-1}\cap H)}(G)\}\text{, by induction hypothesis} \end{split} \end{align*}

Then to prove that $\dim (X_1)\leq n+m$ it is enough to prove $\textrm{gd}_{SUB(T)\cup ({\mathcal F}_{m-1}\cap H)}(G)\leq n+m$ . By equation (3.5) and since $SUB(T) \cap ({\mathcal F}_{m-1}\cap H)={\mathcal F}_{m-1}\cap T$ we have

\begin{align*} \begin{split} \textrm{gd}_{ SUB(T)\cup ({\mathcal F}_{m-1}\cap H)}(G) &\leq \dim (Y_1)\\ &\leq \max \{\textrm{gd}_{{\mathcal F}_{m-1}\cap H}(G), \textrm{gd}_{SUB(T) \cap ({\mathcal F}_{m-1}\cap H)}(G)+1, \textrm{gd}_{SUB(T)}(G)\}\\ &=\max \{\textrm{gd}_{{\mathcal F}_{m-1}\cap H}(G), \textrm{gd}_{{\mathcal F}_{m-1}\cap T}(G)+1, \textrm{gd}_{SUB(T)}(G)\}\\ &\leq \max \{n+m-1, n+m, n-m\}\text{, By Lemma 3.1 and Lemma 3.4}\\ &=n+m. \end{split} \end{align*}

Proof. Let $G=\mathbb{Z}^n$ . The proof is by double induction on $(t,m)$ . The claim is true for all $(t,0)\in \mathbb{N}\times \{0\}$ . Let $H$ be a subgroup of $G$ that is maximal in ${\mathcal F}_t-{\mathcal F}_{t-1}$ , then

\begin{equation*}H_{ {\mathcal F}_0\cap H}^{n+0}(G;\;\underline {\mathbb {Z}})=H_{{\mathcal F}_0}^{n}(G;\;\underline {\mathbb {Z}})=H^{n}(G;\;\mathbb {Z})=\mathbb {Z}.\end{equation*}

Suppose that the claim is true for all $(t,s)\in \mathbb{N}\times \{0,1,\dots, m-1\}$ , we prove that the claim is true for $(t,m)$ , i.e. $H_{{\mathcal F}_m\cap H}^{n+m}(G;\;\underline{\mathbb{Z}})\neq 0$ .

Applying Mayer–Vietoris to the $G$ -push-out in equation (3.3) and Lemma 3.1, we have the following long exact sequence

(3.6) \begin{equation} \begin{split} \cdots \to \left (\prod _{L\in{I}_1}H^{n+m-1}(E_{SUB(T)\cup ({\mathcal F}_{m-1}\cap H)}G/G)\right )\oplus H^{n+m-1}(E_{{\mathcal F}_{m-1}\cap H}G/G)\xrightarrow []{\varphi }& \\ \prod _{L\in I_1}H^{n+m-1}(E_{{\mathcal F}_{m-1}\cap H}G/G)\to H^{n+m}(X_1/G) \to \prod _{L\in{I}_1}H^{n+m}(E_{SUB(T)\cup ({\mathcal F}_{m-1}\cap H)}G/G)& \to 0 \end{split} \end{equation}

We now show that $\prod _{L\in{I}_1}H^{n+m}(E_{SUB(T)\cup ({\mathcal F}_{m-1}\cap H)}G/G)=0$ . It is enough to show that $\textrm{gd}_{SUB(T)\cup ({\mathcal F}_{m-1}\cap H)}(G)\leq n+m-1$ . By Lemma 2.9 the following homotopy $G$ -push-out gives us a model $Y$ for $E_{SUB(T)\cup ({\mathcal F}_{m-1}\cap H)}G$ .

(3.7)

Note that $SUB(T)\cap ({\mathcal F}_{m-1}\cap H)={\mathcal F}_{m-1}\cap T$ . By Lemma 3.5, the map $g$ can be taken as an inclusion, then by [Reference Waner26, Theorem 1.1] the homotopy $G$ -push-out can be taken as a $G$ -push-out. It follows that

(3.8) \begin{equation} \begin{split} \textrm{gd}_{SUB(T)\cup ({\mathcal F}_{m-1}\cap H)}(G)& \leq \dim (Y)\\ &=\max \{\textrm{gd}_{SUB(T)}(G), \textrm{gd}_{{\mathcal F}_{m-1}\cap T}(G), \textrm{gd}_{{\mathcal F}_{m-1}\cap H}(G)\}\\ &\leq \max \{n-m,n+m-1,n+m-1\}\text{, by Lemma 3.1 and Lemma 3.4}\\ &=n+m-1 \end{split} \end{equation}

Then the sequence equation (3.6) reduce to

\begin{align*} \begin{split} \cdots \to \left (\prod _{L\in{I}_1}H^{n+m-1}(E_{SUB(T)\cup ({\mathcal F}_{m-1}\cap H)}G/G)\right )\oplus H^{n+m-1}(E_{{\mathcal F}_{m-1}\cap H}G/G)\xrightarrow []{\varphi }& \\ \prod _{L\in I_1}H^{n+m-1}(E_{{\mathcal F}_{m-1}\cap H}G/G)\to H^{n+m}(X_1/G) \to & 0 \end{split} \end{align*}

Then to prove that $H_{{\mathcal F}_k\cap H}^{n+m}(G;\;\underline{\mathbb{Z}})=H^{n+m}(X_1/G)\neq 0$ is enough to prove that $\varphi$ is not surjective. By equation (3.3) we have $\varphi = (\prod _{L\in I_1}f_{T}^{*})-\Delta$ , where $\Delta$ is the diagonal embedding. First, we prove that $f_{T}^{*}$ is not surjective.

Applying Mayer–Vietoris to the $G$ -push-out in equation (3.7) we have the following long exact sequence

\begin{align*} \begin{split} \cdots \to H^{n+m-1}(E_{SUB(T)\cup ({\mathcal F}_{m-1}\cap H)}G/G)\xrightarrow []{h^{*}\oplus \psi ^{*}} H^{n+m-1}(E_{SUB(T)}G/G)\oplus H^{n+m-1}(E_{{\mathcal F}_{m-1}\cap H}G/G)\to &\\ H^{n+m-1}(E_{{\mathcal F}_{m-1}\cap T}G/G)\to 0 & \end{split} \end{align*}

Since $\textrm{gd}_{SUB(T)}(G)\leq n-m$ and since there is precisely one $G$ -map $E_{{\mathcal F}_{m-1}\cap H}G\to E_{SUB(T)\cup ({\mathcal F}_{m-1}\cap H)}G$ up to $G$ -homotopy we can reduce the sequence to

\begin{align*} \begin{split} \cdots \to H^{n+m-1}(E_{SUB(T)\cup ({\mathcal F}_{m-1}\cap H)}G/G)\xrightarrow []{f_T^{*}} H^{n+m-1}(E_{{\mathcal F}_{m-1}\cap H}G/G)\to &\\ H^{n+m-1}(E_{{\mathcal F}_{m-1}\cap T}G/G)\to 0 & \end{split} \end{align*}

By hypothesis $T$ is maximal in ${\mathcal F}_m\cap H-{\mathcal F}_{m-1}\cap H$ , then by Corollary 3.3 (b) we have that $T$ is maximal in ${\mathcal F}_m-{\mathcal F}_{m-1}$ , by induction hypothesis we have that $H^{n+m-1}(E_{{\mathcal F}_{m-1}\cap T}G/G)\neq 0$ , thus $f_T^{*}$ is not surjective.

Finally, we see that $\varphi$ is not surjective. In fact, let $b_K\notin \textrm{Im}(f_{T}^{*})$ , for some $K\in I_1$ , then $(0,0, \cdots, b_K,\cdots,0)\notin \textrm{Im}(\varphi )$ . Suppose that is not the case, that is, there is

\begin{equation*}\left(\prod _{L\in {I}_1}a_L,c\right)\in \left (\prod _{L\in {I}_1}H^{n+m-1}(E_{SUB(T)\cup ({\mathcal F}_{m-1}\cap H)}G/G)\right )\oplus H^{n+m-1}(E_{{\mathcal F}_{m-1}\cap H}G/G)\end{equation*}

such that $(0,0, \cdots, b_K,\cdots,0)=\varphi ((\prod _{L\in{I}_1}a_L,c))=\prod _{L\in{I}_1}f_{T}^{*}(a_L)-\Delta (c)=(f_{T}^{*}(a_L)-c)_{L\in I_1}.$ Then $f_{T}^{*}(a_L)=c$ for $L\neq K$ and $f_{T}^{*}(a_K)-c=b_K$ , it follows that

\begin{equation*}b_K=f_{T}^{*}(a_K)-f_{T}^{*}(a_L)=f_{T}^{*}(a_K-a_L),\end{equation*}

then $b_K\in \textrm{Im}(f_{T}^{*})$ and this is a contradiction.

4. Some applications of Corollary 1.2

4.1. The ${\mathcal F}_k$ -dimension of braid groups

In this subsection, we compute the ${\mathcal F}_n$ -dimension of full and pure braid groups. For our purposes, it is convenient to define the braid group as follows: let $D_n$ the closed disc with $n$ punctures, we define the braid group $B_n$ on $n$ strands, as the isotopy classes of orientation preserving diffeomorphisms of $D_n$ that restrict to the identity on the boundary $\partial D_n$ . We define the pure braid group, $P_n$ , as the finite index subgroup of $B_n$ consisting of elements that fixe point-wise the punctures.

Theorem 4.1. Let $k,n \in \mathbb{N}$ such that $0\leq k\lt n-1$ and let $G$ be either the braid group $B_n$ or the pure braid group $P_n$ . Then $\textrm{gd}_{{\mathcal F}_k}(G)=\textrm{cd}_{{\mathcal F}_k}(G)=n+k-1$ .

Proof. It is enough to prove the following inequalities

\begin{equation*}n+k-1\geq \textrm {gd}_{{\mathcal F}_k}(G)\geq \textrm {cd}_{{\mathcal F}_k}(G)\geq n+k-1.\end{equation*}

In [Reference Juan-Pineda and Saldaña14, Theorem 1.4] was proved that $\textrm{gd}_{{\mathcal F}_k}(B_n)\leq \textrm{vcd}(B_n)+k$ for all $0\leq k\lt n-1$ . Since $P_n$ has finite index in $B_n$ also we have $\textrm{gd}_{{\mathcal F}_k}(P_n)\leq \textrm{vcd}(P_n)+k$ for all $0\leq k\lt n-1$ . On the other hand, it is well known that $\textrm{vcd}(B_n)=n-1$ see for example [Reference Arnold2, Section 3]. This proves the first inequality. The second inequality is by Theorem 2.13. In [Reference Farrell and Roushon11, Proposition 3.7] it is shown that $P_n$ has a subgroup isomorphic to $\mathbb{Z}^{n-1}$ . Therefore, by monotonicity of the ${\mathcal F}_k$ -geometric dimension and Corollary 1.2, we have $\textrm{cd}_{{\mathcal F}_k}(B_n)\geq \textrm{cd}_{{\mathcal F}_k}(P_n)\geq n+k-1$ for all $0\leq k\lt n-1$ . This proves the last inequality.

For $k=1$ , this theorem has been proved in [Reference Farrell and Roushon11].

4.2. The ${\mathcal F}_k$ -dimension of RAAGs and their outer automorphism groups

In this subsection, we compute the ${\mathcal F}_n$ -dimension of RAAGs and we give a lower bound for the ${\mathcal F}_n$ -geometric dimension of the outer automorphism group of some RAAGs.

We recall some basic notions about RAAGs, for further details see for instance [Reference Cook, Moreno, Nucinkis and Pasini5]. Let $\Gamma$ be a finite simple graph, that is, a finite graph without loops or multiple edges between vertices. We define the right-angled Artin group (RAAG) $A_{\Gamma }$ as the group generated by the vertices of $\Gamma$ with all the relations of the form $vw=wv$ whenever $v$ and $w$ are joined by an edge.

The Salvetti complex

For the construction of the Salvetti complex we follow [Reference Cook, Moreno, Nucinkis and Pasini5, Subsection 3.6]. Let $A_\Gamma$ be a RAAG, its Salvetti complex $S_\Gamma$ is a CW-complex that can be constructed as follows:

• • The $S_\Gamma ^{(1)}$ skeleton is constructed as follows: we take a point $x_0$ , and for each $v\in V(\Gamma )$ , we attach a $1$ -cell $I=[0,1]$ that identifies the endpoints of $I$ to $x_0$ . Then, the $S_\Gamma ^{(1)}$ skeleton is a wedge of circles.

• • The $S_\Gamma ^{(2)}$ skeleton is constructed as follows. For each edge of $\Gamma$ we attach a $2$ -cell $I\times I$ to $S_\Gamma ^{(1)}$ by the boundary $\partial (I\times I)$ as $s_vs_w s_{v}^{-1}s_{w}^{-1}$ .

• • In general the $S_\Gamma ^{(n)}$ skeleton is constructed as follows. For each complete subgraph $\Gamma '$ of $\Gamma$ with $|V(\Gamma ')|=n$ , we attach a $n$ -cell $I^n$ to the $S_\Gamma ^{(n-1)}$ skeleton using the generators $V(\Gamma ')$ .

Remark 4.2. Note that, by the construction of the Salvetti complex $S_\Gamma$ , its fundamental group is $A_\Gamma$ . Additionally, $S_\Gamma$ has a $\dim (S_\Gamma )$ -dimensional torus embedded in it, which follows from its construction. Therefore, the fundamental group $\pi _1(S_\Gamma,x_0)=A_\Gamma$ has a subgroup that is isomorphic to $\mathbb{Z}^{\dim (S_\Gamma )}$ .

Theorem 4.3 ([Reference Cook, Moreno, Nucinkis and Pasini5], Theorem 3.6). The universal cover of the Salvetti complex, $\tilde{S_\Gamma }$ , is a $\textrm{CAT}(0)$ cube complex. In particular, $S_\Gamma$ is a $K(A_\Gamma, 1)$ space.

Corollary 4.4. Let $G$ be a RAAG. Then $G$ is torsion-free.

Lemma 4.5. Let $A_\Gamma$ be a RAAG then $\textrm{gd}(A_\Gamma )=\textrm{cd}(A_\Gamma )=\dim (S_\Gamma )$ . Moreover,

\begin{equation*}\textrm {cd}(A_\Gamma )=\max \{n\in \mathbb {N}| \text { there a complete subgraph $\Gamma '$ of $\Gamma $ with } |V(\Gamma ')|= n \}.\end{equation*}

Proof. It is enough to prove the following inequalities

\begin{equation*}\dim (S_\Gamma )\geq \textrm {gd}(A_\Gamma )\geq \textrm {cd}(A_\Gamma )\geq \dim (S_\Gamma ).\end{equation*}

The first inequality follows from Theorem 4.3. The second inequality follows from Theorem 2.13. By [Reference Cook, Moreno, Nucinkis and Pasini5, Subsection 3.7] $H^{\dim (S_\Gamma )}(S_\Gamma )=H^{\dim (S_\Gamma )}(A_\Gamma )$ is a free abelian generated by each $\dim (S_\Gamma )$ -cell. The third inequality follows.

By construction of the Salvetti complex $S_\Gamma$ , we have that

\begin{equation*}\dim (S_\Gamma )=\max \{n\in \mathbb {N}| \text { there a complete subgraph $\Gamma '$ of $\Gamma $ with } |V(\Gamma ')|= n \}.\end{equation*}

Since $\textrm{cd}(A_\Gamma )= \dim (S_\Gamma )$ the claim follows.

Let $G$ be a right-angled Artin group. In [Reference Rolland, Álvarez and Saldaña23, Corollary 1.2], it was proved that $\textrm{cd}_{{\mathcal F}_k}(G)\leq \textrm{cd}(G)+k+1$ for all $0\leq k\lt \textrm{cd}(G)$ . However, by following their proof in [Reference Rolland, Álvarez and Saldaña23, Proof of Theorem 3.1] and using [Reference Huang and Prytuła13, Proposition 7.3], we can actually prove that $\textrm{cd}_{{\mathcal F}_k}(G)\leq \textrm{cd}(G)+k$ for all $0\leq k\lt \textrm{cd}(G)$ . In [Reference Rolland, Álvarez and Saldaña23] and [Reference Huang and Prytuła13, Proposition 7.3], they work with the ${\mathcal F}_k$ -cohomological dimension instead of ${\mathcal F}_k$ -geometric dimension, that is the reason the following Theorem 4.6 is stated in terms of ${\mathcal F}_k$ -cohomological dimension.

Theorem 4.6. Let $G$ be a RAAG. Then $\textrm{cd}_{{\mathcal F}_k}(G)\leq \textrm{cd}(G)+k$ for $k\in \mathbb{N}$ .

Proof. The proof is by induction on $k$ . For $k=0$ it follows from Lemma 4.5. Suppose that the inequality is true for all $k\lt m$ . We prove the inequality for $k=m$ . Let $\sim$ be the equivalence relation on ${\mathcal F}_m-{\mathcal F}_{m-1}$ defined by commensurability, and let $I$ be a complete set of representatives of conjugacy classes in $({\mathcal F}_m-{\mathcal F}_{m-1})/\sim$ . Then by the cohomological version of Corollary 2.8 (see Remark 2.14) we have

\begin{equation*}\textrm {cd}_{{\mathcal F}_{m}}(G)\leq \max \{ \textrm {cd}_{ {\mathcal F}_{m-1}}(G)+1, \textrm {cd}_{ {\mathcal F}_{m}[L]}(N_{G}[L])| L\in I\}\leq \max \{\textrm {cd}(G)+m,\textrm {cd}_{ {\mathcal F}_{m}[L]}(N_{G}[L])| L\in I \}.\end{equation*}

Then to prove that $\textrm{cd}_{{\mathcal F}_{m}}(G)\leq \textrm{cd}(G)+m$ it is enough to prove that $\textrm{cd}_{{\mathcal F}_{m}[L]}(N_{G}[L])\leq \textrm{cd}(G)+m$ for all $L\in I$ . Let $L\in I$ , we can write the family

\begin{equation*}{\mathcal F}_m[L]=\{ K\leq N_G[L]|K\in {\mathcal F}_m- {\mathcal F}_{m-1}, K\sim L\}\cup ({\mathcal F}_{m-1}\cap N_{G}[L])\end{equation*}

as the union of two families ${\mathcal F}_m[L]={\mathcal G} \cup ({\mathcal F}_{m-1}\cap N_{G}[L])$ where $\mathcal G$ is the family generated by $\{ K\leq N_G[L]|K\in{\mathcal F}_m-{\mathcal F}_{m-1}, K\sim L\}$ . By the cohomological version of Corollary 2.10 (see Remark 2.14) we have

\begin{align*} \begin{split} \textrm{cd}_{{\mathcal F}_m[L]}(N_{G}[L])&\leq \max \{ \textrm{cd}_{{\mathcal G}}(N_{G}[L]), \textrm{cd}_{{\mathcal F}_{m-1}\cap N_{G}[L]}(N_{G}[L]), \textrm{cd}_{{\mathcal G}\cap{\mathcal F}_{m-1}}(N_{G}[L])+1 \}\\ &\leq \max \{ \textrm{cd}_{{\mathcal G}}(N_{G}[L]), \textrm{cd}(G)+m-1, \textrm{cd}_{{\mathcal G}\cap{\mathcal F}_{m-1}}(N_{G}[L]) +1\} \end{split} \end{align*}

We prove that

1. 1. $\textrm{cd}_{{\mathcal G}}(N_{G}[L])\leq \textrm{cd}(G)-m$

2. 2. $\textrm{cd}_{{\mathcal G}\cap{\mathcal F}_{m-1}}(N_{G}[L])\leq \textrm{cd}(G)+m-1$

As a consequence we will have $\textrm{cd}_{{\mathcal F}_m[L]}(N_{G}[L])\leq \textrm{cd}(G)+m$ . First, we prove item $(1)$ . We define the family ${\mathcal F}=\{K\leq N_{G}[L] \mid [K\;:\;K\cap L]\lt \infty \}$ . We claim that ${\mathcal F} ={\mathcal G}$ . To show that ${\mathcal G} \subseteq{\mathcal F}$ , note that

\begin{equation*} \{ K \leq N_G[L] \mid K \in {\mathcal F}_m - {\mathcal F}_{m-1}, K \sim L \} \subseteq \{ K \leq N_{G}[L] \mid [K \;:\; K \cap L] \lt \infty \} = {\mathcal F} \end{equation*}

since, by definition, $\mathcal G$ is the smallest family that contains $\{ K \leq N_G[L] \mid K \in{\mathcal F}_m -{\mathcal F}_{m-1}, K \sim L \}$ , it follows that ${\mathcal G} \subseteq{\mathcal F}$ . Now let’s prove the other inclusion ${\mathcal F} \subseteq{\mathcal G}$ . Let $S \in{\mathcal F}$ , then $[S \;:\; S \cap L] \lt \infty$ . Note that $[LS \;:\; L] = [S \;:\; S \cap L] \lt \infty$ , it follows that $LS$ is commensurable with $L$ , and as a consequence $S \leq LS \in{\mathcal G}$ , in particular it follows that $S \in{\mathcal G}$ . This proves the claim. Since ${\mathcal G}={\mathcal F}$ we have by [Reference Huang and Prytuła13, Proposition 7.3 and Definition 7.2] that $\textrm{cd}_{{\mathcal G}}(N_{G}[L])\leq \textrm{cd}(G)-m$ .

We now prove the item $(2)$ . Applying the cohomological version of Proposition 2.11 (see Remark 2.14) to the inclusion of families $({\mathcal G}\cap{\mathcal F}_{m-1}) \subset{\mathcal G}$ we get

\begin{equation*}\textrm {cd}_{{\mathcal G} \cap {\mathcal F}_{m-1}}(N_{G}[L])\leq \textrm {cd}_{\mathcal G}(N_{G}[L])+d\end{equation*}

for some $d$ such that for any $K\in{\mathcal G}$ we have $\textrm{cd}_{({\mathcal G}\cap{\mathcal F}_{m-1})\cap K}(K)\leq d$ . Since we already proved $\textrm{cd}_{{\mathcal G}}(N_{G}[L])\leq \textrm{cd}(G)-m$ , our next task is to show that $d$ can be chosen to be equal to $2m-1$ .

Recall that any $K\in{\mathcal G}$ is virtually $\mathbb{Z}^t$ for some $0\leq t \leq m$ . We split our proof into two cases. First assume that $K\in{\mathcal G}$ is virtually $\mathbb{Z}^t$ for some $0\leq t \leq m-1$ . Hence $K$ belongs to ${\mathcal F}_{m-1}$ , it follows that $K$ belongs to ${\mathcal G} \cap{\mathcal F}_{m-1}$ and we conclude $\textrm{cd}_{{\mathcal G} \cap{\mathcal F}_{m-1}\cap K}(K)=0$ . Now assume $K\in{\mathcal G}$ is virtually $\mathbb{Z}^{m}$ . We claim that $({\mathcal G} \cap{\mathcal F}_{m-1})\cap K={\mathcal F}_{m-1}\cap K$ . The inclusion $({\mathcal G} \cap{\mathcal F}_{m-1})\cap K \subset{\mathcal F}_{m-1}\cap K$ is clear. For the other inclusion let $M\in{\mathcal F}_{m-1}\cap K$ . Since $M\leq K\in{\mathcal G}$ , therefore $M\in ({\mathcal G} \cap{\mathcal F}_{m-1})\cap K$ . This establishes the claim. We conclude that

\begin{equation*}\textrm {cd}_{({\mathcal G} \cap {\mathcal F}_{m-1})\cap K}(K)=\textrm {cd}_{{\mathcal F}_{m-1}\cap K}(K)\leq m+m-1=2m-1\end{equation*}

where the inequality follows from [Reference Rolland, Álvarez and Saldaña23, Proposition 1.3].

Theorem 4.7. Let $G$ be a right-angled Artin group. Then for $0 \leq k \lt \textrm{cd}(G)$ we have $ \textrm{cd}_{{\mathcal F}_k}(G)=\textrm{cd}(G)+k$ .

Proof. By Theorem 4.6, we have $\textrm{cd}_{{\mathcal F}_k}(G)\leq \textrm{cd}(G)+k$ . On the other hand, by Lemma 4.5 $G$ has a subgroup isomorphic to $\mathbb{Z}^{\textrm{cd}(G)}$ , then the claim it follows from Corollary 1.2.

Theorem 4.8. Let $G$ be a right-angled Artin group. Then for $0 \leq k \lt \textrm{cd}(G)$ we have $ \textrm{gd}_{{\mathcal F}_k}(G)= \textrm{cd}_{{\mathcal F}_k}(G)$ .

Proof. If $k=0$ the claim follows from Lemma 4.5. Suppose that $k\geq 1$ , hence by hypothesis, $\textrm{cd}(G)\geq 2$ . By Theorem 4.7, we have $\textrm{cd}_{{\mathcal F}_k}(G)\geq 3$ , then by Theorem 2.13, $\textrm{gd}_{{\mathcal F}_k}(G)= \textrm{cd}_{{\mathcal F}_k}(G)$ .

Given a fixed right-angled Artin group $A_{\Gamma }$ , we denote by ${\textrm{Aut}}(A_\Gamma )$ the group of automorphisms of $A_\Gamma$ and by $\textrm{Inn}(A_\Gamma )$ the subgroup consisting of inner automorphisms. The outer automorphism group of $A_\Gamma$ is defined as the quotient $\textrm{Out}(A_\Gamma )={\textrm{Aut}}(A_\Gamma )/\textrm{Inn}(A_\Gamma )$ . If $S\subseteq V(\Gamma )$ , then the subgroup $H$ generated by $S$ is called a special subgroup of $A_\Gamma$ . It can be proven that, in fact, $H$ is the right-angled Artin group $A_S$ associated with the full subgraph induced by $S$ in $\Gamma$ .

If $\Delta$ is a full subgraph of $\Gamma$ , we denote by $A_{\Delta }$ the special subgroup generated by the vertices contained in $\Delta$ . An outer automorphism $F$ of $A_\Gamma$ preserves $A_\Delta$ if there exists a representative $f\in F$ that restricts to an automorphism of $A_\Delta$ . An outer automorphism $F$ acts trivially on $A_{\Delta }$ if there exists representative $f\in F$ that acts as the identity on $A_\Delta$ .

Definition 4.9. Let $\mathcal G$ , $\mathcal H$ be two collections of special subgroups of $A_\Gamma$ . The relative outer automorphism group $\textrm{Out}(A_{\Gamma };\;{\mathcal G},{\mathcal H}^t)$ consists of automorphisms that preserve each $A_\Delta \in{\mathcal G}$ and act trivially on each $A_\Delta \in{\mathcal H}.$

Proposition 4.10. Let $A_{\Gamma }=A_{\Delta _1}*A_{\Delta _1}*\cdots *A_{\Delta _k}*F_n$ be a free factor decomposition of a right-angled Artin group with $k\geq 1$ . Then $\textrm{gd}_{{\mathcal F}_k}(\textrm{Out}(A_{\Gamma };\; \{A_{\Delta _i}\}^{t}))\geq \textrm{vcd}(\textrm{Out}(A_{\Gamma };\; \{A_{\Delta _i}\}^{t}))+k$ for all $0\leq k\lt \textrm{vcd}(\textrm{Out}(A_{\Gamma };\; \{A_{\Delta _i}\}^{t})).$

Proof. By [Reference Day and Wade9, Theorem A] $\textrm{Out}(A_{\Gamma };\; \{A_{\Delta _i}\}^{t})$ has a free abelian subgroup of $\textrm{rank}$ equal to $\textrm{vcd}(\textrm{Out}(A_{\Gamma };\; \{A_{\Delta _i}\}^{t}))$ . The inequality follows from Corollary 1.2.

Let $F_n$ be the free group in $n$ generators. The group $F_n$ can be seen as the RAAG associated with the graph that has $n$ vertices and no edges. In [Reference Culler and Vogtmann6] was proved that $\textrm{vcd}(\textrm{Out}(F_n))=2n-3$ for $n\geq 2$ and that $\textrm{Out}(F_n)$ has a subgroup ismorphic to $\mathbb{Z}^{\textrm{vcd}(\textrm{Out}(F_n))}$ . From Corollary 1.2, we get the following

Proposition 4.11. Let $n\geq 2$ . Let $F_n$ be the free group in $n$ generators. Then $\textrm{gd}_{{\mathcal F}_k}(\textrm{Out}(F_n))\geq 2n+k-3$ for all $0\leq k\lt 2n-3$ .

Let $A_d$ be the right-angled Artin group given by a string of $d$ diamonds. In [Reference Degrijse and Petrosyan10, Proposition 6.5] was proved that $\textrm{vcd}(Out(A_d))=4d-1$ and $Out(A_d)$ has a subgroup isomorphic to $\mathbb{Z}^{\textrm{vcd}(\textrm{Out}(A_d))}$ , from Corollary 1.2 we have

Proposition 4.12. Let $A_d$ be the right-angled Artin group given by a string of $d$ diamonds. Then $\textrm{gd}_{{\mathcal F}_k}(\textrm{Out}(A_d))\geq 4d +k-1$ for all $0\leq k\lt 4d-1$ .

4.3. The ${\mathcal F}_k$ -geometric dimension for graphs of groups of finitely generated virtually abelian groups

The objective of this section is to explicitly calculate the ${\mathcal F}_n$ -geometric dimension of the fundamental group of a graph of groups whose vertex groups are finitely generated virtually abelian groups, and whose edge groups are finite groups.

Bass–Serre theory

We recall some basic notions about Bass–Serre theory, for further details see [Reference Saldaña24]. A graph of groups $\mathbf{Y}$ consists of a graph $Y$ , a group $Y_v$ for each $v\in V(Y)$ , and a group $Y_e$ for each $e=\{v,w\}\in E(Y)$ , together with monomorphisms $\varphi \colon Y_e \to Y_{i}$ $i=v,w$ .

Given a graph of groups $\mathbf{Y}$ , one of the classic theorems of Bass–Serre theory provides the existence of a group $G=\pi _1(\mathbf{Y})$ , called the fundamental group of the graph of groups $\mathbf{Y}$ and the tree $T$ (a graph with no cycles), called the Bass–Serre tree of $\mathbf{Y}$ , such that $G$ acts on $T$ without inversions, and the induced graph of groups is isomorphic to $\mathbf{Y}$ . The identification $G=\pi _1(\mathbf{Y})$ is called a splitting of $G$ .

Definition 4.13. Let $Y$ be a graph of groups with fundamental group $G$ . The splitting $G=\pi _1(Y)$ is acylindrical if there is an integer $k$ such that, for every path $\gamma$ of length $k$ in the Bass–Serre tree $T$ of $Y$ , the stabilizer of $\gamma$ is finite.

Recall a geodesic line of a simplicial tree $T$ , is a simplicial embedding of $\mathbb{R}$ in $T$ , where $\mathbb{R}$ has as vertex set $\mathbb{Z}$ and an edge joining any two consecutive integers.

Theorem 4.14 ([Reference Lück16], Theorem 6.3). Let $Y$ be a graph of groups with finitely generated fundamental group $G$ and Bass–Serre tree $T$ . Consider the collection $\mathcal{A}$ of all the geodesics of $T$ that admit a co-compact action of an infinite virtually cyclic subgroup of $G$ . Then the space $\widetilde{T}$ given by the following homotopy $G$ -push-out

is a model $\widetilde{T}$ for $E_{\textrm{Iso}_{G}(\widetilde{T})}G$ where $\textrm{Iso}_{G}(\widetilde{T})$ is the family generated by the isotropy groups of $\widetilde{T}$ , i.e., by coning-off on $T$ the geodesics in $\mathcal{A}$ we obtain a model for $E_{\textrm{Iso}_{G}(\widetilde{T})}G$ . Moreover, if the splitting $G=\pi _1(Y)$ is acylindrical, then the family $\textrm{Iso}_{G}(\widetilde{T})$ contains the family ${\mathcal F}_n$ of $G$ for all $n\ge 0$ .

The following theorem is mild generalization of [Reference Lück16, Proposition 7.4]. We include a proof for the sake of completeness.

Figure 1. Promoting $T$ to $\tilde{T}$ .

Theorem 4.15. Let $Y$ be a graph of groups with finitely generated fundamental group $G$ and Bass–Serre tree $T$ . Suppose that the splitting of $G$ is acylindrical. Then for all $k\geq 1$ we have

\begin{equation*} \max \{ \textrm {gd}_{{\mathcal F}_k\cap G_v}(G_v), \textrm {gd}_{{\mathcal F}_k\cap G_e}(G_e)| v\in V(Y), e\in E(Y)\} \leq \textrm {gd}_{{\mathcal F}_k}(G)\end{equation*}

and

\begin{equation*}\textrm {gd}_{{\mathcal F}_k}(G)\leq \max \{ 2, \textrm {gd}_{{\mathcal F}_k\cap G_v}(G_v), \textrm {gd}_{{\mathcal F}_k\cap G_e}(G_e)+1| v\in V(Y), e\in E(Y)\}\end{equation*}

Proof. For each $s\in V(Y)\cup E(Y)$ we have that $G_s$ is a subgroup of $G$ , then the first inequality follows. Now we prove the second inequality. The splitting of $G$ is acylindrical, then we can use Theorem 4.14 to obtain a 2-dimensional space $\widetilde{T}$ that is obtained from $T$ coning-off some geodesics of $T$ , see Figure 1, the space $\widetilde{T}$ is a model for $E_{\textrm{Iso}_{G}(\widetilde{T})}G$ and ${\mathcal F}_k\subseteq \textrm{Iso}_{G}(\widetilde{T})$ . By Proposition 2.12, we have

\begin{equation*}\textrm {gd}_{{\mathcal F}_k}(G)\leq \max \{\textrm {gd}_{{\mathcal F}_k\cap G_\sigma }(G_{\sigma })+\dim (\sigma )| \ \sigma \text { is a cell of } \ \widetilde {T} \}.\end{equation*}

Let $\sigma$ be a cell of $\widetilde{T}$ , we compute $\textrm{gd}_{{\mathcal F}_k\cap G_\sigma }(G_{\sigma })+\dim (\sigma )$ .

• • If $\sigma$ is 0-cell, we have two cases $\sigma \in T$ or $\sigma \in \widetilde{T}-T$ , in the first case we have $G_\sigma =G_v$ for some $v\in V(Y)$ , in the other case we have $G_\sigma$ is virtually cyclic, then $\textrm{gd}_{{\mathcal F}_k\cap G_\sigma }(G_{\sigma })+\dim (\sigma )= \textrm{gd}_{{\mathcal F}_k\cap G_v}(G_v)$ or $0$ .

• • If $\sigma$ is 1-cell, we have two cases $\sigma \in T$ or $\sigma$ has a vertex in $\widetilde{T}-T$ , in the first case we have $G_\sigma =G_e$ for some $e\in E(Y)$ , in the other case we have $G_\sigma$ is virtually cyclic, then $\textrm{gd}_{{\mathcal F}_k\cap G_\sigma }(G_{\sigma })+\dim (\sigma )= \textrm{gd}_{{\mathcal F}_k\cap G_e}(G_e)+1$ or $1$ .

• • If $\sigma$ is 2-cell, then $\sigma$ has a vertex in $\widetilde{T}-T$ , then $G_\sigma$ is virtually cyclic, it follows that $\textrm{gd}_{{\mathcal F}_k\cap G_\sigma }(G_{\sigma })+\dim (\sigma )= 2$ .

The inequality follows.

Proposition 4.16. Let $Y$ be a finite graph of groups such that for each $v\in V(Y)$ the group $G_v$ is infinite finitely generated virtually abelian, with $\textrm{rank}(G_e)\lt \textrm{rank}(G_v)$ . Suppose that the splitting of $G=\pi _1(Y)$ is acylindrical. Let $m=\max \{\textrm{rank}(G_v)| v\in V(Y) \}$ . Then for $1\leq k\lt m$ we have $\textrm{gd}_{{\mathcal F}_k}(G)=m+k.$

Proof. First, we prove that $\textrm{gd}_{{\mathcal F}_k}(G)\geq m+k$ . The splitting of $G$ is acylindrical, then by Theorem 4.15 we have

\begin{align*} \begin{split} \textrm{gd}_{{\mathcal F}_k}(G) & \geq \max \{ \textrm{gd}_{{\mathcal F}_k\cap G_v}(G_v), \textrm{gd}_{{\mathcal F}_k\cap G_e}(G_e)| v\in V(Y), e\in E(Y)\}\\ & \geq \max \{ \textrm{rank}(G_v)+k, \textrm{rank}(G_e)+k| v\in V(Y), e\in E(Y)\}, \text{ from Corollary 1.2}\\ &= \max \{ \textrm{rank}(G_v)+k| v\in V(Y)\}, \textrm{rank}(G_e)\leq \textrm{rank}(G_v)\\ &=m+k. \end{split} \end{align*}

Also by Theorem 4.15, we have

\begin{align*} \begin{split} \textrm{gd}_{{\mathcal F}_k}(G)&\leq \max \{ 2, \textrm{gd}_{{\mathcal F}_k\cap G_v}(G_v), \textrm{gd}_{{\mathcal F}_k\cap G_e}(G_e)+1| v\in V(Y), e\in E(Y)\}\\ &= \max \{ 2, \textrm{rank}(G_v)+k, \textrm{rank}(G_e)+k+1 | v\in V(Y), e\in E(Y)\}, \text{ from Theorem 1.1}\\ &= \max \{ \textrm{rank}(G_v)+k | v\in V(Y)\}, \textrm{rank}(G_e)\lt \textrm{rank}(G_v)\ \textrm{and}\ k\geq 1\\ &=m+k. \end{split} \end{align*}

Corollary 4.17. Let $Y$ be a finite graph of groups such that for each $v\in V(Y)$ the group $G_v$ is infinite finitely generated virtually abelian, and for each $e\in E(Y)$ the group $G_e$ is a finite group.

Let $m=\max \{rank(G_v)| v\in V(Y) \}$ . Then for $1\leq k\lt m$ we have $\textrm{gd}_{{\mathcal F}_k}(G)=m+k.$