Filter games and pathological subgroups of a countable product of lines

Abstract

AbstractTo each filter ℱ on ω, a certain linear subalgebra A(ℱ) of Rω, the countable product of lines, is assigned. This algebra is shown to have many interesting topological properties, depending on the properties of the filter ℱ. For example, if ℱ is a free ultrafilter, then A(ℱ) is a Baire subalgebra of ℱω for which the game OF introduced by Tkachenko is undetermined (this resolves a problem of Hernández, Robbie and Tkachenko); and if ℱ1 and ℱ2 are two free filters on ω that are not near coherent (such filters exist under Martin's Axiom), then A (ℱ1) and A(ℱ2) are two o-bounded and OF-undetermined subalgebras of ℱω whose product A(ℱ1) × A(ℱ2) is OF-determined and not o-bounded (this resolves a problem of Tkachenko). It is also shown that the statement that the product of two o-bounded subrings of ℱω is o-bounded is equivalent to the set-theoretic principle NCF (Near Coherence of Filters); this suggests that Tkachenko's question on the productivity of the class of o-bounded topological groups may be undecidable in ZFC.