**-3**

votes

**0**answers

119 views

### Cylinder in a topological space? [on hold]

There is a notion of path in a topological space $X$, namely a continuous function f with domain X and codomain the interval $[0, 1]$.
Given that, in a Quillen model category, the dual of a path ...

**0**

votes

**1**answer

131 views

### equivalence in simplicial category

Let $(\mathcal{C},W)$ be a category with weak equivalences. One can build from $(\mathcal{C},W)$ its hammock localization $L^{H}(\mathcal{C},W)$ which is a simplicial category $\textit{ie}$ a category ...

**20**

votes

**2**answers

533 views

### Unstable homotopy groups of spheres beyond Toda's range

In 1962 Toda published his book "Composition methods in homotopy groups of spheres", which contains computations of $\pi_{n+k}(S^n)$ for $k\le 19$ and $n\le 20$. The values of these groups are ...

**4**

votes

**0**answers

82 views

### Contractibility of a poset-indexed colimit

Let $(X,\leq)$ be a poset with distinguished element $p$, and let $P'$ be the poset of "finite chains which weakly descend to $p$" given by all $\sigma = (x_0 \geq x_1 \geq \cdots \geq x_k \geq p)$ ...

**4**

votes

**1**answer

166 views

### To what extent are homotopy colimits over a weakly contractible category “determined by local data”?

[I'd be very happy for a better question title, if anyone has any suggestions.]
I have a category $C$, two functors $F,G : C \to \mbox{Cat}$, a natural transformation $\alpha : F \to G$, and a ...

**-1**

votes

**0**answers

169 views

### Please help me to find a paper by J. Wu [closed]

I am looking for the following paper:
J. Wu, Combinatorial descriptions of the homotopy groups of certain
spaces, Math. Proc. Camb. Philos. Soc. 130 (2001), 489-513.
Many thanks for helping me ...

**3**

votes

**2**answers

245 views

### Can one make a category concrete by “enlarging the universe”?

This is more or less a followup of this question. There, it was established that (it is well known that) the homotopy category of topological spaces is not concrete, in other words, there is no ...

**3**

votes

**1**answer

207 views

### Reference request for non-commutative analogues of exterior algebras

I am reading Combinatorial Group Theory In Homotopy Theory I by Fred Cohen (preprint available on web page). Here is an extract of the paper:
Cohen called $A^R_n$ "a standard tool used in ...

**5**

votes

**2**answers

232 views

### Obstructions for $E_n$-algebras

In Alan Robinson's paper, Classical Obstructions and S-algebras, he provides conditions for a ring spectrum to have an $A_n$ and $\mathbb{E}_\infty$-structure.
Have the obstructions for an object ...

**10**

votes

**1**answer

195 views

### String Orientation and Level Structures

Atiyah, Bott and Shapiro defined orientations of real and complex K-theory that were later refined to maps of ($E_\infty$-ring) spectra
$$MSpin \to KO$$
and
$$MSpin^c \to KU.$$
Likewise, but more ...

**0**

votes

**0**answers

45 views

### Lusternik-Schnirelmann category of rational spaces of infinite type

Suppose I have an $n$-dimensional (simply-connected) rational space $X$ with L-S category $k$. Must there be a finite rational subcomplex $K \subseteq X$ with $\mathrm{cat}(K) = k$?
Even better, I ...

**4**

votes

**2**answers

341 views

### $E_n$-space and n-connected pointed space

Is it true that the homotopy category of group-like $E_n$-spaces is equivalent to the homotopy category of pointed $n$-connected spaces ? If it is true, what should be the statement when ...

**5**

votes

**0**answers

99 views

### When is the diagonal inclusion a $\Sigma_2$-cofibration?

Recall that a space $X$ is called locally equiconnected or LEC if the diagonal map $d:X\hookrightarrow X\times X$ is a cofibration. For example, CW-complexes are LEC. There is some discussion of this ...

**7**

votes

**1**answer

290 views

### Computing naive algebraic singular homology

I'm not sure if this counts as research level, since it might just be an expression of my ignorance. But anyway.
Let $\Delta^n_A = Spec(A[X_0, \dots, X_n]/\sum X_i - 1)$ denote the standard algebraic ...

**4**

votes

**1**answer

211 views

### Is the classifying space of a symmetric monoidal category an infinite loop space?

Wikipedia states:
The classifying space (geometric realization of the nerve) of a symmetric monoidal category is an infinite loop space.
If my mind is correct, Segals delooping machine gives a ...

**1**

vote

**1**answer

106 views

### Request a paper by Fred Cohen

I am looking for the following paper by Cohen, F. R.:
On combinatorial group theory in homotopy. Homotopy theory and its
applications (Cocoyoc, 1993), 57–63, Contemp. Math., 188, Amer. Math.
...

**13**

votes

**1**answer

208 views

### Homogeneous spaces that are homotopy tori

Let $G$ be a compact Lie group, and let $H$ be a closed subgroup such that $G/H$ is homotopy equivalent to a torus. Is it true that $H$ is normal and $G/H$ is isomorphic to a torus as a Lie group?
...

**6**

votes

**1**answer

267 views

### Thom isomorphism from the ABGHR perspective

In ABGHR Thom spectra are described in the following way: we start with a morphism of Kan complexes $X\to \mathbb{S}\text{-line}$, where $\mathbb{S}\text{-line}$ is an $\infty$-groupoid which is ...

**7**

votes

**0**answers

339 views

### Failure of “equivariant triangulation” for finite complexes equipped with a $G$-action

Let $\mathcal{S}$ be the $\infty$-category of spaces, and let $G$ be a finite group, and let $BG$ be the groupoid with one object and automorphisms given by $G$.
Consider the $\infty$-category ...

**2**

votes

**2**answers

127 views

### When do zero-simplices of a simplicial diagram determine its homotopy colimit?

Suppose that I have a diagram of simplicial sets $X_\bullet:\mathscr{C} \to Set^{\Delta^{op}},$ with $\mathscr{C}$ a small category such that for each $C \in \mathscr{C},$ $X_\bullet(C)$ is a Kan ...

**7**

votes

**0**answers

147 views

### Whiskering a monad

In "The Geometry of Iterated Loop Spaces", May shows that any monad that is coming from an operad may be "whiskered", so that the unit map becomes a closed cofibration. The ability to do this is vital ...

**2**

votes

**0**answers

42 views

### Cell(J) vs Cof(J) in $\text{sSet}_{\text{Quillen}}$

consider sSet equipped with its Quillen model structure $\text{sSet}_{\text{Quillen}}$, we know that a trivial cofibration is a retract of a transfinite composition of pushouts of horn inclusions. I ...

**15**

votes

**2**answers

593 views

### When is a topological space the homotopy colimit of an open covering?

Suppose that $X$ is a topological space and $\left(U_i \to X\right)$ is an open cover. We can associate to it the Cech diagram of this cover $$C_U:\Delta^{op} \to Top.$$ I know that for many good ...

**1**

vote

**0**answers

89 views

### Identifying a cohomology class arising from a Postnikov decomposition of BU(2)

For various reasons I'm currently interested in Principal $U(n)$-bundles $U(n)\hookrightarrow E\xrightarrow{p} S^m\times X_g$ over the Cartesian product of an $m$-sphere and a closed oriented surface ...

**2**

votes

**1**answer

177 views

### Simplicial version of the A-infinity operad

I am looking for a description of the $A_\infty$ operad in the category of simplicial sets. More specifically, I am looking for a formulation of the loop space recognition principle for simplicial ...

**2**

votes

**1**answer

292 views

### fixed point and homotopy fixed points

Let $G$ be a group and $X$ be a $G$-space (finite G-CW-complexe when needed).
Let $p$ a prime number and $G= \mathbf{Z}/p\mathbf{Z}$,
If I'm not wrong Miller-Lannes,... theory provides tools and ...

**10**

votes

**1**answer

415 views

### Is there a category whose isomorphisms are precisely the simple homotopy equivalences?

If we start with the category of finite complexes and continuous maps, and then identify two morphisms iff they are homotopic, we get the homotopy category of finite complexes, and it is trivial to ...

**11**

votes

**2**answers

658 views

### from a circle to higher spheres

Question: Is there a group $G$ and a CW-complex $X$ such that
1) $X$ is homotopy equivalent to the circle $S^{1}$.
2) $G$ acts on $X$
3) the space of fixed points $X^{G}$ is weakly equivalent to ...

**5**

votes

**1**answer

269 views

### Framed version of braided monoidal category

The operad $\mathcal{D}_2$ of little $2$-disks is an operad whose $n$-th space is a $K(PB_n,1)$ where $PB_n$ denotes the pure braid group on $n$-strands. Algebras over $\mathcal{D}_2$ have a ...

**6**

votes

**2**answers

164 views

### Are all unstable homotopy groups of $U(n)$ torsion?

The first few unstable homotopy groups of the unitary groups $U(n)$ were calculated by Borel-Hirzebruch, Toda, and Kervaire, and they are all torsion. There is a paper by Matsunaga (details below) in ...

**0**

votes

**1**answer

101 views

### Unseparability of two linked rings in higher dimensions [closed]

I am not familiar with topology. We know that in $R^3$, we cannot separate two "rings": two copies of $S^1$, if they are "linked".
I wonder that is there any similar results for two copies of ...

**12**

votes

**2**answers

598 views

### Eilenberg-Mac lane spaces and a generalization

Let $G$ and $H$ be two abelian groups and let $n>1, m>1$ be two different integers. How many different spaces $X$ (up to homotopy) do we have with the property $\pi_{n} X=G$ , $\pi_{m} X=H$ and ...

**4**

votes

**1**answer

182 views

### Does “simplicial” commute with “Bousfield localization”?

Let $M$ be a model category and $S \subseteq \operatorname{Mor}(M)$ a set of arrows in (the underlying strict category of) $M$. Recall that the left Bousfield localization $L_SM$ of $M$ with respect ...

**3**

votes

**1**answer

330 views

### $E_{\infty}$ spaces are $A_{\infty}$ spaces

While studying the well-known "Geometry of Iterated Loop Spaces", I found this corollary which is not completely clear to me. (By $\mathcal{M}$ is meant the operad given by $\mathcal{M}(j):=\Sigma_j$, ...

**8**

votes

**1**answer

152 views

### Freely adding degeneracies does not change the homotopy type

Background: Let $S$ be a simplicial set. By freely adding degeneracies to $S$, I mean first applying the forgetfull functor from simplicial sets to semi-simplicial sets which forget the already ...

**11**

votes

**1**answer

257 views

### Diffeomorphisms and homotopy equivalences sliced over BO(n)

There are some classical results stating sufficient conditions on a manifold $\Sigma$ such that every homotopy equivalence $\Pi(\Sigma) \stackrel{\simeq}{\longrightarrow} \Pi(\Sigma)$ is homotopic to ...

**30**

votes

**4**answers

2k views

### Why is it so hard to compute $\pi_n(S^n)$?

Of course it isn't really that hard - nowhere near as hard as $\pi_k(S^n)$ for $k>n$, for instance. The hardness that I'm referring to is based on the observation that apparently nobody knows how ...

**6**

votes

**1**answer

167 views

### cohomology of classifying space of permutation groups

Let $\Sigma_k$ be the permutation group of order $k$.
Let $r: \Sigma_k\to GL(k)$ be the regular representation by permuting the order of the standard basis of $\mathbb{R}^n$.
Let $\rho: ...

**14**

votes

**0**answers

226 views

### Chromatic Spectra and Cobordism

I apologize in advance, if some of the things I've written are incorrect.
The cobordism hypothesis states that $\mathbf{Bord}^\mathrm{fr}_n$ is the free symmetric monoidal $(\infty,n)$-category with ...

**3**

votes

**1**answer

198 views

### Motion planning algorithm

Consider a path connected topological space $X$, one can equip its path space $PX=\{ \gamma: [0,1] \longrightarrow X \; continuous\}$ with the compact open topology. We call a motion planning ...

**8**

votes

**0**answers

86 views

### What suffices to check completeness in an n-fold Segal space?

Recall that a Segal space is a simplicial space $X : \Delta \to \mathrm{Spaces}$, $\bullet \mapsto X_\bullet$, which satisfies the
Segal condition: For each $j$, the map
$$ X_j \to ...

**20**

votes

**4**answers

2k views

### Why the Dold-Thom theorem?

Dold-Thom Theorem: $$\pi_i(SP(X))\cong\tilde{H}_i(X)$$
It's pretty miraculous, no? I've seen its proof, where you show that the composition of the functors on the left-side satisfies the axioms of a ...

**3**

votes

**1**answer

262 views

### Classifying space for fibrations with Eilenberg-MacLane space as fibers

The following result seems to be frequently quoted:
Consider the fibration $K(\pi,n)=\Omega K(\pi,n+1)\to PK(\pi,n+1)\to K(\pi,n+1)$. Let $B$ be any topological space (which is not too pathologic). ...

**0**

votes

**0**answers

159 views

### Goodwillie tower of $\Omega^n$?

What are layers of the Goodwillie tower of the functor "n-th iterated loop space" from based spaces to based spaces? I know the answer for n=0.

**14**

votes

**2**answers

734 views

### Is homology finitely generated as an algebra?

If a differential graded algebra is finitely generated as an algebra, is its homology finitely generated as an algebra?
Is it easier if we impose any of the three conditions: characteristic zero; ...

**2**

votes

**0**answers

99 views

### When is the product of an infinite family of simplicial sets also a homotopy product?

The homotopy product of an infinite family of simplicial sets can be computed
by deriving the product functor sSetW→sSet, for example,
by performing the componentwise fibrant replacement using Kan's ...

**5**

votes

**0**answers

100 views

### Explicit generators for homotopy groups of Lie groups

I would like to know explicit formulas for generators of the infinite cyclic summands in the homotopy groups of Lie groups, in the form of continuous (or smooth if possible) maps $S^n\to G$.
It is ...

**2**

votes

**1**answer

92 views

### Can this simple integral be zero for a Jordan curve?

The following simple problem came up while doing some unrelated research.
Does there exist a Jordan curve $\gamma : [0,2\pi] \to \mathbb{C}$ of positive orientation, lets say $C^1$-smooth (just to ...

**8**

votes

**0**answers

138 views

### Reference for maps whose pushouts are also homotopy pushouts

Consider a category C with weak equivalences, e.g., a model category.
For the purposes of this question, let's say that a morphism f in C is an i-cofibration if any pushout (alias cobase change) ...

**4**

votes

**0**answers

223 views

### Commutation of simplicial homotopy colimits and homotopy products in spaces

Edit: The claim below is wrong, as explained in the comments,
because infinite homotopy products of simplicial sets require their components to be fibrantly replaced first, unlike finite homotopy ...