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 | |
Results tagged with homotopy-theory
Search options questions only
not deleted
user 54788
Homotopy theory is an important sub-field of algebraic topology. It is mainly concerned with the properties and structures of spaces which are invariant under homotopy. Chief among these are the homotopy groups of spaces, specifically those of spheres. Homotopy theory includes a broad set of ideas and techniques, such as cohomology theories, spectra and stable homotopy theory, model categories, spectral sequences, and classifying spaces.
14
votes
3
answers
630
views
Strøm model structures on the category of simplicial sets
Let $X,Y$ be simplicial sets. A simplicial homotopy is a simplicial map of the form $h:X\times\Delta^1\rightarrow Y$. There are two distinguished maps
$$
in_0:X\cong X\times\Delta^0\xrightarrow{1\time …
- 5,596
8
votes
0
answers
144
views
The James and Morse filtrations of homotopy groups
Denote by $JX$ the James construction on a path connected, well-pointed space $X$. This space is filtered by subspaces $X=J_1X\subseteq\dots\subseteq J_nX\subseteq\dots\subseteq JX$ and is the domain …
- 5,596
7
votes
1
answer
505
views
Replacing the Fibre of a Fibration
This was a question I first asked on stack exchange, here. In my head it seems like a fairly reasonable thing to ask for, but I'm not aware of any construction in the literature.
Let $p:E\rightarrow …
- 5,596
21
votes
1
answer
760
views
Maps out of Eilenberg-Mac Lane Spaces
Is anything known about the maps out of an Eilenberg Mac-lane Space $K(G,n)$?
Obviously I'm interested in extensions of Miller's resolution of the Sullivan conjecture, that $Map_*(K(G,1),X)\simeq\ast …
- 5,596
4
votes
0
answers
113
views
Reference request: Basic H-Space properties of $SO(3)$
I dug into the literature but could not find references for some of the basic H-space properties of $SO(3)$. Basic properties that I am looking for include
What H-maps are there $SO(3)\rightarrow S^ …
- 5,596
4
votes
0
answers
87
views
The order of $im(\nu'_*)\subseteq \pi_*S^3$
The 3-sphere $S^3$ has homotopy 2-exponent 4. That is, any 2-torsion element $\alpha\in\pi_*S^3$ has order at most 4. This bound is sharp, for example the Blakers-Massey element $\nu'\in\pi_6S^3$ has …
- 5,596
7
votes
3
answers
982
views
Is $S^1\vee S^1$ an Eilenberg-Mac Lane Space to a Homotopy Purist?
I believe that $S^1\vee S^1$ is the Eilenberg-Mac Lane space $K(\mathbb{Z}\ast\mathbb{Z},1)$. One can prove this by constructing its universal cover and observing that it is contractible.
My question …
- 5,596
8
votes
0
answers
253
views
What is known about maps between loop spaces of Spheres? - Reference request
What is know in general about the maps $\Omega^rS^n\rightarrow\Omega^sS^m$ between loop spaces of Spheres, or, perhaps to phrase it better, the groups $[\Omega^rS^n,\Omega^sS^m]$ for various values o …
- 5,596
29
votes
3
answers
3k
views
The homotopy category is not complete nor cocomplete
I understand that the homotopy category of (pointed) topological spaces and continuous maps is not complete. Nor is it cocomplete. In particular it neither has all pullbacks nor all pushouts.
What ar …
- 5,596
6
votes
1
answer
292
views
Homotopy Type of the Based Mapping Space $Map_*^{(k,l)}(\mathbb{C}P^2,BU(2))$
Path components of the based mapping space $Map_*(\mathbb{C}P^2,BU(2))$ are indexed by a pair of integers $(k,l)$ determined by the values of the first two Chern classes that a map $f:\mathbb{C}P^2\ri …
- 5,596
4
votes
0
answers
231
views
The homotopy type of the mapping space $Map_{B\rho}(BS^1,BG)$? for $G$ a compact Lie group
Given a homomorphism $\rho:S^1\rightarrow G$ with $G$ a compact Lie group there is an induced map of classifying spaces $B\rho:BS^1\rightarrow BG$. What is known about the homotopy type of the mapping …
- 5,596
2
votes
1
answer
367
views
'Accidental' isomorphisms for $Spin^C(n)$
The complex spin groups $Spin^C(n)$ appear in the fibration
$Spin(n)\rightarrow Spin^C(n)\rightarrow\ S^1$
which must split since $BSpin(n)$ is 3-connected to give a homotopy equivalence
$Spin^C(n) …
- 5,596
9
votes
0
answers
320
views
Samelson Products in $SO(n)$
Given a topological group $G$ one forms the commutator $c\colon G\times G\rightarrow G$, $(x,y)\mapsto xyx^{-1}y^{-1}$. This map then factors through the smash $G\wedge G$. This map is the most genera …
- 5,596
28
votes
2
answers
2k
views
Why study the p-completions of a space?
Given a nice topological space $X$ there are various notions of a 'completion' at a set of primes. Some of the most common constructions may be found in Bousfield-Kan's, May's, Neisendorfer's or Sulli …
- 5,596
15
votes
3
answers
462
views
How stable is the top cell of a Lie group?
It is well known that the fundamental class of a compact Lie group $G$ is stably spherical (see "H-Spaces and Duality" by Browder and Spanier, or "Thom Complexes" by Atiyah), and there is a stable equ …
- 5,596