We define unimodular measures on the space of rooted simplicial complexes and associate to each measure a chain complex and a trace function. As a consequence, we can define ℓ 2 -Betti numbers of unimodular random rooted simplicial complexes and show that they are continuous under Benjamini-Schramm convergence.
introductionBenjamini and Schramm introduced unimodular random rooted graphs and the notion of local weak convergence in [5], which has become a well-studied topology to investigate graphs or networks. Since in interacting complex systems not only interactions between two nodes, but also between more nodes occur, we generalize -building on a work of Elek [14] -a part of the extensive theory of graphs to simplicial complexes. A rooted simplicial complex is a triple (K, V (K), x) consisting of a simplicial complex K on a vertex set V (K) and a fixed x ∈ V (K). Usually we omit V (K) and just write (K, x). A simplicial complex is locally finite if every vertex is contained in only finitely many simplices. We say that two rooted simplicial complexes (K, x), (L, y) are isomorphic if there is a simplicial isomorphism Φ : K → L such that Φ(x) = y. Let SC * be the space of isomorphism classes of connected locally finite rooted simplicial complexes (see Section 1). Bowen made use of this space in [7] but similar ideas can already be found in [14]. Every finite simplicial complex K defines a random rooted simplicial complex µ K , which is a probability measure on SC * , by choosing uniformly at random a vertex x ∈ V (K) as root (Example 3). A sequence K n of simplicial complexes converges weakly or Benjamini-Schramm if the measures µ Kn weakly converge (Definition 17). The notion of weak convergence of graphs goes back to Benjamini and Schramm [5] -for simplicial complexes it was introduced by Elek in [14]. We will give a definition of ℓ 2 -Betti numbers of unimodular random rooted simplicial complexes (Definition 12) and provide a proof of the following result:Theorem. Let (µ n ) n∈N be a sequence of sofic random rooted simplicial complexes with uniformly bounded vertex degree. If the sequence weakly