On Borel hull operations (Q1704422)

Let \(\mathcal M\) denote the \(\sigma\)-ideal of meager subsets of a Polish space \(X\) and let \(\mathcal N\) denote the \(\sigma\)-ideal of the Lebesgue negligible sets in \(X=\mathbb R^n\). For a \(\sigma\)-ideal \(\mathcal I\) of subsets of \(X\) with a Borel base let \(\mathcal S_{\mathcal I}\) denote the \(\sigma\)-algebra on \(X\) generated by \(\mathcal I\) and the family of Borel subsets of \(X\). A Borel hull operation on \(\mathcal F\subseteq\mathcal S_{\mathcal I}\) with respect to \(\mathcal I\) is a mapping \(\psi\) from \(\mathcal F\) to Borel sets such that \(A\subseteq\psi(A)\) and \(\psi(A)\setminus A\in\mathcal I\) for all \(A\in\mathcal F\). It is known and easy to prove that under CH there exist monotone Borel hull operations on \(\mathcal S_{\mathcal M}\) and on \(\mathcal S_{\mathcal N}\). Adding many Cohen reals to a model of CH gives a model with no monotone Borel hull operations on \(\mathcal M\) and on \(\mathcal N\). The authors find some set-theoretic assumptions (for example Martin's axiom or inequalities between cardinal characteristics of \(\mathcal M\) and \(\mathcal N\)) which imply the non-existence of translation invariant Borel hull operations on \(\mathcal M\) or on \(\mathcal N\). They also prove that the existence of a monotone hull operation on \(\mathcal M\) with respect to \(\mathcal M\) is equivalent to the existence of such a hull operation on \(\mathcal S_{\mathcal M}\).