Borel-Cantelli, zero-one laws and inhomogeneous Duffin-Schaeffer

The most versatile version of the classical divergence Borel-Cantelli lemma shows that for any divergent sequence of events Eₙ in a probability space satisfying a quasi-independence condition, its corresponding limsup set E_ has positive probability. In particular, it provides a lower bound on the probability of E_. In this paper we establish a new version of this classical result which guarantees, under an additional mild assumption, that the probability of E_ is not just positive but is one. Unlike existing optimal results, it is applicable within the setting of arbitrary probability spaces. We then go onto to consider a range of applications in number theory and dynamical systems. These include new results on the inhomogeneous Duffin-Schaeffer conjecture. In particular, we establish alternatives to the classical (homogeneous) zero-one laws of Cassels and Gallagher and use them to resolve the so-called weak Duffin-Schaeffer conjecture for an arbitrary rational inhomogeneous shift. As a bi-product, we establish the Duffin-Schaeffer conjecture with congruence relations. The applications to dynamical systems include new characterisations of Borel-Cantelli sequences and new dynamical Borel-Cantelli lemmas, as well as characterising Khintchine-type sequences for shrinking targets.