**2**

votes

**0**answers

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

**0**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**0**answers

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

**0**answers

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

**0**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**2**answers

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

**1**answer

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

**1**answer

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

**2**answers

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

**2**answers

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

**0**answers

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

**2**answers

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

**0**answers

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

**3**answers

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

**0**answers

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

**1**answer

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

**2**answers

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

**2**answers

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

**2**answers

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

**0**answers

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

**0**answers

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

**1**answer

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

**0**answers

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

**1**answer

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

**0**answers

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

**3**answers

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

**2**answers

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

**2**answers

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

**2**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**1**answer

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

**2**answers

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

**1**answer

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

**0**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**2**answers

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