**9**

votes

**3**answers

237 views

### Maps with Hopf invariant zero are suspensions

Let $h:\pi_{2n-1}(S^n) \rightarrow \mathbb{Z}$ be the Hopf invariant. I believe that in the same paper that proves his suspension theorem, Freudenthal proved that if $x \in \pi_{2n-1}(S^n)$ satisfies ...

**6**

votes

**1**answer

339 views

### Generalized Thom spectra

I am currently trying to wrap my head around all kinds of different definitions of the notion of (generalized) Thom spectrum. My setup is as follows: Suppose I have a commutative (symmetric) ring ...

**2**

votes

**2**answers

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

**0**

votes

**0**answers

97 views

### On Gromov's Theorem on Symplectic Homotopy

I want to understand the proof of the following theorem due to Gromov which I'll state in the context of Euclidean spaces. While I tried to read the proof from Macduff-Salamon, it turned out that my ...

**2**

votes

**0**answers

75 views

### When does a map in the stable homotopy group gets killed when smashed with cone of itself?

Consider an element $e \in \pi_n^s(S^0)$, in the stable homotopy groups of sphere. Let $C$ denote the spectrum which is cone of $e$, i.e. $C$ fits in the cofiber sequence
$$ S^n \to S^0 \to C.$$
...

**33**

votes

**4**answers

6k views

### Do we still need model categories?

One modern POV on model categories is that they are presentations of $(\infty, 1)$-categories (namely, given a model category, you obtain an $\infty$-category by localizing at the category of weak ...

**14**

votes

**1**answer

378 views

### Free Loop-Space Recognition Principle

It is well-known that one can detect based loopspaces using the machinery of operads. Namely, given a group-like space $X$ with an action of $\mathbb{E}_n$-operad, then it is homotopy equivalent as an ...

**5**

votes

**0**answers

114 views

### Actions of cofibrations and induced maps of cofibres

Working in some nice category of based topological spaces (compactly generated with CW homotopy type, say) suppose we have a homotopy commutative diagram
$$
\begin{array}{ccccc}
& & j & ...

**4**

votes

**1**answer

133 views

### fibrant generation of $sSet_{Quillen}$?

I wonder if someone has proved that $sSet_{Quillen}$ is not a fibrantly generated model structure ? Do we know something about the possible fibrant generation of $sSet_{Quillen}$ ?
Thanks

**30**

votes

**3**answers

2k views

### Are there pairs of highly connected finite CW-complexes with the same homotopy groups?

Fix an integer n. Can you find two finite CW-complexes X and Y which
* are both n connected,
* are not homotopy equivalent, yet
* $\pi_q X \approx \pi_q Y$ for all $q$.
In Are there two ...

**4**

votes

**1**answer

231 views

### Descent properties of spaces

I am trying to make sense of what is written in Rezk's draft http://www.math.uiuc.edu/~rezk/i-hate-the-pi-star-kan-condition.pdf
In particular, I am referring to Proposition 2.3, which is there stated ...

**1**

vote

**1**answer

52 views

### Cartesian products between cofibrant simplicial presheaves

Let $Psh(\mathcal{C})$ be the category of simplicial presheaves equipped with the projective model structure. The cartesian product between two representables presheaves is clearly again representable ...

**5**

votes

**1**answer

132 views

### homotopy tensor product of functors and bar construction

I'm trying to take familiarity with homotopy theory and I have the following questions. Let $\mathcal{C}$ be a small category, and let $F\: : \:\mathcal{C}\to \mathcal{M}$ that take values in a ...

**17**

votes

**1**answer

386 views

### Super-cobordisms

One can construct the $d$-dimensional bordism category by declaring the objects to be the $(d-1)$-dimensional compact manifolds without boundary and the morphisms the $d$-dimensional bordisms between ...

**2**

votes

**0**answers

112 views

### A Cartesian model structure (and straightening for) on $n$-trivial simplicial sets

A pair $(X,tX)$, with $X$ a simplicial set and $tX$ a collection of simplices of $X$, is said to be stratified if no $0$-simplex is in $X$ and all degenerate simplices of $X$ are in $tX$. Recall a ...

**5**

votes

**2**answers

152 views

### For a quasicategory $C$, why is $\mathrm{Fun}(\Lambda^2_0,C) \to \mathrm{Fun}(\Delta^{\{2\}},C) \cong C$ a cocartesian fibration?

More generally, I expect that the following is true:
Let $D$ be a diagram quasicategory, let $d \in D$ be a vertex, and use this to define $D' = D \amalg_{\Delta^{\{0\}}} \Delta^1$. Then ...

**11**

votes

**1**answer

406 views

### Homotopy spheres with vanishing and non-vanishing $\alpha$-invariant

I'm unsure whether this question is appropriate for mathoverflow, so feel free to criticize.
All manifolds are closed, smooth and have dimensions $n\ge 5$.
The Atiyah-Shapiro-Bott-Orientation gives ...

**3**

votes

**0**answers

173 views

### What are iterated cobar constructions?

In Beck's paper "On H-spaces and Infinite Loop Spaces", he states that every algebra over the monad $\Omega^k$$\Sigma^k$ is a $k$-fold loop space. He proves the trivial case k = 0 when this is the ...

**0**

votes

**0**answers

73 views

### homotopy end/coend [on hold]

I would like to compute the homotopy end/coend of a bifunctor $S\: : \: \mathcal{C}\times \mathcal{C}^{op}\to \mathcal{E}$ where $\mathcal{C}$ is a small category and $\mathcal{E}$ is a model ...

**-3**

votes

**0**answers

90 views

### cohomology of permutation group of order power of $2$

Let $S_k$ be symmetric group of order $k$. What is
$$
H^*(BS_{2^k};\mathbb{Z}_2)?
$$
$$
H^*(BS_{2^k};\mathbb{Z})?
$$
I only know the case $k=1$.

**2**

votes

**1**answer

125 views

### Fibration $p : \tilde Y \to Y$ with discrete fiber induces bijection $p_*:[X, \tilde Y]_* \to [X, Y]_*$

If $X$ is simply connected, locally path connected space and $p : \tilde Y \to Y$ is a covering map then it is easy to show that it induces bijection $p_*:[X, \tilde Y]_* \to [X, Y]_*$. Let's weak ...

**4**

votes

**3**answers

284 views

### Need examples of homotopy orbit and fixed points

I am no expert in equivariant homotopy theory. Let's say, I am planing to give a talk on homotopy fixed points and orbits. My audience will be graduate students who are doing algebraic topology or ...

**11**

votes

**1**answer

227 views

### What is obstructing two stably-isomorphic vector bundles from being isomorphic?

The specific situation is the following:
Let $n>0$ be a natural number, let $X$ be a finite CW complex of dimension $n$, and let $\xi_0,\xi_1$ be oriented real vector bundles of rank $n$ over $X$ ...

**1**

vote

**1**answer

60 views

### homotopic maps of locally finite spaces

It is well known that if $X,Y$ are $T_0$ Alexandrov spaces then they are just posets. With every such spaces we can associate an abstract simplicial complex $K(X)$ where the simplices are nonempty ...

**3**

votes

**1**answer

325 views

### Reference for comparison of heart cohomology with standard cohomology

I'm looking for a reference for the following fact (which I believe to be true and should be easy for people who understand how spectral sequences arise from filtrations).
Let A,B be two hearts of ...

**2**

votes

**0**answers

62 views

### Equivariant model structure on $G-\mathrm{Gpd}$

Let's denote $G\text{-}\mathrm{Gpd}$ the presheaf category $[\mathbf{B}G, \mathrm{Gpd}]$. Now assume that $\mathrm{Gpd}$ is endowed with its natural model structure where weak equivalences are ...

**26**

votes

**2**answers

811 views

### Maps which induce the same homomorphism on homotopy and homology groups are homotopic

I am interested in the following question. Are maps which induce the same homomorphism on homotopy and homology groups homotopic? I am sure the answer is no, however I cannot imagine how to construct ...

**8**

votes

**4**answers

928 views

### Algebraic K-theory and Homotopy Sheaves

Recently, when I was reading the definition of higher algebraic K-theory, I tried to give myself some motivation by looking at derived algebraic geometry. The constructions for algebraic K-theory ...

**2**

votes

**1**answer

136 views

### Lorentzian metrics on the torus up to continuos deformations

Any two Riemannian metrics can easily be deformed into each other, only obtaining positive definite metrics in between.
However, for metrics of other signatures this might not be possible.
Which ...

**2**

votes

**1**answer

191 views

### When are homotopy categories of model categories closed modules over the homotopy category of $(\infty, 1)$-categories?

Let $\mathrm{Quillen}$ be the model category of simplicial sets with the Quillen model structure, and $\mathrm{Joyal}$ the model category of simplicial sets with the Joyal model structure.
As is ...

**6**

votes

**1**answer

433 views

### Homologically distinct infinite loop structures on a space

Let $X$ be a connected pointed topological space equipped with two different actions of $E_\infty$-operad. Each action provides a collection of deloopings $X_i$, where $X_0 = X$ and $\Omega X_i$ is ...

**78**

votes

**4**answers

3k views

### What do the stable homotopy groups of spheres say about the combinatorics of finite sets?

The Barratt-Priddy-Quillen(-Segal) theorem says that the following spaces are homotopy equivalent in an (essentially) canonical way:
$\Omega^\infty S^\infty:=\varinjlim~ \Omega^nS^n$
...

**2**

votes

**0**answers

97 views

### Is the Thom diagonal co-$E_\infty$?

Given a map of spaces $f:X\to BGL_1(R)$ for $R$ an $E_\infty$-ring spectrum (of course this can be done more generally) one can produce a Thom spectrum $Mf$ by a number of methods. Let's denote such a ...

**2**

votes

**1**answer

131 views

### A Dold-Thom style construction of a cohomology class from a sphere bundle

Re-reading my comment to the question Pontryagin class of quaternionic line bundle I suddenly realized that I do not understand something crucial about it. For the purposes of that crucial thing let ...

**7**

votes

**2**answers

318 views

### Constructing a “geometric” model structure on Cat by localizing the “categorical” model structure

Let $\text{Cat}$ be the category of (small) categories and functors. There is a "categorical" (also called "canonical" or "folk") model structure on $\text{Cat}$ in which the weak equivalences are the ...

**6**

votes

**1**answer

186 views

### Is there an analog of compactified moduli spaces(/stacks) for smooth manifolds?

This question has been inspired by an answer to the question Reference request: Topology on the space of smooth compact submanifolds; I've asked it in a comment to that answer but then decided to make ...

**2**

votes

**1**answer

129 views

### Two-bridge knots and CW-complex

The fundamental group of any two-bridge knot K in $\mathbb{S}^3$ has a presentation with two generators and one relation.
On the other hand, it's possible to provide a CW-complex with only one 0-cell ...

**3**

votes

**1**answer

132 views

### homology of configuration spaces of non-compact manifolds

Let $M$ be a manifold.
Let $F(M,n)$ be the configuration space of $n$-tuples on $M$.
Let $B(M,n)=F(M,n)/S_n$, where $S_n$ is the symmetric group of order $n$, be the corresponding unordered ...

**-2**

votes

**0**answers

205 views

### Constructing model category from given category [migrated]

Given a model category $\mathcal{M}$, Goerss and Hopkins constructed a subcategory (see Structured Ring Spectra, p. 160) $\mathbf{E}$ of $\mathcal{M}$ such that:
If $X\in\mathbf{E}$ and $Y$ is ...

**27**

votes

**2**answers

949 views

### Is there a “simplification” functor in algebraic topology?

Recall that a space (=CW complex) is called simple if it is connected, the fundamental group is abelian, and the fundamental group acts trivially on all higher homotopy groups. Call Simp(X) a ...

**19**

votes

**14**answers

6k views

### “Homotopy-first” courses in algebraic topology

A first course in algebraic topology, at least the ones I'm familiar with, generally gets students to a point where they can calculate homology right away. Building the theory behind it is generally ...

**1**

vote

**0**answers

151 views

### Under which conditions the inclusion of a sub-simplicial set of the nerve of a category is a Joyal equivalence?

Let $i: X \to \mathrm{N}\mathcal C$ be a monomorphism in the category of simplicial sets, with $\mathcal C$ a category and $\mathrm{N}\mathcal C$ its nerve. I am looking for sufficient conditions (and ...

**2**

votes

**1**answer

121 views

### recognising weak equivalences of simplicial sets

$\require{AMScd}$ I am interested in detecting using a lifting property when a map $f:X\to Y$ in $sSet$ (with the standard Kan model structure) is a weak equivalence. In the paper Weak Equivalences ...

**17**

votes

**3**answers

2k views

### Conjectures in Grothendieck's “Pursuing stacks”

I read on the nLab that in "Pursuing stacks" Grothendieck made several interesting conjectures, some of which have been proved since then. For example, as David Roberts wrote in answer to this ...

**1**

vote

**0**answers

100 views

### Properties of “incomplete finite simplicial complexes”

Definition: We say that $K'$ is an incomplete finite simplicial complex if there exists a finite simplicial complex $K$ such that $|K'|=|K|\backslash Y$ where $Y$ is a union of some open faces of K.
...

**6**

votes

**0**answers

134 views

### Connection between quasifibrations and homotopy cartesian squares

Let me first fix the definitions.
A map $p\colon E\rightarrow B$ is called a quasi-fibration, iff the canonical inclusion $p^{-1}(b)\rightarrow hofib_b(p)$ is a weak equivalence for all for all $b\in ...

**1**

vote

**1**answer

105 views

### Does the nerve functor preserve fibrations?

As asked in the title but more specifically: does the nerve functor from Cat to sSet map a fibration between groupoids to a Kan fibration ?
By fibration of groupoids I mean a fibration for the ...

**5**

votes

**2**answers

1k views

### Grothendieck spectral sequence and Mayer-Vietoris sequence

Suppose $U'\cup U''=X$ is an open cover $U$ of a topological space $X$ and $F$ is a sheaf on $X$ with values in abelian groups. There is a special instance of the Grothendieck spectral sequence ...

**8**

votes

**0**answers

251 views

### Homological algebra is linearized homotopical algebra?

I have stumbled across statements like
Homological algebra is linearized homotopical algebra.
Chain complexes are linearizations of simplicial complexes.
The Dold-Kan correspondence was ...

**5**

votes

**0**answers

140 views

### G-spaces and SG-module spectra

This question is related to the one here, but has a slightly different angle.
Let $G$ be a topological group and let $X$ be a $G$-space. Taking the suspension spectrum $\Sigma^{\infty}_+ X$ (in my ...