Define a partial action ({Fy}gcu(s)- {8p }ycvis)}) of the group U(S) on Eygua, by setting Fe= Daw @) such that, for all € in some D,., C Fy-+, we have 4,(£) = 4,(£). To see why this is well- defined, suppose that we have «, € o-\(g) for some g € U(S), and that we have a filter € € Dyy Det — this means that s°s,t°t € €, and so s'st"t £0. Hence st” £0. A short caleulation gives a(st’) = o(s)o(t)! = and so sf* = ts" is an idempotent. Since ft € £ and s€s* is a filter, we must have that sf*ts* 4 0. This means that sf*st" ¢ 0, and so similar to the above fs ¢ 0 and is an idempotent. Furthermore, St = s'ts*t = s'st't C £, Now, suppose that ¢ ¢ SEs. Thon there exists f ¢ £ such that sfs* &e, which is to say that esfs* = sfs*. Now we have eta aft at") tataf stat” © 18t* (eafa*)at® and so e is greater than an clement of £/*, whence e« € TE. This argument is symmetric in s and ¢,so wo must have that Sa" = TEP, and thus the funetions 6, and & agree on Fy-+ from (3), and so dy is well-defined. We note that by (3), the only g € U(S) for which Fy is nonempty will be those in the image of o- It is straightforward to show that map from G(S. Eygu.#) to U(S) %; gue given by [s.€] + (o(s).€) is a well-defined isomorphism of topological groupoids. Now, let (G.E.9) be a self-similar graph action such that E is a finite graph with no sinks or sources, Then the tight spectrum of Sar is homeomorphie te the space of infinite paths, sce [EPI3]. Section 8. The action of Gon E* extends to an action on Eg by homeomorphisins determined by the following: for each g € Gand x € Sig we have (gr)i = e(9. aya tia) aie As above, each (a,9,8) € Sg, acts via a partial homcomorphism on its tight spectrum De given by 8): Bg + oe Br a(gr). ‘The above together with Theorem 3.3 and previonsly known Theorems 4.2 and 4.3 directly imply the following. id