Pub Date : 2026-01-01Epub Date: 2025-11-04DOI: 10.1007/s00153-025-00996-z
Matteo Casarosa
The derived functors 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 of abelian groups indexed over . So far, consistency results for nonvanishing derived limits of have always assumed the existence of a scale (i.e. a linear cofinal subset of , or equivalently that ). Here we eliminate that assumption and prove that nonvanishing derived limits, and hence the non-additivity of strong homology, are consistent with any value of , thus giving a partial answer to a question of Bannister.
{"title":"Nonvanishing derived limits without scales.","authors":"Matteo Casarosa","doi":"10.1007/s00153-025-00996-z","DOIUrl":"https://doi.org/10.1007/s00153-025-00996-z","url":null,"abstract":"<p><p>The derived functors <math><msup><mo>lim</mo> <mi>n</mi></msup> </math> 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 <math><mi>A</mi></math> of abelian groups indexed over <math> <mrow><mmultiscripts><mrow></mrow> <mrow></mrow> <mi>ω</mi></mmultiscripts> <mi>ω</mi></mrow> </math> . So far, consistency results for nonvanishing derived limits of <math><mi>A</mi></math> have always assumed the existence of a scale (i.e. a linear cofinal subset of <math><mrow><mo>(</mo> <mmultiscripts><mrow></mrow> <mrow></mrow> <mi>ω</mi></mmultiscripts> <mi>ω</mi> <mo>,</mo> <msup><mo>≤</mo> <mo>∗</mo></msup> <mo>)</mo></mrow> </math> , or equivalently that <math><mrow><mi>b</mi> <mo>=</mo> <mi>d</mi></mrow> </math> ). Here we eliminate that assumption and prove that nonvanishing derived limits, and hence the non-additivity of strong homology, are consistent with any value of <math> <mrow><msub><mi>ℵ</mi> <mn>1</mn></msub> <mo>≤</mo> <mi>b</mi> <mo>≤</mo> <mi>d</mi> <mo><</mo> <msub><mi>ℵ</mi> <mi>ω</mi></msub> </mrow> </math> , thus giving a partial answer to a question of Bannister.</p>","PeriodicalId":8350,"journal":{"name":"Archive for Mathematical Logic","volume":"65 2","pages":"177-191"},"PeriodicalIF":0.4,"publicationDate":"2026-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC12881080/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"146140904","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
扫码关注我们
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号