I’m working through the first section on Topological Dynamics.
1) My first questions come towards the end of the proof of Theorem 1.3 on page 119. We are given that for a unital -algebra monomorphism , there is a continuous surjection such that . It says a little later that if is a -map, then is as well. In trying to show that, I get so far as and . So these are equal since is a G-map, but to get that is a G-map from here it looks like we need that is injective. It also looks like we need this later when they conclude from , but it doesn’t seem that we can assume that.
2) My next questions come at the top of page 120 concerning the inverse limit of G-flows. I’ve been getting used to them as I’m reading through this part of the paper, but I am still unsure about how to prove is nonempty and compact. So I would like some direction on those. A smaller question later in the paragraph is in the statement of the universal property: if are homomorphisms and . We aren’t given the mentioned here, so I wasn’t sure if those were supposed to be the or if they were supposed to be introduced along with the .
3) On page 121, where they start looking at countable discrete G (part B), they say that is identical to , the space of ultrafilters on G. Earlier they defined to be the space of all continuous homomorphisms and in this case . So I’m not really sure how to get from that to the space of ultrafilters.
4) On page 122 (part C) they mention Veech’s theorem about locally compact G acting freely on S(G). There is a proof in the appendix and I was wondering if this would be a worthwhile proof to look through.
I also had a general question about reading this (or I suppose any) paper. There are many times in the paper, even the little bit I’ve read, where something is “clear”, or “easily shown”, etc. These are usually showing something is continuous or is a homomorphism or something like that. I was wondering if it is a good idea to stop and work through each of these, since most times they aren’t obvious to me, or if it would be better to try and just get through the paper even if some details aren’t completely worked out.