Non-vanishing higher derived limits

DOI10.1142/S0219199723500311MaRDI QIDQ6372306zbMATH OpenOpenAlexFDO

Authors Boban Velickovic, Alessandro Vignati

Publication date 8 July 2021

Full work available at URL https://doi.org/10.1142/s0219199723500311

Mathematics Subject Classification ID

Consistency and independence results (03E35) Applications of set theory (03E75) Homological dimension (category-theoretic aspects) (18G20) Homology and cohomology theories in algebraic topology (55Nxx)

Abstract: In the study of strong homology Mardev{s}i'c and Prasolov isolated a certain inverse system of abelian groups $mathbfA$ indexed by elements of $omeg{a}^{o}mega$. They showed that if strong homology is additive on a class of spaces containing closed subsets of Euclidean spaces then the higher derived limits $li{m}^{n}mathbfA$ must vanish, for $n>0$. They also proved that under the Continuum Hypothesis $li{m}^{1}mathbfAeq0$. The question whether $li{m}^{n}mathbfA$ vanishes, for $n>0$, has attracted considerable interest from set theorists. Dow, Simon and Vaughan showed that under PFA $li{m}^{1}mathbfA=0$. Bergfalk show that it is consistent that $li{m}^{2}mathbfA$ does not vanish. Later Bergfalk and Lambie-Hanson showed that, modulo a weakly compact cardinal, it is relatively consistent with ZFC that $li{m}^{n}mathbfA=0$, for all $n$. The large cardinal assumption was recently removed by Bergfalk, Hruv{s}ak and Lambie-Henson. We complete the picture by showing that, for any $n>0$, it is relatively consistent with ZFC that $li{m}^{n}mathbfAeq0$.

Cited in

(3)

• All you need is \(\mathbf{A}_{\kappa}\)
• Infinitary combinatorics in condensed mathematics and strong homology
• Simultaneously nonvanishing higher derived limits

This page was built for publication: Non-vanishing higher derived limits

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6372306)