Related papers: Cosheaves

We show that a $KK$-equivalence between two unital $C^*$-algebras produces a correspondence between their DG categories of finitely generated projective modules which is a $\mathbf{K}_*$-equivalence, where $\mathbf{K}_*$ is Waldhausen's…

To a coarse structure we associate a Grothendieck topology which is determined by coarse covers. A coarse map between coarse spaces gives rise to a morphism of Grothendieck topologies. This way we define sheaves and sheaf cohomology on…

We first introduce global arithmetic cohomology groups for quasi-coherent sheaves on arithmetic varieties, adopting an adelic approach. Then, we establish fundamental properties, such as topological duality and inductive long exact…

We construct explicit tableau-level maps between indecomposable projective modules for the type A 0-Hecke algebra that assemble into canonical split short exact sequences lifting the basic ribbon product rule in NSym via concatenation and…

We introduce an integral version of the Hodge polynomial, which encodes the integral cohomology of smooth projective varieties. We prove it extends to a function which is well-defined on the Grothendieck ring of varieties and we obtain as a…

A rigidity property for the homotopy invariant stable linear framed presheaves is established. As a consequence a variant of Gabber rigidity theorem is obtained for a cohomology theory representable in the motivic stable homotopy category…

We associate a pro-C*-algebra to a pro-C*-correspondence and show that this construction generalizes the construction of crossed products by Hilbert pro-C*-bimodules and the construction of pro-C*-crossed products by strong bounded…

Let $X$ be a topologically stratified space, $p$ be any perversity on $X$, and $k$ be a field. We show that the category of $p$-perverse sheaves on $X$, constructible with respect to the stratification and with coefficients in $k$, is…

This thesis is comprised of three chapters. The first chapter deals with bounded complexes of Gorenstein projective and Gorenstein injective modules. Deploying methods of relative homological algebra, we approximate such complexes with…

We reformulate the construction of Kontsevich's completion and use Lawson homology to define many new motivic invariants. We show that the dimensions of subspaces generated by algebraic cycles of the cohomology groups of two $K$-equivalent…

Arithmetic duality theorems over a local field $k$ are delicate to prove if $\mathrm{char} k > 0$. In this case, the proofs often exploit topologies carried by the cohomology groups $H^n(k, G)$ for commutative finite type $k$-group schemes…

Beauville and Donagi proved in 1985 that the primitive middle cohomology of a smooth complex cubic fourfold and the primitive second cohomology of its variety of lines, a smooth hyperk\"ahler fourfold, are isomorphic as polarized integral…

Recently, Chach\'olski, Neeman, Pitsch, and Scherer studied, in a series of three papers, model approximations for the unbounded category of cochain complexes over a commutative ring. These approximations allow to construct relative…

Given a commutative ring $R$ and finitely generated ideal $I$, one can consider the classes of $I$-adically complete, $L_0^I$-complete and derived $I$-complete complexes. Under a mild assumption on the ideal $I$ called weak pro-regularity,…

A lot of good properties of etale cohomology only hold for torsion coefficients. We use "enlargement of categories" as developed in http://arxiv.org/abs/math.CT/0408177 to define a cohomology theory that inherits the important properties of…

In this paper the cosheaf homology is investigated from different viewpoints: the behavior under site morphisms, connections with Cech homology via spectral sequences, and description of cosheaf homology using hypercoverings. It is proved…

We develop some aspects of the homological algebra of persistence modules, in both the one-parameter and multi-parameter settings, considered as either sheaves or graded modules. The two theories are different. We consider the graded module…

We study a noncommutative version of the infinitesimal site of Grothendieck. A theorem of Grothendieck establishes that the cohomology of the structure sheaf on the infinitesimal topology of a scheme of characteristic zero is de Rham…

We introduce the notion of groupoidal (weak) test category, which is a small category A such that the groupoid-valued presheaves over A models homotopy types in a "canonical and nice" way. The definition does not require a priori that A is…

We construct a new cohomology theory for proper smooth (formal) schemes over the ring of integers of C_p. It takes values in a mixed-characteristic analogue of Dieudonne modules, which was previously defined by Fargues as a version of…