Pith. sign in

Nonvanishing derived limits without scales

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it
abstract

The derived functors $\lim^n$ of the inverse limit are widely studied for their topological applications, among which are some repercussions on the additivity of strong homology. Set theory has proven useful in dealing with these functors, for instance in the case of the inverse system $\mathbf{A}$ of abelian groups indexed by ${}^\omega \omega$. So far, consistency results for nonvanishing derived limits of $\mathbf{A}$ have always assumed the existence of a scale (i.e. a linear cofinal subset of $({}^\omega \omega, \leq^\ast )$, or equivalently that $\mathfrak{b} = \mathfrak{d} $). Here we do away with that assumption and prove that nonvanishing derived limits, and hence the non-additivity of strong homology, are consistent with any value of $\aleph_1 \leq \mathfrak{b} \leq \mathfrak{d} < \aleph_\omega$, thus giving a partial answer to a question of Bannister.

fields

math.LO 1

years

2025 1

verdicts

UNVERDICTED 1

representative citing papers

Higher limits of wider systems

math.LO · 2025-07-07 · unverdicted · novelty 8.0

Under GCH plus diamond principles, and in Gödel's constructible universe, the higher derived limits lim^n A_λ are nonzero for every cardinal λ where Goblot's vanishing theorem does not force them to zero.

citing papers explorer

Showing 1 of 1 citing paper.

  • Higher limits of wider systems math.LO · 2025-07-07 · unverdicted · none · ref 10 · internal anchor

    Under GCH plus diamond principles, and in Gödel's constructible universe, the higher derived limits lim^n A_λ are nonzero for every cardinal λ where Goblot's vanishing theorem does not force them to zero.