Questions tagged [homotopy-theory]
Homotopy theory is an important sub-field of algebraic topology. It is mainly concerned with the properties and structures of spaces which are invariant under homotopy. Chief among these are the homotopy groups of spaces, specifically those of spheres. Homotopy theory includes a broad set of ideas and techniques, such as cohomology theories, spectra and stable homotopy theory, model categories, spectral sequences, and classifying spaces.
3,001
questions
14
votes
1
answer
390
views
What is the smallest class of spaces closed under finite homotopy colimits, finite homotopy limits, and splitting of homotopy-coherent idempotents?
Finite CW complexes fail spectacularly to be closed under finite homotopy limits (e.g. $\Omega S^1 = \mathbb Z$). More subtly, they fail to be closed under homotopy retracts (by the Wall finiteness ...
- 61.6k
9
votes
1
answer
441
views
Universal property of $\mathbb S[z]$ and $E_\infty$-ring maps
Let $\mathbb S[z]$ be the free $E_\infty$-ring spectrum generated by the commutative monoid $\mathbb N$. That is, $\mathbb S[z] = \Sigma^\infty_+ \mathbb N$.
In Bhatt-Morrrow-Scholze II (https://...
- 139
17
votes
2
answers
445
views
Correspondence between classes of model categories and classes of $\infty$-categories
We know by Karol Szumiło's thesis (https://arxiv.org/pdf/1411.0303.pdf) that there is an equivalence between the two fibration categories of cofibration categories on one side and cocomplete $\infty$-...
- 1,071
3
votes
0
answers
168
views
Connectedness for stacks
Let $X$ be a stack for the Zariski (or etale) site over an arbitrary field $k$. The functor $\pi_0(X) : Alg_k \to Sets$ of path-components of $X$ is defined as the composition
$$Alg_k \overset{X}{\...
- 2,969
6
votes
1
answer
785
views
How to construct the Moore spectrum?
I am trying to understand how the Moore spectrum is constructed. And in reading Foundations of Stable Homotopy Theory by David Barnes and Constanze Roitzheim, I see that in example 8.4.7 (pg 340) they ...
- 1,185
5
votes
0
answers
233
views
Model structures on groupoids
Let me preface by saying that I'm very inexperienced with model categories. I was thinking about the following example, and I'm now wondering whether it fits into the theory of model stuctures:
...
- 511
7
votes
0
answers
271
views
Is it a coincidence that $Gal(\mathbb C / \mathbb R) \cong C_2 \cong Aut(E_1)$? (Or: why are $\mathbb C$-algebras with involution so useful?)
The automorphism group $Aut(E_1)$ of the $E_1$ operad is the cyclic group of order 2, $C_2$, and thus $C_2$ acts on any category of algebras (by reversing the multiplication). The seeming coincidence ...
- 61.6k
4
votes
0
answers
157
views
Is simplicial localization part of a Quillen equivalence between relative categories and simplicial categories?
There are many models for $\infty$-categories. One of them is relative categories – AKA categories with weak equivalences – which have a model structure due to Barwick–Kan. Another one is simplicial ...
- 4,840
11
votes
1
answer
736
views
Space with semi-locally simply connected open subsets
A topological space $X$ is semi-locally simply connected if, for any $x\in X$, there exists an open neighbourhood $U$ of $x$ such that any loop in $U$ is homotopically equivalent to a constant one in $...
- 283
7
votes
0
answers
327
views
Example of a tensor triangulated category with two different monoidal t-structures?
What's an example of a tensor triangulated category / symmetric monoidal stable $\infty$-category with two different monoidal $t$-structures?
While I'm at it: is there an example of a tensor ...
- 61.6k
6
votes
0
answers
251
views
What are the effective epimorphisms of presentable $\infty$-categories?
Let $\mathcal C$ be a sufficiently nice $\infty$-category, and let $f: U \to X$ be a morphism in $\mathcal C$. Recall that $f$ is said to be an effective epimorphism if the induced map $|U^{\times_X (\...
- 61.6k
6
votes
0
answers
169
views
Is there an $\infty$-topos of monochromatic spaces?
Fix (a prime $p$ and) a chromatic height $h$. Recall that the Bousfield-Kuhn functor $\Phi_h: \mathcal M_h^f \to Sp_{T(h)}$ is monadic, where $\mathcal M_h^f \subseteq Top_\ast$ is a certain ...
- 61.6k
3
votes
0
answers
124
views
What is the definition of $\operatorname{Fun}^{B \mathbb Z}$ used in Nikolaus--Scholze Proposition B.5? [duplicate]
I am trying to understand the relationship between cyclic objects in a quasicategory $\mathcal C$ and $S^1$-equivariant objects in $\mathcal C$ as presented in Nikolaus--Scholze "On Topological Cyclic ...
- 139
3
votes
1
answer
678
views
Where is Brown's lemma from?
In homotopy theory, Kenneth Brown's lemma states that if a functor send acyclic cofibrations between cofibrant objects to weak equivalences, then it send all weak equivalences between cofibrant objets ...
- 4,840
10
votes
1
answer
577
views
Descent properties of topological Hochschild homology
Question: What is the finest topology on $\mathrm{CAlg}$ (commutative ring spectra) for which THH (Topological Hochschild Homology) satisfies descent?
Adaptations of the arguments appearing in ...
- 532
2
votes
1
answer
359
views
Definition of hypercover for simplicial presheaves and hypercovering in $\infty$-topos
By lemma 4.9 in Dugger-Hollander-Isaksen, a hypercover is defined as an augmented simplicial object $U_\bullet\to X$ in the category of simplicial presheaves such that each $U_n$ is a coproduct of ...
- 301
5
votes
1
answer
201
views
Homotopy fibre sequence and left Bousfield localization
Let $\mathcal{M}$ be a pointed model category and $\mathcal{C}$ a class of maps in $\mathcal{M}$ for which the left Bousfield localization ${\rm L}_{\mathcal{C}}\mathcal{M}$ exists (see Hirschhorn, ...
- 1,856
3
votes
0
answers
156
views
Is the inclusion $\Delta^{op} \to \Gamma^{op} = Fin_\ast$ homotopy cofinal?
There's a canonical functor $i: \Delta^{op} \to Fin_\ast$. For example, one uses the pullback $i^\ast$ to turn a $\Gamma$-space into a simplicial space, and then takes a geometric realization to ...
- 61.6k
3
votes
1
answer
246
views
Descent in the injective model structure and descent for simplicial presheaves
In Jardine's book Local Homotopy Theory P.102, a simplicial presheaf $X$ on a site $C$ is said to satisfy descent if some local injective fibrant replacement $ j : X → Z $ is a sectionwise weak
...
- 631
10
votes
1
answer
1k
views
Derived base change in étale cohomology
Given a commutative square of ringed topoi
$$\begin{array}{ccc}X'\!\! & \overset{f'}\to & Y'\!\! \\ \!\!\!\!\!{\small g'}\downarrow & & \downarrow{\small g}\!\!\!\! \\ X & \...
- 27.3k
3
votes
1
answer
203
views
Does a homotopy sheaf functor commute with group completion
Let $\text{sPre}(C)$ be the category of simplicial presheaves with Grothendieck topology $\tau$. Let $\pi_n^{\tau}$ be the $\tau$-homotopy sheaves defined as follow
Does $\pi_n^{\tau}$ commute with ...
- 301
8
votes
1
answer
425
views
Koszulness of some DG-algebras and a paper by Kohno and Oda
This is a follow-up of my previous question Formality of the 2nd ordered configuration space of a closed Riemann surface.
At page 131 of [B], R. Bezrukavnikov states Proposition 4.1, in which he ...
- 65.1k
12
votes
0
answers
493
views
The homotopy theory presented by a Waldhausen category
Waldhausen introduced his categories for the purposes of defining algebraic $K$-theory of suitable categories. From a modern perspective, it looks like he was really doing two things at once:
...
- 61.6k
7
votes
0
answers
220
views
Which spaces are most naturally presented simplicially?
It's often a great technical convenience to know that you can "do homotopy theory" with simplicial sets. But if you really get down to it geometrically, it can be awkward.
In general, if I have a CW ...
- 61.6k
9
votes
1
answer
400
views
$K_3(\mathbb{Z})$ and $\pi ^S_3$
This is an afterthought on this MO question, and also on Gannon's book mentioned there, about $K_3(\mathbb{Z})=\mathbb{Z}/48$. Neither the question nor the book mentions a possible connection with the ...
- 37.3k
4
votes
0
answers
362
views
A particular pushout of homologicaly rational spaces
Let $R^{\delta}$ be the topological group of additive real numbers (with discrete) topology and let $R$ be the topological group of additive real number with the standard topology. Let $X$ be a (...
- 1,974
3
votes
0
answers
87
views
Closed normal subgroup of a rational free topological group
Suppose that $X$ is a pointed connected CW-complex and $F_{\ast}(X)$ is the (reduced) free topological group generated by $X$, in particular $F_{\ast}(X)$ is homotopy equivalent to $ \Omega \Sigma X$ ...
- 1,974
12
votes
1
answer
703
views
Open subspaces of CW complexes
I am looking at the paper
Covering homotopy properties of maps between CW complexes or ANRs
by
Mark Steinberger and James West
and a claim is made in the proof of their first main theorem ...
- 12.5k
3
votes
1
answer
139
views
Proof that $Sing^IX$ is $I$-invariant for an interval object in a site by "simplicial decomposition"
I just saw a proof showing that $Sing^{A^1}X$ is $A^1$ invariant where they use an algebraic topological analogue of ``simplcial decomposition'' defined as follow:
The argument works by showing that ...
- 631
5
votes
1
answer
159
views
Is transfinite composition of weak equivalences of simplicial presheaves a weak equivalence?
In a left Bousfield localization of the projective model structure on the category of simplicial presheaves, what is the condition that transfinite composition preserves weak equivalences? How about ...
- 631
3
votes
2
answers
595
views
Homology of a loop-suspension space and action of $\mathcal{D}_1$-operad
If $X$ is a based connected topological space, it is well-known what the homology of $\Omega\Sigma X$ is: according to the Bott-Samelson theorem, it is a tensor algebra over reduced homology of $X$. (...
- 1,759
5
votes
1
answer
166
views
Which homotopy types can be realized as the classifying space of a right-cancellative discrete monoid?
McDuff showed that every connected homotopy type can be realized as the classifying space of a discrete monoid, but the monoid she constructs has lots of idempotents.
Question: Which homotopy types ...
- 61.6k
18
votes
0
answers
648
views
Are simplicial finite CW complexes and simplicial finite simplicial sets equivalent?
Edit Originally the question was whether an arbitrary diagram of finite CW complexes can be approximated by a diagram of finite simplicial sets. In view of Tyler's comment, this was clearly asking for ...
- 10.7k
4
votes
1
answer
217
views
Group completion of $E_k$-algebras
Let $X$ be an $E_k$-algebra. We can form the delooping $BX$, which is a $E_{k-1}$-algebra. The space $\Omega B X$ is again an $E_k$-algebra, which is grouplike (i. e. $\pi_0(\Omega B X)=\pi_1(B X)$ is ...
- 1,623
14
votes
2
answers
540
views
Are the real and complex Adams operations compatible under the inclusions $U(n) \rightarrow SO(2n)$?
Does the following diagram commute?
$$
\require{AMScd}
\begin{CD}
BU @>{\psi^k}>> BU \\
@VVV @VVV \\
BO @>{\psi^k}>> BO
\end{CD}
$$
Evidence for: $rc = 2$, it works for $BU(1) \...
- 141
4
votes
1
answer
276
views
Weak homotopy equivalence of sites
There are several notions of weak homotopy equivalence for topological spaces. The standard one can be formulated as follows: a map of spaces $X\to Y$ is a homotopy equivalence if the map of ...
- 7,902
1
vote
0
answers
73
views
Cyclic homotopies of quotients of $S^3$
We are given a free action of an abelian finite group on $S^3$. Let $L$ denote the quotient space and let an element $\alpha \in \pi_1 L =G$ be given. Does there exist a cyclic homotopy $h_t:L \to L$ ...
- 268
5
votes
1
answer
224
views
Homotopy pullback of $\mathbb{A}^1$-projections in the Nisnevich localization
Let $L_{Nis}(sPre(Sm_S))$ be the Nisnevich localization of the category of simplicial presheaves,
how to see that whether $\mathbb{A}^1$-projections $\mathbb{A}^1\times_S X\to X$ are closed under ...
- 631
10
votes
1
answer
883
views
In a subset of $\mathbb{R}^2$ which is not simply connected does there exist a simple loop that does not contract to a point?
I previously asked In which topological spaces does the existence of a loop not contractable to a point imply there is a non-contractable simple loop also?
Given the broad scope of this question I ...
- 4,792
3
votes
1
answer
398
views
In which topological spaces does the existence of a loop not contractible to a point imply there is a non-contractible simple loop also?
In another MathOverflow post I asked: In a topological space if there exists a loop that cannot be contracted to a point does there exist a simple loop that cannot be contracted also?
Note that ...
- 4,792
36
votes
3
answers
6k
views
In a topological space if there exists a loop that cannot be contracted to a point does there exist a simple loop that cannot be contracted also?
I'm interested in whether one only needs to consider simple loops when proving results about simply connected spaces.
If it is true that:
In a Topological Space, if there exists a loop that cannot ...
- 4,792
6
votes
1
answer
401
views
Why does every chain complex have a map into its cone?
In Weibel's An introduction to homological algebra he defines a cone as an explicit chain complex associated to the given one -i.e. for a chain $C=(C_i, d)$ he defines $Cone(C)=\left(C_{i-1} \oplus ...
- 475
3
votes
1
answer
345
views
Fibrant objects in Bousfield localization of homotopy pullback closure of Nisnevich hypercovers
Let $M$ be a model topos and $S$ a set of morphisms, there exists a set of morphism $\bar{S}$ which is generated by the $S$-local equivalences which is closed under homotopy pullbacks in $M$. Suppose ...
- 301
7
votes
0
answers
98
views
Stable splitting of products
This question concerns the well-known homotopy equivalence
$$
\Sigma (X\times Y) \simeq \Sigma (X \vee \ Y) \vee \Sigma (X\wedge Y)
$$
(I'm happy to use only CW complexes). I can see that
there is ...
- 12.5k
13
votes
1
answer
2k
views
Equivalent definitions of Thom spectra
Background and notations:
Recall the classical contruction and definition of Thom spectra. To a spherical fibration $S^{n-1} \to \xi \to B$, we can associate the data of a Thom space $T_n(\xi)$, given ...
- 552
4
votes
0
answers
234
views
$L_\infty$-quasi inverse for the contravariant Cartan model on principal bundles
First of all I want to apologize for the much too long post.
A Lie group $G$ is acting on a smooth manifold $M$, then we define
\begin{align*}
T^k_G(M)=
(S^\bullet \mathfrak{g}\otimes T^k_\mathrm{...
6
votes
1
answer
164
views
Diffeomorphism type of the added sphere in simply connected surgery
A classical result of simply connected surgery theory, is that if two normal maps $f:M_i\rightarrow X$, $i=0,1$ are normally cobordant and if the dimension of the manifolds is odd, there exists a ...
- 93
3
votes
0
answers
258
views
Homotopy equivalence of $K$-theory and $G$-theory
Let $X$ be regular variety then it is known that $Q(Vect(X))\cong Q(\mathcal{M}_X)$. Where $Q$ is the Quillen's q-construction and $\mathcal{M}_X$ is the category of coherent sheaves on $X$. You can ...
- 5,851
33
votes
6
answers
4k
views
What is the intuition for higher homotopy groups not vanishing?
The homotopy groups of the spheres $S^n$ (see Wikipedia) vanish for the circle $S^1$ as, naively speaking, there are not higher order holes to be grasped by higher order homotopy groups. This ...
- 649
4
votes
0
answers
110
views
Pushforward of an internal category along a functor
Let $F:C\to D$ be a “nice” functor (for example, $H_*(-;\mathbb{Z}):\mathbf{Top}\to \mathbf{Ab}^{\mathbb{Z}}$). Now assume that we have a category $O$ internal to $C$. Is there a canonical way to ...
- 1,623