Search Results
Search type | Search syntax |
---|---|
Tags | [tag] |
Exact | "words here" |
Author |
user:1234 user:me (yours) |
Score |
score:3 (3+) score:0 (none) |
Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
Views | views:250 |
Code | code:"if (foo != bar)" |
Sections |
title:apples body:"apples oranges" |
URL | url:"*.example.com" |
Saves | in:saves |
Status |
closed:yes duplicate:no migrated:no wiki:no |
Types |
is:question is:answer |
Exclude |
-[tag] -apples |
For more details on advanced search visit our help page |
Homotopy theory, homological algebra, algebraic treatments of manifolds.
30
votes
Accepted
Is the $H$-space structure on $S^7$ associative up to homotopy?
It is not. See Theorem 1.4 of this paper by I.M. James (Trans. AMS 84 (1957), 545-558).
In particular, there exists no homotopy associative multiplication on $S^n$ unless $n=1$ or $n=3$.
15
votes
2
answers
920
views
What homotopy classes can attaching an $E_n$-cell kill?
Let $A$ be a connected $E_{n+1}$-ring spectrum and let $\alpha\in\pi_k(A)$. I am having trouble showing that attaching an $E_n$-cell along $\alpha$ will necessarily not kill an element $\beta\in\pi_k( …
14
votes
0
answers
824
views
What does convergence of a Bousfield-Kan spectral sequence say about the homotopy type of th...
Given a cosimplicial space or spectrum $X^\bullet$, there is an associated Bousfield-Kan spectral sequence. This starts out as the bigraded object obtained by taking homotopy groups of each $X^n$ and …
14
votes
1
answer
1k
views
Non-Cartesian Monoidal Model Structure on a Slice Category
Given a monoidal model category $(M,\otimes, 1)$, and a monoid therein $A$, one can take the slice model category $M_{/A}$. This category has a natural monoidal structure induced by taking fibered pro …
14
votes
1
answer
348
views
The first two $k$-invariants of $\mathrm{pic}(KU)$ and $\mathrm{pic}(KO)$
$\DeclareMathOperator\Pic{Pic}\DeclareMathOperator\pic{pic}$Real and complex topological $K$-theories, $KO$ and $KU$, have Picard spectra $\pic(KO)$ and $\pic(KU)$ built from the $\mathbb{E}_\infty$-s …
13
votes
1
answer
1k
views
Connection of X(n) spectra to formal group laws
In the proof of the Nilpotence Theorem, or at least in Ravenel's account of it in his Orange Book, a sequence of spectra are used, denoted $X(n)$ with $X(0)=\mathbb{S}$ and and $X(\infty)=MU$ such tha …
12
votes
2
answers
558
views
Why does $Mf$ always support an $Mf$-orientation?
Let $f:X\to BGL_1(\mathbb{S})$ be a morphism of $E_n$-spaces and determine a principle $GL_1(\mathbb{S})$-bundle over $X$. Then it can be shown in the classical case that there is always a Thom isomor …
11
votes
0
answers
646
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 …
11
votes
1
answer
639
views
Thom Spectra and Hopf-Galois Extensions of Ring Spectra
So I've been fiddling with this for a long time, so apologies to anyone that's already heard me talk about this ad nauseum. I haven't been able to get anywhere with it, and it seemed that as such, it …
10
votes
2
answers
541
views
Simplicial nerve functor commutes with opposites
There are two "opposite" functors:
$$ op_\Delta\colon sSet\to sSet$$
and
$$op_s\colon sCat\to sCat.$$
The first takes a simplicial set to its opposite simplicial set by precomposing with the opposite …
10
votes
2
answers
630
views
Geometric Interpretations of Homotopy Theoretical Constructions
In homotopy theory there are lots of nice constructions that seem designed to have some effect on the homotopy of a space, i.e. completing, localizing, and taking various homotopy (co)limits. It seems …
10
votes
1
answer
842
views
Bar/Cobar Adjunction Between Modules and Comodules
There is a pretty well known, and widely written about, adjunction between augmented algebras and coaugmented coalgebras given by taking the bar construction on algebras and the cobar construction on …
10
votes
1
answer
476
views
When is a quasicategory over $N(\Delta)^{op}$ a planar $\infty$-operad?
In Lurie's DAG II, a notion of monoidal $\infty$-category is given that differs from the notion given in his later book Higher Algebra. In the former, the relevant structure is a cocartesian fibratio …
10
votes
1
answer
473
views
Why does strong convergence of the EMSS imply that Tot commutes with suspension spectrum?
Given a fiber square of simplicial sets
$$\begin{array}{cc}
& \hspace{-7mm} E \\
&\hspace{-7mm}\downarrow \\
\ast\longrightarrow &\hspace{-7mm} B
\end{array}$$
and a homolo …
9
votes
1
answer
289
views
Essential maps of spectra which are null when localized at any prime
There are maps of spaces which are not null-homotopic, but when localized at any prime become null. I don't know explicit constructions of any, but an example is given in Section 6 of Chapter 25 of th …