Questions tagged [homotopy-theory]
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.
13 questions from the last 30 days
3
votes
0
answers
151
views
Cell structure on the function space $\operatorname{Hom}(X,Y)$
By the Theorem of Milnor in his paper "On spaces having the homotopy type of a CW-complex", the function space $\operatorname{Hom}(X,Y)$ (with the compact-open topology) is homotopy ...
- 140
2
votes
0
answers
106
views
Induced homology map zero implies zero in cobordism?
I had asked this in math stackexchange, but got no reply. Hence, I'm asking here.
[I'm no expert in (co)bordism theory, and I've been struggling with it for the past few weeks. Any good references on ...
- 21
8
votes
1
answer
397
views
+50
Reduction of structure group and classifying spaces
Let $H, G$ be topological groups and $\phi : H \to G$ a group homomorphism. Let $M$ be a paracompact topological space.
For any principal $G$-bundle $P \to M$, a reduction (or sometimes 'lift') of its ...
- 95
6
votes
0
answers
209
views
Tate cohomology as a derived functor
I am trying to understand in what sense Tate cohomology may be regarded as the co-fibre of the norm map, from the perspective of derived functors.
Say $G$ is a finite group and $M$ is a $G$-module ...
- 2,907
4
votes
0
answers
100
views
Full subcategories of stable $\infty$-categories closed under all shifts
Is there a name for an $\infty$-category C that admits a zero object and suspensions such that the suspension functor $C \to C$ is an equivalence but which does not necessarily admit cofibers and ...
- 1,361
4
votes
0
answers
116
views
Categories enriched in $(m,n)\text{-Cat}$ with Crans–Gray tensor product
(All higher categories will be strict unless otherwise noted):
It is a somewhat folklorish fact that if you equip the category of $(m,n)$ categories with the cartesian monoidal structure, then a ...
- 423
3
votes
0
answers
170
views
Cellular structure of $F_4$
Is there the cellular structure of the Exceptional Lie group $F_4$?
Is there a reference to it?
Thanks
3
votes
2
answers
371
views
Is this true of the frame bundle $\operatorname{Fr}(M)$?
On an orientable (Riemannian) $n$-manifold $M$, with orthonormal frame bundle $\operatorname{Fr}(M)$, we have that the tangent bundle classifying map $\tau_M : M \to B{\operatorname O(n)}$ lifts to $B{...
- 95
6
votes
0
answers
147
views
Are cofibrant objects flat with respect to Day convolution?
Question
Let $\mathcal{C}$ be a small symmetric monoidal category. The category $\mathsf{sSet}^{\mathcal{C}}$ of simplicial precosheaves on $\mathcal{C}$ is a symmetric monoidal model category with ...
- 2,292
0
votes
0
answers
80
views
Reference for computing cohomology of $Q_nS^0$ (the $n$-th component of infinite loop space)?
$Q_nS^0=\varinjlim_k(\Omega^kS^k)_n$, where $(\Omega^kS^k)_n$ refers to homotopy classes of maps $(S^k,\ast)\to (S^k,\ast)$ of degree $n$. I already know the case of $n=0$.
Is there any reference ...
13
votes
2
answers
389
views
What does $\mathrm{Conf}_n(M)^{h S_n}$ look like?
$\DeclareMathOperator\Conf{Conf}$Let $M$ be a manifold, and $\Conf_n M$ the ordered configuration space of n points on $M$. The symmetric group $S_n$ acts by permuting the points.
Is there a simple ...
- 275
4
votes
1
answer
237
views
When does a cofibrantly generated model category have this factorization property?
Let $\mathcal{C}$ be a cofibrantly generated model category, which is generated by $I$ and $J$. According to the small object argument (Hovey Theorem 2.1.14) of cofibrantly generated model categories, ...
- 143
3
votes
1
answer
233
views
Do the two orientations on an orientable manifold $M$ witness the same lifts of $\tau_M: M \to B\text{O($n$)}$ to $B\text{SO($n$)}$?
For an orientable $n$-manifold $M$ and its (orthonormal) frame bundle classifying map $\tau_M : M \to BO(n)$, we have a lift diagram of the following sort:
There are two orientations on $M$. Is it ...
- 95