**3**

votes

**1**answer

92 views

### Homotopy equivalence of maps with compact support and maps which vanish at infinity

Let $X$ be a nice space, maybe a manifold, and let $Y$ be a based space.
What sort of conditions must we impose on $Y$ (and $X$ if need be) to get a homotopy equivalence
$$
\mathcal C_c(X,Y) \simeq ...

**5**

votes

**3**answers

407 views

### classifying space of orthogonal groups

Let $O(n)$ be the $n$-th orthogonal group and $O$ be the direct limit of $O(n)$ with respect to $n$. Let $BO(n)$ and $BO$ be the classifying spaces.
Question:
Why $BO$ is an $H$-space? My supervisor ...

**3**

votes

**1**answer

227 views

### What is kernel $\phi:G\rightarrow \pi_1(X/G,p(x_0))$?

Let $G$ be a discontinuous group (this means that it acts discontinuously with finite stabilizers) of homeomorphisms of a simply connected, locally compact metric space $X$. Let $p:X\rightarrow X/G$ ...

**4**

votes

**1**answer

145 views

### The cooperations algebras Johnson-Wilson theory and truncated BP-theory

Given a prime $p$, there is a well known homology theory $BP$, known as Brown-Peterson homology. Has several related theories, namely the Johnson-Wilson theories $E(n)$ and the truncated ...

**5**

votes

**1**answer

212 views

### how to prove the $n$-times self-product of a map is null-homotopic

Let $k$ be a fixed positive integer and $\Sigma_k$ the $k$-th symmetric group. By letting $\Sigma_k$ permuting an orthonormal basis of a $k$-dimensional Euclidean space, there is a "regular ...

**7**

votes

**1**answer

162 views

### classifying maps of Whitney sums of vector bundles

For an $n$-dimensional vector bundle $\xi$ with structure group $G\leq O(n)$ over a $CW$-complex $B$, we have a classifying map up to homotopy
$$
f(\xi): B\longrightarrow BG,
$$
$f(\xi)\in [B;BG]$, ...

**14**

votes

**1**answer

315 views

### Does the category of categories-mod-natural-isomorphism have any nonobvious autoequivalences?

The simpler question is to study the 2-groupoid $\mathrm{Aut}(\mathsf{Cat})$ of all autoequivalences of the category of (small) categories (i.e. the groupoid of equivalences of categories ...

**2**

votes

**0**answers

86 views

### order of elements in a mapping space

Let $B$ be a finite CW-complex and $\xi$ be a vector bundle over $B$ with structure group $\Sigma_n$, the $n$-th symmetric group.
Then corresponding to $\xi$, we have a classifying map
$$
g\in \tilde ...

**3**

votes

**2**answers

134 views

### equivariant embeddings from the k-th configuration space to the k+1-th configuration space

Let $S$ be a closed, orientable surface in $\mathbb{R}^3$ and $S'$ be the manifold $S\setminus\text{one point}$. Let $F(S',k)$ be the $k$-th (ordered) configuration space on $S'$. It is claimed in ...

**3**

votes

**1**answer

212 views

### the “Kahn-Priddy map” and “multiplicative $p$-local equivalence”

The following is a part of a paper that I need to understand
I totally do not know the argument. Could you explain? Thanks.
Let $\Sigma_n$ be the $n$-th symmetric group and $\Sigma_\infty$ be the ...

**6**

votes

**0**answers

103 views

### $K_0$ an $KH_0$ of a normal crossing variety

Let $k$ be a field (say, algebraically closed to fix the ideas) and let $X$ be a strict (aka simple) normal crossing variety over $k$, so that $X$ is union of regular varieties with intersection that ...

**1**

vote

**1**answer

189 views

### Different model structures on Top

There is at least 3 model structures on the category of topological spaces, the Quillen Model structure, the Storm model structure and the Mixed model structure.
In the Mixed model structure ...

**12**

votes

**1**answer

440 views

### Automorphisms of Eilenberg-Mac Lane spaces and semidirect products (and the odd line)

If $A$ is an abelian group, we have
$Aut\left(K\left(A,n\right)\right)=Aut(A) \ltimes K\left(A,n\right),$
where the left hand side is the space of self-homotopy equivalences. Is there an easy way to ...

**3**

votes

**0**answers

104 views

### Symmetric sub-simplicial sets of the nerve of $\mathbb{N}$

The nerve of $\mathbb{N}$ is the simplicial set $N\mathbb{N}$ with
simplices: tuples $(k_1,\ldots, k_r)$ with each $k_i\in \mathbb{N}$
degeneracies: inserting $0$
faces: adding consecutive entries ...

**12**

votes

**1**answer

222 views

### Computing Homotopy Fixed Point Spectral Sequences related to Morava E thories

Given a finite subgroup of $G$ sitting inside the Morava stabilizer group $S_n$, we can form the homotopy fixed point spectrum $E_n^{hG}$. There is a spectral sequence with $E_2^{s,t} = ...

**14**

votes

**3**answers

910 views

### Motivation for equivariant homotopy theory?

I'm in the process of learning equivariant homotopy theory, so I was wondering: what is the importance of equivariant homotopy theory, and what has it been applied to so far? I know of HHR's solution ...

**7**

votes

**0**answers

399 views

### Algebraic geometry introduction for homotopy theorists/algebraic topologists

Algebraic geometry has a plenty of decent introductory texts now. Some are of the classical commutative algebraic approach(following EGA), like Ravi Vakil's "Foundations".
Some use facts from ...

**3**

votes

**1**answer

200 views

### geometric conditions on maps between manifolds inducing monomorphisms on cohomology

Let $M,N$ be manifolds whose dimensions may be different. Let $f: M\longrightarrow N$ be a smooth map. What geometric conditions on $f$ can we impose such that the induced homomorphism
$$
f^*: ...

**4**

votes

**1**answer

190 views

### Parametrized Dold-Kan correspondence?

The stable Dold-Kan correspondence says that for every commutative ring $R$, there is an equivalence of $\infty$-categories between the category $Ch(R)$ of (unbounded) chain complexes of $R$-modules ...

**3**

votes

**1**answer

82 views

### Homotopy classes of homeomorphisms of a multiple pointed space

Let $M$ be a multiple pointed space, i.e. $M$ is a topological space and there is a finite point set $M\supset P=\{p_1,...,p_k\}, k<\infty$. Such a $p_i$ is called a marked point. A map ...

**7**

votes

**1**answer

184 views

### Fiber vs homotopy fiber in model categories: simple question

I have a concrete problem with the homotopy fiber and I am getting lost with the
literature. I state my question and, to avoid confusions, I state downwards the
definitions I am using.
Let $C$ be a ...

**7**

votes

**0**answers

174 views

### When do contributions of $\pi_*(L_{K(n)}S^0)$ to $\pi_*(S^0)$ stabilize?

I apologize if this question is obvious as I am just beginning to learn this field. I am also abusing the dependance on $p$ for notational ease. The Chromatic Convergence theorem establishes that ...

**10**

votes

**2**answers

439 views

### In CGWH, is every cofibration an inclusion with closed image?

As the title suggests, in CGWH, is every cofibration an inclusion with closed image?

**9**

votes

**4**answers

435 views

### Vietoris-Begle theorem for simplicial sets

I've learned the theorem when reading a comment by Vidit Nanda to my question see here.
Here is the (simplified) version of the theorem for topological spaces:
Vietoris-Begle Theorem
Let ...

**4**

votes

**1**answer

184 views

### Localization at the Johnson-Wilson spectrum and rationalization

Is there a clean proof that the $L_n$, localization at $E(n)$, is simply rationalization (i.e. $L_0$) on Eilenberg-MacLane spectra? Eric Peterson asked this here, but I haven't seen an answer.

**0**

votes

**1**answer

193 views

### fiber, homotopy fiber of spaces

Suppose we have a pullback of topological spaces (CW-complexes) $B\rightarrow A\leftarrow C$ which I will denote by $D$.
Assumptions
The induced map $D\rightarrow C$ is a trivial fibration
The map ...

**7**

votes

**1**answer

279 views

### What are some examples of total derived functors that can't be computed from a functorial replacement?

(Or more generally, what are some examples of Kan extensions which are not pointwise?)
By a total derived functor of a functor $F: C \to D$, I simply mean a (left or right) Kan extension of $F$ along ...

**1**

vote

**0**answers

246 views

### Generalization for Leray Hirsch theorem for Principal $G$-bundle [closed]

This is a general question:
Is there a generalized Leray Hirsch theorem for Principal $G$-bundle? with $G$ finite group with discrete topology. I know it does not make sense to compare with original ...

**13**

votes

**1**answer

205 views

### Free generators for the fat commutator subgroup

There is a homomorphism $\langle x,y\rangle\to\langle x\rangle$ of free groups, sending $y$ to $1$. We can combine this with the other obvious homomorphism to get a surjective homomorphism
$$ ...

**8**

votes

**1**answer

236 views

### Why does strong convergence of the EMSS imply that Tot commutes with suspension spectrum?

Given a fiber square of simplicial sets
$$\begin{array}{cc}
& \hspace{-7mm} E \\
&\hspace{-7mm}\downarrow \\
\ast\longrightarrow &\hspace{-7mm} B
\end{array}$$
...

**3**

votes

**1**answer

201 views

### Geometric interpretation of the conjugation operation in the dual Steenrod algebra

As the dual mod 2 Steenrod algebra, $A$, is a Hopf algebra, it has the conjugation operation, $\chi:A\to A$. Milnor also gives a formula for this.
I wonder if there is any source telling about a ...

**11**

votes

**2**answers

612 views

### Does every (co)homology functor (in particular, stable homotopy) factor through chain complexes?

Ordinary homology and cohomology factor through chain complexes via singular homology and cohomology. What about other (co)homology theories?
That is, for each spectrum $E$, do we have a lift in the ...

**7**

votes

**1**answer

254 views

### Pullback-stable model of fibrewise suspension of fibrations (in simplicial sets, or similar setting)

Given a fibration $p : Y \to X$ in simplicial sets (or any other model category), there are various ways to construct its fibrewise suspension, i.e. its suspension as an object of the slice ...

**3**

votes

**1**answer

139 views

### very basic question on p-typical group law and MU and BP

I am a beginner trying to understand Dan Quillen's idempotent map $\xi:MU_{(p)} \to MU_{(p)}$ described in his classic paper 5-page paper On formal group laws...
Let $F$ be a formal group law over a ...

**6**

votes

**1**answer

363 views

### Iterated Homotopy Quotient

If one has a normal Lie group inclusion $H\to G$, with quotient $G/H$, and a $G$-manifold $X$, one can take the quotient $X/H$. Then the $G$-action on $X/H$ factors thru a $G/H$-action, so one can ...

**2**

votes

**0**answers

108 views

### Sufficient criteria for a nerve of a topological category to be good

I know that the following statement is true and I am looking for a reference:
Given a topological category $\mathcal C$ (i.e. morphisms and objects form a space and all maps in the definition of a ...

**9**

votes

**1**answer

252 views

### Are $E_n$-operads not formal in characteristic not equal to zero?

This is a short question:
Is it just unproven folklore (yet), or is it definitively known that $E_n$-operads are not formal, if the characteristic of the underlying field is not equal to zero?

**3**

votes

**2**answers

277 views

### Is it possible to compute coefficients of the formal group of an elliptic curve?

This may be trivial but I cannot find it. Given an elliptic curve, $C$ over $R$ with chosen parametrization $R\to \mathbb{A}^5_{\mathbb{Z}}=Spec(A)$, is there a way to compute coefficients of the ...

**5**

votes

**0**answers

152 views

### On a very weak notion of fibration (of topological spaces)

Suppose that $f:Y \to X$ is a map of topological spaces, and lets assume for simplicity that $X$ is connected. For the fibers of $f$ to compute the homotopy fibers, one would usually want to demand ...

**23**

votes

**2**answers

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

**7**

votes

**0**answers

212 views

### How do the direct and inverse image sheaf functors interact with homotopy?

This is a crosspost of this MSE question.
The direct image sheaf functor $f_\ast$ and inverse image sheaf functor $f^\ast$ (here I mean the usual inverse image sheaf functor often denoted by ...

**13**

votes

**1**answer

304 views

### Fundamental group of the space of immersions of the 2-sphere in 3-space modulo diffeomorphisms of the first

In a previous Mathoverflow question, we saw that the fundamental group of the space $Imm(S^2,\mathbb{R}^3)$ of immersions the 2-sphere in ordinary 3-space is isomorphic to $\mathbb{Z}/2 \times ...

**13**

votes

**1**answer

377 views

### Fibrant-cofibrant models of Eilenberg-MacLane spectra

There are many models for spectra, by which I mean a model category whose homotopy category is triangulated-equivalent to the stable homotopy category. In each model, there are ways to construct ...

**3**

votes

**1**answer

106 views

### Geometric Realizations of Simplicial Based Spaces

Suppose I have two simplicial based topological spaces $X_\bullet$ and $Y_\bullet$, and the degeneracy maps of each satisfy the based homotopy extension property (but not necessarily the unbased ...

**14**

votes

**2**answers

811 views

### Homotopy types of schemes

Let $X$ be a scheme over $\mathbb{C}$.
When does the topological space $X\left(\mathbb{C}\right)$ of $\mathbb{C}$-points have the homotopy type of a finite CW-complex?
When does the topological ...

**13**

votes

**3**answers

281 views

### How stable is the top cell of a Lie group?

It is well known that the fundamental class of a compact Lie group $G$ is stably spherical (see "H-Spaces and Duality" by Browder and Spanier, or "Thom Complexes" by Atiyah), and there is a stable ...

**8**

votes

**1**answer

218 views

### Is every locally compactly generated space compactly generated?

[Parse it as (locally compact)ly generated.]
I stumbled across this one whilst supervising an undergraduate thesis. Convenient categories for homotopy theory (e.g. CGWH) have been discussed here ...

**4**

votes

**4**answers

499 views

### When is the quotient by an $n$-fold loop space an $m$-fold loop space?

Given a map of $n$-fold loop spaces $X\to Y$, we can take the homotopy cofiber, denote it $Y/X$ (all spaces here will also have a base point, and all maps pointed). I have some basic questions about ...

**29**

votes

**1**answer

582 views

### Classifiying sphere eversions

For a year I have been giving lectures on a (probalby) new way to present an explicit sphere eversion. These lectures include a review of many other explicit eversions that have been described, as ...

**1**

vote

**1**answer

94 views

### dimension of generators of cohomology ring of iterated loop-suspension

In the book The unstable Adams spectral sequence for free iterated loop spaces, R.J. Wellington, Mem. Amer. Math. Soc. 258, 1982, p. 32
Question: When $p=2$, $k\geq 1$, $n=0$ to $\infty$, what kind ...