Polarized relations at singulars over successors (Q776281)

Recall that for \(\kappa\leq\lambda\) infinite cardinals, we say that \[\binom{\lambda}{\kappa}\to\binom{\alpha}{\beta}_\chi\] if and only if for every coloring \(c:\lambda\times\kappa\to\chi\) there are sets \(A\subseteq\lambda\), \(B\subseteq\kappa\) such that the order type of \(A\) is \(\alpha\), the order type of \(B\) is \(\beta\) and \(c\upharpoonright (A\times B)\) is a constant. Answering a question of [\textit{P. Erdős} et al., Acta Math. Acad. Sci. Hung. 16, 93--196 (1965; Zbl 0158.26603)], the author shows that both \[\binom{\aleph_{\omega_1}}{\aleph_2}\to\binom{\aleph_{\omega_1}}{\aleph_0}_2\hbox{ and }\binom{\aleph_{\omega_1}}{\aleph_2}\to \binom{\aleph_{\omega_1}}{\aleph_1}_2\] are independent of \(\textsf{ZFC}\). In addition, it is shown that for some \(\mu>\hbox{cf}(\mu)=\omega_1\) \[\binom{\mu}{\aleph_2}\to\binom{\mu}{\aleph_2}_2\] is independent over \(\textsf{ZF}\). The positive relation is proved under \(\textsf{AD}+\textsf{V}=\textsf{L}(\mathbb{R})\), while the negative direction holds in models of the generalized Martin's axiom and \(2^{\omega_1}>\omega_2\). A model without choice in which the negative direction holds is [\textit{M. Gitik}, Isr. J. Math. 35, 61--88 (1980; Zbl 0439.03036)].