Linear relations modulo meager sets

Abstract

We prove several topological zero-one laws. First, we show that, if a subset $A$ of a Banach space $X$ has the Baire property, then $A$ admits a somewhere dense set of vectors $x\in X$ such that $A+x$ agrees with $A$ modulo meager sets if and only if it is either meager or comeager. Additional equivalent conditions are given if $X=\mathbb{R}$. Second, we prove that if $A_1,\dots ,A_k\subseteq \mathbb{R}$ are subsets with the Baire property, $\hat{I}{\pm }_1,\dots ,\hat{I}{\pm }_k$ are nonzero reals with distinct finite sums, and $(x_{n,i}:n\in \ddot{I}‰)$ are injective real sequences which converge to $0$ for each $i=1,\dots ,k$, then $$\sum _{i=1}^k\hat{I}{\pm }_i(1_{A_i+x_{n,i}}-1_{A_i})=0$$ modulo meager sets for all $n\in \ddot{I}‰$ if and only if each $A_i$ is either meager or comeager. Finally, we provide some additional results in the case where the $\hat{I}{\pm }_1,\dots ,\hat{I}{\pm }_k$ do not have distinct finite sums. For instance, if $k=2$ and $\hat{I}{\pm }_1=\hat{I}{\pm }_2$, then the above equality holds modulo meager sets for all $n\in \ddot{I}‰$ if and only if each $A_i$ is either meager or comeager or if $\{A_1,A_2\}$ is a partition of $\mathbb{R}$ modulo meager sets. Additional characterizations are given in the case $k\ge 3$. These results yield the category analogues of several results by Fejzić, Freiling, and Rinne in [J. London Math. Soc.~\textbf{82} (2010), no. 3, 717--732].