Related papers: Cosheaves

For every ring R, we present a pair of model structures on the category of pro-spaces. In the first, the weak equivalences are detected by cohomology with coefficients in R. In the second, the weak equivalences are detected by cohomology…

The commutative and homological algebra of modules over posets is developed, as closely parallel as possible to the algebra of finitely generated modules over noetherian commutative rings, in the direction of finite presentations, primary…

We aim to reconstruct a monoid scheme $X$ from the category of quasi-coherent sheaves over it. This is much in the vein of Gabriel's original reconstruction theorem. Under some finiteness condition on a monoid schemes $X$, we show that the…

We introduce and compare two approaches to equivariant homotopy theory in a topological or ordinary Quillen model category. For the topological model category of spaces, we generalize Piacenza's result that the categories of topological…

We compare three different ways of defining group cohomology with coefficients in a crossed-module: 1) explicit approach via cocycles; 2) geometric approach via gerbes; 3) group theoretic approach via butterflies. We discuss the case where…

Motivated by two norm equations used to characterize the Friedrichs angle, this paper studies $C^*$-isomorphisms associated with two projections by introducing the matched triple and the semi-harmonious pair of projections. A triple…

We develop the categorical algebra of the noncommutative base change of a comodule category by means of a Grothendieck category $\mathfrak S$. We describe when the resulting category of comodules is locally finitely generated, locally…

We introduce a notion of a filtered model structure and use this notion to produce various model structures on pro-categories. This framework generalizes several known examples. We give several examples, including a homotopy theory for…

We prove a sheaf-theoretic derived-category generalization of Greenlees-May duality (a far-reaching generalization of Grothendieck's local duality theorem): for a quasi-compact separated scheme X and a "proregular" subscheme Z---for…

We model problems as presheaves that assign sets of certificates to input instances, and we show how to use presheaf \v{C}ech cohomology to capture the precise ways in which local solutions fail to patch into global ones. Applied to…

Let $F$ and $k$ be perfect fields. The main goal of this paper is to investigate algebraic models for the Morel-Voevodsky unstable motivic homotopy category $\mathrm{Ho}(F)$ after $\mathbf{H}^{\mathbb{A}^1}k$ localization. More…

We construct a co-$t$-structure on the derived category of coherent sheaves on the nilpotent cone $\mathcal{N}$ of a reductive group, as well as on the derived category of coherent sheaves on any parabolic Springer resolution. These…

In this article we give a characterisation of the Baum-Connes assembly map with coefficients. The technical tools needed are the K-theory of C*-categories, and equivariant KK-theory in the world of groupoids.

We explicitly calculate a projective bimodule resolution for a special biserial algebra giving rise to the Hecke algebra H_q(S_4) when q=-1. We then determine the dimensions of the Hochschild cohomology groups.

We show that for quasi-compact quasi-separated schemes of finite dimension, the constructibility condition in real \'etale cohomology agrees with a notion of constructibility arising naturally from topology. As application we prove that the…

We present a closed model structure for the category of pro-spectra in which the weak equivalences are detected by stable homotopy pro-groups. With some bounded-below assumptions, weak equivalences are also detected by cohomology as in the…

We investigate the homology of cosheaves over finite simplicial complexes. After constructing the Mayer-Vietoris short exact sequence for this homology theory, we apply discrete Morse theory to this setting, defining the associated Morse…

Algebras defined over fields of characteristic zero and positive characteristic usually do not behave the same way. However, for certain algebras, for example the group algebras, they behave the same way as the characteristic zero case at…

The unstraightening construction due to Lurie establishes an equivalence between presheaves and fibrations, using one prominent model of $(\infty,1)$-categories, namely quasi-categories. In this work we generalize this result by proving…

We study the relationship between presheaf constructions and free cocompletions in the context of formal category theory, elucidating the coincidence between the two concepts in familiar settings. We show that, in a virtual equipment…