Simultaneously vanishing higher derived limits

Abstract

In 1988, Sibe Marde\v{s}i\'{c} and Andrei Prasolov isolated an inverse system $\mathbf{A}$ with the property that the additivity of strong homology on any class of spaces which includes the closed subsets of Euclidean space would entail that $\lim^n\mathbf{A}$ (the $n^{\text{th}}$ derived limit of $\mathbf{A}$) vanishes for every $n >0$. Since that time, the question of whether it is consistent with the $\mathsf{ZFC}$ axioms that $\lim^n \mathbf{A}=0$ for every $n >0$ has remained open. It remains possible as well that this condition in fact implies that strong homology is additive on the category of metric spaces. We show that, assuming the existence of a weakly compact cardinal, it is indeed consistent with the $\mathsf{ZFC}$ axioms that $\lim^n \mathbf{A}=0$ for all $n >0$. We show this via a finite support iteration of Hechler forcings which is of weakly compact length. More precisely, we show that in any forcing extension by this iteration a condition equivalent to $\lim^n\mathbf{A}=0$ will hold for each $n>0$. This condition is of interest in its own right; namely, it is the triviality of every coherent $n$-dimensional family of certain specified sorts of partial functions $\mathbb{N}^2\to\mathbb{Z}$ which are indexed in turn by $n$-tuples of functions $f:\mathbb{N}\to\mathbb{N}$. The triviality and coherence in question here generalize the well-studied case of $n=1$.