**3**

votes

**1**answer

93 views

### group completion theorem by using homology fibrations

In the paper Homology fibrations and group completion theorem, McDuff-Segal (www.maths.ed.ac.uk/~aar/papers/mcdsegal.pdf), page 281:
Let $M$ be a topological monoid such that $\pi_0M$ is generated by ...

**5**

votes

**0**answers

115 views

### Moore spectra are not E-infinity (oldest known proof)

Fix a prime $p$. Let $M_p(i)$, the $i$-th Moore spectrum at the prime $p$, be the cofiber of the map
$$ S^0 \overset{p^i}\longrightarrow S^0 $$
where $S^0$ be the sphere spectrum. In the Mathoverflow ...

**1**

vote

**0**answers

57 views

### Internal Hom on simplicial presheaves and the preservation of cofibrant objects

1)Let $\mathcal{C}$ be a cartesian closed small category. Let $\operatorname{Map}\: : \: sPsh(\mathcal{C})\times sPsh(\mathcal{C})\to sPsh(\mathcal{C})$ be the internal Hom of simplicial presheaves, ...

**5**

votes

**2**answers

299 views

### On combinatorial and cellular model categories and infinity categories

I am looking for a counterexample. Let me first give the set-up. When you work with model categories, it is extremely common to assume they are cofibrantly generated. For me, this means the definition ...

**8**

votes

**0**answers

157 views

### Simplices and cubes

Question: What is the first appearance in the literature of one of the
following statements:
The result of intersecting a simplex with a cell of the dual
subdivision is a cube
There ...

**6**

votes

**3**answers

445 views

### Higher refinement of Seifert-van Kampen theorem on the language of hocolim

I like the following version of SvKT. If $\Pi_1$ is the functor of fundamental groupoid and $(X_i)_{i\in I}$ is a diagram of spaces then
$$\Pi_1({\sf hocolim}\: X_i)\simeq {\sf hocolim}\: ...

**3**

votes

**1**answer

167 views

### Does the CGWH-fication change the (weak) homotopy type?

Let $Top$, $CG$, $WH$, $CGWH$ be the categories of topological spaces, compactly generated spaces, weak Hausdorff spaces and compactly generated weak Hausdorff spaces.
There is the CG-ification ...

**3**

votes

**0**answers

56 views

### Are maps homotopic with respect to a uniform number of local homotopies

I've encountered the following problem that I'm sure someone more topologically inclined can answer:
Say that a homotopy of maps $f:X\times[0,1)\to Y$ between two compact smooth manifolds $X$ and $Y$ ...

**4**

votes

**1**answer

287 views

### $\Omega X$-action on spectral $X$-bundles

I can generalize the notion of a space over $X$ (where $X$ is a based and connected space) to the notion of a spectrum over $X$ by considering functors of quasicategories $X\to Mod_\mathbb{S}$. In the ...

**8**

votes

**1**answer

199 views

### Tensor products over operads and bar constructions

Let $O$ be an operad in spaces, $A$ an $O$-algebra and $R$ an right $O$-module. One can define $R \otimes_O A$ as the coequalizer of the two maps $ROA$ to $RA$. One can also define $B(R,O,A)$ (as in ...

**0**

votes

**3**answers

74 views

### smash product of pointed spaces preserve weak equivalences

Consider the category of pointed simplicial sets with usual notion of weak equivalence. The question is does the functor
$$Y \mapsto X\wedge Y$$ preserve weak equivalences? or at the very least does ...

**-2**

votes

**1**answer

108 views

### configuration space and iterated loop space

Let the topological monoid $M$ be the configuration space $C(\mathbb{R}^n;X)=C_n(X)$ as in the book The geometry of iterated loop spaces, Theorem 5.2. I want to prove that the map $\alpha_n$ in ...

**8**

votes

**0**answers

358 views

### Derived functors - homotopical vs homological approach

This question is a crosspost of the second part of this MSE question.
In my first course in homological algebra, derived functors were defined in terms of universal $\delta$-functors. In the text ...

**3**

votes

**1**answer

256 views

### localization and $E_{\infty}$-spaces

Let $\mathrm{Top}$ be the model category of topological spaces. Define a new model structure on $\mathrm{Top}$ where $f:X\rightarrow Y$ is a weak equivalence iff ...

**8**

votes

**1**answer

232 views

### Pull-back of a fibration along a homotopy equivalence and homotopy classes of sections

I previously asked this on Math.SE but didn't receive a satisfactory answer.
Let $p:E\rightarrow B$ be a fibration (i.e. have the homotopy lifting property with respect to all spaces), and $f: ...

**1**

vote

**0**answers

98 views

### group completion of topological monoid

Let $M$ be a topological monoid. The group completion of $M$ is defined as $\Omega BM$, where $BM$ is the classifying space of $M$.
In Lecture Notes in Math. 533, The homology of C n+1 spaces, n>=0, ...

**2**

votes

**0**answers

95 views

### Nilpotency of BG^+

I have become interested in knowing if there are conditions, in the literature, under which the action of the fundamental group of BG^+ acts nilpotently on its higher homotopy groups, where the + ...

**-1**

votes

**0**answers

25 views

### why group completion of configuration space is the iterated suspension space

In Lecture notes in mathematics Vol. 533, The homology of $C_{n+1}$-spaces, $n\geq 0$, F. Cohen, page 226, Corollary 3.3:
$\alpha_{n+1}: C(\mathbb{R}^{n+1};X)\to \Omega^{n+1}\Sigma^{n+1}X$ is a ...

**3**

votes

**1**answer

83 views

### Segal maps for Segal precategories

A Segal precategory is just a simplicial space $X:\Delta^{op} \to sSet$ such that its $0$-th space is discrete (i.e. constant). A Segal category is defined everywhere in the literature as a Segal ...

**8**

votes

**1**answer

173 views

### Direct proof that $U$ is an $E_\infty$-space

An immediate consequence of Bott periodicity is that the infinite unitary space is an infinite loop space and so an $E_\infty$-space. I wonder if there is a direct proof (not using $U = \Omega^2 U$) ...

**0**

votes

**1**answer

97 views

### iterated loop spaces and configuration spaces [closed]

In the lecture notes by J.P. May, The geometry of iterated loop spaces, Chapter 5, formula (1), (2) and (10), a map
$$
\phi: Hom_T(X,\Omega Y)\to Hom_T(SX,Y)
$$
is defined. And a map
$$
...

**8**

votes

**1**answer

190 views

### When does the free loop space fibration split?

This question is a repost from stack.exchange. It didn't get a lot of attention there. Perhaps it is badly written (or silly?). If so, I'd be happy to get comments/suggestions about that.
Let $X$ be ...

**5**

votes

**1**answer

183 views

### Map between homotopy groups of O, related to J-homomorphism and K-theory of Z

Let $s \geq 0$ be fixed. The $J$-homomorphism includes $\pi_{8s+1}(SO) = \mathbb Z/2$ in $\pi_{8s+1}^s$, the $(8s+1)$-th stable homotopy group of spheres.
Now regard $\pi_{8s+1}^s = \pi_{8s+1} ...

**32**

votes

**1**answer

771 views

### What can topological modular forms do for number theory?

Topological modular forms ($TMF$) have in the recent years made an impact in algebraic topology. Roughly, the spectrum $tmf$ is the (derived) global sections of the sheaf of $E_\infty$ ring spectra ...

**6**

votes

**0**answers

273 views

### What's the detailed proof of “the composition of planar tangles is well-defined”?

In the planar algebra theory (see here or there section 2), a planar tangle is an isotopy class; then to define the composition of two tangles, we need to choose a representative in each classes. See ...

**2**

votes

**2**answers

204 views

### Convergence of a sum with the ranks of homotopy groups

Let $F$ be a (nontrivial) topological space that satisfies the following conditions: 1) $\pi_n(F)$ has a trivial action of $\pi_1(F)$ for $n>0$ and 2) its homology groups are finitely generated. ...

**-2**

votes

**1**answer

73 views

### stable splitting into a wedge sum [closed]

Suppose $X$ is a CW-complex such that there is a stable splitting of $X$ into wedge sum
$$
\Sigma^t X\cong \bigvee _{k=1}^\infty Y_k.
$$
(1). Does this imply
$$
X\to \Sigma^tX\to \bigvee ...

**5**

votes

**0**answers

99 views

### Homotopy pullback preserving functor

In the paper http://arxiv.org/pdf/math/0101162.pdf, the authors claim during the proof of Prop. 4.2 that a functor $F:A \to B$ which preserves fibrations and weak equivalences preserves homotopy ...

**0**

votes

**0**answers

79 views

### a construction on Stiefel manifolds

Are there any references concerning the following space $V(k,N,X)$ and $U(k,N,X)$? And the cohomology of these spaces? Thanks.

**11**

votes

**1**answer

189 views

### The multiplication on $THH$ of finite fields

Let $k$ be a finite field, $THH(k)$ its topological Hochschild homology spectrum. For essentially formal reasons, we know that it's an $E_\infty$-algebra over the Eilenberg-Mac Lane spectrum $Hk$, and ...

**9**

votes

**1**answer

220 views

### Alexander duality for non-manifolds

Let $X$ be a CW complex and $A$ a subcomplex. I will assume that both are compact, and that $X$ is $n$-dimensional. Furthermore, assume that the local homology of $X$ is that of a manifold in a ...

**4**

votes

**0**answers

279 views

### is there a moduli of stable infinity categories?

I know there exists a groupoid-valued prestack parameterizing (connected) triangulated dg-categories (ie the points of this moduli are not objects of a fixed dg-category, but rather dg-categories ...

**3**

votes

**0**answers

102 views

### Inverse limit in shape theory

Is the shape theory of Hausdorff compact spaces complete with respect to the inverse limit operation?--complete means that for every inverse system of Hausdorff compact spaces, and the shape morphisms ...

**3**

votes

**1**answer

183 views

### Model structure on non-negative differential graded algebras with homological grading

I was wondering if there exists a model structure on the category of non-negative differential graded algebras with homological grading. To be more precise: Let $Ch_{k}$ the model category of ...

**7**

votes

**0**answers

231 views

### Why does $Mf$ always support an $Mf$-orientation?

Let $f:X\to BGL_1(\mathbb{S})$ be a morphism of $E_n$-spaces and determine a principle $GL_1(\mathbb{S})$-bundle over $X$. Then it can be shown in the classical case that there is always a Thom ...

**8**

votes

**0**answers

186 views

### Homotopy transfer in the opposite direction

Let $X\rightleftarrows Y\circlearrowleft$ be a strong deformation retraction of chain complexes (a.k.a. contraction), i.e. $X\rightarrow Y\rightarrow X$ is the identity, $Y\rightarrow Y$ is a homotopy ...

**15**

votes

**3**answers

556 views

### When can a class in $H^1(M;\mathbb{Z})$ be represented by a fiber bundle over $S^1$

For a topological space M, It is known from homotopy theory that the elements of the first cohomology $H^1(M;\mathbb{Z})$ are in 1-1 correspondence with homotopy classes of maps $[M,S^1]$
In my case ...

**4**

votes

**2**answers

283 views

### The classifying space of an infinite totally ordered set is contractible

I asked this question on math.stackexchange, but no one answered.
Let $(X,\le)$ be a totally ordered set. Regarding it as a category, it has a classifying space $B(X,\le)=|N_\bullet(X,\le)|$. This ...

**4**

votes

**0**answers

132 views

### Fundamental groups of stably parallelizable manifolds

Is it possible to realize every finitely presented solvable group as a fundamental group of a stably parallelizable closed n-manifold? If not, are there any known counterexamples?

**4**

votes

**0**answers

237 views

### Generalize $\pi_0(B\mathcal{C})\cong\{\text{objects}\}/\{\text{morphisms}\}$ to categories internal to topological spaces

Warmup:
Let $\mathcal{C}$ be an ordinary category. Denote by $$B\mathcal{C}=(\coprod_{i\in\mathbb{N_0}}N_{i}(\mathcal{C})\times\Delta^i)/\tilde{}$$ its classifying space, i.e. the geometric ...

**-1**

votes

**1**answer

92 views

### unordered configuration space of pointed space

Let $(X,*)$ be a pointed topological space.
Let $F(X,k)=\{(x_1,\cdots,x_k)\in X^k\mid x_i\neq x_j, i\neq j\}$.
Let $F(X,k)/S_k$ be the $k$-th unordered configuration space.
Is there an inclusion ...

**3**

votes

**2**answers

257 views

### How to show the following two definitions of homotopy monomorphism are equivalent?

Let $M$ be a model category. In Toen's The homotopy theory of dg-categories and derived Morita theory Page 11 it is written:
a morphism $x \to y$ in a model category $M$ is called a homotopy ...

**2**

votes

**0**answers

133 views

### Is the suspension of a weak equivalence again a weak equivalence?

Of course, the answer to this question depends on what we mean by suspension. If we work with based spaces and take the reduced suspension, the answer seems to be NO:
Take $X = \mathbb N$ (a ...

**1**

vote

**1**answer

119 views

### Unordered configuration space of $\mathbb{R}P^1$

In the paper
GEOMETRY OF TRUNCATED SYMMETRIC PRODUCTS AND REAL
ROOTS OF REAL POLYNOMIALS, JACOB MOSTOVOY, Bull. London Math. Soc. (1998) 30 (2):
159-165,
Theorem 2. (b): ...

**0**

votes

**0**answers

132 views

### Do there exist nontrivial motivic cohomology operations preserving weights?

Suppose that for each field $F$ a linear map $X(F): H_M^{p,q}(F, \mathbb{Q}) \longrightarrow H_M^{p,q}(F,\mathbb{Q})$ is given, such that $X$ commutes with inclusions of fields and transfers for ...

**3**

votes

**0**answers

98 views

### Homotopy (co)limit (co)cones

Let $\mathscr{M}$ be a model category and let $\mathscr{I}$ be a small category. Consider any homotopy colimit functor ...

**1**

vote

**1**answer

107 views

### $\pi_0$ of a cosimplicial space

Let $n\mapsto X^n$ be a cosimplicial simplicial set and $X:= \underset{\longleftarrow}{\rm holim}\ X^n$ the homotopy limit. Is the natural map
$$ \pi_0(X) \to \underset{\longleftarrow}{\rm lim}\ ...

**12**

votes

**1**answer

608 views

### What if homotopy were expanded to allow any connected space instead of [0,1]?

What would happen to homotopy theory if we used a more general definition of homotopy, based on general connected spaces rather than [0,1]?
Given continuous $f,g:X\to Y$, define $f$ and $g$ to be ...

**6**

votes

**2**answers

155 views

### Direct proof that the model category of cdgas is left proper

Let $k$ be a field of characteristic $0$. The projective model structure on the category $cdga$ of commutative differential graded $k$-algebras is proper. Since this model structure is transferred ...

**9**

votes

**1**answer

189 views

### Dyer-Lashof operations and the homology of GL_n

For any ring R, $\bigsqcup_n {BGL}_n(R)$ is an $E_\infty$-space. Are there examples of rings where people have calculated $H_*(\bigsqcup_n {BGL}_n(R);\mathbb{Z}/2)$ and determined the Dyer-Lashof ...