Choosing between incompatible ideals

Abstract

Suppose I and J are proper ideals on some set X. We say that I and J are incompatible if I ∪ J does not generate a proper ideal. Equivalently, I and J are incompatible if there is some A ⊆ X such that A ∈ I and X \ A ∈ J . If some B ⊆ X is either in I \ J or in J \ I, then we say that B chooses between I and J .We consider the following Ramsey-theoretic problem: Given several pairs (I1, J1), (I2, J2), . . . , (I k , J k ) of incompatible ideals on a set X, find some A ⊆ X that chooses between as many of these pairs of ideals as possible. The main theorem is that for every n ∈ N, there is some I(n) ∈ N such that given at least I(n) pairs of incompatible ideals on any set X, there is some A ⊆ X choosing between at least n of them.This theorem is proved in two main steps. The first step is to identify a (purely finitary) problem in extremal combinatorics, and to show that our problem concerning ideals is equivalent to this combinatorial problem. The second step is to analyze the combinatorial problem in order to show that the number I(n) described above exists, and to put bounds on it. We showThe upper bound is proved by considering a different but closely related combinatorial problem involving hypergraphs, which may be of independent interest. We also investigate some applications of this theorem to a problem concerning conditionally convergent series.