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

3
votes
1answer
153 views

Higher homotopy groups of a Zariski closed subset of $\mathbb C^n$

Suppose $V\subset \mathbb C^n$ is a Zariski closed subset. Is it true that the higher homotopy groups $\pi_i(\mathbb C^n-V)$ vanish for $0<i<$ some number depending on the codimension of $V$ in ...
3
votes
0answers
235 views

Homotopy category of groupoids

The nlab Ho(Cat) page says: morphisms in the homotopy category of groupoids $Ho(Gpd)$, have two equivalent description: iso-classes of functors. formally invert equivalence functors (i.e. ...
4
votes
1answer
146 views

Sullivan's $H$-space equivalence between $G/PL[1/2]$ and $BO[1/2]$

There is a theorem by Sullivan of the following form: Theorem: There is an equivalence of $H$-spaces $$ G/PL[\tfrac{1}{2}] \simeq BO_{\otimes}[ \tfrac{1}{2} ]\ . $$ It can be found for example ...
6
votes
3answers
418 views

classifying $\infty$-toposes for topological/localic groups?

Let $G$ be a locally compact topological group (or more generally a localic group). Is there an infinity topos which classify principal $G$ bundles ? More precisely, is there an $\infty$-topos $BG$ ...
10
votes
1answer
787 views

What are simplicial topological spaces intuitively?

(This is a repost of a question from MSE. I hope there is more to say.) I tend to imagine simplicial objects in a category as some kind of "topological objects", with a notion of homotopy. Simplicial ...
1
vote
1answer
228 views

Thomason’s homotopy colimit theorem for pseudo-functor

Thomason’s homotopy colimit theorem R W Thomason, Homotopy colimits in the category of small categories, Math. Proc. Camb. Phil. Soc. (1) 85 (1979)91-109 says that for a functor $F:I^{op}\to ...
2
votes
1answer
269 views

Massey product in Dual Steenrod Algebra

Let $\tau_0$ be the element of dual Steenrod algebra $A_p^{*}$ at a prime $p$ which is dual to Bockstein $\beta \in A_p$. It is well known $\tau_0^2 =0$. Is it true/known that the elemnet $\xi_1$ ...
26
votes
2answers
2k views

Why should I care about topological modular forms?

There seems to be a lot of recent activity concerning topological modular forms (TMF), which I gather is an extraordinary cohomology theory constructed from the classical theory of modular forms on ...
2
votes
1answer
357 views

Homotopy groups of filtered homotopy limits

Let $X$ be the homotopy limit of a filtered system of simplicial sets $X_i$. When are the morphisms $\pi_j(X)\to \varprojlim \pi_j(X_i)$ surjective for all $j\ge 0$? This seems to be no problem when ...
3
votes
0answers
146 views

What are the Čech-local equivalences of (simplicial pre)sheaves?

Let $\mathcal{C}$ be small category and let $J$ be a Grothendieck topology on $\mathcal{C}$. The Čech model structure on $[\mathcal{C}^\mathrm{op}, \mathbf{sSet}]$ is defined to be the left Bousfield ...
2
votes
0answers
129 views

Model structure on stacks

does anyone know if there is a model structure on stacks where the cofibrations are the monomorphisms ? As far as I know usually to get a model structure on stacks one localizes a model structure on ...
2
votes
1answer
237 views

Homotopy versus path-homotopy on punctured surface

I have some problems with homotopies. The situation is this: Let $X$ be a surface, which is homeomorphic to a 2-Sphere with a finite number (at least 3) of points removed (equivalently, an open ...
5
votes
3answers
380 views

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

I would like to continue on question I asking, what is a homotopy between Lie infinity algebras, since I'm not satisfied in two directions: 1.) The naive approach to define a homotopy would be ...
3
votes
1answer
277 views

What is the “higher version” of chain homotopy in singular homology?

In basic algebraic topology, we know the following well-known chain homotopy theorem: Let $X$ be a topological space and $I=[0,1]$ be the unit interval. Let $S_*(X)$ and $S_*(X\times I)$ be the ...
11
votes
0answers
464 views

About maps inducing bijections on homotopy classes

Let us assume that $f:X \to Y$ is a map of connected CW complexes, having the following property: if $K$ is a finite CW complex, then the induced map $f_{\ast}:[K,X] \to [K,Y]$ on \emph{free} homotopy ...
6
votes
2answers
275 views

Properness of the category of modules over a spectrum (that represents algebraic cobordism or motivic cohomology)

The abstract form of the question: let $C$ be a closed proper stable model category, $R$ is a ring object in it. Which conditions ensure that the category $R-mod$ is also proper? Since weak ...
5
votes
0answers
166 views

Weak equivalences of left Bousfield localizations

Suppose C is a complete and cocomplete category with two model structures (C0,F0,W0) and (C1,F1,W1) such that C0⊃C1, F0⊂F1, W0⊂W1. If necessary, the model structures can be assumed to be simplicial, ...
7
votes
1answer
189 views

Can any suspension spectrum be realized as Waldhausen K-theory?

If we consider the category of finite, pointed sets and declare cofibrations to be inclusions and weak equivalences to be bijections, we get a Waldhausen category whose $K$-theory spectrum is the ...
4
votes
1answer
171 views

Is the injective structure on unbounded chain complexes simplicial?

In Mark Hovey's article Model category structures on chain complexes of sheaves (arXiv:math/9909024) a model structure on the category $Ch(A)$ of unbounded chain complexes for a Grothendieck abelian ...
4
votes
1answer
173 views

Factorization of morphisms in a diagram category

Let us suppose that $I$ is a small category and $\mathcal{E}$ a combinatorial model category. Then there exists two Quillen equivalent combinatorial model category structures on the diagram category ...
16
votes
2answers
510 views

Distinct manifolds with the same configuration spaces?

For a space $X$, let $C_k X$ denote the space of configurations of $k$ distinct unordered points in $X$. What is an example of a pair of smooth manifolds $M$ and $N$ that are not homeomorphic but ...
12
votes
4answers
1k views

Is there a good way to understand the free loop space of a sphere?

I'd like to understand the structure of the free loop space of $S^n$ for small values of $n$. Here "understand" means roughly that I'd like to know a CW complex with the same homotopy type. I ...
1
vote
0answers
107 views

Does compactly supported cohomology make sense for cosimplicial spaces?

As far as I understand, whenever one has something (co)simplicial in spaces, one should take a sort of diagonal to reduce the study to a single space. I'm never sure though whether one preserves only ...
5
votes
1answer
374 views

Homotopy of quivers

The matrix ring $k^{n\times n}$ can be realized in many ways as a quotient of a path algebra: For example choose the quiver $1\leftrightarrows 2 \leftrightarrows \cdots \leftrightarrows ...
3
votes
1answer
173 views

About (co)limits of accessible categories

I am reading the paper colimits of accessible categories. In the introduction, the authors summarize what is known about limits and colimits of accessible categories. I believed that there was ...
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
290 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
560 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 ...
5
votes
1answer
137 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
359 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
477 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
160 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
367 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
310 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
174 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
247 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
266 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
278 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 ...
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
516 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
198 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
311 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
448 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
430 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
611 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 ...