Local duality in algebra and topology

DOI10.1016/J.AIM.2018.07.017zbMATH Open1403.55008arXiv1511.03526OpenAlexW2121510182WikidataQ129558229 ScholiaQ129558229MaRDI QIDQ1669043FDOQ1669043

Authors: Tobias Barthel, Drew Heard, Gabriel Eduardo Valenzuela Vasquez 

Publication date: 29 August 2018

Published in: Advances in Mathematics (Search for Journal in Brave)

Abstract: The first goal of this paper is to provide an abstract framework in which to formulate and study local duality in various algebraic and topological contexts. For any stable $infty$-category $mathcalC$ together with a collection of compact objects $mathcalKsubsetmathcalC$ we construct local cohomology and local homology functors satisfying an abstract version of local duality. When specialized to the derived category of a commutative ring $A$ and a suitable ideal in $A$, we recover the classical local duality due to Grothendieck as well as generalizations by Greenlees and May. More generally, applying our result to the derived category of quasi-coherent sheaves on a quasi-compact and separated scheme $X$ implies the local duality theorem of Alonso Tarr'io, Jerem'ias L'opez, and Lipman. As a second objective, we establish local duality for quasi-coherent sheaves over many algebraic stacks, in particular those arising naturally in stable homotopy theory. After constructing an appropriate model of the derived category in terms of comodules over a Hopf algebroid, we show that, in familiar cases, the resulting local cohomology and local homology theories coincide with functors previously studied by Hovey and Strickland. Furthermore, our framework applies to global and local stable homotopy theory, in a way which is compatible with the algebraic avatars of these theories. In order to aid computability, we provide spectral sequences relating the algebraic and topological local duality contexts.

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

Recommendations

• Localization Algebras and Duality
• scientific article; zbMATH DE number 2066269
• scientific article; zbMATH DE number 2070132
• scientific article; zbMATH DE number 4048668
• Duality and local group cohomology
• Generalized local homology and duality
• Duality in algebra and topology
• scientific article; zbMATH DE number 2205457
• Localization theory in higher homological algebra
• scientific article; zbMATH DE number 3879051

zbMATH Keywords

local cohomologyinfinity categoriescomoduleschromatic homotopy theorylocal duality

Mathematics Subject Classification ID

Localization and completion in homotopy theory (55P60) Local cohomology and commutative rings (13D45) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Local cohomology and algebraic geometry (14B15) Duality in applied homological algebra and category theory (aspects of algebraic topology) (55U30)

Cites Work

• Title not available (Why is that?)
• \(\mathbb{A}^1\)-homotopy theory of schemes
• HZ -algebra spectra are differential graded algebras
• Title not available (Why is that?)
• Local homology and cohomology on schemes
• Axiomatic stable homotopy theory
• Title not available (Why is that?)
• Higher Topos Theory (AM-170)
• Title not available (Why is that?)
• \(\mathbb{A}^1\)-homotopy theory
• Stable model categories are categories of modules
• Deriving Auslander's formula
• Title not available (Why is that?)
• the stable derived category of a noetherian scheme
• Morava stabilizer algebras and the localization of Novikov's \(E_2\)-term
• Comodules and Landweber exact homology theories
• Categorical equivalences and realization theorems
• Title not available (Why is that?)
• Morava 𝐾-theories and localisation
• Title not available (Why is that?)
• Invertible Spectra in the E (n )-Local Stable Homotopy Category
• Foundations of Grothendieck Duality for Diagrams of Schemes
• Equivariant orthogonal spectra and 𝑆-modules
• Quasi-categories and Kan complexes
• Affine duality and cofiniteness
• Proregular sequences, local cohomology, and completion
• Motivic Landweber exactness
• Equivariant stable homotopy theory. With contributions by J. E. McClure
• Nilpotence and stable homotopy theory. I
• Invertible modules for commutative \(\mathbb S\)-algebras with residue fields
• Sheafifiable homotopy model categories
• Title not available (Why is that?)
• Equivariant resolution, linearization, and Hilbert's fourteenth problem over arbitrary base schemes
• Title not available (Why is that?)
• Complete modules and torsion modules
• Nilpotence and descent in equivariant stable homotopy theory
• Localization with Respect to Certain Periodic Homology Theories
• Nilpotence and Periodicity in Stable Homotopy Theory. (AM-128)
• \(K\)-theory and the bridge from motives to noncommutative motives
• Title not available (Why is that?)
• Nilpotence and stable homotopy theory. II
• Derived functors of \(I\)-adic completion and local homology
• On the homology of completion and torsion
• Algebraic Morava \(K\)-theories
• Morita theory for Hopf algebroids and presheaves of groupoids
• Duality in algebra and topology
• Complexes of injective \(kG\)-modules.
• Ind-abelian categories and quasi-coherent sheaves
• The stack of formal groups in stable homotopy theory
• Motivic cell structures
• The derived category of quasi-coherent sheaves and axiomatic stable homotopy
• Title not available (Why is that?)
• The multiplication on BP
• Chromatic phenomena in the algebra of \(BP_*BP\)-comodules
• Title not available (Why is that?)
• Motivic connective \(k\)-theories and the cohomology of \(A(1)\)
• Monoidality of Franke's exotic model
• Studies in Duality on Noetherian Formal Schemes and Non-Noetherian Ordinary Schemes
• Centralizers in good groups are good
• Associated prime ideals and Hopf algebras
• \(\nu_n\) telescopes and the Adams spectral sequence
• Local cohomology of ${BP_{*}BP}$-comodules
• Title not available (Why is that?)
• Secondary power operations and the Brown-Peterson spectrum at the prime \(2\)
• Local duality for structured ring spectra
• Title not available (Why is that?)

Cited In (25)

• Title not available (Why is that?)
• Torsion models for tensor-triangulated categories: the one-step case
• The \(v_1\)-periodic region in the cohomology of the \(\mathbb{C}\)-motivic Steenrod algebra
• Localization Algebras and Duality
• The homotopy theory of complete modules
• The \(Sp_{k,n}\)-local stable homotopy category
• Localization and duality in topology and modular representation theory.
• \(C_2\)-equivariant stable homotopy from real motivic stable homotopy
• A Note on Local Duality
• Derived completion for comodules
• Local duality for connected \(\mathbb{Z}\)-algebras
• Stratification and duality for homotopical groups
• The left localization principle, completions, and cofree \(G\)-spectra
• Separated and complete adelic models for one-dimensional Noetherian tensor-triangulated categories
• Local duality
• The homotopy limit problem and the cellular Picard group of Hermitian \(K\)-theory
• Completion and torsion over commutative DG rings
• Injective DG-modules over non-positive DG-rings
• The algebraic chromatic splitting conjecture for Noetherian ring spectra
• Monochromatic homotopy theory is asymptotically algebraic
• Duality and local group cohomology
• Localizing the \(E_2\) page of the Adams spectral sequence
• RATIONAL LOCAL SYSTEMS AND CONNECTED FINITE LOOP SPACES
• Applications of reduced and coreduced modules I
• Localization and duality of topological tensor-products

This page was built for publication: Local duality in algebra and topology

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