The Cohomology of the Ordinals I: Basic Theory and Consistency Results
From MaRDI portal
Publication:6313754
arXiv1902.02736MaRDI QIDQ6313754FDOQ6313754
Authors: Jeffrey Bergfalk, Chris Lambie-Hanson 
Publication date: 7 February 2019
Abstract: In this paper, the first in a projected two-part series, we describe an organizing framework for the study of infinitary combinatorics. This framework is v{C}ech cohomology. We show in particular that the v{C}ech cohomology groups of the ordinals articulate higher-dimensional generalizations of Todorcevic's walks and coherent sequences techniques, and begin to account for those techniques' `unreasonable effectiveness' on . This discussion occupies the first half of our paper and is written with a general mathematical audience in mind. We turn in the paper's second half to more properly set-theoretic considerations. We describe a number of consistency results on the cohomology groups of the ordinals which certify their status as a graded family of incompactness principles. We show in particular that nontrivial cohomology groups on the ordinals are in some tension with large cardinals, and are maximally extant in G"{o}del's model . We describe forcings to add, then trivialize, nontrivial -cocycles, and conclude with some comparison of these principles with those benchmark incompactness phenomena, the existence of square sequences and failures of stationary reflection.
Consistency and independence results (03E35) Ordinal and cardinal numbers (03E10) Ordered sets and their cofinalities; pcf theory (03E04) Presheaves and sheaves in general topology (54B40) ?ech types (55N05)
This page was built for publication: The Cohomology of the Ordinals I: Basic Theory and Consistency Results
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6313754)
