Skip to main content
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
Results tagged with
Search options not deleted user 11546

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$.
Jonathan Beardsley's user avatar
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( …
Jonathan Beardsley's user avatar
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 …
Jonathan Beardsley's user avatar
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 …
Jonathan Beardsley's user avatar
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 …
Jonathan Beardsley's user avatar
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 …
Jonathan Beardsley's user avatar
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 …
Jonathan Beardsley's user avatar
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 …
Jonathan Beardsley's user avatar
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 …
Jonathan Beardsley's user avatar
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 …
Jonathan Beardsley's user avatar
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 …
Jonathan Beardsley's user avatar
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 …
Jonathan Beardsley's user avatar
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 …
Jonathan Beardsley's user avatar
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 …
Jonathan Beardsley's user avatar
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 …
Jonathan Beardsley's user avatar

1
2 3 4 5 6
15 30 50 per page