Fibers of the \(L ^{\infty }\) algebra and disintegration of measures (Q658314)

Let \(X\) be a compact space and let \(\mu\) be a regular Borel probability measure on \(X\) whose support equals \(X\). Denote by \(Y\) the Gelfand spectrum of the Banach algebra \(L^{\infty}(\mu)\). Let \(\tilde{\mu}\) be the regular Borel probability measure on \(Y\) which represents the continuous linear functional on \(C(Y)\) (identified with \(L^{\infty}(\mu)\) via the Gelfand transform) corresponding to the integral with respect to \(\mu\). Consider \(C(X)\) embedded as a subalgebra into \(L^{\infty}(\mu)\). The Gelfand spectrum of \(C(X)\) being identified with \(X\), we get, by restriction, a continuous mapping \(\Pi\) of \(Y\) onto \(X\). It is shown that, given \(h\in L^{\infty}(\mu)\), there exists a dense open subset \(U\) of \(Y\) with \(\tilde{\mu}(U)=1\) such that the Gelfand transform of \(h\) is constant on \(\Pi^{-1}(x)\cap U\) for each \(x\in X\) (Theorem 2.7). This result is then applied to disintegration of measures on arbitrary compact spaces (Theorem 3.3). However, the latter theorem contradicts a combination of some classical results [\textit{A. Ionescu Tulcea} and \textit{C. Ionescu Tulcea}, Topics in the theory of lifting. Berlin-Heidelberg-New York: Springer Verlag. (1969; Zbl 0179.46303), Theorem IX.3]; \textit{V. Losert}, [``A measure without the strong lifting property'', Math. Ann. 239, 119--128 (1979; Zbl 0402.46031)]. In fact, the proof uses a functional \(\Phi_z\) which is not correctly defined. The authors submitted a suitable corrigendum [ibid. 100, No. 5, 437-438 (2013; Zbl 1277.46023)].