A descent principle for compactly supported extensions of functors

DOI10.2140/AKT.2023.8.489MaRDI QIDQ6046969zbMATH OpenOpenAlexFDO

Authors Josefien Kuijper

Publication date 6 September 2023

Published in Annals of \(K\)-Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2204.08968

zbMATH Keywords

varietiescohomology with compact supportproper cdh descent

Mathematics Subject Classification ID

Motivic cohomology; motivic homotopy theory (14F42) Grothendieck topologies and Grothendieck topoi (18F10) Applied homological algebra and category theory in algebraic topology (55U99)

Abstract: A characteristic property of compact support cohomology is the long exact sequence that connects the compact support cohomology groups of a space, an open subspace and its complement. Given an arbitrary cohomology theory of algebraic varieties, one can ask whether a compact support version exists, satisfying such a long exact sequence. This is the case whenever the cohomology theory satisfies descent for abstract blowups (also known as proper cdh descent). We make this precise by proving an equivalence between certain categories of hypersheaves. We show how several classical and non-trivial results, such as the existence of a unique weight filtration on compact support cohomology, can be derived from this theorem.

Recommendations

• An extension criterion for functors defined on smooth schemes
• Pro cdh-descent for cyclic homology and \(K\)-theory
• Descent theory for derived categories
• Homotopy theory of smooth compactifications of algebraic varieties
• Descent properties of homotopy \(K\)-theory

Cites work

• scientific article; zbMATH DE number 29051 (Why is no real title available?)
• scientific article; zbMATH DE number 3317599 (Why is no real title available?)
• Affine representability results in \(\mathbb{A}^1\)-homotopy theory. I: Vector bundles.
• Algebraic \(K\)-theory and cubical descent
• An extension criterion for functors defined on smooth schemes
• Descent properties of homotopy \(K\)-theory
• Descent, motives and K-theory.
• Differential graded motives: weight complex, weight filtrations and spectral sequences for realizations; Voevodsky versus Hanamura
• Enhancing the filtered derived category
• Higher Topos Theory (AM-170)
• Homotopy theory of simplicial sheaves in completely decomposable topologies
• Hypercovers and simplicial presheaves
• Riemann-Roch for homotopy invariant K-theory and Gysin morphisms
• Sheaves in geometry and logic: a first introduction to topos theory
• The \(K\)-groups of a blow-up scheme and an excess intersection formula
• The K-theory of assemblers
• The \(K\)-theory spectrum of varieties
• The universal Euler characteristic for varieties of characteristic zero
• Théorie de Hodge. III
• Unstable motivic homotopy categories in Nisnevich and cdh-topologies

Cited in

(1)

• The weight filtration for real algebraic varieties. II: Classical homology

This page was built for publication: A descent principle for compactly supported extensions of functors

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