The homotopy-theory tag has no wiki summary.

**3**

votes

**1**answer

51 views

### In a Simplicial group the Degenerate elements don't intersect the kernel of the face maps.

Let $G_{\bullet}$ be a simplical group. I denote by $D_n \subset G_n$ the subgroup generated by all the degeneracy maps $s_i:G_{n-1} \to G_n$.
I also denote $$M_n = \bigcap_{i>0} \mathrm{Ker} d_i ...

**1**

vote

**0**answers

97 views

### The topology of the classifying space of U(n)

In $\textit{Atiyah and Bott: The Yang-Mills equations over riemann surfaces}$, there is a sentence about the topology of BU(n) (i.e. the classifying space of U(n)):
Here $K(\mathbb{Z},n)$ means the ...

**3**

votes

**2**answers

231 views

### Aspheric functors and Grothendieck fibrations

Following Grothendieck, let us say that a category is aspheric if its nerve is weakly contractible and a functor $u : \mathcal{A} \to \mathcal{B}$ is aspheric if for every object $b$ in $\mathcal{B}$, ...

**4**

votes

**1**answer

206 views

### Is there an analog of the Barratt-Eccles construction for E_∞-groups and E_∞-rings?

The Barratt-Eccles operad is an operad in simplicial sets
that provides a particularly nice model of an E∞-operad;
algebras in spaces over the Barratt-Eccles operad model E∞-spaces,
i.e., homotopy ...

**0**

votes

**0**answers

46 views

### Homotopy addition theorem and lifting in a certain diagram

If I am confusing somewhere here, please excuse me and ask me to clarify. The proof I am having trouble with is lemma 1.19 of Goerss-Jardine, pg. 398. I have tried to isolate the troublesome ...

**1**

vote

**0**answers

183 views

### Quotes from Connes

I found the following remark by Connes HERE:
"the main quality of the homotopy type of a manifold is to satisfy Poincare duality not only in ordinary homology but in K-homology with the Fredholm ...

**1**

vote

**1**answer

235 views

### questions on steenrod algebra

I plan to give a talk on Steenrod algebra in a student seminar. but there are some questions that I didn't find an answer to, and it seems to me that I'm missing something:
if the algebra of ...

**2**

votes

**1**answer

118 views

### what is the stabilization of pointed sets?

Given a(n $\infty$-)category, there is a process called "stabilitazion" which spits out a stable $\infty$-category (as one can read about in either Higher Algebra or the nlab).
The famous example is ...

**9**

votes

**1**answer

402 views

### Homology theory represented by Madsen-Tillman spectra

The generalized homology theory of the Thom spectrum $MO=\varinjlim\Sigma^nMTO_n$ is bordism theory:\begin{equation*}\pi_k(MO\wedge X)=\Omega^O_k(X)\end{equation*}These groups form the ring of ...

**4**

votes

**1**answer

210 views

### Higher Degree Data in a Cosimplicial Quasicategory and Delooping

If there is a short answer to this question and someone can write it here that'd be wonderful, but if it's longer, I'm also perfectly happy with a reference.
My question is regarding accessing data ...

**1**

vote

**0**answers

186 views

### Higher Homotopy Groups

Theorem 5.1 of this paper
describes a map $K_n(R)\to \pi_{n+1}(SK(E(R),1))$, where $S$ denotes the suspension. My question: Do we have a map from $K_n(R)\to \pi_{n+1}(S^2K(E(R),1))$. Any reference is ...

**9**

votes

**1**answer

303 views

### Nonunital $E_\infty$-rings

An elementary fact of algebra is that the category of nonunital commutative rings is equivalent to that of $\mathbb{Z}$-augmented unital commutative rings, the equivalence being given by forming ...

**8**

votes

**1**answer

244 views

### Clutching functions and Classifying maps

Let $E\xrightarrow{p} \Sigma X$ be a principal G-bundle over a suspension. Write $\Sigma X= C_+X\cup_X C_-X$. Then there are trivialisations of the restrictions $E|_{C_+X}\cong C_+X\times G$, ...

**2**

votes

**1**answer

81 views

### Does the right adjoint of the category of simplices functor is “homotopicaly inverse” to the category of simplices functor?

Short Version (the question)
Let $\text{Cat}$ be the category of (small) categories and $\text{sSet}$ the category of simplicial sets. There is a functor $\Gamma:\text{sSet}\to \text{Cat}$ that takes ...

**9**

votes

**0**answers

204 views

### Other examples of the algebro-geometric Ran space

First off, sorry if this seems vague.
Let's recall some definition. Let $X$ be a curve over a field $k$ and $G$ an algebraic group, then the space $Ran_G(X)$ as defined by Lurie in his Tamagawa ...

**3**

votes

**2**answers

332 views

### Zigzags and contractibility of categories

Let $\mathbf{C}$ be a small category and $\mathbf{C}'$ its hammock localization in the sense of Dwyer and Kan. I am looking for a proof (or counterexample) of the following assertion:
If there is ...

**3**

votes

**1**answer

176 views

### A general theory of quasi-functors, generalizing from dg-categories to $\mathcal V$-categories, with $\mathcal V$ monoidal model category

I employ the vast majority of the post to develop the notion of quasi-functor between dg-categories: I think it is important to get the idea.
Let $k$ be a field, and let $\mathcal V =\mathbf C(k)$ ...

**1**

vote

**0**answers

101 views

### Cell attachment in rational homotopy theory

In Rational Homotopy Theory, there is a model of cell-attachment.
In the book "Rational Homotopy Theory", the model is given for attaching only one cell, which is:
If $X$ is simply connected space ...

**2**

votes

**1**answer

202 views

### Splitting the Hopf map in two

Given the Hopf map $h:S^3\to S^2$ and an inclusion $i:S^2\hookrightarrow S^3$, the map $h\circ i:S^2\to S^2$ has mapping degree zero. Therefore, it is homotopic to the constant map and the image of ...

**16**

votes

**2**answers

773 views

### How much of homotopy theory can be done using only finite topological spaces?

Let $X$ be a finite simplicial complex and let $B$ denote the set of barycenters of the simplices of $X$. McCord constructed a $T_0$ topology on $B$ with the property that the inclusion $B \to X$ is ...

**5**

votes

**0**answers

210 views

### Quotienting disk inside sphere result in sphere

Let $S^k$ be a topological $k$-dimensional sphere. Let $D^k$ be a $k$ dimensional disk that includes in $S^k$. Let
$q: D^k \to D^r$ be a map and $r \leq k$. Let
$$W = S^k \sqcup D^r/\sim$$
where ...

**13**

votes

**4**answers

392 views

### Fibrations and Cofibrations of spectra are “the same”

My question refers to a folklore statement that I have now seen a couple of times, but never really precise. One avatar is:
"For spectra every cofibration is equivalent to a fibration" (e.g. in the ...

**9**

votes

**1**answer

174 views

### Algebraic $K$-theory of algebras in symmetric spectra: reference

I want to use the technicalities of structured ring spectra for the first time in my life, and I am not really familiar with the relevant literature. I am looking for a reference that defines ...

**5**

votes

**0**answers

118 views

### Reference for analyticity of $K$-theory

This is a follow-up to my last question, Homotopy excision for structured ring spectra -- reference?. The immediate reason why I care about Blakers-Massey theorems for ring spectra is to prove that ...

**8**

votes

**1**answer

160 views

### Homotopy excision for structured ring spectra — reference?

I'm looking for a reference for analogues of the Blakers-Massey triad connectivity theorem (and its higher-order generalization) for ring spectra. That is:
Suppose that $A\to A_1$ is a ...

**1**

vote

**1**answer

163 views

### Milnor's exact sequence and a certain proof

Please forgive me if this is not the right forum for this question.
Let $$ X = \cdots \rightarrow X_n \rightarrow X_{n-1} \rightarrow \cdots \rightarrow X_0 = \ast$$ be a tower of fibrations of ...

**11**

votes

**2**answers

300 views

### The definition of Reedy category

The common definition of Reedy category seems to be this one that a Reedy category is a small category $R$ with two wide subcategories $R_+$ and $R_-$ and an ordinal-valued degree function on its ...

**5**

votes

**1**answer

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

**1**

vote

**2**answers

75 views

### Criterion for deloopable based map

Is there a criterion for a based map $f:G\to H$ between deloopable pointed spaces to be deloopable, i.e., that there is a based map $g:X\to Y$ between path-connected pointed spaces such that $G\simeq ...

**4**

votes

**0**answers

68 views

### Is a finite-dimensional simplicial set the homotopy colimit over a truncated simplicial category?

If $K$ is a simplicial set, we can extend it to a bisimplicial set $K^\prime: \Delta^{op} \to sSet$ by setting $K^\prime_n = (K_n)_\delta$ where $(-)_\delta$ means taking a discrete simplicial set. ...

**7**

votes

**0**answers

468 views

### Homotopy type of complex algebraic varieties

In his 1974 ICM adress "Poids dans la cohomologie des variétés algébriques", Pierre Deligne explains that any finite polyhedron has the same homotopy type as a complex algebraic variety (section 6.).
...

**17**

votes

**2**answers

454 views

### Adams Operations on $K$-theory and $R(G)$

One of the slickest things to happen to topology was the proof of the Hopf invariant one using Adams operations in $K$-theory. The general idea is that the ring $K(X)$ admits operations $\psi^k$ that ...

**8**

votes

**2**answers

169 views

### How should I be thinking about object classifiers / universal fibrations / universes?

I have been learning about homotopy type theory this summer. I am not a homotopy theorist but I am more comfortable with homotopy theory than I am with type theory, so the way I rationalize many of ...

**6**

votes

**1**answer

281 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

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

**15**

votes

**4**answers

492 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

784 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

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

**10**

votes

**0**answers

280 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

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

**5**

votes

**0**answers

100 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

97 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

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

**6**

votes

**1**answer

158 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

137 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

215 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

368 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

97 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

111 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

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