**4**

votes

**0**answers

53 views

### Cofibrations in the model structures for non-negative graded (commutative) DG algebras

Let $k$ be a field of characteristic 0. Let $\mathtt{DGA}_{k}^{+}$ denote the category of non-negative graded DG algebras and $\mathtt{CDGA}_{k}^{+}$ denote the category of non-negative graded ...

**7**

votes

**1**answer

135 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

**0**answers

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

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

**8**

votes

**0**answers

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

**13**

votes

**3**answers

620 views

### Étale homotopy type of non-archimedean analytic spaces

The following is likely all obvious to the experts. But since the field looks tricky to an outsider, maybe I may be excused for asking anyway.
I am wondering about basic facts of what would naturally ...

**0**

votes

**0**answers

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

**15**

votes

**2**answers

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

**23**

votes

**2**answers

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

**24**

votes

**2**answers

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

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

**1**answer

514 views

### Cech nerve as homotopy colimit?

Given a category $\mathcal{C}$ with a notion of covering $\{ U_{i} \rightarrow X \}$ for an object $X$ (say $\mathcal{C}$ is a Grothendieck site), we can form the Cech nerve
$$ \cdots ...

**1**

vote

**0**answers

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

**10**

votes

**1**answer

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

**13**

votes

**2**answers

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

**7**

votes

**1**answer

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

**3**

votes

**0**answers

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

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

**6**

votes

**2**answers

2k views

### Generalized Categories for “Higher Homotopy Groupoids”

I was thinking about the definition of higher homotopy groups $\pi_n$ of a topological space in comparison to the common extremely formal fundamental groupoid construction of $\pi_1$. I'd like to be ...

**17**

votes

**3**answers

1k views

### How do you relate the number of independent vector fields on spheres and Bott Periodicity for real K-Theory?

The theory of Clifford algebras gives us an explicit lower bound for the number of linearly independent vector fields on the $n$-sphere, and Adams proved that this is actually always the best ...

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

**5**

votes

**0**answers

166 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?

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

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

**13**

votes

**1**answer

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

**13**

votes

**2**answers

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

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

**14**

votes

**6**answers

1k views

### A conceptual proof that local fibrations over paracompact spaces are global fibrations?

I'm teaching some homotopy theory at the moment, and I'm discovering a number of things I've never before learned properly. (I guess everybody who's ever taught knows that feeling.) One of those ...

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

**32**

votes

**3**answers

5k views

### What is the “intuition” behind “brave new algebra”?

Y.I. Manin mentions in a recent interview
the need for a “codification of efficient new intuitive tools, such as … the “brave new algebra” of homotopy theorists”. This makes me puzzle, because I ...

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

**14**

votes

**8**answers

1k views

### How to get product on cohomology using the K(G, n)?

This came up in the question about Eilenberg-MacLane spaces. Given the definition of K(G, n), it's easy to prove that there is a map ...

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

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

**33**

votes

**1**answer

2k views

### Are there any “homotopical spaces”?

This is a somewhat vague question; I don't know how "soft" it is, and even if it makes sense.
[Edit: in the light of the comments, we can state my question in a formally precise way, that is: "Is ...

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

**3**

votes

**3**answers

1k views

### Homotopy equivalence of certain kinds of adjunction spaces

Suppose that $X$, $Y$ and $Z$ are topological spaces, with $A\subset X$, a map $f:A\rightarrow Y$, and a homotopy equivalence $\phi:Y\rightarrow Z$. It seems fair to think that the adjunction spaces ...

**5**

votes

**1**answer

373 views

### First mention of the fundamental bigroupoid of a space?

The fundamental bigroupoid $\Pi_2(X)$ of a space $X$ was independently described by Hardie, Kamps and Kieboom (paywall) and Stevenson (arXiv) around the year 2000. HKK cite Baez-Dolan's seminal HDA0, ...

**11**

votes

**2**answers

1k views

### Five-lemma for the end of long exact sequences of homotopy groups

Consider the commutative diagram below with exact rows (from the long exact sequence of homotopy groups) and $f_1,f_2,f_4,f_5$ bijective ($f_1,f_2$ homomorphisms). Does it follow that $f_3$ is also ...

**19**

votes

**4**answers

2k views

### A possible generalization of the homotopy groups.

The homotopy groups $\pi_{n}(X)$ arise from considering equivalence classes of based maps from the $n$-sphere $S^{n}$ to the space $X$. As is well known, these maps can be composed, giving arise to a ...

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

**19**

votes

**5**answers

3k views

### Computing homotopies

Oftentimes, in the standard algebraic topology books (May, Switzer, Whithead, for instance), there are tricky little proofs that depend on proving that two maps are homotopic. This is comparable to ...

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

**23**

votes

**8**answers

2k views

### How many proofs that $\pi_n(S^n)=\mathbb{Z}$ are there?

Offhand I can think of two ways in classical homotopy theory:
Show that $\pi_k(S^n)=0$ for $k\lt n$ by deforming a map $S^k\to S^n$ to be non-surjective, then contracting it away from a point not in ...

**8**

votes

**1**answer

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

**8**

votes

**3**answers

2k views

### Why are we interested in the Fundamental Groupoid of a Space?

The classical version of the van Kampen theorem is concerned about the fundamental group of a based space. In fact, it says that the functor $\pi_1$ preserves certain types of pushouts in $Top_*$.
...