Results 1  10
of
120
Algebras and Modules in Monoidal Model Categories
 Proc. London Math. Soc
, 1998
"... In recent years the theory of structured ring spectra (formerly known as A #  and E # ring spectra) has been signicantly simplified by the discovery of categories of spectra with strictly associative and commutative smash products. Now a ring spectrum can simply be dened as a monoid with respect t ..."
Abstract

Cited by 143 (27 self)
 Add to MetaCart
In recent years the theory of structured ring spectra (formerly known as A #  and E # ring spectra) has been signicantly simplified by the discovery of categories of spectra with strictly associative and commutative smash products. Now a ring spectrum can simply be dened as a monoid with respect to the smash product in one of these new categories of spectra. In order to make use of all of the standard tools from homotopy theory, it is important to have a Quillen model category structure [##] available here. In this paper we provide a general method for lifting model structures to categories of rings, algebras, and modules. This includes, but is not limited to, each of the new theories of ring spectra. One model for structured ring spectra is given by the Salgebras of [##]. This example has the special feature that every object is brant, which makes it easier to fo...
Stable model categories are categories of modules
 TOPOLOGY
, 2003
"... A stable model category is a setting for homotopy theory where the suspension functor is invertible. The prototypical examples are the category of spectra in the sense of stable homotopy theory and the category of unbounded chain complexes of modules over a ring. In this paper we develop methods for ..."
Abstract

Cited by 78 (16 self)
 Add to MetaCart
A stable model category is a setting for homotopy theory where the suspension functor is invertible. The prototypical examples are the category of spectra in the sense of stable homotopy theory and the category of unbounded chain complexes of modules over a ring. In this paper we develop methods for deciding when two stable model categories represent ‘the same homotopy theory’. We show that stable model categories with a single compact generator are equivalent to modules over a ring spectrum. More generally stable model categories with a set of generators are characterized as modules over a ‘ring spectrum with several objects’, i.e., as spectrum valued diagram categories. We also prove a Morita theorem which shows how equivalences between module categories over ring spectra can be realized by smashing with a pair of bimodules. Finally, we characterize stable model categories which represent the derived category of a ring. This is a slight generalization of Rickard’s work on derived equivalent rings. We also include a proof of the model category equivalence of modules over the EilenbergMac Lane spectrum HR and (unbounded) chain complexes of Rmodules for a ring R.
THE SPECTRAL SEQUENCE RELATING ALGEBRAIC KTHEORY TO MOTIVIC COHOMOLOGY
"... The purpose of this paper is to establish in Theorem 13.13 a spectral sequence from the motivic cohomology of a smooth variety X over a field F to the algebraic Ktheory of X: E p,q 2 = Hp−q (X, Z(−q)) = CH −q (X, −p − q) ⇒ K−p−q(X). (13.13.1) Such a spectral sequence was conjectured by A. Beilins ..."
Abstract

Cited by 44 (5 self)
 Add to MetaCart
The purpose of this paper is to establish in Theorem 13.13 a spectral sequence from the motivic cohomology of a smooth variety X over a field F to the algebraic Ktheory of X: E p,q 2 = Hp−q (X, Z(−q)) = CH −q (X, −p − q) ⇒ K−p−q(X). (13.13.1) Such a spectral sequence was conjectured by A. Beilinson [Be] as a natural analogue of the AtiyahHirzebruch spectral sequence from the singular cohomology to the topological Ktheory of a topological space. The expectation of such a spectral sequence has provided much of the impetus for the development of motivic cohomology (e.g., [B1], [V2]) and should facilitate many computations in algebraic Ktheory. In the special case in which X equals SpecF, this spectral sequence was established by S. Bloch and S. Lichtenbaum [BL]. Our construction depends crucially upon the main result of [BL], the existence of an exact couple relating the motivic cohomology of the field F to the multirelative Ktheory of coherent sheaves on standard simplices over F (recalled as Theorem 5.5 below). A major step in generalizing the work of Bloch and Lichtenbaum is our reinterpretation of their spectral sequence in terms of the “topological filtration ” on the Ktheory of the standard cosimplicial scheme ∆ • over F. We find that the spectral sequence arises from a tower of Ωprespectra K( ∆ • ) = K 0 ( ∆ • ) ← − K 1 ( ∆ • ) ← − K 2 ( ∆ • ) ← − · · · Thus, even in the special case in which X equals SpecF, we obtain a much clearer understanding of the BlochLichtenbaum spectral sequence which is essential for purposes of generalization. Following this reinterpretation, we proceed using techniques introduced by V. Voevodsky in his study of motivic cohomology. In order to do this, we provide an equivalent formulation of Ktheory spectra associated to coherent sheaves on X with conditions on their supports K q ( ∆ • × X) which is functorial in X. We then Partially supported by the N.S.F. and the N.S.A.
The Verlinde algebra is twisted equivariant Ktheory
"... Ktheory in various forms has recently received much attention in 10dimensional superstring theory. Our raised consciousness about twisted Ktheory led to the serendipitous discovery that it enters in a different way into 3dimensional topological field theories, in particular ChernSimons theory. ..."
Abstract

Cited by 43 (4 self)
 Add to MetaCart
Ktheory in various forms has recently received much attention in 10dimensional superstring theory. Our raised consciousness about twisted Ktheory led to the serendipitous discovery that it enters in a different way into 3dimensional topological field theories, in particular ChernSimons theory. Namely, as the title of the paper reports, the Verlinde algebra is a certain twisted Ktheory group. This assertion, and its proof, is joint work with Michael Hopkins and Constantin Teleman. The general theorem and proof will be presented elsewhere [FHT]; our goal here is to explain some background, demonstrate the theorem in a simple nontrivial case, and motivate it through the connection with topological field theory. From a mathematical point of view the Verlinde algebra is defined in the theory of loop groups. Let G be a compact Lie group. There is a version of the theorem for any compact group G, but here for the most part we focus on connected, simply connected, and simple groups—G = SU2 is the simplest example. In this case a central extension of the free loop group LG is determined by the level, which is a positive integer k. There is a finite set of equivalence classes of positive energy representations of this central extension; let Vk(G) denote the free abelian group they generate. One of the influences of 2dimensional conformal field theory on the theory of loop groups is the construction of an algebra structure on Vk(G), the fusion product. This is the Verlinde algebra [V]. Let G act on itself by conjugation. Then with our assumptions the equivariant cohomology group H3 G (G) is free of rank one. Let h(G) be the dual Coxeter number of G, and define ζ(k) ∈ H3 G (G) to be k + h(G) times a generator. We will see that elements of H3 may be used to twist Ktheory, and so elements of equivariant H 3 twist equivariant Ktheory. Theorem (FreedHopkinsTeleman). There is an isomorphism of algebras
Three models for the homotopy theory of homotopy theories
, 2005
"... its simplicial localization yields a “homotopy theory of homotopy theories. ” In this paper we show that there are two different categories of diagrams of simplicial sets, each equipped with an appropriate definition of weak equivalence, such that the resulting homotopy theories are each equivalent ..."
Abstract

Cited by 43 (8 self)
 Add to MetaCart
its simplicial localization yields a “homotopy theory of homotopy theories. ” In this paper we show that there are two different categories of diagrams of simplicial sets, each equipped with an appropriate definition of weak equivalence, such that the resulting homotopy theories are each equivalent to the homotopy theory arising from the model category structure on simplicial categories. Thus, any of these three categories with their respective weak equivalences could be considered a model for the homotopy theory of homotopy theories. One of them in particular, Rezk’s complete Segal space model category structure on the category of simplicial spaces, is much more convenient from the perspective of making calculations and therefore obtaining information about a given homotopy theory. 1.
The homotopy theory of fusion systems
"... The main goal of this paper is to identify and study a certain class of spaces which in many ways behave like pcompleted classifying spaces of finite groups. These spaces occur as the “classifying spaces ” of certain algebraic objects, which we call plocal finite groups. A plocal finite group con ..."
Abstract

Cited by 35 (10 self)
 Add to MetaCart
The main goal of this paper is to identify and study a certain class of spaces which in many ways behave like pcompleted classifying spaces of finite groups. These spaces occur as the “classifying spaces ” of certain algebraic objects, which we call plocal finite groups. A plocal finite group consists, roughly speaking, of a finite pgroup S and fusion data on subgroups of S, encoded in a way explained below. Our starting point is our earlier paper [BLO] on pcompleted classifying spaces of finite groups, together with the axiomatic treatment by Lluís Puig [Pu], [Pu2] of systems of fusion among subgroups of a given pgroup. The pcompletion of a space X is a space X ∧ p which isolates the properties of X at the prime p, and more precisely the properties which determine its mod p cohomology. For example, a map of spaces X f −− → Y induces a homotopy equivalence
Twovector bundles and forms of elliptic cohomology
 in Topology, Geometry and Quantum Field Theory, LMS Lecture note series 308
, 2004
"... The work to be presented in this paper has been inspired by several of Professor Graeme Segal’s papers. Our search for a geometrically defined elliptic cohomology theory with associated elliptic objects obviously stems from his Bourbaki seminar [Se88]. Our readiness to form group completions of symm ..."
Abstract

Cited by 32 (4 self)
 Add to MetaCart
The work to be presented in this paper has been inspired by several of Professor Graeme Segal’s papers. Our search for a geometrically defined elliptic cohomology theory with associated elliptic objects obviously stems from his Bourbaki seminar [Se88]. Our readiness to form group completions of symmetric monoidal categories