Papers
Topics
Authors
Recent
Gemini 2.5 Flash
Gemini 2.5 Flash
157 tokens/sec
GPT-4o
8 tokens/sec
Gemini 2.5 Pro Pro
46 tokens/sec
o3 Pro
4 tokens/sec
GPT-4.1 Pro
38 tokens/sec
DeepSeek R1 via Azure Pro
28 tokens/sec
2000 character limit reached

Derived bi-duality via homotopy limit (1210.5582v1)

Published 20 Oct 2012 in math.RA, math.CT, and math.RT

Abstract: We show that a derived bi-duality dg-module is quasi-isomorphic to the homotopy limit of a certain tautological functor. This is a simple observation, which seems to be true in wider context. From the view point of derived Gabriel topology, this is a derived version of results of J. Lambek about localization and completion of ordinary rings. However the important point is that we can obtain a simple formula for the bi-duality modules only when we come to the derived world from the abelian world. We give applications. 1. we give a generalization and an intuitive proof of Efimov-Dwyer-Greenlees-Iyenger Theorem which asserts that the completion of commutative ring satisfying some conditions is obtained as a derived bi-commutator. (We can also prove Koszul duality for dg-algebras with Adams grading satisfying mild conditions.) 2. We prove that every smashing localization of dg-category is obtained as a derived bi-commutator of some pure injective module. This is a derived version of the classical results in localization theory of ordinary rings. These applications shows that our formula together with the viewpoint that a derived bi-commutator is a completion in some sense, provide us a fundamental understanding of a derived bi-duality module.

Summary

We haven't generated a summary for this paper yet.