Related papers: Derived completions in stable homotopy theory
In the present paper, we discuss applications of the derived completion theorems proven in our previous two papers. One of the main applications is to Riemann-Roch problems for forms of higher equivariant K-theory, which we are able to…
In the mid 1980s, while working on establishing completion theorems for equivariant Algebraic K-Theory similar to the well-known completion theorems for equivariant topological K-theory, the late Robert Thomason found the strong finiteness…
In this paper we extend To\"en's derived Hall algebra construction, in which he obtains unital associative algebras from certain stable model categories, to one in which such algebras are obtained from more general stable homotopy theories,…
Algebraic K-theory is the stable homotopy theory of homotopy theories, and it interacts with algebraic structures accordingly. In particular, we prove the Deligne Conjecture for algebraic K-theory.
Let K be an algebraically bounded structure and T be its theory. If T is model complete, then the theory of K endowed with a derivation, denoted by $T^{\delta}$, has a model completion. Additionally, we prove that if the theory T is…
The notion of a derived A-infinity algebra, considered by Sagave, is a generalization of the classical notion of A-infinity algebra, relevant to the case where one works over a commutative ring rather than a field. We initiate a study of…
The objective of this paper is to introduce and study completions and local homology of comodules over Hopf algebroids, extending previous work of Greenlees and May in the discrete case. In particular, we relate module-theoretic to…
This paper concerns our earlier conjecture about the equivalence of a derived completion construction applied to the representation spectrum of the absolute Galois group of a geometric field is equivalent to the algebraic K-theory of the…
We compare different algebraic structures in twisted equivariant K-Theory for proper actions of discrete groups. After the construction of a module structure over untwisted equivariant K-Theory, we prove a completion Theorem of Atiyah-Segal…
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,…
We review some recent results on $K$-theory of perfection of commutative $\mF_p$-algebras and provide an alternative proof.
We use derived localization of the bar and nerve constructions to provide simple proofs of a number of results in algebraic topology. This includes a recent generalization of Adams' cobar-construction to the non-simply connected case, and a…
We develop the basic theory of derived quasi-coherent ideals for stacks relative to a given derived algebraic context. We compare different notions of adic completeness with respect to derived ideals, define and compare formal spectra and…
We develop a sheaf cohomology theory of algebraic varieties over an algebraically closed non-trivially valued non-archimedean field $K$ based on Hrushovski-Loeser's stable completion. In parallel, we develop a sheaf cohomology of definable…
Given an adjunction connecting reasonable categories with weak equivalences, we define a new derived bar and cobar construction associated to the adjunction. This yields homotopical models of the completion and cocompletion associated to…
To a homotopy algebra one may associate its deformation complex, which is naturally a differential graded Lie algebra. We show that infinity quasi-isomorphic homotopy algebras have L-infinity quasi-isomorphic deformation complexes by an…
In this paper, we study the counterpart of Grothendieck's projectivization construction in the context of derived algebraic geometry. Our main results are as follows: First, we define the derived projectivization of a connective complex,…
We develop a homotopy theory for additive categories endowed with endofunctors, analogous to the concept of a model structure. We use it to construct the homotopy theory of a Hovey triple (which consists of two compatible complete cotorsion…
We construct a derived variant of Emerton's eigenvarieties using the locally analytic representation theory of $p$-adic groups. The main innovations include comparison and exploitation of two homotopy equivalent completed complexes…
Bivariant (equivariant) K-theory is the standard setting for non-commutative topology. We may carry over various techniques from homotopy theory and homological algebra to this setting. Here we do this for some basic notions from…