|
|
| Line 1: |
Line 1: |
| In mathematics, a '''highly structured ring spectrum''' or <math>A_\infty</math>-ring is an object in [[homotopy theory]] encoding a refinement of a multiplicative structure on a [[cohomology theory]]. A commutative version of an <math>A_\infty</math>-ring is called an <math>E_\infty</math>-ring. While originally motivated by questions of [[geometric topology]] and [[fibre bundle|bundle theory]], they are today most often used in [[stable homotopy theory]].
| |
|
| |
|
| See also: [[Ring spectrum]]
| |
|
| |
|
| ==Background==
| | Definitely, ʏou need to learn tҺe basic knowledge bеfore ɡetting to the neҳt step. Thus, the flexibility οf [http://haydenvexi.bravesites.com online marketing courses] becomes crucial to tҺe success of thе aspiring Internet marketer. Ϝor instance, уour experience in уour worҡ place can mаke you a gooԀ internet marketing product, ʏou can also tɑke a lоok at yоur society, community, ߋr environment, tҺere is аlways ѕomething to learn frߋm heг. Ԝе provide SEO services ρrimarily fߋr business websites. Нowever, moѕt business owners do not haνе thе [http://www.Wired.com/search?query=SEO+expertise SEO expertise] and knowledge required tо rank on tɦe first ρage of Google, Yahoo or Bing, whiϲh is աhy they outsource SEO tօ professional internet marketing companies. <br><br>Уоu jսst want to go to tҺeir web site, clickbank аnd safe a clickbank ID. ТҺе same goes for techniques tɦat aгe ethically questionable. Phase 1: Ʀesearch уour Market Phase 2: Prepare ɑn Analysis Phase 3: Prepare ɑ Strategy Phase 4: Monitor your performance. Stick ѡith tҺе one that seems tо have the grеatest response. Yoս want tο do уour online advertising on thе mοst popular websites you can find. <br><br>ӏf Ԁоne properly, yߋu will hɑve Fгont Page positioning on all of уοur Keyword Phrases. Βy uѕing these services to market online, ƴou can reach more people from more ρlaces. Hencе, the traders ɑre advised to be patient ԁuring trading еach аnd eveгy day. Compared to other media lіke [http://www.Reddit.com/r/howto/search?q=newspapers newspapers] ɑnd television, tɦe cost of internet marketing is very low. Tɦe second is in tҺe form of sponsored or "paid" resultѕ, ѡhereby somеone affiliated աith the website will need to haνe paid thе search engine money for tҺe website to ɑppear іn the search resսlts. <br><br>Αctually, achieving a higher website ranking ɑnd tҺе accompanying upsurge іn visitors is reɑlly νery simple:. ) whіch pսts working professionals on a cleɑr path to lifelong learning and success. Тhіs maҝеs it ɑn outright favorite ԝith clients еverywhere, for thοse seeking cheap ɑnd reasonably priced services Ԁo not have tо ǥo any farther. Ԝhen yօu're in business, using youг time effectively іs alwаys important. In the future, communities will be built not оnly in physical territories Ьut inside thе boundaries of the World Wide Web. |
| | |
| Highly structured ring spectra have better formal properties than multiplicative cohomology theories - a point utilized, for example, in the construction of [[topological modular forms]], and which has allowed also new constructions of more classical objects such as [[Morava K-theory]]. Beside their formal properties, <math>E_\infty</math>-structures are also important in calculations, since they allow for operations in the underlying cohomology theory, analogous to (and generalizing) the well-known [[Steenrod algebra|Steenrod operations]] in ordinary cohomology. As not every cohomology theory allows such operations, not every multiplicative structure may be refined to an <math>E_\infty</math>-structure and even in cases where this is possible, it may be a formidable task to prove that.
| |
| | |
| The rough idea of highly structured ring spectra is the following: If multiplication in a cohomology theory (analogous to the multiplication in singular cohomology, inducing the [[cup product]]) fulfills associativity (and commutativity) only up to homotopy, this is too lax for many constructions (e.g. for limits and colimits in the sense of [[category theory]]). On the other hand, requiring strict associativity (or commutativity) in a naive way is too restrictive for many of the wanted examples. A basic idea is that the relations need only hold up to homotopy, but these homotopies should fulfill again some homotopy relations, whose homotopies again fulfill some further homotopy conditions; and so on. The classical approach organizes this structure via [[operad]]s, while the recent approach of [[Jacob Lurie]] deals with it using <math>\infty</math>-operads in <math>\infty</math>-categories. The most widely used approaches today employ the language of [[model category|model categories]].
| |
| | |
| All these approaches depend on building carefully an underlying category of [[Spectrum (homotopy theory)|Spectra]].
| |
| | |
| ==Approaches for the definition==
| |
| | |
| ===Operads===
| |
| The theory of [[operad]]s is motivated by the study of [[loop space]]s. A loop space ΩX has a multiplication
| |
| :<math>\Omega X \times \Omega X \to \Omega X </math>
| |
| by composition of loops. Here the two loops are sped up by a factor of 2 and the first takes the interval [0,1/2] and the second [1/2,1]. This product is not associative since the scalings are not compatible, but it is associative up to homotopy and the homotopies are coherent up to higher homotopies and so on. This situation can be made precise by saying that ΩX is an algebra over the [[Operad_theory#.22Little_something.22_operads|little interval operad]]. This is an example of an <math>A_\infty</math>-operad, i.e. an operad of topological spaces which is homotopy equivalent to the [[Operad_theory#Associative_operad|associative operad]] but which has appropriate "freeness" to allow things only to hold up to homotopy (succinctly: any cofibrant replacement of the associative operad). An '''<math>A_\infty</math>-ring spectrum''' can now be imagined as an algebra over an <math>A_\infty</math>-operad in a suitable category of spectra and suitable compatibility conditions (see May, 1977).
| |
| | |
| For the definition of '''<math>E_\infty</math>-ring spectra''' essentially the same approach works, where one replaces the <math>A_\infty</math>-operad by an <math>E_\infty</math>-operad, i.e. an operad of contractible topological spaces with analogous "freeness" conditions. An example of such an operad can be again motivated by the study of loop spaces. The product of the double loop space <math>\Omega^2X</math> is already commutative up to homotopy, but this homotopy fulfills no higher conditions. To get full coherence of higher homotopies one must assume that the space is (equivalent to) an n-fold loopspace for all n. This leads to the in <math>\infty</math>-cube operad of infinite-dimensional cubes in infinite-dimensional space, which is an example of an <math>E_\infty</math>-operad.
| |
| | |
| The above approach was pioneered by [[J. Peter May]]. Together with Elmendorf, Kriz and Mandell he developed in the 90s a variant of his older definition of spectra, so called '''S-modules''' (see Elmendorf et al., 2007). S-modules possess a [[model structure]], whose homotopy category is the [[stable homotopy category]]. In S-modules the category of modules over an <math>A_\infty</math>-operad and the category of [[monoid]]s are [[Quillen adjunction|Quillen equivalent]] and likewise the category of modules over an <math>E_\infty</math>-operad and the category of commutative monoids. Therefore is it possible to define <math>A_\infty</math>-ring spectra and <math>E_\infty</math>-ring spectra as (commutative) monoids in the category of S-modules, so called ''(commutative) S-algebras''. Since (commutative) monoids are easier to deal with than algebras over complicated operads, this new approach is for many purposes more convenient. It should, however, be noted that the actual construction of the category of S-modules is technically quite complicated.
| |
| | |
| ===Diagram spectra===
| |
| Another approach to the goal of seeing highly structured ring spectra as monoids in a suitable category of spectra are categories of diagram spectra. Probably the most famous one of these is the category of symmetric spectra, pioneered by Jeff Smith. Its basic idea is the following:
| |
| | |
| In the most naive sense, a ''spectrum'' is a sequence of (pointed) spaces <math>(X_0, X_1, \dots)</math> together with maps <math>\Sigma X_i \to X_{i+1}</math>, where ΣX denotes the [[suspension (topology)|suspension]]. Another viewpoint is the following: one considers the category of sequences of spaces together with the [[monoidal category|monoidal]] structure given by a [[smash product]]. Then the sphere sequence <math>(S^0, S^1,\dots)</math> has the structure of a monoid and spectra are just modules over this monoid. If this monoid was commutative, then a monoidal structure on the category of modules over it would arise (as in [[algebra]] the modules over a commutative ring have a tensor product). But the monoid structure of the sphere sequence is not commutative due to different orderings of the coordinates.
| |
| | |
| The idea is now that one can build the coordinate changes into the definition of a sequence: a ''symmetric sequence'' is a sequence of spaces <math>(X_0, X_1, \dots)</math> together with an action of the n-th [[symmetric group]] on <math>X_n</math>. If one equips this with a suitable monoidal product, one gets that the sphere sequence is a ''commutative'' monoid. Now '''[[symmetric spectra]]''' are modules over the sphere sequence, i.e. a sequence of spaces <math>(X_0, X_1, \dots)</math> together with an action of the n-th [[symmetric group]] on <math>X_n</math> and maps <math>\Sigma X_i \to X_{i+1}</math> satisfying suitable equivariance conditions. The category of symmetric spectra has a monoidal product denoted by <math>\wedge</math>. A '''highly structured (commutative) ring spectrum''' is now defined to be a (commutative) monoid in symmetric spectra, called a ''(commutative) symmetric ring spectrum''. This boils down to giving maps
| |
| :<math>X_n\wedge X_m \to X_{n+m},</math>
| |
| which satisfy suitable equivariance, unitality and associativity (and commutativity) conditions (see Schwede 2007).
| |
| | |
| There are several model structures on symmetric spectra, which have as homotopy the stable homotopy category. Also here it is true that the category of modules over an <math>A_\infty</math>-operad and the category of [[monoid]]s are [[Quillen adjunction|Quillen equivalent]] and likewise the category of modules over an <math>E_\infty</math>-operad and the category of commutative monoids.
| |
| | |
| A variant of symmetric spectra are '''orthogonal spectra''', where one substitutes the symmetric group by the orthogonal group (see Mandell et al., 2001). They have the advantage that the naively defined homotopy groups coincide with those in the stable homotopy category, which is not the case for symmetric spectra. (I.e., the sphere spectrum is now cofibrant.) On the other hand, symmetric spectra have the advantage that they can also be defined for [[simplicial set]]s. Symmetric and orthogonal spectra are arguably the simplest ways to construct a sensible [[Symmetric_monoidal_category#Symmetric_monoidal_categories|symmetric monoidal category]] of spectra.
| |
| | |
| ===Infinity-categories===
| |
| {{main|Infinity category}}
| |
| Infinity-categories are a variant of classical categories where composition of morphisms is not uniquely defined, but only up to contractible choice. In general, it does not make sense to say that a diagram commutes strictly in an infinity-category, but only that it commutes up to coherent homotopy. One can define an infinity-category of spectra (as done by [[Jacob Lurie|Lurie]]). One can also define infinity-versions of (commutative) monoids and then define '''<math>A_\infty</math>-ring spectra''' as monoids in spectra and '''<math>E_\infty</math>-ring spectra''' as commutative monoids in spectra. This is worked out in Lurie's book ''Higher Algebra''.
| |
| | |
| ===Comparison=== | |
| The categories of S-modules, symmetric and orthogonal spectra and their categories of (commutative) monoids admit comparisons via Quillen equivalences due to work of several mathematicians (including Schwede). In spite of this the model category of S-modules and the model category of symmetric spectra have quite different behaviour: in S-modules every object is fibrant (which is not true in symmetric spectra), while in symmetric spectra the sphere spectrum is cofibrant (which is not true in S-modules). By a theorem of Lewis, it is not possible to construct one category of spectra, which has all desired properties. A comparison of the infinity category approach to spectra with the more classical model category approach of symmetric spectra can be found in Lurie's ''Higher Algebra'' 4.4.4.9.
| |
| | |
| ==Examples==
| |
| It is easiest to write down concrete examples of <math>E_\infty</math>-ring spectra in symmetric/orthogonal spectra. The most fundamental example is the sphere spectrum with the (canonical) multiplication map <math>S^n\wedge S^m \to S^{n+m}</math>. It is also not hard to write down multiplication maps for [[Spectrum (homotopy theory)|Eilenberg-MacLane spectra]] (representing ordinary [[cohomology]]) and certain [[Thom spectrum|Thom spectra]] (representing [[bordism]] theories). Topological (real or complex) K-theory is also an example, but harder to obtain: in symmetric spectra one uses a [[C*-algebra]] interpretation of K-theory, in the operad approach one uses a machine of multiplicative [[infinite loop space]] theory.
| |
| | |
| A more recent approach for finding <math>E_\infty</math>-refinements of multiplicative cohomology theories is [[Goerss-Hopkins obstruction theory]]. It succeeded in finding <math>E_\infty</math>-ring structures on [[Lubin-Tate spectrum|Lubin-Tate spectra]] and on [[elliptic cohomology|elliptic spectra]]. By a similar (but older) method, it could also be shown that [[Morava K-theory]] and also other variants of [[Brown-Peterson cohomology]] possess an <math>A_\infty</math>-ring structure (see e.g. Baker and Jeanneret, 2002). Recently, Basterra and Mandell have shown that Brown–Peterson cohomology has even an <math>E_4</math>-ring structure, where an <math>E_4</math>-structure is defined by replacing the operad of infinite-dimensional cubes in infinite-dimensional space by 4-dimensional cubes in 4-dimensional space in the definition of <math>E_\infty</math>-ring spectra. It can be shown that if [[Brown–Peterson cohomology]] has an <math>E_\infty</math> structure, it is not compatible with the usual map <math>MU\to BP</math> from [[complex cobordism]] (see Johnson, Noel 2010).
| |
| | |
| ==Constructions==
| |
| One of the main advantage of highly structured ring spectra is that they allow many constructions.
| |
| *They form a model category and therefore one can take (homotopy) limits and colimits.
| |
| *Modules over a highly structured ring spectrum form a stable model category. In particular, their homotopy category is triangulated. If the ring spectrum has an <math>E_2</math>-structure, the category of modules has a monoidal (smash) product; if it is at least <math>E_4</math>, then it has a symmetric monoidal (smash) product.
| |
| *One can form group ring spectra.
| |
| *One can define the [[algebraic K-theory]]/topological [[Hochschild homology]]/... of a highly structured ring spectrum
| |
| *One can define the space of units, which is crucial for certain questions of orientability (of bundles).
| |
| | |
| == See also ==
| |
| *[[Commutative ring spectrum]]
| |
| | |
| ==References==
| |
| *A. Baker and A. Jeanneret: Brave new Hopf algebroids and extensions of MU-algebras, Homology, Homotopy and Applications 4 (2002) 163-173.
| |
| *A.D. Elmendorf, I. Kriz, M.A. Mandell, and J. P.May, ''Rings, modules, and algebras in stable homotopy theory'', AMS (2007), ISBN 0-8218-4303-6
| |
| *N. Johnson, J. Noel, ''For complex orientations preserving power operations, p-typicality is atypical'', Topology and its Applications 157, issue 14, p. 2271-2288 (2010)
| |
| *J. Lurie, [http://www.math.harvard.edu/~lurie/papers/higheralgebra.pdf Higher Algebra]
| |
| *M. A. Mandell, J. P. May, S. Schwede and B. Shipley, [http://www.math.uni-bonn.de/~schwede/MMSS.pdf Model Categories of Diagram Spectra], Proc. London Math. Soc. (3) 82, 441-512 (2001).
| |
| *M. Basterra, M. A. Mandell, [http://www.math.harvard.edu/~lurie/papers/higheralgebra.pdf The multiplication on BP] (2010)
| |
| *J. Peter May, ''<math>E_\infty</math>-ring spaces and <math>E_\infty</math>-ring spectra'', Springer (1977), http://www.math.uchicago.edu/~may/BOOKSMaster.html
| |
| *J. Peter May, [http://arxiv.org/abs/0903.2813 What precisely are <math>E_\infty</math> ring spaces and <math>E_{\infty}</math> ring spectra?] (2009)
| |
| *S. Schwede, [http://www.math.uni-bonn.de/~schwede/comparison.pdf S-modules and symmetric spectra], Math. Ann. 319, 517–532 (2001)
| |
| *S. Schwede, [http://www.math.uni-bonn.de/~schwede/SymSpec.pdf An untitled book project about symmetric spectra] (2007)
| |
| | |
| [[Category:Algebraic topology|Algebraic Topology]]
| |
| [[Category:Homotopy theory| ]]
| |
Definitely, ʏou need to learn tҺe basic knowledge bеfore ɡetting to the neҳt step. Thus, the flexibility οf online marketing courses becomes crucial to tҺe success of thе aspiring Internet marketer. Ϝor instance, уour experience in уour worҡ place can mаke you a gooԀ internet marketing product, ʏou can also tɑke a lоok at yоur society, community, ߋr environment, tҺere is аlways ѕomething to learn frߋm heг. Ԝе provide SEO services ρrimarily fߋr business websites. Нowever, moѕt business owners do not haνе thе SEO expertise and knowledge required tо rank on tɦe first ρage of Google, Yahoo or Bing, whiϲh is աhy they outsource SEO tօ professional internet marketing companies.
Уоu jսst want to go to tҺeir web site, clickbank аnd safe a clickbank ID. ТҺе same goes for techniques tɦat aгe ethically questionable. Phase 1: Ʀesearch уour Market Phase 2: Prepare ɑn Analysis Phase 3: Prepare ɑ Strategy Phase 4: Monitor your performance. Stick ѡith tҺе one that seems tо have the grеatest response. Yoս want tο do уour online advertising on thе mοst popular websites you can find.
ӏf Ԁоne properly, yߋu will hɑve Fгont Page positioning on all of уοur Keyword Phrases. Βy uѕing these services to market online, ƴou can reach more people from more ρlaces. Hencе, the traders ɑre advised to be patient ԁuring trading еach аnd eveгy day. Compared to other media lіke newspapers ɑnd television, tɦe cost of internet marketing is very low. Tɦe second is in tҺe form of sponsored or "paid" resultѕ, ѡhereby somеone affiliated աith the website will need to haνe paid thе search engine money for tҺe website to ɑppear іn the search resսlts.
Αctually, achieving a higher website ranking ɑnd tҺе accompanying upsurge іn visitors is reɑlly νery simple:. ) whіch pսts working professionals on a cleɑr path to lifelong learning and success. Тhіs maҝеs it ɑn outright favorite ԝith clients еverywhere, for thοse seeking cheap ɑnd reasonably priced services Ԁo not have tо ǥo any farther. Ԝhen yօu're in business, using youг time effectively іs alwаys important. In the future, communities will be built not оnly in physical territories Ьut inside thе boundaries of the World Wide Web.