The tag has no wiki summary.

learn more… | top users | synonyms

0
votes
1answer
294 views

Understanding a proof in Adams' Stable Homotopy and Gen. Coh

[Question cross posted on stack-exchange] I'm slowly working through Part III of the book, and I'm scratching my head a bit while reading the proof of Lemma 3.2 (here reproduced): Let $X, A$ be a ...
5
votes
1answer
524 views

How should I think of the $\infty$-category of spectra?

I've seen a bunch of definitions of spectra in the literature, and the fanciest seems to be the $(\infty, 1)$-category of spectra obtaining by "stablizing" the higher category of spaces, as in DAG I. ...
0
votes
1answer
127 views

Is there a map of spectra implementing the inverse of the Thom isomorphism?

In the top answer to the question "Is there a map of spectra implementing the Thom isomorphism?" it is explained (with a reference to Rudyaks book) that from a rank $r$ vector bundle $\mu:V\to X$, a ...
3
votes
2answers
337 views

Reference request: Spec A_* is the automorphism group of the additive formal group law

Dear all, I'm seeking a reference for a claim made in lecture 8 of Jacob Lurie's chromatic homotopy theory notes (http://www.math.harvard.edu/~lurie/252xnotes/Lecture8.pdf). More particularly, ...
12
votes
3answers
953 views

Stable homotopy category and the moduli space of formal groups

The usual disclaimer applies: I'm new to all this stuff, so be gentle. It seems like the spectrum, as defined by Balmer, of the stable homotopy category of finite complexes is something like ...
5
votes
2answers
303 views

Does a finite suspension spectrum make a space finite?

Suppose that $X$ is a space whose suspension spectrum $\Sigma_+^\infty(X)$ is dualizable in the stable homotopy category. I believe this is equivalent to saying that $\Sigma_+^\infty(X)$ is (weakly) ...
8
votes
2answers
664 views

How is the differential in complex cobordism defined?

This is my first MO question...hopefully it's not a bad one... Background: As a stable homotopy theorist, I like to think of complex cobordism $MU$ as a ring spectrum. If I needed to get my hands ...
10
votes
6answers
984 views

Why are equivariant homotopy groups not RO(G)-graded?

I know very little about the fancy equivariant stable homotopy category, so I apologize if this question is silly for one reason or another, but: I think that stable homotopy, in the non-equivariant ...
3
votes
1answer
341 views

Complex orientation of the Adams Summand

First lets fix a prime $p$ (I really care about $p=2$ but would be happy to know about other primes as well). When localized at a prime the spectrum $ku$ (Complex connective K-theory) splits as a ...
8
votes
4answers
638 views

Computing squaring operations in the Adams spectral sequence

This question is about the classical Adams spectral sequence. Squaring operations are defined on its $E_2$ term. I'd like to know how to compute some of the non-trivial operations, such as $Sq^2 ( ...
25
votes
4answers
1k views

Integral cohomology (stable) operations

There have been a couple questions on MO, and elsewhere, that have made me curious about integral or rational cohomology operations. I feel pretty familiar with the classical Steenrod algebra and its ...
23
votes
1answer
678 views

Early stabilization in the homotopy groups of spheres

Thanks to Freudenthal we know that $\pi_{n+k}(S^n)$ is independent of $n$ as soon as $n \ge k+2$. However, I was looking at the table on Wikipedia of some of the homotopy groups of spheres and noticed ...
7
votes
1answer
448 views

Technology for various models of spectra

There are a couple different models for spectra, or constructions of the categories of spectra that have the desired properties (homotopically and otherwise). The construction of the Categories of ...
15
votes
2answers
1k views

Is there a map of spectra implementing the Thom isomorphism?

A well known theorem in algebraic topology relates the (co)homology of the Thom space $X^\mu$ of a orientable vector bundle $\mu$ of dimension $n$ over a space $X$ to the (co)homology of $X$ itself: ...
8
votes
2answers
676 views

Does the category of topological symmetric spectra satisfy the monoid axiom ?

In the paper "Symmetric spectra"by Hovey, Smith and Shipley, they say that they don't know if the monoid axiom holds for topological symmetric spectra. This paper was written in 1998 so I am wondering ...
36
votes
5answers
4k views

third stable homotopy group of spheres via geometry?

It is ''well-known'' that the third stable homotopy group of spheres is cyclic of order $24$. It is also ''well-known'' that the quaternionic Hopf map $\nu:S^7 \to S^4$, an $S^3$-bundle, suspends to a ...
8
votes
1answer
301 views

Is the injective model structure on symmetric spectra Bousfield localizable?

I am interested in injective model structures on both symmetric spectra as exposed in Hovey/Shipley/Smith and motivic symmetric spectra as in Jardine's article. Both authors take a model structure on ...
4
votes
2answers
564 views

The homotopy cofiber of the smash product of two maps of spectra

It is a standard fact that smashing with a fixed spectrum $Z$ preserves cofiber sequences. So if I have a cofiber sequence $$X \xrightarrow{f} Y \rightarrow C_f$$ then there is also a cofiber ...
10
votes
3answers
716 views

Isomorphism between two universal p-typical formal group laws

EDIT: I've tried to alter the question so that its basic nature is clearer, as it's been unclear to a number of people now. At any prime p, there is a graded polynomial ring $V \cong {\mathbb ...
7
votes
1answer
735 views

A heart for stable equivariant homotopy theory

Let $G$ be a finite group. I wonder whether the following statement is true, known and written down: There is a t-structure on the stable $G$-equivariant homotopy category such that the associated ...
4
votes
1answer
275 views

Values of the multiplicative group over a ring spectrum

In his notes on elliptic cohomology, Lurie defines the multiplicative group $\mathbb{G}_m$ over a ring spectrum $A$ as $\operatorname{Spec} A[\mathbb{Z}]$. What is the value $\mathbb{G}_m(B)$ of the ...
4
votes
1answer
470 views

A Model Structure on Symmetric Monoidal Categories

The recent article found here revisits Thomason's proof that symmetric monoidal categories model all connective spectra, but stops short of showing that there is a full closed model structure on this ...
5
votes
1answer
599 views

Serre spectral sequence with spectra

A friend recently asked me if i had heard anything about a stable Serre Spectral Sequence or one constructed with spectra, has any one else ever heard of this? is there any reason other than ...
13
votes
1answer
686 views

Complex orientations on homotopy

I am wondering if there is a more "geometric" formulation of complex orientations for cohomology theories than just a computation of $E^*\mathbb{C}$P$^{\infty}$ or a statement about Thom classes. It ...
5
votes
2answers
576 views

Spectra and localizations of the category of topological spaces

Can we construct the category of spectra (or maybe just its homotopy category) from the category of pointed topological spaces using some kind of localization combined with other categorical ...
3
votes
3answers
333 views

Are there universe-indexed spectra over simplicial sets?

In "Rings, Modules, and Algebras in Stable Homotopy Theory" Elmendorf, Kriz, Mandell and May introduce a notation of spectra indexed over an universe $\mathcal{U}$ as a collection of pointed ...
11
votes
1answer
596 views

Stable ∞-categories as spectral categories

Let C be a stable ∞-category in the sense of Lurie's DAG I. (In particular I do not assume that C has all colimits.) Then C does have all finite colimits, the suspension functor on C is an ...
12
votes
3answers
1k views

complex cobordism from formal group laws?

Reading Ravenel's "green book", I wonder about his question on p.15 "that the spectrum MU may be constructed somehow using formal group law theory without using complex manifolds or vector bundles. ...
6
votes
2answers
281 views

Reference for iterated homotopy fixed points?

What are (good) references for results about iterated homotopy fixed points? That is, suppose G is a topological group acting on a space (or spectrum) X, and H is a normal subgroup of G. Then one ...
11
votes
2answers
565 views

squares in stable homotopy

I noticed that the generator of the second stable stem b is the square of the generator of the first stable stem a, in the sense that if take two copies of a and smash product them together you get b ...
7
votes
1answer
302 views

Stable presentable categories as module categories

There is a theorem of Schwede and Shipley which classifies categories of modules over an A∞ ring spectrum as those stable presentable (∞,1)-categories with a compact generator. Suppose I ...
11
votes
3answers
792 views

Classifying triangulated structures on a graded category

I know of several results to the effect that two triangulated categories are equivalent categories (usually one coming from algebra and one coming from topology). However, it's never been clear to me ...
11
votes
2answers
781 views

Exotic spheres and stable homotopy in all large dimensions?

Given that the kervaire invariant one problem has been solved in (almost) all dimensions....my question is whether there exists an exotic sphere in all sufficently lagre dimensions? Given the ...
8
votes
1answer
368 views

Are generalized cohomology theories a homotopy category of some category of invariants?

I was taught to think of generalized cohomology theories as the homotopy category of (symmetric) spectra. But is there also a category of 'invariants', that is, some category of contravariant functors ...