FOUNDATIONAL ASPECTS OF UNCOUNTABLE MEASURE THEORY: GELFAND DUALITY, RIESZ REPRESENTATION, CANONICAL MODELS, AND CANONICAL DISINTEGRATION ASGAR JAMNESHAN AND TERENCE TAO Abstract. We collect several foundational results regarding the interaction be- tween locally compact spaces, probability spaces and probability algebras, and commutative C∗-algebras and von Neumann algebras equipped with traces, in the “uncountable” setting in which no separability, metrizability, or standard Borel hypotheses are placed on these spaces and algebras. In particular, we re- view the Gelfand dualities and Riesz representation theorems available in this setting. We also present a canonical model that represents (opposite) probabil- ity algebras as compact Hausdorff probability spaces in a completely functorial fashion, and apply this model to obtain a canonical disintegration theorem and to readily construct various product measures. These tools will be used in fu- ture papers by the authors and others in various applications to “uncountable” ergodic theory. 1. Introduction In this paper we establish various foundational results about the measure theory (and also point set topology and functional analysis) of “uncountable” spaces: topological spaces that are not required to be separable or Polish, mea- surable spaces that are not required to be standard Borel, measure spaces that are not required to be standard Lebesgue, and C∗-algebras that are not required to be separable. In other work by us and other authors [16, 33, 32] we will use these results to establish various results in “uncountable” ergodic theory (in which the group Γ acting on the system is not required to be countable), which in turn can arXiv:2010.00681v2 [math.FA] 20 Nov 2020 be applied to various “uncountable” systems constructed using ultraproducts and similar devices to obtain combinatorial consequences. In this paper we focus on the following (interrelated) families of results: (i) The compactification of locally compact Hausdorff spaces, and the Gel- fand dualities between categories of these spaces and various categories of commutative C∗-algebras. (ii) Riesz representation theorems on compact and locally compact Haus- dorff spaces, leading to various “Riesz dualities” between categories of Date: November 23, 2020. 2020 Mathematics Subject Classification. Primary 28A60; Secondary 46L05, 28A50. Key words and phrases. Uncountable measure theory, Gelfand duality, Riesz representations, probability algebras, canonical model, Stone duality, disintegration of measures. 1 2 A.JAMNESHANANDT.TAO compact or locally compact Hausdorff probability spaces and categories of tracial commutative C∗-algebras. (iii) Construction of a canonical model of opposite probability algebras as compact Hausdorff spaces with good category theoretic properties (based on combining the above dualities with a “probability duality” between opposite probability algebras and tracial commutative von Neumann al- gebras). (iv) Construction of a canonical disintegration of probability measures with respect to a factor space, via the aforementioned canonical model, and the use of this disintegration to construct relatively independent products. (v) Connections with various Stone dualities between categories of Stone spaces and categories of Boolean algebras, focusing in particular on the duality provided by the Loomis-Sikorski theorem, and using this duality to establish an abstract version of the Kolmogorov extension theorem. Most of the above results are already known in the literature, though some- times in a different guise; we discuss relevant references at all stages of this pa- per. Our primary contribution is to synthesize them into an arrangement in which they appear as different aspects of a coherent whole. As the above descriptions indicate, we will rely hereby on the language of category theory to describe, or- ganize, and interpret our results, as well as the results already in the literature. Indeed, we found that an insistence on ensuring that various operations or iden- tifications can be viewed as functors or natural transformations to be extremely elucidating, for instance clarifying the different versions of the Baire algebra or the Riesz representation theorem that exist in the literature by assigning each such version to a slightly different category. We highlight the category theoretic notions of universal product, natural isomorphism, and duality of categories as being of particular relevance to our investigations. We review the basic terminol- ogy of category theory we will need in Appendix A. 1.1. Compactification and Gelfand duality. In this paper we use the term Gelfand duality to refer to a number of duality of categories between categories of compact or locally compact Hausdorff spaces on one hand, and categories of commutative C∗-algebras on the other. To illustrate the most basic example of Gelfand duality, we introduce the compact Hausdorff category CH and the unital ∗ 1 ∗ commutative C -algebra category CC Alg1. ∗ Definition 1.1 (CH and CC Alg1). 1As explained in Appendix A, we use black boldface strings for categories of “spaces” and red boldface strings for categories of “algebras”, with the latter often exhibiting dualities with the former. FOUNDATIONAL ASPECTS OF UNCOUNTABLE MEASURE THEORY 3 (i) A CH-space is a compact Hausdorff space X = (XSet, FX), that is to say a set XSet equipped with a topology FX that makes the set compact and Hausdorff.A CH-morphism f : X → Y between two CH-spaces is a Set- morphism (i.e., a function) fSet : XSet → YSet between the underlying sets which is continuous, using the usual Set-composition law. ∗ ∗ ∗ (ii) A CC Alg1-algebra is a unital commutative C -algebra A.A CC Alg1- morphism Φ: A→B is a unital ∗-homomorphism from A to B. ∗ (iii) If X is a CH-space, we define C(X) to bethe CC Alg1-algebra of contin- uous functions f : X → C from X to the complex numbers C, endowed with the obvious structure of a unital C∗-algebra. If T : X → Y is a CH- morphism, we define C(T): C(Y) → C(X) to be the Koopman operator C(T)( f ) ≔ f ◦ T. ∗ (iv) If A is a CC Alg1-algebra, we define Spec(A) (the Gelfand spectrum ∗ ∗ C of A) to be the space HomCC Alg1 (A → ) of CC Alg1-morphisms ∗ λ: A → C from A to C (viewing the latter as a CC Alg1-algebra), equipped with the topology induced from the product topology on the space CA of all functions from A to C; this is a CH-space thanks to ∗ the Banach-Alaoglu theorem. If φ: A→B is a CC Alg1-morphism, then Spec(Φ): Spec(B) → Spec(A) is the CH-morphism defined by ≔ ∗ C Spec(Φ)(λ) λ ◦ Φ for all λ ∈ HomCC Alg1 (A → ). ∗ It is a routine matter to verify that CH and CC Alg1 are categories, and ∗ ∗ C : CH → CC Alg1 and Spec : CC Alg1 → CH are contravariant functors between the indicated categories. We depict the functor C in blue to indicate that ∗ ≔ we deem it a “casting functor”, so that we view XCC Alg1 C(X) as the “canon- ical” unital commutative C∗-algebra associated to a CH-space X; see Definition A.21 for a fuller explanation of our casting conventions. (We cannot simultane- ously deem Spec to be a casting functor, because the composition Spec ◦ C (or C ◦ Spec) is not the identity, instead merely being naturally isomorphic to the identity.) It is well-known (see, e.g., [43], [51] or [20, Theorem 1.20]) that the functors C, Spec are full inclusions which invert each other up to natural isomorphism, thus giving a duality of categories which we refer to as the Gelfand duality be- ∗ tween CH and CC Alg1. We summarize all these facts as a single diagram ∗ CC Alg1 C Spec . CH 4 A.JAMNESHANANDT.TAO In fact we have the larger, essentially commuting, diagram of Gelfand dualities depicted in Figures2 1, 2, where (roughly speaking) • LCH is the category of locally compact Hausdorff spaces, with mor- phisms required to be continuous; • LCHp is the category of locally compact Hausdorff spaces, with mor- phisms required to be both continuous and proper; • (pt ↓ CH) is the category of pointed compact Hausdorff spaces, equipped with a distinguished point, and with morphisms required to preserve this point; • β: LCH → CH is the Stone-Cechˇ compactification functor; • Alex: LCHp → (pt ↓ CH) is the Alexandroff (or one-point) compactifi- cation functor; ∗ ∗ • CC Algnd is the category of commutative C -algebras with morphisms taking values in the target algebra and required to be nondegenerate; ∗ ∗ • CC AlgMult,nd is the category of commutative C -algebras with morphisms taking values in the multiplier algebra and required to be nondegenerate; ∗ ∗ • (CC Alg1 ↓ C) is the category of unital commutative C -algebras A en- dowed with a distinguished unital ∗-homomorphism to C, with the mor- phisms required to preserve this ∗-homomorphism; • C0(X) is the space of continuous functions on X which vanish at infinity; • Cb(X) is the space of bounded continuous functions on X; • Mult is the multiplier algebra functor; • Unit is the functor that adjoins a unit to a C∗-algebra A to create a unital ∗ C -algebra A⊕C, with the coordinate ∗-homomorphism λ∗ : A⊕C → C. We describe these categories and functors in more detail in Section 2, where we also present various commutativity relations and dualities of categories that are implicit in Figures 1, 2, formalized as Theorem 2.4. Each of these functors and equivalences already occur either implicitly or explicitly in the literature, but to our knowledge this is the first time they have been combined into the above two diagrams. In particular, we believe that these diagrams clarify an ambiguity in the Gelfand duality literature in which morphisms between locally compact Hausdorff spaces were sometimes, but not always, required to be proper, and morphisms between C∗-algebras were sometimes, but not always, required to lie in the target algebra rather than the multiplier algebra. This ambiguity is resolved 2These figures, as well as several other figures in this paper, can be viewed as “coordinate charts” of a single enormous diagram of categories that encompass a large number of types of objects and morphisms that are studied in topology, measure theory, probability theory, and operator algebras.