32 research outputs found
A general framework for homotopic descent and codescent
In this paper we elaborate a general homotopy-theoretic framework in which to
study problems of descent and completion and of their duals, codescent and
cocompletion. Our approach to homotopic (co)descent and to derived
(co)completion can be viewed as -category-theoretic, as our framework
is constructed in the universe of simplicially enriched categories, which are a
model for -categories.
We provide general criteria, reminiscent of Mandell's theorem on
-algebra models of -complete spaces, under which homotopic
(co)descent is satisfied. Furthermore, we construct general descent and
codescent spectral sequences, which we interpret in terms of derived
(co)completion and homotopic (co)descent.
We show that a number of very well-known spectral sequences, such as the
unstable and stable Adams spectral sequences, the Adams-Novikov spectral
sequence and the descent spectral sequence of a map, are examples of general
(co)descent spectral sequences. There is also a close relationship between the
Lichtenbaum-Quillen conjecture and homotopic descent along the
Dwyer-Friedlander map from algebraic K-theory to \'etale K-theory. Moreover,
there are intriguing analogies between derived cocompletion (respectively,
completion) and homotopy left (respectively, right) Kan extensions and their
associated assembly (respectively, coassembly) maps.Comment: Discussion of completeness has been refined; statement of the theorem
on assembly has been corrected; numerous small additions and minor
correction
The T-algebra spectral sequence: Comparisons and applications
In previous work with Niles Johnson the author constructed a spectral
sequence for computing homotopy groups of spaces of maps between structured
objects such as G-spaces and E_n-ring spectra. In this paper we study special
cases of this spectral sequence in detail. Under certain assumptions, we show
that the Goerss-Hopkins spectral sequence and the T-algebra spectral sequence
agree. Under further assumptions, we can apply a variation of an argument due
to Jennifer French and show that these spectral sequences agree with the
unstable Adams spectral sequence.
From these equivalences we obtain information about filtration and
differentials. Using these equivalences we construct the homological and
cohomological Bockstein spectral sequences topologically. We apply these
spectral sequences to show that Hirzebruch genera can be lifted to
E_\infty-ring maps and that the forgetful functor from E_\infty-algebras in
H\overline{F}_p-modules to H_\infty-algebras is neither full nor faithful.Comment: Minor revisions and more than a few typo corrections. To appear in
Algebraic and Geometric Topolog
Frames and Topological Algebras for a Double-Power Monad
We study the algebras for the double power monad on the Sierpinski space in the Cartesian closed category of equilogical spaces and produce a connection of the algebras with frames. The results hint at a possible synthetic, constructive approach to frames via algebras, in line with that considered in Abstract Stone Duality by Paul Taylor and others
General Comodule-Contramodule Correspondence
This paper is a fundamental study of comodules and contramodules over a
comonoid in a closed monoidal category. We study both algebraic and homotopical
aspects of them. Algebraically, we enrich the comodule and contramodule
categories over the original category, construct enriched functors between them
and enriched adjunctions between the functors. Homotopically, for simplicial
sets and topological spaces, we investigate the categories of comodules and
contramodules and the relations between them.Comment: Version 2: major revision to make the paper easier to rea
Constructing derived moduli stacks
We introduce frameworks for constructing global derived moduli stacks
associated to a broad range of problems, bridging the gap between the concrete
and abstract conceptions of derived moduli. Our three approaches are via
differential graded Lie algebras, via cosimplicial groups, and via
quasi-comonoids, each more general than the last. Explicit examples of derived
moduli problems addressed here are finite schemes, polarised projective
schemes, torsors, coherent sheaves, and finite group schemes.Comment: 53 pages; v2 final version, to appear in Geometry & Topolog