Density topologies and the marginal strong lifting problem for hyperstonian spaces (Q2165555)

The properties of density topologies and of topological measure spaces whose topologies are density topologies are investigated. The authors search for necessary and sufficient conditions for the canonical strong lifting of a hyperstonian space to be a marginal. The work originates with the problem of whether, given a compact Radon probability space X with hyperstonian space Y (i.e., the Stone space of the measure algebra of \(X\)), the Radon product \(X\times Y\) has a strong lifting For a probability space \((X, \sigma, \mu)\), its hyperstonian space is the compact Radon zero-dimensional probability space \((Y, \mathfrak{T}, T, \ni)\), where \((Y, \mathfrak{T})\) is the Stone space of the measure algebra (referred to measure \(\mu\)), \(T\) is the \(\sigma\)-algebra of sets having the property of Baire. A density (or lifting) for a measure space \(Y\) is called a marginal for a product space \(X\times Y\) if replacing the measurable vertical sections of a member of the family by their image under the density gives a measurable set. To a density \(\delta\) for a complete probability space \((X, \Sigma, \mu)\), we associate the topology \(\tau_\delta\) of all sets \(E\in \Sigma\) such that \(E \subset \delta(E)\), and the topology \(t_\delta\) generated by the sets \(\delta(E)\), \(E\subset \Sigma\). This paper continues the investigation of the role of marginals, and is also a contribution to understanding the topologies \(\tau_\delta\), \(t_\delta\) associated with a density \(\delta\).