The tag has no wiki summary.

learn more… | top users | synonyms

7
votes
1answer
291 views

On the natural (bigraded) homotopy groups of a simplicial object in a model category

$\def\mc{\mathcal} \def\sm{\wedge}$ This question stems from the Goerss-Hopkins paper Moduli Problems for Structured Ring Spectra. Let me begin by attempting to summarize the relevant framework -- ...
2
votes
0answers
121 views

Bousfield Complements of Interesting Spectra

For a spectrum $X$, Bousfield constructs a spectrum (which is only well-defined up to Bousfield equivalence) $aX$, which he shows satisfies some nice properties, like $\langle a^2X\rangle=\langle ...
23
votes
1answer
896 views

K(r)-localization and monochromatic layers in the chromatic spectral sequence

While preparing some lecture notes, I had a basic point of confusion come up that I haven't been able to settle. The $BP$-Adams spectral sequence (or $p$-local Adams-Novikov spectral sequence) for ...
0
votes
0answers
185 views

Whitehead Theorem for Harmonic Spectra

What are the chances that, for an arbitrary $p$-local harmonic spectrum $X$, if $K(n)\wedge X\simeq\ast$ for all $n$, then $X$ is contractible? This, I believe, holds for suspension spectra and finite ...
5
votes
1answer
243 views

Homotopy groups and homology groups for the $H\mathbb Z$ module-dg module correspondence.

In Shipley's paper http://arxiv.org/abs/math/0209215 she proves a Quillen equivalence between the category of $H\mathbb Z$-modules and dg $\mathbb Z$-modules. So, to a chain complex $C$, she assigns a ...
4
votes
0answers
123 views

Bousfield Lattices for which Minimal Objects Coproduct to Sphere Object

Is it known what conditions we require of a stable homotopy category to have $\langle S\rangle = \coprod\limits_{\mathbb{N}}\langle K(n)\rangle$, where $\langle K(n)\rangle$ is some minimal Bousfield ...
6
votes
1answer
312 views

Image of J in the classical Adams Spectral Sequence

Hey all, I know that in some versions of the Adams Spectral Sequence you can easily identify the image of $J$, and I was wondering if there was a way to identify the image of $J$ in the $E_2$ page of ...
12
votes
2answers
1k views

Finiteness of stable homotopy groups of spheres

Since the work of Serre in the early 50's on homotopy groups of spheres, it is known that the homotopy group $\pi_k(S^n)$ is finite, except when $k=n$ (in which case the group is $\mathbb{Z}$), or ...
2
votes
0answers
280 views

Cohomology theory associated to the spectrum BG

Hi, I've recently been interested in Stable Homotopy Theory and was reading this text to understand some basics: http://www.maths.ed.ac.uk/~aar/papers/carlmilg.pdf Near the end of the text (p582) we ...
4
votes
1answer
370 views

Reference on the question mark cell complex

The question mark complex is a finite spectrum whose cohomology looks like a "question mark" (when drawn as a module over the Steenrod algebra): that is, there is an element in dimension zero $a_0$, ...
7
votes
2answers
520 views

Differentials in the Adams Spectral Sequence for spheres at the prime p=2

How does one compute the differentials in the Adams Spectral Sequence for spheres at the prime 2 in the range $13\le t-s\le 20$? There seem to be 6 nonzero differentials, and at this point I only ...
14
votes
1answer
582 views

Is there an algebro-geometric description of $\nu$?

Motivation: According to the "chromatic" picture of stable homotopy, we should think of the moduli stack $M_{FG}$ of formal groups as a "good approximation" to the stable homotopy category (more ...
6
votes
1answer
243 views

Is there an obvious reason why p-localization of spectra is a finite localization?

Is there an obvious reason why $p$-localization of spectra is a "finite" localization in the sense of Haynes Miller? In other words, is there an obvious reason why the localizing subcategory (of the ...
4
votes
1answer
297 views

How do you know when something must die in the Adams Spectral Sequence for $\pi_*^s$

Hey everybody, I think this question might be just a simple oversight on my part, but this has been bugging me a few days. I am reading Hatcher's Spectral Sequences book, and trying to understand ...
2
votes
1answer
207 views

Formal group laws arising from localizations of MU

This is sort of a two part question: 1) In one construction of $BP$, the Brown-Peterson spectrum, one uses this idempotent map of Quillen's, $g:MU_{(p)}\to MU_{(p)}$ and from what I can tell, the ...
13
votes
1answer
567 views

Geometric interpretation of families in the stable homotopy groups of spheres

There are infinite families in the stable homotopy groups of spheres; many of these can be seen by looking for "periodicity" phenomena in the Adams-Novikov spectral sequence. An example is the image ...
9
votes
2answers
494 views

Second homotopy group of the mod 2 Moore spectrum

Let $S/2$ be the mod 2 Moore spectrum (i.e. the cofiber of $2: S \to S$). Then multiplication by 2 acts nontrivially on this spectrum: the homotopy groups of $S/2$ are all $\mathbb{Z}/4$-modules by a ...
11
votes
1answer
415 views

What is the first interesting matric Toda bracket in the stable homotopy of the sphere?

Feel free to gloss ‘interesting’ as you see fit. One way: 1. What is the lowest degree matric Toda bracket in $\pi_\ast(S)$ that doesn't contain zero? By ‘degree’ I mean total homotopical ...
4
votes
1answer
238 views

How to construct maps between (co)fibre sequences in a stable $\infty$-category?

Fix a stable $\infty$-category $\mathcal{C}$ and two (co)fibre sequences $a \rightarrow b \rightarrow c$ and $x \rightarrow y \rightarrow z$ in $\mathcal{C}$. Now suppose we are given a map $a ...
6
votes
2answers
337 views

Can a nontrivial spectrum smash to zero with $K$-theory?

Let $E $ be a (possibly nonconnective) spectrum. Suppose $E \wedge K = 0$ (where $K$ is complex $K$-theory). Does it follow that $E = 0$?
14
votes
0answers
377 views

Refinement of concept of support of a module

My rings are commutative and noetherian. The support of a module is usually defined to be the set of prime ideals of the ring such that localization at that prime does not make the module zero. This ...
2
votes
1answer
297 views

Non-Noetherian Stable Homotopy

There seems to be quite a bit of theory developed to deal with "stable homotopy" in the sense of the derived category of a Noetherian ring, or just any situation where the endomorphism ring of the ...
1
vote
1answer
155 views

Properties of endmorphism rings of E(n),K(n)-localized spheres

Is it known whether or not the endomorphism rings (or ring spectra) of the localized sphere spectra in $L_nSp$ and $L_{K(n)}Sp$ are Noetherian or not? Are they well understood? Perhaps, in the vein of ...
15
votes
1answer
387 views

Is the 4-line of the E_2 term of the classical Adams spectral sequence known?

In other words: What is $\mathrm{Ext}_{\mathcal{A}}^{4,t}(\mathbb{Z}/2,\mathbb{Z}/2)$? If the 4-line is not known, how much is known about it? Here, $\mathcal{A}$ is the 2-primary Steenrod ...
6
votes
2answers
388 views

Chromatic convergence of E(n)-localized homotopy categories

Given the Chromatic Convergence Theorem, can we state this globally as some convergence in the category of categories? That is, we have the subcategories of finite spectra in each stable homotopy ...
4
votes
0answers
207 views

Gluing Local Spectra

Suppose we have four spectra: $E_1$, $E_2$, $X_1$ and $X_2$ where $X_i$ is $E_i$ local and $L_{E_1\wedge E_2}X_1\simeq L_{E_1\wedge E_2}X_2$. Of course what this really means (I think), if we're ...
2
votes
1answer
126 views

The Bousfield Class of the Infinite Wedge of Telescopes of Finite Spectra

The spectrum $T(n)$ which is the telescope of a finite spectrum of type n along its self-map, has a unique Bousfield class $\langle T(n)\rangle$ which only depends on $n$. It is also known, from ...
2
votes
3answers
592 views

Fracture Squares of Bousfield Localizations of Spectra

Suppose I have a spectrum $X$ and two homology theories $E$ and $F$. If I look at the Bousfield localizations, $L_E$, $L_F$, $L_{E\vee F}$ and $L_{E\wedge F}$, do I have a homotopy pullback square ...
7
votes
0answers
236 views

Is it possible to define a perverse $t$-structure for a certain triangulated category of sheaves of spectra?

The perverse t-structure for the derived category of complexes of sheaves is certainly a mighty tool for studying cohomology. My question is: does there exist any homotopy-theoretic analogue for it ...
1
vote
2answers
232 views

Relationship of Bousfield Classes of Morava K-theories

Suppose we have $\langle K(n)\rangle$ and $\langle K(n-1) \rangle$ for some fixed prime $p$. do we know whether or not $\langle K(n) \rangle \geq \langle K(n-1) \rangle$ or $\langle K(n-1) \rangle ...
3
votes
3answers
302 views

Bousfield Classes

This question has a few parts: 1) Is the Bousfield class of $\langle E\rangle$ the class of $E$-acyclics, i.e. $\langle E\rangle=\left\{ X:E\wedge X=0\right\}$ or is it the class of spectra which are ...
4
votes
1answer
500 views

A Model for the Moore Spectrum of $\mathbb{Z}_{(p)}$

Is it true that the Moore spectrum for the group $\mathbb{Z}_{(p)}$ can be constructed by smashing $\mathbb{S}$ with $q^{-1}\mathbb{S}$ for each $q\neq p$ (here both $q$ and $p$ are primes). It seems ...
7
votes
2answers
529 views

Absence of Maps Between p-local and q-local spectra

Suppose $X$ and $Y$ are spectra (or homotopy classes thereof) such that $X$ is p-local and $Y$ is q-local, for primes $p\neq q$. Is it indeed true then, and if so how would one show that ...
0
votes
0answers
517 views

The stable-homotopy-homology-theory

Hi Is there a way to stabilise relative homotopy groups into giving the stable-homotopy-homology-functor? The fact that the homotopy excision theorem holds for exactly the same kind of pair that ...
17
votes
2answers
661 views

Homotopy type of tensors of Moore spectra

I would like to hear what's known about the homotopy type of smash products of mod-$p^j$ Moore spectra, for $p$ an odd prime. First, here is what I'm specifically interested in: there is a short ...
7
votes
0answers
356 views

Quasi-coherent sheaves on $M_{FG}$ and the exact functor theorem

I'm struggling with these notes, and one of the things I don't really understand is the following. The notes consider the stack $M_{FG}$ of formal groups; this is the stack associated to the prestack ...
4
votes
1answer
412 views

Formal Group Laws on Ring Spectra?

Given a (graded) ring $R$, to define a formal group law it is equivalent to define a ring homomorphism $\phi:L\to R$ where $L$ is Lazard's ring. Is there any notion of defining a formal group law on ...
6
votes
4answers
784 views

do spectra have diagonal maps?

Topological spaces have diagonal maps $X \rightarrow X \times X$ and $X \rightarrow X \wedge X$, and suspension spectra also have diagonal maps $\Sigma^\infty X \rightarrow \Sigma^\infty(X \wedge X) ...
2
votes
1answer
538 views

Dedekind Spectra

Is there a class of ring spectra that corresponds to and/or extends the class of Dedekind rings from traditional algebra? Is there a notion of "ring of integers" of a ring spectrum? Additionally, is ...
14
votes
3answers
1k views

What are the best known results for the stable homotopy groups of spheres?

There are a number of proposed ways to compute the stable homotopy groups of spheres. One can rather peculiarly consider stable (co)homotopy of an Eilenberg Maclane spectrum as a generalised ...
22
votes
3answers
2k views

Modern Source for Spectra (including Ring Spectra)

I am looking for a modern introduction to Spectra that improves on the treatment by Adams in his "Stable Homotopy and Generalized Homology" notes (by improves I mean taking into account what has been ...
9
votes
0answers
226 views

stable homotopy of BG_+?

Let $G$ be an abelian group (if this helps, let's say also finite). Let $BG_+$ be the classifying space together with a disjoint base point. What are the stable homotopy groups $$\pi^s_m (BG_+) := ...
6
votes
1answer
407 views

Stable homotopy theory of orbifolds

Is there a notion of stable homotopy, spectrum, or a stable homotopy category which corresponds to orbifolds and orbispaces, in the same way that classical stable homotopy theory corresponds to ...
14
votes
2answers
895 views

Are $G$-spectra the same as modules over a “group ring spectrum”?

Let $G$ be a finite group (maybe this will also work when $G$ is compact, or something, but to be safe we'll let it be finite). I imagine it's quite natural to ask: is the category of $G$-spectra ...
78
votes
4answers
3k views

What do the stable homotopy groups of spheres say about the combinatorics of finite sets?

The Barratt-Priddy-Quillen(-Segal) theorem says that the following spaces are homotopy equivalent in an (essentially) canonical way: $\Omega^\infty S^\infty:=\varinjlim~ \Omega^nS^n$ ...
0
votes
1answer
310 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 ...
6
votes
1answer
561 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. ...
1
vote
1answer
172 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 ...
4
votes
2answers
382 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
1k 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 ...