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

2
votes
0answers
29 views

Examples of maps with nontrivial Hopf invariant but Lusternik-Schnirelmann category of the cofiber doesn't increase?

Let $A$ be a suspension and $X$ be a space with Lusternik-Schnirelmann category $n$ and let $\alpha: A\to X$. It is easy to see that the cofiber $C_\alpha$ has $\mathrm{cat}(C_\alpha) \leq n+1$. One ...
3
votes
0answers
53 views

Non-homotopic cdga maps with same effect on cohomology

Let $f, g : \mathcal{A} \to \mathcal{B}$ be maps of commutative differential graded algebras. An easy way to tell if they are homotopic is by looking at their effect on cohomology. However, if $f$ ...
3
votes
0answers
45 views

Criterion for a equalizer to be a homotopy equalizer in spaces

Let $f,g\colon X\rightarrow Y$ be maps between spaces. I am looking for criteria for the equalizer of $f$ and $g$ to be a homotopy equalizer and I am happy to get answers for whatever model category ...
3
votes
1answer
62 views

Saturated classes and cofibrantly generated model structures

There seem to be two definitions of what a saturated class should be: A class of morphisms closed under retracts, pushouts and transfinite composition. A class of monomorphisms containing all ...
2
votes
1answer
112 views

S^1-bundles over non-aspherical manifolds

Is it true that an S^1-bundle over a non-aspherical manifold is still non-aspherical?
4
votes
0answers
157 views

Homotopical interpretation of flatness?

I have read a discussion (in a less common language) which discussed a homotopical interpretation of flatness, which went something like: A map of commutative algebras is flat if pushing it out ...
7
votes
0answers
109 views

Representability of Weil Cohomology Theories in Stable Motivic Homotopy Theory

My understanding is that one purpose of stable motivic homotopy theory is to emulate classical stable homotopy theory. In particular, we would like Weil cohomology theories to be representable by ...
5
votes
0answers
147 views

Interaction of Grothendieck Construction with Coherent Nerve

There are a number of Grothendieck constructions: one for discrete categories, one for enriched categories (see Tamaki's paper here) and one for quasicategories (see the Unstraightening and ...
3
votes
0answers
141 views

Topology on $\mathcal{C}(X,Y)$ to work with homotopy

We know that the compact open topology on $\mathcal{C}(X,Y)$ is a good choice for topology on the set of continuous maps, but this seems really efficient, both naively and with respect to existence of ...
0
votes
0answers
53 views

Fixed point shape property

Question: Provide (or prove that it's not possible) a metric compact space which has the fixed point property but not the fixed point shape property. Here is the definition of f.p.s.p.("map" means ...
4
votes
1answer
188 views

On Johansson's Theorem on homotopy equivalences of 3-manifolds

Johansson's theorem states the following: Given $f:M_1\rightarrow M_2$ (not a pair map) an homotopy equivalence between 3-manifolds with incompressible boundary. Let $V_i$ be the components of the ...
1
vote
1answer
186 views

free group actions on a contractible topological space [closed]

Let $\Sigma_k$ be the symmetric group on $k$-letters. Let $W$ be a contractible topological space with a free $\Sigma_k$-action (from the left). Let $X$ be a $CW$-complex and let $X^k$ be the ...
8
votes
1answer
515 views

What's the detailed proof of “the composition of planar tangles is well-defined”?

In the planar algebra theory (see here or there section 2), a planar tangle is an isotopy class; then to define the composition of two tangles, we need to choose a representative in each classes. See ...
1
vote
1answer
236 views

Free Symmetric Operads and $\mathbb{S}$-modules

In the definition of operads, if we restrict our attention to $\mathbb{S}$-modules where the action by the symmetric groups is free, then the free operads have still an underlying free $\mathbb{S}$-...
6
votes
1answer
269 views

Bar/Cobar Adjunction Between Modules and Comodules

There is a pretty well known, and widely written about, adjunction between augmented algebras and coaugmented coalgebras given by taking the bar construction on algebras and the cobar construction on ...
5
votes
2answers
256 views

Serre fibration vs Hurewicz fibration

What are the simplest/ typical examples of a Serre fibration which is not a Hurewicz fibration? Is it something pathological? Sorry if the question is too elementary for MO.
2
votes
1answer
247 views

induced group actions and covering maps on Eilenberg-Maclane space

Let $M$ be a finite $CW$-complex. Let $\Sigma_k$ be the symmetric group acting on $k$-letters. Suppose there is a free action of $\Sigma_k$ on $M$. Then we have a covering map $$ f:M\to M/\Sigma_k. ...
14
votes
1answer
456 views

Errata on Rezk's paper

I am reading this paper of Rezk's http://arxiv.org/abs/0901.3602 A cartesian presentation of weak n-categories, and as it is pointed out in the introduction, it contained a wrong statement (2.19 in ...
9
votes
2answers
338 views

Homotopy groups of Moore spaces

Is there anything known about the homotopy groups of the Moore spaces $M(\mathbb Z_m,n)$ if $m\neq 2$ and $n \geq 2$?
3
votes
2answers
110 views

Cube Lemma on a cofibrantly generated (almost) model category

Suppose I have a complete and cocomplete category $\mathscr{C}$ with two sets of maps $I,J$ that are the candidates for generating (trivial) cofibrations on a model structure on $\mathscr{C}$. The ...
0
votes
0answers
48 views

Small perturb a continuous map

I am reading the book: Convex Integration Theory by D. Spring and encounter a question which I subtract as follows. Let $p: X \rightarrow V$ be a smooth fibre bundle and $\mathcal{R} \subset X^{(1)}$...
21
votes
2answers
916 views

The homotopy category is not complete nor cocomplete

I understand that the homotopy category of (pointed) topological spaces and continuous maps is not complete. Nor is it cocomplete. In particular it neither has all pullbacks nor all pushouts. What ...
2
votes
0answers
86 views

Computing the order of elements in a non abelian exterior square of a finite group

If we have an explicit group $G$, and we pick two elements $g,h \in G$, could we find the order of the element $g \wedge h \in G \wedge G$? The best thing I could find is Theorem 1.1 in Ellis' Book (...
10
votes
3answers
493 views

Maps with Hopf invariant zero are suspensions

Let $h:\pi_{2n-1}(S^n) \rightarrow \mathbb{Z}$ be the Hopf invariant. I believe that in the same paper that proves his suspension theorem, Freudenthal proved that if $x \in \pi_{2n-1}(S^n)$ satisfies ...
3
votes
0answers
89 views

Universal enveloping algebra functor preserves quasi-isomorphism

Let $k$ be a field of characteristic 0. Let $\mathtt{DGA}_{k}$ denote the category of DG algebras and $\mathtt{DGLA}_{k}$ denote the category of DG Lie algebras. It is well known that there are model ...
5
votes
1answer
349 views

Are two equivariant maps between aspherical topological spaces homotopic?

Let $f: X \rightarrow Y$ be continuous, X,Y pathwise connected and aspherical (i.e. trivial higher homotopy groups). Then $\pi_1(X)$ acts on the universal cover of $X$ via deck transformations, and on ...
7
votes
2answers
488 views

Homotopy of space of immersions, Smale-Hirsch theorem

If $M$ and $N$ are manifolds with $\dim M< \dim N$, we denote by $Imm\left(M,N\right)$ the space of immersions of $M$ in $N$. Let $M$ and $M'$ manifolds of dimensions $m>0$. It is true that if $...
10
votes
2answers
476 views

Reference request: Goodwillie tower of the identity

The Taylor (Goodwillie) tower of the identity functor on based spaces has as its $j$-th layer the infinite loop space-valued functor $$ X\mapsto \Omega^\infty (W_j \wedge_{h\Sigma_j} X^{[j]}) $$ in ...
8
votes
2answers
374 views

Simplest explicit counterexample for $Vect(BG) \ne Rep(G)$ as monoids

Let $G$ be a topological group, $Vect(BG)$ the monoid of complex vector bundles over its classifying space (not the stack!) and $Rep(G)$ its monoid of complex representations. Generally $Vect(BG) \ne ...
2
votes
0answers
221 views

E-infinity operads explicit examples

I was looking for particular and explicit examples of $E_\infty$-operads. I know the $E_\infty$-operad defined by Smith in http://arxiv.org/abs/math/0004003, and the Barratt-Eccles operad, but it is ...
4
votes
0answers
95 views

Cofibrations in the model structures for non-negative graded (commutative) DG algebras

Let $k$ be a field of characteristic 0. Let $\mathtt{DGA}_{k}^{+}$ denote the category of non-negative graded DG algebras and $\mathtt{CDGA}_{k}^{+}$ denote the category of non-negative graded ...
8
votes
1answer
157 views

Intuition for density comonad in relation to lifting problems

In Emily Riehl's Categorical Homotopy Theory, there is a section on Garner's Small Object Argument which I'm trying and failing to understand. Originally I followed most of Garner's paper, using the ...
5
votes
0answers
95 views

Smoothing a continuous section in 1-jet bundle

Here is a question I encountered when reading the book "Convex Integration Theory by D.Spring". My question lies in the second paragraph to the proof of theorem 4.2($C^{0}$-dense $h$-principle). I ...
5
votes
1answer
149 views

Homotopy Type of the Based Mapping Space $Map_*^{(k,l)}(\mathbb{C}P^2,BU(2))$

Path components of the based mapping space $Map_*(\mathbb{C}P^2,BU(2))$ are indexed by a pair of integers $(k,l)$ determined by the values of the first two Chern classes that a map $f:\mathbb{C}P^2\...
8
votes
0answers
158 views

Holomorphic contractibility of GL(H)?

Kuiper's theorem is well-known to give the triviality of the homotopy groups of ${\rm GL}(\mathcal{H})$ for $\mathcal{H}$ a (separable) infinite-dimensional complex Hilbert space. Work of Palais later ...
13
votes
3answers
652 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 ...
16
votes
2answers
353 views

Table of (integral) cohomology groups of K(Z,n)

Can I find somewhere a table of the (first few) cohomology groups of $K(\mathbb{Z},n)$ with integer coefficients? It seems like a natural counterpart to the table of the homotopy groups of spheres, ...
23
votes
2answers
686 views

Why study the p-completions of a space?

Given a nice topological space $X$ there are various notions of a 'completion' at a set of primes. Some of the most common constructions may be found in Bousfield-Kan's, May's, Neisendorfer's or ...
23
votes
2answers
885 views

What is the relation between sphere spectrum and supersymmetry?

In this this google+ post of Urs Schreiber, he says: "Grading over the sphere spectrum is supersymmetry" and then he redirect us to the abstract idea of superalgebra (in nLab). Are there some ...
8
votes
1answer
188 views

Homotopy type of diffeomorphism which are the identity on and near the boundary

Let $M$ be a compact manifold with boundary. Denote by $Diff(M), Diff_\partial(M)$ and $Diff_{U\partial}(M)$ the groups of diffeomorphisms of $M$ and the subgroups of the ones that are the identity on ...
4
votes
1answer
522 views

Cech nerve as homotopy colimit?

Given a category $\mathcal{C}$ with a notion of covering $\{ U_{i} \rightarrow X \}$ for an object $X$ (say $\mathcal{C}$ is a Grothendieck site), we can form the Cech nerve $$ \cdots \coprod_{i}{U_{...
1
vote
0answers
120 views

Is every path connected space continuously path connected

Recall a topological space $X$ is path connected if for all $x,y \in X$ there is a continuous function $f\colon [0,1] \to X$ such that $f(0)=x$ and $f(1)=y$. Say that $X$ is continuously path ...
10
votes
1answer
285 views

Difficulties with descent data as homotopy limit of image of Čech nerve

Apologies if this question is inappropriate for MO. It is not a research level question in any of the topics it addresses, I just don't see how a novice can go about answering it alone (I've tried ...
13
votes
2answers
463 views

Discrete Morse theory: how do zig-zag paths determine homotopy type?

Let $\Delta$ be a simplicial complex (or more generally, a regular CW complex). Let $\mathcal{M}$ be a Morse matching (or equivalently, a discrete Morse function) on $\Delta$. By Forman's theorems, $...
7
votes
1answer
90 views

Can a weak fibration category be non saturated?

A weak fibration category is a category $\mathcal{C}$ equipped with two subcategories $$\mathcal{F}, \mathcal{W} \subseteq \mathcal{C}$$ containing all the isomorphisms, such that the following ...
3
votes
0answers
164 views

Complete Segal operads and dendroidal sets

There is a Quillen equivalence between the model category presenting Lurie's $\infty$-operads (which are inner fibrations $\mathcal{C}\to\mathrm{N}(\mathbf{F})$ satisfying certain conditions) and the ...
4
votes
1answer
152 views

Formula relating the cup product in dimensions n and n+1

Let's will write $K_n$ for the Eilenberg-MacLane space $K(\mathbb{Z},n)$. I remind that $K_n$ is equivalent to the loop space of $K_{n+1}$. Let’s consider the map $\smallsmile:K_n\times K_m \to K_{n+...
3
votes
1answer
205 views

(Geometric) Proof for the projective bundle formula in K-theory

I'm trying to piece together a proof of the projective bundle formula from several incomplete sources. Here's the statement I'd like to prove: Projective bundle formula: Let $\pi: E \to X$ be a ...
6
votes
1answer
330 views

Why are quasi-isomorphisms of homotopy algebras only defined for arity 1?

When reading about homotopy algebras (e.g. $L_\infty$-algebras, $A_\infty$-algebras), an $\infty$-morphism $f$ is called an $\infty$-quasi-isomorphism if $f_1$ is a quasi-isomorphism. Recall/Example (...
12
votes
2answers
374 views

H-space structures on non-sphere suspensions?

It is well known that $S^n$ admits an H-space structure if and only if $n=0,1,3,7$. I'm interested in whether there are other suspensions $\Sigma X$ that admit H-space structures: Question 1 For ...