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

learn more… | top users | synonyms

8
votes
0answers
143 views

Notes by Bousfield

I am looking for a copy of "Operations on derived functors of non-additive functors" by Bousfield. It is referenced in many papers and is supposedly from 1967. Obviously, and electronic copy would be ...
9
votes
1answer
285 views

Exponentiation in finite simplicial sets

A finite simplicial set is a simplicial set having only a finite number of non degenerate simplicies. My question is: if $A$ and $B$ are finite simplicial sets, does this imply that the simplicial set ...
12
votes
2answers
557 views

Is every connected space equivalent to some B(Aut(X))?

Given a connected space $B$, is there always some space $X$ with $B \simeq \mathbf{B}(\mathrm{Aut}(X))$? Here by space I mean simplicial set, by $\mathrm{Aut}(X)$ I mean the simplicial monoid of ...
21
votes
1answer
1k views

Why not a Roadmap for Homotopy Theory and Spectra?

MO has seen plenty of roadmap questions but oddly enough I haven't seen one for homotopy theory. As an algebraic geometer who's fond of derived categories I would like some guidance on how to build up ...
2
votes
0answers
232 views

chain complexes and homotopy limits

Let $\mathbf{Ch}$ be the category of unbounded chain complexes (with the standard model structure ). The differential increases the degree $d_{n}:M_{n}\rightarrow M_{n+1}$. Consider the full ...
5
votes
1answer
134 views

On the obstruction of a sequence of simplicial spaces that is levelwise a fibration

Given a sequence of simplicial spaces (actually bisimplicial sets) $$F\to E\to B$$ that is level-wise a fibration, then the geometric realisation does not necessarily have to be a fibration. If I ...
10
votes
1answer
356 views

Pro-algebraic versus continuous Galois cohomology, and schematic homotopy types

I've been thinking about Bertrand Toen's approach to studying the homotopy theory of schemes, and I've come across an inconsistency in my understanding of the subject that I was hoping somebody might ...
14
votes
1answer
476 views

Finite spectrum annihilated by multiplication by two

Let $X$ be a finite spectrum. Say that $X$ has characteristic two if multiplication by two on $X$ is nullhomotopic. Does there exist a noncontractible finite spectrum of characteristic two? (This ...
2
votes
0answers
156 views

Quillen functors and stable model categories

Are there any books or papers where I can find some general statements and methods for working with Quillen functors that are not equivalences (and not localizations)? In particular, I would like to ...
4
votes
1answer
130 views

On closed model categories: standard arguments and fibrantly cogenerated categories

Some not very clever questions on closed model categories. For a (left or right) Quillen functor $F:C\to D$ what arguments does one usually use for proving that $Ho F$ is fully faithful when ...
4
votes
1answer
133 views

Yoneda embeddings of stable model categories; composition with Bousfield localizations

For a stable model category $C$ and a set $M$ of object of it I would like to construct a natural functor from $C$ to some stable 'category of functors' on $M$. I suspect that the 'natural' question ...
4
votes
0answers
356 views

Interaction petit topos - gros topos

I know that there are already several discussions on this topic (and they already helped me a lot, so far), but I couldn't find one completely solving my problem. Question 1. Fix a scheme $X$. I know ...
3
votes
1answer
306 views

Maps between classifying spaces

Let $G$ be a discrete group and let $BG \simeq K(G,1)$ be its classifying space. Let $H$ be a topological group with classifying space $BH$. In case $H$ is also discrete, it was pointed out in the ...
3
votes
0answers
171 views

Homotopy theory of acyclic categories

Homotopy theory of category of posets is well-developed and explained in various places. My interest is in acyclic categories. Recall that in acyclic categories only invertible morphisms are the ...
4
votes
1answer
246 views

$T$-stable vs. $S^1$-stable motivic homotopy category: which sorts of transfers are available?

I would like to have some sort of transfers in motivic stable homotopy categories in order to adapt Voevodsky's split standard triple argument to cohomology theories that can be factorized through ...
10
votes
0answers
256 views

The spectral sequence of a tower of principal fibrations

Assume we have a tower of fibrations (of simplicial sets, let's say): $$\cdots\rightarrow X_{n+1}\rightarrow X_n\rightarrow\cdots\rightarrow X_0.$$ Let $X=\lim_nX_n$ be the (homotopy) inverse limit. ...
2
votes
3answers
270 views

How to detect if a simplicial set is the nerve of a groupoid?

I have the following question. Suppose I have a simplicial set. Is there a way to detect if it actually is isomorphic to a nerve of a groupoid? I've seen the fact that if you have a nerve ...
4
votes
0answers
161 views

Homotopy unites of a differential graded algebra

I apologize in advance if the question is too basic. Let $A$ be a differential graded algebra and $H^{0}A$ the 0-cohomology of $A$ (which is an ordinary ring) and $A^0$ is the 0-level of $ A$ . An ...
0
votes
0answers
55 views

can we say fixed point existance of a set valued map over a compact set is homotopy invariant?

Consider two set valued maps over different compact sets as $F(\mathbf{x}):D\rightarrow\rightarrow D$, $G(\mathbf{x}):E\rightarrow\rightarrow E$ where $D,R\subset Y$. Assume there is a homotopy pair ...
9
votes
1answer
514 views

What interesting homotopy invariants can I write down using the universal property of homotopy types?

I've recently been led to believe some version of the following statement: Weak homotopy types, or equivalently $\infty$-groupoids (let me not commit myself to a particular model of these), are ...
4
votes
1answer
197 views

How does one calculate homotopy classes for group coset spaces?

Inspired by Witten's Wess-Zumino term arguments, I'm curious to know how one calculates homotopy classes more generally for coset spaces. In the above example the coset is $G/H=(SU(3)_L\times ...
6
votes
2answers
305 views

Must the union of these two aspherical spaces be aspherical?

Let $X$ be a reasonably nice topological space (say, a connected CW complex), and let $Y$ and $Z$ be reasonably nice connected subspaces of $X$ such that $X = Y \cup Z$. Suppose that $Y$, $Z$, and ...
3
votes
0answers
177 views

What does it mean for the $\Pi_\infty$ groupoid to be fully fibrant?

The original question I had was: If I have a sequence of simplicial spaces $$A\to B\to C$$ which is degree-wise a homotopy fibration, under which conditions is the geometric ...
5
votes
1answer
437 views

Finite homotopy limits commute with sequential homotopy colimits

I would like to know for what kind of model category finite homotopy limits commute with sequential homotopy colimits. Would cofibrantly generated and finitely locally presentable be enough? It seems ...
7
votes
1answer
427 views

Homotopy groups of an infinite wedge of 2-spheres

I know Hilton's result about a finite wedge of spheres, and I know that certain homotopy groups (such as the third homotopy group) can be directly calculated for an infinite wedge too. My question is ...
0
votes
2answers
291 views

even dimensional manifold homotopic to a symplectic or complex manifold

I have the following question: Let $M$ be an even dimensional Riemannian manifold. Under which conditions does there exists a homotopy to some symplectic manifold? is there any chance that such a ...
4
votes
1answer
578 views

Topological Hochschild cohomology?

Let $A$ be a $E_\infty$-ring spectrum. By EKMM, it may be treated as a commutative algebra in the appropriate category. In particular, one may define topological Hochschild homology as ...
5
votes
1answer
684 views

A problem on infinite dimensional metric space

Let $(X_{n},d_{n})_{n \in \mathbb{N}}$ be a sequence of complete geodesic metric spaces such that: $X_{n}$ is a regular$^1$ CW-complex of constant local dimension$^3$ $n$, it is of finite ...
4
votes
2answers
442 views

On triangulated categories of pro-objects

Which term is used for model categories whose homotopy categories are triangulated? Stable proper model categories? I want $Ho(Pro-M)$ to be triangulated ($Pro-M$ is the category of pro-objects of M) ...
1
vote
1answer
169 views

isotopy classes of embeddings of the torus

Let's consider $S^1$-bundle $E$ over a 2-manifold $M$. How many isotopy classes of embeddings of the torus $\mathbb{T}^2$ in $E$? For each free homotopy classes $\gamma$ of mappings of the circle ...
2
votes
0answers
210 views

A topos-theoretic thickening of the nerve functor

Let $\Delta$ be the standard cosimplicial space sending $[n]\mapsto \Delta^n\subset \mathbb R^{n+1}$. Then the correspondence $\delta\colon [n]\mapsto {\rm Sh}(\Delta^n)$ defines a cosimplicial ...
7
votes
0answers
244 views

The spheres operad

I have a rather naive question. Consider the space of all maps $$ S^{j_1} \times S^{j_2} \times \cdots \times S^{j_k} \to S^n $$ for all possible natural numbers $n, k, j_1, \cdots , j_k$. This ...
6
votes
3answers
316 views

Cobordism and finite sheeted covers of manifolds

Let $M$ be an oriented manifold, not necessarily compact. Let $M'$ be a (finite) $k$-sheeted cover and let $\pi:M'\longrightarrow M$ be the covering map. Question 1 : Is it true that $M'$ is ...
8
votes
1answer
263 views

Loops and suspensions of higher categories

Given a pointed $(\infty,n)$-category $\mathcal{C}$, one can define the suspension of $\mathcal{C}$, $\Sigma\mathcal{C}$, via the homotopy pushout of $$\ast\leftarrow \mathcal{C}\rightarrow \ast.$$ ...
4
votes
2answers
298 views

P.J. Hilton notes requested

Does anybody here have the mimeographed notes Homotopy theory and duality, by P.J. Hilton, Cornell University, 1959 ? I guess that those notes were never published online. I believe that some ...
9
votes
1answer
321 views

The state of the art in the rectification of homotopy-coherent structures

My question concerns rectification theorems for homotopy-coherent structures. As the meaning of this may be unclear, let me list a few examples of what I am thinking of: Cordier and Porter proved a ...
0
votes
0answers
140 views

The nerve-realization of $[n]\mapsto\Pi_1(\Delta^n)$

Consider the diagram Where the functor $G$ sends a topological space to the category having as objects its points, and arrows homotopy classes of paths, $\varrho$ "realizes" geometrically an ...
8
votes
1answer
256 views

Is there a Wall finiteness obstruction in other settings?

Let $\mathcal{S}$ be the $(\infty, 1)$-category of spaces. Then the compact objects of $\mathcal{S}$ are precisely the retracts of finite CW complexes. These are not the same as the finite CW ...
4
votes
3answers
567 views

Uniquely geodesic and CAT(0) spaces?

Improvement after J-M Schlenker's comment below : This post has been divided into two parts, the second part is here. Question : Is a finite dimensional metric space, uniquely geodesic if and only ...
6
votes
2answers
471 views

Homotopy problem for infinite dimensional topological space II

This post here is a specification of this post. Let $(X_{n},d_{n})_{n \in \mathbb{N}}$ be a sequence of intrinsic metric spaces verifying : $X_{n}$ have topological dimension $n$. $X_{n+1}$ is ...
0
votes
2answers
290 views

Homotopy problem for infinite dimensional topological space

Let $X$ be an infinite dimensional topological space such that : $ \forall n \in \mathbb{N}$, $ \exists X_{n} \subset X$, $n$-dimensional subspaces verifying : $\forall r<n$, the homotopy ...
9
votes
2answers
480 views

What is a Homotopy between $L_\infty$-algebra morphisms

A $L_\infty$-algebra can be defined in many different ways. One common way, that gives the 'right' kind of morphisms, is that a $L_\infty$-algebra is a graded cocommutative and coassociative ...
8
votes
2answers
543 views

Homology of localisations of spectra

Let $H^*$ and $K^*$ be two cohomology theories, and $X$ a reasonable spectrum. Here, I'm thinking that $H^*$ is singular cohomology (and for my purposes, rational cohomology will suffice), and $K$ is ...
5
votes
0answers
201 views

Geometric realization of simplicial spaces and finite limits

Let $X_{\bullet}$ be a simplicial space and denote the (non-fat!) geometric realization by $\lvert X_{\bullet} \rvert$. Does this geometric realization of simplicial spaces preserve finite ...
16
votes
2answers
568 views

Conceptual explanation for the relationship between Clifford algebras and KO

Recall the following table of Clifford algebras: $$\begin{array}{ccc} n & Cl_n & M_n/i^{*}M_{n+1}\\ 1 & \mathbb{C} & \mathbb{Z}/2\mathbb{Z} \\ 2 & \mathbb{H} & ...
10
votes
0answers
256 views

When is the one-point compactification well-pointed?

This is a follow up to my previous question. Question: Is there a reasonably natural set of conditions which guarantee that the one-point compactification $X^+$ of a locally compact Hausdorff ...
17
votes
1answer
938 views

The cell structure of Thom spectra

I would like to understand the cell structure of integrally oriented Thom spectra. A Thom spectrum over a space $X$ is something you can build from a stable spherical bundle, which is classified by a ...
5
votes
1answer
204 views

Pontrjagin ring structure on homology of Eilenberg-Mac Lane spaces

Is there any good reference for the Pontrjagin ring structure on $$ H_\ast(K(\mathbb{Z}/2,k);\mathbb{Z}/2)\cong H_\ast(\Omega K(\mathbb{Z}/2,k+1);\mathbb{Z}/2)? $$ I am familiar with Serre's theorem ...
3
votes
0answers
190 views

Are there CW structures on homotopy limits of CW maps?

Consider the diagram of finite CW complexes $X \stackrel{f}\leftarrow Y$ where $f$ is a cellular map and note that its homotopy colimit is precisely the mapping cylinder $$C_H = \frac{X \sqcup (Y ...
6
votes
2answers
233 views

Components of a loop space, semidirect products, and multiplicativity

Let $(X, x_0)$ be a based topological space, and $\Omega X$ its based loop space. The group of path components of $\Omega X$ is $\pi_0(\Omega X) = \pi_1(X, x_0)$. For brevity, let's call this group ...