**6**

votes

**1**answer

361 views

### Do homotopy limits compute limits in the associated quasicategory in the non-combinatorial model category case?

Suppose that $\mathcal{M}$ is a model category which is not combinatorial, does a homotopy limit in $\mathcal{M}$ correspond to a limit in the associated $\left(\infty,1\right)$-category?
How about ...

**1**

vote

**3**answers

322 views

### Does the nerve functor (resp. fundamental groupoid functor) preserve homotopy colimits (resp. homotopy limits)?

Let $\pi _1:SS\to Grpd$ denote the fundamental groupoid functor, from simplicial sets to groupoids, and let $N:Grpd\to SS$ denote the nerve functor. Then $\pi _1$ is left adjoint to $N.$
On ...

**16**

votes

**4**answers

615 views

### Multiplicative Structures on Moore Spectra

The motivation for this question is that I want "toy examples" of how to prove/disprove the existence of multiplicative structures on examples of spectra. The class of examples I am thinking of is the ...

**3**

votes

**3**answers

958 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_*$.
...

**1**

vote

**0**answers

75 views

### When can I compute the simplicial mapping space from a presheaf to a simplicial presheaf naively?

Suppose that $\mathscr{C}$ is is a small category, $Y$ is a presheaf (of sets) on $\mathscr{C},$ and $X_\bullet$ is a simplicial presheaf. There is a spectrum of simplicial model structures on ...

**20**

votes

**1**answer

717 views

### From the perspective of bordism categories, where does the ring structure on Thom spectra come from?

To fix ideas, let's consider the Thom spectrum of framed bordism $M$, the spectrum whose homotopy groups are the framed bordism groups. $M$ has a ring spectrum structure inducing the product of ...

**3**

votes

**0**answers

89 views

### How do you compute a homotopy colimit in a category of fibrant objects?

This question may be a bit vague, (so if suggested, can I make it community wiki), but I was wondering what techniques there exists for computing homotopy colimits in a category of fibrant objects. A ...

**8**

votes

**0**answers

157 views

### Does simplicial localization with a 3-arrow calculus commute with functor categories?

Let $(C,W)$ be a category with a class of weak equivalences, and $D$ a small category. Then I can form the diagram category $(C^D,W^D)$ with objectwise weak equivalences, and its simplicial ...

**1**

vote

**0**answers

104 views

### Retracts of 2-categories

Let $\mathbf{C}$ be a strict $2$-category and let $M = \{(x_\alpha,y_\alpha)\}$ be a collection of object-pairs so that each hom-category $\mathbf{C}(x_\alpha,y_\alpha)$ has an initial element ...

**3**

votes

**0**answers

186 views

### matrix ring spectra

I am trying to understand matrix ring spectra. Apparently, I have two different definitions of those and I did not manage to show that they are equivalent - maybe they even are not in the general ...

**7**

votes

**1**answer

174 views

### When does simplicial localization commute with functor categories?

Let $(C,W)$ be a category with a class of weak equivalences, and $D$ a small category. Then I can form the diagram category $(C^D,W^D)$ with objectwise weak equivalences, and its simplicial ...

**5**

votes

**2**answers

141 views

### Mapping complexes in the simplicial localization of the category of manifolds

Let $\mathit{Mfd}$ denote the category of smooth manifolds. Let $W$ denote all projections of the form $$M \times \mathbb{R} \to M.$$ Let $\mathit{Mfd}_W$ denote the Hammock localization of ...

**5**

votes

**1**answer

249 views

### endomorphisms of modules over symmetric ring spectra

I have a probably very basic question about modules over symmetric ring spectra:
Let $R$ be a commutative symmetric ring spectrum and let $M$ and $N$ be module spectra over $R$. Moreover, let ...

**6**

votes

**3**answers

478 views

### Simplest example of non-trivial Toda bracket in spaces

Many sources give an easy definition of a Toda bracket $\{f,g,h\}$ of appropriate maps $W \to X \to Y \to Z$ in spaces as a subset of the homotopy classes of maps $[\Sigma W, Z]$ (for example, ...

**3**

votes

**0**answers

104 views

### On the preservations of certain colimits (by covers) under simplicial localization (of a category of fibrant objects)

Suppose I have a category of fibrant objects $\mathcal{C}$ (with weak equivalences $W$ and fibrations $F$) together with a subcanonical Grothendieck pre-topology $J$ whose covering families consist of ...

**2**

votes

**1**answer

121 views

### Equivalence of the total spaces of two Serre fibrations with equivalent fibers

Let $B$ be a connected pointed CW complex, let $E$ and $E'$ be two CW complexes and let $f\colon E\to B$ and $f'\colon E'\to B$ be two Serre fibrations. Let $g\colon E\to E'$ be a continuous map such ...

**10**

votes

**1**answer

253 views

### Is there a non-zero ghost map between finite suspension spectra?

A morphism $f\colon X\to Y$ of spectra such that for every integer $n$ the induced map $\pi_n(f)\colon\pi_n(X)\to\pi_n(Y)$ on stable homotopy groups is zero is called a ghost map.
Not every ghost map ...

**6**

votes

**0**answers

221 views

### Topological quotient Hopf-algebras and “change-of-rings”

One way of constructing coalgebra objects in the homotopy theorist's category of spectra is to take the suspension spectrum of a space, with the diagonal providing a cocommutative comultiplication. ...

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

**5**

votes

**1**answer

364 views

### Dennis trace map K----> THH

I have some questions about Dennis trace map in algebraic K-Theory. I was wondering if there is some conceptual way to look at this map $K(-)\rightarrow THH(-)$ (natural transformation from K-Theory ...

**2**

votes

**0**answers

121 views

### Which reflexive coequalizer diagrams are projectively cofibrant?

Consider the walking reflexive pair category W,
which consists of two objects 0 and 1 and three generating
morphisms f: 0→1, g: 0→1, and h: 1→0
satisfying the relation fh=gh=id₁.
Consider the ...

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

**6**

votes

**0**answers

144 views

### Picard-Brauer exact sequence for infinity categories

This question may be very naive, or the answer may be well-known. In any case, a good amount of googling did not bring up anything useful (maybe I'm using the wrong words?).
If $f:A\to B$ is a ...

**8**

votes

**3**answers

822 views

### Grothendieck's Homotopy Hypothesis - Applications and Generalizations

Grothendieck's homotopy hypothesis, is, as the $n$lab states:
Theorem: There is an equivalence of $(∞,1)$-categories $(\Pi⊣|−|): \mathbf{Top} \simeq \mathbf{\infty Grpd}$.
What are the ...

**13**

votes

**1**answer

325 views

### Unobstructedness of braided deformations of symmetric monoidal categories in higher category theory

Let $k$ be a field of characteristic zero, and $\mathcal{C}$ be a $k$-linear additive symmetric monoidal category. A braided deformation of $\mathcal{C}$ over a local artin ring $R$ with residue ...

**10**

votes

**2**answers

420 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

215 views

### Divisibility in homology/homotopy

I have a simply-connected CW-complex $F$ of finite-type, and I know that the imprimitivity of its particular integral homology is divisible by an odd prime $p$; that is,
$$ \forall n,\exists \delta, ...

**9**

votes

**2**answers

432 views

### Is the geometric realization of a level-wise weak equivalence a weak equivalence?

For the purposes of this question a topological space will mean a compactly generated weak Hausdorff space, though I am actually somewhat flexible on what category of topological spaces we use. I ...

**23**

votes

**4**answers

1k views

### What (if anything) unifies stable homotopy theory and Grothendieck's six functors formalism?

I know of two very general frameworks for describing generalizations of what a "cohomology theory" should be: Grothendieck's "six functors", and the theory of spectra.
In the former, one assigns to ...

**91**

votes

**9**answers

5k views

### What non-categorical applications are there of homotopical algebra?

(To be honest, I actually mean something more general than 'homotopical algebra' - topos theory, $\infty$-categories, operads, anything that sounds like its natural home would be on the nLab.)
More ...

**4**

votes

**2**answers

212 views

### an explicit weak equivalence between $B{\mathbb G}_m$ and ${\mathbb P}^\infty$

OK, so I asked a similar question before; $B{\mathbb G}_m$ is a simplicial presheaf over number field $k$. I see that there is some $A^1$-homotopy equivalence between the sheaf represented by ...

**6**

votes

**1**answer

231 views

### Group actions in a homotopy category

Let $M$ be a model category and $G$ a finite group, and equip the category $M^G$ of $G$-objects in $M$ with, say, a projective model structure. Then there is a canonical functor
$$\mathrm{Ho}(M^G) ...

**10**

votes

**1**answer

403 views

### The homotopy of universal Thom spectrum

Let $S^0_p$ be the $p$-adic sphere spectrum. Let $GL_1(S^0_p)$ be the set of unit componen of $\Omega^{\infty}S^0_p$. For any map $ X \to BGL_1(S_p^0)$ we get a Thom spectrum call it $Mf$. Now ...

**5**

votes

**3**answers

298 views

### coend formulation of homotopy colimit

I have recently been trying to learn about homotopy colimits. In so doing, I have gone through way too many papers, and now I can't find the one which introduced homotopy colimits via a coend ...

**5**

votes

**2**answers

356 views

### Homotopy factorization of morphisms of chain complexes

This is a sort of follow up to this MO question.
Let $R$ be a ring (eventually with good properties) and $\mathrm{Chains}(R)$ be the category of chain complexes of $R$-modules (eventually bounded). ...

**2**

votes

**0**answers

90 views

### How to understand $\mathcal{L}BG \simeq G/^{\text{ad}}G$ in term of simplicial sets?

First let $G$ be a topological group and $BG$ its classifying space. Let $\mathcal{L}BG=\text{Map}(S^1, BG)$ be the free loop space of $BG$.
We can see that $\mathcal{L}BG$ has the homotopy type of ...

**10**

votes

**0**answers

302 views

### Thom Spectra and Hopf-Galois Extensions of Ring Spectra

So I've been fiddling with this for a long time, so apologies to anyone that's already heard me talk about this ad nauseum. I haven't been able to get anywhere with it, and it seemed that as such, it ...

**2**

votes

**1**answer

236 views

### Generator of $\pi_3(SU(4))$ in Mimura-Toda

In this paper of Mimura and Toda, tables are given for low-dimensional homotopy groups of $SU(3)$, $SU(4)$ and $Sp(2)$. As far as I understand it, Theorem 6.1 gives the generator of $\pi_3(SU(4))$ as ...

**28**

votes

**0**answers

858 views

### Finite complexes whose homotopy groups are not “finitely generated”

I'll say $K$ has "finitely generated" homotopy groups if there is a finite wedge of spheres $W = \bigvee S^{n_i}$ and a map $f: W\to K$ which induces a surjection on $\pi_*$.
It seems likely that ...

**2**

votes

**1**answer

227 views

### How to calculate the first and second homotopy groups of the following space constructed from $U(4)$

In solving a physics problem, I came across a weird topological space constructed from $U(4)$, the group of $4\times4$ unitary matrices. I want to know the first two homotopy groups of it. Here is how ...

**8**

votes

**1**answer

244 views

### Shriek push-forward for parameterized spectra

In May and Sigurdsson's Parameterized Homotopy Theory, Proposition 2.2.11, four isomorphisms of functors are given. For a pullback square of base spaces $C=holim(A\overset{f}\to B\overset{j}\leftarrow ...

**4**

votes

**0**answers

189 views

### “Naïve”cobordism?

The naive view of (say, complex) cobordism of a space $X$ is that it should be the group generated by continuous families of closed manifolds parametrized by $X$. Acting even more naively, one may try ...

**7**

votes

**0**answers

132 views

### $v_1$-periodic homotopy and principal bundle classification

This question came back to my mind while pondering this MO question. The classification of principal bundles is seriously difficult because of our lack of understanding of homotopy groups of compact ...

**5**

votes

**1**answer

246 views

### When was the word “stable” first used to describe stable homotopy theory?

The word "stable" has many uses in mathematics, but in the context of stable homotopy theory, one might take it to mean one of two things:
Homotopy groups stabilize after taking suspensions ...

**9**

votes

**2**answers

527 views

### Modern versions of Verdier's hypercovering theorem?

Let $\mathcal{C}$ be a small category equipped with a terminal object $1$ and a Grothendieck topology. (Assume $\mathcal{C}$ also has pullbacks, if it is more convenient.) The following is a ...

**0**

votes

**0**answers

88 views

### Path objects in projective model structure

I want to know how path objects look like in the presheaf category $[\mathcal{B}(\mathbb{Z}/2\mathbb{Z})^{\text{op}}, \text{Gpd}]$. Note that this category is just groupoids equipped with involutions. ...

**2**

votes

**1**answer

180 views

### A certain kind of simplicial complex

I'm interested in collections $\mathcal{C}$ of tuples $\mathbf{t} = (n_1, n_2, \ldots, n_r)$ of positive integers satsifying
if $\mathbf{t}\in \mathcal{C}$ then so is any permutation of $\mathbf{t}$ ...

**4**

votes

**2**answers

382 views

### Isomorphisms and higher homotopy

It is well known that a simply connected groupoid is already contractible. Thus, isomorphisms cannot model higher homotopy. But I wonder, is this a global phenomenon (because we consider categories ...

**3**

votes

**2**answers

246 views

### When are automorphisms in categories homotopically trivial?

First, let $\mathcal{G}$ be a groupoid. Then an automorphism $\gamma\colon X\rightarrow X$ in $\mathcal{G}$ considered as a loop in the nerve of $\mathcal{G}$ is homotopic to the point $X$ if and only ...

**4**

votes

**0**answers

127 views

### Infinity category of functors from a relative category to a model category

Let $M$ be a model category (maybe cofibrantly generated/combinatorial). Let $(C,W)$ be a relative category.
I write $M^{(C,W)}$ for the full subcategory of $M^C$ on relative functors. This is a ...