Questions tagged [stable-homotopy]
Stable homotopy theory is that part of homotopy theory (and thus algebraic topology) concerned with all structure and phenomena that remain after sufficiently many applications of the suspension functor.
558
questions
3
votes
1
answer
440
views
About embedding pure motives into the triangulated category of mixed motives and some further questions about motivic cohomology
I have tried reading some texts about motives, mainly motivic cohomology (Bloch's " Lectures on Algebraic Cycles", Voevodsky's "Motivic Cohomology" etc). However some things confused me. I don't know ...
9
votes
1
answer
795
views
Power operations and Lambda-structure-like lifts of Frobenius in $E_\infty$-geometry?
A $\Lambda$-structure on a commutative ring $R$ is a ring endomorphism wich restricts to the $p$-Frobenius homomorphism after localizing at $(p)$. One may think of this as a "flow" $\Phi \colon Spec(R)...
6
votes
1
answer
305
views
AdicCompletion$\dashv$Torsion adjunction on spectra?
It seems to me that in slight paraphrase the central result of the article
Marco Porta, Liran Shaul, Amnon Yekutieli, On the Homology of Completion and Torsion (arXiv:1010.4386)
(theorems 6.11 and 6....
31
votes
4
answers
3k
views
Fibrations and Cofibrations of spectra are "the same"
My question refers to a folklore statement that I have now seen a couple of times, but never really precise. One avatar is:
"For spectra every cofibration is equivalent to a fibration" (e.g. in the ...
8
votes
0
answers
245
views
Parametrized cancelations in stable Morse theory
Let $B$ be a closed manifold. Let $\pi : M\to B$ be a submersion such that each fiber is a manifold without boundary. Let $f : M \to \mathbb{R}$ be a function such that the restrictions $f_x$ to each ...
7
votes
2
answers
811
views
Detection of stable homotopy by K-theory spectra
This is primarily a reference request. Does anyone know of any writing about algebraic K-theory spectra picking up elements in the stable homotopy groups of spheres in their Hurewicz image coming from ...
25
votes
1
answer
1k
views
From the perspective of bordism categories, where does the ring structure on Thom spectra come from?
To fix ideas, let's consider the Thom spectrum of framed bordism $M$, the spectrum whose homotopy groups are the framed bordism groups. $M$ has a ring spectrum structure inducing the product of ...
5
votes
1
answer
433
views
endomorphisms of modules over symmetric ring spectra
I have a probably very basic question about modules over symmetric ring spectra:
Let $R$ be a commutative symmetric ring spectrum and let $M$ and $N$ be module spectra over $R$. Moreover, let $\...
13
votes
1
answer
608
views
Is there a non-zero ghost map between finite suspension spectra?
A morphism $f\colon X\to Y$ of spectra such that for every integer $n$ the induced map $\pi_n(f)\colon\pi_n(X)\to\pi_n(Y)$ on stable homotopy groups is zero is called a ghost map.
Not every ghost map ...
14
votes
1
answer
1k
views
Verdier localization for stable $\infty$-categories
Verdier localization is one of the more intuitive ways to localize a triangulated category, "killing" a suitable class of objects via a functor which is universal with respect to this property.
I ...
9
votes
1
answer
2k
views
Dennis trace map K----> THH
I have some questions about Dennis trace map in algebraic K-Theory. I was wondering if there is some conceptual way to look at this map $K(-)\rightarrow THH(-)$ (natural transformation from K-Theory ...
50
votes
5
answers
5k
views
What (if anything) unifies stable homotopy theory and Grothendieck's six functors formalism?
I know of two very general frameworks for describing generalizations of what a "cohomology theory" should be: Grothendieck's "six functors", and the theory of spectra.
In the former, one assigns to ...
10
votes
1
answer
726
views
The homotopy of universal Thom spectrum
Let $S^0_p$ be the $p$-adic sphere spectrum. Let $GL_1(S^0_p)$ be the set of unit componen of $\Omega^{\infty}S^0_p$. For any map $ X \to BGL_1(S_p^0)$ we get a Thom spectrum call it $Mf$. Now ...
5
votes
0
answers
258
views
Which ring spectra have some kind of exponential map turning addition into multiplication?
This accepted answer to the question about $BU_\otimes$ made me recall that I want to read about this general phenomenon for a long time.
What will follow is sort of vernacular but whether it can be ...
4
votes
1
answer
273
views
Is there a geometric interpretation of Johnson-Wilson E(n) analogous to vector bundles for K-theory?
I am reading Ravenel's Localization with Respect to Certain Periodic Homology Theories where he states;
For $n\ge2$, the spectra E(n)
represent periodic homology theories which at present have ...
2
votes
1
answer
332
views
Generator of $\pi_3(SU(4))$ in Mimura-Toda
In this paper of Mimura and Toda, tables are given for low-dimensional homotopy groups of $SU(3)$, $SU(4)$ and $Sp(2)$. As far as I understand it, Theorem 6.1 gives the generator of $\pi_3(SU(4))$ as $...
6
votes
3
answers
508
views
Adams Spectral Sequence for Triangulated Categories
We have the Adams SS with
$$ E_2^{p,q} = Ext^{p,q} _{E^*(E)}([S,E],[S,E]) $$
where $E$ is the Eilenberg-Maclane Spectrum yielding $\mathbb{Z}/p$ coefficients.
I was wondering if there is a SS for ...
25
votes
0
answers
1k
views
Calabi-Yau cohomology?
My question here is going to be this -- but I'll give a bit of background to explain myself in a moment:
What has been done/what results are available on Calabi-Yau cohomology in degree $n \geq 3$ (...
3
votes
1
answer
412
views
Stable homotopy of classifying space for nilpotent groups
Let $BG$ denote the classifying space of a (discrete) group and $BG_+$ its disjoint union with a point.
Question: What is known about the stable homotopy groups $\pi^S_*(BG_+)$ ?
If $G$ is finite (i....
6
votes
1
answer
381
views
When was the word "stable" first used to describe stable homotopy theory?
The word "stable" has many uses in mathematics, but in the context of stable homotopy theory, one might take it to mean one of two things:
Homotopy groups stabilize after taking suspensions (...
5
votes
2
answers
250
views
Homology exponents for $QX$
We say that a space $X$ has a homology $p$-exponent if some power of $p$ annihilates the $p$-torsion in $H_\ast(X;\mathbb{Z})$.
I am interested in the homology exponents of the free infinite loop ...
15
votes
0
answers
456
views
"topological" Ochanine genus?
The Witten genus has famously been lifted to the string orientation of tmf ("topological Witten genus"). For the Ochanine genus, I am aware of a lift to a "spin orientation of Tate K-...
14
votes
2
answers
690
views
Truncations of E_infinity algebras
In section 4.1 of Lurie's DAG VIII, he implies the existence of an $E_\infty$-ring spectrum $A$ such that the coconnective truncation $\tau_{\leq 0} (A)$ does not admit the structure of an $E_\infty$-...
26
votes
1
answer
2k
views
What is to tmf as KR is to KO?
The $E_\infty$-ring spectrum $KU$ of complex K-theory carries a canonical involution induced from complex conjugation of complex vector bundles. The homotopy fixed points of this $\mathbb{Z}_2$-action ...
3
votes
0
answers
425
views
Units of a ring spectrum
Is there a good notion of the spectrum of units $R^\ast$ in a (possibly non-connective) $E_\infty$-ring spectrum $R$?
A standard definition (see section 1.2 in http://arxiv.org/abs/0810.4535) seems ...
12
votes
2
answers
922
views
Are these two notions of "dualizable" spectra equivalent?
A spectrum $X$ is dualizable if the natural map $$Map(X,\mathbb S) \wedge X \rightarrow Map(X,X)$$ is an equivalence of spectra. This is equivalent to having evaluation and coevaluation maps in the ...
12
votes
1
answer
503
views
Stable moduli interpretation of $\mathbb{R}\mathrm{P}^\infty_{-1}$
I attended a talk recently which closed with the following tantalizing facts: there is a naturally occurring map of spectra $$K(\mathbb{S}) \to \Sigma \mathbb{C}\mathrm{P}^\infty_{-1},$$ which can be ...
14
votes
1
answer
651
views
localizing subcategories of $HF_p$-local spectra
This entire question takes place in the $HF_p$-local category of $p$-local spectra, i.e. the essential image of $HF_p$-localization on the stable homotopy category. $HF_p$ itself is in there, and of ...
7
votes
2
answers
398
views
Properness of the category of modules over a spectrum (that represents algebraic cobordism or motivic cohomology)
The abstract form of the question: let $C$ be a closed proper stable model category, $R$ is a ring object in it. Which conditions ensure that the category $R-mod$ is also proper?
Since weak ...
5
votes
1
answer
3k
views
Double coset formulas for Orthogonal groups [Solved]
According to Madsen-Brumfiel "Evaluation of the Transfer and the Universal Surgery Classes" Inventiones mathematicae 32 (1976): 133-170 Theorem 3.11, we can compute
the composition
$BO(1)^2\stackrel{...
10
votes
1
answer
454
views
Is there a $K(0)$-local Rezk logarithm?
If $R$ is a $K(n)$-local $E_\infty$-algebra, then a construction of Rezk gives a natural transformation
$$ \mathfrak{gl}_1(R) \to R,$$
by using the equivalence (arising from the Bousfield-Kuhn ...
41
votes
1
answer
9k
views
Why not a Roadmap for Homotopy Theory and Spectra?
MO has seen plenty of roadmap questions but oddly enough I haven't seen one for homotopy theory. As an algebraic geometer who's fond of derived categories I would like some guidance on how to build up ...
15
votes
2
answers
1k
views
Must a weak homotopy equivalence induce an isomorphism between stable homotopy groups?
I'm confused by the following question:
$f:X\to Y$ is a weak homotopy equivalence, that is $f_*:\pi_*(X)\to \pi_*(Y)$ is an isomorphism for any dimensional homotopy groups. However, for the stable ...
5
votes
1
answer
326
views
The first element in the stable homotopy of a $K(\mathbb{Z}/2, n)$
The first element in the stable homotopy groups of a $K(\mathbb{Z}/2, n)$ (which is outside the range of the Freudenthal suspension theorem) is $\pi_{2n} K(\mathbb{Z}/2, n) \simeq \mathbb{Z}/2$. In ...
11
votes
0
answers
633
views
Fields in Stable Homotopy Theory
It is known that the only "fields" in stable homotopy theory, after localizing at a prime $p$, are Eilenberg-Mac Lane spectra for fields and the Morava K-theories (this is true in a few senses: these ...
2
votes
0
answers
184
views
Quillen functors and stable model categories
Are there any books or papers where I can find some general statements and methods for working with Quillen functors that are not equivalences (and not localizations)? In particular, I would like to ...
4
votes
0
answers
219
views
Formal n-buds from BU(n) rather than SU(n)
It's known, from Ravenel's green book, as well as other sources, that we build formal group laws over a ring from n-buds, where an n-bud is essentially a truncated formal group law (sometimes called a ...
44
votes
2
answers
7k
views
What is known about the sum x^{n^2}/n?
It follows from a general theorem of Honda that the formal group with the logarithm
$$
x+x^{2^s}/2+x^{3^s}/3+x^{4^s}/4+\cdots
$$
has integer coefficients. I became interested in it because its $p$-...
9
votes
1
answer
1k
views
Category of motivic spectra
When the survey Axiomatic Stable Homotopy, Neil Strickland, 2004 was written the category of motivic spectra was not investigated from the point of view of axiomatic stable homotopy, as considered e.g....
10
votes
1
answer
549
views
Are finite (levelwise) homotopy limits of spectra homotopy invariant?
I found an easy proof that the (levelwise) homotopy limit of a pointwise equivalence of finite diagrams of orthogonal spectra is an equivalence, without assuming that the spectra in the diagrams are ...
5
votes
2
answers
701
views
On triangulated categories of pro-objects
Which term is used for model categories whose homotopy categories are triangulated? Stable proper model categories?
I want $Ho(Pro-M)$ to be triangulated ($Pro-M$ is the category of pro-objects of M) ...
5
votes
1
answer
405
views
Toda brackets and factorisation of a sequence of spectra
I've found a paper of Spanier's (Higher Order Operations) where he uses the theory of "carriers" to study $n$-th order operations. The set-up is rather general; for example a particular case defines ...
9
votes
1
answer
513
views
Construction of Thom-Spectrum for G_2-Structures
The motivation to this question is the paper of Crowley and Nordstrøm "A New Invariant of $G_2$-Structures". I am trying to find a homotopy theoretic interpretation of the following geometric ...
3
votes
1
answer
213
views
Does Wolbert's derived equivalence between $E_*^R$-local $R$-modules and $R_E$-modules come from a Quillen equivalence?
Let $R$ be a ring spectrum (in the world of EKMM $S$-modules) and let $E$ be a smashing $R$-module. Denote by $R_E$ the $E_*$-localization of $R$. By a theorem of Wolbert (Theorem 2 in Classifying ...
31
votes
2
answers
3k
views
Conceptual explanation for the relationship between Clifford algebras and KO
Recall the following table of Clifford algebras:
$$\begin{array}{ccc}
n & Cl_n & M_n/i^{*}M_{n+1}\\
1 & \mathbb{C} & \mathbb{Z}/2\mathbb{Z} \\
2 & \mathbb{H} & \mathbb{Z}/2\...
23
votes
3
answers
1k
views
KK-theory as a stable infinity-category and KU Mod
The category KK of bivariant operator K-theory (or possibly its E-theory variant) ought to be the homotopy category of something at least close to a stable infinity-category; notably in that it ...
20
votes
1
answer
2k
views
The cell structure of Thom spectra
I would like to understand the cell structure of integrally oriented Thom spectra. A Thom spectrum over a space $X$ is something you can build from a stable spherical bundle, which is classified by a ...
30
votes
2
answers
10k
views
Open problems in algebraic topology and homotopy theory
Some time ago (I see it was initially written before 1999?) Mark Hovey assembled a list of open problems in algebraic topology. The list can be found here. Some of the problems I know about have been ...
5
votes
2
answers
2k
views
Homotopy limit-colimit diagrams in stable model categories
It is shown in Remark 7.1.12 of (a newer version of) Mark Hovey's book Model Categories that, in a stable model category, homotopy pullback squares coincide with homotopy pushout squares. The argument ...
5
votes
1
answer
184
views
Is this a description of the $\aleph_1$-localizing subcategory generated by a compact generator?
This should be obvious but I'm not seeing it:
The $\mathfrak T$ be a triangulated category with coproducts and with a compact generator $A$ (that is, the functor $\mathfrak T(A,\_)$ preserves ...