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 ...

learn more… | top users | synonyms

0
votes
0answers
25 views

Fixed point shape property

Question: Provide (or prove that it's not possible) a metric compact space which has the fixed point property but not the fixed point shape property. Here is the definition of f.p.s.p.("map" means ...
3
votes
0answers
48 views

Intuition for density comonad in relation to lifting problems

In Emily Riehl's Categorical Homotopy Theory, there is a section on Garner's Small Object Argument which I'm trying and failing to understand. Originally I followed most of Garner's paper, using the ...
5
votes
1answer
84 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 ...
15
votes
2answers
288 views

Table of (integral) cohomology groups of K(Z,n)

Can I find somewhere a table of the (first few) cohomology groups of $K(\mathbb{Z},n)$ with integer coefficients? It seems like a natural counterpart to the table of the homotopy groups of spheres, ...
1
vote
0answers
104 views

Is every path connected space continuously path connected

Recall a topological space $X$ is path connected if for all $x,y \in X$ there is a continuous function $f\colon [0,1] \to X$ such that $f(0)=x$ and $f(1)=y$. Say that $X$ is continuously path ...
7
votes
1answer
84 views

Can a weak fibration category be non saturated?

A weak fibration category is a category $\mathcal{C}$ equipped with two subcategories $$\mathcal{F}, \mathcal{W} \subseteq \mathcal{C}$$ containing all the isomorphisms, such that the following ...
10
votes
1answer
212 views

Difficulties with descent data as homotopy limit of image of Čech nerve

Apologies if this question is inappropriate for MO. It is not a research level question in any of the topics it addresses, I just don't see how a novice can go about answering it alone (I've tried ...
3
votes
0answers
142 views

Complete Segal operads and dendroidal sets

There is a Quillen equivalence between the model category presenting Lurie's $\infty$-operads (which are inner fibrations $\mathcal{C}\to\mathrm{N}(\mathbf{F})$ satisfying certain conditions) and the ...
4
votes
1answer
147 views

Formula relating the cup product in dimensions n and n+1

Let's will write $K_n$ for the Eilenberg-MacLane space $K(\mathbb{Z},n)$. I remind that $K_n$ is equivalent to the loop space of $K_{n+1}$. Let’s consider the map $\smallsmile:K_n\times K_m \to ...
24
votes
2answers
826 views

What is the relation between sphere spectrum and supersymmetry?

In this this google+ post of Urs Schreiber, he says: "Grading over the sphere spectrum is supersymmetry" and then he redirect us to the abstract idea of superalgebra (in nLab). Are there some ...
3
votes
1answer
194 views

(Geometric) Proof for the projective bundle formula in K-theory

I'm trying to piece together a proof of the projective bundle formula from several incomplete sources. Here's the statement I'd like to prove: Projective bundle formula: Let $\pi: E \to X$ be a ...
6
votes
1answer
310 views

Why are quasi-isomorphisms of homotopy algebras only defined for arity 1?

When reading about homotopy algebras (e.g. $L_\infty$-algebras, $A_\infty$-algebras), an $\infty$-morphism $f$ is called an $\infty$-quasi-isomorphism if $f_1$ is a quasi-isomorphism. Recall/Example ...
12
votes
2answers
368 views

H-space structures on non-sphere suspensions?

It is well known that $S^n$ admits an H-space structure if and only if $n=0,1,3,7$. I'm interested in whether there are other suspensions $\Sigma X$ that admit H-space structures: Question 1 For ...
13
votes
2answers
387 views

Discrete Morse theory: how do zig-zag paths determine homotopy type?

Let $\Delta$ be a simplicial complex (or more generally, a regular CW complex). Let $\mathcal{M}$ be a Morse matching (or equivalently, a discrete Morse function) on $\Delta$. By Forman's theorems, ...
12
votes
1answer
219 views

From relative categories to marked simplicial sets

Both relative categories and marked simplicial sets (over Δ^0) present the ∞-category of ∞-categories. Naturally, one could ask whether there is a reasonably direct way to pass between these two ...
6
votes
1answer
231 views

Closed formulas for topological K-theory?

Let $X$ be a compact manifold. I'm interested in whether any of the following cases admits a general closed formula for (complex)-$K$-theory. Let $E$ be a complex vector bundle with a given line ...
3
votes
0answers
140 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
votes
0answers
165 views

Homotopy groups of the Grassmannians

What are the homotopy groups of the oriented Grassmannian $Gr^{+}(p,q)$ (p-planes in $R^{p+q}$) $\pi_{r}(Gr^{+}(p,q))$, $r \le pq$? Do you know any references on the web about it?
13
votes
2answers
364 views

When do colimits agree with homotopy colimits?

I'm wondering about when the colimit and the homotopy colimit agree with diagrams of simplicial sets. I know that hocolim$(F)=$colim$(F_c)$ where $F_c$ is the cofibrant replacement of $F$. However, it ...
13
votes
1answer
314 views

Homotopy fiber of a map between classifying spaces

I'm looking for a reference (and precise hypothesis if more are needed) for the following facts (or a correction, if I'm just plain wrong): Let $G$ and $H$ be topological groups and $f : G \to H$ be ...
14
votes
2answers
399 views

$RO(G)$-graded homotopy groups vs. Mackey functors

Everything here is model-independent: either take co/fibrant replacements wherever appropriate, or work $\infty$-categorically. Also, I've looked through other similar MO questions, but I didn't find ...
8
votes
1answer
224 views

Relative version of Quillen's theorem A

Quillen's Theorem A is formulated as follows: Let $F:X\to Y$ be a functor between small categories. Suppose for each $y\in Y$ the category $F/y$ is contractible. Then $F$ induces a weak equivalence ...
3
votes
0answers
62 views

SImple homotopy type of a mapping cone

Consider two CW complexes A and B. Let f be a continuous map from A to B. Take a cone of f and denote it by Cone(f). If homology complex of Cone(f) is acyclic, one can identify homologies of A and B. ...
48
votes
2answers
2k views

What is the mistake in the proof of the Homotopy hypothesis by Kapranov and Voevodsky?

In 1991, Kapranov and Voevodsky published a proof of a now famously false result, roughly saying that the homotopy category of spaces is equivalent to the homotopy category of strict infinity ...
13
votes
0answers
391 views

Solving polynomial systems with homotopy. Where is the bottleneck?

I have a polynomial system with $n+k$ unknowns ($n+k$ can be greater than 8), that is known to have a limited number of isolated solutions. I want to solve this system numerically, but if I plug it ...
5
votes
0answers
163 views

What makes Reedy model categories useful?

I have been reading up a bit on the Reedy model structure on the category of simplicial objects in a model category $\mathcal{C}$ in Goerss-Jardine. One thing I find a bit unclear is what the Reedy ...
1
vote
1answer
114 views

pullback square in Goerss-Jardine

In proving the the existence of the Reedy model structure on the category of simplicial objects in a model category $\mathcal{C}$, Goerss-Jardine prove there is a pullback square induced by a map of ...
15
votes
0answers
264 views

Does the “holomorphic spheres-to-continuous spheres” forgetful function respect the mixed Hodge structures on homotopy groups?

For each smooth, projective, complex variety $X$ that is simply connected, John Morgan constructed a natural mixed Hodge structure on the homotopy group $\pi_k(X,x)\otimes \mathbb{Q}$. This was ...
11
votes
1answer
251 views

Whitehead products and Framed Manifolds

The attaching map for the top cell of the torus $S^n \times S^n$ is a map $$ [x,y]: S^{2n-1} \to S^n \vee S^n $$ where the notation is such that $x,y : S^n \to S^n \vee S^n$ are the two ...
8
votes
1answer
225 views

Can the groupoid completion of a topological category be recovered from its classifying space?

Let $C$ be a category. The groupoid completion of $C$ is the free groupoid on $C$, i.e. the category $C[C^{-1}]$ obtained by localizing at everything. Recall that the classifying space $\mathbf{B}C$ ...
5
votes
0answers
128 views

Push forward of the constant sheaf for a Serre's fibration

Let $f\colon X\to Y$ be a proper continuous map of topological spaces which is a Serre's fibration. $X$ and $Y$ may be assumed to be locally compact, $Y$ is connected topological manifold of finite ...
18
votes
1answer
633 views

How to stop worrying about enriched categories?

Recently I realized that ordinary category theory is not a suitable language for a big portion of the math I'm having a hard time with these days. One thing in common to all my examples is that they ...
8
votes
1answer
180 views

Homotopy type of diffeomorphism which are the identity on and near the boundary

Let $M$ be a compact manifold with boundary. Denote by $Diff(M), Diff_\partial(M)$ and $Diff_{U\partial}(M)$ the groups of diffeomorphisms of $M$ and the subgroups of the ones that are the identity on ...
4
votes
0answers
61 views

Homology of simplicial manifolds

Let $M_{\bullet}$ be a simplicial manifold. There are two ways to computing its cohomology. Consider the cosimplicial module $A_{DR}(M)$. It defines a functor $A_{DR}(M_{\bullet})\: : \: ...
1
vote
0answers
110 views

Structures on the free path space object

Let $X$ be a connected topological space. Then its based loops space $\Omega X$ is an examples of $A_{\infty}$ space. Let $PX$ be the free paths space. Which type of homotopical structures are ...
3
votes
1answer
92 views

Path space of a simplicial topological space?

Given a connected topological space $X$, its space of path $PX$ is again a topological space. On the other hand, for a simplicial set $K_{\bullet}$, its path space is given by $$ ...
5
votes
0answers
89 views

cohomology ring of configuration spaces on $S^2$ and the projective plane

For a manifold $M$ and a positive integer $n$, the unordered configuration space $B(M,n)$ is the space consisting of all unordered collections of $n$ distinct points on $M$. Precisely, $$ ...
8
votes
0answers
125 views

Model category of cofibrant topological spaces

By browsing the list of open problems in Mark Hovey's book "Model categories", I came across the following one (Problem 8.3): find a model structure on topological spaces, with the same weak ...
6
votes
1answer
172 views

Bousfield Localization and Quillen Equivalence

The notion of a (left, say) Bousfield localization of a model category doesn't seem to be invariant under Quillen equivalence. There are a lot of things that could go wrong. But I don't know any ...
11
votes
1answer
304 views

Dimension of a homotopy type

What is the state of knowledge about the dimension of homotopy types? By the latter I mean the minimal number which is the dimension of a topological space representing the homotopy type. The open ...
6
votes
0answers
132 views

Intuition behind small object argument and cofibrantly generated model categories?

With regards to model categories, what is the intuition behind the small object argument and cofibrantly generated model categories?
1
vote
1answer
101 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 ...
4
votes
0answers
99 views

Does the Amitsur complex have a universal property?

The question is essentially the title. In other words, is there some universal property that the Amitsur complex for a morphism of rings $\phi:A\to B$ satisfies as a cosimplicial ring, or cosimplicial ...
4
votes
1answer
149 views

When does the projective model structure on functors exist?

What this boils down to is: if $\mathcal{K}$ is cofibrantly-generated model category which permits the small object argument and $\mathcal{D}$ is a small category, then when does ...
10
votes
1answer
245 views

real and complex vector spaces as topological categories

Let $Vect_{\mathbb{R}}$ be the category of (say, finite dimensional) vector spaces over $\mathbb{R}$. The automorphism group of the object $\mathbb{R}^n\in Vect_{\mathbb{R}}$, is $GL_n(\mathbb{R})$. ...
6
votes
0answers
185 views

Reference request: Whitehead product and the Borel construction

This is a question about signs. Fix a based space $(X,x_0)$, a topological group $G$ acting on $X$ from the left, so that the basepoint $x_0$ is fixed, a based map $\alpha\colon S^p\to G$ ...
9
votes
1answer
217 views

Is the hom-simplicial set in the hammock localization a nerve?

Let $(C,w)$ be a relative category. Then associated to it we have its hammock localization, $L^H(C,w)$, which is a simplicially enriched category. If $X,Y\in C$, the description of the simplicial set ...
7
votes
1answer
234 views

Cap product on Leray-Serre spectral sequences

Let $\ p:X\to B\ $ be a fibration of spaces with fiber $F$. Then there are homological and cohomological Leray-Serre spectral sequences $E^{r}_{pq}$ and $E_r^{pq}$ that converge to $H_*(X)$ and ...
6
votes
0answers
163 views

Bott-Samelson theorem for simplicial sets

Let $X\in \mathrm{sSet}$ and $FX$ be the Milnor's construction (model for $\Omega\Sigma |X|$) - in each dimension $n$ this is the free group on $X_n$ with one relation $*=1$. I'm interested in ...
10
votes
2answers
317 views

Stable homotopy groups of $RP^{\infty}$

Are the stable homotopy groups $\pi^s_i(\mathbb R P^{\infty})$ known for small $i$? In particular, I would be interested in the values for $i = 5,6$. A quick Internet search did not lead to anything.