Stationary preserving ideals over \({\mathcal P}_{\kappa}\lambda\). (Q1411765)

This paper is concerned with preservation and reflection of stationary subsets of \(P_\kappa(\lambda)\) (\(=\{a\subseteq\lambda: | a|< \kappa\}\)) for a regular uncountable cardinal \(\kappa\) and a cardinal \(\lambda\geq\kappa\). The main results read as follows: (A) Suppose that \(\kappa= \nu^+\) and there is a \(\kappa\)-complete ideal \(J\) on \(P_\kappa(\lambda)\) such that the poset \((J^+,\subset)\) is proper. Then the following hold: (a) For every cardinal \(\rho\) with \(\kappa\leq\rho\leq\lambda\), and every stationary subset \(S\) of \(P_{\omega_2}(\rho)\), there is \(X\subseteq\rho\) such that \(| X|= \nu\subseteq X\) and \(S\cap P_{\omega_1}(X)\) is stationary in \(P_{\omega_1}(X)\); (b) If \(\nu\geq \omega_1\) and \(\lambda\geq 2^{2^{2^\nu}}\), then \(NS_{\omega_1,\nu}\) is precipitous (and even presaturated if \(2^{\nu^{\aleph_0}}= \nu^+\)). (B) Suppose that \(\omega_2\leq \kappa\), \(2^{2^{\alpha^{<\kappa}}}= \lambda^+\), and either \(\kappa= \lambda= \nu^+\), or else \(\kappa< \lambda\) and \(\lambda\) is regular. Suppose further than \(\theta\geq\lambda^+\) is a regular cardinal with a measurable above. Then there is a stationary subset \(S\) of \(P_\kappa(H_\theta)\) such that \(S\cap P_\kappa(X)\) is not stationary in \(P_\kappa(X)\) for every \(X\subseteq H_\theta\) with \(| X|= \lambda\subseteq X\).