Almost refinement, reaping, and ultrafilter numbers

Basic Information

• Paper ID: 2410.18595
• Title: Almost refinement, reaping, and ultrafilter numbers
• Authors: Jörg Brendle, Michael Hrušák, Francesco Parente
• Classification: math.LO (Mathematical Logic)
• Submission Date: Submitted to arXiv on October 24, 2024; revised version on June 30, 2025
• Paper Link: https://arxiv.org/abs/2410.18595

Abstract

This paper investigates the combinatorial structure of maximal antichains in Boolean algebras under the almost refinement order. The authors also consider the reaping relation and its associated cardinal invariants, with particular focus on the reduced powers of Boolean algebras. As applications, the authors prove that the ultrafilter number of the Cohen algebra is at least the cofinality of the meager ideal, and conversely, appropriate parameterized diamond principles imply that the ultrafilter number of the Cohen algebra equals ℵ₁.

Research Background and Motivation

1. Core Problem: This research aims to generalize the almost refinement relation originally defined by Matet on partitions of ω to maximal antichains of general c.c.c. Boolean algebras, and to investigate its combinatorial properties.
2. Significance:
   • The almost refinement relation is an important tool for studying cardinal invariants in set theory
   • The Cohen algebra, as a central object in forcing theory, has its ultrafilter number determination crucial for understanding the characteristics of the continuum
   • Generalizing the classical reaping and splitting relations to Boolean algebras has theoretical value
3. Existing Limitations:
   • Previous research was primarily confined to partitions on ω
   • Systematic study of almost refinement relations on maximal antichains of general Boolean algebras was lacking
   • Precise characterization of the ultrafilter number of the Cohen algebra remained incomplete
4. Research Motivation: By establishing connections between different relational systems through generalized Galois-Tukey connections, the authors derive new cardinal invariant equalities from known results.

Core Contributions

1. Established a general theory of almost refinement relations: Generalized Matet's partition almost refinement relation to maximal antichains of c.c.c. Boolean algebras, defining the relational system Part*(B).
2. Proved key Galois-Tukey equivalences: Established ⟨nwd(ω2),⊆,nwd(ω2)⟩ ≡T Part*(Cω) ≡T Part(Cω), where Cω is the Cohen algebra.
3. Completely determined the reaping and splitting numbers of reduced powers: Proved r(ωCω/Fin) = r + cof(M) and s(ωCω/Fin) = min{s, add(M)}.
4. Obtained lower bounds for the ultrafilter number of the Cohen algebra: Proved cof(M) ≤ u(Cω).
5. Extended parameterized diamond principles: Generalized the techniques of Moore-Hrušák-Džamonja to the class of Borel homogeneous Boolean algebras, proving that the corresponding diamond principle implies u(Cω) = ℵ₁.

Methodology Details

Task Definition

The paper studies three related relational systems:

1. Almost refinement relation: Part*(B) = ⟨Part(B), ≤*, Part(B)⟩
2. Reaping relation: R(B) = ⟨B, R, B⁺⟩
3. Combinatorics of dense sets: D(<ω2) = ⟨nwd(<ω2), ⊥*, Dense(<ω2)⟩

Core Definitions and Constructions

Almost Refinement Relation

For maximal antichains A, B in a c.c.c. Boolean algebra B, define B almost refines A (denoted A ≤* B) if and only if there exists a finite subset F ⊆ A such that A^F ≤ B, where A^F = (A \ F) ∪ {⋁F}.

Generalized Galois-Tukey Connection

The key technical tool is the generalized Galois-Tukey connection, consisting of a pair of functions (φ⁻, φ⁺) satisfying: ⟨φ⁻(a), b⟩ ∈ B ⟹ ⟨a, φ⁺(b)⟩ ∈ A

Sequential Composition Operation

Define the sequential composition A ; B of relational systems, where:

• Left side: A⁻ × A⁺^B⁻
• Right side: A⁺ × B⁺
• Relation: ⟨⟨x,f⟩, ⟨a,b⟩⟩ ∈ S ⟺ ⟨x,a⟩ ∈ A and ⟨f(a),b⟩ ∈ B

Technical Innovations

1. Unified Framework: Through relational systems and Galois-Tukey connections, established a unified framework connecting seemingly disparate combinatorial problems.
2. Reduced Power Technique: Innovatively utilized the reduced power ωB/Fin of Boolean algebras to study properties of the original algebra B.
3. Topological Encoding: Cleverly exploited the topological structure on <ω2 to encode elements and operations of the Cohen algebra.
4. Generalization of Parameterized Diamond Principles: Extended the classical parameterized diamond principle from P(ω)/fin to more general Borel homogeneous Boolean algebras.

Main Theorems and Results

Basic Property Theorems

Theorem 3.7: For a c.c.c. Boolean algebra B:

1. d(Part*(B)) > ℵ₀ ⟺ B is non-atomic
2. b(Part*(B)) > ℵ₀ ⟺ B is weakly ⟨ω,ω⟩-distributive

Theorem 3.8: For c.c.c. Boolean algebra B: ⟨B⁺,≥,B⁺⟩^σ ≤T Part*(B) ≤T Part(B)

Characterization of the Cohen Algebra

Theorem 3.14: ⟨nwd(ω2),⊆,nwd(ω2)⟩ ≡T Part*(Cω) ≡T Part(Cω)

This equivalence establishes a connection between the almost refinement relation on maximal antichains of the Cohen algebra and the inclusion relation on nowhere dense sets in Cantor space.

Reaping Relations of Reduced Powers

Theorem 4.4: For c.c.c. Boolean algebra B: R(ωB/Fin) ≤T Part*(B) ; R(P(ω)/fin)

Theorem 4.8: D(<ω2) ≤T R(ωCω/Fin) ≤T D(<ω2) ; R(P(ω)/fin)

Ultrafilter Number Results

Corollary 5.7:

1. cof(M) ≤ u(Cω)
2. R(ωCω/Fin) is a Borel relational system, and ♢(R(ωCω/Fin)) implies u(Cω) = ℵ₁

Technical Details

Borel Homogeneity

Definition 5.4: A Boolean algebra B is Borel homogeneous if:

• B is a Borel Boolean algebra
• The meet operation ∧: B × B → B is a Borel function
• For each b ∈ B⁺, the relative algebra B ↾ b is Borel isomorphic to B

Proposition 5.6: The Cohen algebra is Borel homogeneous.

Key Constructions

In the proof of Theorem 4.8, the authors construct complex functions φ⁻ and φ⁺:

• φ⁻ maps elements in nwd(<ω2) to ωCω/Fin
• φ⁺ maps positive elements of ωCω/Fin to divergent sequences

These constructions exploit the linear order structure of <ω2 and the topological properties of the Cohen algebra.

Related Work

1. Matet's Original Work: This paper generalizes Matet's almost refinement relation defined on partitions.
2. Burke's Results: Burke proved cof(N) ≤ u(Bω); the present cof(M) ≤ u(Cω) is parallel to this.
3. Moore-Hrušák-Džamonja's Parameterized Diamond Principles: This paper extends their techniques to a broader class of Boolean algebras.
4. Fremlin's Galois-Tukey Theory: The paper extensively uses the equivalences between relational systems established by Fremlin.

Conclusions and Discussion

Main Conclusions

1. Established deep connections between almost refinement relations on maximal antichains of the Cohen algebra and meager ideals
2. Completely determined the reaping and splitting numbers of the Cohen algebra's reduced power
3. Provided new lower bounds and consistency results for the ultrafilter number of the Cohen algebra

Limitations

1. The Borel homogeneity condition is restrictive, limiting the applicability of results
2. The consistency of parameterized diamond principles requires further investigation
3. Similar results for other important c.c.c. forcing notions (such as the random algebra) remain incomplete

Future Directions

1. Problem 3.16: Is cof(N) = d(Part*(Bω))?
2. Investigate almost refinement relations for other c.c.c. forcing notions
3. Explore applications of parameterized diamond principles to other cardinal invariants

In-Depth Evaluation

Strengths

1. Theoretical Depth: Established profound connections between seemingly unrelated areas
2. Technical Innovation: Skillfully combined topological, algebraic, and combinatorial methods
3. Result Completeness: Provided complete characterization of reaping relations for the Cohen algebra's reduced power
4. Clear Exposition: Well-structured paper with sufficient technical detail

Weaknesses

1. Limited Application Scope: Main results concentrate on the Cohen algebra; generalizations to other forcing notions are insufficient
2. Computational Complexity: Some constructions are overly complex and may admit simplification
3. Open Problems: Several important open problems remain unresolved

Impact

1. Theoretical Contribution: Provided new methods and perspectives for cardinal invariant theory
2. Technical Value: The generalized parameterized diamond principle technique has broad applicability
3. Foundation for Future Research: Laid groundwork for further investigation in related areas

Applicable Scenarios

The methods and results of this paper are primarily applicable to:

1. Research on cardinal invariants
2. Development of forcing theory
3. Study of combinatorial properties of Boolean algebras
4. Applications in infinite combinatorics

References

The paper cites 22 important references covering classical and cutting-edge work in relational system theory, cardinal invariants, Boolean algebra theory, and other directions, reflecting the breadth and depth of the research.