Related papers: Nonvanishing derived limits without scales
The derived functors $\lim^n$ of the inverse limit find many applications in algebra and topology. In particular, the vanishing of certain derived limits $\lim^n \mathbf{A}[H]$, parametrized by an abelian group $H$, has implications for…
In the study of strong homology Marde\v{s}i\'c and Prasolov isolated a certain inverse system of abelian groups $\mathbf A$ indexed by elements of $\omega^\omega$. They showed that if strong homology is additive on a class of spaces…
We prove a common refinement of theorems of Bergfalk and of Casarosa and Lambie-Hanson, showing that under certain hypotheses, the higher derived limits of a certain inverse system of abelian groups $\mathbf{A}$ do not vanish. The refined…
We consider the question of the additivity of strong homology. This entails isolating the set-theoretic content of the higher derived limits of an inverse system indexed by the functions from $\mathbb{N}$ to $\mathbb{N}$. We show that this…
A question dating to Sibe Marde\v{s}i\'{c} and Andrei Prasolov's 1988 work Strong homology is not additive, and motivating a considerable amount of set theoretic work in the ensuing years, is that of whether it is consistent with the ZFC…
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…
The paper proposes and motivates a conjecture on the invariance of cohomological support loci under derived equivalence. It contains a proof in the case of surfaces, and explains further developments and consequences.
Write $\mathbf{A}_\lambda$ for what might be described as the most elementary nontrivial inverse system of abelian groups indexed by the functions from the cardinal $\lambda$ to the set of natural numbers. The question of whether for any…
Let $F\colon \mathcal{C} \to \mathcal{E}$ be a functor from a category $\mathcal{C}$ to a homological (Borceux-Bourn) or semi-abelian (Janelidze-M\'arki-Tholen) category $\mathcal{E}$. We investigate conditions under which the homology of…
We show that, in the model constructed by adding sufficiently many Cohen reals, derived limits are additive on a large class of systems. This generalizes the work of Jeffrey Bergfalk, Michael Hru\v s\'ak, and Chris Lambie-Hanson which…
Recently, the first two authors proved the Alon-Jaeger-Tarsi conjecture on non-vanishing linear maps, for large primes. We extend their ideas to address several other related conjectures. We prove the weak Additive Basis conjecture proposed…
We give sufficient conditions which ensure that a functor of finite length from an additive category to finite-dimensional vector spaces has a projective resolution whose terms are finitely generated. For polynomial functors, we study also…
From certain triangle functors, called non-negative functors, between the bounded derived categories of abelian categories with enough projective objects, we introduce their stable functors which are certain additive functors between the…
The notion of a duality between two derived functors as well as an extension theorem for derived functors to larger categories in which they need not be defined is introduced. These ideas are then applied to extend and study the coext…
In this article we establish two fundamental results for the sublevel set persistent homology for stationary processes indexed by the positive integers. The first is a strong law of large numbers for the persistence diagram (treated as a…
It is known that homology and inverse limit functors do not commute. In the paper we consider this very problem and find its application for various homology theories. In particular, on the category of general topological spaces, there are…
We survey the basics of homological algebra in exact categories in the sense of Quillen. All diagram lemmas are proved directly from the axioms, notably the five lemma, the 3 x 3-lemma and the snake lemma. We briefly discuss exact functors,…
This paper studies well-defindness and convergence of subdivision schemes which operate on Riemannian manifolds with nonpositive sectional curvature. These schemes are constructed from linear ones by replacing affine averages by the…
For a certain parametrized family of maps on the circle, with critical points and logarithmic singularities where derivatives blow up to infinity, a positive measure set of parameters was constructed in [19], corresponding to maps which…
Under the generic situation, the cohomology with the coefficients in the local system on complements of hypersurfaces vanishes except in the highest dimension. Our problem is of when the local system cohomology does not vanish. In the case…