Derived completion for comodules
The aim of this paper is to study the generalization of local homology and derived completion to comodules over a Hopf algebroid \((A, \Psi)\) with respect to an invariant ideal \(I \lhd A\). The discrete case \(\Psi =A\) corresponds to the usual setting of commutative algebra; working with comodules introduces new phenomena, for instance local homology can be non-zero in both negative and positive degrees. The authors commence by \(I\)-adic completion of comodules in the non-derived setting. The subtlety is that the inverse limit of a diagram of \(\Psi\)-comodules is not in general created in \(A\)-modules. Under their hypothesis that \((A, \Psi)\) is true-level, they give an explicit treatment of \(I\)-adic completion; this extends previous work of other authors. They then turn to derived completion and local homology. For this, the derived category of \(\Psi\)-comodules is not adequate; the solution (under the appropriate hypotheses), based upon their earlier work [\textit{T. Barthel} et al., Adv. Math. 335, 563--663 (2018; Zbl 1403.55008)], is to work with the monoidal stable \(\infty\)-category \(\mathrm{Stable}_\Psi\); this can be interpreted as passing from quasi-coherent to Ind-coherent sheaves. The \(I\)-torsion category \(\mathrm{Stable}^{I-\mathrm{tors}}_\Psi\) is then defined as the localizing tensor ideal of \(\mathrm{Stable}_\Psi\) generated by \(A/I\). They construct a local homology functor \(\Lambda^I\) for comodules and show that, in general, local homology cannot be calculated as the derived functors of completion. They give a criterion for a comodule to be \(\Lambda^I\)-local, which can be interpreted as a generalization of Bousfield and Kan's Ext \(p\)-completeness criterion. Finally they consider \(I\)-torsion objects in the derived category of comodules as well as complete objects. There are at least three candidate stable \(\infty\)-categories of torsion modules; the main result relates these under the appropriate hypotheses. In the discrete case they characterize \(I\)-completion at the derived level, leading to a tilting-theoretic version of local duality. This work is motivated by problems from stable homotopy theory, notably ongoing work on the algebraic chromatic splitting conjecture.
- \(I_n\)-local Johnson-Wilson spectra and their Hopf algebroids
- ALL MODULES HAVE FLAT COVERS
- Axiomatic stable homotopy theory
- Comodules and Landweber exact homology theories
- Complete modules and torsion modules
- Completed power operations for Morava \(E\)-theory
- Continuous étale cohomology
- Derived functors of \(I\)-adic completion and local homology
- Flat Covers and Flat Cotorsion Modules
- Higher Topos Theory (AM-170)
- Homotopy limits, completions and localizations
- scientific article; zbMATH DE number 3851256 (Why is no real title available?)
- scientific article; zbMATH DE number 3984103 (Why is no real title available?)
- scientific article; zbMATH DE number 1236965 (Why is no real title available?)
- scientific article; zbMATH DE number 595200 (Why is no real title available?)
- scientific article; zbMATH DE number 737035 (Why is no real title available?)
- scientific article; zbMATH DE number 2144711 (Why is no real title available?)
- Local cohomology of ${BP_{*}BP}$-comodules
- Local cohomology. An algebraic introduction with geometric applications
- Local duality in algebra and topology
- Localization and completion theorems for \(MU\)-module spectra
- Morava 𝐾-theories and localisation
- On the homology of completion and torsion
- Proregular sequences, local cohomology, and completion
- Synthetic spectra and the cellular motivic category
- the stable derived category of a noetherian scheme
- The stack of formal groups in stable homotopy theory
- Completion by derived double centralizer
- Monochromatic homotopy theory is asymptotically algebraic
- The homotopy theory of complete modules
- The left localization principle, completions, and cofree \(G\)-spectra
- Derived completions in stable homotopy theory
- Complete modules and torsion modules
- L-complete Hopf algebroids and their comodules
- scientific article; zbMATH DE number 937402 (Why is no real title available?)
- RATIONAL LOCAL SYSTEMS AND CONNECTED FINITE LOOP SPACES
- Applications of reduced and coreduced modules I
- Localizations and completions of stable -categories
- Graded comodule categories with enough projectives
- Algebraicity in monochromatic homotopy theory
- Morava K-theory and filtrations by powers
- Derived functors of product and limit in the category of comodules over the dual Steenrod algebra
This page was built for publication: Derived completion for comodules
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2297361)
