The homotopy-theory tag has no wiki summary.

**3**

votes

**2**answers

198 views

### Is there a good concept of a measurable fibration?

In probability theory, there are many results which are valid in purely measurable settings, usually beginning with the assumption, "let $(\Omega, \mathcal F, \mathbb P)$ be an abstract probability ...

**12**

votes

**2**answers

353 views

### Is the derived category of abelian groups a subcategory of the stable homotopy category?

An extension of the Dold-Kan equivalence gives an adjunction between the stable homotopy category and the (unbounded) derived category of abelian groups $SH \rightleftarrows D(Ab)$.
Question 1: Is ...

**10**

votes

**1**answer

342 views

### Model category structures on dga's in a ringed topos

In the introduction to his paper "Towards a non-abelian $p$-adic Hodge theory", Olsson says that for any ringed topos $(\mathcal{T},\mathcal{O})$ with $\mathcal{O}$ a sheaf of $\mathbb{Q}$-algebras, ...

**10**

votes

**2**answers

890 views

### homotopy type of embeddings versus diffeomorphisms

Previously, I asked a question on mathoverflow comparing smooth embeddings and diffeomorphisms, which received a very interesting and somewhat unexpected answer by Agol. I now ask a further question ...

**0**

votes

**2**answers

247 views

### (Homotopy) Y ENR and contractible subset implies Y is a retract

I'm trying to solve the following question:
Suppose $Y \subset R^n$ is a Euclidean neighborhood retract. I want to prove that if $Y$ is contractible, then it is a retract of $R^n$.

**3**

votes

**1**answer

297 views

### Free Loops, Moore Paths and the Borel Construction

My question is about the relationship between the free loop space LX of a space X and the (appropriately defined) Borel construction $PX \times_{\Omega X} \Omega X$ which is a homotopy equivalent ...

**11**

votes

**1**answer

935 views

### Example of fiber bundle that is not a fibration

Hi all,
It is well-known that a fiber bundle under some mild hypothesis is a fibration, but I don't know any examples of fiber bundles which aren't (Hurewicz) fibrations (they should be weird ...

**5**

votes

**0**answers

198 views

### Mod 3 Moore spectrum

I only know through stories that mod 3 moore spectrum is not associative. I do not know of any proof. I have been informed that Toda had proved it in the paper "Extended $p^{th}$ power". I was not ...

**0**

votes

**3**answers

150 views

### Conley index for isolated invariant sets with no exit points

Conlay described in $\textit{Isolated Invariant Sets and the Morse Index (1976)}$ the bases of what would be known as Conley Index Theory.
For the sake of simplicity let's think of vector fields ...

**13**

votes

**1**answer

292 views

### Rational Morava E-theory of cyclic groups

I'm confused about a seeming contradiction that is probably just a reflection of ignorance on my part. Let's try to compute the Morava E-theory of $B \mathbb{Z}/p$ in two different ways.
First, ...

**4**

votes

**1**answer

226 views

### units in non-commutative ring spectra

Let $R$ be a connective (symmetric) ring spectrum. Let $GL_1(R)$ be the space of units of $R$, i.e. the union of the components of $\Omega^{\infty}(R)$ corresponding to the units of $\pi_0(R)$. ...

**7**

votes

**1**answer

280 views

### Is every functor inducing a homotopy equivalence a composition of adjoint functors?

It was asked here whether every functor is a composition of adjoint functors. The answer is no, because all adjoint functors induce homotopy equivalences on the nerve, and we can construct functors ...

**2**

votes

**2**answers

363 views

### Is the wedge sum of two cones over the hawaiian earring contractible?

Let $X_1$ and $X_2$ be two cones over the hawaiian earring and let $X$ be the wedge sum of $X_1$ and $X_2$ (of course you join them in the special point of the hawaiian earring). How do you prove that ...

**6**

votes

**1**answer

336 views

### Integral cohomology operations related to Landweber-Novikov

Let $U^* \rightarrow H^* $ be the homomorphism describing the complex orientation of $H^* $ from complex cobordism. Let $t_1, t_2, ...$ be indeterminates.
My question is: Does there exist an ...

**6**

votes

**2**answers

355 views

### Homotopy Transfer Theorem for Differential Graded Associative Algebras

As in Algebra+Homotopy=Operad by Bruno Vallette, let $A$ with multiplication $\nu$ be a differential graded associative algebra equipped with degree +1 map $h$ and let $H$ be a chain complex such that ...

**6**

votes

**1**answer

241 views

### Localizations of non-nilpotent spaces

For simplicity let's talk about $p$-localizations of spaces for a fixed prime $p$. Every space $X$ has a well-defined $p$-localization which can be constructed by the small object argument and which ...

**5**

votes

**2**answers

832 views

### Homotopy $\pi_4(SU(2))=Z_2$

I am a physics student, recently I read a paper using Homotopy $\pi_4(SU(2))=Z_2$, I guess mathematicians have some visualization or explanation of this result. So I come here ask for help.
...

**22**

votes

**3**answers

1k views

### What is the algebraic geometry version of the spheres?

In topology the spheres $S^n$ are the "simplest" closed manifolds, and they are like "Dirac's delta at $n$" for (reduced) cohomology groups. Furthermore they are boundaries of the simplest compact ...

**14**

votes

**3**answers

2k views

### Conjectures in Grothendieck's “Pursuing stacks”

I read on the nLab that in "Pursuing stacks" Grothendieck made several interesting conjectures, some of which have been proved since then. For example, as David Roberts wrote in answer to this ...

**7**

votes

**2**answers

426 views

### topological monoid from symmetric monoidal category

What is the standard reference for the fact that the classifying space of a strict monoidal category is a topological monoid with respect to the operation induced by the tensor product?
EDIT: The ...

**15**

votes

**3**answers

918 views

### Loop space of a category

This seems like it should be a "standard" thing, and I think I remember even seeing it somewhere, but I can't remember where.
Let $C$ be a small category. Is there a category $\Lambda C$ whose nerve ...

**17**

votes

**2**answers

532 views

### Explicit computations of the étale homotopy type?

Hi,
I'm currently trying to learn about etale homotopy for schemes as introduced by Artin-Mazur. I know that by the Artin-Mazur comparision theorem, it is possible to compute the etale homotopy type ...

**6**

votes

**1**answer

306 views

### Exceptional collections of objects in topological triangulated categories?

People often consider exceptional sets of objects (i.e. collections of objects satisfying certain strong orthogonality conditions: $Ext^{l}(P_i,P_j)$ should be zero for $l\neq 0$ + something else) in ...

**4**

votes

**2**answers

312 views

### (Infinite) Suspension Functor on the Pontryagin-Thom Construction

This is a slightly revamped version of a question I asked on the stackexchange forum. That question was asking if the Pontryagin-Thom constructon respects the suspension operation, alluding to stable ...

**1**

vote

**1**answer

282 views

### Leray Spectral Sequence

Let $f:X\to Y$ be a smooth map between paracompact differential manifolds $X$ and $Y$.
Let $U$ be an open and dense subset of $Y$. For any $y\in U$, let $f^{-1}(y)=F$
be a generic fiber that is a ...

**5**

votes

**1**answer

232 views

### spectral sequence for cobordism without leaving smooth category

In Bott & Tu's marvelous book there is a derivation of the spectral sequence for a (smooth) fiber bundle for deRham cohomology done entirely in the realm of the smooth category. Unfortunately, as ...

**3**

votes

**0**answers

114 views

### Right Notion of Localizing Subcategory in Quasicategory

Given a stable quasicategory $C$, what are the conditions required of a subcategory for it to descend to a localizing subcategory in $Ho(C)$? Is it enough for it to be reflective? Perhaps exact and ...

**3**

votes

**2**answers

438 views

### A fibrant-objects structure on Top

(Sorry for the crossposting, but I'm really interested in this question).
One can define (Paragraph 1.5, page 10) a fibrant-object structure on a suitable cartesian closed category of topological ...

**15**

votes

**0**answers

350 views

### Algebraic closure as a fibrant replacement?

Emil Artin's construction of the algebraic closure of a field $K$ is as follows. Let $K_{0} = K$, and inductively let $\{x_f\}$ be a set of indeterminates indexed by the irreducible $f$ in one ...

**7**

votes

**1**answer

526 views

### What is the homotopy type of the space of the homeomorphisms of the n-ball such that the homeomorphism restricted to the boundary is isotopic to the identity?

Consider the set of homeomorphisms of the topological n-ball to itself with the compact open topology. Sitting inside this space of homeomorphisms are particular subspaces. The first subspace is those ...

**2**

votes

**1**answer

205 views

### Negative and periodic cyclic homology of a semi-free cdga

Let $A$ be a semi-free commutative differential graded algebra in non-negative degrees with differential $d$ of degree $-1$, over a field of characteristic zero. Recall that semi-free means that if ...

**6**

votes

**2**answers

332 views

### Proper maps and transversality

I'll begin with the question, which is intrinsically interesting:
Let M be a manifold with some submanifold Y. Suppose that $W \rightarrow M$ is a smooth, proper map. Does there exist another map ...

**1**

vote

**0**answers

292 views

### Homotopical Galois theory of coverings

In the hope this won't turn into a trivial problem (I couldn't find a similar discussion here), here's my question.
I'm studying a little homotopical algebra in this article by Brown. You can easily ...

**0**

votes

**0**answers

53 views

### Homotopy group of residual symmetry of SO(2n+1)

Dear all,
Is there a way to compute $\pi_2(\frac{SO(2n+1)}{SO(2n-1)\times SO(2)})$?
For the case $n=2$ the answer is $\mathbb{Z}$
How about $\pi_2(\frac{SO(2n)}{SO(2n-2)\times SO(2)})$?
Thanks.

**5**

votes

**1**answer

208 views

### Monoidal Model Categories with Suspension Functor

This is basically just me trying to find out what such categories are called, and where they are written about. If I think of some model category of spectra being a "stabilization" of some model ...

**9**

votes

**2**answers

413 views

### Fubini theorem for hocolim.

I wanted to ask the following question,
Suppose $\mathbf{M}$ a cof generated model category and $I,~J$ two small categories. Suppose that $F:J\rightarrow \mathbf{M}^{\mathrm{I}}$ is a functor. Is it ...

**1**

vote

**0**answers

164 views

### The homotopy colimit of a tower of triangles

Set the framework to be a triangulated category with all set indexed coproducts.
In "Relative Homological Algebra and Purity in Triangulated Categories", J. of Algebra 227, (2000), pp. 268- 361, ...

**7**

votes

**1**answer

267 views

### On the natural (bigraded) homotopy groups of a simplicial object in a model category

$\def\mc{\mathcal} \def\sm{\wedge}$
This question stems from the Goerss-Hopkins paper Moduli Problems for Structured Ring Spectra. Let me begin by attempting to summarize the relevant framework -- ...

**3**

votes

**2**answers

242 views

### Second homotopy groups of 3-complexes and Fenn's spiders.

Let $X$ be a finite CW complex then with one zero cell. Then (up to homotopy) the two skeleton of X is the same as a group presentation, via the Cayley complex construction. For a while I had been ...

**1**

vote

**0**answers

253 views

### deformation retraction of the complement

Let $X$ be a topological space and $V$ and $N$ are subspaces of $X$. It is known that if $V$ is homotopy equivalent to $N$ then $X-V$ need not be homotopy equivalent to $X-N$, the Alexander horned ...

**21**

votes

**1**answer

697 views

### Is every ''group-completion'' map an acyclic map?

I start with a longer discussion which will result in a precise version of the question. A am puzzled about an issue with the
Quillen plus construction. I have seen outstanding experts being confused ...

**11**

votes

**1**answer

529 views

### Manifolds with prescribed fundamental group and finitely many trivial homotopy groups

Fix $G$, a finitely generated presented group.
It is known that for every $k > 3$ there is a closed $k$-manifold whose fundamental group is $G$. Similarly, there is a topological space with ...

**0**

votes

**0**answers

117 views

### D(R) versus Ho(HR)?

Given an algebraic ring, how is its derived category related to the homotopy category of HR modules?
Thanks. This is essentially a reference request, since I know there may be a lot (or nothing) to ...

**20**

votes

**1**answer

449 views

### Is $\mathbb{H}P^\infty_{(p)}$ an H-space?

Put $X=\mathbb{H}P^\infty$ (so $X$ classifies quaternionic line bundles, and $\Omega X=S^3$). There is no obvious reason for $X$ to be an H-space, because the tensor product of quaternionic vector ...

**4**

votes

**0**answers

248 views

### How to endow an n-fold Segal Space with a symmetric monoidal structure?

I would like to understand how I can endow an n-fold (complete) Segal Space with a symmetric monoidal structure. My question is basically the same as in this post: What is a symmetric monoidal ...

**21**

votes

**1**answer

734 views

### K(r)-localization and monochromatic layers in the chromatic spectral sequence

While preparing some lecture notes, I had a basic point of confusion come up that I haven't been able to settle.
The $BP$-Adams spectral sequence (or $p$-local Adams-Novikov spectral sequence) for ...

**1**

vote

**2**answers

165 views

### is $\pi_k(X_1,A_1)$ a direct summand of $\pi_{k}(X_1\vee X_2,A_1\vee A_2)$

For space pairs $(X_1,A_1)$ and $(X_2,A_2)$ ,is there a groups M,such that $\pi_{k}(X_1\vee X_2,A_1\vee A_2)\cong \pi_k(X_1,A_1)\oplus M$?

**0**

votes

**0**answers

127 views

### Homotopy type of connected sum of certain manifolds

For closed n-manifolds M and N with the form $M\simeq M^{n-1}\cup _{f}e^n $,$N\simeq N^{n-1}\cup _{d}e^n$
Why $M\sharp N \simeq (M^{n-1}\vee N^{n-1})\cup _{f+d}e^n$?

**1**

vote

**1**answer

91 views

### Does the following categorial sum preserve weak equivalences?

In Dwyer and Kan's 1980 paper on "Simplicial Localizations of Categories", they prove the following result for binary categorial sums. For a set $O$, let $O$-${\mathsf{Cat}}$ be the following ...

**2**

votes

**1**answer

257 views

### $\mathbb{Z}/2$-action on spectra given by inversion

This is a somewhat naive question to which I don't know the answer. There is a map of spectra $S \to S$, defined up to homotopy, given by multiplication by $-1$, and it satisfies the relation $(-1)^2 ...