**5**

votes

**0**answers

58 views

### Smoothing a continuous section in 1-jet bundle

Here is a question I encountered when reading the book "Convex Integration Theory by D.Spring". My question lies in the second paragraph to the proof of theorem 4.2($C^{0}$-dense $h$-principle).
I ...

**8**

votes

**0**answers

145 views

### Holomorphic contractibility of GL(H)?

Kuiper's theorem is well-known to give the triviality of the homotopy groups of ${\rm GL}(\mathcal{H})$ for $\mathcal{H}$ a (separable) infinite-dimensional complex Hilbert space. Work of Palais later ...

**0**

votes

**0**answers

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

**7**

votes

**1**answer

114 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

**1**answer

127 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

**2**answers

325 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

**0**answers

111 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

**1**answer

85 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

**1**answer

219 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

**0**answers

143 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

**1**answer

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

**2**answers

836 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

**1**answer

195 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

**1**answer

313 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

**2**answers

370 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

**2**answers

389 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

**1**answer

220 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

**1**answer

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

**0**answers

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

**0**answers

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

**2**answers

368 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

**1**answer

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

**2**answers

401 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

**1**answer

225 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

**0**answers

63 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

**2**answers

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

**0**answers

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

**0**answers

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

**1**answer

116 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

**0**answers

265 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

**1**answer

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

**1**answer

226 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

**0**answers

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

**1**answer

636 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

**1**answer

181 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

**0**answers

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

**0**answers

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

**1**answer

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

**0**answers

90 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

**0**answers

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

**1**answer

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

**1**answer

305 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

**0**answers

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

**1**answer

102 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

**0**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**1**answer

218 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

**1**answer

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