text:
# Asymptotic properties of groups acting on complexes

## 1. Introduction

The asymptotic approach to finitely generated groups became popular following the work of Gromov . In his study of asymptotic invariants of finitely generated groups, Gromov defined asymptotic dimension ($`\mathrm{asdim}`$), the large-scale analog of Lebesgue covering dimension. G. Yu  applied asymptotic dimension to the Novikov higher signature conjecture for groups, showing that the conjecture holds for groups with finite asymptotic dimension. Later, Yu  defined another asymptotic invariant for discrete metric spaces and finitely generated groups called property A. This is a weak form of amenability which also implies the Novikov conjecture for groups. (For an introduction to the Novikov and related conjectures, see .)

We wish to consider finitely generated groups as metric spaces. Let $`\mathrm{\Gamma }`$ be a finitely generated group with generating set $`S=S^1.`$ The $`S`$-norm on $`\mathrm{\Gamma }`$ is the norm given by setting $`\gamma _S=0`$ precisely when $`\gamma `$ is the group identity and otherwise taking $`\gamma _S`$ to be the minimal length of any $`S`$-word presenting the element $`\gamma .`$ Then, one can define the (left-invariant) word metric associated to $`S`$ by $`\mathrm{dist}_S(g,h)=g^1h_S.`$ The metrics corresponding to two finite generating sets $`S`$ and $`S^{}`$ are Lipschitz equivalent. Asymptotic dimension and property A are invariants of Lipschitz equivalent metric spaces, so these properties are intrinsic to the group $`\mathrm{\Gamma }`$ and not the metric space associated to a specific generating set.

In view of Yu’s results, ,, it is important to know which groups have finite $`\mathrm{asdim}`$ or property A. Gromov  showed that hyperbolic groups have finite $`\mathrm{asdim}.`$ Dranishnikov and Januszkiewicz proved in  that Coxeter groups have finite $`\mathrm{asdim}.`$ Dranishnikov and the author proved that the finiteness of $`\mathrm{asdim}`$ is preserved by the amalgamated free product and HNN extension, and more generally any fundamental group of a finite graph of groups with vertex groups having finite $`\mathrm{asdim},`$ see , . Higson and Roe  showed that finitely generated groups with finite asymptotic dimension have property A. In , J.-L. Tu proved that property $`A`$ is preserved by the fundamental group of a finite graph of groups where the vertex groups all have property A. At first it was not know whether there could be a finitely generated group with infinite $`\mathrm{asdim}`$ or which does not have property A. A recent example of such a group due to Gromov  and Dranishnikov, Gong, Lafforgue and Yu  , have made determining precisely which groups have these properties interesting.

The Bass-Serre theory of graphs of groups generalizes the constructions of amalgamated free products and HNN extensions (see ). There is a direct correspondence between groups acting without inversion on trees and fundamental groups of graphs of groups. Complexes of groups were introduced by Haefliger  in order to describe actions of groups on simply connected simplicial complexes in the same way that graphs of groups describe the action of groups on trees. The problem that arises is that the quotient of a simplicial complex by a simplicial action may identify faces of simplices. So it may not be the case that the quotient is a simplicial complex. This problem is avoided by introducing combinatorial substitutes for simplicial complexes called small categories without loops (scwols).

In the second section we develop the necessary theory of complexes of groups following . We define scwols, group actions on scwols, complexes of groups, developability of complexes of groups, and the associated fundamental group of a complex of groups.

In the third section, we define the $`R`$-stabilizer which plays the rôle of the stabilizer in the study of the large-scale properties of groups acting on metric spaces. We also characterize the $`R`$-stabilizers for groups acting on scwols.

In the fourth section, we define $`\mathrm{asdim}`$ and obtain our main result on asymptotic dimension:

###### Theorem.

Let $`G(𝒴)`$ be a developable complex of groups over a finite scwol $`𝒴`$ with development $`𝒳`$ such that $`\mathrm{asdim}𝒳<\mathrm{},`$ and such that every local group $`G_\sigma `$ has $`\mathrm{asdim}G_\sigma <\mathrm{}.`$ If $`\pi _1`$ denotes the fundamental group of the complex of groups, we have $`\mathrm{asdim}\pi _1<\mathrm{}.`$

In the fifth section, we define property A and prove an analogous result for property A:

###### Theorem.

Let $`G(𝒴)`$ be a developable complex of groups over a finite scwol $`𝒴`$ with development $`𝒳`$ such that $`\mathrm{asdim}𝒳<\mathrm{},`$ and such that every local group $`G_\sigma `$ has property A. If $`\pi _1`$ denotes the fundamental group of the complex of groups, then $`\pi _1`$ has property A.

In the final section, we use an example of a finitely generated group which does not have either property A or finite $`\mathrm{asdim}`$ to show that the results we obtain here cannot be improved by relaxing the condition that the development have finite $`\mathrm{asdim}.`$

## 2. Complexes of Groups

Our notation and development will follow Bridson-Haefliger .

###### Definition.

A small category without loops (abbreviated scwol) is a set $`𝒳`$ which is the disjoint union of a vertex set $`V(𝒳)`$ and an edge set $`E(𝒳).`$ There are maps

$$i:E(𝒳)V(𝒳)$$

and

$$t:E(𝒳)V(𝒳)$$

which assign to each edge $`a`$ the initial vertex of $`a`$ and the terminal vertex of $`a,`$ respectively. Let $`E^{(2)}(𝒳)=\{(a,b)E(𝒳)\times E(𝒳)i(a)=t(b)\}`$ denote the pairs of composable edges. There is also a map

$$E^{(2)}(𝒳)E(𝒳)$$

which assigns to each pair $`(a,b)`$ an edge $`(ab)`$ called the composition of $`a`$ and $`b.`$ These maps are required to satisfy:

1. $`i(ab)=i(b),`$ and $`t(ab)=t(a)`$ for all $`(a,b)E^{(2)}(𝒳);`$
2. $`a(bc)=(ab)c`$ for all edges $`a,b`$ and $`c`$ with $`i(a)=t(b)`$ and $`i(b)=t(c);`$ and
3. $`i(a)t(a).`$ (the no loops condition)

Let $`E^{(k)}(𝒳)`$ denote the composable sequences of edges of length $`k,`$ i.e., $`E^{(k)}(𝒳)=\{(a_1,\mathrm{},a_k)(E(𝒳))^ki(a_i)=t(a_{i+1}),`$ for $`i=1,\mathrm{},k1\}.`$ By convention, $`E^{(0)}(𝒳)=V(𝒳).`$ We define the dimension of the scwol $`𝒳`$ to be the maximum $`k`$ such that $`E^{(k)}(𝒳)`$ is not empty.

###### Definition.

The geometric realization $`|𝒳|`$ is a piecewise Euclidean polyhedral complex, with each $`k`$-cell isometric to the standard simplex $`\mathrm{\Delta }^k.`$ There is one such $`k`$-simplex $`A`$ for each $`AE^{(k)}(𝒳).`$ The identifications are the obvious ones, induced by the face relation among simplices.

Observe that the geometric realization need not be a simplicial complex, since it may be the case that the intersection of two simplices is a union of faces. One can eliminate this problem by taking the barycentric subdivision, if one requires simplicial complexes. The geometric dimension of $`|𝒳|`$ is the same as the dimension of the combinatorial object $`𝒳.`$

###### Definition.

A group action on a scwol is a homomorphism $`GAut(𝒳)`$ satisfying

1. for every $`gG,`$ and for all $`aE(𝒳)`$ $`g.i(a)t(a).`$
2. for every $`gG,`$ and for all $`aE(𝒳)`$ if $`g.i(a)=i(a),`$ then $`g.a=a.`$

Notice that a group action on a scwol induces an isometric action of the group on the geometric realization $`|𝒳|.`$ Since we are primarily concerned with isometric actions on metric spaces, this is the action that we consider.

One forms the quotient $`𝒴=G\backslash 𝒳`$ of the scwol $`𝒳`$ by the action of $`G`$ by taking $`V(𝒴)=G\backslash V(𝒳),`$ and $`E(𝒴)=G\backslash E(𝒳).`$ One can verify that $`𝒴`$ has the structure of a scwol.

###### Definition.

A complex of groups $`G(𝒴)`$ over a scwol $`𝒴`$ is a collection $`G(𝒴)=(G_\sigma ,\psi _a,g_{a,b})`$ satisfying

1. to each $`\sigma V(𝒴),`$ there corresponds a group $`G_\sigma `$ called the local group at $`\sigma ;`$
2. for each $`aE(𝒴)`$ there exists an injective homomorphism $`\psi _a:G_{i(a)}G_{t(a)};`$ and
3. For each $`(a,b)E^{(2)}(𝒴),`$ there is a $`g_{a,b}G_{t(a)}`$ such that
(i) $`Ad(g_{a,b})\psi _{ab}=\psi _a\psi _b,`$ where $`Ad(g_{a,b})`$ denotes conjugation by $`g_{a,b},`$ and
(ii) $`\psi _a(g_{b,c})g_{a,bc}=g_{a,b}g_{ab,c},`$ for all $`(a,b,c)E^{(3)}(𝒴).`$

Given a group $`G`$ and an action of $`G`$ on the scwol $`𝒳,`$ there is an explicit construction of the complex of groups over the quotient scwol which we do not describe here. However, on the other hand, it is not always the case that an arbitrary complex of groups can be associated to a group action on some scwol $`𝒳.`$ When this occurs, we say that the complex of groups is *developable* and we refer to the associated scwol $`𝒳`$ as the development of $`G(𝒴).`$

It is clear that scwols of dimension 1 must have precisely two types of vertices: sources and sinks. A source is an initial vertex of every edge it is contained in and a sink is a terminal vertex of every edge it is contained in. Every one-dimensional simplicial complex (graph) can be given the structure of a one-dimensional scwol by placing a source vertex in the middle of every edge, thus giving the original vertices the structure of sinks. It is easy to verify that the theory of complexes of groups over one-dimensional scwols is precisely the same as the theory of graphs of groups. Phrased in terms of the language of complexes of groups, the Bass-Serre structure theorem for groups acting without inversion on graphs says that if $`dim(𝒴)=1,`$ then $`G(𝒴)`$ is always developable.

When a complex of groups is developable, there is an explicit method of constructing both the scwol $`𝒳`$ and the group $`G`$ which acts on the scwol. The scwol $`𝒳`$ on which the group acts is simply connected and has an explicit description in a similar way to the construction of the tree $`\stackrel{~}{X}`$ in the theory of graphs of groups (see ).

Indeed, if $`G(𝒴)`$ is a developable complex of groups, then we can define the development $`D(𝒴)`$ to be the scwol whose vertices and edges are given by $`V(D(𝒴))=\{(gG_\sigma ,\sigma )\sigma V(𝒴)\},`$ and $`E(D(𝒴))=\{(gG_{i(a)},a)aE(𝒴)\}.`$ Then the group $`G`$ acts on the development $`D(𝒴)`$ by left multiplication. The development is isomorphic to the scwol $`𝒳,`$ mentioned above. (See  for more details.)

We describe the fundamental group of the complex of groups $`\pi _1(G(𝒴))`$ which is the group $`G,`$ up to isomorphism. As in the theory of graphs of groups, there are two equivalent descriptions of the fundamental group. Both rely on the construction of the auxiliary group $`FG(𝒴).`$ Let $`E^\pm (𝒴)`$ denote the collection of symbols $`\{a^+,a^{}\}`$ where $`aE(𝒴).`$ The elements of $`E^\pm (𝒴)`$ can be thought of as oriented edges. If $`e=a^+,`$ then define $`i(e)=t(a)`$ and $`t(e)=i(a).`$ Accordingly, if $`e=a^{},`$ define $`t(e)=t(a)`$ and $`i(e)=i(a).`$ Then, define $`FG(𝒴)`$ to be the free product of the local groups $`G_\sigma `$ and the free group generated by the collection $`E^\pm (𝒴)`$ subject to the additional relations:

1. $`(a^+)^1=a^{},`$ and $`(a^{})^1=a^+;`$
2. $`a^+b^+=g_{a,b}(ab)^+;`$
3. $`\psi _a(g)=a^+ga^{},`$ for all $`gG_{i(a)}.`$

The first description of the fundamental group is in terms of $`G(𝒴)`$-loops based at some fixed vertex $`\sigma _0.`$ An edge path in $`𝒴`$ is a sequence $`(e_1,\mathrm{},e_k)`$ with $`t(e_i)=i(e_{i+1}),`$ for all $`i=1,\mathrm{},k1.`$ By a $`G(𝒴)`$-path issuing from $`\sigma _0`$ we mean a sequence $`(g_0,e_1,g_1,\mathrm{},e_k,g_k),`$ where $`(e_1,\mathrm{},e_k)`$ is an edge path in $`𝒴,`$ and $`g_0G_{\sigma _0},`$ and $`g_iG_{t(e_i)},`$ for $`i>0.`$ We associate the word $`g_0e_1\mathrm{}e_kg_kFG(𝒴)`$ to the path described above. A $`G(𝒴)`$-loop based at $`\sigma _0`$ is a $`G(𝒴)`$ path with $`t(e_k)=\sigma _0.`$ There is an obvious notion of homotopy on $`G(𝒴)`$-paths, i.e., the notion of homotopy on the geometric realization. The fundamental group $`\pi _1(G(𝒴),\sigma _0)`$ is the collection of all words associated to $`G(𝒴)`$-loops based at $`\sigma _0,`$ up to homotopy equivalence.

The second description is much simpler. Let $`T`$ be a maximal tree in $`|𝒴|^{(1)}.`$ Then, $`\pi _1(G(𝒴),T)`$ is $`FG(𝒴)`$ subject to the additional relation $`a^+=1,`$ for all $`aT.`$ For a connected scwol, there is an isomorphism $`\pi _1(G(𝒴),\sigma _0)\pi _1(G(𝒴),T).`$

## 3. Groups Acting on Metric Spaces

For group actions considered on a local scale, the stabilizer plays a key rôle. The corresponding notion for group actions considered in the global sense is that of the $`R`$-stabilizer which we define presently.

###### Definition.

Let $`\mathrm{\Gamma }`$ be a group acting on the pointed metric space $`(X,x_0)`$ by isometries. For every $`R>0`$ define the R-stabilizer of the point $`x_0,`$ denoted $`W_R(x_0),`$ by

$$W_R(x_0)=\{\gamma \mathrm{\Gamma }d(\gamma x_0,x_0)R\}.$$

In , Dranishnikov and the author characterized the $`R`$-stabilizers of the action of a fundamental group of a graph of groups on the tree corresponding to its development. The following proposition is a natural generalization of that result.

###### Proposition 1.

Let $`G(𝒴)`$ be a developable complex of groups. Fix a vertex $`\sigma _0𝒴,`$ and consider the action of $`\pi _1(G(𝒴),\sigma _0)`$ on the simply connected scwol $`𝒳`$ induced by the complex of groups. Then the $`R`$-stabilizer $`W_R(\sigma _0)`$ is the set of all elements of $`\pi _1(G(𝒴),\sigma _0)`$ with associated path $`c`$ of length not exceeding $`R.`$

###### Proof.

Let $`\gamma `$ be a word in $`\pi `$ which is reduced and for which the path length is $`R.`$ Then consider $`d_𝒳(\gamma G_{\sigma _0},G_{\sigma _0}).`$ The path corresponding to $`\gamma `$ lifts to a path in $`𝒳,`$ so this distance is at most $`R.`$

Thus, it remains to show that no element of $`\gamma G_{\sigma _0}`$ has length less than $`R`$ if $`\gamma `$ has length $`R`$ in its most reduced form.

To this end, let $`xg=g_0e_1\mathrm{}e_Rg_Rg,`$ be a reduced word in $`xG_{\sigma _0}.`$

Two of the relations on $`FG(𝒴)`$ can affect the path length of a word. In order for the relation $`(e_i^+e_{i+1}^+)=g_{e_i,e_{i+1}}(e_ie_{i+1})^+`$ to occur in this word, we would need two composable edges, in the sense that $`t(e_{i+1})=i(e_i),`$ but since by definition, we have $`t(e_i)=i(e_{i+1})`$ for all edges, we conclude that $`e_i^1=e_{i+1}.`$ Thus, the only relation that can occur is the type $`\psi _a(g)=a^+ga^{}.`$

Suppose that a sequence of this type of relation occurs which transform the word $`xg`$ into $`g_0e_1\mathrm{}g_{k1}e_kg_kg^{}e_{k+1}g_k^{}\mathrm{}g_R^{}.`$ Here two cases can occur. In the first case, edge $`e_k`$ has positive orientation. Then, $`e_kg_kg^{}e_{k+1}=\psi _{e_k}(g_kg^{}).`$ But, in this case, we can obtain a reduction of the original path $`x`$ since $`e_kge_{k+1}=\psi _{e_k}(g_k).`$ As the original path was reduced, this cannot occur. The other case is when $`e_{k+1}`$ has positive orientation. Then, $`g_kg^{}=\psi _{e_{k+1}}(h)`$ for some $`h.`$ But, it must be the case that $`g^{}`$ was generated by this type of relation, as this is the only type that can occur and involves edges. Thus, $`g^{}`$ is itself $`\psi _{e_{k+1}}(h^{}),`$ for some $`h^{}.`$ Thus, $`g=\psi _{e_{k+1}}(h(h^{})^1).`$ This enables a reduction of the original word. Thus, the length of any representative of $`xG_{\sigma _0}`$ has length no less than $`R`$ as desired. ∎

## 4. Asymptotic Dimension

Asymptotic dimension was introduced by Gromov . It is the coarse analog of Ostrand’s characterization of covering dimension for metric spaces, .

###### Definition.

Let $`X`$ be a metric space. We define the asymptotic dimension $`(\mathrm{asdim})`$ of $`X`$ by the following inequality: $`\mathrm{asdim}Xn`$ if for every $`R>0`$ there exist $`n+1`$ families of sets $`𝒰_0,\mathrm{},𝒰_n`$ which are uniformly bounded, which cover $`X`$ and which are $`R`$-disjoint in the sense that any two distinct sets from the same family are at a distance greater than $`R`$ from each other. We define $`\mathrm{asdim}X=n`$ if it is the case that $`\mathrm{asdim}Xn,`$ but it is not the case that $`\mathrm{asdim}Xn1.`$

The goal of this section is to see that the finiteness of $`\mathrm{asdim}`$ is preserved by the construction of the fundamental group of a developable complex of groups. This is a natural generalization of the main theorem in .

###### Definition.

Let $`X_\alpha `$ be a family of subsets of the metric space $`X.`$ We say that the family satisfies the inequality $`\mathrm{asdim}X_\alpha n`$ uniformly if for every $`D>0`$ there is a number $`R>0`$ and a collection of $`D`$-bounded, $`R`$-disjoint families $`\{𝒰_i^\alpha \}`$ so that for each $`\alpha ,`$ $`\{𝒰_i^\alpha \}`$ covers $`X_\alpha .`$

A common example of a family satisfying $`\mathrm{asdim}X_\alpha n`$ uniformly is a family of isometric metric spaces.

The following union theorem appears as Theorem 1 in .

###### Theorem (Union Theorem).

Let $`X=_\alpha F_\alpha `$ and $`\mathrm{asdim}F_\alpha `$ uniformly. Suppose that for any $`r`$ there exists a set $`Y_rX`$ such that $`\mathrm{asdim}Y_rn`$ and the family $`\{F_\alpha Y_r\}`$ is $`r`$-disjoint. Then, $`\mathrm{asdim}Xn.`$

As a corollary, we have the following finite union theorem.

###### Theorem (Finite Union Theorem).

Let $`X=_{i=1}^kX_i`$ be a metric space. Then, $`\mathrm{asdim}X\mathrm{max}\{\mathrm{asdim}X_ii=1,\mathrm{}k\}`$

Let $`G(𝒴)`$ be a developable complex of groups, with $`𝒴`$ finite and $`\mathrm{asdim}|𝒳|k.`$ Suppose further that the local groups are finitely generated. Then, the finiteness of $`𝒴`$ implies that the fundamental group $`\pi `$ is finitely generated. Indeed, if $`S_\sigma `$ denotes a finite generating set for each local group $`G_\sigma ,`$ then we can consider $`FG(𝒴)`$ in the metric obtained from the disjoint union of all the $`S_\sigma `$ and the set $`E^\pm (𝒴).`$ Thus, the notion of $`\mathrm{asdim}`$ is well-defined for the fundamental group of a complex of groups.

###### Lemma 2.

Let $`\pi `$ be the fundamental group of a complex of groups $`G(𝒴)`$ where $`𝒴`$ is finite, the local groups are finitely generated, and the local groups satisfy $`\mathrm{asdim}G_\sigma n,`$ then for every $`R>0,`$ $`\mathrm{asdim}W_R(G_{\sigma _0})n.`$

###### Proof.

In Proposition 1 we characterized $`W_R(G_{\sigma _0})`$ as the set of all elements in $`\pi `$ with length at most $`R.`$ Let $`𝒳`$ denote the development of $`FG(𝒴).`$

In order to apply an inductive argument, we consider a larger set, $`KFG(𝒴)`$ which is the set of all words in $`FG(𝒴)`$ issuing from $`\sigma _0.`$ The group $`\pi `$ is a subset of $`K`$ and the set $`K`$ acts on $`𝒳`$ by left multiplication. We show that the $`R`$-stabilizer of this action has $`\mathrm{asdim}`$ at most $`n.`$ It follows then that the $`R`$-stabilizer of the action of $`\pi `$ on $`𝒳`$ will also have $`\mathrm{asdim}`$ at most $`n.`$

In light of the finite union theorem, in order to show $`\mathrm{asdim}W_R(G_{\sigma _0})n,`$ it suffices to show that the subset $`K_jK`$ of reduced words in $`K`$ with length equal to $`j`$ has $`\mathrm{asdim}K_jn.`$ Indeed, $`W_R(G_{\sigma _0})_{j=0}^RK_j,`$ which is a finite union.

We proceed by induction. The case $`j=0`$ is true by assumption since $`K_0=G_{\sigma _0}.`$ Consider the case $`K_{j+1}`$ with $`j0.`$ Observe that $`K_{j+1}_{aE^\pm (𝒴)}K_jaG_{t(a)}.`$

The orientation of the edge $`a`$ is an issue, as it determines whether the group $`G_{t(a)}`$ is a domain or codomain of the function $`\psi _a.`$ Thus, it is necessary to consider two cases separately.

Suppose first that $`a`$ has negative orientation. So, we are considering $`K_ja^{}G_{t(a)}.`$ For every $`r>0`$ let $`Y_r=K_ja^{}N_r(\psi _a(G_{i(a)})),`$ where the $`r`$-neighborhood is taken in the group $`FG(𝒴).`$ Then $`Y_r`$ is coarsely equivalent to $`K_ja^{}\psi _a(G_{i(a)}).`$ Now we have $`K_ja^{}\psi _a(G_{i(a)})=K_jG_{i(a)}a^{},`$ which is just $`K_ja^{}.`$ Finally, as $`K_ja^{}`$ is coarsely equivalent to $`K_j,`$ we have $`\mathrm{asdim}Y_r=\mathrm{asdim}K_j,`$ which by the inductive hypothesis does not exceed $`n.`$

Next, decompose the set $`K_ja^{}G_{t(a)}`$ into families $`\{xa^{}G_{t(a)}\},`$ where the index runs over all $`xK_j`$ which do not end with an element $`gG_{i(a)}.`$ One can still obtain these elements through the relations of $`FG(𝒴).`$ For instance, to obtain $`xga^{}g^{},`$ with $`x`$ of the required form, $`gG_{i(a)}`$ and $`g^{}`$ in $`G_{t(a)},`$ simply take the word $`xa^{}\psi _a(g)g^{},`$ which is of the required form. Next, observe that the map $`G_{t(a)}xa^{}G_{t(a)}`$ is an isometry in the (left-invariant) word metric, so the family $`\{xa^{}G_{t(a)}\}`$ has $`\mathrm{asdim}n,`$ uniformly.

In order to apply the union theorem to this family, it remains to show only that the family $`\{xa^{}G_{t(a)}Y_r\}`$ is $`r`$-disjoint. To this end, let $`xa^{}z`$ and $`x^{}a^{}z^{}`$ be given in different families. Then we compute $`d(xa^{}z,x^{}a^{}z^{})=z^1a^+x^1x^{}a^{}z^{}.`$ Since $`z`$ and $`z^{}`$ lie outside of $`N_r(\psi _a(G_{i(a)})),`$ take $`z=s\psi _a(g)`$ and $`z^{}=s^{}\psi _a(g^{}),`$ where $`s>r,`$ $`s^{}>r,`$ and $`\psi _a(g)`$ and $`\psi _a(g^{})`$ are in $`\psi _a(G_{t(a)}).`$ Then,

$$z^1a^+x^1x^{}a^{}z^{}=s^1a^+g^1x^1x^{}g^{}a^{}z^{}.$$

Now, in order for this length to be less than $`r,`$ a reduction must occur in the middle, so that $`a^+`$ and $`a^{}`$ annihilate each other. In order for this to occur, we must have $`g^1x^1x^{}g^{}G_{i(a)}.`$ Thus, $`x^1x^{}G_{i(a)}.`$ But, this means that $`xa^{}G_{t(a)}`$ and $`x^{}a^{}G_{t(a)}`$ define the same family. Thus, in the case that the edge has negative orientation, we have $`\mathrm{asdim}K_ja^{}G_{t(a)}n.`$

Next, we consider the case where the edge $`a`$ has positive orientation. In this case, $`K_ja^+G_{i(a)}=K_j\psi _a(G_{i(a)})a^+,`$ which is coarsely equivalent to $`K_j.`$ We conclude that $`\mathrm{asdim}K_ja^+G_{i(a)}=\mathrm{asdim}K_jn.`$

The following result appears as Theorem 2 from .

###### Theorem.

Assume that a finitely generated group $`\mathrm{\Gamma }`$ acts by isometries on a metric space $`X`$ with a base point $`x_0`$ and with $`\mathrm{asdim}Xk.`$ Suppose that $`\mathrm{asdim}W_R(x_0)n`$ for all R. Then $`\mathrm{asdim}\mathrm{\Gamma }(n+1)(k+1)1.`$

This estimate on the dimension is far from sharp. It is useful only as a means to prove that $`\mathrm{asdim}\mathrm{\Gamma }<\mathrm{}.`$ The exact estimate should be $`n+k.`$ (See  for the proof of the exact formula in the case of groups acting on trees by isometries.)

As a consequence of the preceding theorem, we have our main result on $`\mathrm{asdim}.`$

###### Theorem 3.

Let $`\mathrm{\Gamma }`$ be the fundamental group of a finite developable complex of groups $`G(𝒴)`$ corresponding to an action by isometries on the geometric realization of the scwol $`𝒳.`$ Suppose that the local groups are finitely generated and that $`\mathrm{asdim}G_\sigma n.`$ Assume additionally that $`\mathrm{asdim}|𝒳|k.`$ Then $`\mathrm{asdim}\mathrm{\Gamma }(n+1)(k+1)1.`$

The important result is summarized as a corollary:

###### Corollary.

Let $`\mathrm{\Gamma }`$ be the fundamental group of a finite developable complex of groups $`G(𝒴)`$ such that the development $`𝒳`$ has $`\mathrm{asdim}|𝒳|<\mathrm{},`$ and such that every base group $`G_\sigma `$ has $`\mathrm{asdim}G_\sigma <\mathrm{}.`$ Then, $`\mathrm{asdim}\mathrm{\Gamma }<\mathrm{}.`$

## 5. Property A

Property A was introduced by G. Yu, . It is a weak form of amenability which, for groups, implies the existence of a uniform embedding into Hilbert space. Thus, the coarse Baum-Connes conjecture and the Novikov conjecture hold for this group.

###### Definition.

Let $`X`$ be a metric space. Let $`P(X)`$ denote the set of probability measures on $`X`$ in the $`l_1`$ metric. The metric space $`X`$ has property $`A`$ if there exists a sequence of maps $`a^n:XP(X)`$ satisfying the following two conditions:

1. for every $`n`$ there is an $`R`$ so that for every $`x,`$ $`\mathrm{supp}a_x^nB_R(x)`$, and
2. for every $`K>0,`$

$$\underset{n\mathrm{}}{lim}\underset{d(x,y)<K}{sup}a_x^na_y^n_1=0.$$

As mentioned in the introduction finitely generated groups with finite $`\mathrm{asdim}`$ have property A, . Tu proved, , that the fundamental group of a finite graph of groups in which each vertex group has property A will have property A. In , the author generalized Tu’s results to groups acting by isometries on metric spaces with finite $`\mathrm{asdim}.`$

In particular, the theorem proved in  is the following:

###### Theorem.

Assume that the finitely generated group $`\mathrm{\Gamma }`$ acts on the metric space $`X`$ by isometries. Assume that $`\mathrm{asdim}Xn,`$ and that for every $`R,`$ the $`R`$-stabilizer of a basepoint $`x_0X`$ has property A. Then $`\mathrm{\Gamma }`$ has property A.

In  the author proves a union theorem which is analogous to the union theorem for $`\mathrm{asdim}`$ from $`\mathrm{\S }4.`$

###### Theorem (Union Theorem).

Let $`X=_\alpha X_\alpha `$ where the $`X_\alpha `$ are pairwise isometric and have property A. Suppose further that for every $`r>0`$ there is a set $`Y_r`$ so that $`\{X_\alpha Y_r\}`$ is $`r`$-disjoint. Then, $`X`$ has property A.

As a consequence we obtain the finite union theorem.

###### Theorem (Finite Union Theorem).

Let $`X=_{i=1}^nX_i`$ where the $`X_i`$ all have property A. Then, $`X`$ has property A.

The analog of Lemma 2 for Property A is the following. The proof follows from the proof of Lemma 2.

###### Lemma 4.

Let $`G(𝒴)`$ be a developable complex of groups. Suppose that $`𝒴`$ a finite, connected scwol, that the local groups are finitely generated, and that the local groups have property A. Then, the $`R`$-stabilizer $`W_R(\sigma _0)`$ for some base vertex $`\sigma _0`$ also has property A.

Applying the theorem from  cited above, on groups acting on metric spaces with finite $`\mathrm{asdim},`$ we obtain the following generalization of Tu’s theorem.

###### Theorem 5.

Let $`G(𝒴)`$ be a developable complex of groups with corresponding development $`𝒳`$ and fundamental group $`\pi .`$ Suppose that $`\mathrm{asdim}|𝒳|`$ is finite and that the stabilizers of the action have property A. Then, $`\pi `$ has property A.

## 6. Example

The following example illustrates that one must consider the large-scale structure of the development.

Consider a finitely presented group $`\mathrm{\Gamma }`$ which does not have finite $`\mathrm{asdim}`$ or property A, see , . Since the group is finitely presented, there is a finite complex $`K`$ so that $`\pi _1(K)=\mathrm{\Gamma }.`$ Thus, by taking the complex of groups with each vertex trivial and the scwol whose geometric realization is equal to the complex $`K,`$ one obtains the fundamental group of the complex of groups equal to the group $`\mathrm{\Gamma }.`$ The vertex groups have finite $`\mathrm{asdim}`$ and the group acts on the universal cover, so the complex of groups is developable. The complex $`K`$ is finite, yet the group $`\mathrm{\Gamma }`$ does not have finite $`\mathrm{asdim}`$ and does not have property A.