Baire irresolvable spaces and lifting for a layered ideal (Q910036)

It is proven that, if \(2^{\lambda}=\lambda^+\) and I is a \(\lambda\)- complete layered ideal on a regular \(\lambda\), then the natural homomorphism from P(\(\lambda)\) to P(\(\lambda)\)/I can be lifted (i.e. there is a homomorphism h from P(\(\lambda)\) to itself, such that, \(h(A)/I=A/I\) for each \(A\subset \lambda)\). The ideal I is called layered if the quotient algebra P(\(\lambda)\)/I can be expressed as a continuous increasing union of subalgebras \(\{B_{\xi}:\) \(\xi <\lambda^+\}\) so that for each \(\xi <\lambda^+\) of cofinality \(\lambda\), \(B_{\xi}\) is completely embedded in P(\(\lambda)\)/I and has cardinality at most \(\lambda\). The consistency of the existence of such ideals for \(\lambda =\omega_ 1\) together with \(2^{\omega_ 1}=\omega_ 2\) was shown to follow from the existence of certain large cardinals, for example a supercompact cardinal, by the author. This was previously shown to follow from the existence of a huge cardinal by Foreman, Magidor and Shelah. An application of the existence of such liftings is the motivation for the paper. Katětov asks in the 1940's for the existence of a topological space without isolated points in which every real-valued function is continuous at some point. Kunen, Szymański and Tall showed that the existence is equivalent (consistencywise) to the existence of measurable cardinals. They asked if there could be such a space of cardinality \(\aleph_ 1\). Using a result of Malyhin, they showed that this latter question is equivalent to the existence of an \(\aleph_ 1\)- complete ideal on \(\omega_ 1\) with a lifting.