Arxiv:1712.03324V2 [Math.GT] 16 Oct 2018 Supposee (X , ) and (X , ) Are Coarse Spaces

COARSE DIRECT PRODUCTS AND PROPERTY C

G. BELL AND A. LAWSON

Abstract. We show that coarse property C is preserved by ﬁnite coarse direct products. We also show that the coarse analog of Dydak’s countable asymptotic dimension is equivalent to the coarse version of straight ﬁnite decomposition complexity and is therefore preserved by direct products.

1. Introduction and Preliminaries The coarse category was described by Roe [9] as a generalization of the large- scale approach to discrete groups begun by Gromov [7]. Coarse spaces are sets that are equipped with a so-called coarse structure that provides a measure of proxim- ity without referring to a metric. Coarse structures can be derived from metric structures [9, 11], topological structures [9], or group structures [8]. Coarse ver- sions of asymptotic dimension [6, 9] as well as property C and finite decomposition complexity [1] have been established and studied [12]. There is a natural notion of a direct product of coarse spaces whose structure is not necessarily derived from a coarse structure on the product of the underlying sets, see Remark 1.1. Therefore, the question of stability of coarse properties under this product is interesting. The primary goal of this short note is to show that coarse property C is stable with respect to finite coarse products; this was shown in the metric case recently [2, 3]. We also show that the coarse analog of Dydak’s countable asymptotic dimension [4] coincides with the coarse version of straight finite decomposition complexity (sFCDC); as a result, this notion is also stable with respect to coarse products. A coarse structure can be defined on any set X. Take the multiplication (referred to here as composition) and inverse operations from the pair groupoid structure on the product X X. A collection of subsets of X X is called a coarse structure on X if it contains× the diagonal andE is closed under× subsets, finite unions, inverses, and compositions [9]. Elements of will be called entourages and we call the pair (X, ) a coarse space. E arXiv:1712.03324v2 [math.GT] 16 Oct 2018 SupposeE (X , ) and (X , ) are coarse spaces. Let p denote the projection 1 E1 2 E2 i map pi : X1 X2 Xi for i 1, 2 . We define the product coarse structure [6] on the product× X→ X by ∈ { } 1 × 2 = E (X X )2 :(p p )(E) for each i 1, 2 . E1 ∗ E2 ⊆ 1 × 2 i × i ∈ Ei ∈ { } Remark 1.1. The C0-coarse structure on metric spaces was defined by Wright [11]. It is straightforward to check that the C0-coarse structure on the metric product N [0, 1] is a proper subset of the coarse product of the C0-coarse structures on the × Date: November 8, 2018. 2010 Mathematics Subject Classification. 54F45 (primary), 54E15 (secondary). Key words and phrases. coarse geometry, property C. 1 2 G. BELL AND A. LAWSON individual spaces. Therefore, a coarse structure on the product of two spaces does not necessarily correspond to the coarse product of those same types of coarse structure on the factors. By contrast, if X and Y are metric spaces in the bounded coarse structure [9, Example 2.5], the coarse space obtained from taking the bounded coarse structure on X Y is the same as the coarse product of the spaces X and Y equipped with bounded× coarse structures. To complete this section, we recall the definitions of coarse property C and sFCDC [1]. Definition 1.2. [1] A coarse space (X, ) has coarse property C if and only if for E any sequence E1 E2 of entourages there is a finite sequence 1, 2,..., n satisfying ⊆ ⊆ · · · U U U (1) Sn is a cover of X; i=1 Ui (2) each i is Ei-disjoint; i.e., for any pair of distinct elements U, V of i we have U V E = ; and U × ∩ ∅ S (3) each i is uniformly bounded; i.e., U U . U U∈Ui × ∈ E Let Y be a subset of a coarse space (X, ) and let be a family of subsets of X. Let n be a positive integer and let E E be anU entourage. We say that Y admits an (E, n)-decomposition over if Y∈can E be expressed as a union of n sets Y 1,Y 2,...,Y n in such a way that eachUY i can be expressed as an E-disjoint union of sets from . Here, by an E-disjoint union of sets from , we mean that each i i U i i 0 i U Y = Y , where Y Y 0 E = if j = j and Y for all j. tj j j × j ∩ ∅ 6 j ∈ U Definition 1.3. ([1]) The coarse space (X, ) is said to have straight finite coarse decomposition complexity (sFCDC)E if for any sequence of entourages L ,L , ... there is a sequence of families , ..., so that 1 2 V1 Vn (1) = X ; V1 { } (2) for every i 1, each U i admits an (Li, 2)-decomposition over i+1; and ≥ ∈ V V (3) is uniformly bounded. Vn It is known that sFCDC is preserved by coarse direct products [1, Theorem 4.17].

2. Results The proof that asymptotic property C is preserved by direct products of metric spaces [2, 3] is based on the technique used to prove the corresponding theorem for topological property C when one of the two factors is compact [10]. The proof of the following theorem is similar in spirit to the earlier works, but the absence of a metric means that more care and bookkeeping is required. In particular the single distance parameter must be replaced by two sequences of entourages in the factors. Theorem 2.1. Let (X, ) and (Y, ) be coarse spaces with coarse property C. Then (X Y, ) has coarseE propertyF C. × E ∗ F Proof. Let E E be a sequence of entourages in . For each i, put 1 ⊆ 2 ⊆ · · · E ∗ F Ki = (p1 p1)(Ei) and Li = (p2 p2)(Ei). Then, by the deﬁnition of , each K × and L . Observe× that since E E , we have K EK ∗ F i ∈ E i ∈ F i ⊆ i+1 i ⊆ i+1 and Li Li+1. Arrange the indices 1, 2, 3,... into a two-dimensional array with the property⊆ that the indices are increasing from left to right along rows and from COARSE DIRECT PRODUCTS AND PROPERTY C 3

to Li,ni nding correspo L cover i of Y 6,n6 Find a V L5,n5

L4,n4

i,j L3,n3 L L2,n2 L1,n1 r o f i n d n a

i,j K1,2 K2,2 K3,2 K4,2 K5,2 K6,2 U d n i

F K1,1 K2,1 K3,1 K4,1 K5,1 K6,1

Covers n1 n2 n3 n4 n5 n6 of X: {U1,j}j=1 {U2,j}j=1 {U3,j}j=1 {U4,j}j=1 {U5,j}j=1 {U6,j}j=1

Figure 1. We find covers ni of X for each column {Ui,j}j=1 K ,K ,..., and then construct a cover m of Y correspond- i,1 i,2 {Vi}i=1 ing to Li,ni bottom to top along columns (see Figure 1, which was first used in the metric proof [2]). For each i, we apply the coarse property C definition to the column Ki,1,Ki,2,... to find an n and a cover , ,..., of X by families that are uniformly i Ui,1 Ui,2 Ui,ni bounded and Ki,j-disjoint. Then, consider the sequence L1,n1 ,L2,n2,,.... We may assume that the sequence is increasing by replacing Li,ni by an entourage that occurs higher in the i-th column, if necessary. Using this sequence, and the fact that Y has coarse property C, we find a cover

1, 2,..., m by subsets of Y that are uniformly bounded and so that i is Li,ni - disjoint.V V V V We claim that the family = U V : U ,V covers X Y , Wi,j { × ∈ Ui,j ∈ Vi} × consists of uniformly bounded sets, and has the property that i,j is Ei,j-disjoint. To finish the proof, we simply need to unravel the re-indexingW to arrive at the original sequence, which may now include some empty families. First we check that the collection i,j covers X Y . Given (x, y) X Y , there is some i so that y V , where WV since the× cover Y . Next,∈ there× is 0 ∈ ∈ Vi0 Vi some j0 so that x U with U i0,j0 since for each fixed i, the i,j cover X. To see that the∈ sets are uniformly∈ U bounded, we observe that forV ` = 1, 2, h[ i [ (p p ) ((U V ) (U V )) = [(p p ) ((U V ) (U V ))] , ` × ` × × × ` × ` × × × where the unions are taken over all U V Wi,j for each pair i, j. The conclusion × ∈ S follows from the fact that i,j and i are uniformly bounded; i.e., that U U V U∈Ui,j × U and S V V . ∈ E V ∈Vi × ∈ F Finally, we check that i,j is Ei,j-disjoint. To this end, take distinct U1 V1 and U V in . Assume thatW there were some (a, c, b, d) L ((U V ) (U× V )). 2 × 2 Wi,j ∈ ∩ 1 × 1 × 2 × 2 Then, in particular, a U1, b U2, c V1 and d V2. Thus, (a, b) (p1 p )(E ) = K and (c,∈ d) (p ∈ p )(E∈ ) = L . Since∈ U V = U ∈V , we× 1 i,j i,j ∈ 2 × 2 i,j i,j 1 × 1 6 2 × 2 either have U1 = U2 or V1 = V2. In the first case, the Ki,j-disjointness of i,j does not allow (a, b)6 to be in K6 . In the second case, the fact that is L U-disjoint i,j Vi i,ni 4 G. BELL AND A. LAWSON

and the fact that Li,j Li,ni for all j ni means that (c, d) cannot be in LI,j. Thus, there can be no⊂ such point (a, c, b,≤ d). We conclude that the intersection is empty, which is what we needed to show. Dydak defined countable asymptotic dimension for metric spaces [4] and it was shown to be equivalent to straight finite decomposition complexity by Dydak and Virk [5]. We show that the analogous result also holds for coarse spaces. As before, some care is needed to work with entourages in the absence of a metric. Proposition 2.2. Let (X, ) be a coarse space. The following are equivalent: E (1) there is a sequence (ni) of integers such that for every sequence of entourages K there is a finite sequence of families ,..., of subsets of X i V1 Vr such that 1 = X , every V i admits an (Ki, ni)-decomposition over and suchV that{ } is uniformly∈ V bounded. Vi+1 Vr (2) for every sequence Li of entourages there is a finite sequence of families 1,... s of subsets of X such that 1 = X , every U i admits a (UL , 2)-decompositionU over and suchU that { }is uniformly∈ bounded. U i Ui Us Proof. Clearly (2) implies (1). To see the other implication, let (ni) be the sequence of positive integers satisfying (1) for X. Let L1,L2,... be a sequence of entourages. By taking unions we may assume L L . Put K = L , K = L , and in general, put i ⊆ i+1 1 n1 2 n1+n2 Kj = Ln1+···+nj . Apply (1) with the sequence (Ki) to obtain 1, 2,... such that = X and such that admits a (K , n )-decomposition overV V . V1 { } Vi i i Vi+1 We will define a sequence i of families of subsets of X with the property that = X and admits an (UL , 2)-decomposition over . To begin, we observe U1 { } Ui i Ui+1 that we can write X = X1 X2 Xn1 , with each Xi = F Xi, and each ∪ ∪ · · · ∪ K1−disj j Xi . Therefore, we take = X1,X1,...,X2 X3 Xn1 . Then, it is j ∈ V2 U2 { 1 2 ∪ ∪ · · · ∪ } clear that X can be (K1, 2)-decomposed over 2 and since L1 Ln1 = K1, we see that there is an (L , 2)-decomposition of any setU in over the⊆ family . For , 1 U1 U2 U3 we take X1,X1,...,X2,X2,...,X3 X4 Xn1 ; we also observe that any { 1 2 1 2 ∪ ∪ · · · ∪ } set in 2 admits an (L2, 2)-decomposition over 3 since L2 Ln1 = K1. Continue to defineU families this way to obtain , ,...,U with an⊆(L , 2)-decomposition U1 U2 Un1 i of each i over i+1 for 1 i < n1. We observe that in this way, n1 = 2. To defineU Ufor j n ≤+ 1, we observe first that we may assumeU eachV family Uj ≥ 1 i is a partition of X itself, (cf. [5, Corollary 8.3]). We then repeat the above procedureV to arrive at = . We repeat this entire process until we arrive Un1+n2 V3 at ··· = , which is uniformly bounded. Un1+ +nr−1 Vr A coarse space has sFCDC precisely when it satisfies condition (2) of Proposi- tion 2.2. Condition (1) of Proposition 2.2 is the coarse analog of countable asymptotic dimension. Since sFCDC is preserved by coarse direct products [1, Theorem 4.17], we obtain the following. Corollary 2.3. The coarse version of Dydak’s countable asymptotic dimension is preserved by coarse direct products.

References [1] G. Bell, D. Moran, and A. Nagórko. Coarse property C and decomposition complexity. Topol- ogy Appl., 227:30–50, 2017. COARSE DIRECT PRODUCTS AND PROPERTY C 5

[2] G. C. Bell and A. Nagórko. On the stability of asymptotic property C for products and some group extensions. Algebr. Geom. Topol., 18(1):221–245, 2018. [3] T. Davila. On asymptotic property C. ArXiv e-prints, Nov. 2016. [4] J. Dydak. Coarse amenability and discreteness. J. Aust. Math. Soc., 100(1):65–77, 2016. [5] J. Dydak and Ž. Virk. Preserving coarse properties. Rev. Mat. Complut., 29(1):191–206, 2016. [6] B. Grave. Coarse geometry and asymptotic dimension. PhD thesis, Georg-August-Universität Göttingen, 2005. [7] M. Gromov. Asymptotic invariants of infinite groups. In Geometric group theory, Vol. 2 (Sussex, 1991), volume 182 of London Math. Soc. Lecture Note Ser., pages 1–295. Cambridge Univ. Press, Cambridge, 1993. [8] A. Nicas and D. Rosenthal. Coarse structures on groups. Topology Appl., 159(14):3215–3228, 2012. [9] J. Roe. Lectures on coarse geometry, volume 31 of University Lecture Series. American Math- ematical Society, Providence, RI, 2003. [10] D. M. Rohm. Products of infinite-dimensional spaces. Proc. Amer. Math. Soc., 108(4):1019– 1023, 1990. [11] N. J. Wright. C(0) coarse geometry. ProQuest LLC, Ann Arbor, MI, 2002. Thesis (Ph.D.)– The Pennsylvania State University. [12] T. Yamauchi. Straight finite decomposition complexity implies property A for coarse spaces. Topology Appl., 231:329–336, 2017.

Department of Mathematics and Statistics, The University of North Carolina at Greensboro, Greensboro, NC 27402, USA E-mail address: [email protected]